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.004999 s Remaining CPU time: 179.995 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 5 | 0.000 % | c =============================================================================== c New solution: 697 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 1 | 800 804 5900 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 696 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 1 | 800 805 6600 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 695 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 1 | 800 806 7300 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 694 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 1 | 800 807 8000 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 693 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 1 | 800 808 8700 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 692 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 1 | 800 809 9400 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 691 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 1 | 800 810 10100 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 690 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 1 | 800 811 10800 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 689 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 1 | 800 812 11500 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 688 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 1 | 800 813 12200 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 687 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 1 | 800 814 12900 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 686 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 1 | 800 815 13600 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 685 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 1 | 800 816 14300 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 684 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 1 | 800 817 15000 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 683 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 1 | 800 818 15700 | 5000 1 5 | 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 5 | 0.000 % | c =============================================================================== c New solution: 681 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 1 | 800 820 17100 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 680 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 1 | 800 821 17800 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 679 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 1 | 800 822 18500 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 678 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 1 | 800 823 19200 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 677 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 1 | 800 824 19900 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 676 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 1 | 800 825 20600 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 675 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 1 | 800 826 21300 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 674 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 1 | 800 827 22000 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 673 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 1 | 800 828 22700 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 672 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 1 | 800 829 23400 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 671 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 1 | 800 830 24100 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 670 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 1 | 800 831 24800 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 669 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 1 | 800 832 25500 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 668 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 1 | 800 833 26200 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 667 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 1 | 800 834 26900 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 666 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 1 | 800 835 27600 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 665 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 1 | 800 836 28300 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 664 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 1 | 800 837 29000 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 663 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 1 | 800 838 29700 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 662 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 1 | 800 839 30400 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 1 | 800 840 31100 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 1 | 800 841 31800 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 659 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 1 | 800 842 32500 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 658 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 1 | 800 843 33200 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 1 | 800 844 33900 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 1 | 800 845 34600 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 1 | 800 846 35300 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 1 | 800 847 36000 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 1 | 800 848 36700 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 1 | 800 849 37400 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 1 | 800 850 38100 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 1 | 800 851 38800 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 1 | 800 852 39500 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 1 | 800 853 40200 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 1 | 800 854 40900 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 1 | 800 855 41600 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 2 | 800 856 42300 | 5000 2 327 | 0.000 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 2 | 800 857 43000 | 5000 2 327 | 0.000 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 3 | 800 858 43700 | 5000 3 219 | 0.000 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 3 | 800 859 44400 | 5000 3 219 | 0.000 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 3 | 800 860 45100 | 5000 3 219 | 0.000 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s c =============================================================================== c | 3 | 800 861 45800 | 5000 3 219 | 0.000 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 3 | 800 862 46500 | 5000 3 219 | 0.000 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s c =============================================================================== c | 3 | 800 863 47200 | 5000 3 219 | 0.000 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 3 | 800 864 47900 | 5000 3 219 | 0.000 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 0.281957 s Remaining CPU time: 179.718 s c =============================================================================== c | 4 | 800 865 48600 | 5000 4 166 | 0.000 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s c =============================================================================== c | 4 | 800 866 49300 | 5000 4 166 | 0.000 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 4 | 800 867 50000 | 5000 4 166 | 0.000 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 0.307953 s Remaining CPU time: 179.692 s c =============================================================================== c | 4 | 800 868 50700 | 5000 4 166 | 0.000 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 5 | 800 869 51400 | 5000 5 133 | 0.000 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s c =============================================================================== c | 6 | 800 870 52100 | 5000 6 112 | 0.000 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s c =============================================================================== c | 6 | 800 871 52800 | 5000 6 112 | 0.000 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 0.345947 s Remaining CPU time: 179.654 s c =============================================================================== c | 6 | 800 872 53500 | 5000 6 112 | 0.000 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 0.356945 s Remaining CPU time: 179.643 s c =============================================================================== c | 6 | 800 873 54200 | 5000 6 112 | 0.000 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 0.366944 s Remaining CPU time: 179.633 s c =============================================================================== c | 7 | 800 874 54900 | 5000 7 97 | 0.000 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 7 | 800 875 55600 | 5000 7 97 | 0.000 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 0.387941 s Remaining CPU time: 179.612 s c =============================================================================== c | 8 | 800 876 56300 | 5000 8 164 | 0.000 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 0.398939 s Remaining CPU time: 179.601 s c =============================================================================== c | 8 | 800 877 57000 | 5000 8 164 | 0.000 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 0.409937 s Remaining CPU time: 179.59 s c =============================================================================== c | 9 | 800 878 57700 | 5000 9 146 | 0.000 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s c =============================================================================== c | 9 | 800 879 58400 | 5000 9 146 | 0.000 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 0.430934 s Remaining CPU time: 179.569 s c =============================================================================== c | 9 | 800 880 59100 | 5000 9 146 | 0.000 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 0.441932 s Remaining CPU time: 179.558 s c =============================================================================== c | 9 | 800 881 59800 | 5000 9 146 | 0.000 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 0.45393 s Remaining CPU time: 179.546 s c =============================================================================== c | 9 | 800 882 60500 | 5000 9 146 | 0.000 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 0.466929 s Remaining CPU time: 179.533 s c =============================================================================== c | 9 | 800 883 61200 | 5000 9 146 | 0.000 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 0.479927 s Remaining CPU time: 179.52 s c =============================================================================== c | 9 | 800 884 61900 | 5000 9 146 | 0.000 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 0.492925 s Remaining CPU time: 179.507 s c =============================================================================== c | 11 | 800 885 62600 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 0.505923 s Remaining CPU time: 179.494 s c =============================================================================== c | 11 | 800 886 63300 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 0.516921 s Remaining CPU time: 179.483 s c =============================================================================== c | 11 | 800 887 64000 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 0.529919 s Remaining CPU time: 179.47 s c =============================================================================== c | 12 | 800 888 64700 | 5000 12 112 | 0.000 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 0.543917 s Remaining CPU time: 179.456 s c =============================================================================== c | 12 | 800 889 65400 | 5000 12 112 | 0.000 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 0.556915 s Remaining CPU time: 179.443 s c =============================================================================== c | 13 | 800 890 66100 | 5000 13 104 | 0.000 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 0.569913 s Remaining CPU time: 179.43 s c =============================================================================== c | 13 | 800 891 66800 | 5000 13 104 | 0.000 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 0.582911 s Remaining CPU time: 179.417 s c =============================================================================== c | 13 | 800 892 67500 | 5000 13 104 | 0.000 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 0.596909 s Remaining CPU time: 179.403 s c =============================================================================== c | 13 | 800 893 68200 | 5000 13 104 | 0.000 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 0.608907 s Remaining CPU time: 179.391 s c =============================================================================== c | 13 | 800 894 68900 | 5000 13 104 | 0.000 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 0.623905 s Remaining CPU time: 179.376 s c =============================================================================== c | 13 | 800 895 69600 | 5000 13 104 | 0.000 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 0.637903 s Remaining CPU time: 179.362 s c =============================================================================== c | 13 | 800 896 70300 | 5000 13 104 | 0.000 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 0.6529 s Remaining CPU time: 179.347 s c =============================================================================== c | 13 | 800 897 71000 | 5000 13 104 | 0.000 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 0.668898 s Remaining CPU time: 179.331 s c =============================================================================== c | 14 | 800 898 71700 | 5000 14 140 | 0.000 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 0.684895 s Remaining CPU time: 179.315 s c =============================================================================== c | 14 | 800 899 72400 | 5000 14 140 | 0.000 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 0.699893 s Remaining CPU time: 179.3 s c =============================================================================== c | 14 | 800 900 73100 | 5000 14 140 | 0.000 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 0.715891 s Remaining CPU time: 179.284 s c =============================================================================== c | 14 | 800 901 73800 | 5000 14 140 | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 0.730888 s Remaining CPU time: 179.269 s c =============================================================================== c | 14 | 800 902 74500 | 5000 14 140 | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 0.747886 s Remaining CPU time: 179.252 s c =============================================================================== c | 14 | 800 903 75200 | 5000 14 140 | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 0.764883 s Remaining CPU time: 179.235 s c =============================================================================== c | 14 | 800 904 75900 | 5000 14 140 | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 0.781881 s Remaining CPU time: 179.218 s c =============================================================================== c | 14 | 800 905 76600 | 5000 14 140 | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 0.797878 s Remaining CPU time: 179.202 s c =============================================================================== c | 14 | 800 906 77300 | 5000 14 140 | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 0.814876 s Remaining CPU time: 179.185 s c =============================================================================== c | 14 | 800 907 78000 | 5000 14 140 | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 0.832873 s Remaining CPU time: 179.167 s c =============================================================================== c | 14 | 800 908 78700 | 5000 14 140 | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 0.84887 s Remaining CPU time: 179.151 s c =============================================================================== c | 14 | 800 909 79400 | 5000 14 140 | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 0.864868 s Remaining CPU time: 179.135 s c =============================================================================== c | 14 | 800 910 80100 | 5000 14 140 | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 0.882865 s Remaining CPU time: 179.117 s c =============================================================================== c | 14 | 800 911 80800 | 5000 14 140 | 0.000 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 0.901862 s Remaining CPU time: 179.098 s c =============================================================================== c | 14 | 800 912 81500 | 5000 14 140 | 0.000 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 0.91886 s Remaining CPU time: 179.081 s c =============================================================================== c | 14 | 800 913 82200 | 5000 14 140 | 0.000 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 0.937857 s Remaining CPU time: 179.062 s c =============================================================================== c | 14 | 800 914 82900 | 5000 14 140 | 0.000 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 0.954854 s Remaining CPU time: 179.045 s c =============================================================================== c | 14 | 800 915 83600 | 5000 14 140 | 0.000 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 0.974851 s Remaining CPU time: 179.025 s c =============================================================================== c | 14 | 800 916 84300 | 5000 14 140 | 0.000 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 0.993848 s Remaining CPU time: 179.006 s c =============================================================================== c | 14 | 800 917 85000 | 5000 14 140 | 0.000 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 1.01285 s Remaining CPU time: 178.987 s c =============================================================================== c | 14 | 800 918 85700 | 5000 14 140 | 0.000 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 1.03384 s Remaining CPU time: 178.966 s c =============================================================================== c | 15 | 800 919 86400 | 5000 15 131 | 0.000 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 1.05284 s Remaining CPU time: 178.947 s c =============================================================================== c | 15 | 800 920 87100 | 5000 15 131 | 0.000 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 1.07284 s Remaining CPU time: 178.927 s c =============================================================================== c | 15 | 800 921 87800 | 5000 15 131 | 0.000 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 1.09583 s Remaining CPU time: 178.904 s c =============================================================================== c | 16 | 800 922 88500 | 5000 16 123 | 0.000 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 1.11683 s Remaining CPU time: 178.883 s c =============================================================================== c | 17 | 800 923 89200 | 5000 17 150 | 0.000 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 1.13683 s Remaining CPU time: 178.863 s c =============================================================================== c | 17 | 800 924 89900 | 5000 17 150 | 0.000 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 1.15782 s Remaining CPU time: 178.842 s c =============================================================================== c | 17 | 800 925 90600 | 5000 17 150 | 0.000 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 1.18082 s Remaining CPU time: 178.819 s c =============================================================================== c | 17 | 800 926 91300 | 5000 17 150 | 0.000 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 1.20182 s Remaining CPU time: 178.798 s c =============================================================================== c | 17 | 800 927 92000 | 5000 17 150 | 0.000 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 1.22381 s Remaining CPU time: 178.776 s c =============================================================================== c | 17 | 800 928 92700 | 5000 17 150 | 0.000 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 1.24581 s Remaining CPU time: 178.754 s c =============================================================================== c | 17 | 800 929 93400 | 5000 17 150 | 0.000 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 1.26781 s Remaining CPU time: 178.732 s c =============================================================================== c | 17 | 800 930 94100 | 5000 17 150 | 0.000 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 1.2908 s Remaining CPU time: 178.709 s c =============================================================================== c | 17 | 800 931 94800 | 5000 17 150 | 0.000 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 1.3138 s Remaining CPU time: 178.686 s c =============================================================================== c | 17 | 800 932 95500 | 5000 17 150 | 0.000 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 1.3368 s Remaining CPU time: 178.663 s c =============================================================================== c | 17 | 800 933 96200 | 5000 17 150 | 0.000 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 1.36079 s Remaining CPU time: 178.639 s c =============================================================================== c | 17 | 800 934 96900 | 5000 17 150 | 0.000 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 1.38379 s Remaining CPU time: 178.616 s c =============================================================================== c | 17 | 800 935 97600 | 5000 17 150 | 0.000 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 1.40878 s Remaining CPU time: 178.591 s c =============================================================================== c | 19 | 800 936 98300 | 5000 19 194 | 0.000 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 1.43278 s Remaining CPU time: 178.567 s c =============================================================================== c | 19 | 800 937 99000 | 5000 19 194 | 0.000 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 1.45678 s Remaining CPU time: 178.543 s c =============================================================================== c | 19 | 800 938 99700 | 5000 19 194 | 0.000 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 1.48077 s Remaining CPU time: 178.519 s c =============================================================================== c | 19 | 800 939 100400 | 5000 19 194 | 0.000 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 1.50477 s Remaining CPU time: 178.495 s c =============================================================================== c | 19 | 800 940 101100 | 5000 19 194 | 0.000 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 1.53077 s Remaining CPU time: 178.469 s c =============================================================================== c | 19 | 800 941 101800 | 5000 19 194 | 0.000 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 1.55676 s Remaining CPU time: 178.443 s c =============================================================================== c | 19 | 800 942 102500 | 5000 19 194 | 0.000 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 1.58276 s Remaining CPU time: 178.417 s c =============================================================================== c | 19 | 800 943 103200 | 5000 19 194 | 0.000 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 1.60875 s Remaining CPU time: 178.391 s c =============================================================================== c | 19 | 800 944 103900 | 5000 19 194 | 0.000 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 1.63175 s Remaining CPU time: 178.368 s c =============================================================================== c | 19 | 800 945 104600 | 5000 19 194 | 0.000 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 1.65675 s Remaining CPU time: 178.343 s c =============================================================================== c | 19 | 800 946 105300 | 5000 19 194 | 0.000 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 1.68274 s Remaining CPU time: 178.317 s c =============================================================================== c | 19 | 800 947 106000 | 5000 19 194 | 0.000 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 1.70974 s Remaining CPU time: 178.29 s c =============================================================================== c | 19 | 800 948 106700 | 5000 19 194 | 0.000 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 1.73574 s Remaining CPU time: 178.264 s c =============================================================================== c | 20 | 800 949 107400 | 5000 20 185 | 0.000 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 1.76173 s Remaining CPU time: 178.238 s c =============================================================================== c | 20 | 800 950 108100 | 5000 20 185 | 0.000 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 1.78973 s Remaining CPU time: 178.21 s c =============================================================================== c | 20 | 800 951 108800 | 5000 20 185 | 0.000 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 1.81672 s Remaining CPU time: 178.183 s c =============================================================================== c | 20 | 800 952 109500 | 5000 20 185 | 0.000 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 1.84372 s Remaining CPU time: 178.156 s c =============================================================================== c | 20 | 800 953 110200 | 5000 20 185 | 0.000 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 1.87172 s Remaining CPU time: 178.128 s c =============================================================================== c | 20 | 800 954 110900 | 5000 20 185 | 0.000 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 1.89971 s Remaining CPU time: 178.1 s c =============================================================================== c | 20 | 800 955 111600 | 5000 20 185 | 0.000 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 1.92771 s Remaining CPU time: 178.072 s c =============================================================================== c | 20 | 800 956 112300 | 5000 20 185 | 0.000 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 1.9567 s Remaining CPU time: 178.043 s c =============================================================================== c | 20 | 800 957 113000 | 5000 20 185 | 0.000 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 1.9857 s Remaining CPU time: 178.014 s c =============================================================================== c | 20 | 800 958 113700 | 5000 20 185 | 0.000 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 2.01569 s Remaining CPU time: 177.984 s c =============================================================================== c | 23 | 800 959 114400 | 5000 23 162 | 0.000 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 2.04469 s Remaining CPU time: 177.955 s c =============================================================================== c | 24 | 800 960 115100 | 5000 24 156 | 0.000 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 2.07368 s Remaining CPU time: 177.926 s c =============================================================================== c | 24 | 800 961 115800 | 5000 24 156 | 0.000 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 2.10368 s Remaining CPU time: 177.896 s c =============================================================================== c | 24 | 800 962 116500 | 5000 24 156 | 0.000 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 2.13368 s Remaining CPU time: 177.866 s c =============================================================================== c | 25 | 800 963 117200 | 5000 25 150 | 0.000 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 2.16267 s Remaining CPU time: 177.837 s c =============================================================================== c | 25 | 800 964 117900 | 5000 25 150 | 0.000 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 2.19167 s Remaining CPU time: 177.808 s c =============================================================================== c | 25 | 800 965 118600 | 5000 25 150 | 0.000 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 2.21966 s Remaining CPU time: 177.78 s c =============================================================================== c | 27 | 800 966 119300 | 5000 27 139 | 0.000 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 2.25066 s Remaining CPU time: 177.749 s c =============================================================================== c | 27 | 800 967 120000 | 5000 27 139 | 0.000 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 2.28165 s Remaining CPU time: 177.718 s c =============================================================================== c | 27 | 800 968 120700 | 5000 27 139 | 0.000 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 2.31365 s Remaining CPU time: 177.686 s c =============================================================================== c | 28 | 800 969 121400 | 5000 28 154 | 0.000 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 2.34464 s Remaining CPU time: 177.655 s c =============================================================================== c | 28 | 800 970 122100 | 5000 28 154 | 0.000 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 2.37664 s Remaining CPU time: 177.623 s c =============================================================================== c | 28 | 800 971 122800 | 5000 28 154 | 0.000 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 2.40763 s Remaining CPU time: 177.592 s c =============================================================================== c | 28 | 800 972 123500 | 5000 28 154 | 0.000 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 2.44063 s Remaining CPU time: 177.559 s c =============================================================================== c | 34 | 800 973 124200 | 5000 34 129 | 0.000 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 2.47262 s Remaining CPU time: 177.527 s c =============================================================================== c | 34 | 800 974 124900 | 5000 34 129 | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 2.50562 s Remaining CPU time: 177.494 s c =============================================================================== c | 34 | 800 975 125600 | 5000 34 129 | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 2.53761 s Remaining CPU time: 177.462 s c =============================================================================== c | 34 | 800 976 126300 | 5000 34 129 | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 2.56961 s Remaining CPU time: 177.43 s c =============================================================================== c | 34 | 800 977 127000 | 5000 34 129 | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 2.6026 s Remaining CPU time: 177.397 s c =============================================================================== c | 34 | 800 978 127700 | 5000 34 129 | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 2.6356 s Remaining CPU time: 177.364 s c =============================================================================== c | 34 | 800 979 128400 | 5000 34 129 | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 2.66959 s Remaining CPU time: 177.33 s c =============================================================================== c | 34 | 800 980 129100 | 5000 34 129 | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 2.70259 s Remaining CPU time: 177.297 s c =============================================================================== c | 34 | 800 981 129800 | 5000 34 129 | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 2.73658 s Remaining CPU time: 177.263 s c =============================================================================== c | 34 | 800 982 130500 | 5000 34 129 | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 2.77058 s Remaining CPU time: 177.229 s c =============================================================================== c | 34 | 800 983 131200 | 5000 34 129 | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 2.80357 s Remaining CPU time: 177.196 s c =============================================================================== c | 34 | 800 984 131900 | 5000 34 129 | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 2.83657 s Remaining CPU time: 177.163 s c =============================================================================== c | 34 | 800 985 132600 | 5000 34 129 | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 2.87056 s Remaining CPU time: 177.129 s c =============================================================================== c | 36 | 800 986 133300 | 5000 36 123 | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 2.90656 s Remaining CPU time: 177.093 s c =============================================================================== c | 37 | 800 987 134000 | 5000 37 134 | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 2.94155 s Remaining CPU time: 177.058 s c =============================================================================== c | 37 | 800 988 134700 | 5000 37 134 | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 2.97655 s Remaining CPU time: 177.023 s c =============================================================================== c | 37 | 800 989 135400 | 5000 37 134 | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 3.01254 s Remaining CPU time: 176.987 s c =============================================================================== c | 37 | 800 990 136100 | 5000 37 134 | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 3.04854 s Remaining CPU time: 176.951 s c =============================================================================== c | 37 | 800 991 136800 | 5000 37 134 | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 3.08353 s Remaining CPU time: 176.916 s c =============================================================================== c | 37 | 800 992 137500 | 5000 37 134 | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 3.11952 s Remaining CPU time: 176.88 s c =============================================================================== c | 37 | 800 993 138200 | 5000 37 134 | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 3.15652 s Remaining CPU time: 176.843 s c =============================================================================== c | 38 | 800 994 138900 | 5000 38 144 | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 3.19151 s Remaining CPU time: 176.808 s c =============================================================================== c | 38 | 800 995 139600 | 5000 38 144 | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 3.22851 s Remaining CPU time: 176.771 s c =============================================================================== c | 38 | 800 996 140300 | 5000 38 144 | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 3.2655 s Remaining CPU time: 176.734 s c =============================================================================== c | 38 | 800 997 141000 | 5000 38 144 | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 3.3005 s Remaining CPU time: 176.7 s c =============================================================================== c | 38 | 800 998 141700 | 5000 38 144 | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 3.33849 s Remaining CPU time: 176.662 s c =============================================================================== c | 38 | 800 999 142400 | 5000 38 144 | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 3.37449 s Remaining CPU time: 176.626 s c =============================================================================== c | 38 | 800 1000 143100 | 5000 38 144 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 3.41148 s Remaining CPU time: 176.589 s c =============================================================================== c | 38 | 800 1001 143800 | 5000 38 144 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 3.44948 s Remaining CPU time: 176.551 s c =============================================================================== c | 38 | 800 1002 144500 | 5000 38 144 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 3.48847 s Remaining CPU time: 176.512 s c =============================================================================== c | 38 | 800 1003 145200 | 5000 38 144 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 3.52646 s Remaining CPU time: 176.474 s c =============================================================================== c | 39 | 800 1004 145900 | 5000 39 140 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 3.56546 s Remaining CPU time: 176.435 s c =============================================================================== c | 41 | 800 1005 146600 | 5000 41 146 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 3.60345 s Remaining CPU time: 176.397 s c =============================================================================== c | 41 | 800 1006 147300 | 5000 41 146 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 3.64245 s Remaining CPU time: 176.358 s c =============================================================================== c | 41 | 800 1007 148000 | 5000 41 146 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 3.68044 s Remaining CPU time: 176.32 s c =============================================================================== c | 41 | 800 1008 148700 | 5000 41 146 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 3.72043 s Remaining CPU time: 176.28 s c =============================================================================== c | 43 | 800 1009 149400 | 5000 43 140 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 3.76043 s Remaining CPU time: 176.24 s c =============================================================================== c | 45 | 800 1010 150100 | 5000 45 134 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 3.80042 s Remaining CPU time: 176.2 s c =============================================================================== c | 45 | 800 1011 150800 | 5000 45 134 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 3.84142 s Remaining CPU time: 176.159 s c =============================================================================== c | 45 | 800 1012 151500 | 5000 45 134 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 3.88141 s Remaining CPU time: 176.119 s c =============================================================================== c | 45 | 800 1013 152200 | 5000 45 134 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 3.9204 s Remaining CPU time: 176.08 s c =============================================================================== c | 45 | 800 1014 152900 | 5000 45 134 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 3.9594 s Remaining CPU time: 176.041 s c =============================================================================== c | 45 | 800 1015 153600 | 5000 45 134 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 3.99939 s Remaining CPU time: 176.001 s c =============================================================================== c | 46 | 800 1016 154300 | 5000 46 141 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 4.03939 s Remaining CPU time: 175.961 s c =============================================================================== c | 48 | 800 1017 155000 | 5000 48 136 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 4.08038 s Remaining CPU time: 175.92 s c =============================================================================== c | 49 | 800 1018 155700 | 5000 49 134 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 4.12237 s Remaining CPU time: 175.878 s c =============================================================================== c | 50 | 800 1019 156400 | 5000 50 141 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 4.16437 s Remaining CPU time: 175.836 s c =============================================================================== c | 51 | 800 1020 157100 | 5000 51 138 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 4.20836 s Remaining CPU time: 175.792 s c =============================================================================== c | 53 | 800 1021 157800 | 5000 53 142 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 4.25035 s Remaining CPU time: 175.75 s c =============================================================================== c | 54 | 800 1022 158500 | 5000 54 140 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 4.29035 s Remaining CPU time: 175.71 s c =============================================================================== c | 54 | 800 1023 159200 | 5000 54 140 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 4.33234 s Remaining CPU time: 175.668 s c =============================================================================== c | 54 | 800 1024 159900 | 5000 54 140 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 4.37333 s Remaining CPU time: 175.627 s c =============================================================================== c | 54 | 800 1025 160600 | 5000 54 140 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 4.41733 s Remaining CPU time: 175.583 s c =============================================================================== c | 56 | 800 1026 161300 | 5000 56 143 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 4.46032 s Remaining CPU time: 175.54 s c =============================================================================== c | 57 | 800 1027 162000 | 5000 57 141 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 4.50232 s Remaining CPU time: 175.498 s c =============================================================================== c | 59 | 800 1028 162700 | 5000 59 145 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 4.54431 s Remaining CPU time: 175.456 s c =============================================================================== c | 60 | 800 1029 163400 | 5000 60 150 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 4.5883 s Remaining CPU time: 175.412 s c =============================================================================== c | 63 | 800 1030 164100 | 5000 63 143 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 4.6293 s Remaining CPU time: 175.371 s c =============================================================================== c | 64 | 800 1031 164800 | 5000 64 141 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 4.67229 s Remaining CPU time: 175.328 s c =============================================================================== c | 64 | 800 1032 165500 | 5000 64 141 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 4.71628 s Remaining CPU time: 175.284 s c =============================================================================== c | 64 | 800 1033 166200 | 5000 64 141 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 4.76028 s Remaining CPU time: 175.24 s c =============================================================================== c | 65 | 800 1034 166900 | 5000 65 147 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 4.80427 s Remaining CPU time: 175.196 s c =============================================================================== c | 67 | 800 1035 167600 | 5000 67 150 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 4.84826 s Remaining CPU time: 175.152 s c =============================================================================== c | 68 | 800 1036 168300 | 5000 68 154 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 4.89326 s Remaining CPU time: 175.107 s c =============================================================================== c | 70 | 800 1037 169000 | 5000 70 163 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 4.93825 s Remaining CPU time: 175.062 s c =============================================================================== c | 71 | 800 1038 169700 | 5000 71 161 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 4.98124 s Remaining CPU time: 175.019 s c =============================================================================== c | 71 | 800 1039 170400 | 5000 71 161 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 5.02524 s Remaining CPU time: 174.975 s c =============================================================================== c | 71 | 800 1040 171100 | 5000 71 161 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 5.07023 s Remaining CPU time: 174.93 s c =============================================================================== c | 73 | 800 1041 171800 | 5000 73 157 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 5.11522 s Remaining CPU time: 174.885 s c =============================================================================== c | 73 | 800 1042 172500 | 5000 73 157 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 5.16122 s Remaining CPU time: 174.839 s c =============================================================================== c | 73 | 800 1043 173200 | 5000 73 157 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 5.20621 s Remaining CPU time: 174.794 s c =============================================================================== c | 73 | 800 1044 173900 | 5000 73 157 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 5.2512 s Remaining CPU time: 174.749 s c =============================================================================== c | 73 | 800 1045 174600 | 5000 73 157 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 5.29719 s Remaining CPU time: 174.703 s c =============================================================================== c | 73 | 800 1046 175300 | 5000 73 157 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 5.34419 s Remaining CPU time: 174.656 s c =============================================================================== c | 109 | 800 1047 176000 | 5000 109 118 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 5.42218 s Remaining CPU time: 174.578 s c =============================================================================== c | 139 | 800 1048 176700 | 5000 139 192 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 5.47317 s Remaining CPU time: 174.527 s c =============================================================================== c | 140 | 800 1049 177400 | 5000 140 191 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 5.52216 s Remaining CPU time: 174.478 s c =============================================================================== c | 140 | 800 1050 178100 | 5000 140 191 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 5.57315 s Remaining CPU time: 174.427 s c =============================================================================== c | 140 | 800 1051 178800 | 5000 140 191 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 5.62115 s Remaining CPU time: 174.379 s c =============================================================================== c | 140 | 800 1052 179500 | 5000 140 191 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 5.67014 s Remaining CPU time: 174.33 s c =============================================================================== c | 140 | 800 1053 180200 | 5000 140 191 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 5.72113 s Remaining CPU time: 174.279 s c =============================================================================== c | 140 | 800 1054 180900 | 5000 140 191 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 5.77212 s Remaining CPU time: 174.228 s c =============================================================================== c | 140 | 800 1055 181600 | 5000 140 191 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 5.82411 s Remaining CPU time: 174.176 s c =============================================================================== c | 177 | 800 1056 182300 | 5000 177 157 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 5.88211 s Remaining CPU time: 174.118 s c =============================================================================== c | 185 | 800 1057 183000 | 5000 185 170 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 5.9331 s Remaining CPU time: 174.067 s c =============================================================================== c | 194 | 800 1058 183700 | 5000 194 165 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 5.98509 s Remaining CPU time: 174.015 s c =============================================================================== c | 195 | 800 1059 184400 | 5000 195 164 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 6.03608 s Remaining CPU time: 173.964 s c =============================================================================== c | 195 | 800 1060 185100 | 5000 195 164 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 6.08807 s Remaining CPU time: 173.912 s c =============================================================================== c | 196 | 800 1061 185800 | 5000 196 163 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 6.14506 s Remaining CPU time: 173.855 s c =============================================================================== c | 203 | 800 1062 186500 | 5000 203 173 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 6.19606 s Remaining CPU time: 173.804 s c =============================================================================== c | 208 | 800 1063 187200 | 5000 208 169 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 6.24805 s Remaining CPU time: 173.752 s c =============================================================================== c | 209 | 800 1064 187900 | 5000 209 169 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 6.30004 s Remaining CPU time: 173.7 s c =============================================================================== c | 215 | 800 1065 188600 | 5000 215 164 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 6.35203 s Remaining CPU time: 173.648 s c =============================================================================== c | 217 | 800 1066 189300 | 5000 217 167 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 6.41202 s Remaining CPU time: 173.588 s c =============================================================================== c | 240 | 800 1067 190000 | 5000 240 191 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 6.46502 s Remaining CPU time: 173.535 s c =============================================================================== c | 241 | 800 1068 190700 | 5000 241 191 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 6.51801 s Remaining CPU time: 173.482 s c =============================================================================== c | 248 | 800 1069 191400 | 5000 248 186 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 6.569 s Remaining CPU time: 173.431 s c =============================================================================== c | 249 | 800 1070 192100 | 5000 249 185 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 6.62099 s Remaining CPU time: 173.379 s c =============================================================================== c | 257 | 800 1071 192800 | 5000 257 180 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 6.70298 s Remaining CPU time: 173.297 s c =============================================================================== c | 317 | 800 1072 193500 | 5000 317 229 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 6.75597 s Remaining CPU time: 173.244 s c =============================================================================== c | 335 | 800 1073 194200 | 5000 335 218 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 6.80996 s Remaining CPU time: 173.19 s c =============================================================================== c | 335 | 800 1074 194900 | 5000 335 218 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 6.86296 s Remaining CPU time: 173.137 s c =============================================================================== c | 335 | 800 1075 195600 | 5000 335 218 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 6.91695 s Remaining CPU time: 173.083 s c =============================================================================== c | 339 | 800 1076 196300 | 5000 339 215 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 6.97594 s Remaining CPU time: 173.024 s c =============================================================================== c | 351 | 800 1077 197000 | 5000 351 222 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 7.02893 s Remaining CPU time: 172.971 s c =============================================================================== c | 359 | 800 1078 197700 | 5000 359 217 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 7.08392 s Remaining CPU time: 172.916 s c =============================================================================== c | 361 | 800 1079 198400 | 5000 361 218 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 7.13791 s Remaining CPU time: 172.862 s c =============================================================================== c | 364 | 800 1080 199100 | 5000 364 217 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 7.19291 s Remaining CPU time: 172.807 s c =============================================================================== c | 371 | 800 1081 199800 | 5000 371 213 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 7.2649 s Remaining CPU time: 172.735 s c =============================================================================== c | 406 | 800 1082 200500 | 5000 406 232 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 7.31889 s Remaining CPU time: 172.681 s c =============================================================================== c | 407 | 800 1083 201200 | 5000 407 231 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 7.37288 s Remaining CPU time: 172.627 s c =============================================================================== c | 408 | 800 1084 201900 | 5000 408 230 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 7.42687 s Remaining CPU time: 172.573 s c =============================================================================== c | 408 | 800 1085 202600 | 5000 408 230 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 7.48386 s Remaining CPU time: 172.516 s c =============================================================================== c | 408 | 800 1086 203300 | 5000 408 230 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 7.53885 s Remaining CPU time: 172.461 s c =============================================================================== c | 411 | 800 1087 204000 | 5000 411 229 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 7.59284 s Remaining CPU time: 172.407 s c =============================================================================== c | 415 | 800 1088 204700 | 5000 415 227 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 7.64684 s Remaining CPU time: 172.353 s c =============================================================================== c | 418 | 800 1089 205400 | 5000 418 225 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 7.70283 s Remaining CPU time: 172.297 s c =============================================================================== c | 418 | 800 1090 206100 | 5000 418 225 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 7.75682 s Remaining CPU time: 172.243 s c =============================================================================== c | 418 | 800 1091 206800 | 5000 418 225 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 7.81181 s Remaining CPU time: 172.188 s c =============================================================================== c | 418 | 800 1092 207500 | 5000 418 225 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 7.8668 s Remaining CPU time: 172.133 s c =============================================================================== c | 422 | 800 1093 208200 | 5000 422 223 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 7.9218 s Remaining CPU time: 172.078 s c =============================================================================== c | 424 | 800 1094 208900 | 5000 424 222 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 7.97679 s Remaining CPU time: 172.023 s c =============================================================================== c | 424 | 800 1095 209600 | 5000 424 222 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 8.03178 s Remaining CPU time: 171.968 s c =============================================================================== c | 428 | 800 1096 210300 | 5000 428 220 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 8.08777 s Remaining CPU time: 171.912 s c =============================================================================== c | 431 | 800 1097 211000 | 5000 431 219 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 8.16076 s Remaining CPU time: 171.839 s c =============================================================================== c | 465 | 800 1098 211700 | 5000 465 232 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 8.21575 s Remaining CPU time: 171.784 s c =============================================================================== c | 466 | 800 1099 212400 | 5000 466 232 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 8.27074 s Remaining CPU time: 171.729 s c =============================================================================== c | 468 | 800 1100 213100 | 5000 468 231 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 8.32673 s Remaining CPU time: 171.673 s c =============================================================================== c | 468 | 800 1101 213800 | 5000 468 231 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 8.38373 s Remaining CPU time: 171.616 s c =============================================================================== c | 468 | 800 1102 214500 | 5000 468 231 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 8.44072 s Remaining CPU time: 171.559 s c =============================================================================== c | 468 | 800 1103 215200 | 5000 468 231 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 8.49571 s Remaining CPU time: 171.504 s c =============================================================================== c | 470 | 800 1104 215900 | 5000 470 230 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 8.5527 s Remaining CPU time: 171.447 s c =============================================================================== c | 470 | 800 1105 216600 | 5000 470 230 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 8.60869 s Remaining CPU time: 171.391 s c =============================================================================== c | 471 | 800 1106 217300 | 5000 471 229 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 8.66568 s Remaining CPU time: 171.334 s c =============================================================================== c | 471 | 800 1107 218000 | 5000 471 229 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 8.72167 s Remaining CPU time: 171.278 s c =============================================================================== c | 471 | 800 1108 218700 | 5000 471 229 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 8.77767 s Remaining CPU time: 171.222 s c =============================================================================== c | 471 | 800 1109 219400 | 5000 471 229 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 8.83466 s Remaining CPU time: 171.165 s c =============================================================================== c | 471 | 800 1110 220100 | 5000 471 229 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 8.89165 s Remaining CPU time: 171.108 s c =============================================================================== c | 471 | 800 1111 220800 | 5000 471 229 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 8.94964 s Remaining CPU time: 171.05 s c =============================================================================== c | 476 | 800 1112 221500 | 5000 476 227 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 9.00763 s Remaining CPU time: 170.992 s c =============================================================================== c | 479 | 800 1113 222200 | 5000 479 226 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 9.06362 s Remaining CPU time: 170.936 s c =============================================================================== c | 480 | 800 1114 222900 | 5000 480 225 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 9.12061 s Remaining CPU time: 170.879 s c =============================================================================== c | 482 | 800 1115 223600 | 5000 482 224 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 9.1786 s Remaining CPU time: 170.821 s c =============================================================================== c | 484 | 800 1116 224300 | 5000 484 224 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 9.23659 s Remaining CPU time: 170.763 s c =============================================================================== c | 484 | 800 1117 225000 | 5000 484 224 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 9.29359 s Remaining CPU time: 170.706 s c =============================================================================== c | 486 | 800 1118 225700 | 5000 486 223 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 9.35258 s Remaining CPU time: 170.647 s c =============================================================================== c | 489 | 800 1119 226400 | 5000 489 224 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 9.41057 s Remaining CPU time: 170.589 s c =============================================================================== c | 492 | 800 1120 227100 | 5000 492 223 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 9.46956 s Remaining CPU time: 170.53 s c =============================================================================== c | 494 | 800 1121 227800 | 5000 494 223 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 9.52855 s Remaining CPU time: 170.471 s c =============================================================================== c | 495 | 800 1122 228500 | 5000 495 224 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 9.58654 s Remaining CPU time: 170.413 s c =============================================================================== c | 495 | 800 1123 229200 | 5000 495 224 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 9.64553 s Remaining CPU time: 170.354 s c =============================================================================== c | 496 | 800 1124 229900 | 5000 496 224 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 9.70252 s Remaining CPU time: 170.297 s c =============================================================================== c | 496 | 800 1125 230600 | 5000 496 224 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 9.76152 s Remaining CPU time: 170.238 s c =============================================================================== c | 497 | 800 1126 231300 | 5000 497 224 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 9.81951 s Remaining CPU time: 170.18 s c =============================================================================== c | 499 | 800 1127 232000 | 5000 499 223 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 9.8785 s Remaining CPU time: 170.122 s c =============================================================================== c | 499 | 800 1128 232700 | 5000 499 223 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 9.95549 s Remaining CPU time: 170.045 s c =============================================================================== c | 534 | 800 1129 233400 | 5000 534 229 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 10.0145 s Remaining CPU time: 169.986 s c =============================================================================== c | 535 | 800 1130 234100 | 5000 535 229 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 10.0735 s Remaining CPU time: 169.927 s c =============================================================================== c | 537 | 800 1131 234800 | 5000 537 228 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 10.1315 s Remaining CPU time: 169.869 s c =============================================================================== c | 537 | 800 1132 235500 | 5000 537 228 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 10.1925 s Remaining CPU time: 169.808 s c =============================================================================== c | 547 | 800 1133 236200 | 5000 547 225 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 10.2504 s Remaining CPU time: 169.75 s c =============================================================================== c | 548 | 800 1134 236900 | 5000 548 225 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 10.3114 s Remaining CPU time: 169.689 s c =============================================================================== c | 554 | 800 1135 237600 | 5000 554 227 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 10.3704 s Remaining CPU time: 169.63 s c =============================================================================== c | 556 | 800 1136 238300 | 5000 556 227 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 10.4304 s Remaining CPU time: 169.57 s c =============================================================================== c | 557 | 800 1137 239000 | 5000 557 226 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 10.5114 s Remaining CPU time: 169.489 s c =============================================================================== c | 614 | 800 1138 239700 | 5000 614 235 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 10.5714 s Remaining CPU time: 169.429 s c =============================================================================== c | 650 | 800 1139 240400 | 5000 650 224 | 0.000 % | c | 750 | 800 1139 240400 | 5500 750 243 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 10.7344 s Remaining CPU time: 169.266 s c =============================================================================== c | 753 | 800 1140 241100 | 5000 753 242 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 10.7924 s Remaining CPU time: 169.208 s c =============================================================================== c | 756 | 800 1141 241800 | 5000 756 242 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 10.8514 s Remaining CPU time: 169.149 s c =============================================================================== c | 761 | 800 1142 242500 | 5000 761 240 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 10.9073 s Remaining CPU time: 169.093 s c =============================================================================== c | 769 | 800 1143 243200 | 5000 769 238 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 10.9653 s Remaining CPU time: 169.035 s c =============================================================================== c | 769 | 800 1144 243900 | 5000 769 238 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 11.0233 s Remaining CPU time: 168.977 s c =============================================================================== c | 769 | 800 1145 244600 | 5000 769 238 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 11.0823 s Remaining CPU time: 168.918 s c =============================================================================== c | 786 | 800 1146 245300 | 5000 786 233 | 0.000 % | c | 886 | 800 1146 245300 | 5500 886 248 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 11.3073 s Remaining CPU time: 168.693 s c =============================================================================== c | 943 | 800 1147 246000 | 5000 943 235 | 0.000 % | c | 1043 | 800 1147 246000 | 5500 1043 247 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 11.5612 s Remaining CPU time: 168.439 s c =============================================================================== c | 1046 | 800 1148 246700 | 5000 1046 247 | 0.000 % | c | 1148 | 800 1148 246700 | 5500 1148 228 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 11.6762 s Remaining CPU time: 168.324 s c =============================================================================== c | 1149 | 800 1149 247400 | 5000 1149 228 | 0.000 % | c | 1249 | 800 1149 247400 | 5500 1249 239 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 11.9752 s Remaining CPU time: 168.025 s c =============================================================================== c | 1355 | 800 1150 248100 | 5000 1355 223 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 12.0732 s Remaining CPU time: 167.927 s c =============================================================================== c | 1379 | 800 1151 248800 | 5000 1379 225 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 12.1322 s Remaining CPU time: 167.868 s c =============================================================================== c | 1412 | 800 1152 249500 | 5000 1412 220 | 0.000 % | c | 1513 | 800 1152 249500 | 5500 1513 229 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 12.3011 s Remaining CPU time: 167.699 s c =============================================================================== c | 1569 | 800 1153 250200 | 5000 1569 222 | 0.000 % | c | 1669 | 800 1153 250200 | 5500 1669 230 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 12.5901 s Remaining CPU time: 167.41 s c =============================================================================== c | 1720 | 800 1154 250900 | 5000 1720 224 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 12.7541 s Remaining CPU time: 167.246 s c =============================================================================== c | 1775 | 800 1155 251600 | 5000 1775 228 | 0.000 % | c | 1875 | 800 1155 251600 | 5500 1875 218 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 12.87 s Remaining CPU time: 167.13 s c =============================================================================== c | 1877 | 800 1156 252300 | 5000 1877 218 | 0.000 % | c | 1977 | 800 1156 252300 | 5500 1977 225 | 0.000 % | c | 2128 | 800 1156 252300 | 6050 2128 228 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 13.28 s Remaining CPU time: 166.72 s c =============================================================================== c | 2237 | 800 1157 253000 | 5000 2237 218 | 0.000 % | c | 2337 | 800 1157 253000 | 5500 2337 224 | 0.000 % | c | 2487 | 800 1157 253000 | 6050 2487 213 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 13.6829 s Remaining CPU time: 166.317 s c =============================================================================== c | 2487 | 800 1158 253700 | 5000 2487 213 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 13.7399 s Remaining CPU time: 166.26 s c =============================================================================== c | 2487 | 800 1159 254400 | 5000 2487 213 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 13.7989 s Remaining CPU time: 166.201 s c =============================================================================== c | 2487 | 800 1160 255100 | 5000 2487 213 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 13.8569 s Remaining CPU time: 166.143 s c =============================================================================== c | 2487 | 800 1161 255800 | 5000 2487 213 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 13.9149 s Remaining CPU time: 166.085 s c =============================================================================== c | 2487 | 800 1162 256500 | 5000 2487 213 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 13.9729 s Remaining CPU time: 166.027 s c =============================================================================== c | 2487 | 800 1163 257200 | 5000 2487 213 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 14.0319 s Remaining CPU time: 165.968 s c =============================================================================== c | 2487 | 800 1164 257900 | 5000 2487 213 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 14.0909 s Remaining CPU time: 165.909 s c =============================================================================== c | 2487 | 800 1165 258600 | 5000 2487 213 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 14.1508 s Remaining CPU time: 165.849 s c =============================================================================== c | 2487 | 800 1166 259300 | 5000 2487 213 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 14.2098 s Remaining CPU time: 165.79 s c =============================================================================== c | 2487 | 800 1167 260000 | 5000 2487 213 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 14.2688 s Remaining CPU time: 165.731 s c =============================================================================== c | 2487 | 800 1168 260700 | 5000 2487 213 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 14.3288 s Remaining CPU time: 165.671 s c =============================================================================== c | 2487 | 800 1169 261400 | 5000 2487 213 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 14.3888 s Remaining CPU time: 165.611 s c =============================================================================== c | 2487 | 800 1170 262100 | 5000 2487 213 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 14.4478 s Remaining CPU time: 165.552 s c =============================================================================== c | 2487 | 800 1171 262800 | 5000 2487 213 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 14.5068 s Remaining CPU time: 165.493 s c =============================================================================== c | 2487 | 800 1172 263500 | 5000 2487 213 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 14.5658 s Remaining CPU time: 165.434 s c =============================================================================== c | 2487 | 800 1173 264200 | 5000 2487 213 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 14.6258 s Remaining CPU time: 165.374 s c =============================================================================== c | 2487 | 800 1174 264900 | 5000 2487 213 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 14.6858 s Remaining CPU time: 165.314 s c =============================================================================== c | 2488 | 800 1175 265600 | 5000 2488 213 | 0.000 % | c | 2588 | 800 1175 265600 | 5500 2588 218 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 15.0377 s Remaining CPU time: 164.962 s c =============================================================================== c | 2590 | 800 1176 266300 | 5000 2590 217 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 15.0967 s Remaining CPU time: 164.903 s c =============================================================================== c | 2600 | 800 1177 267000 | 5000 2600 217 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 15.1557 s Remaining CPU time: 164.844 s c =============================================================================== c | 2602 | 800 1178 267700 | 5000 2602 216 | 0.000 % | c | 2702 | 800 1178 267700 | 5500 2702 221 | 0.000 % | c | 2852 | 800 1178 267700 | 6050 2852 226 | 0.000 % | c | 3077 | 800 1178 267700 | 6655 3077 212 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 15.5526 s Remaining CPU time: 164.447 s c =============================================================================== c | 3089 | 800 1179 268400 | 5000 3089 212 | 0.000 % | c | 3189 | 800 1179 268400 | 5500 3189 214 | 0.000 % | c | 3339 | 800 1179 268400 | 6050 3339 213 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 15.8706 s Remaining CPU time: 164.129 s c =============================================================================== c | 3423 | 800 1180 269100 | 5000 3423 209 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 15.9586 s Remaining CPU time: 164.041 s c =============================================================================== c | 3434 | 800 1181 269800 | 5000 3434 209 | 0.000 % | c | 3534 | 800 1181 269800 | 5500 3534 204 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 16.0776 s Remaining CPU time: 163.922 s c =============================================================================== c | 3534 | 800 1182 270500 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 16.1365 s Remaining CPU time: 163.863 s c =============================================================================== c | 3534 | 800 1183 271200 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 16.1965 s Remaining CPU time: 163.803 s c =============================================================================== c | 3534 | 800 1184 271900 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 16.2535 s Remaining CPU time: 163.746 s c =============================================================================== c | 3534 | 800 1185 272600 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 16.3125 s Remaining CPU time: 163.687 s c =============================================================================== c | 3534 | 800 1186 273300 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 16.3725 s Remaining CPU time: 163.627 s c =============================================================================== c | 3534 | 800 1187 274000 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 16.4305 s Remaining CPU time: 163.569 s c =============================================================================== c | 3534 | 800 1188 274700 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 16.4895 s Remaining CPU time: 163.511 s c =============================================================================== c | 3534 | 800 1189 275400 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 16.5495 s Remaining CPU time: 163.451 s c =============================================================================== c | 3534 | 800 1190 276100 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 16.6075 s Remaining CPU time: 163.393 s c =============================================================================== c | 3534 | 800 1191 276800 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 16.6665 s Remaining CPU time: 163.334 s c =============================================================================== c | 3534 | 800 1192 277500 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 16.7265 s Remaining CPU time: 163.274 s c =============================================================================== c | 3534 | 800 1193 278200 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 16.7854 s Remaining CPU time: 163.215 s c =============================================================================== c | 3534 | 800 1194 278900 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 16.8444 s Remaining CPU time: 163.156 s c =============================================================================== c | 3534 | 800 1195 279600 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 16.9034 s Remaining CPU time: 163.097 s c =============================================================================== c | 3534 | 800 1196 280300 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 16.9624 s Remaining CPU time: 163.038 s c =============================================================================== c | 3534 | 800 1197 281000 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 17.0204 s Remaining CPU time: 162.98 s c =============================================================================== c | 3534 | 800 1198 281700 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 17.0804 s Remaining CPU time: 162.92 s c =============================================================================== c | 3534 | 800 1199 282400 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 17.1394 s Remaining CPU time: 162.861 s c =============================================================================== c | 3534 | 800 1200 283100 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 17.1984 s Remaining CPU time: 162.802 s c =============================================================================== c | 3534 | 800 1201 283800 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 17.2574 s Remaining CPU time: 162.743 s c =============================================================================== c | 3534 | 800 1202 284500 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 17.3164 s Remaining CPU time: 162.684 s c =============================================================================== c | 3534 | 800 1203 285200 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 17.3764 s Remaining CPU time: 162.624 s c =============================================================================== c | 3534 | 800 1204 285900 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 17.4353 s Remaining CPU time: 162.565 s c =============================================================================== c | 3534 | 800 1205 286600 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 17.4943 s Remaining CPU time: 162.506 s c =============================================================================== c | 3534 | 800 1206 287300 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 17.5543 s Remaining CPU time: 162.446 s c =============================================================================== c | 3534 | 800 1207 288000 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 17.6133 s Remaining CPU time: 162.387 s c =============================================================================== c | 3534 | 800 1208 288700 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 17.6703 s Remaining CPU time: 162.33 s c =============================================================================== c | 3534 | 800 1209 289400 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 17.7283 s Remaining CPU time: 162.272 s c =============================================================================== c | 3534 | 800 1210 290100 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 17.7863 s Remaining CPU time: 162.214 s c =============================================================================== c | 3534 | 800 1211 290800 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 17.8453 s Remaining CPU time: 162.155 s c =============================================================================== c | 3534 | 800 1212 291500 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 17.9043 s Remaining CPU time: 162.096 s c =============================================================================== c | 3534 | 800 1213 292200 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 17.9643 s Remaining CPU time: 162.036 s c =============================================================================== c | 3534 | 800 1214 292900 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 18.0243 s Remaining CPU time: 161.976 s c =============================================================================== c | 3534 | 800 1215 293600 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 18.0832 s Remaining CPU time: 161.917 s c =============================================================================== c | 3534 | 800 1216 294300 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 18.1422 s Remaining CPU time: 161.858 s c =============================================================================== c | 3534 | 800 1217 295000 | 5000 3534 204 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 18.2152 s Remaining CPU time: 161.785 s c =============================================================================== c | 3537 | 800 1218 295700 | 5000 3537 204 | 0.000 % | c | 3637 | 800 1218 295700 | 5500 3637 207 | 0.000 % | c | 3788 | 800 1218 295700 | 6050 3788 200 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 18.4682 s Remaining CPU time: 161.532 s c =============================================================================== c | 3794 | 800 1219 296400 | 5000 3794 200 | 0.000 % | c | 3895 | 800 1219 296400 | 5500 3895 202 | 0.000 % | c | 4046 | 800 1219 296400 | 6050 4046 196 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 18.8991 s Remaining CPU time: 161.101 s c =============================================================================== c | 4112 | 800 1220 297100 | 5000 4112 198 | 0.000 % | c | 4212 | 800 1220 297100 | 5500 4212 198 | 0.000 % | c | 4363 | 800 1220 297100 | 6050 4363 196 | 0.000 % | c | 4588 | 800 1220 297100 | 6655 4588 200 | 0.000 % | c | 4925 | 800 1220 297100 | 7320 4925 203 | 0.000 % | c | 5431 | 800 1220 297100 | 8052 5431 207 | 0.000 % | c | 6190 | 800 1220 297100 | 8857 6190 216 | 0.000 % | c | 7329 | 800 1220 297100 | 9743 7329 224 | 0.000 % | c | 9037 | 800 1220 297100 | 10717 9037 236 | 0.000 % | c | 11599 | 800 1220 297100 | 11789 6088 272 | 0.000 % | c | 15443 | 800 1220 297100 | 12968 9932 277 | 0.000 % | c | 21210 | 800 1220 297100 | 14265 9068 279 | 0.000 % | c | 29860 | 800 1220 297100 | 15692 10437 279 | 0.000 % | c | 42835 | 800 1220 297100 | 17261 15411 282 | 0.000 % | c | 62296 | 800 1220 297100 | 18987 17307 283 | 0.000 % | c | 91488 | 800 1220 297100 | 20886 17566 284 | 0.000 % | c | 135277 | 800 1220 297100 | 22974 18981 284 | 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 1924 3109 | 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 | 484 1925 3685 | 5000 0 nan | 0.000 % | c | 100 | 484 1925 3685 | 5500 100 67 | 51.210 % | c | 252 | 483 1925 3685 | 6050 168 48 | 51.311 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1267 1926 168031 | 5000 0 nan | 0.000 % | c | 100 | 1267 1926 168031 | 5500 100 57 | 12.921 % | c | 251 | 1267 1926 168031 | 6050 251 33 | 12.921 % | c | 477 | 1267 1926 168031 | 6655 477 26 | 12.921 % | c | 816 | 1267 1926 168031 | 7320 816 23 | 12.921 % | c | 1322 | 1267 1926 168031 | 8052 1322 22 | 12.921 % | c | 2081 | 1266 1926 168031 | 8857 1472 21 | 12.990 % | c | 3221 | 1262 1926 168031 | 9743 2058 22 | 13.265 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2077 1929 297574 | 5000 0 nan | 0.000 % | c | 100 | 2077 1929 297574 | 5500 100 35 | 0.240 % | c | 252 | 2077 1929 297574 | 6050 252 21 | 0.240 % | c | 477 | 2077 1929 297574 | 6655 477 19 | 0.240 % | c | 815 | 2077 1929 297574 | 7320 815 23 | 0.259 % | c | 1321 | 2077 1929 297574 | 8052 1321 19 | 0.240 % | c | 2080 | 2077 1929 297574 | 8857 2080 16 | 0.240 % | c | 3219 | 2077 1929 297574 | 9743 3219 15 | 0.240 % | c | 4927 | 2077 1929 297574 | 10717 4927 14 | 0.240 % | c | 7489 | 2077 1929 297574 | 11789 7489 14 | 0.240 % | c | 11334 | 2077 1929 297574 | 12968 11334 14 | 0.240 % | c | 17101 | 2077 1929 297574 | 14265 10601 14 | 0.240 % | c | 25752 | 2077 1929 297574 | 15692 12102 14 | 0.240 % | c | 38727 | 2077 1929 297574 | 17261 9346 14 | 0.240 % | c | 58188 | 2077 1929 297574 | 18987 11518 14 | 0.240 % | c | 87382 | 2076 1929 297574 | 20886 13850 11 | 0.288 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2773 1931 301765 | 5000 0 nan | 0.000 % | c | 101 | 2773 1931 301765 | 5500 101 78 | 0.036 % | c | 251 | 2773 1931 301765 | 6050 251 39 | 0.036 % | c | 476 | 2773 1931 301765 | 6655 476 34 | 0.036 % | c | 813 | 2773 1931 301765 | 7320 813 33 | 0.036 % | c | 1320 | 2773 1931 301765 | 8052 1320 49 | 0.036 % | c | 2079 | 2773 1931 301765 | 8857 2079 54 | 0.036 % | c | 3218 | 2773 1931 301765 | 9743 3218 42 | 0.036 % | c | 4926 | 2773 1931 301765 | 10717 4926 34 | 0.036 % | c | 7488 | 2773 1931 301765 | 11789 7488 31 | 0.036 % | c | 11334 | 2773 1931 301765 | 12968 11334 28 | 0.036 % | c | 17101 | 2773 1931 301765 | 14265 10553 22 | 0.036 % | c | 25755 | 2773 1931 301765 | 15692 12057 21 | 0.036 % | c | 38734 | 2773 1931 301765 | 17261 9317 25 | 0.036 % | c | 58196 | 2773 1931 301765 | 18987 11481 28 | 0.036 % | c | 87389 | 2773 1931 301765 | 20886 12126 21 | 0.036 % | c | 131181 | 2773 1931 301765 | 22974 14079 23 | 0.036 % | c | 196866 | 2773 1931 301765 | 25272 22221 22 | 0.036 % | c | 295393 | 2773 1931 301765 | 27799 18608 24 | 0.036 % | c | 443184 | 2773 1931 301765 | 30579 16014 24 | 0.036 % | c | 664867 | 2773 1931 301765 | 33637 27294 24 | 0.036 % |