c wbo 1.4 beta - 20100610 c | Number of variables: 100 | c | Number of clauses: 800 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 800 | c | Number Clauses: 800 | 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 | 800 800 3100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 700 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 800 801 3800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 699 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 800 802 4500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 698 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 1 | 800 803 5200 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 697 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 1 | 800 804 5900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 696 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 1 | 800 805 6600 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 695 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 1 | 800 806 7300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 694 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 1 | 800 807 8000 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 693 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 1 | 800 808 8700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 692 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 1 | 800 809 9400 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 691 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 1 | 800 810 10100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 690 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 1 | 800 811 10800 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 689 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 1 | 800 812 11500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 688 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 1 | 800 813 12200 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 687 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 1 | 800 814 12900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 686 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 1 | 800 815 13600 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 685 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 1 | 800 816 14300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 684 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 1 | 800 817 15000 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 683 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 1 | 800 818 15700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 682 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 1 | 800 819 16400 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 681 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 1 | 800 820 17100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 680 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 1 | 800 821 17800 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 679 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 1 | 800 822 18500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 678 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 1 | 800 823 19200 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 677 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 1 | 800 824 19900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 676 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 1 | 800 825 20600 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 675 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 1 | 800 826 21300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 674 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 1 | 800 827 22000 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 673 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 1 | 800 828 22700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 672 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 1 | 800 829 23400 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 671 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 1 | 800 830 24100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 670 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 1 | 800 831 24800 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 669 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 1 | 800 832 25500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 668 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 1 | 800 833 26200 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 667 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 1 | 800 834 26900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 666 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 1 | 800 835 27600 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 665 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 1 | 800 836 28300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 664 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 1 | 800 837 29000 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 663 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 1 | 800 838 29700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 662 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 1 | 800 839 30400 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 1 | 800 840 31100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 1 | 800 841 31800 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 659 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 1 | 800 842 32500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 658 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 1 | 800 843 33200 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 2 | 800 844 33900 | 5000 2 332 | 0.000 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 2 | 800 845 34600 | 5000 2 332 | 0.000 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 2 | 800 846 35300 | 5000 2 332 | 0.000 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 2 | 800 847 36000 | 5000 2 332 | 0.000 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 2 | 800 848 36700 | 5000 2 332 | 0.000 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 2 | 800 849 37400 | 5000 2 332 | 0.000 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 2 | 800 850 38100 | 5000 2 332 | 0.000 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 2 | 800 851 38800 | 5000 2 332 | 0.000 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 2 | 800 852 39500 | 5000 2 332 | 0.000 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 3 | 800 853 40200 | 5000 3 222 | 0.000 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 3 | 800 854 40900 | 5000 3 222 | 0.000 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 3 | 800 855 41600 | 5000 3 222 | 0.000 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 3 | 800 856 42300 | 5000 3 222 | 0.000 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 3 | 800 857 43000 | 5000 3 222 | 0.000 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 3 | 800 858 43700 | 5000 3 222 | 0.000 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 3 | 800 859 44400 | 5000 3 222 | 0.000 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 3 | 800 860 45100 | 5000 3 222 | 0.000 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 3 | 800 861 45800 | 5000 3 222 | 0.000 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 3 | 800 862 46500 | 5000 3 222 | 0.000 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 3 | 800 863 47200 | 5000 3 222 | 0.000 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s c =============================================================================== c | 3 | 800 864 47900 | 5000 3 222 | 0.000 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 3 | 800 865 48600 | 5000 3 222 | 0.000 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 3 | 800 866 49300 | 5000 3 222 | 0.000 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 3 | 800 867 50000 | 5000 3 222 | 0.000 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s c =============================================================================== c | 3 | 800 868 50700 | 5000 3 222 | 0.000 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s c =============================================================================== c | 3 | 800 869 51400 | 5000 3 222 | 0.000 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 3 | 800 870 52100 | 5000 3 222 | 0.000 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 0.365944 s Remaining CPU time: 179.634 s c =============================================================================== c | 4 | 800 871 52800 | 5000 4 168 | 0.000 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s c =============================================================================== c | 5 | 800 872 53500 | 5000 5 137 | 0.000 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 0.387941 s Remaining CPU time: 179.612 s c =============================================================================== c | 5 | 800 873 54200 | 5000 5 137 | 0.000 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s c =============================================================================== c | 5 | 800 874 54900 | 5000 5 137 | 0.000 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 5 | 800 875 55600 | 5000 5 137 | 0.000 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 0.424935 s Remaining CPU time: 179.575 s c =============================================================================== c | 5 | 800 876 56300 | 5000 5 137 | 0.000 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 0.436933 s Remaining CPU time: 179.563 s c =============================================================================== c | 5 | 800 877 57000 | 5000 5 137 | 0.000 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 5 | 800 878 57700 | 5000 5 137 | 0.000 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 0.464929 s Remaining CPU time: 179.535 s c =============================================================================== c | 5 | 800 879 58400 | 5000 5 137 | 0.000 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 0.478927 s Remaining CPU time: 179.521 s c =============================================================================== c | 5 | 800 880 59100 | 5000 5 137 | 0.000 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 0.491925 s Remaining CPU time: 179.508 s c =============================================================================== c | 5 | 800 881 59800 | 5000 5 137 | 0.000 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 0.507922 s Remaining CPU time: 179.492 s c =============================================================================== c | 5 | 800 882 60500 | 5000 5 137 | 0.000 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 0.52492 s Remaining CPU time: 179.475 s c =============================================================================== c | 6 | 800 883 61200 | 5000 6 115 | 0.000 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 0.539917 s Remaining CPU time: 179.46 s c =============================================================================== c | 6 | 800 884 61900 | 5000 6 115 | 0.000 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 0.553915 s Remaining CPU time: 179.446 s c =============================================================================== c | 6 | 800 885 62600 | 5000 6 115 | 0.000 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 0.570913 s Remaining CPU time: 179.429 s c =============================================================================== c | 7 | 800 886 63300 | 5000 7 99 | 0.000 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 0.58891 s Remaining CPU time: 179.411 s c =============================================================================== c | 7 | 800 887 64000 | 5000 7 99 | 0.000 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 0.604908 s Remaining CPU time: 179.395 s c =============================================================================== c | 8 | 800 888 64700 | 5000 8 164 | 0.000 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 0.620905 s Remaining CPU time: 179.379 s c =============================================================================== c | 8 | 800 889 65400 | 5000 8 164 | 0.000 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 0.638902 s Remaining CPU time: 179.361 s c =============================================================================== c | 8 | 800 890 66100 | 5000 8 164 | 0.000 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 0.6569 s Remaining CPU time: 179.343 s c =============================================================================== c | 8 | 800 891 66800 | 5000 8 164 | 0.000 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 0.675897 s Remaining CPU time: 179.324 s c =============================================================================== c | 8 | 800 892 67500 | 5000 8 164 | 0.000 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 0.692894 s Remaining CPU time: 179.307 s c =============================================================================== c | 8 | 800 893 68200 | 5000 8 164 | 0.000 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 0.711891 s Remaining CPU time: 179.288 s c =============================================================================== c | 8 | 800 894 68900 | 5000 8 164 | 0.000 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 0.731888 s Remaining CPU time: 179.268 s c =============================================================================== c | 8 | 800 895 69600 | 5000 8 164 | 0.000 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 0.750885 s Remaining CPU time: 179.249 s c =============================================================================== c | 8 | 800 896 70300 | 5000 8 164 | 0.000 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 0.770882 s Remaining CPU time: 179.229 s c =============================================================================== c | 8 | 800 897 71000 | 5000 8 164 | 0.000 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 0.790879 s Remaining CPU time: 179.209 s c =============================================================================== c | 8 | 800 898 71700 | 5000 8 164 | 0.000 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 0.810876 s Remaining CPU time: 179.189 s c =============================================================================== c | 8 | 800 899 72400 | 5000 8 164 | 0.000 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 0.828873 s Remaining CPU time: 179.171 s c =============================================================================== c | 8 | 800 900 73100 | 5000 8 164 | 0.000 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 0.846871 s Remaining CPU time: 179.153 s c =============================================================================== c | 8 | 800 901 73800 | 5000 8 164 | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 0.865868 s Remaining CPU time: 179.134 s c =============================================================================== c | 8 | 800 902 74500 | 5000 8 164 | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 0.886865 s Remaining CPU time: 179.113 s c =============================================================================== c | 8 | 800 903 75200 | 5000 8 164 | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 0.909861 s Remaining CPU time: 179.09 s c =============================================================================== c | 8 | 800 904 75900 | 5000 8 164 | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 0.932858 s Remaining CPU time: 179.067 s c =============================================================================== c | 8 | 800 905 76600 | 5000 8 164 | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 0.952855 s Remaining CPU time: 179.047 s c =============================================================================== c | 8 | 800 906 77300 | 5000 8 164 | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 0.976851 s Remaining CPU time: 179.023 s c =============================================================================== c | 9 | 800 907 78000 | 5000 9 147 | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 0.999848 s Remaining CPU time: 179 s c =============================================================================== c | 10 | 800 908 78700 | 5000 10 132 | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 1.02384 s Remaining CPU time: 178.976 s c =============================================================================== c | 10 | 800 909 79400 | 5000 10 132 | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 1.04584 s Remaining CPU time: 178.954 s c =============================================================================== c | 10 | 800 910 80100 | 5000 10 132 | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 1.06884 s Remaining CPU time: 178.931 s c =============================================================================== c | 11 | 800 911 80800 | 5000 11 121 | 0.000 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 1.09283 s Remaining CPU time: 178.907 s c =============================================================================== c | 11 | 800 912 81500 | 5000 11 121 | 0.000 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 1.11583 s Remaining CPU time: 178.884 s c =============================================================================== c | 11 | 800 913 82200 | 5000 11 121 | 0.000 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 1.14083 s Remaining CPU time: 178.859 s c =============================================================================== c | 11 | 800 914 82900 | 5000 11 121 | 0.000 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 1.16482 s Remaining CPU time: 178.835 s c =============================================================================== c | 11 | 800 915 83600 | 5000 11 121 | 0.000 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 1.19082 s Remaining CPU time: 178.809 s c =============================================================================== c | 11 | 800 916 84300 | 5000 11 121 | 0.000 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 1.21881 s Remaining CPU time: 178.781 s c =============================================================================== c | 11 | 800 917 85000 | 5000 11 121 | 0.000 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 1.24481 s Remaining CPU time: 178.755 s c =============================================================================== c | 11 | 800 918 85700 | 5000 11 121 | 0.000 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 1.26881 s Remaining CPU time: 178.731 s c =============================================================================== c | 12 | 800 919 86400 | 5000 12 112 | 0.000 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 1.2978 s Remaining CPU time: 178.702 s c =============================================================================== c | 12 | 800 920 87100 | 5000 12 112 | 0.000 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 1.3268 s Remaining CPU time: 178.673 s c =============================================================================== c | 12 | 800 921 87800 | 5000 12 112 | 0.000 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 1.35379 s Remaining CPU time: 178.646 s c =============================================================================== c | 12 | 800 922 88500 | 5000 12 112 | 0.000 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 1.38079 s Remaining CPU time: 178.619 s c =============================================================================== c | 13 | 800 923 89200 | 5000 13 104 | 0.000 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 1.40878 s Remaining CPU time: 178.591 s c =============================================================================== c | 18 | 800 924 89900 | 5000 18 237 | 0.000 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 1.43678 s Remaining CPU time: 178.563 s c =============================================================================== c | 18 | 800 925 90600 | 5000 18 237 | 0.000 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 1.46378 s Remaining CPU time: 178.536 s c =============================================================================== c | 18 | 800 926 91300 | 5000 18 237 | 0.000 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 1.49577 s Remaining CPU time: 178.504 s c =============================================================================== c | 18 | 800 927 92000 | 5000 18 237 | 0.000 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 1.52577 s Remaining CPU time: 178.474 s c =============================================================================== c | 18 | 800 928 92700 | 5000 18 237 | 0.000 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 1.55776 s Remaining CPU time: 178.442 s c =============================================================================== c | 18 | 800 929 93400 | 5000 18 237 | 0.000 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 1.58876 s Remaining CPU time: 178.411 s c =============================================================================== c | 18 | 800 930 94100 | 5000 18 237 | 0.000 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 1.61775 s Remaining CPU time: 178.382 s c =============================================================================== c | 18 | 800 931 94800 | 5000 18 237 | 0.000 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 1.64975 s Remaining CPU time: 178.35 s c =============================================================================== c | 18 | 800 932 95500 | 5000 18 237 | 0.000 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 1.67974 s Remaining CPU time: 178.32 s c =============================================================================== c | 18 | 800 933 96200 | 5000 18 237 | 0.000 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 1.70874 s Remaining CPU time: 178.291 s c =============================================================================== c | 18 | 800 934 96900 | 5000 18 237 | 0.000 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 1.73774 s Remaining CPU time: 178.262 s c =============================================================================== c | 18 | 800 935 97600 | 5000 18 237 | 0.000 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 1.76873 s Remaining CPU time: 178.231 s c =============================================================================== c | 18 | 800 936 98300 | 5000 18 237 | 0.000 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 1.79773 s Remaining CPU time: 178.202 s c =============================================================================== c | 18 | 800 937 99000 | 5000 18 237 | 0.000 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 1.83072 s Remaining CPU time: 178.169 s c =============================================================================== c | 18 | 800 938 99700 | 5000 18 237 | 0.000 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 1.86172 s Remaining CPU time: 178.138 s c =============================================================================== c | 20 | 800 939 100400 | 5000 20 214 | 0.000 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 1.89271 s Remaining CPU time: 178.107 s c =============================================================================== c | 20 | 800 940 101100 | 5000 20 214 | 0.000 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 1.92371 s Remaining CPU time: 178.076 s c =============================================================================== c | 21 | 800 941 101800 | 5000 21 205 | 0.000 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 1.9607 s Remaining CPU time: 178.039 s c =============================================================================== c | 21 | 800 942 102500 | 5000 21 205 | 0.000 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 1.9967 s Remaining CPU time: 178.003 s c =============================================================================== c | 21 | 800 943 103200 | 5000 21 205 | 0.000 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 2.02969 s Remaining CPU time: 177.97 s c =============================================================================== c | 21 | 800 944 103900 | 5000 21 205 | 0.000 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 2.06469 s Remaining CPU time: 177.935 s c =============================================================================== c | 21 | 800 945 104600 | 5000 21 205 | 0.000 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 2.09668 s Remaining CPU time: 177.903 s c =============================================================================== c | 21 | 800 946 105300 | 5000 21 205 | 0.000 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 2.13267 s Remaining CPU time: 177.867 s c =============================================================================== c | 21 | 800 947 106000 | 5000 21 205 | 0.000 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 2.16567 s Remaining CPU time: 177.834 s c =============================================================================== c | 21 | 800 948 106700 | 5000 21 205 | 0.000 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 2.19966 s Remaining CPU time: 177.8 s c =============================================================================== c | 21 | 800 949 107400 | 5000 21 205 | 0.000 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 2.23366 s Remaining CPU time: 177.766 s c =============================================================================== c | 21 | 800 950 108100 | 5000 21 205 | 0.000 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 2.26765 s Remaining CPU time: 177.732 s c =============================================================================== c | 21 | 800 951 108800 | 5000 21 205 | 0.000 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 2.30265 s Remaining CPU time: 177.697 s c =============================================================================== c | 21 | 800 952 109500 | 5000 21 205 | 0.000 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 2.33764 s Remaining CPU time: 177.662 s c =============================================================================== c | 21 | 800 953 110200 | 5000 21 205 | 0.000 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 2.37264 s Remaining CPU time: 177.627 s c =============================================================================== c | 21 | 800 954 110900 | 5000 21 205 | 0.000 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 2.40763 s Remaining CPU time: 177.592 s c =============================================================================== c | 21 | 800 955 111600 | 5000 21 205 | 0.000 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 2.44263 s Remaining CPU time: 177.557 s c =============================================================================== c | 21 | 800 956 112300 | 5000 21 205 | 0.000 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 2.47962 s Remaining CPU time: 177.52 s c =============================================================================== c | 21 | 800 957 113000 | 5000 21 205 | 0.000 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 2.51462 s Remaining CPU time: 177.485 s c =============================================================================== c | 23 | 800 958 113700 | 5000 23 188 | 0.000 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 2.55161 s Remaining CPU time: 177.448 s c =============================================================================== c | 23 | 800 959 114400 | 5000 23 188 | 0.000 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 2.58761 s Remaining CPU time: 177.412 s c =============================================================================== c | 23 | 800 960 115100 | 5000 23 188 | 0.000 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 2.6246 s Remaining CPU time: 177.375 s c =============================================================================== c | 23 | 800 961 115800 | 5000 23 188 | 0.000 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 2.6616 s Remaining CPU time: 177.338 s c =============================================================================== c | 23 | 800 962 116500 | 5000 23 188 | 0.000 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 2.69859 s Remaining CPU time: 177.301 s c =============================================================================== c | 24 | 800 963 117200 | 5000 24 180 | 0.000 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 2.73858 s Remaining CPU time: 177.261 s c =============================================================================== c | 24 | 800 964 117900 | 5000 24 180 | 0.000 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 2.77558 s Remaining CPU time: 177.224 s c =============================================================================== c | 25 | 800 965 118600 | 5000 25 173 | 0.000 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 2.81457 s Remaining CPU time: 177.185 s c =============================================================================== c | 26 | 800 966 119300 | 5000 26 167 | 0.000 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 2.85457 s Remaining CPU time: 177.145 s c =============================================================================== c | 28 | 800 967 120000 | 5000 28 156 | 0.000 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 2.89356 s Remaining CPU time: 177.106 s c =============================================================================== c | 29 | 800 968 120700 | 5000 29 169 | 0.000 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 2.93255 s Remaining CPU time: 177.067 s c =============================================================================== c | 30 | 800 969 121400 | 5000 30 164 | 0.000 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 2.97155 s Remaining CPU time: 177.028 s c =============================================================================== c | 30 | 800 970 122100 | 5000 30 164 | 0.000 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 3.01154 s Remaining CPU time: 176.988 s c =============================================================================== c | 30 | 800 971 122800 | 5000 30 164 | 0.000 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 3.05253 s Remaining CPU time: 176.947 s c =============================================================================== c | 30 | 800 972 123500 | 5000 30 164 | 0.000 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 3.09153 s Remaining CPU time: 176.908 s c =============================================================================== c | 32 | 800 973 124200 | 5000 32 154 | 0.000 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 3.13352 s Remaining CPU time: 176.866 s c =============================================================================== c | 33 | 800 974 124900 | 5000 33 150 | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 3.17452 s Remaining CPU time: 176.825 s c =============================================================================== c | 33 | 800 975 125600 | 5000 33 150 | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 3.21351 s Remaining CPU time: 176.786 s c =============================================================================== c | 35 | 800 976 126300 | 5000 35 142 | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 3.2555 s Remaining CPU time: 176.744 s c =============================================================================== c | 35 | 800 977 127000 | 5000 35 142 | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 3.2975 s Remaining CPU time: 176.703 s c =============================================================================== c | 36 | 800 978 127700 | 5000 36 152 | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 3.34049 s Remaining CPU time: 176.66 s c =============================================================================== c | 36 | 800 979 128400 | 5000 36 152 | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 3.38149 s Remaining CPU time: 176.619 s c =============================================================================== c | 36 | 800 980 129100 | 5000 36 152 | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 3.42348 s Remaining CPU time: 176.577 s c =============================================================================== c | 36 | 800 981 129800 | 5000 36 152 | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 3.46847 s Remaining CPU time: 176.532 s c =============================================================================== c | 36 | 800 982 130500 | 5000 36 152 | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 3.51147 s Remaining CPU time: 176.489 s c =============================================================================== c | 36 | 800 983 131200 | 5000 36 152 | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 3.55546 s Remaining CPU time: 176.445 s c =============================================================================== c | 36 | 800 984 131900 | 5000 36 152 | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 3.59745 s Remaining CPU time: 176.403 s c =============================================================================== c | 37 | 800 985 132600 | 5000 37 149 | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 3.64245 s Remaining CPU time: 176.358 s c =============================================================================== c | 38 | 800 986 133300 | 5000 38 145 | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 3.68444 s Remaining CPU time: 176.316 s c =============================================================================== c | 38 | 800 987 134000 | 5000 38 145 | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 3.72743 s Remaining CPU time: 176.273 s c =============================================================================== c | 39 | 800 988 134700 | 5000 39 142 | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 3.77243 s Remaining CPU time: 176.228 s c =============================================================================== c | 40 | 800 989 135400 | 5000 40 151 | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 3.81942 s Remaining CPU time: 176.181 s c =============================================================================== c | 40 | 800 990 136100 | 5000 40 151 | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 3.86541 s Remaining CPU time: 176.135 s c =============================================================================== c | 40 | 800 991 136800 | 5000 40 151 | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 3.91241 s Remaining CPU time: 176.088 s c =============================================================================== c | 40 | 800 992 137500 | 5000 40 151 | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 3.9594 s Remaining CPU time: 176.041 s c =============================================================================== c | 40 | 800 993 138200 | 5000 40 151 | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 4.00739 s Remaining CPU time: 175.993 s c =============================================================================== c | 41 | 800 994 138900 | 5000 41 148 | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 4.05538 s Remaining CPU time: 175.945 s c =============================================================================== c | 41 | 800 995 139600 | 5000 41 148 | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 4.10238 s Remaining CPU time: 175.898 s c =============================================================================== c | 41 | 800 996 140300 | 5000 41 148 | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 4.14737 s Remaining CPU time: 175.853 s c =============================================================================== c | 41 | 800 997 141000 | 5000 41 148 | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 4.19436 s Remaining CPU time: 175.806 s c =============================================================================== c | 41 | 800 998 141700 | 5000 41 148 | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 4.24235 s Remaining CPU time: 175.758 s c =============================================================================== c | 41 | 800 999 142400 | 5000 41 148 | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 4.28935 s Remaining CPU time: 175.711 s c =============================================================================== c | 41 | 800 1000 143100 | 5000 41 148 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 4.33934 s Remaining CPU time: 175.661 s c =============================================================================== c | 41 | 800 1001 143800 | 5000 41 148 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 4.38933 s Remaining CPU time: 175.611 s c =============================================================================== c | 44 | 800 1002 144500 | 5000 44 150 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 4.44132 s Remaining CPU time: 175.559 s c =============================================================================== c | 46 | 800 1003 145200 | 5000 46 144 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 4.49132 s Remaining CPU time: 175.509 s c =============================================================================== c | 47 | 800 1004 145900 | 5000 47 152 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 4.54231 s Remaining CPU time: 175.458 s c =============================================================================== c | 50 | 800 1005 146600 | 5000 50 163 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 4.5943 s Remaining CPU time: 175.406 s c =============================================================================== c | 56 | 800 1006 147300 | 5000 56 156 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 4.64529 s Remaining CPU time: 175.355 s c =============================================================================== c | 56 | 800 1007 148000 | 5000 56 156 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 4.69429 s Remaining CPU time: 175.306 s c =============================================================================== c | 56 | 800 1008 148700 | 5000 56 156 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 4.74428 s Remaining CPU time: 175.256 s c =============================================================================== c | 56 | 800 1009 149400 | 5000 56 156 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 4.79427 s Remaining CPU time: 175.206 s c =============================================================================== c | 56 | 800 1010 150100 | 5000 56 156 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 4.84726 s Remaining CPU time: 175.153 s c =============================================================================== c | 56 | 800 1011 150800 | 5000 56 156 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 4.90025 s Remaining CPU time: 175.1 s c =============================================================================== c | 57 | 800 1012 151500 | 5000 57 153 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 4.95425 s Remaining CPU time: 175.046 s c =============================================================================== c | 57 | 800 1013 152200 | 5000 57 153 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 5.00724 s Remaining CPU time: 174.993 s c =============================================================================== c | 57 | 800 1014 152900 | 5000 57 153 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 5.05923 s Remaining CPU time: 174.941 s c =============================================================================== c | 57 | 800 1015 153600 | 5000 57 153 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 5.11022 s Remaining CPU time: 174.89 s c =============================================================================== c | 58 | 800 1016 154300 | 5000 58 151 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 5.16421 s Remaining CPU time: 174.836 s c =============================================================================== c | 58 | 800 1017 155000 | 5000 58 151 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 5.21521 s Remaining CPU time: 174.785 s c =============================================================================== c | 58 | 800 1018 155700 | 5000 58 151 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 5.2662 s Remaining CPU time: 174.734 s c =============================================================================== c | 58 | 800 1019 156400 | 5000 58 151 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 5.31819 s Remaining CPU time: 174.682 s c =============================================================================== c | 60 | 800 1020 157100 | 5000 60 154 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 5.37218 s Remaining CPU time: 174.628 s c =============================================================================== c | 63 | 800 1021 157800 | 5000 63 170 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 5.42617 s Remaining CPU time: 174.574 s c =============================================================================== c | 65 | 800 1022 158500 | 5000 65 165 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 5.48017 s Remaining CPU time: 174.52 s c =============================================================================== c | 65 | 800 1023 159200 | 5000 65 165 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 5.53416 s Remaining CPU time: 174.466 s c =============================================================================== c | 65 | 800 1024 159900 | 5000 65 165 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 5.58815 s Remaining CPU time: 174.412 s c =============================================================================== c | 68 | 800 1025 160600 | 5000 68 158 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 5.64314 s Remaining CPU time: 174.357 s c =============================================================================== c | 69 | 800 1026 161300 | 5000 69 156 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 5.69713 s Remaining CPU time: 174.303 s c =============================================================================== c | 69 | 800 1027 162000 | 5000 69 156 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 5.75213 s Remaining CPU time: 174.248 s c =============================================================================== c | 69 | 800 1028 162700 | 5000 69 156 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 5.80612 s Remaining CPU time: 174.194 s c =============================================================================== c | 69 | 800 1029 163400 | 5000 69 156 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 5.86211 s Remaining CPU time: 174.138 s c =============================================================================== c | 69 | 800 1030 164100 | 5000 69 156 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 5.9151 s Remaining CPU time: 174.085 s c =============================================================================== c | 69 | 800 1031 164800 | 5000 69 156 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 5.96909 s Remaining CPU time: 174.031 s c =============================================================================== c | 69 | 800 1032 165500 | 5000 69 156 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 6.02408 s Remaining CPU time: 173.976 s c =============================================================================== c | 69 | 800 1033 166200 | 5000 69 156 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 6.07808 s Remaining CPU time: 173.922 s c =============================================================================== c | 69 | 800 1034 166900 | 5000 69 156 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 6.13407 s Remaining CPU time: 173.866 s c =============================================================================== c | 74 | 800 1035 167600 | 5000 74 159 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 6.19006 s Remaining CPU time: 173.81 s c =============================================================================== c | 77 | 800 1036 168300 | 5000 77 171 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 6.24605 s Remaining CPU time: 173.754 s c =============================================================================== c | 81 | 800 1037 169000 | 5000 81 163 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 6.30204 s Remaining CPU time: 173.698 s c =============================================================================== c | 84 | 800 1038 169700 | 5000 84 174 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 6.35903 s Remaining CPU time: 173.641 s c =============================================================================== c | 87 | 800 1039 170400 | 5000 87 174 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 6.41602 s Remaining CPU time: 173.584 s c =============================================================================== c | 90 | 800 1040 171100 | 5000 90 174 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 6.47501 s Remaining CPU time: 173.525 s c =============================================================================== c | 90 | 800 1041 171800 | 5000 90 174 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 6.53201 s Remaining CPU time: 173.468 s c =============================================================================== c | 90 | 800 1042 172500 | 5000 90 174 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 6.587 s Remaining CPU time: 173.413 s c =============================================================================== c | 90 | 800 1043 173200 | 5000 90 174 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 6.64499 s Remaining CPU time: 173.355 s c =============================================================================== c | 91 | 800 1044 173900 | 5000 91 177 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 6.70198 s Remaining CPU time: 173.298 s c =============================================================================== c | 92 | 800 1045 174600 | 5000 92 175 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 6.75997 s Remaining CPU time: 173.24 s c =============================================================================== c | 97 | 800 1046 175300 | 5000 97 181 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 6.81896 s Remaining CPU time: 173.181 s c =============================================================================== c | 99 | 800 1047 176000 | 5000 99 177 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 6.87895 s Remaining CPU time: 173.121 s c =============================================================================== c | 99 | 800 1048 176700 | 5000 99 177 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 6.93595 s Remaining CPU time: 173.064 s c =============================================================================== c | 99 | 800 1049 177400 | 5000 99 177 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 6.99494 s Remaining CPU time: 173.005 s c =============================================================================== c | 99 | 800 1050 178100 | 5000 99 177 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 7.05193 s Remaining CPU time: 172.948 s c =============================================================================== c | 100 | 800 1051 178800 | 5000 100 175 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 7.11592 s Remaining CPU time: 172.884 s c =============================================================================== c | 111 | 800 1052 179500 | 5000 111 199 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 7.17791 s Remaining CPU time: 172.822 s c =============================================================================== c | 113 | 800 1053 180200 | 5000 113 196 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 7.2379 s Remaining CPU time: 172.762 s c =============================================================================== c | 117 | 800 1054 180900 | 5000 117 190 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 7.29789 s Remaining CPU time: 172.702 s c =============================================================================== c | 117 | 800 1055 181600 | 5000 117 190 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 7.35588 s Remaining CPU time: 172.644 s c =============================================================================== c | 117 | 800 1056 182300 | 5000 117 190 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 7.41487 s Remaining CPU time: 172.585 s c =============================================================================== c | 117 | 800 1057 183000 | 5000 117 190 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 7.47286 s Remaining CPU time: 172.527 s c =============================================================================== c | 118 | 800 1058 183700 | 5000 118 189 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 7.53285 s Remaining CPU time: 172.467 s c =============================================================================== c | 118 | 800 1059 184400 | 5000 118 189 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 7.59284 s Remaining CPU time: 172.407 s c =============================================================================== c | 118 | 800 1060 185100 | 5000 118 189 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 7.64984 s Remaining CPU time: 172.35 s c =============================================================================== c | 118 | 800 1061 185800 | 5000 118 189 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 7.70983 s Remaining CPU time: 172.29 s c =============================================================================== c | 118 | 800 1062 186500 | 5000 118 189 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 7.77282 s Remaining CPU time: 172.227 s c =============================================================================== c | 118 | 800 1063 187200 | 5000 118 189 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 7.83481 s Remaining CPU time: 172.165 s c =============================================================================== c | 119 | 800 1064 187900 | 5000 119 187 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 7.8978 s Remaining CPU time: 172.102 s c =============================================================================== c | 120 | 800 1065 188600 | 5000 120 189 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 7.96179 s Remaining CPU time: 172.038 s c =============================================================================== c | 120 | 800 1066 189300 | 5000 120 189 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 8.02478 s Remaining CPU time: 171.975 s c =============================================================================== c | 120 | 800 1067 190000 | 5000 120 189 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 8.08677 s Remaining CPU time: 171.913 s c =============================================================================== c | 120 | 800 1068 190700 | 5000 120 189 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 8.15076 s Remaining CPU time: 171.849 s c =============================================================================== c | 120 | 800 1069 191400 | 5000 120 189 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 8.21275 s Remaining CPU time: 171.787 s c =============================================================================== c | 120 | 800 1070 192100 | 5000 120 189 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 8.27674 s Remaining CPU time: 171.723 s c =============================================================================== c | 120 | 800 1071 192800 | 5000 120 189 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 8.34073 s Remaining CPU time: 171.659 s c =============================================================================== c | 120 | 800 1072 193500 | 5000 120 189 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 8.40272 s Remaining CPU time: 171.597 s c =============================================================================== c | 121 | 800 1073 194200 | 5000 121 188 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 8.46771 s Remaining CPU time: 171.532 s c =============================================================================== c | 121 | 800 1074 194900 | 5000 121 188 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 8.5307 s Remaining CPU time: 171.469 s c =============================================================================== c | 121 | 800 1075 195600 | 5000 121 188 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 8.59169 s Remaining CPU time: 171.408 s c =============================================================================== c | 121 | 800 1076 196300 | 5000 121 188 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 8.65668 s Remaining CPU time: 171.343 s c =============================================================================== c | 125 | 800 1077 197000 | 5000 125 195 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 8.71967 s Remaining CPU time: 171.28 s c =============================================================================== c | 126 | 800 1078 197700 | 5000 126 194 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 8.78366 s Remaining CPU time: 171.216 s c =============================================================================== c | 127 | 800 1079 198400 | 5000 127 192 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 8.84765 s Remaining CPU time: 171.152 s c =============================================================================== c | 132 | 800 1080 199100 | 5000 132 186 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 8.91764 s Remaining CPU time: 171.082 s c =============================================================================== c | 146 | 800 1081 199800 | 5000 146 209 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 8.98063 s Remaining CPU time: 171.019 s c =============================================================================== c | 153 | 800 1082 200500 | 5000 153 201 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 9.04462 s Remaining CPU time: 170.955 s c =============================================================================== c | 154 | 800 1083 201200 | 5000 154 199 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 9.11361 s Remaining CPU time: 170.886 s c =============================================================================== c | 196 | 800 1084 201900 | 5000 196 168 | 0.000 % | c | 296 | 800 1084 201900 | 5500 296 255 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 9.28859 s Remaining CPU time: 170.711 s c =============================================================================== c | 322 | 800 1085 202600 | 5000 322 237 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 9.35358 s Remaining CPU time: 170.646 s c =============================================================================== c | 323 | 800 1086 203300 | 5000 323 237 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 9.41857 s Remaining CPU time: 170.581 s c =============================================================================== c | 324 | 800 1087 204000 | 5000 324 238 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 9.48256 s Remaining CPU time: 170.517 s c =============================================================================== c | 324 | 800 1088 204700 | 5000 324 238 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 9.54555 s Remaining CPU time: 170.454 s c =============================================================================== c | 324 | 800 1089 205400 | 5000 324 238 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 9.61154 s Remaining CPU time: 170.388 s c =============================================================================== c | 326 | 800 1090 206100 | 5000 326 239 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 9.67653 s Remaining CPU time: 170.323 s c =============================================================================== c | 332 | 800 1091 206800 | 5000 332 236 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 9.74152 s Remaining CPU time: 170.258 s c =============================================================================== c | 334 | 800 1092 207500 | 5000 334 237 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 9.80751 s Remaining CPU time: 170.192 s c =============================================================================== c | 337 | 800 1093 208200 | 5000 337 237 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 9.8745 s Remaining CPU time: 170.126 s c =============================================================================== c | 340 | 800 1094 208900 | 5000 340 238 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 9.93749 s Remaining CPU time: 170.063 s c =============================================================================== c | 346 | 800 1095 209600 | 5000 346 234 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 10.0225 s Remaining CPU time: 169.978 s c =============================================================================== c | 405 | 800 1096 210300 | 5000 405 259 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 10.0895 s Remaining CPU time: 169.911 s c =============================================================================== c | 425 | 800 1097 211000 | 5000 425 248 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 10.1745 s Remaining CPU time: 169.826 s c =============================================================================== c | 466 | 800 1098 211700 | 5000 466 263 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 10.2414 s Remaining CPU time: 169.759 s c =============================================================================== c | 472 | 800 1099 212400 | 5000 472 260 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 10.3084 s Remaining CPU time: 169.692 s c =============================================================================== c | 476 | 800 1100 213100 | 5000 476 258 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 10.3734 s Remaining CPU time: 169.627 s c =============================================================================== c | 486 | 800 1101 213800 | 5000 486 253 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 10.4654 s Remaining CPU time: 169.535 s c =============================================================================== c | 540 | 800 1102 214500 | 5000 540 268 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 10.5324 s Remaining CPU time: 169.468 s c =============================================================================== c | 552 | 800 1103 215200 | 5000 552 263 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 10.5984 s Remaining CPU time: 169.402 s c =============================================================================== c | 555 | 800 1104 215900 | 5000 555 261 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 10.6654 s Remaining CPU time: 169.335 s c =============================================================================== c | 559 | 800 1105 216600 | 5000 559 260 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 10.7334 s Remaining CPU time: 169.267 s c =============================================================================== c | 559 | 800 1106 217300 | 5000 559 260 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 10.8194 s Remaining CPU time: 169.181 s c =============================================================================== c | 591 | 800 1107 218000 | 5000 591 267 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 10.8863 s Remaining CPU time: 169.114 s c =============================================================================== c | 595 | 800 1108 218700 | 5000 595 265 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 10.9543 s Remaining CPU time: 169.046 s c =============================================================================== c | 598 | 800 1109 219400 | 5000 598 264 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 11.0213 s Remaining CPU time: 168.979 s c =============================================================================== c | 600 | 800 1110 220100 | 5000 600 263 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 11.0893 s Remaining CPU time: 168.911 s c =============================================================================== c | 602 | 800 1111 220800 | 5000 602 262 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 11.1563 s Remaining CPU time: 168.844 s c =============================================================================== c | 605 | 800 1112 221500 | 5000 605 261 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 11.2243 s Remaining CPU time: 168.776 s c =============================================================================== c | 608 | 800 1113 222200 | 5000 608 260 | 0.000 % | c | 708 | 800 1113 222200 | 5500 708 278 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 11.4023 s Remaining CPU time: 168.598 s c =============================================================================== c | 714 | 800 1114 222900 | 5000 714 276 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 11.4723 s Remaining CPU time: 168.528 s c =============================================================================== c | 736 | 800 1115 223600 | 5000 736 268 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 11.5492 s Remaining CPU time: 168.451 s c =============================================================================== c | 755 | 800 1116 224300 | 5000 755 271 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 11.6212 s Remaining CPU time: 168.379 s c =============================================================================== c | 791 | 800 1117 225000 | 5000 791 261 | 0.000 % | c | 892 | 800 1117 225000 | 5500 892 275 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 11.9262 s Remaining CPU time: 168.074 s c =============================================================================== c | 902 | 800 1118 225700 | 5000 902 272 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 11.9972 s Remaining CPU time: 168.003 s c =============================================================================== c | 953 | 800 1119 226400 | 5000 953 259 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 12.0902 s Remaining CPU time: 167.91 s c =============================================================================== c | 981 | 800 1120 227100 | 5000 981 263 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 12.1602 s Remaining CPU time: 167.84 s c =============================================================================== c | 1012 | 800 1121 227800 | 5000 1012 256 | 0.000 % | c | 1113 | 800 1121 227800 | 5500 1113 267 | 0.000 % | c | 1263 | 800 1121 227800 | 6050 1263 260 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 12.4571 s Remaining CPU time: 167.543 s c =============================================================================== c | 1336 | 800 1122 228500 | 5000 1336 248 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 12.5511 s Remaining CPU time: 167.449 s c =============================================================================== c | 1351 | 800 1123 229200 | 5000 1351 250 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 12.6221 s Remaining CPU time: 167.378 s c =============================================================================== c | 1352 | 800 1124 229900 | 5000 1352 249 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 12.6951 s Remaining CPU time: 167.305 s c =============================================================================== c | 1437 | 800 1125 230600 | 5000 1437 236 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 12.7781 s Remaining CPU time: 167.222 s c =============================================================================== c | 1449 | 800 1126 231300 | 5000 1449 238 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 12.852 s Remaining CPU time: 167.148 s c =============================================================================== c | 1479 | 800 1127 232000 | 5000 1479 233 | 0.000 % | c | 1581 | 800 1127 232000 | 5500 1581 243 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 13.157 s Remaining CPU time: 166.843 s c =============================================================================== c | 1690 | 800 1128 232700 | 5000 1690 229 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 13.23 s Remaining CPU time: 166.77 s c =============================================================================== c | 1691 | 800 1129 233400 | 5000 1691 229 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 13.353 s Remaining CPU time: 166.647 s c =============================================================================== c | 1715 | 800 1130 234100 | 5000 1715 231 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 13.425 s Remaining CPU time: 166.575 s c =============================================================================== c | 1731 | 800 1131 234800 | 5000 1731 229 | 0.000 % | c | 1832 | 800 1131 234800 | 5500 1832 238 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 13.6139 s Remaining CPU time: 166.386 s c =============================================================================== c | 1877 | 800 1132 235500 | 5000 1877 233 | 0.000 % | c | 1977 | 800 1132 235500 | 5500 1977 240 | 0.000 % | c | 2128 | 800 1132 235500 | 6050 2128 225 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 13.9799 s Remaining CPU time: 166.02 s c =============================================================================== c | 2130 | 800 1133 236200 | 5000 2130 226 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 14.1079 s Remaining CPU time: 165.892 s c =============================================================================== c | 2161 | 800 1134 236900 | 5000 2161 228 | 0.000 % | c | 2262 | 800 1134 236900 | 5500 2262 219 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 14.2558 s Remaining CPU time: 165.744 s c =============================================================================== c | 2267 | 800 1135 237600 | 5000 2267 219 | 0.000 % | c | 2367 | 800 1135 237600 | 5500 2367 226 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 14.4298 s Remaining CPU time: 165.57 s c =============================================================================== c | 2434 | 800 1136 238300 | 5000 2434 220 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 14.6048 s Remaining CPU time: 165.395 s c =============================================================================== c | 2532 | 800 1137 239000 | 5000 2532 226 | 0.000 % | c | 2632 | 800 1137 239000 | 5500 2632 219 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 14.7518 s Remaining CPU time: 165.248 s c =============================================================================== c | 2634 | 800 1138 239700 | 5000 2634 219 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 14.8517 s Remaining CPU time: 165.148 s c =============================================================================== c | 2689 | 800 1139 240400 | 5000 2689 222 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 14.9287 s Remaining CPU time: 165.071 s c =============================================================================== c | 2780 | 800 1140 241100 | 5000 2780 216 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 15.0467 s Remaining CPU time: 164.953 s c =============================================================================== c | 2803 | 800 1141 241800 | 5000 2803 217 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 15.1197 s Remaining CPU time: 164.88 s c =============================================================================== c | 2829 | 800 1142 242500 | 5000 2829 215 | 0.000 % | c | 2929 | 800 1142 242500 | 5500 2929 220 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 15.3937 s Remaining CPU time: 164.606 s c =============================================================================== c | 2983 | 800 1143 243200 | 5000 2983 217 | 0.000 % | c | 3084 | 800 1143 243200 | 5500 3084 222 | 0.000 % | c | 3235 | 800 1143 243200 | 6050 3235 218 | 0.000 % | c | 3460 | 800 1143 243200 | 6655 3460 215 | 0.000 % | c | 3797 | 800 1143 243200 | 7320 3797 224 | 0.000 % | c | 4303 | 800 1143 243200 | 8052 4303 236 | 0.000 % | c | 5062 | 800 1143 243200 | 8857 5062 250 | 0.000 % | c | 6201 | 800 1143 243200 | 9743 6201 268 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 20.3059 s Remaining CPU time: 159.694 s c =============================================================================== c | 7805 | 800 1144 243900 | 5000 7805 282 | 0.000 % | c | 7905 | 800 1144 243900 | 5500 4003 319 | 0.000 % | c | 8055 | 800 1144 243900 | 6050 4153 316 | 0.000 % | c | 8280 | 800 1144 243900 | 6655 4378 314 | 0.000 % | c | 8617 | 800 1144 243900 | 7320 4715 312 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 21.6507 s Remaining CPU time: 158.349 s c =============================================================================== c | 9078 | 800 1145 244600 | 5000 5176 314 | 0.000 % | c | 9178 | 800 1145 244600 | 5500 2688 289 | 0.000 % | c | 9328 | 800 1145 244600 | 6050 2838 290 | 0.000 % | c | 9554 | 800 1145 244600 | 6655 3064 292 | 0.000 % | c | 9892 | 800 1145 244600 | 7320 3402 293 | 0.000 % | c | 10398 | 800 1145 244600 | 8052 3908 297 | 0.000 % | c | 11158 | 800 1145 244600 | 8857 4668 302 | 0.000 % | c | 12297 | 800 1145 244600 | 9743 5807 313 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 24.8502 s Remaining CPU time: 155.15 s c =============================================================================== c | 12443 | 800 1146 245300 | 5000 5953 307 | 0.000 % | c | 12543 | 800 1146 245300 | 5500 3077 290 | 0.000 % | c | 12694 | 800 1146 245300 | 6050 3228 278 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 25.1272 s Remaining CPU time: 154.873 s c =============================================================================== c | 12699 | 800 1147 246000 | 5000 3233 278 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 25.2022 s Remaining CPU time: 154.798 s c =============================================================================== c | 12703 | 800 1148 246700 | 5000 3237 278 | 0.000 % | c | 12803 | 800 1148 246700 | 5500 3337 280 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 25.4381 s Remaining CPU time: 154.562 s c =============================================================================== c | 12869 | 800 1149 247400 | 5000 3403 277 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 25.5391 s Remaining CPU time: 154.461 s c =============================================================================== c | 12924 | 800 1150 248100 | 5000 3458 277 | 0.000 % | c | 13026 | 800 1150 248100 | 5500 3560 273 | 0.000 % | c | 13176 | 800 1150 248100 | 6050 3710 274 | 0.000 % | c | 13401 | 800 1150 248100 | 6655 3935 269 | 0.000 % | c | 13738 | 800 1150 248100 | 7320 4272 265 | 0.000 % | c | 14244 | 800 1150 248100 | 8052 4778 269 | 0.000 % | c | 15003 | 800 1150 248100 | 8857 5537 274 | 0.000 % | c | 16143 | 800 1150 248100 | 9743 6677 282 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 29.1436 s Remaining CPU time: 150.856 s c =============================================================================== c | 16699 | 800 1151 248800 | 5000 7233 283 | 0.000 % | c | 16799 | 800 1151 248800 | 5500 3717 275 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 29.3835 s Remaining CPU time: 150.616 s c =============================================================================== c | 16834 | 800 1152 249500 | 5000 3752 274 | 0.000 % | c | 16934 | 800 1152 249500 | 5500 3852 275 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 29.6055 s Remaining CPU time: 150.395 s c =============================================================================== c | 16970 | 800 1153 250200 | 5000 3888 273 | 0.000 % | c | 17071 | 800 1153 250200 | 5500 3989 275 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 29.8075 s Remaining CPU time: 150.193 s c =============================================================================== c | 17087 | 800 1154 250900 | 5000 4005 274 | 0.000 % | c | 17188 | 800 1154 250900 | 5500 4106 275 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 29.9994 s Remaining CPU time: 150.001 s c =============================================================================== c | 17210 | 800 1155 251600 | 5000 4128 274 | 0.000 % | c | 17310 | 800 1155 251600 | 5500 4228 276 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 30.1894 s Remaining CPU time: 149.811 s c =============================================================================== c | 17375 | 800 1156 252300 | 5000 4293 272 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 30.2834 s Remaining CPU time: 149.717 s c =============================================================================== c | 17383 | 800 1157 253000 | 5000 4301 272 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 30.3594 s Remaining CPU time: 149.641 s c =============================================================================== c | 17386 | 800 1158 253700 | 5000 4304 272 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 30.4314 s Remaining CPU time: 149.569 s c =============================================================================== c | 17386 | 800 1159 254400 | 5000 4304 272 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 30.5044 s Remaining CPU time: 149.496 s c =============================================================================== c | 17387 | 800 1160 255100 | 5000 4305 272 | 0.000 % | c | 17487 | 800 1160 255100 | 5500 4405 272 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 30.6993 s Remaining CPU time: 149.301 s c =============================================================================== c | 17487 | 800 1161 255800 | 5000 4405 272 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 30.7713 s Remaining CPU time: 149.229 s c =============================================================================== c | 17487 | 800 1162 256500 | 5000 4405 272 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 30.8443 s Remaining CPU time: 149.156 s c =============================================================================== c | 17487 | 800 1163 257200 | 5000 4405 272 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 30.9193 s Remaining CPU time: 149.081 s c =============================================================================== c | 17505 | 800 1164 257900 | 5000 4423 271 | 0.000 % | c | 17605 | 800 1164 257900 | 5500 4523 273 | 0.000 % | c | 17757 | 800 1164 257900 | 6050 4675 265 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 31.2652 s Remaining CPU time: 148.735 s c =============================================================================== c | 17770 | 800 1165 258600 | 5000 4688 265 | 0.000 % | c | 17870 | 800 1165 258600 | 5500 4788 264 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 31.5362 s Remaining CPU time: 148.464 s c =============================================================================== c | 18005 | 800 1166 259300 | 5000 4923 262 | 0.000 % | c | 18105 | 800 1166 259300 | 5500 5023 259 | 0.000 % | c | 18256 | 800 1166 259300 | 6050 5174 261 | 0.000 % | c | 18481 | 800 1166 259300 | 6655 5399 260 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 32.2021 s Remaining CPU time: 147.798 s c =============================================================================== c | 18625 | 800 1167 260000 | 5000 5543 258 | 0.000 % | c | 18725 | 800 1167 260000 | 5500 2872 223 | 0.000 % | c | 18875 | 800 1167 260000 | 6050 3022 221 | 0.000 % | c | 19100 | 800 1167 260000 | 6655 3247 222 | 0.000 % | c | 19437 | 800 1167 260000 | 7320 3584 221 | 0.000 % | c | 19944 | 800 1167 260000 | 8052 4091 233 | 0.000 % | c | 20703 | 800 1167 260000 | 8857 4850 244 | 0.000 % | c | 21842 | 800 1167 260000 | 9743 5989 257 | 0.000 % | c | 23551 | 800 1167 260000 | 10717 7698 274 | 0.000 % | c | 26113 | 800 1167 260000 | 11789 10260 290 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 39.0261 s Remaining CPU time: 140.974 s c =============================================================================== c | 26389 | 800 1168 260700 | 5000 10536 288 | 0.000 % | c | 26489 | 800 1168 260700 | 5500 2734 300 | 0.000 % | c | 26639 | 800 1168 260700 | 6050 2884 294 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 39.465 s Remaining CPU time: 140.535 s c =============================================================================== c | 26770 | 800 1169 261400 | 5000 3015 292 | 0.000 % | c | 26870 | 800 1169 261400 | 5500 3115 291 | 0.000 % | c | 27020 | 800 1169 261400 | 6050 3265 291 | 0.000 % | c | 27245 | 800 1169 261400 | 6655 3490 290 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 40.1829 s Remaining CPU time: 139.817 s c =============================================================================== c | 27400 | 800 1170 262100 | 5000 3645 286 | 0.000 % | c | 27500 | 800 1170 262100 | 5500 3745 284 | 0.000 % | c | 27650 | 800 1170 262100 | 6050 3895 283 | 0.000 % | c | 27875 | 800 1170 262100 | 6655 4120 281 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 40.9928 s Remaining CPU time: 139.007 s c =============================================================================== c | 28192 | 800 1171 262800 | 5000 4437 280 | 0.000 % | c | 28293 | 800 1171 262800 | 5500 4538 280 | 0.000 % | c | 28443 | 800 1171 262800 | 6050 4688 280 | 0.000 % | c | 28668 | 800 1171 262800 | 6655 4913 280 | 0.000 % | c | 29005 | 800 1171 262800 | 7320 5250 282 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 42.1956 s Remaining CPU time: 137.804 s c =============================================================================== c | 29097 | 800 1172 263500 | 5000 5342 282 | 0.000 % | c | 29197 | 800 1172 263500 | 5500 2771 234 | 0.000 % | c | 29347 | 800 1172 263500 | 6050 2921 239 | 0.000 % | c | 29575 | 800 1172 263500 | 6655 3149 243 | 0.000 % | c | 29912 | 800 1172 263500 | 7320 3486 245 | 0.000 % | c | 30418 | 800 1172 263500 | 8052 3992 252 | 0.000 % | c | 31178 | 800 1172 263500 | 8857 4752 263 | 0.000 % | c | 32317 | 800 1172 263500 | 9743 5891 275 | 0.000 % | c | 34025 | 800 1172 263500 | 10717 7599 285 | 0.000 % | c | 36587 | 800 1172 263500 | 11789 10161 294 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 51.8551 s Remaining CPU time: 128.145 s c =============================================================================== c | 38176 | 800 1173 264200 | 5000 11750 298 | 0.000 % | c | 38276 | 800 1173 264200 | 5500 3038 287 | 0.000 % | c | 38426 | 800 1173 264200 | 6050 3188 285 | 0.000 % | c | 38651 | 800 1173 264200 | 6655 3413 285 | 0.000 % | c | 38988 | 800 1173 264200 | 7320 3750 286 | 0.000 % | c | 39494 | 800 1173 264200 | 8052 4256 290 | 0.000 % | c | 40253 | 800 1173 264200 | 8857 5015 293 | 0.000 % | c | 41392 | 800 1173 264200 | 9743 6154 296 | 0.000 % | c | 43100 | 800 1173 264200 | 10717 7862 302 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 56.9853 s Remaining CPU time: 123.015 s c =============================================================================== c | 43608 | 800 1174 264900 | 5000 8370 301 | 0.000 % | c | 43708 | 800 1174 264900 | 5500 4285 288 | 0.000 % | c | 43858 | 800 1174 264900 | 6050 4435 290 | 0.000 % | c | 44083 | 800 1174 264900 | 6655 4660 290 | 0.000 % | c | 44420 | 800 1174 264900 | 7320 4997 289 | 0.000 % | c | 44927 | 800 1174 264900 | 8052 5504 292 | 0.000 % | c | 45686 | 800 1174 264900 | 8857 6263 294 | 0.000 % | c | 46825 | 800 1174 264900 | 9743 7402 297 | 0.000 % | c | 48533 | 800 1174 264900 | 10717 9110 304 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 63.6563 s Remaining CPU time: 116.344 s c =============================================================================== c | 50634 | 800 1175 265600 | 5000 5686 299 | 0.000 % | c | 50734 | 800 1175 265600 | 5500 2943 287 | 0.000 % | c | 50884 | 800 1175 265600 | 6050 3093 280 | 0.000 % | c | 51109 | 800 1175 265600 | 6655 3318 283 | 0.000 % | c | 51446 | 800 1175 265600 | 7320 3655 280 | 0.000 % | c | 51954 | 800 1175 265600 | 8052 4163 281 | 0.000 % | c | 52713 | 800 1175 265600 | 8857 4922 287 | 0.000 % | c | 53852 | 800 1175 265600 | 9743 6061 289 | 0.000 % | c | 55561 | 800 1175 265600 | 10717 7770 294 | 0.000 % | c | 58123 | 800 1175 265600 | 11789 10332 303 | 0.000 % | c | 61967 | 800 1175 265600 | 12968 8104 305 | 0.000 % | c | 67733 | 800 1175 265600 | 14265 7213 312 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 79.6749 s Remaining CPU time: 100.325 s c =============================================================================== c | 67880 | 800 1176 266300 | 5000 7360 309 | 0.000 % | c | 67980 | 800 1176 266300 | 5500 3780 301 | 0.000 % | c | 68130 | 800 1176 266300 | 6050 3930 300 | 0.000 % | c | 68355 | 800 1176 266300 | 6655 4155 298 | 0.000 % | c | 68692 | 800 1176 266300 | 7320 4492 293 | 0.000 % | c | 69200 | 800 1176 266300 | 8052 5000 297 | 0.000 % | c | 69959 | 800 1176 266300 | 8857 5759 300 | 0.000 % | c | 71098 | 800 1176 266300 | 9743 6898 291 | 0.000 % | c | 72806 | 800 1176 266300 | 10717 8606 298 | 0.000 % | c | 75368 | 800 1176 266300 | 11789 5637 295 | 0.000 % | c | 79212 | 800 1176 266300 | 12968 9481 307 | 0.000 % | c | 84979 | 800 1176 266300 | 14265 8596 312 | 0.000 % | c | 93629 | 800 1176 266300 | 15692 9935 320 | 0.000 % | c | 106603 | 800 1176 266300 | 17261 14893 324 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 119.645 s Remaining CPU time: 60.3552 s c =============================================================================== c | 112300 | 800 1177 267000 | 5000 11787 318 | 0.000 % | c | 112400 | 800 1177 267000 | 5500 3047 302 | 0.000 % | c | 112550 | 800 1177 267000 | 6050 3197 302 | 0.000 % | c | 112775 | 800 1177 267000 | 6655 3422 297 | 0.000 % | c | 113114 | 800 1177 267000 | 7320 3761 295 | 0.000 % | c | 113620 | 800 1177 267000 | 8052 4267 299 | 0.000 % | c | 114379 | 800 1177 267000 | 8857 5026 297 | 0.000 % | c | 115518 | 800 1177 267000 | 9743 6165 300 | 0.000 % | c | 117227 | 800 1177 267000 | 10717 7874 305 | 0.000 % | c | 119789 | 800 1177 267000 | 11789 10436 309 | 0.000 % | c | 123633 | 800 1177 267000 | 12968 8218 312 | 0.000 % | c | 129399 | 800 1177 267000 | 14265 7326 310 | 0.000 % | c | 138048 | 800 1177 267000 | 15692 8678 308 | 0.000 % | c | 151022 | 800 1177 267000 | 17261 13634 318 | 0.000 % | c | 170484 | 800 1177 267000 | 18987 15484 326 | 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 1882 3112 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 450 1883 3637 | 5000 0 nan | 0.000 % | c | 101 | 450 1883 3637 | 5500 101 73 | 53.846 % | c | 252 | 449 1883 3637 | 6050 35 13 | 53.949 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1260 1884 131629 | 5000 0 nan | 0.000 % | c | 103 | 1260 1884 131629 | 5500 103 64 | 13.521 % | c | 253 | 1260 1884 131629 | 6050 253 36 | 13.521 % | c | 478 | 1260 1884 131629 | 6655 478 30 | 13.521 % | c | 815 | 1260 1884 131629 | 7320 815 33 | 13.521 % | c | 1321 | 1260 1884 131629 | 8052 1321 33 | 13.521 % | c | 2080 | 1260 1884 131629 | 8857 2080 30 | 13.521 % | c | 3219 | 1258 1884 131629 | 9743 2484 31 | 13.658 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2128 1885 266175 | 5000 0 nan | 0.000 % | c | 100 | 2128 1885 266175 | 5500 100 43 | 0.328 % | c | 252 | 2128 1885 266175 | 6050 252 26 | 0.328 % | c | 477 | 2128 1885 266175 | 6655 477 23 | 0.328 % | c | 814 | 2128 1885 266175 | 7320 814 23 | 0.328 % | c | 1320 | 2128 1885 266175 | 8052 1320 19 | 0.328 % | c | 2079 | 2128 1885 266175 | 8857 2079 17 | 0.328 % | c | 3218 | 2128 1885 266175 | 9743 3218 15 | 0.328 % | c | 4927 | 2128 1885 266175 | 10717 4927 15 | 0.328 % | c | 7489 | 2128 1885 266175 | 11789 7489 14 | 0.328 % | c | 11333 | 2128 1885 266175 | 12968 11333 14 | 0.328 % | c | 17102 | 2128 1885 266175 | 14265 10603 13 | 0.328 % | c | 25752 | 2128 1885 266175 | 15692 12102 13 | 0.328 % | c | 38726 | 2126 1885 266175 | 17261 9241 12 | 0.422 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2808 1888 271036 | 5000 0 nan | 0.000 % | c | 100 | 2808 1888 271036 | 5500 100 59 | 0.071 % | c | 250 | 2808 1888 271036 | 6050 250 36 | 0.071 % | c | 476 | 2808 1888 271036 | 6655 476 30 | 0.071 % | c | 816 | 2808 1888 271036 | 7320 816 27 | 0.071 % | c | 1323 | 2808 1888 271036 | 8052 1323 25 | 0.071 % | c | 2082 | 2808 1888 271036 | 8857 2082 23 | 0.071 % | c | 3222 | 2808 1888 271036 | 9743 3222 22 | 0.071 % | c | 4930 | 2808 1888 271036 | 10717 4930 21 | 0.071 % | c | 7493 | 2808 1888 271036 | 11789 7493 20 | 0.071 % | c | 11338 | 2808 1888 271036 | 12968 11338 20 | 0.071 % | c | 17105 | 2808 1888 271036 | 14265 10607 20 | 0.071 % | c | 25755 | 2808 1888 271036 | 15692 12076 20 | 0.071 % | c | 38729 | 2808 1888 271036 | 17261 9300 24 | 0.071 % | c | 58191 | 2808 1888 271036 | 18987 11463 27 | 0.071 % | c | 87389 | 2808 1888 271036 | 20886 11629 22 | 0.071 % | c | 131178 | 2808 1888 271036 | 22974 13591 21 | 0.071 % | c | 196862 | 2808 1888 271036 | 25272 21769 20 | 0.071 % | c | 295390 | 2808 1888 271036 | 27799 17033 22 | 0.071 % | c | 443183 | 2808 1888 271036 | 30579 15735 21 | 0.071 % | c | 664866 | 2808 1888 271036 | 33637 22408 20 | 0.071 % |