c wbo 1.4 beta - 20100610 c | Number of variables: 100 | c | Number of clauses: 700 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 700 | c | Number Clauses: 700 | 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 | 700 700 2700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3163 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 700 701 3300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3153 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 700 702 3900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3149 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 700 703 4500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3148 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 700 704 5100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3147 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 700 705 5700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3146 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 700 706 6300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3143 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 700 707 6900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3142 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 700 708 7500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3141 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 700 709 8100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3140 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 700 710 8700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3139 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 700 711 9300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3138 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 700 712 9900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3135 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 700 713 10500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3133 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 700 714 11100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3132 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 700 715 11700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3130 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 700 716 12300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3129 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 700 717 12900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3128 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 700 718 13500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3127 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 700 719 14100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3126 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 700 720 14700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3125 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 700 721 15300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3124 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 700 722 15900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3123 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 700 723 16500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3122 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 700 724 17100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3121 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 700 725 17700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3120 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 700 726 18300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3118 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 700 727 18900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3117 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 700 728 19500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3116 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 700 729 20100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3115 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 0 | 700 730 20700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3114 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 0 | 700 731 21300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3113 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 700 732 21900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3112 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 0 | 700 733 22500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3111 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 0 | 700 734 23100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3110 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 0 | 700 735 23700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3109 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 0 | 700 736 24300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3108 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 0 | 700 737 24900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3106 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 0 | 700 738 25500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3105 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 0 | 700 739 26100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3103 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 0 | 700 740 26700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3102 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 0 | 700 741 27300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3101 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 0 | 700 742 27900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3098 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 0 | 700 743 28500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3096 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 0 | 700 744 29100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3095 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 0 | 700 745 29700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3094 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 0 | 700 746 30300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3092 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 0 | 700 747 30900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3091 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 0 | 700 748 31500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3089 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 0 | 700 749 32100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3088 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 0 | 700 750 32700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3087 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 0 | 700 751 33300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3084 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 0 | 700 752 33900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3080 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s c =============================================================================== c | 0 | 700 753 34500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3079 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s c =============================================================================== c | 0 | 700 754 35100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3076 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 0 | 700 755 35700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3074 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 0 | 700 756 36300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3073 c Elapsed CPU time: 0.283956 s Remaining CPU time: 179.716 s c =============================================================================== c | 0 | 700 757 36900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3072 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 0 | 700 758 37500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3071 c Elapsed CPU time: 0.302953 s Remaining CPU time: 179.697 s c =============================================================================== c | 0 | 700 759 38100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3068 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 0 | 700 760 38700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3066 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 0 | 700 761 39300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3063 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s c =============================================================================== c | 0 | 700 762 39900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3062 c Elapsed CPU time: 0.345947 s Remaining CPU time: 179.654 s c =============================================================================== c | 0 | 700 763 40500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3061 c Elapsed CPU time: 0.356945 s Remaining CPU time: 179.643 s c =============================================================================== c | 0 | 700 764 41100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3058 c Elapsed CPU time: 0.367944 s Remaining CPU time: 179.632 s c =============================================================================== c | 0 | 700 765 41700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3054 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 0 | 700 766 42300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3053 c Elapsed CPU time: 0.38894 s Remaining CPU time: 179.611 s c =============================================================================== c | 0 | 700 767 42900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3052 c Elapsed CPU time: 0.400939 s Remaining CPU time: 179.599 s c =============================================================================== c | 0 | 700 768 43500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3051 c Elapsed CPU time: 0.412937 s Remaining CPU time: 179.587 s c =============================================================================== c | 0 | 700 769 44100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3048 c Elapsed CPU time: 0.425935 s Remaining CPU time: 179.574 s c =============================================================================== c | 0 | 700 770 44700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3046 c Elapsed CPU time: 0.436933 s Remaining CPU time: 179.563 s c =============================================================================== c | 0 | 700 771 45300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3045 c Elapsed CPU time: 0.449931 s Remaining CPU time: 179.55 s c =============================================================================== c | 0 | 700 772 45900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3044 c Elapsed CPU time: 0.462929 s Remaining CPU time: 179.537 s c =============================================================================== c | 0 | 700 773 46500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3043 c Elapsed CPU time: 0.476927 s Remaining CPU time: 179.523 s c =============================================================================== c | 0 | 700 774 47100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3042 c Elapsed CPU time: 0.489925 s Remaining CPU time: 179.51 s c =============================================================================== c | 0 | 700 775 47700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3038 c Elapsed CPU time: 0.502923 s Remaining CPU time: 179.497 s c =============================================================================== c | 0 | 700 776 48300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3036 c Elapsed CPU time: 0.516921 s Remaining CPU time: 179.483 s c =============================================================================== c | 0 | 700 777 48900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3031 c Elapsed CPU time: 0.529919 s Remaining CPU time: 179.47 s c =============================================================================== c | 0 | 700 778 49500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3029 c Elapsed CPU time: 0.543917 s Remaining CPU time: 179.456 s c =============================================================================== c | 0 | 700 779 50100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3023 c Elapsed CPU time: 0.557915 s Remaining CPU time: 179.442 s c =============================================================================== c | 0 | 700 780 50700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3021 c Elapsed CPU time: 0.572912 s Remaining CPU time: 179.427 s c =============================================================================== c | 0 | 700 781 51300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3018 c Elapsed CPU time: 0.58791 s Remaining CPU time: 179.412 s c =============================================================================== c | 0 | 700 782 51900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3014 c Elapsed CPU time: 0.601908 s Remaining CPU time: 179.398 s c =============================================================================== c | 0 | 700 783 52500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3010 c Elapsed CPU time: 0.616906 s Remaining CPU time: 179.383 s c =============================================================================== c | 0 | 700 784 53100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3009 c Elapsed CPU time: 0.632903 s Remaining CPU time: 179.367 s c =============================================================================== c | 0 | 700 785 53700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3008 c Elapsed CPU time: 0.648901 s Remaining CPU time: 179.351 s c =============================================================================== c | 0 | 700 786 54300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3007 c Elapsed CPU time: 0.665898 s Remaining CPU time: 179.334 s c =============================================================================== c | 0 | 700 787 54900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3006 c Elapsed CPU time: 0.681896 s Remaining CPU time: 179.318 s c =============================================================================== c | 0 | 700 788 55500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3005 c Elapsed CPU time: 0.697893 s Remaining CPU time: 179.302 s c =============================================================================== c | 0 | 700 789 56100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3003 c Elapsed CPU time: 0.712891 s Remaining CPU time: 179.287 s c =============================================================================== c | 0 | 700 790 56700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3002 c Elapsed CPU time: 0.729889 s Remaining CPU time: 179.27 s c =============================================================================== c | 0 | 700 791 57300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3000 c Elapsed CPU time: 0.745886 s Remaining CPU time: 179.254 s c =============================================================================== c | 0 | 700 792 57900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2997 c Elapsed CPU time: 0.763883 s Remaining CPU time: 179.236 s c =============================================================================== c | 0 | 700 793 58500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2996 c Elapsed CPU time: 0.781881 s Remaining CPU time: 179.218 s c =============================================================================== c | 0 | 700 794 59100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2993 c Elapsed CPU time: 0.800878 s Remaining CPU time: 179.199 s c =============================================================================== c | 0 | 700 795 59700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2992 c Elapsed CPU time: 0.818875 s Remaining CPU time: 179.181 s c =============================================================================== c | 0 | 700 796 60300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2990 c Elapsed CPU time: 0.836872 s Remaining CPU time: 179.163 s c =============================================================================== c | 0 | 700 797 60900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2989 c Elapsed CPU time: 0.855869 s Remaining CPU time: 179.144 s c =============================================================================== c | 0 | 700 798 61500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2987 c Elapsed CPU time: 0.872867 s Remaining CPU time: 179.127 s c =============================================================================== c | 0 | 700 799 62100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2984 c Elapsed CPU time: 0.890864 s Remaining CPU time: 179.109 s c =============================================================================== c | 0 | 700 800 62700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2982 c Elapsed CPU time: 0.909861 s Remaining CPU time: 179.09 s c =============================================================================== c | 0 | 700 801 63300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2981 c Elapsed CPU time: 0.928858 s Remaining CPU time: 179.071 s c =============================================================================== c | 0 | 700 802 63900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2978 c Elapsed CPU time: 0.948855 s Remaining CPU time: 179.051 s c =============================================================================== c | 0 | 700 803 64500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2976 c Elapsed CPU time: 0.968852 s Remaining CPU time: 179.031 s c =============================================================================== c | 0 | 700 804 65100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2973 c Elapsed CPU time: 0.987849 s Remaining CPU time: 179.012 s c =============================================================================== c | 0 | 700 805 65700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2967 c Elapsed CPU time: 1.00785 s Remaining CPU time: 178.992 s c =============================================================================== c | 0 | 700 806 66300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2966 c Elapsed CPU time: 1.02784 s Remaining CPU time: 178.972 s c =============================================================================== c | 0 | 700 807 66900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2963 c Elapsed CPU time: 1.04784 s Remaining CPU time: 178.952 s c =============================================================================== c | 0 | 700 808 67500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2961 c Elapsed CPU time: 1.06984 s Remaining CPU time: 178.93 s c =============================================================================== c | 0 | 700 809 68100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2958 c Elapsed CPU time: 1.09183 s Remaining CPU time: 178.908 s c =============================================================================== c | 0 | 700 810 68700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2956 c Elapsed CPU time: 1.11483 s Remaining CPU time: 178.885 s c =============================================================================== c | 0 | 700 811 69300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2954 c Elapsed CPU time: 1.13983 s Remaining CPU time: 178.86 s c =============================================================================== c | 0 | 700 812 69900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2952 c Elapsed CPU time: 1.16282 s Remaining CPU time: 178.837 s c =============================================================================== c | 0 | 700 813 70500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2951 c Elapsed CPU time: 1.18482 s Remaining CPU time: 178.815 s c =============================================================================== c | 0 | 700 814 71100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2949 c Elapsed CPU time: 1.20782 s Remaining CPU time: 178.792 s c =============================================================================== c | 0 | 700 815 71700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2946 c Elapsed CPU time: 1.23081 s Remaining CPU time: 178.769 s c =============================================================================== c | 0 | 700 816 72300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2944 c Elapsed CPU time: 1.25481 s Remaining CPU time: 178.745 s c =============================================================================== c | 0 | 700 817 72900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2940 c Elapsed CPU time: 1.27781 s Remaining CPU time: 178.722 s c =============================================================================== c | 0 | 700 818 73500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2939 c Elapsed CPU time: 1.3028 s Remaining CPU time: 178.697 s c =============================================================================== c | 0 | 700 819 74100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2938 c Elapsed CPU time: 1.3278 s Remaining CPU time: 178.672 s c =============================================================================== c | 0 | 700 820 74700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2937 c Elapsed CPU time: 1.35179 s Remaining CPU time: 178.648 s c =============================================================================== c | 0 | 700 821 75300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2936 c Elapsed CPU time: 1.37579 s Remaining CPU time: 178.624 s c =============================================================================== c | 0 | 700 822 75900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2935 c Elapsed CPU time: 1.39979 s Remaining CPU time: 178.6 s c =============================================================================== c | 0 | 700 823 76500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2934 c Elapsed CPU time: 1.42478 s Remaining CPU time: 178.575 s c =============================================================================== c | 0 | 700 824 77100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2930 c Elapsed CPU time: 1.45078 s Remaining CPU time: 178.549 s c =============================================================================== c | 0 | 700 825 77700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2925 c Elapsed CPU time: 1.47578 s Remaining CPU time: 178.524 s c =============================================================================== c | 0 | 700 826 78300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2923 c Elapsed CPU time: 1.50177 s Remaining CPU time: 178.498 s c =============================================================================== c | 0 | 700 827 78900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2922 c Elapsed CPU time: 1.52877 s Remaining CPU time: 178.471 s c =============================================================================== c | 0 | 700 828 79500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2919 c Elapsed CPU time: 1.55476 s Remaining CPU time: 178.445 s c =============================================================================== c | 0 | 700 829 80100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2915 c Elapsed CPU time: 1.58176 s Remaining CPU time: 178.418 s c =============================================================================== c | 0 | 700 830 80700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2914 c Elapsed CPU time: 1.60976 s Remaining CPU time: 178.39 s c =============================================================================== c | 0 | 700 831 81300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2913 c Elapsed CPU time: 1.63775 s Remaining CPU time: 178.362 s c =============================================================================== c | 0 | 700 832 81900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2911 c Elapsed CPU time: 1.66375 s Remaining CPU time: 178.336 s c =============================================================================== c | 0 | 700 833 82500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2910 c Elapsed CPU time: 1.69074 s Remaining CPU time: 178.309 s c =============================================================================== c | 0 | 700 834 83100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2909 c Elapsed CPU time: 1.72174 s Remaining CPU time: 178.278 s c =============================================================================== c | 0 | 700 835 83700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2908 c Elapsed CPU time: 1.75373 s Remaining CPU time: 178.246 s c =============================================================================== c | 0 | 700 836 84300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2907 c Elapsed CPU time: 1.78773 s Remaining CPU time: 178.212 s c =============================================================================== c | 0 | 700 837 84900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2906 c Elapsed CPU time: 1.81972 s Remaining CPU time: 178.18 s c =============================================================================== c | 0 | 700 838 85500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2903 c Elapsed CPU time: 1.85072 s Remaining CPU time: 178.149 s c =============================================================================== c | 0 | 700 839 86100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2901 c Elapsed CPU time: 1.88571 s Remaining CPU time: 178.114 s c =============================================================================== c | 0 | 700 840 86700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2898 c Elapsed CPU time: 1.92071 s Remaining CPU time: 178.079 s c =============================================================================== c | 0 | 700 841 87300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2897 c Elapsed CPU time: 1.9567 s Remaining CPU time: 178.043 s c =============================================================================== c | 0 | 700 842 87900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2896 c Elapsed CPU time: 1.9887 s Remaining CPU time: 178.011 s c =============================================================================== c | 0 | 700 843 88500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2893 c Elapsed CPU time: 2.02569 s Remaining CPU time: 177.974 s c =============================================================================== c | 0 | 700 844 89100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2892 c Elapsed CPU time: 2.06169 s Remaining CPU time: 177.938 s c =============================================================================== c | 0 | 700 845 89700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2891 c Elapsed CPU time: 2.09768 s Remaining CPU time: 177.902 s c =============================================================================== c | 0 | 700 846 90300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2890 c Elapsed CPU time: 2.13468 s Remaining CPU time: 177.865 s c =============================================================================== c | 0 | 700 847 90900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2889 c Elapsed CPU time: 2.17067 s Remaining CPU time: 177.829 s c =============================================================================== c | 0 | 700 848 91500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2887 c Elapsed CPU time: 2.20566 s Remaining CPU time: 177.794 s c =============================================================================== c | 0 | 700 849 92100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2886 c Elapsed CPU time: 2.24266 s Remaining CPU time: 177.757 s c =============================================================================== c | 0 | 700 850 92700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2885 c Elapsed CPU time: 2.28165 s Remaining CPU time: 177.718 s c =============================================================================== c | 0 | 700 851 93300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2881 c Elapsed CPU time: 2.31965 s Remaining CPU time: 177.68 s c =============================================================================== c | 0 | 700 852 93900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2879 c Elapsed CPU time: 2.35764 s Remaining CPU time: 177.642 s c =============================================================================== c | 0 | 700 853 94500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2877 c Elapsed CPU time: 2.39663 s Remaining CPU time: 177.603 s c =============================================================================== c | 0 | 700 854 95100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2876 c Elapsed CPU time: 2.43463 s Remaining CPU time: 177.565 s c =============================================================================== c | 0 | 700 855 95700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2875 c Elapsed CPU time: 2.47362 s Remaining CPU time: 177.526 s c =============================================================================== c | 0 | 700 856 96300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2874 c Elapsed CPU time: 2.51462 s Remaining CPU time: 177.485 s c =============================================================================== c | 0 | 700 857 96900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2873 c Elapsed CPU time: 2.55661 s Remaining CPU time: 177.443 s c =============================================================================== c | 0 | 700 858 97500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2872 c Elapsed CPU time: 2.59761 s Remaining CPU time: 177.402 s c =============================================================================== c | 0 | 700 859 98100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2871 c Elapsed CPU time: 2.6386 s Remaining CPU time: 177.361 s c =============================================================================== c | 0 | 700 860 98700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2868 c Elapsed CPU time: 2.67959 s Remaining CPU time: 177.32 s c =============================================================================== c | 0 | 700 861 99300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2867 c Elapsed CPU time: 2.72059 s Remaining CPU time: 177.279 s c =============================================================================== c | 0 | 700 862 99900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2866 c Elapsed CPU time: 2.76258 s Remaining CPU time: 177.237 s c =============================================================================== c | 0 | 700 863 100500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2865 c Elapsed CPU time: 2.80457 s Remaining CPU time: 177.195 s c =============================================================================== c | 0 | 700 864 101100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2864 c Elapsed CPU time: 2.84657 s Remaining CPU time: 177.153 s c =============================================================================== c | 0 | 700 865 101700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2863 c Elapsed CPU time: 2.88956 s Remaining CPU time: 177.11 s c =============================================================================== c | 0 | 700 866 102300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2862 c Elapsed CPU time: 2.93355 s Remaining CPU time: 177.066 s c =============================================================================== c | 0 | 700 867 102900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2861 c Elapsed CPU time: 2.97755 s Remaining CPU time: 177.022 s c =============================================================================== c | 0 | 700 868 103500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2860 c Elapsed CPU time: 3.02054 s Remaining CPU time: 176.979 s c =============================================================================== c | 0 | 700 869 104100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2859 c Elapsed CPU time: 3.06253 s Remaining CPU time: 176.937 s c =============================================================================== c | 0 | 700 870 104700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2858 c Elapsed CPU time: 3.10453 s Remaining CPU time: 176.895 s c =============================================================================== c | 0 | 700 871 105300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2855 c Elapsed CPU time: 3.14852 s Remaining CPU time: 176.851 s c =============================================================================== c | 0 | 700 872 105900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2854 c Elapsed CPU time: 3.19451 s Remaining CPU time: 176.805 s c =============================================================================== c | 0 | 700 873 106500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2853 c Elapsed CPU time: 3.23851 s Remaining CPU time: 176.761 s c =============================================================================== c | 0 | 700 874 107100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2852 c Elapsed CPU time: 3.2845 s Remaining CPU time: 176.715 s c =============================================================================== c | 0 | 700 875 107700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2848 c Elapsed CPU time: 3.33049 s Remaining CPU time: 176.67 s c =============================================================================== c | 0 | 700 876 108300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2847 c Elapsed CPU time: 3.37649 s Remaining CPU time: 176.624 s c =============================================================================== c | 0 | 700 877 108900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2842 c Elapsed CPU time: 3.41848 s Remaining CPU time: 176.582 s c =============================================================================== c | 0 | 700 878 109500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2840 c Elapsed CPU time: 3.46247 s Remaining CPU time: 176.538 s c =============================================================================== c | 0 | 700 879 110100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2836 c Elapsed CPU time: 3.50947 s Remaining CPU time: 176.491 s c =============================================================================== c | 0 | 700 880 110700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2835 c Elapsed CPU time: 3.55546 s Remaining CPU time: 176.445 s c =============================================================================== c | 0 | 700 881 111300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2834 c Elapsed CPU time: 3.60345 s Remaining CPU time: 176.397 s c =============================================================================== c | 0 | 700 882 111900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2833 c Elapsed CPU time: 3.64945 s Remaining CPU time: 176.351 s c =============================================================================== c | 0 | 700 883 112500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2829 c Elapsed CPU time: 3.69544 s Remaining CPU time: 176.305 s c =============================================================================== c | 0 | 700 884 113100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2826 c Elapsed CPU time: 3.74443 s Remaining CPU time: 176.256 s c =============================================================================== c | 0 | 700 885 113700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2824 c Elapsed CPU time: 3.79242 s Remaining CPU time: 176.208 s c =============================================================================== c | 0 | 700 886 114300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2823 c Elapsed CPU time: 3.84241 s Remaining CPU time: 176.158 s c =============================================================================== c | 0 | 700 887 114900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2822 c Elapsed CPU time: 3.88941 s Remaining CPU time: 176.111 s c =============================================================================== c | 0 | 700 888 115500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2820 c Elapsed CPU time: 3.9384 s Remaining CPU time: 176.062 s c =============================================================================== c | 0 | 700 889 116100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2819 c Elapsed CPU time: 3.98739 s Remaining CPU time: 176.013 s c =============================================================================== c | 0 | 700 890 116700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2818 c Elapsed CPU time: 4.03739 s Remaining CPU time: 175.963 s c =============================================================================== c | 0 | 700 891 117300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2817 c Elapsed CPU time: 4.09138 s Remaining CPU time: 175.909 s c =============================================================================== c | 0 | 700 892 117900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2816 c Elapsed CPU time: 4.14437 s Remaining CPU time: 175.856 s c =============================================================================== c | 0 | 700 893 118500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2813 c Elapsed CPU time: 4.19736 s Remaining CPU time: 175.803 s c =============================================================================== c | 0 | 700 894 119100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2812 c Elapsed CPU time: 4.25135 s Remaining CPU time: 175.749 s c =============================================================================== c | 0 | 700 895 119700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2810 c Elapsed CPU time: 4.30534 s Remaining CPU time: 175.695 s c =============================================================================== c | 0 | 700 896 120300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2809 c Elapsed CPU time: 4.35734 s Remaining CPU time: 175.643 s c =============================================================================== c | 0 | 700 897 120900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2808 c Elapsed CPU time: 4.41033 s Remaining CPU time: 175.59 s c =============================================================================== c | 0 | 700 898 121500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2805 c Elapsed CPU time: 4.46432 s Remaining CPU time: 175.536 s c =============================================================================== c | 0 | 700 899 122100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2804 c Elapsed CPU time: 4.51731 s Remaining CPU time: 175.483 s c =============================================================================== c | 0 | 700 900 122700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2803 c Elapsed CPU time: 4.5743 s Remaining CPU time: 175.426 s c =============================================================================== c | 0 | 700 901 123300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2800 c Elapsed CPU time: 4.6283 s Remaining CPU time: 175.372 s c =============================================================================== c | 0 | 700 902 123900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2796 c Elapsed CPU time: 4.68229 s Remaining CPU time: 175.318 s c =============================================================================== c | 0 | 700 903 124500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2795 c Elapsed CPU time: 4.73928 s Remaining CPU time: 175.261 s c =============================================================================== c | 1 | 700 904 125100 | 5000 1 554 | 0.000 % | c =============================================================================== c New solution: 2794 c Elapsed CPU time: 4.79327 s Remaining CPU time: 175.207 s c =============================================================================== c | 1 | 700 905 125700 | 5000 1 554 | 0.000 % | c =============================================================================== c New solution: 2793 c Elapsed CPU time: 4.84826 s Remaining CPU time: 175.152 s c =============================================================================== c | 1 | 700 906 126300 | 5000 1 554 | 0.000 % | c =============================================================================== c New solution: 2792 c Elapsed CPU time: 4.90825 s Remaining CPU time: 175.092 s c =============================================================================== c | 1 | 700 907 126900 | 5000 1 554 | 0.000 % | c =============================================================================== c New solution: 2791 c Elapsed CPU time: 4.96924 s Remaining CPU time: 175.031 s c =============================================================================== c | 1 | 700 908 127500 | 5000 1 554 | 0.000 % | c =============================================================================== c New solution: 2790 c Elapsed CPU time: 5.02524 s Remaining CPU time: 174.975 s c =============================================================================== c | 1 | 700 909 128100 | 5000 1 554 | 0.000 % | c =============================================================================== c New solution: 2789 c Elapsed CPU time: 5.09123 s Remaining CPU time: 174.909 s c =============================================================================== c | 1 | 700 910 128700 | 5000 1 554 | 0.000 % | c =============================================================================== c New solution: 2788 c Elapsed CPU time: 5.15222 s Remaining CPU time: 174.848 s c =============================================================================== c | 1 | 700 911 129300 | 5000 1 554 | 0.000 % | c =============================================================================== c New solution: 2787 c Elapsed CPU time: 5.21121 s Remaining CPU time: 174.789 s c =============================================================================== c | 1 | 700 912 129900 | 5000 1 554 | 0.000 % | c =============================================================================== c New solution: 2786 c Elapsed CPU time: 5.2702 s Remaining CPU time: 174.73 s c =============================================================================== c | 1 | 700 913 130500 | 5000 1 554 | 0.000 % | c =============================================================================== c New solution: 2785 c Elapsed CPU time: 5.32919 s Remaining CPU time: 174.671 s c =============================================================================== c | 1 | 700 914 131100 | 5000 1 554 | 0.000 % | c =============================================================================== c New solution: 2783 c Elapsed CPU time: 5.39318 s Remaining CPU time: 174.607 s c =============================================================================== c | 2 | 700 915 131700 | 5000 2 279 | 0.000 % | c =============================================================================== c New solution: 2782 c Elapsed CPU time: 5.45517 s Remaining CPU time: 174.545 s c =============================================================================== c | 2 | 700 916 132300 | 5000 2 279 | 0.000 % | c =============================================================================== c New solution: 2780 c Elapsed CPU time: 5.51016 s Remaining CPU time: 174.49 s c =============================================================================== c | 2 | 700 917 132900 | 5000 2 279 | 0.000 % | c =============================================================================== c New solution: 2779 c Elapsed CPU time: 5.57915 s Remaining CPU time: 174.421 s c =============================================================================== c | 2 | 700 918 133500 | 5000 2 279 | 0.000 % | c =============================================================================== c New solution: 2777 c Elapsed CPU time: 5.64414 s Remaining CPU time: 174.356 s c =============================================================================== c | 2 | 700 919 134100 | 5000 2 279 | 0.000 % | c =============================================================================== c New solution: 2776 c Elapsed CPU time: 5.71113 s Remaining CPU time: 174.289 s c =============================================================================== c | 2 | 700 920 134700 | 5000 2 279 | 0.000 % | c =============================================================================== c New solution: 2774 c Elapsed CPU time: 5.77912 s Remaining CPU time: 174.221 s c =============================================================================== c | 2 | 700 921 135300 | 5000 2 279 | 0.000 % | c =============================================================================== c New solution: 2770 c Elapsed CPU time: 5.84311 s Remaining CPU time: 174.157 s c =============================================================================== c | 4 | 700 922 135900 | 5000 4 143 | 0.000 % | c =============================================================================== c New solution: 2769 c Elapsed CPU time: 5.9021 s Remaining CPU time: 174.098 s c =============================================================================== c | 4 | 700 923 136500 | 5000 4 143 | 0.000 % | c =============================================================================== c New solution: 2767 c Elapsed CPU time: 5.96209 s Remaining CPU time: 174.038 s c =============================================================================== c | 4 | 700 924 137100 | 5000 4 143 | 0.000 % | c =============================================================================== c New solution: 2766 c Elapsed CPU time: 6.03108 s Remaining CPU time: 173.969 s c =============================================================================== c | 5 | 700 925 137700 | 5000 5 115 | 0.000 % | c =============================================================================== c New solution: 2764 c Elapsed CPU time: 6.09807 s Remaining CPU time: 173.902 s c =============================================================================== c | 5 | 700 926 138300 | 5000 5 115 | 0.000 % | c =============================================================================== c New solution: 2763 c Elapsed CPU time: 6.16306 s Remaining CPU time: 173.837 s c =============================================================================== c | 5 | 700 927 138900 | 5000 5 115 | 0.000 % | c =============================================================================== c New solution: 2762 c Elapsed CPU time: 6.22205 s Remaining CPU time: 173.778 s c =============================================================================== c | 5 | 700 928 139500 | 5000 5 115 | 0.000 % | c =============================================================================== c New solution: 2761 c Elapsed CPU time: 6.28504 s Remaining CPU time: 173.715 s c =============================================================================== c | 5 | 700 929 140100 | 5000 5 115 | 0.000 % | c =============================================================================== c New solution: 2760 c Elapsed CPU time: 6.34703 s Remaining CPU time: 173.653 s c =============================================================================== c | 5 | 700 930 140700 | 5000 5 115 | 0.000 % | c =============================================================================== c New solution: 2759 c Elapsed CPU time: 6.41003 s Remaining CPU time: 173.59 s c =============================================================================== c | 5 | 700 931 141300 | 5000 5 115 | 0.000 % | c =============================================================================== c New solution: 2758 c Elapsed CPU time: 6.47602 s Remaining CPU time: 173.524 s c =============================================================================== c | 5 | 700 932 141900 | 5000 5 115 | 0.000 % | c =============================================================================== c New solution: 2757 c Elapsed CPU time: 6.539 s Remaining CPU time: 173.461 s c =============================================================================== c | 5 | 700 933 142500 | 5000 5 115 | 0.000 % | c =============================================================================== c New solution: 2756 c Elapsed CPU time: 6.604 s Remaining CPU time: 173.396 s c =============================================================================== c | 5 | 700 934 143100 | 5000 5 115 | 0.000 % | c =============================================================================== c New solution: 2755 c Elapsed CPU time: 6.66599 s Remaining CPU time: 173.334 s c =============================================================================== c | 6 | 700 935 143700 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2754 c Elapsed CPU time: 6.72798 s Remaining CPU time: 173.272 s c =============================================================================== c | 6 | 700 936 144300 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2753 c Elapsed CPU time: 6.79497 s Remaining CPU time: 173.205 s c =============================================================================== c | 6 | 700 937 144900 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2751 c Elapsed CPU time: 6.86096 s Remaining CPU time: 173.139 s c =============================================================================== c | 6 | 700 938 145500 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2750 c Elapsed CPU time: 6.92595 s Remaining CPU time: 173.074 s c =============================================================================== c | 6 | 700 939 146100 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2749 c Elapsed CPU time: 6.99094 s Remaining CPU time: 173.009 s c =============================================================================== c | 6 | 700 940 146700 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2748 c Elapsed CPU time: 7.05493 s Remaining CPU time: 172.945 s c =============================================================================== c | 6 | 700 941 147300 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2747 c Elapsed CPU time: 7.12192 s Remaining CPU time: 172.878 s c =============================================================================== c | 6 | 700 942 147900 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2746 c Elapsed CPU time: 7.19191 s Remaining CPU time: 172.808 s c =============================================================================== c | 6 | 700 943 148500 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2745 c Elapsed CPU time: 7.2619 s Remaining CPU time: 172.738 s c =============================================================================== c | 6 | 700 944 149100 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2744 c Elapsed CPU time: 7.33389 s Remaining CPU time: 172.666 s c =============================================================================== c | 6 | 700 945 149700 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2743 c Elapsed CPU time: 7.40387 s Remaining CPU time: 172.596 s c =============================================================================== c | 6 | 700 946 150300 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2742 c Elapsed CPU time: 7.47986 s Remaining CPU time: 172.52 s c =============================================================================== c | 6 | 700 947 150900 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2741 c Elapsed CPU time: 7.55085 s Remaining CPU time: 172.449 s c =============================================================================== c | 6 | 700 948 151500 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2740 c Elapsed CPU time: 7.62584 s Remaining CPU time: 172.374 s c =============================================================================== c | 6 | 700 949 152100 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2739 c Elapsed CPU time: 7.69683 s Remaining CPU time: 172.303 s c =============================================================================== c | 6 | 700 950 152700 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2737 c Elapsed CPU time: 7.76882 s Remaining CPU time: 172.231 s c =============================================================================== c | 6 | 700 951 153300 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2735 c Elapsed CPU time: 7.84381 s Remaining CPU time: 172.156 s c =============================================================================== c | 6 | 700 952 153900 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2734 c Elapsed CPU time: 7.92479 s Remaining CPU time: 172.075 s c =============================================================================== c | 6 | 700 953 154500 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2733 c Elapsed CPU time: 7.99778 s Remaining CPU time: 172.002 s c =============================================================================== c | 6 | 700 954 155100 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2732 c Elapsed CPU time: 8.07477 s Remaining CPU time: 171.925 s c =============================================================================== c | 6 | 700 955 155700 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2731 c Elapsed CPU time: 8.14876 s Remaining CPU time: 171.851 s c =============================================================================== c | 6 | 700 956 156300 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2730 c Elapsed CPU time: 8.22675 s Remaining CPU time: 171.773 s c =============================================================================== c | 6 | 700 957 156900 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2729 c Elapsed CPU time: 8.30374 s Remaining CPU time: 171.696 s c =============================================================================== c | 6 | 700 958 157500 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2728 c Elapsed CPU time: 8.37973 s Remaining CPU time: 171.62 s c =============================================================================== c | 6 | 700 959 158100 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2727 c Elapsed CPU time: 8.44971 s Remaining CPU time: 171.55 s c =============================================================================== c | 6 | 700 960 158700 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2725 c Elapsed CPU time: 8.5247 s Remaining CPU time: 171.475 s c =============================================================================== c | 6 | 700 961 159300 | 5000 6 97 | 0.000 % | c =============================================================================== c New solution: 2724 c Elapsed CPU time: 8.59369 s Remaining CPU time: 171.406 s c =============================================================================== c | 7 | 700 962 159900 | 5000 7 84 | 0.000 % | c =============================================================================== c New solution: 2723 c Elapsed CPU time: 8.67268 s Remaining CPU time: 171.327 s c =============================================================================== c | 7 | 700 963 160500 | 5000 7 84 | 0.000 % | c =============================================================================== c New solution: 2722 c Elapsed CPU time: 8.74567 s Remaining CPU time: 171.254 s c =============================================================================== c | 8 | 700 964 161100 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2720 c Elapsed CPU time: 8.82366 s Remaining CPU time: 171.176 s c =============================================================================== c | 8 | 700 965 161700 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2719 c Elapsed CPU time: 8.90065 s Remaining CPU time: 171.099 s c =============================================================================== c | 8 | 700 966 162300 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2718 c Elapsed CPU time: 8.97864 s Remaining CPU time: 171.021 s c =============================================================================== c | 8 | 700 967 162900 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2716 c Elapsed CPU time: 9.05562 s Remaining CPU time: 170.944 s c =============================================================================== c | 8 | 700 968 163500 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2715 c Elapsed CPU time: 9.12761 s Remaining CPU time: 170.872 s c =============================================================================== c | 8 | 700 969 164100 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2714 c Elapsed CPU time: 9.2106 s Remaining CPU time: 170.789 s c =============================================================================== c | 8 | 700 970 164700 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2713 c Elapsed CPU time: 9.28759 s Remaining CPU time: 170.712 s c =============================================================================== c | 8 | 700 971 165300 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2712 c Elapsed CPU time: 9.38057 s Remaining CPU time: 170.619 s c =============================================================================== c | 8 | 700 972 165900 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2711 c Elapsed CPU time: 9.46656 s Remaining CPU time: 170.533 s c =============================================================================== c | 8 | 700 973 166500 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2710 c Elapsed CPU time: 9.55255 s Remaining CPU time: 170.447 s c =============================================================================== c | 8 | 700 974 167100 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2709 c Elapsed CPU time: 9.63054 s Remaining CPU time: 170.369 s c =============================================================================== c | 8 | 700 975 167700 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2708 c Elapsed CPU time: 9.71352 s Remaining CPU time: 170.286 s c =============================================================================== c | 8 | 700 976 168300 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2707 c Elapsed CPU time: 9.80251 s Remaining CPU time: 170.197 s c =============================================================================== c | 8 | 700 977 168900 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2706 c Elapsed CPU time: 9.8895 s Remaining CPU time: 170.111 s c =============================================================================== c | 8 | 700 978 169500 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2705 c Elapsed CPU time: 9.97048 s Remaining CPU time: 170.03 s c =============================================================================== c | 8 | 700 979 170100 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2703 c Elapsed CPU time: 10.0485 s Remaining CPU time: 169.952 s c =============================================================================== c | 8 | 700 980 170700 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2702 c Elapsed CPU time: 10.1285 s Remaining CPU time: 169.872 s c =============================================================================== c | 8 | 700 981 171300 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2699 c Elapsed CPU time: 10.2074 s Remaining CPU time: 169.793 s c =============================================================================== c | 8 | 700 982 171900 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2698 c Elapsed CPU time: 10.2884 s Remaining CPU time: 169.712 s c =============================================================================== c | 8 | 700 983 172500 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2697 c Elapsed CPU time: 10.3754 s Remaining CPU time: 169.625 s c =============================================================================== c | 8 | 700 984 173100 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2696 c Elapsed CPU time: 10.4604 s Remaining CPU time: 169.54 s c =============================================================================== c | 8 | 700 985 173700 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2695 c Elapsed CPU time: 10.5504 s Remaining CPU time: 169.45 s c =============================================================================== c | 8 | 700 986 174300 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2694 c Elapsed CPU time: 10.6444 s Remaining CPU time: 169.356 s c =============================================================================== c | 8 | 700 987 174900 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2693 c Elapsed CPU time: 10.7344 s Remaining CPU time: 169.266 s c =============================================================================== c | 8 | 700 988 175500 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2692 c Elapsed CPU time: 10.8254 s Remaining CPU time: 169.175 s c =============================================================================== c | 8 | 700 989 176100 | 5000 8 74 | 0.000 % | c =============================================================================== c New solution: 2690 c Elapsed CPU time: 10.9143 s Remaining CPU time: 169.086 s c =============================================================================== c | 9 | 700 990 176700 | 5000 9 66 | 0.000 % | c =============================================================================== c New solution: 2689 c Elapsed CPU time: 11.0183 s Remaining CPU time: 168.982 s c =============================================================================== c | 9 | 700 991 177300 | 5000 9 66 | 0.000 % | c =============================================================================== c New solution: 2688 c Elapsed CPU time: 11.1143 s Remaining CPU time: 168.886 s c =============================================================================== c | 9 | 700 992 177900 | 5000 9 66 | 0.000 % | c =============================================================================== c New solution: 2687 c Elapsed CPU time: 11.2093 s Remaining CPU time: 168.791 s c =============================================================================== c | 9 | 700 993 178500 | 5000 9 66 | 0.000 % | c =============================================================================== c New solution: 2686 c Elapsed CPU time: 11.2983 s Remaining CPU time: 168.702 s c =============================================================================== c | 9 | 700 994 179100 | 5000 9 66 | 0.000 % | c =============================================================================== c New solution: 2685 c Elapsed CPU time: 11.3853 s Remaining CPU time: 168.615 s c =============================================================================== c | 9 | 700 995 179700 | 5000 9 66 | 0.000 % | c =============================================================================== c New solution: 2684 c Elapsed CPU time: 11.4763 s Remaining CPU time: 168.524 s c =============================================================================== c | 9 | 700 996 180300 | 5000 9 66 | 0.000 % | c =============================================================================== c New solution: 2683 c Elapsed CPU time: 11.5602 s Remaining CPU time: 168.44 s c =============================================================================== c | 9 | 700 997 180900 | 5000 9 66 | 0.000 % | c =============================================================================== c New solution: 2682 c Elapsed CPU time: 11.6442 s Remaining CPU time: 168.356 s c =============================================================================== c | 9 | 700 998 181500 | 5000 9 66 | 0.000 % | c =============================================================================== c New solution: 2681 c Elapsed CPU time: 11.7312 s Remaining CPU time: 168.269 s c =============================================================================== c | 9 | 700 999 182100 | 5000 9 66 | 0.000 % | c =============================================================================== c New solution: 2680 c Elapsed CPU time: 11.8172 s Remaining CPU time: 168.183 s c =============================================================================== c | 9 | 700 1000 182700 | 5000 9 66 | 0.000 % | c =============================================================================== c New solution: 2679 c Elapsed CPU time: 11.9002 s Remaining CPU time: 168.1 s c =============================================================================== c | 9 | 700 1001 183300 | 5000 9 66 | 0.000 % | c =============================================================================== c New solution: 2678 c Elapsed CPU time: 11.9922 s Remaining CPU time: 168.008 s c =============================================================================== c | 9 | 700 1002 183900 | 5000 9 66 | 0.000 % | c =============================================================================== c New solution: 2677 c Elapsed CPU time: 12.0802 s Remaining CPU time: 167.92 s c =============================================================================== c | 9 | 700 1003 184500 | 5000 9 66 | 0.000 % | c =============================================================================== c New solution: 2676 c Elapsed CPU time: 12.1692 s Remaining CPU time: 167.831 s c =============================================================================== c | 9 | 700 1004 185100 | 5000 9 66 | 0.000 % | c =============================================================================== c New solution: 2675 c Elapsed CPU time: 12.2591 s Remaining CPU time: 167.741 s c =============================================================================== c | 9 | 700 1005 185700 | 5000 9 66 | 0.000 % | c =============================================================================== c New solution: 2674 c Elapsed CPU time: 12.3501 s Remaining CPU time: 167.65 s c =============================================================================== c | 9 | 700 1006 186300 | 5000 9 66 | 0.000 % | c =============================================================================== c New solution: 2673 c Elapsed CPU time: 12.4421 s Remaining CPU time: 167.558 s c =============================================================================== c | 9 | 700 1007 186900 | 5000 9 66 | 0.000 % | c =============================================================================== c New solution: 2671 c Elapsed CPU time: 12.5311 s Remaining CPU time: 167.469 s c =============================================================================== c | 10 | 700 1008 187500 | 5000 10 113 | 0.000 % | c =============================================================================== c New solution: 2670 c Elapsed CPU time: 12.6201 s Remaining CPU time: 167.38 s c =============================================================================== c | 10 | 700 1009 188100 | 5000 10 113 | 0.000 % | c =============================================================================== c New solution: 2668 c Elapsed CPU time: 12.7111 s Remaining CPU time: 167.289 s c =============================================================================== c | 11 | 700 1010 188700 | 5000 11 103 | 0.000 % | c =============================================================================== c New solution: 2667 c Elapsed CPU time: 12.8011 s Remaining CPU time: 167.199 s c =============================================================================== c | 11 | 700 1011 189300 | 5000 11 103 | 0.000 % | c =============================================================================== c New solution: 2666 c Elapsed CPU time: 12.889 s Remaining CPU time: 167.111 s c =============================================================================== c | 11 | 700 1012 189900 | 5000 11 103 | 0.000 % | c =============================================================================== c New solution: 2665 c Elapsed CPU time: 12.976 s Remaining CPU time: 167.024 s c =============================================================================== c | 11 | 700 1013 190500 | 5000 11 103 | 0.000 % | c =============================================================================== c New solution: 2664 c Elapsed CPU time: 13.071 s Remaining CPU time: 166.929 s c =============================================================================== c | 11 | 700 1014 191100 | 5000 11 103 | 0.000 % | c =============================================================================== c New solution: 2663 c Elapsed CPU time: 13.163 s Remaining CPU time: 166.837 s c =============================================================================== c | 11 | 700 1015 191700 | 5000 11 103 | 0.000 % | c =============================================================================== c New solution: 2662 c Elapsed CPU time: 13.256 s Remaining CPU time: 166.744 s c =============================================================================== c | 11 | 700 1016 192300 | 5000 11 103 | 0.000 % | c =============================================================================== c New solution: 2661 c Elapsed CPU time: 13.348 s Remaining CPU time: 166.652 s c =============================================================================== c | 11 | 700 1017 192900 | 5000 11 103 | 0.000 % | c =============================================================================== c New solution: 2660 c Elapsed CPU time: 13.442 s Remaining CPU time: 166.558 s c =============================================================================== c | 12 | 700 1018 193500 | 5000 12 95 | 0.000 % | c =============================================================================== c New solution: 2659 c Elapsed CPU time: 13.5409 s Remaining CPU time: 166.459 s c =============================================================================== c | 12 | 700 1019 194100 | 5000 12 95 | 0.000 % | c =============================================================================== c New solution: 2658 c Elapsed CPU time: 13.6309 s Remaining CPU time: 166.369 s c =============================================================================== c | 12 | 700 1020 194700 | 5000 12 95 | 0.000 % | c =============================================================================== c New solution: 2657 c Elapsed CPU time: 13.7269 s Remaining CPU time: 166.273 s c =============================================================================== c | 12 | 700 1021 195300 | 5000 12 95 | 0.000 % | c =============================================================================== c New solution: 2656 c Elapsed CPU time: 13.8229 s Remaining CPU time: 166.177 s c =============================================================================== c | 12 | 700 1022 195900 | 5000 12 95 | 0.000 % | c =============================================================================== c New solution: 2655 c Elapsed CPU time: 13.9209 s Remaining CPU time: 166.079 s c =============================================================================== c | 12 | 700 1023 196500 | 5000 12 95 | 0.000 % | c =============================================================================== c New solution: 2654 c Elapsed CPU time: 14.0199 s Remaining CPU time: 165.98 s c =============================================================================== c | 12 | 700 1024 197100 | 5000 12 95 | 0.000 % | c =============================================================================== c New solution: 2653 c Elapsed CPU time: 14.1109 s Remaining CPU time: 165.889 s c =============================================================================== c | 12 | 700 1025 197700 | 5000 12 95 | 0.000 % | c =============================================================================== c New solution: 2652 c Elapsed CPU time: 14.2078 s Remaining CPU time: 165.792 s c =============================================================================== c | 12 | 700 1026 198300 | 5000 12 95 | 0.000 % | c =============================================================================== c New solution: 2651 c Elapsed CPU time: 14.3028 s Remaining CPU time: 165.697 s c =============================================================================== c | 12 | 700 1027 198900 | 5000 12 95 | 0.000 % | c =============================================================================== c New solution: 2650 c Elapsed CPU time: 14.3958 s Remaining CPU time: 165.604 s c =============================================================================== c | 12 | 700 1028 199500 | 5000 12 95 | 0.000 % | c =============================================================================== c New solution: 2649 c Elapsed CPU time: 14.4918 s Remaining CPU time: 165.508 s c =============================================================================== c | 13 | 700 1029 200100 | 5000 13 88 | 0.000 % | c =============================================================================== c New solution: 2648 c Elapsed CPU time: 14.5868 s Remaining CPU time: 165.413 s c =============================================================================== c | 13 | 700 1030 200700 | 5000 13 88 | 0.000 % | c =============================================================================== c New solution: 2647 c Elapsed CPU time: 14.6828 s Remaining CPU time: 165.317 s c =============================================================================== c | 13 | 700 1031 201300 | 5000 13 88 | 0.000 % | c =============================================================================== c New solution: 2646 c Elapsed CPU time: 14.7838 s Remaining CPU time: 165.216 s c =============================================================================== c | 13 | 700 1032 201900 | 5000 13 88 | 0.000 % | c =============================================================================== c New solution: 2645 c Elapsed CPU time: 14.8797 s Remaining CPU time: 165.12 s c =============================================================================== c | 14 | 700 1033 202500 | 5000 14 82 | 0.000 % | c =============================================================================== c New solution: 2644 c Elapsed CPU time: 14.9807 s Remaining CPU time: 165.019 s c =============================================================================== c | 14 | 700 1034 203100 | 5000 14 82 | 0.000 % | c =============================================================================== c New solution: 2643 c Elapsed CPU time: 15.0777 s Remaining CPU time: 164.922 s c =============================================================================== c | 14 | 700 1035 203700 | 5000 14 82 | 0.000 % | c =============================================================================== c New solution: 2642 c Elapsed CPU time: 15.1707 s Remaining CPU time: 164.829 s c =============================================================================== c | 15 | 700 1036 204300 | 5000 15 77 | 0.000 % | c =============================================================================== c New solution: 2641 c Elapsed CPU time: 15.2677 s Remaining CPU time: 164.732 s c =============================================================================== c | 15 | 700 1037 204900 | 5000 15 77 | 0.000 % | c =============================================================================== c New solution: 2640 c Elapsed CPU time: 15.3627 s Remaining CPU time: 164.637 s c =============================================================================== c | 15 | 700 1038 205500 | 5000 15 77 | 0.000 % | c =============================================================================== c New solution: 2639 c Elapsed CPU time: 15.4636 s Remaining CPU time: 164.536 s c =============================================================================== c | 15 | 700 1039 206100 | 5000 15 77 | 0.000 % | c =============================================================================== c New solution: 2638 c Elapsed CPU time: 15.5616 s Remaining CPU time: 164.438 s c =============================================================================== c | 15 | 700 1040 206700 | 5000 15 77 | 0.000 % | c =============================================================================== c New solution: 2637 c Elapsed CPU time: 15.6616 s Remaining CPU time: 164.338 s c =============================================================================== c | 15 | 700 1041 207300 | 5000 15 77 | 0.000 % | c =============================================================================== c New solution: 2636 c Elapsed CPU time: 15.7626 s Remaining CPU time: 164.237 s c =============================================================================== c | 15 | 700 1042 207900 | 5000 15 77 | 0.000 % | c =============================================================================== c New solution: 2635 c Elapsed CPU time: 15.8616 s Remaining CPU time: 164.138 s c =============================================================================== c | 16 | 700 1043 208500 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2634 c Elapsed CPU time: 15.9636 s Remaining CPU time: 164.036 s c =============================================================================== c | 16 | 700 1044 209100 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2633 c Elapsed CPU time: 16.0626 s Remaining CPU time: 163.937 s c =============================================================================== c | 16 | 700 1045 209700 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2632 c Elapsed CPU time: 16.1715 s Remaining CPU time: 163.828 s c =============================================================================== c | 16 | 700 1046 210300 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2631 c Elapsed CPU time: 16.2745 s Remaining CPU time: 163.725 s c =============================================================================== c | 16 | 700 1047 210900 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2630 c Elapsed CPU time: 16.3795 s Remaining CPU time: 163.62 s c =============================================================================== c | 16 | 700 1048 211500 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2629 c Elapsed CPU time: 16.4835 s Remaining CPU time: 163.517 s c =============================================================================== c | 16 | 700 1049 212100 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2628 c Elapsed CPU time: 16.5915 s Remaining CPU time: 163.409 s c =============================================================================== c | 16 | 700 1050 212700 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2627 c Elapsed CPU time: 16.7005 s Remaining CPU time: 163.3 s c =============================================================================== c | 16 | 700 1051 213300 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2626 c Elapsed CPU time: 16.8024 s Remaining CPU time: 163.198 s c =============================================================================== c | 16 | 700 1052 213900 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2625 c Elapsed CPU time: 16.9114 s Remaining CPU time: 163.089 s c =============================================================================== c | 16 | 700 1053 214500 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2624 c Elapsed CPU time: 17.0184 s Remaining CPU time: 162.982 s c =============================================================================== c | 16 | 700 1054 215100 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2623 c Elapsed CPU time: 17.1234 s Remaining CPU time: 162.877 s c =============================================================================== c | 16 | 700 1055 215700 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2622 c Elapsed CPU time: 17.2244 s Remaining CPU time: 162.776 s c =============================================================================== c | 16 | 700 1056 216300 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2621 c Elapsed CPU time: 17.3304 s Remaining CPU time: 162.67 s c =============================================================================== c | 16 | 700 1057 216900 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2620 c Elapsed CPU time: 17.4373 s Remaining CPU time: 162.563 s c =============================================================================== c | 16 | 700 1058 217500 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2619 c Elapsed CPU time: 17.5433 s Remaining CPU time: 162.457 s c =============================================================================== c | 16 | 700 1059 218100 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2618 c Elapsed CPU time: 17.6563 s Remaining CPU time: 162.344 s c =============================================================================== c | 16 | 700 1060 218700 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2617 c Elapsed CPU time: 17.7623 s Remaining CPU time: 162.238 s c =============================================================================== c | 16 | 700 1061 219300 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2616 c Elapsed CPU time: 17.8753 s Remaining CPU time: 162.125 s c =============================================================================== c | 16 | 700 1062 219900 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2615 c Elapsed CPU time: 17.9823 s Remaining CPU time: 162.018 s c =============================================================================== c | 16 | 700 1063 220500 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2614 c Elapsed CPU time: 18.0882 s Remaining CPU time: 161.912 s c =============================================================================== c | 16 | 700 1064 221100 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2613 c Elapsed CPU time: 18.2032 s Remaining CPU time: 161.797 s c =============================================================================== c | 16 | 700 1065 221700 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2612 c Elapsed CPU time: 18.3152 s Remaining CPU time: 161.685 s c =============================================================================== c | 16 | 700 1066 222300 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2611 c Elapsed CPU time: 18.4222 s Remaining CPU time: 161.578 s c =============================================================================== c | 16 | 700 1067 222900 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2610 c Elapsed CPU time: 18.5362 s Remaining CPU time: 161.464 s c =============================================================================== c | 16 | 700 1068 223500 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2609 c Elapsed CPU time: 18.6442 s Remaining CPU time: 161.356 s c =============================================================================== c | 16 | 700 1069 224100 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2608 c Elapsed CPU time: 18.7511 s Remaining CPU time: 161.249 s c =============================================================================== c | 16 | 700 1070 224700 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2607 c Elapsed CPU time: 18.8661 s Remaining CPU time: 161.134 s c =============================================================================== c | 16 | 700 1071 225300 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2606 c Elapsed CPU time: 18.9771 s Remaining CPU time: 161.023 s c =============================================================================== c | 16 | 700 1072 225900 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2605 c Elapsed CPU time: 19.0891 s Remaining CPU time: 160.911 s c =============================================================================== c | 16 | 700 1073 226500 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2604 c Elapsed CPU time: 19.2051 s Remaining CPU time: 160.795 s c =============================================================================== c | 16 | 700 1074 227100 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2603 c Elapsed CPU time: 19.3111 s Remaining CPU time: 160.689 s c =============================================================================== c | 16 | 700 1075 227700 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2602 c Elapsed CPU time: 19.428 s Remaining CPU time: 160.572 s c =============================================================================== c | 16 | 700 1076 228300 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2601 c Elapsed CPU time: 19.545 s Remaining CPU time: 160.455 s c =============================================================================== c | 16 | 700 1077 228900 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2600 c Elapsed CPU time: 19.657 s Remaining CPU time: 160.343 s c =============================================================================== c | 16 | 700 1078 229500 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2599 c Elapsed CPU time: 19.769 s Remaining CPU time: 160.231 s c =============================================================================== c | 16 | 700 1079 230100 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2598 c Elapsed CPU time: 19.88 s Remaining CPU time: 160.12 s c =============================================================================== c | 16 | 700 1080 230700 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2597 c Elapsed CPU time: 19.992 s Remaining CPU time: 160.008 s c =============================================================================== c | 16 | 700 1081 231300 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2596 c Elapsed CPU time: 20.1069 s Remaining CPU time: 159.893 s c =============================================================================== c | 16 | 700 1082 231900 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2595 c Elapsed CPU time: 20.2179 s Remaining CPU time: 159.782 s c =============================================================================== c | 16 | 700 1083 232500 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2594 c Elapsed CPU time: 20.3349 s Remaining CPU time: 159.665 s c =============================================================================== c | 16 | 700 1084 233100 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2593 c Elapsed CPU time: 20.4499 s Remaining CPU time: 159.55 s c =============================================================================== c | 16 | 700 1085 233700 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2592 c Elapsed CPU time: 20.5709 s Remaining CPU time: 159.429 s c =============================================================================== c | 16 | 700 1086 234300 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2591 c Elapsed CPU time: 20.6889 s Remaining CPU time: 159.311 s c =============================================================================== c | 16 | 700 1087 234900 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2590 c Elapsed CPU time: 20.8048 s Remaining CPU time: 159.195 s c =============================================================================== c | 16 | 700 1088 235500 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2589 c Elapsed CPU time: 20.9208 s Remaining CPU time: 159.079 s c =============================================================================== c | 16 | 700 1089 236100 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2588 c Elapsed CPU time: 21.0358 s Remaining CPU time: 158.964 s c =============================================================================== c | 16 | 700 1090 236700 | 5000 16 73 | 0.000 % | c =============================================================================== c New solution: 2587 c Elapsed CPU time: 21.1568 s Remaining CPU time: 158.843 s c =============================================================================== c | 17 | 700 1091 237300 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2586 c Elapsed CPU time: 21.2778 s Remaining CPU time: 158.722 s c =============================================================================== c | 17 | 700 1092 237900 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2585 c Elapsed CPU time: 21.4037 s Remaining CPU time: 158.596 s c =============================================================================== c | 17 | 700 1093 238500 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2584 c Elapsed CPU time: 21.5257 s Remaining CPU time: 158.474 s c =============================================================================== c | 17 | 700 1094 239100 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2583 c Elapsed CPU time: 21.6487 s Remaining CPU time: 158.351 s c =============================================================================== c | 17 | 700 1095 239700 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2582 c Elapsed CPU time: 21.7697 s Remaining CPU time: 158.23 s c =============================================================================== c | 17 | 700 1096 240300 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2581 c Elapsed CPU time: 21.8867 s Remaining CPU time: 158.113 s c =============================================================================== c | 17 | 700 1097 240900 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2580 c Elapsed CPU time: 22.0037 s Remaining CPU time: 157.996 s c =============================================================================== c | 17 | 700 1098 241500 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2579 c Elapsed CPU time: 22.1206 s Remaining CPU time: 157.879 s c =============================================================================== c | 17 | 700 1099 242100 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2578 c Elapsed CPU time: 22.2376 s Remaining CPU time: 157.762 s c =============================================================================== c | 17 | 700 1100 242700 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2577 c Elapsed CPU time: 22.3586 s Remaining CPU time: 157.641 s c =============================================================================== c | 17 | 700 1101 243300 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2576 c Elapsed CPU time: 22.4776 s Remaining CPU time: 157.522 s c =============================================================================== c | 17 | 700 1102 243900 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2575 c Elapsed CPU time: 22.5986 s Remaining CPU time: 157.401 s c =============================================================================== c | 17 | 700 1103 244500 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2574 c Elapsed CPU time: 22.7155 s Remaining CPU time: 157.284 s c =============================================================================== c | 17 | 700 1104 245100 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2573 c Elapsed CPU time: 22.8305 s Remaining CPU time: 157.169 s c =============================================================================== c | 17 | 700 1105 245700 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2572 c Elapsed CPU time: 22.9455 s Remaining CPU time: 157.054 s c =============================================================================== c | 17 | 700 1106 246300 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2571 c Elapsed CPU time: 23.0705 s Remaining CPU time: 156.93 s c =============================================================================== c | 17 | 700 1107 246900 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2570 c Elapsed CPU time: 23.1985 s Remaining CPU time: 156.802 s c =============================================================================== c | 17 | 700 1108 247500 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2569 c Elapsed CPU time: 23.3235 s Remaining CPU time: 156.677 s c =============================================================================== c | 17 | 700 1109 248100 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2568 c Elapsed CPU time: 23.4434 s Remaining CPU time: 156.557 s c =============================================================================== c | 17 | 700 1110 248700 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2567 c Elapsed CPU time: 23.5614 s Remaining CPU time: 156.439 s c =============================================================================== c | 17 | 700 1111 249300 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2566 c Elapsed CPU time: 23.6864 s Remaining CPU time: 156.314 s c =============================================================================== c | 17 | 700 1112 249900 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2565 c Elapsed CPU time: 23.8074 s Remaining CPU time: 156.193 s c =============================================================================== c | 17 | 700 1113 250500 | 5000 17 99 | 0.000 % | c =============================================================================== c New solution: 2564 c Elapsed CPU time: 23.9274 s Remaining CPU time: 156.073 s c =============================================================================== c | 18 | 700 1114 251100 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2563 c Elapsed CPU time: 24.0553 s Remaining CPU time: 155.945 s c =============================================================================== c | 18 | 700 1115 251700 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2562 c Elapsed CPU time: 24.1853 s Remaining CPU time: 155.815 s c =============================================================================== c | 18 | 700 1116 252300 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2561 c Elapsed CPU time: 24.3123 s Remaining CPU time: 155.688 s c =============================================================================== c | 18 | 700 1117 252900 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2560 c Elapsed CPU time: 24.4353 s Remaining CPU time: 155.565 s c =============================================================================== c | 18 | 700 1118 253500 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2559 c Elapsed CPU time: 24.5623 s Remaining CPU time: 155.438 s c =============================================================================== c | 18 | 700 1119 254100 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2558 c Elapsed CPU time: 24.6852 s Remaining CPU time: 155.315 s c =============================================================================== c | 18 | 700 1120 254700 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2557 c Elapsed CPU time: 24.8102 s Remaining CPU time: 155.19 s c =============================================================================== c | 18 | 700 1121 255300 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2556 c Elapsed CPU time: 24.9362 s Remaining CPU time: 155.064 s c =============================================================================== c | 18 | 700 1122 255900 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2555 c Elapsed CPU time: 25.0662 s Remaining CPU time: 154.934 s c =============================================================================== c | 18 | 700 1123 256500 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2554 c Elapsed CPU time: 25.2002 s Remaining CPU time: 154.8 s c =============================================================================== c | 18 | 700 1124 257100 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2553 c Elapsed CPU time: 25.3351 s Remaining CPU time: 154.665 s c =============================================================================== c | 18 | 700 1125 257700 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2552 c Elapsed CPU time: 25.4641 s Remaining CPU time: 154.536 s c =============================================================================== c | 18 | 700 1126 258300 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2551 c Elapsed CPU time: 25.5931 s Remaining CPU time: 154.407 s c =============================================================================== c | 18 | 700 1127 258900 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2550 c Elapsed CPU time: 25.7241 s Remaining CPU time: 154.276 s c =============================================================================== c | 18 | 700 1128 259500 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2549 c Elapsed CPU time: 25.8511 s Remaining CPU time: 154.149 s c =============================================================================== c | 18 | 700 1129 260100 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2548 c Elapsed CPU time: 25.981 s Remaining CPU time: 154.019 s c =============================================================================== c | 18 | 700 1130 260700 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2547 c Elapsed CPU time: 26.111 s Remaining CPU time: 153.889 s c =============================================================================== c | 18 | 700 1131 261300 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2546 c Elapsed CPU time: 26.244 s Remaining CPU time: 153.756 s c =============================================================================== c | 18 | 700 1132 261900 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2545 c Elapsed CPU time: 26.381 s Remaining CPU time: 153.619 s c =============================================================================== c | 18 | 700 1133 262500 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2544 c Elapsed CPU time: 26.504 s Remaining CPU time: 153.496 s c =============================================================================== c | 18 | 700 1134 263100 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2543 c Elapsed CPU time: 26.63 s Remaining CPU time: 153.37 s c =============================================================================== c | 18 | 700 1135 263700 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2542 c Elapsed CPU time: 26.7569 s Remaining CPU time: 153.243 s c =============================================================================== c | 18 | 700 1136 264300 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2541 c Elapsed CPU time: 26.8889 s Remaining CPU time: 153.111 s c =============================================================================== c | 18 | 700 1137 264900 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2540 c Elapsed CPU time: 27.0149 s Remaining CPU time: 152.985 s c =============================================================================== c | 18 | 700 1138 265500 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2539 c Elapsed CPU time: 27.1449 s Remaining CPU time: 152.855 s c =============================================================================== c | 18 | 700 1139 266100 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2538 c Elapsed CPU time: 27.2799 s Remaining CPU time: 152.72 s c =============================================================================== c | 18 | 700 1140 266700 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2537 c Elapsed CPU time: 27.4128 s Remaining CPU time: 152.587 s c =============================================================================== c | 18 | 700 1141 267300 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2536 c Elapsed CPU time: 27.5448 s Remaining CPU time: 152.455 s c =============================================================================== c | 18 | 700 1142 267900 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2535 c Elapsed CPU time: 27.6778 s Remaining CPU time: 152.322 s c =============================================================================== c | 18 | 700 1143 268500 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2534 c Elapsed CPU time: 27.8048 s Remaining CPU time: 152.195 s c =============================================================================== c | 18 | 700 1144 269100 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2533 c Elapsed CPU time: 27.9408 s Remaining CPU time: 152.059 s c =============================================================================== c | 18 | 700 1145 269700 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2532 c Elapsed CPU time: 28.0747 s Remaining CPU time: 151.925 s c =============================================================================== c | 18 | 700 1146 270300 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2531 c Elapsed CPU time: 28.2077 s Remaining CPU time: 151.792 s c =============================================================================== c | 18 | 700 1147 270900 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2530 c Elapsed CPU time: 28.3437 s Remaining CPU time: 151.656 s c =============================================================================== c | 18 | 700 1148 271500 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2529 c Elapsed CPU time: 28.4757 s Remaining CPU time: 151.524 s c =============================================================================== c | 18 | 700 1149 272100 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2528 c Elapsed CPU time: 28.6076 s Remaining CPU time: 151.392 s c =============================================================================== c | 18 | 700 1150 272700 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2527 c Elapsed CPU time: 28.7346 s Remaining CPU time: 151.265 s c =============================================================================== c | 18 | 700 1151 273300 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2526 c Elapsed CPU time: 28.8686 s Remaining CPU time: 151.131 s c =============================================================================== c | 18 | 700 1152 273900 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2525 c Elapsed CPU time: 29.0016 s Remaining CPU time: 150.998 s c =============================================================================== c | 18 | 700 1153 274500 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2524 c Elapsed CPU time: 29.1356 s Remaining CPU time: 150.864 s c =============================================================================== c | 18 | 700 1154 275100 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2523 c Elapsed CPU time: 29.2646 s Remaining CPU time: 150.735 s c =============================================================================== c | 18 | 700 1155 275700 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2522 c Elapsed CPU time: 29.3815 s Remaining CPU time: 150.618 s c =============================================================================== c | 18 | 700 1156 276300 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2521 c Elapsed CPU time: 29.5055 s Remaining CPU time: 150.494 s c =============================================================================== c | 18 | 700 1157 276900 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2520 c Elapsed CPU time: 29.6345 s Remaining CPU time: 150.366 s c =============================================================================== c | 18 | 700 1158 277500 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2519 c Elapsed CPU time: 29.7455 s Remaining CPU time: 150.255 s c =============================================================================== c | 18 | 700 1159 278100 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2518 c Elapsed CPU time: 29.8585 s Remaining CPU time: 150.142 s c =============================================================================== c | 18 | 700 1160 278700 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2517 c Elapsed CPU time: 29.9704 s Remaining CPU time: 150.03 s c =============================================================================== c | 18 | 700 1161 279300 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2516 c Elapsed CPU time: 30.0784 s Remaining CPU time: 149.922 s c =============================================================================== c | 18 | 700 1162 279900 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2515 c Elapsed CPU time: 30.1904 s Remaining CPU time: 149.81 s c =============================================================================== c | 18 | 700 1163 280500 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2514 c Elapsed CPU time: 30.3024 s Remaining CPU time: 149.698 s c =============================================================================== c | 18 | 700 1164 281100 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2513 c Elapsed CPU time: 30.4104 s Remaining CPU time: 149.59 s c =============================================================================== c | 18 | 700 1165 281700 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2512 c Elapsed CPU time: 30.5214 s Remaining CPU time: 149.479 s c =============================================================================== c | 18 | 700 1166 282300 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2511 c Elapsed CPU time: 30.6423 s Remaining CPU time: 149.358 s c =============================================================================== c | 18 | 700 1167 282900 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2510 c Elapsed CPU time: 30.7513 s Remaining CPU time: 149.249 s c =============================================================================== c | 18 | 700 1168 283500 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2509 c Elapsed CPU time: 30.8663 s Remaining CPU time: 149.134 s c =============================================================================== c | 18 | 700 1169 284100 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2508 c Elapsed CPU time: 30.9733 s Remaining CPU time: 149.027 s c =============================================================================== c | 18 | 700 1170 284700 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2507 c Elapsed CPU time: 31.0843 s Remaining CPU time: 148.916 s c =============================================================================== c | 18 | 700 1171 285300 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2506 c Elapsed CPU time: 31.1963 s Remaining CPU time: 148.804 s c =============================================================================== c | 18 | 700 1172 285900 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2505 c Elapsed CPU time: 31.3142 s Remaining CPU time: 148.686 s c =============================================================================== c | 18 | 700 1173 286500 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2504 c Elapsed CPU time: 31.4232 s Remaining CPU time: 148.577 s c =============================================================================== c | 18 | 700 1174 287100 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2503 c Elapsed CPU time: 31.5362 s Remaining CPU time: 148.464 s c =============================================================================== c | 18 | 700 1175 287700 | 5000 18 94 | 0.000 % | c =============================================================================== c New solution: 2502 c Elapsed CPU time: 31.6482 s Remaining CPU time: 148.352 s c =============================================================================== c | 19 | 700 1176 288300 | 5000 19 89 | 0.000 % | c =============================================================================== c New solution: 2501 c Elapsed CPU time: 31.7642 s Remaining CPU time: 148.236 s c =============================================================================== c | 19 | 700 1177 288900 | 5000 19 89 | 0.000 % | c =============================================================================== c New solution: 2500 c Elapsed CPU time: 31.8842 s Remaining CPU time: 148.116 s c =============================================================================== c | 19 | 700 1178 289500 | 5000 19 89 | 0.000 % | c =============================================================================== c New solution: 2499 c Elapsed CPU time: 32.0011 s Remaining CPU time: 147.999 s c =============================================================================== c | 19 | 700 1179 290100 | 5000 19 89 | 0.000 % | c =============================================================================== c New solution: 2498 c Elapsed CPU time: 32.1181 s Remaining CPU time: 147.882 s c =============================================================================== c | 19 | 700 1180 290700 | 5000 19 89 | 0.000 % | c =============================================================================== c New solution: 2497 c Elapsed CPU time: 32.2351 s Remaining CPU time: 147.765 s c =============================================================================== c | 19 | 700 1181 291300 | 5000 19 89 | 0.000 % | c =============================================================================== c New solution: 2496 c Elapsed CPU time: 32.3561 s Remaining CPU time: 147.644 s c =============================================================================== c | 19 | 700 1182 291900 | 5000 19 89 | 0.000 % | c =============================================================================== c New solution: 2495 c Elapsed CPU time: 32.4711 s Remaining CPU time: 147.529 s c =============================================================================== c | 19 | 700 1183 292500 | 5000 19 89 | 0.000 % | c =============================================================================== c New solution: 2494 c Elapsed CPU time: 32.592 s Remaining CPU time: 147.408 s c =============================================================================== c | 19 | 700 1184 293100 | 5000 19 89 | 0.000 % | c =============================================================================== c New solution: 2493 c Elapsed CPU time: 32.705 s Remaining CPU time: 147.295 s c =============================================================================== c | 19 | 700 1185 293700 | 5000 19 89 | 0.000 % | c =============================================================================== c New solution: 2492 c Elapsed CPU time: 32.823 s Remaining CPU time: 147.177 s c =============================================================================== c | 19 | 700 1186 294300 | 5000 19 89 | 0.000 % | c =============================================================================== c New solution: 2491 c Elapsed CPU time: 32.943 s Remaining CPU time: 147.057 s c =============================================================================== c | 19 | 700 1187 294900 | 5000 19 89 | 0.000 % | c =============================================================================== c New solution: 2490 c Elapsed CPU time: 33.061 s Remaining CPU time: 146.939 s c =============================================================================== c | 19 | 700 1188 295500 | 5000 19 89 | 0.000 % | c =============================================================================== c New solution: 2489 c Elapsed CPU time: 33.179 s Remaining CPU time: 146.821 s c =============================================================================== c | 20 | 700 1189 296100 | 5000 20 85 | 0.000 % | c =============================================================================== c New solution: 2488 c Elapsed CPU time: 33.3059 s Remaining CPU time: 146.694 s c =============================================================================== c | 20 | 700 1190 296700 | 5000 20 85 | 0.000 % | c =============================================================================== c New solution: 2487 c Elapsed CPU time: 33.4269 s Remaining CPU time: 146.573 s c =============================================================================== c | 20 | 700 1191 297300 | 5000 20 85 | 0.000 % | c =============================================================================== c New solution: 2486 c Elapsed CPU time: 33.5439 s Remaining CPU time: 146.456 s c =============================================================================== c | 20 | 700 1192 297900 | 5000 20 85 | 0.000 % | c =============================================================================== c New solution: 2485 c Elapsed CPU time: 33.6649 s Remaining CPU time: 146.335 s c =============================================================================== c | 20 | 700 1193 298500 | 5000 20 85 | 0.000 % | c =============================================================================== c New solution: 2484 c Elapsed CPU time: 33.7839 s Remaining CPU time: 146.216 s c =============================================================================== c | 20 | 700 1194 299100 | 5000 20 85 | 0.000 % | c =============================================================================== c New solution: 2483 c Elapsed CPU time: 33.9028 s Remaining CPU time: 146.097 s c =============================================================================== c | 20 | 700 1195 299700 | 5000 20 85 | 0.000 % | c =============================================================================== c New solution: 2482 c Elapsed CPU time: 34.0228 s Remaining CPU time: 145.977 s c =============================================================================== c | 20 | 700 1196 300300 | 5000 20 85 | 0.000 % | c =============================================================================== c New solution: 2481 c Elapsed CPU time: 34.1438 s Remaining CPU time: 145.856 s c =============================================================================== c | 20 | 700 1197 300900 | 5000 20 85 | 0.000 % | c =============================================================================== c New solution: 2480 c Elapsed CPU time: 34.2628 s Remaining CPU time: 145.737 s c =============================================================================== c | 20 | 700 1198 301500 | 5000 20 85 | 0.000 % | c =============================================================================== c New solution: 2479 c Elapsed CPU time: 34.3778 s Remaining CPU time: 145.622 s c =============================================================================== c | 20 | 700 1199 302100 | 5000 20 85 | 0.000 % | c =============================================================================== c New solution: 2478 c Elapsed CPU time: 34.4988 s Remaining CPU time: 145.501 s c =============================================================================== c | 20 | 700 1200 302700 | 5000 20 85 | 0.000 % | c =============================================================================== c New solution: 2477 c Elapsed CPU time: 34.6167 s Remaining CPU time: 145.383 s c =============================================================================== c | 20 | 700 1201 303300 | 5000 20 85 | 0.000 % | c =============================================================================== c New solution: 2476 c Elapsed CPU time: 34.7327 s Remaining CPU time: 145.267 s c =============================================================================== c | 20 | 700 1202 303900 | 5000 20 85 | 0.000 % | c =============================================================================== c New solution: 2475 c Elapsed CPU time: 34.8517 s Remaining CPU time: 145.148 s c =============================================================================== c | 20 | 700 1203 304500 | 5000 20 85 | 0.000 % | c =============================================================================== c New solution: 2474 c Elapsed CPU time: 34.9757 s Remaining CPU time: 145.024 s c =============================================================================== c | 20 | 700 1204 305100 | 5000 20 85 | 0.000 % | c =============================================================================== c New solution: 2473 c Elapsed CPU time: 35.0917 s Remaining CPU time: 144.908 s c =============================================================================== c | 20 | 700 1205 305700 | 5000 20 85 | 0.000 % | c =============================================================================== c New solution: 2472 c Elapsed CPU time: 35.2136 s Remaining CPU time: 144.786 s c =============================================================================== c | 20 | 700 1206 306300 | 5000 20 85 | 0.000 % | c =============================================================================== c New solution: 2471 c Elapsed CPU time: 35.3366 s Remaining CPU time: 144.663 s c =============================================================================== c | 21 | 700 1207 306900 | 5000 21 81 | 0.000 % | c =============================================================================== c New solution: 2470 c Elapsed CPU time: 35.4546 s Remaining CPU time: 144.545 s c =============================================================================== c | 21 | 700 1208 307500 | 5000 21 81 | 0.000 % | c =============================================================================== c New solution: 2469 c Elapsed CPU time: 35.5756 s Remaining CPU time: 144.424 s c =============================================================================== c | 21 | 700 1209 308100 | 5000 21 81 | 0.000 % | c =============================================================================== c New solution: 2468 c Elapsed CPU time: 35.7006 s Remaining CPU time: 144.299 s c =============================================================================== c | 21 | 700 1210 308700 | 5000 21 81 | 0.000 % | c =============================================================================== c New solution: 2467 c Elapsed CPU time: 35.8236 s Remaining CPU time: 144.176 s c =============================================================================== c | 21 | 700 1211 309300 | 5000 21 81 | 0.000 % | c =============================================================================== c New solution: 2466 c Elapsed CPU time: 35.9535 s Remaining CPU time: 144.046 s c =============================================================================== c | 21 | 700 1212 309900 | 5000 21 81 | 0.000 % | c =============================================================================== c New solution: 2465 c Elapsed CPU time: 36.0715 s Remaining CPU time: 143.928 s c =============================================================================== c | 21 | 700 1213 310500 | 5000 21 81 | 0.000 % | c =============================================================================== c New solution: 2464 c Elapsed CPU time: 36.1945 s Remaining CPU time: 143.806 s c =============================================================================== c | 21 | 700 1214 311100 | 5000 21 81 | 0.000 % | c =============================================================================== c New solution: 2463 c Elapsed CPU time: 36.3165 s Remaining CPU time: 143.684 s c =============================================================================== c | 21 | 700 1215 311700 | 5000 21 81 | 0.000 % | c =============================================================================== c New solution: 2462 c Elapsed CPU time: 36.4445 s Remaining CPU time: 143.556 s c =============================================================================== c | 21 | 700 1216 312300 | 5000 21 81 | 0.000 % | c =============================================================================== c New solution: 2461 c Elapsed CPU time: 36.5664 s Remaining CPU time: 143.434 s c =============================================================================== c | 21 | 700 1217 312900 | 5000 21 81 | 0.000 % | c =============================================================================== c New solution: 2460 c Elapsed CPU time: 36.6974 s Remaining CPU time: 143.303 s c =============================================================================== c | 21 | 700 1218 313500 | 5000 21 81 | 0.000 % | c =============================================================================== c New solution: 2459 c Elapsed CPU time: 36.8194 s Remaining CPU time: 143.181 s c =============================================================================== c | 21 | 700 1219 314100 | 5000 21 81 | 0.000 % | c =============================================================================== c New solution: 2458 c Elapsed CPU time: 36.9454 s Remaining CPU time: 143.055 s c =============================================================================== c | 22 | 700 1220 314700 | 5000 22 78 | 0.000 % | c =============================================================================== c New solution: 2457 c Elapsed CPU time: 37.0704 s Remaining CPU time: 142.93 s c =============================================================================== c | 22 | 700 1221 315300 | 5000 22 78 | 0.000 % | c =============================================================================== c New solution: 2456 c Elapsed CPU time: 37.1983 s Remaining CPU time: 142.802 s c =============================================================================== c | 22 | 700 1222 315900 | 5000 22 78 | 0.000 % | c =============================================================================== c New solution: 2455 c Elapsed CPU time: 37.3253 s Remaining CPU time: 142.675 s c =============================================================================== c | 22 | 700 1223 316500 | 5000 22 78 | 0.000 % | c =============================================================================== c New solution: 2454 c Elapsed CPU time: 37.4453 s Remaining CPU time: 142.555 s c =============================================================================== c | 22 | 700 1224 317100 | 5000 22 78 | 0.000 % | c =============================================================================== c New solution: 2453 c Elapsed CPU time: 37.5733 s Remaining CPU time: 142.427 s c =============================================================================== c | 22 | 700 1225 317700 | 5000 22 78 | 0.000 % | c =============================================================================== c New solution: 2452 c Elapsed CPU time: 37.7023 s Remaining CPU time: 142.298 s c =============================================================================== c | 22 | 700 1226 318300 | 5000 22 78 | 0.000 % | c =============================================================================== c New solution: 2451 c Elapsed CPU time: 37.8322 s Remaining CPU time: 142.168 s c =============================================================================== c | 22 | 700 1227 318900 | 5000 22 78 | 0.000 % | c =============================================================================== c New solution: 2450 c Elapsed CPU time: 37.9622 s Remaining CPU time: 142.038 s c =============================================================================== c | 22 | 700 1228 319500 | 5000 22 78 | 0.000 % | c =============================================================================== c New solution: 2449 c Elapsed CPU time: 38.0912 s Remaining CPU time: 141.909 s c =============================================================================== c | 22 | 700 1229 320100 | 5000 22 78 | 0.000 % | c =============================================================================== c New solution: 2448 c Elapsed CPU time: 38.2172 s Remaining CPU time: 141.783 s c =============================================================================== c | 22 | 700 1230 320700 | 5000 22 78 | 0.000 % | c =============================================================================== c New solution: 2447 c Elapsed CPU time: 38.3452 s Remaining CPU time: 141.655 s c =============================================================================== c | 22 | 700 1231 321300 | 5000 22 78 | 0.000 % | c =============================================================================== c New solution: 2446 c Elapsed CPU time: 38.4722 s Remaining CPU time: 141.528 s c =============================================================================== c | 22 | 700 1232 321900 | 5000 22 78 | 0.000 % | c =============================================================================== c New solution: 2445 c Elapsed CPU time: 38.5981 s Remaining CPU time: 141.402 s c =============================================================================== c | 22 | 700 1233 322500 | 5000 22 78 | 0.000 % | c =============================================================================== c New solution: 2444 c Elapsed CPU time: 38.7241 s Remaining CPU time: 141.276 s c =============================================================================== c | 22 | 700 1234 323100 | 5000 22 78 | 0.000 % | c =============================================================================== c New solution: 2443 c Elapsed CPU time: 38.8461 s Remaining CPU time: 141.154 s c =============================================================================== c | 22 | 700 1235 323700 | 5000 22 78 | 0.000 % | c =============================================================================== c New solution: 2442 c Elapsed CPU time: 38.9711 s Remaining CPU time: 141.029 s c =============================================================================== c | 22 | 700 1236 324300 | 5000 22 78 | 0.000 % | c =============================================================================== c New solution: 2441 c Elapsed CPU time: 39.1021 s Remaining CPU time: 140.898 s c =============================================================================== c | 23 | 700 1237 324900 | 5000 23 96 | 0.000 % | c =============================================================================== c New solution: 2440 c Elapsed CPU time: 39.233 s Remaining CPU time: 140.767 s c =============================================================================== c | 23 | 700 1238 325500 | 5000 23 96 | 0.000 % | c =============================================================================== c New solution: 2439 c Elapsed CPU time: 39.367 s Remaining CPU time: 140.633 s c =============================================================================== c | 23 | 700 1239 326100 | 5000 23 96 | 0.000 % | c =============================================================================== c New solution: 2438 c Elapsed CPU time: 39.491 s Remaining CPU time: 140.509 s c =============================================================================== c | 23 | 700 1240 326700 | 5000 23 96 | 0.000 % | c =============================================================================== c New solution: 2437 c Elapsed CPU time: 39.615 s Remaining CPU time: 140.385 s c =============================================================================== c | 23 | 700 1241 327300 | 5000 23 96 | 0.000 % | c =============================================================================== c New solution: 2436 c Elapsed CPU time: 39.746 s Remaining CPU time: 140.254 s c =============================================================================== c | 23 | 700 1242 327900 | 5000 23 96 | 0.000 % | c =============================================================================== c New solution: 2435 c Elapsed CPU time: 39.8769 s Remaining CPU time: 140.123 s c =============================================================================== c | 23 | 700 1243 328500 | 5000 23 96 | 0.000 % | c =============================================================================== c New solution: 2434 c Elapsed CPU time: 40.0039 s Remaining CPU time: 139.996 s c =============================================================================== c | 23 | 700 1244 329100 | 5000 23 96 | 0.000 % | c =============================================================================== c New solution: 2433 c Elapsed CPU time: 40.1329 s Remaining CPU time: 139.867 s c =============================================================================== c | 23 | 700 1245 329700 | 5000 23 96 | 0.000 % | c =============================================================================== c New solution: 2432 c Elapsed CPU time: 40.2629 s Remaining CPU time: 139.737 s c =============================================================================== c | 23 | 700 1246 330300 | 5000 23 96 | 0.000 % | c =============================================================================== c New solution: 2431 c Elapsed CPU time: 40.3869 s Remaining CPU time: 139.613 s c =============================================================================== c | 23 | 700 1247 330900 | 5000 23 96 | 0.000 % | c =============================================================================== c New solution: 2430 c Elapsed CPU time: 40.5218 s Remaining CPU time: 139.478 s c =============================================================================== c | 23 | 700 1248 331500 | 5000 23 96 | 0.000 % | c =============================================================================== c New solution: 2429 c Elapsed CPU time: 40.6548 s Remaining CPU time: 139.345 s c =============================================================================== c | 23 | 700 1249 332100 | 5000 23 96 | 0.000 % | c =============================================================================== c New solution: 2428 c Elapsed CPU time: 40.7868 s Remaining CPU time: 139.213 s c =============================================================================== c | 23 | 700 1250 332700 | 5000 23 96 | 0.000 % | c =============================================================================== c New solution: 2427 c Elapsed CPU time: 40.9138 s Remaining CPU time: 139.086 s c =============================================================================== c | 23 | 700 1251 333300 | 5000 23 96 | 0.000 % | c =============================================================================== c New solution: 2426 c Elapsed CPU time: 41.0498 s Remaining CPU time: 138.95 s c =============================================================================== c | 23 | 700 1252 333900 | 5000 23 96 | 0.000 % | c =============================================================================== c New solution: 2425 c Elapsed CPU time: 41.1927 s Remaining CPU time: 138.807 s c =============================================================================== c | 24 | 700 1253 334500 | 5000 24 92 | 0.000 % | c =============================================================================== c New solution: 2424 c Elapsed CPU time: 41.3337 s Remaining CPU time: 138.666 s c =============================================================================== c | 24 | 700 1254 335100 | 5000 24 92 | 0.000 % | c =============================================================================== c New solution: 2423 c Elapsed CPU time: 41.4587 s Remaining CPU time: 138.541 s c =============================================================================== c | 24 | 700 1255 335700 | 5000 24 92 | 0.000 % | c =============================================================================== c New solution: 2422 c Elapsed CPU time: 41.5877 s Remaining CPU time: 138.412 s c =============================================================================== c | 24 | 700 1256 336300 | 5000 24 92 | 0.000 % | c =============================================================================== c New solution: 2421 c Elapsed CPU time: 41.7257 s Remaining CPU time: 138.274 s c =============================================================================== c | 24 | 700 1257 336900 | 5000 24 92 | 0.000 % | c =============================================================================== c New solution: 2420 c Elapsed CPU time: 41.8636 s Remaining CPU time: 138.136 s c =============================================================================== c | 24 | 700 1258 337500 | 5000 24 92 | 0.000 % | c =============================================================================== c New solution: 2419 c Elapsed CPU time: 42.0066 s Remaining CPU time: 137.993 s c =============================================================================== c | 24 | 700 1259 338100 | 5000 24 92 | 0.000 % | c =============================================================================== c New solution: 2418 c Elapsed CPU time: 42.1466 s Remaining CPU time: 137.853 s c =============================================================================== c | 24 | 700 1260 338700 | 5000 24 92 | 0.000 % | c =============================================================================== c New solution: 2417 c Elapsed CPU time: 42.2816 s Remaining CPU time: 137.718 s c =============================================================================== c | 24 | 700 1261 339300 | 5000 24 92 | 0.000 % | c =============================================================================== c New solution: 2416 c Elapsed CPU time: 42.4226 s Remaining CPU time: 137.577 s c =============================================================================== c | 26 | 700 1262 339900 | 5000 26 85 | 0.000 % | c =============================================================================== c New solution: 2415 c Elapsed CPU time: 42.5615 s Remaining CPU time: 137.438 s c =============================================================================== c | 26 | 700 1263 340500 | 5000 26 85 | 0.000 % | c =============================================================================== c New solution: 2414 c Elapsed CPU time: 42.6935 s Remaining CPU time: 137.306 s c =============================================================================== c | 26 | 700 1264 341100 | 5000 26 85 | 0.000 % | c =============================================================================== c New solution: 2413 c Elapsed CPU time: 42.8255 s Remaining CPU time: 137.175 s c =============================================================================== c | 26 | 700 1265 341700 | 5000 26 85 | 0.000 % | c =============================================================================== c New solution: 2412 c Elapsed CPU time: 42.9535 s Remaining CPU time: 137.047 s c =============================================================================== c | 26 | 700 1266 342300 | 5000 26 85 | 0.000 % | c =============================================================================== c New solution: 2411 c Elapsed CPU time: 43.0904 s Remaining CPU time: 136.91 s c =============================================================================== c | 26 | 700 1267 342900 | 5000 26 85 | 0.000 % | c =============================================================================== c New solution: 2410 c Elapsed CPU time: 43.2204 s Remaining CPU time: 136.78 s c =============================================================================== c | 26 | 700 1268 343500 | 5000 26 85 | 0.000 % | c =============================================================================== c New solution: 2409 c Elapsed CPU time: 43.3644 s Remaining CPU time: 136.636 s c =============================================================================== c | 26 | 700 1269 344100 | 5000 26 85 | 0.000 % | c =============================================================================== c New solution: 2408 c Elapsed CPU time: 43.4994 s Remaining CPU time: 136.501 s c =============================================================================== c | 26 | 700 1270 344700 | 5000 26 85 | 0.000 % | c =============================================================================== c New solution: 2407 c Elapsed CPU time: 43.6304 s Remaining CPU time: 136.37 s c =============================================================================== c | 27 | 700 1271 345300 | 5000 27 83 | 0.000 % | c =============================================================================== c New solution: 2406 c Elapsed CPU time: 43.7743 s Remaining CPU time: 136.226 s c =============================================================================== c | 28 | 700 1272 345900 | 5000 28 80 | 0.000 % | c =============================================================================== c New solution: 2405 c Elapsed CPU time: 43.9163 s Remaining CPU time: 136.084 s c =============================================================================== c | 28 | 700 1273 346500 | 5000 28 80 | 0.000 % | c =============================================================================== c New solution: 2404 c Elapsed CPU time: 44.0503 s Remaining CPU time: 135.95 s c =============================================================================== c | 28 | 700 1274 347100 | 5000 28 80 | 0.000 % | c =============================================================================== c New solution: 2403 c Elapsed CPU time: 44.1863 s Remaining CPU time: 135.814 s c =============================================================================== c | 28 | 700 1275 347700 | 5000 28 80 | 0.000 % | c =============================================================================== c New solution: 2402 c Elapsed CPU time: 44.3233 s Remaining CPU time: 135.677 s c =============================================================================== c | 29 | 700 1276 348300 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2401 c Elapsed CPU time: 44.4632 s Remaining CPU time: 135.537 s c =============================================================================== c | 29 | 700 1277 348900 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2400 c Elapsed CPU time: 44.5922 s Remaining CPU time: 135.408 s c =============================================================================== c | 29 | 700 1278 349500 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2399 c Elapsed CPU time: 44.7232 s Remaining CPU time: 135.277 s c =============================================================================== c | 29 | 700 1279 350100 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2398 c Elapsed CPU time: 44.8682 s Remaining CPU time: 135.132 s c =============================================================================== c | 29 | 700 1280 350700 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2397 c Elapsed CPU time: 45.0032 s Remaining CPU time: 134.997 s c =============================================================================== c | 29 | 700 1281 351300 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2396 c Elapsed CPU time: 45.1451 s Remaining CPU time: 134.855 s c =============================================================================== c | 29 | 700 1282 351900 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2395 c Elapsed CPU time: 45.2751 s Remaining CPU time: 134.725 s c =============================================================================== c | 29 | 700 1283 352500 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2394 c Elapsed CPU time: 45.4071 s Remaining CPU time: 134.593 s c =============================================================================== c | 29 | 700 1284 353100 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2393 c Elapsed CPU time: 45.5411 s Remaining CPU time: 134.459 s c =============================================================================== c | 29 | 700 1285 353700 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2392 c Elapsed CPU time: 45.6871 s Remaining CPU time: 134.313 s c =============================================================================== c | 29 | 700 1286 354300 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2391 c Elapsed CPU time: 45.827 s Remaining CPU time: 134.173 s c =============================================================================== c | 29 | 700 1287 354900 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2390 c Elapsed CPU time: 45.957 s Remaining CPU time: 134.043 s c =============================================================================== c | 29 | 700 1288 355500 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2389 c Elapsed CPU time: 46.095 s Remaining CPU time: 133.905 s c =============================================================================== c | 29 | 700 1289 356100 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2388 c Elapsed CPU time: 46.242 s Remaining CPU time: 133.758 s c =============================================================================== c | 29 | 700 1290 356700 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2387 c Elapsed CPU time: 46.3899 s Remaining CPU time: 133.61 s c =============================================================================== c | 29 | 700 1291 357300 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2386 c Elapsed CPU time: 46.5289 s Remaining CPU time: 133.471 s c =============================================================================== c | 29 | 700 1292 357900 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2385 c Elapsed CPU time: 46.6749 s Remaining CPU time: 133.325 s c =============================================================================== c | 29 | 700 1293 358500 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2384 c Elapsed CPU time: 46.8099 s Remaining CPU time: 133.19 s c =============================================================================== c | 29 | 700 1294 359100 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2383 c Elapsed CPU time: 46.9599 s Remaining CPU time: 133.04 s c =============================================================================== c | 29 | 700 1295 359700 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2382 c Elapsed CPU time: 47.1018 s Remaining CPU time: 132.898 s c =============================================================================== c | 29 | 700 1296 360300 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2381 c Elapsed CPU time: 47.2488 s Remaining CPU time: 132.751 s c =============================================================================== c | 29 | 700 1297 360900 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2380 c Elapsed CPU time: 47.3898 s Remaining CPU time: 132.61 s c =============================================================================== c | 29 | 700 1298 361500 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2379 c Elapsed CPU time: 47.5308 s Remaining CPU time: 132.469 s c =============================================================================== c | 29 | 700 1299 362100 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2378 c Elapsed CPU time: 47.6728 s Remaining CPU time: 132.327 s c =============================================================================== c | 29 | 700 1300 362700 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2377 c Elapsed CPU time: 47.8187 s Remaining CPU time: 132.181 s c =============================================================================== c | 29 | 700 1301 363300 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2376 c Elapsed CPU time: 47.9537 s Remaining CPU time: 132.046 s c =============================================================================== c | 29 | 700 1302 363900 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2375 c Elapsed CPU time: 48.1017 s Remaining CPU time: 131.898 s c =============================================================================== c | 29 | 700 1303 364500 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2374 c Elapsed CPU time: 48.2527 s Remaining CPU time: 131.747 s c =============================================================================== c | 29 | 700 1304 365100 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2373 c Elapsed CPU time: 48.3976 s Remaining CPU time: 131.602 s c =============================================================================== c | 29 | 700 1305 365700 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2372 c Elapsed CPU time: 48.5436 s Remaining CPU time: 131.456 s c =============================================================================== c | 29 | 700 1306 366300 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2371 c Elapsed CPU time: 48.6936 s Remaining CPU time: 131.306 s c =============================================================================== c | 29 | 700 1307 366900 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2370 c Elapsed CPU time: 48.8286 s Remaining CPU time: 131.171 s c =============================================================================== c | 29 | 700 1308 367500 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2369 c Elapsed CPU time: 48.9766 s Remaining CPU time: 131.023 s c =============================================================================== c | 29 | 700 1309 368100 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2368 c Elapsed CPU time: 49.1295 s Remaining CPU time: 130.87 s c =============================================================================== c | 29 | 700 1310 368700 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2367 c Elapsed CPU time: 49.2795 s Remaining CPU time: 130.72 s c =============================================================================== c | 29 | 700 1311 369300 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2366 c Elapsed CPU time: 49.4295 s Remaining CPU time: 130.571 s c =============================================================================== c | 29 | 700 1312 369900 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2365 c Elapsed CPU time: 49.5715 s Remaining CPU time: 130.429 s c =============================================================================== c | 29 | 700 1313 370500 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2364 c Elapsed CPU time: 49.7124 s Remaining CPU time: 130.288 s c =============================================================================== c | 29 | 700 1314 371100 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2363 c Elapsed CPU time: 49.8604 s Remaining CPU time: 130.14 s c =============================================================================== c | 29 | 700 1315 371700 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2362 c Elapsed CPU time: 50.0074 s Remaining CPU time: 129.993 s c =============================================================================== c | 29 | 700 1316 372300 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2361 c Elapsed CPU time: 50.1474 s Remaining CPU time: 129.853 s c =============================================================================== c | 29 | 700 1317 372900 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2360 c Elapsed CPU time: 50.2974 s Remaining CPU time: 129.703 s c =============================================================================== c | 29 | 700 1318 373500 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2359 c Elapsed CPU time: 50.4403 s Remaining CPU time: 129.56 s c =============================================================================== c | 29 | 700 1319 374100 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2358 c Elapsed CPU time: 50.5893 s Remaining CPU time: 129.411 s c =============================================================================== c | 29 | 700 1320 374700 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2357 c Elapsed CPU time: 50.7343 s Remaining CPU time: 129.266 s c =============================================================================== c | 29 | 700 1321 375300 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2356 c Elapsed CPU time: 50.8883 s Remaining CPU time: 129.112 s c =============================================================================== c | 29 | 700 1322 375900 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2355 c Elapsed CPU time: 51.0392 s Remaining CPU time: 128.961 s c =============================================================================== c | 29 | 700 1323 376500 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2354 c Elapsed CPU time: 51.1842 s Remaining CPU time: 128.816 s c =============================================================================== c | 29 | 700 1324 377100 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2353 c Elapsed CPU time: 51.3362 s Remaining CPU time: 128.664 s c =============================================================================== c | 29 | 700 1325 377700 | 5000 29 94 | 0.000 % | c =============================================================================== c New solution: 2352 c Elapsed CPU time: 51.5072 s Remaining CPU time: 128.493 s c =============================================================================== c | 32 | 700 1326 378300 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2351 c Elapsed CPU time: 51.6571 s Remaining CPU time: 128.343 s c =============================================================================== c | 32 | 700 1327 378900 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2350 c Elapsed CPU time: 51.8121 s Remaining CPU time: 128.188 s c =============================================================================== c | 32 | 700 1328 379500 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2349 c Elapsed CPU time: 51.9621 s Remaining CPU time: 128.038 s c =============================================================================== c | 32 | 700 1329 380100 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2348 c Elapsed CPU time: 52.1211 s Remaining CPU time: 127.879 s c =============================================================================== c | 32 | 700 1330 380700 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2347 c Elapsed CPU time: 52.2651 s Remaining CPU time: 127.735 s c =============================================================================== c | 32 | 700 1331 381300 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2346 c Elapsed CPU time: 52.418 s Remaining CPU time: 127.582 s c =============================================================================== c | 32 | 700 1332 381900 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2345 c Elapsed CPU time: 52.564 s Remaining CPU time: 127.436 s c =============================================================================== c | 32 | 700 1333 382500 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2344 c Elapsed CPU time: 52.712 s Remaining CPU time: 127.288 s c =============================================================================== c | 32 | 700 1334 383100 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2343 c Elapsed CPU time: 52.864 s Remaining CPU time: 127.136 s c =============================================================================== c | 32 | 700 1335 383700 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2342 c Elapsed CPU time: 53.0089 s Remaining CPU time: 126.991 s c =============================================================================== c | 32 | 700 1336 384300 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2341 c Elapsed CPU time: 53.1619 s Remaining CPU time: 126.838 s c =============================================================================== c | 32 | 700 1337 384900 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2340 c Elapsed CPU time: 53.3159 s Remaining CPU time: 126.684 s c =============================================================================== c | 32 | 700 1338 385500 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2339 c Elapsed CPU time: 53.4729 s Remaining CPU time: 126.527 s c =============================================================================== c | 32 | 700 1339 386100 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2338 c Elapsed CPU time: 53.6278 s Remaining CPU time: 126.372 s c =============================================================================== c | 32 | 700 1340 386700 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2337 c Elapsed CPU time: 53.7808 s Remaining CPU time: 126.219 s c =============================================================================== c | 32 | 700 1341 387300 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2336 c Elapsed CPU time: 53.9348 s Remaining CPU time: 126.065 s c =============================================================================== c | 32 | 700 1342 387900 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2335 c Elapsed CPU time: 54.0758 s Remaining CPU time: 125.924 s c =============================================================================== c | 32 | 700 1343 388500 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2334 c Elapsed CPU time: 54.2248 s Remaining CPU time: 125.775 s c =============================================================================== c | 32 | 700 1344 389100 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2333 c Elapsed CPU time: 54.3907 s Remaining CPU time: 125.609 s c =============================================================================== c | 33 | 700 1345 389700 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 2332 c Elapsed CPU time: 54.5387 s Remaining CPU time: 125.461 s c =============================================================================== c | 33 | 700 1346 390300 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 2331 c Elapsed CPU time: 54.6847 s Remaining CPU time: 125.315 s c =============================================================================== c | 33 | 700 1347 390900 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 2330 c Elapsed CPU time: 54.8427 s Remaining CPU time: 125.157 s c =============================================================================== c | 33 | 700 1348 391500 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 2329 c Elapsed CPU time: 55.0056 s Remaining CPU time: 124.994 s c =============================================================================== c | 33 | 700 1349 392100 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 2328 c Elapsed CPU time: 55.1626 s Remaining CPU time: 124.837 s c =============================================================================== c | 33 | 700 1350 392700 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 2327 c Elapsed CPU time: 55.3256 s Remaining CPU time: 124.674 s c =============================================================================== c | 33 | 700 1351 393300 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 2326 c Elapsed CPU time: 55.4856 s Remaining CPU time: 124.514 s c =============================================================================== c | 33 | 700 1352 393900 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 2325 c Elapsed CPU time: 55.6405 s Remaining CPU time: 124.359 s c =============================================================================== c | 33 | 700 1353 394500 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 2324 c Elapsed CPU time: 55.7915 s Remaining CPU time: 124.208 s c =============================================================================== c | 33 | 700 1354 395100 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 2323 c Elapsed CPU time: 55.9445 s Remaining CPU time: 124.056 s c =============================================================================== c | 33 | 700 1355 395700 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 2322 c Elapsed CPU time: 56.1015 s Remaining CPU time: 123.899 s c =============================================================================== c | 33 | 700 1356 396300 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 2321 c Elapsed CPU time: 56.2594 s Remaining CPU time: 123.741 s c =============================================================================== c | 33 | 700 1357 396900 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 2320 c Elapsed CPU time: 56.4114 s Remaining CPU time: 123.589 s c =============================================================================== c | 33 | 700 1358 397500 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 2319 c Elapsed CPU time: 56.5604 s Remaining CPU time: 123.44 s c =============================================================================== c | 33 | 700 1359 398100 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 2318 c Elapsed CPU time: 56.7154 s Remaining CPU time: 123.285 s c =============================================================================== c | 33 | 700 1360 398700 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 2317 c Elapsed CPU time: 56.8674 s Remaining CPU time: 123.133 s c =============================================================================== c | 33 | 700 1361 399300 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 2316 c Elapsed CPU time: 57.0213 s Remaining CPU time: 122.979 s c =============================================================================== c | 33 | 700 1362 399900 | 5000 33 97 | 0.000 % | c =============================================================================== c New solution: 2315 c Elapsed CPU time: 57.1883 s Remaining CPU time: 122.812 s c =============================================================================== c | 34 | 700 1363 400500 | 5000 34 108 | 0.000 % | c =============================================================================== c New solution: 2314 c Elapsed CPU time: 57.3453 s Remaining CPU time: 122.655 s c =============================================================================== c | 34 | 700 1364 401100 | 5000 34 108 | 0.000 % | c =============================================================================== c New solution: 2313 c Elapsed CPU time: 57.4983 s Remaining CPU time: 122.502 s c =============================================================================== c | 34 | 700 1365 401700 | 5000 34 108 | 0.000 % | c =============================================================================== c New solution: 2312 c Elapsed CPU time: 57.6512 s Remaining CPU time: 122.349 s c =============================================================================== c | 34 | 700 1366 402300 | 5000 34 108 | 0.000 % | c =============================================================================== c New solution: 2311 c Elapsed CPU time: 57.8012 s Remaining CPU time: 122.199 s c =============================================================================== c | 34 | 700 1367 402900 | 5000 34 108 | 0.000 % | c =============================================================================== c New solution: 2310 c Elapsed CPU time: 57.9522 s Remaining CPU time: 122.048 s c =============================================================================== c | 34 | 700 1368 403500 | 5000 34 108 | 0.000 % | c =============================================================================== c New solution: 2309 c Elapsed CPU time: 58.1092 s Remaining CPU time: 121.891 s c =============================================================================== c | 34 | 700 1369 404100 | 5000 34 108 | 0.000 % | c =============================================================================== c New solution: 2308 c Elapsed CPU time: 58.2691 s Remaining CPU time: 121.731 s c =============================================================================== c | 34 | 700 1370 404700 | 5000 34 108 | 0.000 % | c =============================================================================== c New solution: 2307 c Elapsed CPU time: 58.4311 s Remaining CPU time: 121.569 s c =============================================================================== c | 34 | 700 1371 405300 | 5000 34 108 | 0.000 % | c =============================================================================== c New solution: 2306 c Elapsed CPU time: 58.5841 s Remaining CPU time: 121.416 s c =============================================================================== c | 34 | 700 1372 405900 | 5000 34 108 | 0.000 % | c =============================================================================== c New solution: 2305 c Elapsed CPU time: 58.7351 s Remaining CPU time: 121.265 s c =============================================================================== c | 35 | 700 1373 406500 | 5000 35 105 | 0.000 % | c =============================================================================== c New solution: 2304 c Elapsed CPU time: 58.883 s Remaining CPU time: 121.117 s c =============================================================================== c | 36 | 700 1374 407100 | 5000 36 102 | 0.000 % | c =============================================================================== c New solution: 2303 c Elapsed CPU time: 59.033 s Remaining CPU time: 120.967 s c =============================================================================== c | 36 | 700 1375 407700 | 5000 36 102 | 0.000 % | c =============================================================================== c New solution: 2302 c Elapsed CPU time: 59.184 s Remaining CPU time: 120.816 s c =============================================================================== c | 36 | 700 1376 408300 | 5000 36 102 | 0.000 % | c =============================================================================== c New solution: 2301 c Elapsed CPU time: 59.351 s Remaining CPU time: 120.649 s c =============================================================================== c | 36 | 700 1377 408900 | 5000 36 102 | 0.000 % | c =============================================================================== c New solution: 2300 c Elapsed CPU time: 59.5 s Remaining CPU time: 120.5 s c =============================================================================== c | 36 | 700 1378 409500 | 5000 36 102 | 0.000 % | c =============================================================================== c New solution: 2299 c Elapsed CPU time: 59.6579 s Remaining CPU time: 120.342 s c =============================================================================== c | 37 | 700 1379 410100 | 5000 37 100 | 0.000 % | c =============================================================================== c New solution: 2298 c Elapsed CPU time: 59.8209 s Remaining CPU time: 120.179 s c =============================================================================== c | 37 | 700 1380 410700 | 5000 37 100 | 0.000 % | c =============================================================================== c New solution: 2297 c Elapsed CPU time: 59.9739 s Remaining CPU time: 120.026 s c =============================================================================== c | 37 | 700 1381 411300 | 5000 37 100 | 0.000 % | c =============================================================================== c New solution: 2296 c Elapsed CPU time: 60.1339 s Remaining CPU time: 119.866 s c =============================================================================== c | 37 | 700 1382 411900 | 5000 37 100 | 0.000 % | c =============================================================================== c New solution: 2295 c Elapsed CPU time: 60.2938 s Remaining CPU time: 119.706 s c =============================================================================== c | 37 | 700 1383 412500 | 5000 37 100 | 0.000 % | c =============================================================================== c New solution: 2294 c Elapsed CPU time: 60.4538 s Remaining CPU time: 119.546 s c =============================================================================== c | 37 | 700 1384 413100 | 5000 37 100 | 0.000 % | c =============================================================================== c New solution: 2293 c Elapsed CPU time: 60.6128 s Remaining CPU time: 119.387 s c =============================================================================== c | 37 | 700 1385 413700 | 5000 37 100 | 0.000 % | c =============================================================================== c New solution: 2292 c Elapsed CPU time: 60.7668 s Remaining CPU time: 119.233 s c =============================================================================== c | 37 | 700 1386 414300 | 5000 37 100 | 0.000 % | c =============================================================================== c New solution: 2291 c Elapsed CPU time: 60.9237 s Remaining CPU time: 119.076 s c =============================================================================== c | 37 | 700 1387 414900 | 5000 37 100 | 0.000 % | c =============================================================================== c New solution: 2290 c Elapsed CPU time: 61.0917 s Remaining CPU time: 118.908 s c =============================================================================== c | 37 | 700 1388 415500 | 5000 37 100 | 0.000 % | c =============================================================================== c New solution: 2289 c Elapsed CPU time: 61.2517 s Remaining CPU time: 118.748 s c =============================================================================== c | 37 | 700 1389 416100 | 5000 37 100 | 0.000 % | c =============================================================================== c New solution: 2288 c Elapsed CPU time: 61.4107 s Remaining CPU time: 118.589 s c =============================================================================== c | 37 | 700 1390 416700 | 5000 37 100 | 0.000 % | c =============================================================================== c New solution: 2287 c Elapsed CPU time: 61.5606 s Remaining CPU time: 118.439 s c =============================================================================== c | 37 | 700 1391 417300 | 5000 37 100 | 0.000 % | c =============================================================================== c New solution: 2286 c Elapsed CPU time: 61.7216 s Remaining CPU time: 118.278 s c =============================================================================== c | 38 | 700 1392 417900 | 5000 38 98 | 0.000 % | c =============================================================================== c New solution: 2285 c Elapsed CPU time: 61.8846 s Remaining CPU time: 118.115 s c =============================================================================== c | 38 | 700 1393 418500 | 5000 38 98 | 0.000 % | c =============================================================================== c New solution: 2284 c Elapsed CPU time: 62.0496 s Remaining CPU time: 117.95 s c =============================================================================== c | 38 | 700 1394 419100 | 5000 38 98 | 0.000 % | c =============================================================================== c New solution: 2283 c Elapsed CPU time: 62.2175 s Remaining CPU time: 117.782 s c =============================================================================== c | 38 | 700 1395 419700 | 5000 38 98 | 0.000 % | c =============================================================================== c New solution: 2282 c Elapsed CPU time: 62.3845 s Remaining CPU time: 117.615 s c =============================================================================== c | 38 | 700 1396 420300 | 5000 38 98 | 0.000 % | c =============================================================================== c New solution: 2281 c Elapsed CPU time: 62.5485 s Remaining CPU time: 117.452 s c =============================================================================== c | 38 | 700 1397 420900 | 5000 38 98 | 0.000 % | c =============================================================================== c New solution: 2280 c Elapsed CPU time: 62.7125 s Remaining CPU time: 117.288 s c =============================================================================== c | 38 | 700 1398 421500 | 5000 38 98 | 0.000 % | c =============================================================================== c New solution: 2279 c Elapsed CPU time: 62.8704 s Remaining CPU time: 117.13 s c =============================================================================== c | 38 | 700 1399 422100 | 5000 38 98 | 0.000 % | c =============================================================================== c New solution: 2278 c Elapsed CPU time: 63.0374 s Remaining CPU time: 116.963 s c =============================================================================== c | 38 | 700 1400 422700 | 5000 38 98 | 0.000 % | c =============================================================================== c New solution: 2277 c Elapsed CPU time: 63.2014 s Remaining CPU time: 116.799 s c =============================================================================== c | 39 | 700 1401 423300 | 5000 39 96 | 0.000 % | c =============================================================================== c New solution: 2276 c Elapsed CPU time: 63.3664 s Remaining CPU time: 116.634 s c =============================================================================== c | 39 | 700 1402 423900 | 5000 39 96 | 0.000 % | c =============================================================================== c New solution: 2275 c Elapsed CPU time: 63.5353 s Remaining CPU time: 116.465 s c =============================================================================== c | 39 | 700 1403 424500 | 5000 39 96 | 0.000 % | c =============================================================================== c New solution: 2274 c Elapsed CPU time: 63.6943 s Remaining CPU time: 116.306 s c =============================================================================== c | 39 | 700 1404 425100 | 5000 39 96 | 0.000 % | c =============================================================================== c New solution: 2273 c Elapsed CPU time: 63.8643 s Remaining CPU time: 116.136 s c =============================================================================== c | 39 | 700 1405 425700 | 5000 39 96 | 0.000 % | c =============================================================================== c New solution: 2272 c Elapsed CPU time: 64.0213 s Remaining CPU time: 115.979 s c =============================================================================== c | 39 | 700 1406 426300 | 5000 39 96 | 0.000 % | c =============================================================================== c New solution: 2271 c Elapsed CPU time: 64.1902 s Remaining CPU time: 115.81 s c =============================================================================== c | 39 | 700 1407 426900 | 5000 39 96 | 0.000 % | c =============================================================================== c New solution: 2270 c Elapsed CPU time: 64.3462 s Remaining CPU time: 115.654 s c =============================================================================== c | 39 | 700 1408 427500 | 5000 39 96 | 0.000 % | c =============================================================================== c New solution: 2269 c Elapsed CPU time: 64.5002 s Remaining CPU time: 115.5 s c =============================================================================== c | 39 | 700 1409 428100 | 5000 39 96 | 0.000 % | c =============================================================================== c New solution: 2268 c Elapsed CPU time: 64.6622 s Remaining CPU time: 115.338 s c =============================================================================== c | 39 | 700 1410 428700 | 5000 39 96 | 0.000 % | c =============================================================================== c New solution: 2267 c Elapsed CPU time: 64.8281 s Remaining CPU time: 115.172 s c =============================================================================== c | 39 | 700 1411 429300 | 5000 39 96 | 0.000 % | c =============================================================================== c New solution: 2266 c Elapsed CPU time: 64.9851 s Remaining CPU time: 115.015 s c =============================================================================== c | 39 | 700 1412 429900 | 5000 39 96 | 0.000 % | c =============================================================================== c New solution: 2265 c Elapsed CPU time: 65.1481 s Remaining CPU time: 114.852 s c =============================================================================== c | 39 | 700 1413 430500 | 5000 39 96 | 0.000 % | c =============================================================================== c New solution: 2264 c Elapsed CPU time: 65.3141 s Remaining CPU time: 114.686 s c =============================================================================== c | 39 | 700 1414 431100 | 5000 39 96 | 0.000 % | c =============================================================================== c New solution: 2263 c Elapsed CPU time: 65.473 s Remaining CPU time: 114.527 s c =============================================================================== c | 39 | 700 1415 431700 | 5000 39 96 | 0.000 % | c =============================================================================== c New solution: 2262 c Elapsed CPU time: 65.635 s Remaining CPU time: 114.365 s c =============================================================================== c | 40 | 700 1416 432300 | 5000 40 94 | 0.000 % | c =============================================================================== c New solution: 2261 c Elapsed CPU time: 65.794 s Remaining CPU time: 114.206 s c =============================================================================== c | 40 | 700 1417 432900 | 5000 40 94 | 0.000 % | c =============================================================================== c New solution: 2260 c Elapsed CPU time: 65.967 s Remaining CPU time: 114.033 s c =============================================================================== c | 40 | 700 1418 433500 | 5000 40 94 | 0.000 % | c =============================================================================== c New solution: 2259 c Elapsed CPU time: 66.1329 s Remaining CPU time: 113.867 s c =============================================================================== c | 40 | 700 1419 434100 | 5000 40 94 | 0.000 % | c =============================================================================== c New solution: 2258 c Elapsed CPU time: 66.3099 s Remaining CPU time: 113.69 s c =============================================================================== c | 40 | 700 1420 434700 | 5000 40 94 | 0.000 % | c =============================================================================== c New solution: 2257 c Elapsed CPU time: 66.4749 s Remaining CPU time: 113.525 s c =============================================================================== c | 40 | 700 1421 435300 | 5000 40 94 | 0.000 % | c =============================================================================== c New solution: 2256 c Elapsed CPU time: 66.6379 s Remaining CPU time: 113.362 s c =============================================================================== c | 40 | 700 1422 435900 | 5000 40 94 | 0.000 % | c =============================================================================== c New solution: 2255 c Elapsed CPU time: 66.7938 s Remaining CPU time: 113.206 s c =============================================================================== c | 40 | 700 1423 436500 | 5000 40 94 | 0.000 % | c =============================================================================== c New solution: 2254 c Elapsed CPU time: 66.9588 s Remaining CPU time: 113.041 s c =============================================================================== c | 40 | 700 1424 437100 | 5000 40 94 | 0.000 % | c =============================================================================== c New solution: 2253 c Elapsed CPU time: 67.1178 s Remaining CPU time: 112.882 s c =============================================================================== c | 41 | 700 1425 437700 | 5000 41 92 | 0.000 % | c =============================================================================== c New solution: 2252 c Elapsed CPU time: 67.2868 s Remaining CPU time: 112.713 s c =============================================================================== c | 42 | 700 1426 438300 | 5000 42 90 | 0.000 % | c =============================================================================== c New solution: 2251 c Elapsed CPU time: 67.4497 s Remaining CPU time: 112.55 s c =============================================================================== c | 43 | 700 1427 438900 | 5000 43 88 | 0.000 % | c =============================================================================== c New solution: 2250 c Elapsed CPU time: 67.6277 s Remaining CPU time: 112.372 s c =============================================================================== c | 43 | 700 1428 439500 | 5000 43 88 | 0.000 % | c =============================================================================== c New solution: 2249 c Elapsed CPU time: 67.7867 s Remaining CPU time: 112.213 s c =============================================================================== c | 43 | 700 1429 440100 | 5000 43 88 | 0.000 % | c =============================================================================== c New solution: 2248 c Elapsed CPU time: 67.9547 s Remaining CPU time: 112.045 s c =============================================================================== c | 43 | 700 1430 440700 | 5000 43 88 | 0.000 % | c =============================================================================== c New solution: 2247 c Elapsed CPU time: 68.1206 s Remaining CPU time: 111.879 s c =============================================================================== c | 43 | 700 1431 441300 | 5000 43 88 | 0.000 % | c =============================================================================== c New solution: 2246 c Elapsed CPU time: 68.2926 s Remaining CPU time: 111.707 s c =============================================================================== c | 44 | 700 1432 441900 | 5000 44 86 | 0.000 % | c =============================================================================== c New solution: 2245 c Elapsed CPU time: 68.4686 s Remaining CPU time: 111.531 s c =============================================================================== c | 44 | 700 1433 442500 | 5000 44 86 | 0.000 % | c =============================================================================== c New solution: 2244 c Elapsed CPU time: 68.6316 s Remaining CPU time: 111.368 s c =============================================================================== c | 44 | 700 1434 443100 | 5000 44 86 | 0.000 % | c =============================================================================== c New solution: 2243 c Elapsed CPU time: 68.7905 s Remaining CPU time: 111.209 s c =============================================================================== c | 44 | 700 1435 443700 | 5000 44 86 | 0.000 % | c =============================================================================== c New solution: 2242 c Elapsed CPU time: 68.9575 s Remaining CPU time: 111.042 s c =============================================================================== c | 44 | 700 1436 444300 | 5000 44 86 | 0.000 % | c =============================================================================== c New solution: 2241 c Elapsed CPU time: 69.1285 s Remaining CPU time: 110.872 s c =============================================================================== c | 44 | 700 1437 444900 | 5000 44 86 | 0.000 % | c =============================================================================== c New solution: 2240 c Elapsed CPU time: 69.3225 s Remaining CPU time: 110.678 s c =============================================================================== c | 45 | 700 1438 445500 | 5000 45 84 | 0.000 % | c =============================================================================== c New solution: 2239 c Elapsed CPU time: 69.4964 s Remaining CPU time: 110.504 s c =============================================================================== c | 45 | 700 1439 446100 | 5000 45 84 | 0.000 % | c =============================================================================== c New solution: 2238 c Elapsed CPU time: 69.6794 s Remaining CPU time: 110.321 s c =============================================================================== c | 45 | 700 1440 446700 | 5000 45 84 | 0.000 % | c =============================================================================== c New solution: 2237 c Elapsed CPU time: 69.8574 s Remaining CPU time: 110.143 s c =============================================================================== c | 45 | 700 1441 447300 | 5000 45 84 | 0.000 % | c =============================================================================== c New solution: 2236 c Elapsed CPU time: 70.0394 s Remaining CPU time: 109.961 s c =============================================================================== c | 46 | 700 1442 447900 | 5000 46 92 | 0.000 % | c =============================================================================== c New solution: 2235 c Elapsed CPU time: 70.2103 s Remaining CPU time: 109.79 s c =============================================================================== c | 46 | 700 1443 448500 | 5000 46 92 | 0.000 % | c =============================================================================== c New solution: 2234 c Elapsed CPU time: 70.3883 s Remaining CPU time: 109.612 s c =============================================================================== c | 46 | 700 1444 449100 | 5000 46 92 | 0.000 % | c =============================================================================== c New solution: 2233 c Elapsed CPU time: 70.5683 s Remaining CPU time: 109.432 s c =============================================================================== c | 46 | 700 1445 449700 | 5000 46 92 | 0.000 % | c =============================================================================== c New solution: 2232 c Elapsed CPU time: 70.7292 s Remaining CPU time: 109.271 s c =============================================================================== c | 46 | 700 1446 450300 | 5000 46 92 | 0.000 % | c =============================================================================== c New solution: 2231 c Elapsed CPU time: 70.9062 s Remaining CPU time: 109.094 s c =============================================================================== c | 46 | 700 1447 450900 | 5000 46 92 | 0.000 % | c =============================================================================== c New solution: 2230 c Elapsed CPU time: 71.0942 s Remaining CPU time: 108.906 s c =============================================================================== c | 46 | 700 1448 451500 | 5000 46 92 | 0.000 % | c =============================================================================== c New solution: 2229 c Elapsed CPU time: 71.2622 s Remaining CPU time: 108.738 s c =============================================================================== c | 46 | 700 1449 452100 | 5000 46 92 | 0.000 % | c =============================================================================== c New solution: 2228 c Elapsed CPU time: 71.4341 s Remaining CPU time: 108.566 s c =============================================================================== c | 46 | 700 1450 452700 | 5000 46 92 | 0.000 % | c =============================================================================== c New solution: 2227 c Elapsed CPU time: 71.6101 s Remaining CPU time: 108.39 s c =============================================================================== c | 46 | 700 1451 453300 | 5000 46 92 | 0.000 % | c =============================================================================== c New solution: 2226 c Elapsed CPU time: 71.7861 s Remaining CPU time: 108.214 s c =============================================================================== c | 46 | 700 1452 453900 | 5000 46 92 | 0.000 % | c =============================================================================== c New solution: 2225 c Elapsed CPU time: 71.9641 s Remaining CPU time: 108.036 s c =============================================================================== c | 46 | 700 1453 454500 | 5000 46 92 | 0.000 % | c =============================================================================== c New solution: 2224 c Elapsed CPU time: 72.146 s Remaining CPU time: 107.854 s c =============================================================================== c | 46 | 700 1454 455100 | 5000 46 92 | 0.000 % | c =============================================================================== c New solution: 2223 c Elapsed CPU time: 72.328 s Remaining CPU time: 107.672 s c =============================================================================== c | 46 | 700 1455 455700 | 5000 46 92 | 0.000 % | c =============================================================================== c New solution: 2222 c Elapsed CPU time: 72.489 s Remaining CPU time: 107.511 s c =============================================================================== c | 47 | 700 1456 456300 | 5000 47 90 | 0.000 % | c =============================================================================== c New solution: 2221 c Elapsed CPU time: 72.671 s Remaining CPU time: 107.329 s c =============================================================================== c | 47 | 700 1457 456900 | 5000 47 90 | 0.000 % | c =============================================================================== c New solution: 2220 c Elapsed CPU time: 72.8529 s Remaining CPU time: 107.147 s c =============================================================================== c | 47 | 700 1458 457500 | 5000 47 90 | 0.000 % | c =============================================================================== c New solution: 2219 c Elapsed CPU time: 73.0359 s Remaining CPU time: 106.964 s c =============================================================================== c | 49 | 700 1459 458100 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2218 c Elapsed CPU time: 73.2129 s Remaining CPU time: 106.787 s c =============================================================================== c | 49 | 700 1460 458700 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2217 c Elapsed CPU time: 73.3818 s Remaining CPU time: 106.618 s c =============================================================================== c | 49 | 700 1461 459300 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2216 c Elapsed CPU time: 73.5678 s Remaining CPU time: 106.432 s c =============================================================================== c | 49 | 700 1462 459900 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2215 c Elapsed CPU time: 73.7488 s Remaining CPU time: 106.251 s c =============================================================================== c | 49 | 700 1463 460500 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2214 c Elapsed CPU time: 73.9248 s Remaining CPU time: 106.075 s c =============================================================================== c | 49 | 700 1464 461100 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2213 c Elapsed CPU time: 74.0927 s Remaining CPU time: 105.907 s c =============================================================================== c | 49 | 700 1465 461700 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2212 c Elapsed CPU time: 74.2657 s Remaining CPU time: 105.734 s c =============================================================================== c | 49 | 700 1466 462300 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2211 c Elapsed CPU time: 74.4527 s Remaining CPU time: 105.547 s c =============================================================================== c | 51 | 700 1467 462900 | 5000 51 102 | 0.000 % | c =============================================================================== c New solution: 2210 c Elapsed CPU time: 74.6197 s Remaining CPU time: 105.38 s c =============================================================================== c | 51 | 700 1468 463500 | 5000 51 102 | 0.000 % | c =============================================================================== c New solution: 2209 c Elapsed CPU time: 74.8106 s Remaining CPU time: 105.189 s c =============================================================================== c | 51 | 700 1469 464100 | 5000 51 102 | 0.000 % | c =============================================================================== c New solution: 2208 c Elapsed CPU time: 74.9876 s Remaining CPU time: 105.012 s c =============================================================================== c | 51 | 700 1470 464700 | 5000 51 102 | 0.000 % | c =============================================================================== c New solution: 2207 c Elapsed CPU time: 75.1836 s Remaining CPU time: 104.816 s c =============================================================================== c | 52 | 700 1471 465300 | 5000 52 100 | 0.000 % | c =============================================================================== c New solution: 2206 c Elapsed CPU time: 75.3635 s Remaining CPU time: 104.636 s c =============================================================================== c | 52 | 700 1472 465900 | 5000 52 100 | 0.000 % | c =============================================================================== c New solution: 2205 c Elapsed CPU time: 75.5405 s Remaining CPU time: 104.459 s c =============================================================================== c | 52 | 700 1473 466500 | 5000 52 100 | 0.000 % | c =============================================================================== c New solution: 2204 c Elapsed CPU time: 75.7295 s Remaining CPU time: 104.271 s c =============================================================================== c | 52 | 700 1474 467100 | 5000 52 100 | 0.000 % | c =============================================================================== c New solution: 2203 c Elapsed CPU time: 75.9035 s Remaining CPU time: 104.097 s c =============================================================================== c | 52 | 700 1475 467700 | 5000 52 100 | 0.000 % | c =============================================================================== c New solution: 2202 c Elapsed CPU time: 76.0904 s Remaining CPU time: 103.91 s c =============================================================================== c | 53 | 700 1476 468300 | 5000 53 106 | 0.000 % | c =============================================================================== c New solution: 2201 c Elapsed CPU time: 76.2624 s Remaining CPU time: 103.738 s c =============================================================================== c | 53 | 700 1477 468900 | 5000 53 106 | 0.000 % | c =============================================================================== c New solution: 2200 c Elapsed CPU time: 76.4534 s Remaining CPU time: 103.547 s c =============================================================================== c | 54 | 700 1478 469500 | 5000 54 113 | 0.000 % | c =============================================================================== c New solution: 2199 c Elapsed CPU time: 76.6303 s Remaining CPU time: 103.37 s c =============================================================================== c | 54 | 700 1479 470100 | 5000 54 113 | 0.000 % | c =============================================================================== c New solution: 2198 c Elapsed CPU time: 76.8133 s Remaining CPU time: 103.187 s c =============================================================================== c | 54 | 700 1480 470700 | 5000 54 113 | 0.000 % | c =============================================================================== c New solution: 2197 c Elapsed CPU time: 76.9913 s Remaining CPU time: 103.009 s c =============================================================================== c | 54 | 700 1481 471300 | 5000 54 113 | 0.000 % | c =============================================================================== c New solution: 2196 c Elapsed CPU time: 77.1673 s Remaining CPU time: 102.833 s c =============================================================================== c | 54 | 700 1482 471900 | 5000 54 113 | 0.000 % | c =============================================================================== c New solution: 2195 c Elapsed CPU time: 77.3492 s Remaining CPU time: 102.651 s c =============================================================================== c | 54 | 700 1483 472500 | 5000 54 113 | 0.000 % | c =============================================================================== c New solution: 2194 c Elapsed CPU time: 77.5332 s Remaining CPU time: 102.467 s c =============================================================================== c | 54 | 700 1484 473100 | 5000 54 113 | 0.000 % | c =============================================================================== c New solution: 2193 c Elapsed CPU time: 77.7082 s Remaining CPU time: 102.292 s c =============================================================================== c | 54 | 700 1485 473700 | 5000 54 113 | 0.000 % | c =============================================================================== c New solution: 2192 c Elapsed CPU time: 77.8962 s Remaining CPU time: 102.104 s c =============================================================================== c | 54 | 700 1486 474300 | 5000 54 113 | 0.000 % | c =============================================================================== c New solution: 2191 c Elapsed CPU time: 78.0741 s Remaining CPU time: 101.926 s c =============================================================================== c | 54 | 700 1487 474900 | 5000 54 113 | 0.000 % | c =============================================================================== c New solution: 2190 c Elapsed CPU time: 78.2501 s Remaining CPU time: 101.75 s c =============================================================================== c | 54 | 700 1488 475500 | 5000 54 113 | 0.000 % | c =============================================================================== c New solution: 2189 c Elapsed CPU time: 78.4301 s Remaining CPU time: 101.57 s c =============================================================================== c | 54 | 700 1489 476100 | 5000 54 113 | 0.000 % | c =============================================================================== c New solution: 2188 c Elapsed CPU time: 78.613 s Remaining CPU time: 101.387 s c =============================================================================== c | 54 | 700 1490 476700 | 5000 54 113 | 0.000 % | c =============================================================================== c New solution: 2187 c Elapsed CPU time: 78.792 s Remaining CPU time: 101.208 s c =============================================================================== c | 54 | 700 1491 477300 | 5000 54 113 | 0.000 % | c =============================================================================== c New solution: 2186 c Elapsed CPU time: 78.968 s Remaining CPU time: 101.032 s c =============================================================================== c | 54 | 700 1492 477900 | 5000 54 113 | 0.000 % | c =============================================================================== c New solution: 2185 c Elapsed CPU time: 79.14 s Remaining CPU time: 100.86 s c =============================================================================== c | 55 | 700 1493 478500 | 5000 55 111 | 0.000 % | c =============================================================================== c New solution: 2184 c Elapsed CPU time: 79.3219 s Remaining CPU time: 100.678 s c =============================================================================== c | 55 | 700 1494 479100 | 5000 55 111 | 0.000 % | c =============================================================================== c New solution: 2183 c Elapsed CPU time: 79.4939 s Remaining CPU time: 100.506 s c =============================================================================== c | 55 | 700 1495 479700 | 5000 55 111 | 0.000 % | c =============================================================================== c New solution: 2182 c Elapsed CPU time: 79.6669 s Remaining CPU time: 100.333 s c =============================================================================== c | 55 | 700 1496 480300 | 5000 55 111 | 0.000 % | c =============================================================================== c New solution: 2181 c Elapsed CPU time: 79.8479 s Remaining CPU time: 100.152 s c =============================================================================== c | 55 | 700 1497 480900 | 5000 55 111 | 0.000 % | c =============================================================================== c New solution: 2180 c Elapsed CPU time: 80.0268 s Remaining CPU time: 99.9732 s c =============================================================================== c | 58 | 700 1498 481500 | 5000 58 106 | 0.000 % | c =============================================================================== c New solution: 2179 c Elapsed CPU time: 80.1958 s Remaining CPU time: 99.8042 s c =============================================================================== c | 58 | 700 1499 482100 | 5000 58 106 | 0.000 % | c =============================================================================== c New solution: 2178 c Elapsed CPU time: 80.3648 s Remaining CPU time: 99.6352 s c =============================================================================== c | 58 | 700 1500 482700 | 5000 58 106 | 0.000 % | c =============================================================================== c New solution: 2177 c Elapsed CPU time: 80.5318 s Remaining CPU time: 99.4682 s c =============================================================================== c | 58 | 700 1501 483300 | 5000 58 106 | 0.000 % | c =============================================================================== c New solution: 2176 c Elapsed CPU time: 80.7237 s Remaining CPU time: 99.2763 s c =============================================================================== c | 58 | 700 1502 483900 | 5000 58 106 | 0.000 % | c =============================================================================== c New solution: 2175 c Elapsed CPU time: 80.9017 s Remaining CPU time: 99.0983 s c =============================================================================== c | 58 | 700 1503 484500 | 5000 58 106 | 0.000 % | c =============================================================================== c New solution: 2174 c Elapsed CPU time: 81.0907 s Remaining CPU time: 98.9093 s c =============================================================================== c | 58 | 700 1504 485100 | 5000 58 106 | 0.000 % | c =============================================================================== c New solution: 2173 c Elapsed CPU time: 81.2806 s Remaining CPU time: 98.7194 s c =============================================================================== c | 58 | 700 1505 485700 | 5000 58 106 | 0.000 % | c =============================================================================== c New solution: 2172 c Elapsed CPU time: 81.4686 s Remaining CPU time: 98.5314 s c =============================================================================== c | 58 | 700 1506 486300 | 5000 58 106 | 0.000 % | c =============================================================================== c New solution: 2171 c Elapsed CPU time: 81.6466 s Remaining CPU time: 98.3534 s c =============================================================================== c | 58 | 700 1507 486900 | 5000 58 106 | 0.000 % | c =============================================================================== c New solution: 2170 c Elapsed CPU time: 81.8336 s Remaining CPU time: 98.1664 s c =============================================================================== c | 58 | 700 1508 487500 | 5000 58 106 | 0.000 % | c =============================================================================== c New solution: 2169 c Elapsed CPU time: 82.0085 s Remaining CPU time: 97.9915 s c =============================================================================== c | 58 | 700 1509 488100 | 5000 58 106 | 0.000 % | c =============================================================================== c New solution: 2168 c Elapsed CPU time: 82.1935 s Remaining CPU time: 97.8065 s c =============================================================================== c | 58 | 700 1510 488700 | 5000 58 106 | 0.000 % | c =============================================================================== c New solution: 2167 c Elapsed CPU time: 82.3845 s Remaining CPU time: 97.6155 s c =============================================================================== c | 58 | 700 1511 489300 | 5000 58 106 | 0.000 % | c =============================================================================== c New solution: 2166 c Elapsed CPU time: 82.5754 s Remaining CPU time: 97.4246 s c =============================================================================== c | 59 | 700 1512 489900 | 5000 59 104 | 0.000 % | c =============================================================================== c New solution: 2165 c Elapsed CPU time: 82.7704 s Remaining CPU time: 97.2296 s c =============================================================================== c | 59 | 700 1513 490500 | 5000 59 104 | 0.000 % | c =============================================================================== c New solution: 2164 c Elapsed CPU time: 82.9584 s Remaining CPU time: 97.0416 s c =============================================================================== c | 59 | 700 1514 491100 | 5000 59 104 | 0.000 % | c =============================================================================== c New solution: 2163 c Elapsed CPU time: 83.1284 s Remaining CPU time: 96.8716 s c =============================================================================== c | 59 | 700 1515 491700 | 5000 59 104 | 0.000 % | c =============================================================================== c New solution: 2162 c Elapsed CPU time: 83.3163 s Remaining CPU time: 96.6837 s c =============================================================================== c | 59 | 700 1516 492300 | 5000 59 104 | 0.000 % | c =============================================================================== c New solution: 2161 c Elapsed CPU time: 83.5133 s Remaining CPU time: 96.4867 s c =============================================================================== c | 59 | 700 1517 492900 | 5000 59 104 | 0.000 % | c =============================================================================== c New solution: 2160 c Elapsed CPU time: 83.6953 s Remaining CPU time: 96.3047 s c =============================================================================== c | 59 | 700 1518 493500 | 5000 59 104 | 0.000 % | c =============================================================================== c New solution: 2159 c Elapsed CPU time: 83.8862 s Remaining CPU time: 96.1138 s c =============================================================================== c | 59 | 700 1519 494100 | 5000 59 104 | 0.000 % | c =============================================================================== c New solution: 2158 c Elapsed CPU time: 84.0782 s Remaining CPU time: 95.9218 s c =============================================================================== c | 60 | 700 1520 494700 | 5000 60 103 | 0.000 % | c =============================================================================== c New solution: 2157 c Elapsed CPU time: 84.2662 s Remaining CPU time: 95.7338 s c =============================================================================== c | 60 | 700 1521 495300 | 5000 60 103 | 0.000 % | c =============================================================================== c New solution: 2156 c Elapsed CPU time: 84.4432 s Remaining CPU time: 95.5568 s c =============================================================================== c | 60 | 700 1522 495900 | 5000 60 103 | 0.000 % | c =============================================================================== c New solution: 2155 c Elapsed CPU time: 84.6231 s Remaining CPU time: 95.3769 s c =============================================================================== c | 60 | 700 1523 496500 | 5000 60 103 | 0.000 % | c =============================================================================== c New solution: 2154 c Elapsed CPU time: 84.8181 s Remaining CPU time: 95.1819 s c =============================================================================== c | 61 | 700 1524 497100 | 5000 61 101 | 0.000 % | c =============================================================================== c New solution: 2153 c Elapsed CPU time: 85.0111 s Remaining CPU time: 94.9889 s c =============================================================================== c | 61 | 700 1525 497700 | 5000 61 101 | 0.000 % | c =============================================================================== c New solution: 2152 c Elapsed CPU time: 85.191 s Remaining CPU time: 94.809 s c =============================================================================== c | 61 | 700 1526 498300 | 5000 61 101 | 0.000 % | c =============================================================================== c New solution: 2151 c Elapsed CPU time: 85.368 s Remaining CPU time: 94.632 s c =============================================================================== c | 61 | 700 1527 498900 | 5000 61 101 | 0.000 % | c =============================================================================== c New solution: 2150 c Elapsed CPU time: 85.569 s Remaining CPU time: 94.431 s c =============================================================================== c | 61 | 700 1528 499500 | 5000 61 101 | 0.000 % | c =============================================================================== c New solution: 2149 c Elapsed CPU time: 85.764 s Remaining CPU time: 94.236 s c =============================================================================== c | 61 | 700 1529 500100 | 5000 61 101 | 0.000 % | c =============================================================================== c New solution: 2148 c Elapsed CPU time: 85.9439 s Remaining CPU time: 94.0561 s c =============================================================================== c | 61 | 700 1530 500700 | 5000 61 101 | 0.000 % | c =============================================================================== c New solution: 2147 c Elapsed CPU time: 86.1159 s Remaining CPU time: 93.8841 s c =============================================================================== c | 61 | 700 1531 501300 | 5000 61 101 | 0.000 % | c =============================================================================== c New solution: 2146 c Elapsed CPU time: 86.2919 s Remaining CPU time: 93.7081 s c =============================================================================== c | 61 | 700 1532 501900 | 5000 61 101 | 0.000 % | c =============================================================================== c New solution: 2145 c Elapsed CPU time: 86.4739 s Remaining CPU time: 93.5261 s c =============================================================================== c | 61 | 700 1533 502500 | 5000 61 101 | 0.000 % | c =============================================================================== c New solution: 2144 c Elapsed CPU time: 86.6568 s Remaining CPU time: 93.3432 s c =============================================================================== c | 61 | 700 1534 503100 | 5000 61 101 | 0.000 % | c =============================================================================== c New solution: 2143 c Elapsed CPU time: 86.8578 s Remaining CPU time: 93.1422 s c =============================================================================== c | 61 | 700 1535 503700 | 5000 61 101 | 0.000 % | c =============================================================================== c New solution: 2142 c Elapsed CPU time: 87.0438 s Remaining CPU time: 92.9562 s c =============================================================================== c | 61 | 700 1536 504300 | 5000 61 101 | 0.000 % | c =============================================================================== c New solution: 2141 c Elapsed CPU time: 87.2297 s Remaining CPU time: 92.7703 s c =============================================================================== c | 64 | 700 1537 504900 | 5000 64 97 | 0.000 % | c =============================================================================== c New solution: 2140 c Elapsed CPU time: 87.4157 s Remaining CPU time: 92.5843 s c =============================================================================== c | 64 | 700 1538 505500 | 5000 64 97 | 0.000 % | c =============================================================================== c New solution: 2139 c Elapsed CPU time: 87.6007 s Remaining CPU time: 92.3993 s c =============================================================================== c | 64 | 700 1539 506100 | 5000 64 97 | 0.000 % | c =============================================================================== c New solution: 2138 c Elapsed CPU time: 87.7817 s Remaining CPU time: 92.2183 s c =============================================================================== c | 64 | 700 1540 506700 | 5000 64 97 | 0.000 % | c =============================================================================== c New solution: 2137 c Elapsed CPU time: 87.9536 s Remaining CPU time: 92.0464 s c =============================================================================== c | 64 | 700 1541 507300 | 5000 64 97 | 0.000 % | c =============================================================================== c New solution: 2136 c Elapsed CPU time: 88.1446 s Remaining CPU time: 91.8554 s c =============================================================================== c | 64 | 700 1542 507900 | 5000 64 97 | 0.000 % | c =============================================================================== c New solution: 2135 c Elapsed CPU time: 88.3266 s Remaining CPU time: 91.6734 s c =============================================================================== c | 64 | 700 1543 508500 | 5000 64 97 | 0.000 % | c =============================================================================== c New solution: 2134 c Elapsed CPU time: 88.5055 s Remaining CPU time: 91.4945 s c =============================================================================== c | 64 | 700 1544 509100 | 5000 64 97 | 0.000 % | c =============================================================================== c New solution: 2133 c Elapsed CPU time: 88.7015 s Remaining CPU time: 91.2985 s c =============================================================================== c | 64 | 700 1545 509700 | 5000 64 97 | 0.000 % | c =============================================================================== c New solution: 2132 c Elapsed CPU time: 88.8905 s Remaining CPU time: 91.1095 s c =============================================================================== c | 64 | 700 1546 510300 | 5000 64 97 | 0.000 % | c =============================================================================== c New solution: 2131 c Elapsed CPU time: 89.0805 s Remaining CPU time: 90.9195 s c =============================================================================== c | 64 | 700 1547 510900 | 5000 64 97 | 0.000 % | c =============================================================================== c New solution: 2130 c Elapsed CPU time: 89.2754 s Remaining CPU time: 90.7246 s c =============================================================================== c | 64 | 700 1548 511500 | 5000 64 97 | 0.000 % | c =============================================================================== c New solution: 2129 c Elapsed CPU time: 89.4584 s Remaining CPU time: 90.5416 s c =============================================================================== c | 64 | 700 1549 512100 | 5000 64 97 | 0.000 % | c =============================================================================== c New solution: 2128 c Elapsed CPU time: 89.6554 s Remaining CPU time: 90.3446 s c =============================================================================== c | 64 | 700 1550 512700 | 5000 64 97 | 0.000 % | c =============================================================================== c New solution: 2127 c Elapsed CPU time: 89.8533 s Remaining CPU time: 90.1467 s c =============================================================================== c | 64 | 700 1551 513300 | 5000 64 97 | 0.000 % | c =============================================================================== c New solution: 2126 c Elapsed CPU time: 90.0443 s Remaining CPU time: 89.9557 s c =============================================================================== c | 64 | 700 1552 513900 | 5000 64 97 | 0.000 % | c =============================================================================== c New solution: 2125 c Elapsed CPU time: 90.2333 s Remaining CPU time: 89.7667 s c =============================================================================== c | 64 | 700 1553 514500 | 5000 64 97 | 0.000 % | c =============================================================================== c New solution: 2124 c Elapsed CPU time: 90.4203 s Remaining CPU time: 89.5797 s c =============================================================================== c | 64 | 700 1554 515100 | 5000 64 97 | 0.000 % | c =============================================================================== c New solution: 2123 c Elapsed CPU time: 90.6032 s Remaining CPU time: 89.3968 s c =============================================================================== c | 64 | 700 1555 515700 | 5000 64 97 | 0.000 % | c =============================================================================== c New solution: 2122 c Elapsed CPU time: 90.7952 s Remaining CPU time: 89.2048 s c =============================================================================== c | 64 | 700 1556 516300 | 5000 64 97 | 0.000 % | c =============================================================================== c New solution: 2121 c Elapsed CPU time: 90.9962 s Remaining CPU time: 89.0038 s c =============================================================================== c | 65 | 700 1557 516900 | 5000 65 95 | 0.000 % | c =============================================================================== c New solution: 2120 c Elapsed CPU time: 91.1811 s Remaining CPU time: 88.8189 s c =============================================================================== c | 65 | 700 1558 517500 | 5000 65 95 | 0.000 % | c =============================================================================== c New solution: 2119 c Elapsed CPU time: 91.3671 s Remaining CPU time: 88.6329 s c =============================================================================== c | 65 | 700 1559 518100 | 5000 65 95 | 0.000 % | c =============================================================================== c New solution: 2118 c Elapsed CPU time: 91.5611 s Remaining CPU time: 88.4389 s c =============================================================================== c | 66 | 700 1560 518700 | 5000 66 94 | 0.000 % | c =============================================================================== c New solution: 2117 c Elapsed CPU time: 91.7571 s Remaining CPU time: 88.2429 s c =============================================================================== c | 66 | 700 1561 519300 | 5000 66 94 | 0.000 % | c =============================================================================== c New solution: 2116 c Elapsed CPU time: 91.948 s Remaining CPU time: 88.052 s c =============================================================================== c | 67 | 700 1562 519900 | 5000 67 93 | 0.000 % | c =============================================================================== c New solution: 2115 c Elapsed CPU time: 92.15 s Remaining CPU time: 87.85 s c =============================================================================== c | 67 | 700 1563 520500 | 5000 67 93 | 0.000 % | c =============================================================================== c New solution: 2114 c Elapsed CPU time: 92.35 s Remaining CPU time: 87.65 s c =============================================================================== c | 67 | 700 1564 521100 | 5000 67 93 | 0.000 % | c =============================================================================== c New solution: 2113 c Elapsed CPU time: 92.5409 s Remaining CPU time: 87.4591 s c =============================================================================== c | 67 | 700 1565 521700 | 5000 67 93 | 0.000 % | c =============================================================================== c New solution: 2112 c Elapsed CPU time: 92.7379 s Remaining CPU time: 87.2621 s c =============================================================================== c | 67 | 700 1566 522300 | 5000 67 93 | 0.000 % | c =============================================================================== c New solution: 2111 c Elapsed CPU time: 92.9399 s Remaining CPU time: 87.0601 s c =============================================================================== c | 68 | 700 1567 522900 | 5000 68 91 | 0.000 % | c =============================================================================== c New solution: 2110 c Elapsed CPU time: 93.1438 s Remaining CPU time: 86.8562 s c =============================================================================== c | 68 | 700 1568 523500 | 5000 68 91 | 0.000 % | c =============================================================================== c New solution: 2109 c Elapsed CPU time: 93.3438 s Remaining CPU time: 86.6562 s c =============================================================================== c | 68 | 700 1569 524100 | 5000 68 91 | 0.000 % | c =============================================================================== c New solution: 2108 c Elapsed CPU time: 93.5298 s Remaining CPU time: 86.4702 s c =============================================================================== c | 68 | 700 1570 524700 | 5000 68 91 | 0.000 % | c =============================================================================== c New solution: 2107 c Elapsed CPU time: 93.7178 s Remaining CPU time: 86.2822 s c =============================================================================== c | 68 | 700 1571 525300 | 5000 68 91 | 0.000 % | c =============================================================================== c New solution: 2106 c Elapsed CPU time: 93.9137 s Remaining CPU time: 86.0863 s c =============================================================================== c | 68 | 700 1572 525900 | 5000 68 91 | 0.000 % | c =============================================================================== c New solution: 2105 c Elapsed CPU time: 94.1127 s Remaining CPU time: 85.8873 s c =============================================================================== c | 68 | 700 1573 526500 | 5000 68 91 | 0.000 % | c =============================================================================== c New solution: 2104 c Elapsed CPU time: 94.3057 s Remaining CPU time: 85.6943 s c =============================================================================== c | 69 | 700 1574 527100 | 5000 69 96 | 0.000 % | c =============================================================================== c New solution: 2103 c Elapsed CPU time: 94.4876 s Remaining CPU time: 85.5124 s c =============================================================================== c | 69 | 700 1575 527700 | 5000 69 96 | 0.000 % | c =============================================================================== c New solution: 2102 c Elapsed CPU time: 94.6866 s Remaining CPU time: 85.3134 s c =============================================================================== c | 69 | 700 1576 528300 | 5000 69 96 | 0.000 % | c =============================================================================== c New solution: 2101 c Elapsed CPU time: 94.8666 s Remaining CPU time: 85.1334 s c =============================================================================== c | 69 | 700 1577 528900 | 5000 69 96 | 0.000 % | c =============================================================================== c New solution: 2100 c Elapsed CPU time: 95.0625 s Remaining CPU time: 84.9375 s c =============================================================================== c | 70 | 700 1578 529500 | 5000 70 101 | 0.000 % | c =============================================================================== c New solution: 2099 c Elapsed CPU time: 95.2555 s Remaining CPU time: 84.7445 s c =============================================================================== c | 70 | 700 1579 530100 | 5000 70 101 | 0.000 % | c =============================================================================== c New solution: 2098 c Elapsed CPU time: 95.4415 s Remaining CPU time: 84.5585 s c =============================================================================== c | 71 | 700 1580 530700 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2097 c Elapsed CPU time: 95.6285 s Remaining CPU time: 84.3715 s c =============================================================================== c | 71 | 700 1581 531300 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2096 c Elapsed CPU time: 95.8334 s Remaining CPU time: 84.1666 s c =============================================================================== c | 71 | 700 1582 531900 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2095 c Elapsed CPU time: 96.0114 s Remaining CPU time: 83.9886 s c =============================================================================== c | 71 | 700 1583 532500 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2094 c Elapsed CPU time: 96.2074 s Remaining CPU time: 83.7926 s c =============================================================================== c | 71 | 700 1584 533100 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2093 c Elapsed CPU time: 96.4103 s Remaining CPU time: 83.5897 s c =============================================================================== c | 71 | 700 1585 533700 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2092 c Elapsed CPU time: 96.6173 s Remaining CPU time: 83.3827 s c =============================================================================== c | 71 | 700 1586 534300 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2091 c Elapsed CPU time: 96.8003 s Remaining CPU time: 83.1997 s c =============================================================================== c | 71 | 700 1587 534900 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2090 c Elapsed CPU time: 97.0003 s Remaining CPU time: 82.9997 s c =============================================================================== c | 71 | 700 1588 535500 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2089 c Elapsed CPU time: 97.1932 s Remaining CPU time: 82.8068 s c =============================================================================== c | 71 | 700 1589 536100 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2088 c Elapsed CPU time: 97.3922 s Remaining CPU time: 82.6078 s c =============================================================================== c | 71 | 700 1590 536700 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2087 c Elapsed CPU time: 97.5912 s Remaining CPU time: 82.4088 s c =============================================================================== c | 71 | 700 1591 537300 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2086 c Elapsed CPU time: 97.7861 s Remaining CPU time: 82.2139 s c =============================================================================== c | 71 | 700 1592 537900 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2085 c Elapsed CPU time: 97.9781 s Remaining CPU time: 82.0219 s c =============================================================================== c | 71 | 700 1593 538500 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2084 c Elapsed CPU time: 98.1601 s Remaining CPU time: 81.8399 s c =============================================================================== c | 71 | 700 1594 539100 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2083 c Elapsed CPU time: 98.352 s Remaining CPU time: 81.648 s c =============================================================================== c | 71 | 700 1595 539700 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2082 c Elapsed CPU time: 98.547 s Remaining CPU time: 81.453 s c =============================================================================== c | 71 | 700 1596 540300 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2081 c Elapsed CPU time: 98.737 s Remaining CPU time: 81.263 s c =============================================================================== c | 71 | 700 1597 540900 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2080 c Elapsed CPU time: 98.929 s Remaining CPU time: 81.071 s c =============================================================================== c | 71 | 700 1598 541500 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2079 c Elapsed CPU time: 99.1189 s Remaining CPU time: 80.8811 s c =============================================================================== c | 71 | 700 1599 542100 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2078 c Elapsed CPU time: 99.3189 s Remaining CPU time: 80.6811 s c =============================================================================== c | 71 | 700 1600 542700 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2077 c Elapsed CPU time: 99.5089 s Remaining CPU time: 80.4911 s c =============================================================================== c | 71 | 700 1601 543300 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2076 c Elapsed CPU time: 99.7078 s Remaining CPU time: 80.2922 s c =============================================================================== c | 71 | 700 1602 543900 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2075 c Elapsed CPU time: 99.9068 s Remaining CPU time: 80.0932 s c =============================================================================== c | 71 | 700 1603 544500 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2074 c Elapsed CPU time: 100.109 s Remaining CPU time: 79.8912 s c =============================================================================== c | 71 | 700 1604 545100 | 5000 71 99 | 0.000 % | c =============================================================================== c New solution: 2073 c Elapsed CPU time: 100.312 s Remaining CPU time: 79.6882 s c =============================================================================== c | 72 | 700 1605 545700 | 5000 72 98 | 0.000 % | c =============================================================================== c New solution: 2072 c Elapsed CPU time: 100.506 s Remaining CPU time: 79.4943 s c =============================================================================== c | 72 | 700 1606 546300 | 5000 72 98 | 0.000 % | c =============================================================================== c New solution: 2071 c Elapsed CPU time: 100.696 s Remaining CPU time: 79.3043 s c =============================================================================== c | 72 | 700 1607 546900 | 5000 72 98 | 0.000 % | c =============================================================================== c New solution: 2070 c Elapsed CPU time: 100.891 s Remaining CPU time: 79.1093 s c =============================================================================== c | 72 | 700 1608 547500 | 5000 72 98 | 0.000 % | c =============================================================================== c New solution: 2069 c Elapsed CPU time: 101.081 s Remaining CPU time: 78.9194 s c =============================================================================== c | 72 | 700 1609 548100 | 5000 72 98 | 0.000 % | c =============================================================================== c New solution: 2068 c Elapsed CPU time: 101.268 s Remaining CPU time: 78.7324 s c =============================================================================== c | 72 | 700 1610 548700 | 5000 72 98 | 0.000 % | c =============================================================================== c New solution: 2067 c Elapsed CPU time: 101.48 s Remaining CPU time: 78.5204 s c =============================================================================== c | 74 | 700 1611 549300 | 5000 74 106 | 0.000 % | c =============================================================================== c New solution: 2066 c Elapsed CPU time: 101.666 s Remaining CPU time: 78.3345 s c =============================================================================== c | 74 | 700 1612 549900 | 5000 74 106 | 0.000 % | c =============================================================================== c New solution: 2065 c Elapsed CPU time: 101.854 s Remaining CPU time: 78.1465 s c =============================================================================== c | 74 | 700 1613 550500 | 5000 74 106 | 0.000 % | c =============================================================================== c New solution: 2064 c Elapsed CPU time: 102.05 s Remaining CPU time: 77.9495 s c =============================================================================== c | 74 | 700 1614 551100 | 5000 74 106 | 0.000 % | c =============================================================================== c New solution: 2063 c Elapsed CPU time: 102.247 s Remaining CPU time: 77.7525 s c =============================================================================== c | 74 | 700 1615 551700 | 5000 74 106 | 0.000 % | c =============================================================================== c New solution: 2062 c Elapsed CPU time: 102.436 s Remaining CPU time: 77.5636 s c =============================================================================== c | 74 | 700 1616 552300 | 5000 74 106 | 0.000 % | c =============================================================================== c New solution: 2061 c Elapsed CPU time: 102.634 s Remaining CPU time: 77.3656 s c =============================================================================== c | 74 | 700 1617 552900 | 5000 74 106 | 0.000 % | c =============================================================================== c New solution: 2060 c Elapsed CPU time: 102.825 s Remaining CPU time: 77.1746 s c =============================================================================== c | 74 | 700 1618 553500 | 5000 74 106 | 0.000 % | c =============================================================================== c New solution: 2059 c Elapsed CPU time: 103.028 s Remaining CPU time: 76.9717 s c =============================================================================== c | 74 | 700 1619 554100 | 5000 74 106 | 0.000 % | c =============================================================================== c New solution: 2058 c Elapsed CPU time: 103.227 s Remaining CPU time: 76.7727 s c =============================================================================== c | 74 | 700 1620 554700 | 5000 74 106 | 0.000 % | c =============================================================================== c New solution: 2057 c Elapsed CPU time: 103.422 s Remaining CPU time: 76.5777 s c =============================================================================== c | 74 | 700 1621 555300 | 5000 74 106 | 0.000 % | c =============================================================================== c New solution: 2056 c Elapsed CPU time: 103.626 s Remaining CPU time: 76.3738 s c =============================================================================== c | 74 | 700 1622 555900 | 5000 74 106 | 0.000 % | c =============================================================================== c New solution: 2055 c Elapsed CPU time: 103.827 s Remaining CPU time: 76.1728 s c =============================================================================== c | 74 | 700 1623 556500 | 5000 74 106 | 0.000 % | c =============================================================================== c New solution: 2054 c Elapsed CPU time: 104.022 s Remaining CPU time: 75.9778 s c =============================================================================== c | 74 | 700 1624 557100 | 5000 74 106 | 0.000 % | c =============================================================================== c New solution: 2053 c Elapsed CPU time: 104.221 s Remaining CPU time: 75.7788 s c =============================================================================== c | 75 | 700 1625 557700 | 5000 75 105 | 0.000 % | c =============================================================================== c New solution: 2052 c Elapsed CPU time: 104.434 s Remaining CPU time: 75.5659 s c =============================================================================== c | 75 | 700 1626 558300 | 5000 75 105 | 0.000 % | c =============================================================================== c New solution: 2051 c Elapsed CPU time: 104.62 s Remaining CPU time: 75.3799 s c =============================================================================== c | 75 | 700 1627 558900 | 5000 75 105 | 0.000 % | c =============================================================================== c New solution: 2050 c Elapsed CPU time: 104.823 s Remaining CPU time: 75.1769 s c =============================================================================== c | 75 | 700 1628 559500 | 5000 75 105 | 0.000 % | c =============================================================================== c New solution: 2049 c Elapsed CPU time: 105.022 s Remaining CPU time: 74.978 s c =============================================================================== c | 75 | 700 1629 560100 | 5000 75 105 | 0.000 % | c =============================================================================== c New solution: 2048 c Elapsed CPU time: 105.238 s Remaining CPU time: 74.762 s c =============================================================================== c | 75 | 700 1630 560700 | 5000 75 105 | 0.000 % | c =============================================================================== c New solution: 2047 c Elapsed CPU time: 105.439 s Remaining CPU time: 74.561 s c =============================================================================== c | 75 | 700 1631 561300 | 5000 75 105 | 0.000 % | c =============================================================================== c New solution: 2046 c Elapsed CPU time: 105.644 s Remaining CPU time: 74.3561 s c =============================================================================== c | 75 | 700 1632 561900 | 5000 75 105 | 0.000 % | c =============================================================================== c New solution: 2045 c Elapsed CPU time: 105.851 s Remaining CPU time: 74.1491 s c =============================================================================== c | 75 | 700 1633 562500 | 5000 75 105 | 0.000 % | c =============================================================================== c New solution: 2044 c Elapsed CPU time: 106.053 s Remaining CPU time: 73.9471 s c =============================================================================== c | 75 | 700 1634 563100 | 5000 75 105 | 0.000 % | c =============================================================================== c New solution: 2043 c Elapsed CPU time: 106.25 s Remaining CPU time: 73.7502 s c =============================================================================== c | 75 | 700 1635 563700 | 5000 75 105 | 0.000 % | c =============================================================================== c New solution: 2042 c Elapsed CPU time: 106.457 s Remaining CPU time: 73.5432 s c =============================================================================== c | 75 | 700 1636 564300 | 5000 75 105 | 0.000 % | c =============================================================================== c New solution: 2041 c Elapsed CPU time: 106.665 s Remaining CPU time: 73.3352 s c =============================================================================== c | 75 | 700 1637 564900 | 5000 75 105 | 0.000 % | c =============================================================================== c New solution: 2040 c Elapsed CPU time: 106.863 s Remaining CPU time: 73.1372 s c =============================================================================== c | 75 | 700 1638 565500 | 5000 75 105 | 0.000 % | c =============================================================================== c New solution: 2039 c Elapsed CPU time: 107.069 s Remaining CPU time: 72.9313 s c =============================================================================== c | 75 | 700 1639 566100 | 5000 75 105 | 0.000 % | c =============================================================================== c New solution: 2038 c Elapsed CPU time: 107.269 s Remaining CPU time: 72.7313 s c =============================================================================== c | 75 | 700 1640 566700 | 5000 75 105 | 0.000 % | c =============================================================================== c New solution: 2037 c Elapsed CPU time: 107.467 s Remaining CPU time: 72.5333 s c =============================================================================== c | 76 | 700 1641 567300 | 5000 76 104 | 0.000 % | c =============================================================================== c New solution: 2036 c Elapsed CPU time: 107.682 s Remaining CPU time: 72.3184 s c =============================================================================== c | 76 | 700 1642 567900 | 5000 76 104 | 0.000 % | c =============================================================================== c New solution: 2035 c Elapsed CPU time: 107.903 s Remaining CPU time: 72.0974 s c =============================================================================== c | 76 | 700 1643 568500 | 5000 76 104 | 0.000 % | c =============================================================================== c New solution: 2034 c Elapsed CPU time: 108.1 s Remaining CPU time: 71.9004 s c =============================================================================== c | 76 | 700 1644 569100 | 5000 76 104 | 0.000 % | c =============================================================================== c New solution: 2033 c Elapsed CPU time: 108.3 s Remaining CPU time: 71.7005 s c =============================================================================== c | 76 | 700 1645 569700 | 5000 76 104 | 0.000 % | c =============================================================================== c New solution: 2032 c Elapsed CPU time: 108.515 s Remaining CPU time: 71.4855 s c =============================================================================== c | 76 | 700 1646 570300 | 5000 76 104 | 0.000 % | c =============================================================================== c New solution: 2031 c Elapsed CPU time: 108.715 s Remaining CPU time: 71.2845 s c =============================================================================== c | 76 | 700 1647 570900 | 5000 76 104 | 0.000 % | c =============================================================================== c New solution: 2030 c Elapsed CPU time: 108.937 s Remaining CPU time: 71.0626 s c =============================================================================== c | 76 | 700 1648 571500 | 5000 76 104 | 0.000 % | c =============================================================================== c New solution: 2029 c Elapsed CPU time: 109.138 s Remaining CPU time: 70.8616 s c =============================================================================== c | 76 | 700 1649 572100 | 5000 76 104 | 0.000 % | c =============================================================================== c New solution: 2028 c Elapsed CPU time: 109.329 s Remaining CPU time: 70.6706 s c =============================================================================== c | 76 | 700 1650 572700 | 5000 76 104 | 0.000 % | c =============================================================================== c New solution: 2027 c Elapsed CPU time: 109.528 s Remaining CPU time: 70.4717 s c =============================================================================== c | 77 | 700 1651 573300 | 5000 77 103 | 0.000 % | c =============================================================================== c New solution: 2026 c Elapsed CPU time: 109.747 s Remaining CPU time: 70.2527 s c =============================================================================== c | 77 | 700 1652 573900 | 5000 77 103 | 0.000 % | c =============================================================================== c New solution: 2025 c Elapsed CPU time: 109.94 s Remaining CPU time: 70.0597 s c =============================================================================== c | 77 | 700 1653 574500 | 5000 77 103 | 0.000 % | c =============================================================================== c New solution: 2024 c Elapsed CPU time: 110.144 s Remaining CPU time: 69.8557 s c =============================================================================== c | 77 | 700 1654 575100 | 5000 77 103 | 0.000 % | c =============================================================================== c New solution: 2023 c Elapsed CPU time: 110.348 s Remaining CPU time: 69.6518 s c =============================================================================== c | 77 | 700 1655 575700 | 5000 77 103 | 0.000 % | c =============================================================================== c New solution: 2022 c Elapsed CPU time: 110.552 s Remaining CPU time: 69.4478 s c =============================================================================== c | 77 | 700 1656 576300 | 5000 77 103 | 0.000 % | c =============================================================================== c New solution: 2021 c Elapsed CPU time: 110.754 s Remaining CPU time: 69.2458 s c =============================================================================== c | 77 | 700 1657 576900 | 5000 77 103 | 0.000 % | c =============================================================================== c New solution: 2020 c Elapsed CPU time: 110.957 s Remaining CPU time: 69.0429 s c =============================================================================== c | 77 | 700 1658 577500 | 5000 77 103 | 0.000 % | c =============================================================================== c New solution: 2019 c Elapsed CPU time: 111.168 s Remaining CPU time: 68.8319 s c =============================================================================== c | 80 | 700 1659 578100 | 5000 80 100 | 0.000 % | c =============================================================================== c New solution: 2018 c Elapsed CPU time: 111.38 s Remaining CPU time: 68.6199 s c =============================================================================== c | 80 | 700 1660 578700 | 5000 80 100 | 0.000 % | c =============================================================================== c New solution: 2017 c Elapsed CPU time: 111.573 s Remaining CPU time: 68.427 s c =============================================================================== c | 80 | 700 1661 579300 | 5000 80 100 | 0.000 % | c =============================================================================== c New solution: 2016 c Elapsed CPU time: 111.792 s Remaining CPU time: 68.208 s c =============================================================================== c | 80 | 700 1662 579900 | 5000 80 100 | 0.000 % | c =============================================================================== c New solution: 2015 c Elapsed CPU time: 112.001 s Remaining CPU time: 67.999 s c =============================================================================== c | 80 | 700 1663 580500 | 5000 80 100 | 0.000 % | c =============================================================================== c New solution: 2014 c Elapsed CPU time: 112.199 s Remaining CPU time: 67.8011 s c =============================================================================== c | 80 | 700 1664 581100 | 5000 80 100 | 0.000 % | c =============================================================================== c New solution: 2013 c Elapsed CPU time: 112.412 s Remaining CPU time: 67.5881 s c =============================================================================== c | 80 | 700 1665 581700 | 5000 80 100 | 0.000 % | c =============================================================================== c New solution: 2012 c Elapsed CPU time: 112.621 s Remaining CPU time: 67.3791 s c =============================================================================== c | 80 | 700 1666 582300 | 5000 80 100 | 0.000 % | c =============================================================================== c New solution: 2011 c Elapsed CPU time: 112.83 s Remaining CPU time: 67.1702 s c =============================================================================== c | 80 | 700 1667 582900 | 5000 80 100 | 0.000 % | c =============================================================================== c New solution: 2010 c Elapsed CPU time: 113.036 s Remaining CPU time: 66.9642 s c =============================================================================== c | 80 | 700 1668 583500 | 5000 80 100 | 0.000 % | c =============================================================================== c New solution: 2009 c Elapsed CPU time: 113.254 s Remaining CPU time: 66.7462 s c =============================================================================== c | 80 | 700 1669 584100 | 5000 80 100 | 0.000 % | c =============================================================================== c New solution: 2008 c Elapsed CPU time: 113.456 s Remaining CPU time: 66.5442 s c =============================================================================== c | 80 | 700 1670 584700 | 5000 80 100 | 0.000 % | c =============================================================================== c New solution: 2007 c Elapsed CPU time: 113.667 s Remaining CPU time: 66.3333 s c =============================================================================== c | 80 | 700 1671 585300 | 5000 80 100 | 0.000 % | c =============================================================================== c New solution: 2006 c Elapsed CPU time: 113.881 s Remaining CPU time: 66.1193 s c =============================================================================== c | 81 | 700 1672 585900 | 5000 81 98 | 0.000 % | c =============================================================================== c New solution: 2005 c Elapsed CPU time: 114.098 s Remaining CPU time: 65.9023 s c =============================================================================== c | 81 | 700 1673 586500 | 5000 81 98 | 0.000 % | c =============================================================================== c New solution: 2004 c Elapsed CPU time: 114.311 s Remaining CPU time: 65.6894 s c =============================================================================== c | 81 | 700 1674 587100 | 5000 81 98 | 0.000 % | c =============================================================================== c New solution: 2003 c Elapsed CPU time: 114.504 s Remaining CPU time: 65.4964 s c =============================================================================== c | 81 | 700 1675 587700 | 5000 81 98 | 0.000 % | c =============================================================================== c New solution: 2002 c Elapsed CPU time: 114.71 s Remaining CPU time: 65.2904 s c =============================================================================== c | 81 | 700 1676 588300 | 5000 81 98 | 0.000 % | c =============================================================================== c New solution: 2001 c Elapsed CPU time: 114.915 s Remaining CPU time: 65.0855 s c =============================================================================== c | 81 | 700 1677 588900 | 5000 81 98 | 0.000 % | c =============================================================================== c New solution: 2000 c Elapsed CPU time: 115.112 s Remaining CPU time: 64.8885 s c =============================================================================== c | 82 | 700 1678 589500 | 5000 82 97 | 0.000 % | c =============================================================================== c New solution: 1999 c Elapsed CPU time: 115.337 s Remaining CPU time: 64.6625 s c =============================================================================== c | 82 | 700 1679 590100 | 5000 82 97 | 0.000 % | c =============================================================================== c New solution: 1998 c Elapsed CPU time: 115.537 s Remaining CPU time: 64.4626 s c =============================================================================== c | 84 | 700 1680 590700 | 5000 84 95 | 0.000 % | c =============================================================================== c New solution: 1997 c Elapsed CPU time: 115.76 s Remaining CPU time: 64.2396 s c =============================================================================== c | 84 | 700 1681 591300 | 5000 84 95 | 0.000 % | c =============================================================================== c New solution: 1996 c Elapsed CPU time: 115.954 s Remaining CPU time: 64.0456 s c =============================================================================== c | 84 | 700 1682 591900 | 5000 84 95 | 0.000 % | c =============================================================================== c New solution: 1995 c Elapsed CPU time: 116.151 s Remaining CPU time: 63.8487 s c =============================================================================== c | 84 | 700 1683 592500 | 5000 84 95 | 0.000 % | c =============================================================================== c New solution: 1994 c Elapsed CPU time: 116.354 s Remaining CPU time: 63.6457 s c =============================================================================== c | 84 | 700 1684 593100 | 5000 84 95 | 0.000 % | c =============================================================================== c New solution: 1993 c Elapsed CPU time: 116.564 s Remaining CPU time: 63.4357 s c =============================================================================== c | 84 | 700 1685 593700 | 5000 84 95 | 0.000 % | c =============================================================================== c New solution: 1992 c Elapsed CPU time: 116.78 s Remaining CPU time: 63.2198 s c =============================================================================== c | 84 | 700 1686 594300 | 5000 84 95 | 0.000 % | c =============================================================================== c New solution: 1991 c Elapsed CPU time: 117.009 s Remaining CPU time: 62.9908 s c =============================================================================== c | 84 | 700 1687 594900 | 5000 84 95 | 0.000 % | c =============================================================================== c New solution: 1990 c Elapsed CPU time: 117.223 s Remaining CPU time: 62.7768 s c =============================================================================== c | 85 | 700 1688 595500 | 5000 85 99 | 0.000 % | c =============================================================================== c New solution: 1989 c Elapsed CPU time: 117.415 s Remaining CPU time: 62.5849 s c =============================================================================== c | 85 | 700 1689 596100 | 5000 85 99 | 0.000 % | c =============================================================================== c New solution: 1988 c Elapsed CPU time: 117.614 s Remaining CPU time: 62.3859 s c =============================================================================== c | 87 | 700 1690 596700 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1987 c Elapsed CPU time: 117.827 s Remaining CPU time: 62.1729 s c =============================================================================== c | 87 | 700 1691 597300 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1986 c Elapsed CPU time: 118.04 s Remaining CPU time: 61.9599 s c =============================================================================== c | 87 | 700 1692 597900 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1985 c Elapsed CPU time: 118.246 s Remaining CPU time: 61.754 s c =============================================================================== c | 87 | 700 1693 598500 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1984 c Elapsed CPU time: 118.475 s Remaining CPU time: 61.525 s c =============================================================================== c | 87 | 700 1694 599100 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1983 c Elapsed CPU time: 118.679 s Remaining CPU time: 61.321 s c =============================================================================== c | 87 | 700 1695 599700 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1982 c Elapsed CPU time: 118.883 s Remaining CPU time: 61.1171 s c =============================================================================== c | 87 | 700 1696 600300 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1981 c Elapsed CPU time: 119.101 s Remaining CPU time: 60.8991 s c =============================================================================== c | 87 | 700 1697 600900 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1980 c Elapsed CPU time: 119.32 s Remaining CPU time: 60.6801 s c =============================================================================== c | 87 | 700 1698 601500 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1979 c Elapsed CPU time: 119.539 s Remaining CPU time: 60.4612 s c =============================================================================== c | 87 | 700 1699 602100 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1978 c Elapsed CPU time: 119.748 s Remaining CPU time: 60.2522 s c =============================================================================== c | 87 | 700 1700 602700 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1977 c Elapsed CPU time: 119.953 s Remaining CPU time: 60.0472 s c =============================================================================== c | 87 | 700 1701 603300 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1976 c Elapsed CPU time: 120.151 s Remaining CPU time: 59.8493 s c =============================================================================== c | 87 | 700 1702 603900 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1975 c Elapsed CPU time: 120.355 s Remaining CPU time: 59.6453 s c =============================================================================== c | 87 | 700 1703 604500 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1974 c Elapsed CPU time: 120.563 s Remaining CPU time: 59.4373 s c =============================================================================== c | 87 | 700 1704 605100 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1973 c Elapsed CPU time: 120.765 s Remaining CPU time: 59.2354 s c =============================================================================== c | 87 | 700 1705 605700 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1972 c Elapsed CPU time: 120.994 s Remaining CPU time: 59.0064 s c =============================================================================== c | 87 | 700 1706 606300 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1971 c Elapsed CPU time: 121.202 s Remaining CPU time: 58.7984 s c =============================================================================== c | 87 | 700 1707 606900 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1970 c Elapsed CPU time: 121.426 s Remaining CPU time: 58.5745 s c =============================================================================== c | 87 | 700 1708 607500 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1969 c Elapsed CPU time: 121.622 s Remaining CPU time: 58.3785 s c =============================================================================== c | 87 | 700 1709 608100 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1968 c Elapsed CPU time: 121.834 s Remaining CPU time: 58.1655 s c =============================================================================== c | 87 | 700 1710 608700 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1967 c Elapsed CPU time: 122.045 s Remaining CPU time: 57.9546 s c =============================================================================== c | 87 | 700 1711 609300 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1966 c Elapsed CPU time: 122.253 s Remaining CPU time: 57.7466 s c =============================================================================== c | 87 | 700 1712 609900 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1965 c Elapsed CPU time: 122.446 s Remaining CPU time: 57.5536 s c =============================================================================== c | 87 | 700 1713 610500 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1964 c Elapsed CPU time: 122.652 s Remaining CPU time: 57.3476 s c =============================================================================== c | 87 | 700 1714 611100 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1963 c Elapsed CPU time: 122.858 s Remaining CPU time: 57.1417 s c =============================================================================== c | 87 | 700 1715 611700 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1962 c Elapsed CPU time: 123.057 s Remaining CPU time: 56.9427 s c =============================================================================== c | 87 | 700 1716 612300 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1961 c Elapsed CPU time: 123.275 s Remaining CPU time: 56.7247 s c =============================================================================== c | 87 | 700 1717 612900 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1960 c Elapsed CPU time: 123.489 s Remaining CPU time: 56.5108 s c =============================================================================== c | 87 | 700 1718 613500 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1959 c Elapsed CPU time: 123.686 s Remaining CPU time: 56.3138 s c =============================================================================== c | 87 | 700 1719 614100 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1958 c Elapsed CPU time: 123.888 s Remaining CPU time: 56.1118 s c =============================================================================== c | 87 | 700 1720 614700 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1957 c Elapsed CPU time: 124.129 s Remaining CPU time: 55.8709 s c =============================================================================== c | 87 | 700 1721 615300 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1956 c Elapsed CPU time: 124.353 s Remaining CPU time: 55.6469 s c =============================================================================== c | 87 | 700 1722 615900 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1955 c Elapsed CPU time: 124.567 s Remaining CPU time: 55.4329 s c =============================================================================== c | 87 | 700 1723 616500 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1954 c Elapsed CPU time: 124.794 s Remaining CPU time: 55.206 s c =============================================================================== c | 87 | 700 1724 617100 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1953 c Elapsed CPU time: 124.995 s Remaining CPU time: 55.005 s c =============================================================================== c | 87 | 700 1725 617700 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1952 c Elapsed CPU time: 125.221 s Remaining CPU time: 54.779 s c =============================================================================== c | 87 | 700 1726 618300 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1951 c Elapsed CPU time: 125.438 s Remaining CPU time: 54.5621 s c =============================================================================== c | 87 | 700 1727 618900 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1950 c Elapsed CPU time: 125.66 s Remaining CPU time: 54.3401 s c =============================================================================== c | 87 | 700 1728 619500 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1949 c Elapsed CPU time: 125.869 s Remaining CPU time: 54.1311 s c =============================================================================== c | 87 | 700 1729 620100 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1948 c Elapsed CPU time: 126.069 s Remaining CPU time: 53.9312 s c =============================================================================== c | 87 | 700 1730 620700 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1947 c Elapsed CPU time: 126.287 s Remaining CPU time: 53.7132 s c =============================================================================== c | 87 | 700 1731 621300 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1946 c Elapsed CPU time: 126.489 s Remaining CPU time: 53.5112 s c =============================================================================== c | 87 | 700 1732 621900 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1945 c Elapsed CPU time: 126.73 s Remaining CPU time: 53.2703 s c =============================================================================== c | 87 | 700 1733 622500 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1944 c Elapsed CPU time: 126.945 s Remaining CPU time: 53.0553 s c =============================================================================== c | 87 | 700 1734 623100 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1943 c Elapsed CPU time: 127.157 s Remaining CPU time: 52.8433 s c =============================================================================== c | 87 | 700 1735 623700 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1942 c Elapsed CPU time: 127.371 s Remaining CPU time: 52.6294 s c =============================================================================== c | 87 | 700 1736 624300 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1941 c Elapsed CPU time: 127.57 s Remaining CPU time: 52.4304 s c =============================================================================== c | 87 | 700 1737 624900 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1940 c Elapsed CPU time: 127.798 s Remaining CPU time: 52.2024 s c =============================================================================== c | 87 | 700 1738 625500 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1939 c Elapsed CPU time: 128.03 s Remaining CPU time: 51.9705 s c =============================================================================== c | 87 | 700 1739 626100 | 5000 87 97 | 0.000 % | c =============================================================================== c New solution: 1938 c Elapsed CPU time: 128.239 s Remaining CPU time: 51.7615 s c =============================================================================== c | 88 | 700 1740 626700 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1937 c Elapsed CPU time: 128.455 s Remaining CPU time: 51.5445 s c =============================================================================== c | 88 | 700 1741 627300 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1936 c Elapsed CPU time: 128.681 s Remaining CPU time: 51.3186 s c =============================================================================== c | 88 | 700 1742 627900 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1935 c Elapsed CPU time: 128.893 s Remaining CPU time: 51.1066 s c =============================================================================== c | 88 | 700 1743 628500 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1934 c Elapsed CPU time: 129.129 s Remaining CPU time: 50.8706 s c =============================================================================== c | 88 | 700 1744 629100 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1933 c Elapsed CPU time: 129.335 s Remaining CPU time: 50.6647 s c =============================================================================== c | 88 | 700 1745 629700 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1932 c Elapsed CPU time: 129.556 s Remaining CPU time: 50.4437 s c =============================================================================== c | 88 | 700 1746 630300 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1931 c Elapsed CPU time: 129.766 s Remaining CPU time: 50.2337 s c =============================================================================== c | 88 | 700 1747 630900 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1930 c Elapsed CPU time: 129.966 s Remaining CPU time: 50.0338 s c =============================================================================== c | 88 | 700 1748 631500 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1929 c Elapsed CPU time: 130.184 s Remaining CPU time: 49.8158 s c =============================================================================== c | 88 | 700 1749 632100 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1928 c Elapsed CPU time: 130.394 s Remaining CPU time: 49.6058 s c =============================================================================== c | 88 | 700 1750 632700 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1927 c Elapsed CPU time: 130.615 s Remaining CPU time: 49.3849 s c =============================================================================== c | 88 | 700 1751 633300 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1926 c Elapsed CPU time: 130.835 s Remaining CPU time: 49.1649 s c =============================================================================== c | 88 | 700 1752 633900 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1925 c Elapsed CPU time: 131.039 s Remaining CPU time: 48.9609 s c =============================================================================== c | 88 | 700 1753 634500 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1924 c Elapsed CPU time: 131.243 s Remaining CPU time: 48.757 s c =============================================================================== c | 88 | 700 1754 635100 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1923 c Elapsed CPU time: 131.465 s Remaining CPU time: 48.535 s c =============================================================================== c | 88 | 700 1755 635700 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1922 c Elapsed CPU time: 131.679 s Remaining CPU time: 48.321 s c =============================================================================== c | 88 | 700 1756 636300 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1921 c Elapsed CPU time: 131.893 s Remaining CPU time: 48.1071 s c =============================================================================== c | 88 | 700 1757 636900 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1920 c Elapsed CPU time: 132.129 s Remaining CPU time: 47.8711 s c =============================================================================== c | 88 | 700 1758 637500 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1919 c Elapsed CPU time: 132.355 s Remaining CPU time: 47.6451 s c =============================================================================== c | 88 | 700 1759 638100 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1918 c Elapsed CPU time: 132.565 s Remaining CPU time: 47.4352 s c =============================================================================== c | 88 | 700 1760 638700 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1917 c Elapsed CPU time: 132.781 s Remaining CPU time: 47.2192 s c =============================================================================== c | 88 | 700 1761 639300 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1916 c Elapsed CPU time: 132.994 s Remaining CPU time: 47.0062 s c =============================================================================== c | 88 | 700 1762 639900 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1915 c Elapsed CPU time: 133.214 s Remaining CPU time: 46.7863 s c =============================================================================== c | 88 | 700 1763 640500 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1914 c Elapsed CPU time: 133.424 s Remaining CPU time: 46.5763 s c =============================================================================== c | 88 | 700 1764 641100 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1913 c Elapsed CPU time: 133.649 s Remaining CPU time: 46.3513 s c =============================================================================== c | 88 | 700 1765 641700 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1912 c Elapsed CPU time: 133.867 s Remaining CPU time: 46.1334 s c =============================================================================== c | 88 | 700 1766 642300 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1911 c Elapsed CPU time: 134.094 s Remaining CPU time: 45.9064 s c =============================================================================== c | 88 | 700 1767 642900 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1910 c Elapsed CPU time: 134.299 s Remaining CPU time: 45.7014 s c =============================================================================== c | 88 | 700 1768 643500 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1909 c Elapsed CPU time: 134.537 s Remaining CPU time: 45.4635 s c =============================================================================== c | 88 | 700 1769 644100 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1908 c Elapsed CPU time: 134.759 s Remaining CPU time: 45.2415 s c =============================================================================== c | 88 | 700 1770 644700 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1907 c Elapsed CPU time: 134.987 s Remaining CPU time: 45.0125 s c =============================================================================== c | 88 | 700 1771 645300 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1906 c Elapsed CPU time: 135.219 s Remaining CPU time: 44.7806 s c =============================================================================== c | 88 | 700 1772 645900 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1905 c Elapsed CPU time: 135.432 s Remaining CPU time: 44.5676 s c =============================================================================== c | 88 | 700 1773 646500 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1904 c Elapsed CPU time: 135.645 s Remaining CPU time: 44.3546 s c =============================================================================== c | 88 | 700 1774 647100 | 5000 88 96 | 0.000 % | c =============================================================================== c New solution: 1903 c Elapsed CPU time: 135.887 s Remaining CPU time: 44.1127 s c =============================================================================== c | 89 | 700 1775 647700 | 5000 89 99 | 0.000 % | c =============================================================================== c New solution: 1902 c Elapsed CPU time: 136.133 s Remaining CPU time: 43.8667 s c =============================================================================== c | 89 | 700 1776 648300 | 5000 89 99 | 0.000 % | c =============================================================================== c New solution: 1901 c Elapsed CPU time: 136.36 s Remaining CPU time: 43.6397 s c =============================================================================== c | 90 | 700 1777 648900 | 5000 90 98 | 0.000 % | c =============================================================================== c New solution: 1900 c Elapsed CPU time: 136.575 s Remaining CPU time: 43.4248 s c =============================================================================== c | 91 | 700 1778 649500 | 5000 91 101 | 0.000 % | c =============================================================================== c New solution: 1899 c Elapsed CPU time: 136.807 s Remaining CPU time: 43.1928 s c =============================================================================== c | 91 | 700 1779 650100 | 5000 91 101 | 0.000 % | c =============================================================================== c New solution: 1898 c Elapsed CPU time: 137.026 s Remaining CPU time: 42.9738 s c =============================================================================== c | 91 | 700 1780 650700 | 5000 91 101 | 0.000 % | c =============================================================================== c New solution: 1897 c Elapsed CPU time: 137.242 s Remaining CPU time: 42.7579 s c =============================================================================== c | 91 | 700 1781 651300 | 5000 91 101 | 0.000 % | c =============================================================================== c New solution: 1896 c Elapsed CPU time: 137.476 s Remaining CPU time: 42.5239 s c =============================================================================== c | 91 | 700 1782 651900 | 5000 91 101 | 0.000 % | c =============================================================================== c New solution: 1895 c Elapsed CPU time: 137.698 s Remaining CPU time: 42.3019 s c =============================================================================== c | 92 | 700 1783 652500 | 5000 92 100 | 0.000 % | c =============================================================================== c New solution: 1894 c Elapsed CPU time: 137.914 s Remaining CPU time: 42.086 s c =============================================================================== c | 92 | 700 1784 653100 | 5000 92 100 | 0.000 % | c =============================================================================== c New solution: 1893 c Elapsed CPU time: 138.128 s Remaining CPU time: 41.872 s c =============================================================================== c | 92 | 700 1785 653700 | 5000 92 100 | 0.000 % | c =============================================================================== c New solution: 1892 c Elapsed CPU time: 138.361 s Remaining CPU time: 41.639 s c =============================================================================== c | 92 | 700 1786 654300 | 5000 92 100 | 0.000 % | c =============================================================================== c New solution: 1891 c Elapsed CPU time: 138.574 s Remaining CPU time: 41.4261 s c =============================================================================== c | 92 | 700 1787 654900 | 5000 92 100 | 0.000 % | c =============================================================================== c New solution: 1890 c Elapsed CPU time: 138.781 s Remaining CPU time: 41.2191 s c =============================================================================== c | 94 | 700 1788 655500 | 5000 94 99 | 0.000 % | c =============================================================================== c New solution: 1889 c Elapsed CPU time: 139.009 s Remaining CPU time: 40.9911 s c =============================================================================== c | 95 | 700 1789 656100 | 5000 95 98 | 0.000 % | c =============================================================================== c New solution: 1888 c Elapsed CPU time: 139.219 s Remaining CPU time: 40.7812 s c =============================================================================== c | 95 | 700 1790 656700 | 5000 95 98 | 0.000 % | c =============================================================================== c New solution: 1887 c Elapsed CPU time: 139.453 s Remaining CPU time: 40.5472 s c =============================================================================== c | 95 | 700 1791 657300 | 5000 95 98 | 0.000 % | c =============================================================================== c New solution: 1886 c Elapsed CPU time: 139.689 s Remaining CPU time: 40.3112 s c =============================================================================== c | 95 | 700 1792 657900 | 5000 95 98 | 0.000 % | c =============================================================================== c New solution: 1885 c Elapsed CPU time: 139.91 s Remaining CPU time: 40.0903 s c =============================================================================== c | 95 | 700 1793 658500 | 5000 95 98 | 0.000 % | c =============================================================================== c New solution: 1884 c Elapsed CPU time: 140.14 s Remaining CPU time: 39.8603 s c =============================================================================== c | 96 | 700 1794 659100 | 5000 96 101 | 0.000 % | c =============================================================================== c New solution: 1883 c Elapsed CPU time: 140.365 s Remaining CPU time: 39.6353 s c =============================================================================== c | 96 | 700 1795 659700 | 5000 96 101 | 0.000 % | c =============================================================================== c New solution: 1882 c Elapsed CPU time: 140.6 s Remaining CPU time: 39.4004 s c =============================================================================== c | 96 | 700 1796 660300 | 5000 96 101 | 0.000 % | c =============================================================================== c New solution: 1881 c Elapsed CPU time: 140.816 s Remaining CPU time: 39.1844 s c =============================================================================== c | 96 | 700 1797 660900 | 5000 96 101 | 0.000 % | c =============================================================================== c New solution: 1880 c Elapsed CPU time: 141.055 s Remaining CPU time: 38.9454 s c =============================================================================== c | 96 | 700 1798 661500 | 5000 96 101 | 0.000 % | c =============================================================================== c New solution: 1879 c Elapsed CPU time: 141.27 s Remaining CPU time: 38.7305 s c =============================================================================== c | 96 | 700 1799 662100 | 5000 96 101 | 0.000 % | c =============================================================================== c New solution: 1878 c Elapsed CPU time: 141.496 s Remaining CPU time: 38.5035 s c =============================================================================== c | 96 | 700 1800 662700 | 5000 96 101 | 0.000 % | c =============================================================================== c New solution: 1877 c Elapsed CPU time: 141.716 s Remaining CPU time: 38.2835 s c =============================================================================== c | 96 | 700 1801 663300 | 5000 96 101 | 0.000 % | c =============================================================================== c New solution: 1876 c Elapsed CPU time: 141.943 s Remaining CPU time: 38.0566 s c =============================================================================== c | 96 | 700 1802 663900 | 5000 96 101 | 0.000 % | c =============================================================================== c New solution: 1875 c Elapsed CPU time: 142.173 s Remaining CPU time: 37.8266 s c =============================================================================== c | 96 | 700 1803 664500 | 5000 96 101 | 0.000 % | c =============================================================================== c New solution: 1874 c Elapsed CPU time: 142.41 s Remaining CPU time: 37.5897 s c =============================================================================== c | 96 | 700 1804 665100 | 5000 96 101 | 0.000 % | c =============================================================================== c New solution: 1873 c Elapsed CPU time: 142.64 s Remaining CPU time: 37.3597 s c =============================================================================== c | 96 | 700 1805 665700 | 5000 96 101 | 0.000 % | c =============================================================================== c New solution: 1872 c Elapsed CPU time: 142.847 s Remaining CPU time: 37.1527 s c =============================================================================== c | 96 | 700 1806 666300 | 5000 96 101 | 0.000 % | c =============================================================================== c New solution: 1871 c Elapsed CPU time: 143.086 s Remaining CPU time: 36.9138 s c =============================================================================== c | 96 | 700 1807 666900 | 5000 96 101 | 0.000 % | c =============================================================================== c New solution: 1870 c Elapsed CPU time: 143.313 s Remaining CPU time: 36.6868 s c =============================================================================== c | 96 | 700 1808 667500 | 5000 96 101 | 0.000 % | c =============================================================================== c New solution: 1869 c Elapsed CPU time: 143.551 s Remaining CPU time: 36.4488 s c =============================================================================== c | 96 | 700 1809 668100 | 5000 96 101 | 0.000 % | c =============================================================================== c New solution: 1868 c Elapsed CPU time: 143.793 s Remaining CPU time: 36.2069 s c =============================================================================== c | 97 | 700 1810 668700 | 5000 97 103 | 0.000 % | c =============================================================================== c New solution: 1867 c Elapsed CPU time: 144.017 s Remaining CPU time: 35.9829 s c =============================================================================== c | 99 | 700 1811 669300 | 5000 99 102 | 0.000 % | c =============================================================================== c New solution: 1866 c Elapsed CPU time: 144.245 s Remaining CPU time: 35.7549 s c =============================================================================== c | 99 | 700 1812 669900 | 5000 99 102 | 0.000 % | c =============================================================================== c New solution: 1865 c Elapsed CPU time: 144.472 s Remaining CPU time: 35.528 s c =============================================================================== c | 99 | 700 1813 670500 | 5000 99 102 | 0.000 % | c =============================================================================== c New solution: 1864 c Elapsed CPU time: 144.698 s Remaining CPU time: 35.302 s c =============================================================================== c | 99 | 700 1814 671100 | 5000 99 102 | 0.000 % | c =============================================================================== c New solution: 1863 c Elapsed CPU time: 144.931 s Remaining CPU time: 35.069 s c =============================================================================== c | 99 | 700 1815 671700 | 5000 99 102 | 0.000 % | c =============================================================================== c New solution: 1862 c Elapsed CPU time: 145.175 s Remaining CPU time: 34.8251 s c =============================================================================== c | 99 | 700 1816 672300 | 5000 99 102 | 0.000 % | c =============================================================================== c New solution: 1861 c Elapsed CPU time: 145.405 s Remaining CPU time: 34.5951 s c =============================================================================== c | 99 | 700 1817 672900 | 5000 99 102 | 0.000 % | c =============================================================================== c New solution: 1860 c Elapsed CPU time: 145.631 s Remaining CPU time: 34.3691 s c =============================================================================== c | 99 | 700 1818 673500 | 5000 99 102 | 0.000 % | c =============================================================================== c New solution: 1859 c Elapsed CPU time: 145.865 s Remaining CPU time: 34.1352 s c =============================================================================== c | 99 | 700 1819 674100 | 5000 99 102 | 0.000 % | c =============================================================================== c New solution: 1858 c Elapsed CPU time: 146.09 s Remaining CPU time: 33.9102 s c =============================================================================== c | 99 | 700 1820 674700 | 5000 99 102 | 0.000 % | c =============================================================================== c New solution: 1857 c Elapsed CPU time: 146.32 s Remaining CPU time: 33.6802 s c =============================================================================== c | 99 | 700 1821 675300 | 5000 99 102 | 0.000 % | c =============================================================================== c New solution: 1856 c Elapsed CPU time: 146.543 s Remaining CPU time: 33.4573 s c =============================================================================== c | 99 | 700 1822 675900 | 5000 99 102 | 0.000 % | c =============================================================================== c New solution: 1855 c Elapsed CPU time: 146.75 s Remaining CPU time: 33.2503 s c =============================================================================== c | 99 | 700 1823 676500 | 5000 99 102 | 0.000 % | c =============================================================================== c New solution: 1854 c Elapsed CPU time: 146.989 s Remaining CPU time: 33.0113 s c =============================================================================== c | 99 | 700 1824 677100 | 5000 99 102 | 0.000 % | c =============================================================================== c New solution: 1853 c Elapsed CPU time: 147.221 s Remaining CPU time: 32.7794 s c =============================================================================== c | 99 | 700 1825 677700 | 5000 99 102 | 0.000 % | c =============================================================================== c New solution: 1852 c Elapsed CPU time: 147.458 s Remaining CPU time: 32.5424 s c =============================================================================== c | 99 | 700 1826 678300 | 5000 99 102 | 0.000 % | c =============================================================================== c New solution: 1851 c Elapsed CPU time: 147.702 s Remaining CPU time: 32.2985 s c =============================================================================== c | 100 | 700 1827 678900 | 5000 100 105 | 0.000 % | c =============================================================================== c New solution: 1850 c Elapsed CPU time: 147.917 s Remaining CPU time: 32.0835 s c =============================================================================== c | 100 | 700 1828 679500 | 5000 100 105 | 0.000 % | c =============================================================================== c New solution: 1849 c Elapsed CPU time: 148.142 s Remaining CPU time: 31.8575 s c =============================================================================== c | 100 | 700 1829 680100 | 5000 100 105 | 0.000 % | c =============================================================================== c New solution: 1848 c Elapsed CPU time: 148.363 s Remaining CPU time: 31.6366 s c =============================================================================== c | 100 | 700 1830 680700 | 5000 100 105 | 0.000 % | c =============================================================================== c New solution: 1847 c Elapsed CPU time: 148.589 s Remaining CPU time: 31.4106 s c =============================================================================== c | 100 | 700 1831 681300 | 5000 100 105 | 0.000 % | c =============================================================================== c New solution: 1846 c Elapsed CPU time: 148.818 s Remaining CPU time: 31.1816 s c =============================================================================== c | 100 | 700 1832 681900 | 5000 100 105 | 0.000 % | c =============================================================================== c New solution: 1845 c Elapsed CPU time: 149.045 s Remaining CPU time: 30.9547 s c =============================================================================== c | 100 | 700 1833 682500 | 5000 100 105 | 0.000 % | c =============================================================================== c New solution: 1844 c Elapsed CPU time: 149.278 s Remaining CPU time: 30.7217 s c =============================================================================== c | 100 | 700 1834 683100 | 5000 100 105 | 0.000 % | c =============================================================================== c New solution: 1843 c Elapsed CPU time: 149.517 s Remaining CPU time: 30.4827 s c =============================================================================== c | 101 | 700 1835 683700 | 5000 101 104 | 0.000 % | c =============================================================================== c New solution: 1842 c Elapsed CPU time: 149.754 s Remaining CPU time: 30.2458 s c =============================================================================== c | 101 | 700 1836 684300 | 5000 101 104 | 0.000 % | c =============================================================================== c New solution: 1841 c Elapsed CPU time: 149.988 s Remaining CPU time: 30.0118 s c =============================================================================== c | 101 | 700 1837 684900 | 5000 101 104 | 0.000 % | c =============================================================================== c New solution: 1840 c Elapsed CPU time: 150.208 s Remaining CPU time: 29.7918 s c =============================================================================== c | 101 | 700 1838 685500 | 5000 101 104 | 0.000 % | c =============================================================================== c New solution: 1839 c Elapsed CPU time: 150.432 s Remaining CPU time: 29.5679 s c =============================================================================== c | 101 | 700 1839 686100 | 5000 101 104 | 0.000 % | c =============================================================================== c New solution: 1838 c Elapsed CPU time: 150.66 s Remaining CPU time: 29.3399 s c =============================================================================== c | 101 | 700 1840 686700 | 5000 101 104 | 0.000 % | c =============================================================================== c New solution: 1837 c Elapsed CPU time: 150.907 s Remaining CPU time: 29.0929 s c =============================================================================== c | 101 | 700 1841 687300 | 5000 101 104 | 0.000 % | c =============================================================================== c New solution: 1836 c Elapsed CPU time: 151.127 s Remaining CPU time: 28.873 s c =============================================================================== c | 101 | 700 1842 687900 | 5000 101 104 | 0.000 % | c =============================================================================== c New solution: 1835 c Elapsed CPU time: 151.365 s Remaining CPU time: 28.635 s c =============================================================================== c | 101 | 700 1843 688500 | 5000 101 104 | 0.000 % | c =============================================================================== c New solution: 1834 c Elapsed CPU time: 151.6 s Remaining CPU time: 28.4 s c =============================================================================== c | 101 | 700 1844 689100 | 5000 101 104 | 0.000 % | c =============================================================================== c New solution: 1833 c Elapsed CPU time: 151.838 s Remaining CPU time: 28.1621 s c =============================================================================== c | 101 | 700 1845 689700 | 5000 101 104 | 0.000 % | c =============================================================================== c New solution: 1832 c Elapsed CPU time: 152.075 s Remaining CPU time: 27.9251 s c =============================================================================== c | 101 | 700 1846 690300 | 5000 101 104 | 0.000 % | c =============================================================================== c New solution: 1831 c Elapsed CPU time: 152.303 s Remaining CPU time: 27.6972 s c =============================================================================== c | 101 | 700 1847 690900 | 5000 101 104 | 0.000 % | c =============================================================================== c New solution: 1830 c Elapsed CPU time: 152.53 s Remaining CPU time: 27.4702 s c =============================================================================== c | 101 | 700 1848 691500 | 5000 101 104 | 0.000 % | c =============================================================================== c New solution: 1829 c Elapsed CPU time: 152.773 s Remaining CPU time: 27.2272 s c =============================================================================== c | 102 | 700 1849 692100 | 5000 102 103 | 0.000 % | c =============================================================================== c New solution: 1828 c Elapsed CPU time: 153.014 s Remaining CPU time: 26.9863 s c =============================================================================== c | 102 | 700 1850 692700 | 5000 102 103 | 0.000 % | c =============================================================================== c New solution: 1827 c Elapsed CPU time: 153.238 s Remaining CPU time: 26.7623 s c =============================================================================== c | 102 | 700 1851 693300 | 5000 102 103 | 0.000 % | c =============================================================================== c New solution: 1826 c Elapsed CPU time: 153.48 s Remaining CPU time: 26.5203 s c =============================================================================== c | 102 | 700 1852 693900 | 5000 102 103 | 0.000 % | c =============================================================================== c New solution: 1825 c Elapsed CPU time: 153.705 s Remaining CPU time: 26.2954 s c =============================================================================== c | 102 | 700 1853 694500 | 5000 102 103 | 0.000 % | c =============================================================================== c New solution: 1824 c Elapsed CPU time: 153.938 s Remaining CPU time: 26.0624 s c =============================================================================== c | 102 | 700 1854 695100 | 5000 102 103 | 0.000 % | c =============================================================================== c New solution: 1823 c Elapsed CPU time: 154.209 s Remaining CPU time: 25.7914 s c =============================================================================== c | 104 | 700 1855 695700 | 5000 104 108 | 0.000 % | c =============================================================================== c New solution: 1822 c Elapsed CPU time: 154.446 s Remaining CPU time: 25.5545 s c =============================================================================== c | 104 | 700 1856 696300 | 5000 104 108 | 0.000 % | c =============================================================================== c New solution: 1821 c Elapsed CPU time: 154.668 s Remaining CPU time: 25.3315 s c =============================================================================== c | 104 | 700 1857 696900 | 5000 104 108 | 0.000 % | c =============================================================================== c New solution: 1820 c Elapsed CPU time: 154.881 s Remaining CPU time: 25.1185 s c =============================================================================== c | 104 | 700 1858 697500 | 5000 104 108 | 0.000 % | c =============================================================================== c New solution: 1819 c Elapsed CPU time: 155.117 s Remaining CPU time: 24.8826 s c =============================================================================== c | 104 | 700 1859 698100 | 5000 104 108 | 0.000 % | c =============================================================================== c New solution: 1818 c Elapsed CPU time: 155.37 s Remaining CPU time: 24.6296 s c =============================================================================== c | 104 | 700 1860 698700 | 5000 104 108 | 0.000 % | c =============================================================================== c New solution: 1817 c Elapsed CPU time: 155.612 s Remaining CPU time: 24.3877 s c =============================================================================== c | 104 | 700 1861 699300 | 5000 104 108 | 0.000 % | c =============================================================================== c New solution: 1816 c Elapsed CPU time: 155.859 s Remaining CPU time: 24.1407 s c =============================================================================== c | 104 | 700 1862 699900 | 5000 104 108 | 0.000 % | c =============================================================================== c New solution: 1815 c Elapsed CPU time: 156.103 s Remaining CPU time: 23.8967 s c =============================================================================== c | 104 | 700 1863 700500 | 5000 104 108 | 0.000 % | c =============================================================================== c New solution: 1814 c Elapsed CPU time: 156.331 s Remaining CPU time: 23.6688 s c =============================================================================== c | 104 | 700 1864 701100 | 5000 104 108 | 0.000 % | c =============================================================================== c New solution: 1813 c Elapsed CPU time: 156.55 s Remaining CPU time: 23.4498 s c =============================================================================== c | 104 | 700 1865 701700 | 5000 104 108 | 0.000 % | c =============================================================================== c New solution: 1812 c Elapsed CPU time: 156.782 s Remaining CPU time: 23.2178 s c =============================================================================== c | 104 | 700 1866 702300 | 5000 104 108 | 0.000 % | c =============================================================================== c New solution: 1811 c Elapsed CPU time: 157.009 s Remaining CPU time: 22.9909 s c =============================================================================== c | 104 | 700 1867 702900 | 5000 104 108 | 0.000 % | c =============================================================================== c New solution: 1810 c Elapsed CPU time: 157.256 s Remaining CPU time: 22.7439 s c =============================================================================== c | 104 | 700 1868 703500 | 5000 104 108 | 0.000 % | c =============================================================================== c New solution: 1809 c Elapsed CPU time: 157.488 s Remaining CPU time: 22.5119 s c =============================================================================== c | 104 | 700 1869 704100 | 5000 104 108 | 0.000 % | c =============================================================================== c New solution: 1808 c Elapsed CPU time: 157.726 s Remaining CPU time: 22.274 s c =============================================================================== c | 104 | 700 1870 704700 | 5000 104 108 | 0.000 % | c =============================================================================== c New solution: 1807 c Elapsed CPU time: 157.958 s Remaining CPU time: 22.042 s c =============================================================================== c | 105 | 700 1871 705300 | 5000 105 107 | 0.000 % | c =============================================================================== c New solution: 1806 c Elapsed CPU time: 158.174 s Remaining CPU time: 21.826 s c =============================================================================== c | 105 | 700 1872 705900 | 5000 105 107 | 0.000 % | c =============================================================================== c New solution: 1805 c Elapsed CPU time: 158.417 s Remaining CPU time: 21.5831 s c =============================================================================== c | 105 | 700 1873 706500 | 5000 105 107 | 0.000 % | c =============================================================================== c New solution: 1804 c Elapsed CPU time: 158.648 s Remaining CPU time: 21.3521 s c =============================================================================== c | 105 | 700 1874 707100 | 5000 105 107 | 0.000 % | c =============================================================================== c New solution: 1803 c Elapsed CPU time: 158.889 s Remaining CPU time: 21.1112 s c =============================================================================== c | 105 | 700 1875 707700 | 5000 105 107 | 0.000 % | c =============================================================================== c New solution: 1802 c Elapsed CPU time: 159.125 s Remaining CPU time: 20.8752 s c =============================================================================== c | 105 | 700 1876 708300 | 5000 105 107 | 0.000 % | c =============================================================================== c New solution: 1801 c Elapsed CPU time: 159.374 s Remaining CPU time: 20.6262 s c =============================================================================== c | 105 | 700 1877 708900 | 5000 105 107 | 0.000 % | c =============================================================================== c New solution: 1800 c Elapsed CPU time: 159.623 s Remaining CPU time: 20.3773 s c =============================================================================== c | 105 | 700 1878 709500 | 5000 105 107 | 0.000 % | c =============================================================================== c New solution: 1799 c Elapsed CPU time: 159.839 s Remaining CPU time: 20.1613 s c =============================================================================== c | 105 | 700 1879 710100 | 5000 105 107 | 0.000 % | c =============================================================================== c New solution: 1798 c Elapsed CPU time: 160.068 s Remaining CPU time: 19.9323 s c =============================================================================== c | 105 | 700 1880 710700 | 5000 105 107 | 0.000 % | c =============================================================================== c New solution: 1797 c Elapsed CPU time: 160.295 s Remaining CPU time: 19.7054 s c =============================================================================== c | 110 | 700 1881 711300 | 5000 110 103 | 0.000 % | c =============================================================================== c New solution: 1796 c Elapsed CPU time: 160.574 s Remaining CPU time: 19.4264 s c =============================================================================== c | 121 | 700 1882 711900 | 5000 121 127 | 0.000 % | c =============================================================================== c New solution: 1795 c Elapsed CPU time: 160.803 s Remaining CPU time: 19.1974 s c =============================================================================== c | 123 | 700 1883 712500 | 5000 123 125 | 0.000 % | c =============================================================================== c New solution: 1794 c Elapsed CPU time: 161.042 s Remaining CPU time: 18.9585 s c =============================================================================== c | 123 | 700 1884 713100 | 5000 123 125 | 0.000 % | c =============================================================================== c New solution: 1793 c Elapsed CPU time: 161.265 s Remaining CPU time: 18.7345 s c =============================================================================== c | 126 | 700 1885 713700 | 5000 126 123 | 0.000 % | c =============================================================================== c New solution: 1792 c Elapsed CPU time: 161.501 s Remaining CPU time: 18.4986 s c =============================================================================== c | 126 | 700 1886 714300 | 5000 126 123 | 0.000 % | c =============================================================================== c New solution: 1791 c Elapsed CPU time: 161.736 s Remaining CPU time: 18.2636 s c =============================================================================== c | 126 | 700 1887 714900 | 5000 126 123 | 0.000 % | c =============================================================================== c New solution: 1790 c Elapsed CPU time: 161.978 s Remaining CPU time: 18.0216 s c =============================================================================== c | 126 | 700 1888 715500 | 5000 126 123 | 0.000 % | c =============================================================================== c New solution: 1789 c Elapsed CPU time: 162.202 s Remaining CPU time: 17.7977 s c =============================================================================== c | 126 | 700 1889 716100 | 5000 126 123 | 0.000 % | c =============================================================================== c New solution: 1788 c Elapsed CPU time: 162.441 s Remaining CPU time: 17.5587 s c =============================================================================== c | 128 | 700 1890 716700 | 5000 128 121 | 0.000 % | c =============================================================================== c New solution: 1787 c Elapsed CPU time: 162.662 s Remaining CPU time: 17.3377 s c =============================================================================== c | 128 | 700 1891 717300 | 5000 128 121 | 0.000 % | c =============================================================================== c New solution: 1786 c Elapsed CPU time: 162.895 s Remaining CPU time: 17.1048 s c =============================================================================== c | 131 | 700 1892 717900 | 5000 131 118 | 0.000 % | c =============================================================================== c New solution: 1785 c Elapsed CPU time: 163.123 s Remaining CPU time: 16.8768 s c =============================================================================== c | 131 | 700 1893 718500 | 5000 131 118 | 0.000 % | c =============================================================================== c New solution: 1784 c Elapsed CPU time: 163.349 s Remaining CPU time: 16.6508 s c =============================================================================== c | 149 | 700 1894 719100 | 5000 149 107 | 0.000 % | c =============================================================================== c New solution: 1783 c Elapsed CPU time: 163.601 s Remaining CPU time: 16.3989 s c =============================================================================== c | 149 | 700 1895 719700 | 5000 149 107 | 0.000 % | c =============================================================================== c New solution: 1782 c Elapsed CPU time: 163.897 s Remaining CPU time: 16.1029 s c =============================================================================== c | 156 | 700 1896 720300 | 5000 156 119 | 0.000 % | c =============================================================================== c New solution: 1781 c Elapsed CPU time: 164.118 s Remaining CPU time: 15.8819 s c =============================================================================== c | 157 | 700 1897 720900 | 5000 157 118 | 0.000 % | c =============================================================================== c New solution: 1780 c Elapsed CPU time: 164.351 s Remaining CPU time: 15.649 s c =============================================================================== c | 157 | 700 1898 721500 | 5000 157 118 | 0.000 % | c =============================================================================== c New solution: 1779 c Elapsed CPU time: 164.582 s Remaining CPU time: 15.418 s c =============================================================================== c | 157 | 700 1899 722100 | 5000 157 118 | 0.000 % | c =============================================================================== c New solution: 1778 c Elapsed CPU time: 164.81 s Remaining CPU time: 15.1901 s c =============================================================================== c | 157 | 700 1900 722700 | 5000 157 118 | 0.000 % | c =============================================================================== c New solution: 1777 c Elapsed CPU time: 165.034 s Remaining CPU time: 14.9661 s c =============================================================================== c | 158 | 700 1901 723300 | 5000 158 117 | 0.000 % | c =============================================================================== c New solution: 1776 c Elapsed CPU time: 165.296 s Remaining CPU time: 14.7041 s c =============================================================================== c | 159 | 700 1902 723900 | 5000 159 119 | 0.000 % | c =============================================================================== c New solution: 1775 c Elapsed CPU time: 165.553 s Remaining CPU time: 14.4472 s c =============================================================================== c | 159 | 700 1903 724500 | 5000 159 119 | 0.000 % | c =============================================================================== c New solution: 1774 c Elapsed CPU time: 165.787 s Remaining CPU time: 14.2132 s c =============================================================================== c | 159 | 700 1904 725100 | 5000 159 119 | 0.000 % | c =============================================================================== c New solution: 1773 c Elapsed CPU time: 166.055 s Remaining CPU time: 13.9452 s c =============================================================================== c | 161 | 700 1905 725700 | 5000 161 118 | 0.000 % | c =============================================================================== c New solution: 1772 c Elapsed CPU time: 166.281 s Remaining CPU time: 13.7193 s c =============================================================================== c | 161 | 700 1906 726300 | 5000 161 118 | 0.000 % | c =============================================================================== c New solution: 1771 c Elapsed CPU time: 166.516 s Remaining CPU time: 13.4843 s c =============================================================================== c | 161 | 700 1907 726900 | 5000 161 118 | 0.000 % | c =============================================================================== c New solution: 1770 c Elapsed CPU time: 166.76 s Remaining CPU time: 13.2404 s c =============================================================================== c | 161 | 700 1908 727500 | 5000 161 118 | 0.000 % | c =============================================================================== c New solution: 1769 c Elapsed CPU time: 166.989 s Remaining CPU time: 13.0114 s c =============================================================================== c | 161 | 700 1909 728100 | 5000 161 118 | 0.000 % | c =============================================================================== c New solution: 1768 c Elapsed CPU time: 167.222 s Remaining CPU time: 12.7784 s c =============================================================================== c | 161 | 700 1910 728700 | 5000 161 118 | 0.000 % | c =============================================================================== c New solution: 1767 c Elapsed CPU time: 167.48 s Remaining CPU time: 12.5205 s c =============================================================================== c | 162 | 700 1911 729300 | 5000 162 119 | 0.000 % | c =============================================================================== c New solution: 1766 c Elapsed CPU time: 167.716 s Remaining CPU time: 12.2845 s c =============================================================================== c | 162 | 700 1912 729900 | 5000 162 119 | 0.000 % | c =============================================================================== c New solution: 1765 c Elapsed CPU time: 167.949 s Remaining CPU time: 12.0505 s c =============================================================================== c | 162 | 700 1913 730500 | 5000 162 119 | 0.000 % | c =============================================================================== c New solution: 1764 c Elapsed CPU time: 168.181 s Remaining CPU time: 11.8186 s c =============================================================================== c | 162 | 700 1914 731100 | 5000 162 119 | 0.000 % | c =============================================================================== c New solution: 1763 c Elapsed CPU time: 168.418 s Remaining CPU time: 11.5816 s c =============================================================================== c | 162 | 700 1915 731700 | 5000 162 119 | 0.000 % | c =============================================================================== c New solution: 1762 c Elapsed CPU time: 168.657 s Remaining CPU time: 11.3426 s c =============================================================================== c | 162 | 700 1916 732300 | 5000 162 119 | 0.000 % | c =============================================================================== c New solution: 1761 c Elapsed CPU time: 168.887 s Remaining CPU time: 11.1127 s c =============================================================================== c | 162 | 700 1917 732900 | 5000 162 119 | 0.000 % | c =============================================================================== c New solution: 1760 c Elapsed CPU time: 169.127 s Remaining CPU time: 10.8727 s c =============================================================================== c | 162 | 700 1918 733500 | 5000 162 119 | 0.000 % | c =============================================================================== c New solution: 1759 c Elapsed CPU time: 169.36 s Remaining CPU time: 10.6397 s c =============================================================================== c | 162 | 700 1919 734100 | 5000 162 119 | 0.000 % | c =============================================================================== c New solution: 1758 c Elapsed CPU time: 169.587 s Remaining CPU time: 10.4128 s c =============================================================================== c | 163 | 700 1920 734700 | 5000 163 118 | 0.000 % | c =============================================================================== c New solution: 1757 c Elapsed CPU time: 169.842 s Remaining CPU time: 10.1578 s c =============================================================================== c | 163 | 700 1921 735300 | 5000 163 118 | 0.000 % | c =============================================================================== c New solution: 1756 c Elapsed CPU time: 170.074 s Remaining CPU time: 9.92586 s c =============================================================================== c | 165 | 700 1922 735900 | 5000 165 117 | 0.000 % | c =============================================================================== c New solution: 1755 c Elapsed CPU time: 170.319 s Remaining CPU time: 9.68089 s c =============================================================================== c | 165 | 700 1923 736500 | 5000 165 117 | 0.000 % | c =============================================================================== c New solution: 1754 c Elapsed CPU time: 170.565 s Remaining CPU time: 9.43493 s c =============================================================================== c | 167 | 700 1924 737100 | 5000 167 116 | 0.000 % | c =============================================================================== c New solution: 1753 c Elapsed CPU time: 170.801 s Remaining CPU time: 9.19897 s c =============================================================================== c | 167 | 700 1925 737700 | 5000 167 116 | 0.000 % | c =============================================================================== c New solution: 1752 c Elapsed CPU time: 171.019 s Remaining CPU time: 8.981 s c =============================================================================== c | 167 | 700 1926 738300 | 5000 167 116 | 0.000 % | c =============================================================================== c New solution: 1751 c Elapsed CPU time: 171.247 s Remaining CPU time: 8.75303 s c =============================================================================== c | 167 | 700 1927 738900 | 5000 167 116 | 0.000 % | c =============================================================================== c New solution: 1750 c Elapsed CPU time: 171.466 s Remaining CPU time: 8.53407 s c =============================================================================== c | 167 | 700 1928 739500 | 5000 167 116 | 0.000 % | c =============================================================================== c New solution: 1749 c Elapsed CPU time: 171.717 s Remaining CPU time: 8.28311 s c =============================================================================== c | 167 | 700 1929 740100 | 5000 167 116 | 0.000 % | c =============================================================================== c New solution: 1748 c Elapsed CPU time: 171.965 s Remaining CPU time: 8.03514 s c =============================================================================== c | 167 | 700 1930 740700 | 5000 167 116 | 0.000 % | c =============================================================================== c New solution: 1747 c Elapsed CPU time: 172.226 s Remaining CPU time: 7.77418 s c =============================================================================== c | 167 | 700 1931 741300 | 5000 167 116 | 0.000 % | c =============================================================================== c New solution: 1746 c Elapsed CPU time: 172.471 s Remaining CPU time: 7.52922 s c =============================================================================== c | 167 | 700 1932 741900 | 5000 167 116 | 0.000 % | c =============================================================================== c New solution: 1745 c Elapsed CPU time: 172.728 s Remaining CPU time: 7.27226 s c =============================================================================== c | 167 | 700 1933 742500 | 5000 167 116 | 0.000 % | c =============================================================================== c New solution: 1744 c Elapsed CPU time: 172.974 s Remaining CPU time: 7.0263 s c =============================================================================== c | 167 | 700 1934 743100 | 5000 167 116 | 0.000 % | c =============================================================================== c New solution: 1743 c Elapsed CPU time: 173.232 s Remaining CPU time: 6.76834 s c =============================================================================== c | 167 | 700 1935 743700 | 5000 167 116 | 0.000 % | c =============================================================================== c New solution: 1742 c Elapsed CPU time: 173.479 s Remaining CPU time: 6.52137 s c =============================================================================== c | 167 | 700 1936 744300 | 5000 167 116 | 0.000 % | c =============================================================================== c New solution: 1741 c Elapsed CPU time: 173.717 s Remaining CPU time: 6.28341 s c =============================================================================== c | 167 | 700 1937 744900 | 5000 167 116 | 0.000 % | c =============================================================================== c New solution: 1740 c Elapsed CPU time: 173.982 s Remaining CPU time: 6.01845 s c =============================================================================== c | 167 | 700 1938 745500 | 5000 167 116 | 0.000 % | c =============================================================================== c New solution: 1739 c Elapsed CPU time: 174.225 s Remaining CPU time: 5.77549 s c =============================================================================== c | 167 | 700 1939 746100 | 5000 167 116 | 0.000 % | c =============================================================================== c New solution: 1738 c Elapsed CPU time: 174.47 s Remaining CPU time: 5.52952 s c =============================================================================== c | 167 | 700 1940 746700 | 5000 167 116 | 0.000 % | c =============================================================================== c New solution: 1737 c Elapsed CPU time: 174.716 s Remaining CPU time: 5.28356 s c =============================================================================== c | 167 | 700 1941 747300 | 5000 167 116 | 0.000 % | c =============================================================================== c New solution: 1736 c Elapsed CPU time: 174.97 s Remaining CPU time: 5.0296 s c =============================================================================== c | 167 | 700 1942 747900 | 5000 167 116 | 0.000 % | c =============================================================================== c New solution: 1735 c Elapsed CPU time: 175.225 s Remaining CPU time: 4.77464 s c =============================================================================== c | 168 | 700 1943 748500 | 5000 168 117 | 0.000 % | c =============================================================================== c New solution: 1734 c Elapsed CPU time: 175.47 s Remaining CPU time: 4.52968 s c =============================================================================== c | 172 | 700 1944 749100 | 5000 172 115 | 0.000 % | c =============================================================================== c New solution: 1733 c Elapsed CPU time: 175.707 s Remaining CPU time: 4.29271 s c =============================================================================== c | 172 | 700 1945 749700 | 5000 172 115 | 0.000 % | c =============================================================================== c New solution: 1732 c Elapsed CPU time: 175.953 s Remaining CPU time: 4.04675 s c =============================================================================== c | 172 | 700 1946 750300 | 5000 172 115 | 0.000 % | c =============================================================================== c New solution: 1731 c Elapsed CPU time: 176.2 s Remaining CPU time: 3.79979 s c =============================================================================== c | 174 | 700 1947 750900 | 5000 174 118 | 0.000 % | c =============================================================================== c New solution: 1730 c Elapsed CPU time: 176.466 s Remaining CPU time: 3.53383 s c =============================================================================== c | 175 | 700 1948 751500 | 5000 175 119 | 0.000 % | c =============================================================================== c New solution: 1729 c Elapsed CPU time: 176.711 s Remaining CPU time: 3.28886 s c =============================================================================== c | 175 | 700 1949 752100 | 5000 175 119 | 0.000 % | c =============================================================================== c New solution: 1728 c Elapsed CPU time: 176.958 s Remaining CPU time: 3.0419 s c =============================================================================== c | 175 | 700 1950 752700 | 5000 175 119 | 0.000 % | c =============================================================================== c New solution: 1727 c Elapsed CPU time: 177.204 s Remaining CPU time: 2.79594 s c =============================================================================== c | 175 | 700 1951 753300 | 5000 175 119 | 0.000 % | c =============================================================================== c New solution: 1726 c Elapsed CPU time: 177.471 s Remaining CPU time: 2.52898 s c =============================================================================== c | 176 | 700 1952 753900 | 5000 176 120 | 0.000 % | c =============================================================================== c New solution: 1725 c Elapsed CPU time: 177.716 s Remaining CPU time: 2.28402 s c =============================================================================== c | 176 | 700 1953 754500 | 5000 176 120 | 0.000 % | c =============================================================================== c New solution: 1724 c Elapsed CPU time: 177.945 s Remaining CPU time: 2.05505 s c =============================================================================== c | 179 | 700 1954 755100 | 5000 179 119 | 0.000 % | c =============================================================================== c New solution: 1723 c Elapsed CPU time: 178.198 s Remaining CPU time: 1.80209 s c =============================================================================== c | 179 | 700 1955 755700 | 5000 179 119 | 0.000 % | c =============================================================================== c New solution: 1722 c Elapsed CPU time: 178.457 s Remaining CPU time: 1.54313 s c =============================================================================== c | 179 | 700 1956 756300 | 5000 179 119 | 0.000 % | c =============================================================================== c New solution: 1721 c Elapsed CPU time: 178.701 s Remaining CPU time: 1.29917 s c =============================================================================== c | 179 | 700 1957 756900 | 5000 179 119 | 0.000 % | c =============================================================================== c New solution: 1720 c Elapsed CPU time: 178.938 s Remaining CPU time: 1.0622 s c =============================================================================== c | 179 | 700 1958 757500 | 5000 179 119 | 0.000 % | c =============================================================================== c New solution: 1719 c Elapsed CPU time: 179.206 s Remaining CPU time: 0.794244 s c =============================================================================== c | 179 | 700 1959 758100 | 5000 179 119 | 0.000 % | c =============================================================================== c New solution: 1718 c Elapsed CPU time: 179.452 s Remaining CPU time: 0.548281 s c =============================================================================== c | 179 | 700 1960 758700 | 5000 179 119 | 0.000 % | c =============================================================================== c New solution: 1717 c Elapsed CPU time: 179.7 s Remaining CPU time: 0.300319 s c =============================================================================== c | 179 | 700 1961 759300 | 5000 179 119 | 0.000 % | c =============================================================================== c New solution: 1716 c Elapsed CPU time: 179.954 s Remaining CPU time: 0.046358 s c =============================================================================== c | 179 | 700 1962 759900 | 5000 179 119 | 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 2568 2715 | 5000 0 nan | 0.000 % | c | 102 | 96 2568 2715 | 5500 102 35 | 86.286 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 485 2887 3137 | 5000 0 nan | 0.000 % | c | 101 | 485 2887 3137 | 5500 101 58 | 53.854 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 870 3177 3628 | 5000 0 nan | 0.000 % | c | 100 | 870 3177 3628 | 5500 100 50 | 37.679 % | c | 250 | 869 3177 3628 | 6050 109 26 | 37.751 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1300 3476 4275 | 5000 0 nan | 0.000 % | c | 101 | 1300 3476 4275 | 5500 101 36 | 27.007 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1635 3728 4802 | 5000 0 nan | 0.000 % | c | 100 | 1635 3728 4802 | 5500 100 52 | 21.243 % | c | 251 | 1634 3728 4802 | 6050 161 34 | 21.291 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2073 3997 5587 | 5000 0 nan | 0.000 % | c | 100 | 2073 3997 5587 | 5500 100 72 | 16.039 % | c | 250 | 2073 3997 5587 | 6050 250 48 | 16.039 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2687 4277 6911 | 5000 0 nan | 0.000 % | c | 100 | 2687 4277 6911 | 5500 100 36 | 10.908 % | c | 250 | 2687 4277 6911 | 6050 250 31 | 10.908 % | c | 476 | 2687 4277 6911 | 6655 476 36 | 10.909 % | c | 813 | 2685 4277 6911 | 7320 504 40 | 11.008 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3392 4542 8372 | 5000 0 nan | 0.000 % | c | 101 | 3392 4542 8372 | 5500 101 34 | 7.676 % | c | 252 | 3392 4542 8372 | 6050 252 28 | 7.676 % | c | 477 | 3392 4542 8372 | 6655 477 33 | 7.676 % | c | 815 | 3392 4542 8372 | 7320 815 33 | 7.676 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4159 4761 10196 | 5000 0 nan | 0.000 % | c | 102 | 4159 4761 10196 | 5500 102 28 | 5.154 % | c | 255 | 4159 4761 10196 | 6050 255 25 | 5.154 % | c | 480 | 4159 4761 10196 | 6655 480 28 | 5.154 % | c | 819 | 4159 4761 10196 | 7320 819 30 | 5.154 % | c | 1326 | 4159 4761 10196 | 8052 1326 31 | 5.154 % | c | 2085 | 4159 4761 10196 | 8857 2085 45 | 5.154 % | c | 3226 | 4158 4761 10196 | 9743 2537 37 | 5.177 % | c | 4936 | 4156 4761 10196 | 10717 1656 21 | 5.222 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5425 4926 34223 | 5000 0 nan | 0.000 % | c | 101 | 5425 4926 34223 | 5500 101 36 | 2.986 % | c | 253 | 5425 4926 34223 | 6050 253 21 | 2.986 % | c | 479 | 5425 4926 34223 | 6655 479 51 | 2.986 % | c | 816 | 5425 4926 34223 | 7320 816 65 | 2.986 % | c | 1322 | 5425 4926 34223 | 8052 1322 48 | 2.986 % | c | 2081 | 5425 4926 34223 | 8857 2081 50 | 2.986 % | c | 3220 | 5425 4926 34223 | 9743 3220 55 | 2.986 % | c | 4930 | 5424 4926 34223 | 10717 4328 49 | 3.004 % | c | 7492 | 5424 4926 34223 | 11789 6890 44 | 3.004 % | c | 11336 | 5424 4926 34223 | 12968 10734 47 | 3.004 % | c | 17102 | 5424 4926 34223 | 14265 9921 46 | 3.004 % | c | 25751 | 5422 4926 34223 | 15692 6609 29 | 3.040 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7356 5036 315928 | 5000 0 nan | 0.000 % | c | 100 | 7356 5036 315928 | 5500 100 37 | 1.434 % | c | 250 | 7356 5036 315928 | 6050 250 30 | 1.434 % | c | 475 | 7356 5036 315928 | 6655 475 26 | 1.434 % | c | 814 | 7356 5036 315928 | 7320 814 28 | 1.434 % | c | 1320 | 7356 5036 315928 | 8052 1320 22 | 1.434 % | c | 2079 | 7356 5036 315928 | 8857 2079 29 | 1.434 % | c | 3218 | 7356 5036 315928 | 9743 3218 29 | 1.434 % | c | 4928 | 7356 5036 315928 | 10717 4928 41 | 1.434 % | c | 7490 | 7356 5036 315928 | 11789 7490 36 | 1.434 % | c | 11335 | 7356 5036 315928 | 12968 11335 51 | 1.434 % | c | 17101 | 7356 5036 315928 | 14265 10541 45 | 1.434 % | c | 25750 | 7356 5036 315928 | 15692 11615 44 | 1.434 % | c | 38725 | 7356 5036 315928 | 17261 16298 104 | 1.434 % | c | 58186 | 7356 5036 315928 | 18987 9632 34 | 1.434 % | c | 87378 | 7356 5036 315928 | 20886 17926 88 | 1.434 % | c | 131171 | 7355 5036 315928 | 22974 19879 26 | 1.447 % | c | 196857 | 7354 5036 315928 | 25272 18187 31 | 1.461 % | c | 295386 | 7352 5036 315928 | 27799 16914 22 | 1.487 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9712 5100 547400 | 5000 0 nan | 0.000 % | c | 101 | 9712 5100 547400 | 5500 101 21 | 0.634 % | c | 251 | 9712 5100 547400 | 6050 251 34 | 0.634 % | c | 476 | 9712 5100 547400 | 6655 476 31 | 0.634 % | c | 813 | 9712 5100 547400 | 7320 813 24 | 0.634 % | c | 1319 | 9712 5100 547400 | 8052 1319 36 | 0.634 % | c | 2080 | 9712 5100 547400 | 8857 2080 34 | 0.634 % | c | 3219 | 9712 5100 547400 | 9743 3219 56 | 0.634 % | c | 4927 | 9712 5100 547400 | 10717 4927 52 | 0.634 % | c | 7490 | 9712 5100 547400 | 11789 7490 80 | 0.634 % | c Memory used : 200.30 MB c CPU time : 1800 s c c Total CPU time: 1800 s