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: 3223 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: 3215 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: 3212 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: 3211 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 700 704 5100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3210 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 700 705 5700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3207 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: 3205 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: 3203 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 700 708 7500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3201 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: 3200 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: 3198 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 700 711 9300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3196 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 700 712 9900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3195 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 700 713 10500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3193 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 1 | 700 714 11100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3192 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 1 | 700 715 11700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3190 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 1 | 700 716 12300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3188 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 1 | 700 717 12900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3186 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 1 | 700 718 13500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3185 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 1 | 700 719 14100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3184 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 1 | 700 720 14700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3183 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 1 | 700 721 15300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3181 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 1 | 700 722 15900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3180 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 1 | 700 723 16500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3179 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 1 | 700 724 17100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3178 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 1 | 700 725 17700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3176 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 1 | 700 726 18300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3175 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 1 | 700 727 18900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3172 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 1 | 700 728 19500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3171 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 1 | 700 729 20100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3170 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 1 | 700 730 20700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3168 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 1 | 700 731 21300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3167 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 1 | 700 732 21900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3166 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 1 | 700 733 22500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3165 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 1 | 700 734 23100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3163 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 1 | 700 735 23700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3158 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 1 | 700 736 24300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3157 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 1 | 700 737 24900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3156 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 1 | 700 738 25500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3154 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 1 | 700 739 26100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3153 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 1 | 700 740 26700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3152 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 1 | 700 741 27300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3150 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 1 | 700 742 27900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3149 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 1 | 700 743 28500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3147 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 1 | 700 744 29100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3146 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 1 | 700 745 29700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3145 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 1 | 700 746 30300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3143 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 1 | 700 747 30900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3141 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 1 | 700 748 31500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3140 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 1 | 700 749 32100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3139 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 1 | 700 750 32700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3137 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s c =============================================================================== c | 1 | 700 751 33300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3136 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 1 | 700 752 33900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3134 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 1 | 700 753 34500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3133 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 1 | 700 754 35100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3131 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s c =============================================================================== c | 1 | 700 755 35700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3130 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 1 | 700 756 36300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3129 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 1 | 700 757 36900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3128 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 1 | 700 758 37500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3127 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 1 | 700 759 38100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3126 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 1 | 700 760 38700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3125 c Elapsed CPU time: 0.307953 s Remaining CPU time: 179.692 s c =============================================================================== c | 1 | 700 761 39300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3124 c Elapsed CPU time: 0.315951 s Remaining CPU time: 179.684 s c =============================================================================== c | 1 | 700 762 39900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3123 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 1 | 700 763 40500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3122 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s c =============================================================================== c | 1 | 700 764 41100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3121 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 1 | 700 765 41700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3120 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 1 | 700 766 42300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3119 c Elapsed CPU time: 0.362944 s Remaining CPU time: 179.637 s c =============================================================================== c | 1 | 700 767 42900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3117 c Elapsed CPU time: 0.372943 s Remaining CPU time: 179.627 s c =============================================================================== c | 1 | 700 768 43500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3113 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 1 | 700 769 44100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3111 c Elapsed CPU time: 0.39294 s Remaining CPU time: 179.607 s c =============================================================================== c | 1 | 700 770 44700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3109 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 1 | 700 771 45300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3108 c Elapsed CPU time: 0.414936 s Remaining CPU time: 179.585 s c =============================================================================== c | 1 | 700 772 45900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3107 c Elapsed CPU time: 0.425935 s Remaining CPU time: 179.574 s c =============================================================================== c | 1 | 700 773 46500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3105 c Elapsed CPU time: 0.435933 s Remaining CPU time: 179.564 s c =============================================================================== c | 1 | 700 774 47100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3104 c Elapsed CPU time: 0.445932 s Remaining CPU time: 179.554 s c =============================================================================== c | 1 | 700 775 47700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3103 c Elapsed CPU time: 0.45593 s Remaining CPU time: 179.544 s c =============================================================================== c | 1 | 700 776 48300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3100 c Elapsed CPU time: 0.469928 s Remaining CPU time: 179.53 s c =============================================================================== c | 1 | 700 777 48900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3099 c Elapsed CPU time: 0.484926 s Remaining CPU time: 179.515 s c =============================================================================== c | 1 | 700 778 49500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3098 c Elapsed CPU time: 0.500923 s Remaining CPU time: 179.499 s c =============================================================================== c | 1 | 700 779 50100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3097 c Elapsed CPU time: 0.514921 s Remaining CPU time: 179.485 s c =============================================================================== c | 1 | 700 780 50700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3096 c Elapsed CPU time: 0.529919 s Remaining CPU time: 179.47 s c =============================================================================== c | 1 | 700 781 51300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3095 c Elapsed CPU time: 0.545917 s Remaining CPU time: 179.454 s c =============================================================================== c | 1 | 700 782 51900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3094 c Elapsed CPU time: 0.561914 s Remaining CPU time: 179.438 s c =============================================================================== c | 1 | 700 783 52500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3092 c Elapsed CPU time: 0.577912 s Remaining CPU time: 179.422 s c =============================================================================== c | 1 | 700 784 53100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3091 c Elapsed CPU time: 0.593909 s Remaining CPU time: 179.406 s c =============================================================================== c | 1 | 700 785 53700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3090 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s c =============================================================================== c | 1 | 700 786 54300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3088 c Elapsed CPU time: 0.626904 s Remaining CPU time: 179.373 s c =============================================================================== c | 1 | 700 787 54900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3085 c Elapsed CPU time: 0.641902 s Remaining CPU time: 179.358 s c =============================================================================== c | 1 | 700 788 55500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3084 c Elapsed CPU time: 0.6569 s Remaining CPU time: 179.343 s c =============================================================================== c | 1 | 700 789 56100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3083 c Elapsed CPU time: 0.675897 s Remaining CPU time: 179.324 s c =============================================================================== c | 1 | 700 790 56700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3082 c Elapsed CPU time: 0.694894 s Remaining CPU time: 179.305 s c =============================================================================== c | 1 | 700 791 57300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3081 c Elapsed CPU time: 0.712891 s Remaining CPU time: 179.287 s c =============================================================================== c | 1 | 700 792 57900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3079 c Elapsed CPU time: 0.730888 s Remaining CPU time: 179.269 s c =============================================================================== c | 1 | 700 793 58500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3077 c Elapsed CPU time: 0.749886 s Remaining CPU time: 179.25 s c =============================================================================== c | 1 | 700 794 59100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3076 c Elapsed CPU time: 0.770882 s Remaining CPU time: 179.229 s c =============================================================================== c | 1 | 700 795 59700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3074 c Elapsed CPU time: 0.790879 s Remaining CPU time: 179.209 s c =============================================================================== c | 1 | 700 796 60300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3072 c Elapsed CPU time: 0.809876 s Remaining CPU time: 179.19 s c =============================================================================== c | 1 | 700 797 60900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3071 c Elapsed CPU time: 0.829873 s Remaining CPU time: 179.17 s c =============================================================================== c | 1 | 700 798 61500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3070 c Elapsed CPU time: 0.85087 s Remaining CPU time: 179.149 s c =============================================================================== c | 1 | 700 799 62100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3069 c Elapsed CPU time: 0.870867 s Remaining CPU time: 179.129 s c =============================================================================== c | 1 | 700 800 62700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3068 c Elapsed CPU time: 0.889864 s Remaining CPU time: 179.11 s c =============================================================================== c | 1 | 700 801 63300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3067 c Elapsed CPU time: 0.911861 s Remaining CPU time: 179.088 s c =============================================================================== c | 1 | 700 802 63900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3066 c Elapsed CPU time: 0.935857 s Remaining CPU time: 179.064 s c =============================================================================== c | 1 | 700 803 64500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3065 c Elapsed CPU time: 0.958854 s Remaining CPU time: 179.041 s c =============================================================================== c | 1 | 700 804 65100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3064 c Elapsed CPU time: 0.98185 s Remaining CPU time: 179.018 s c =============================================================================== c | 1 | 700 805 65700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3063 c Elapsed CPU time: 1.00185 s Remaining CPU time: 178.998 s c =============================================================================== c | 1 | 700 806 66300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3062 c Elapsed CPU time: 1.02484 s Remaining CPU time: 178.975 s c =============================================================================== c | 1 | 700 807 66900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3061 c Elapsed CPU time: 1.04984 s Remaining CPU time: 178.95 s c =============================================================================== c | 1 | 700 808 67500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3060 c Elapsed CPU time: 1.07484 s Remaining CPU time: 178.925 s c =============================================================================== c | 1 | 700 809 68100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3059 c Elapsed CPU time: 1.10183 s Remaining CPU time: 178.898 s c =============================================================================== c | 1 | 700 810 68700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3058 c Elapsed CPU time: 1.12283 s Remaining CPU time: 178.877 s c =============================================================================== c | 1 | 700 811 69300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3057 c Elapsed CPU time: 1.14783 s Remaining CPU time: 178.852 s c =============================================================================== c | 1 | 700 812 69900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3056 c Elapsed CPU time: 1.17182 s Remaining CPU time: 178.828 s c =============================================================================== c | 1 | 700 813 70500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3055 c Elapsed CPU time: 1.19682 s Remaining CPU time: 178.803 s c =============================================================================== c | 1 | 700 814 71100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3054 c Elapsed CPU time: 1.22181 s Remaining CPU time: 178.778 s c =============================================================================== c | 1 | 700 815 71700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3053 c Elapsed CPU time: 1.24681 s Remaining CPU time: 178.753 s c =============================================================================== c | 1 | 700 816 72300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3052 c Elapsed CPU time: 1.27381 s Remaining CPU time: 178.726 s c =============================================================================== c | 1 | 700 817 72900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3051 c Elapsed CPU time: 1.2998 s Remaining CPU time: 178.7 s c =============================================================================== c | 1 | 700 818 73500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3050 c Elapsed CPU time: 1.3248 s Remaining CPU time: 178.675 s c =============================================================================== c | 1 | 700 819 74100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3049 c Elapsed CPU time: 1.35279 s Remaining CPU time: 178.647 s c =============================================================================== c | 1 | 700 820 74700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3048 c Elapsed CPU time: 1.37679 s Remaining CPU time: 178.623 s c =============================================================================== c | 1 | 700 821 75300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3047 c Elapsed CPU time: 1.40379 s Remaining CPU time: 178.596 s c =============================================================================== c | 1 | 700 822 75900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3046 c Elapsed CPU time: 1.43078 s Remaining CPU time: 178.569 s c =============================================================================== c | 1 | 700 823 76500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3045 c Elapsed CPU time: 1.45678 s Remaining CPU time: 178.543 s c =============================================================================== c | 1 | 700 824 77100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3044 c Elapsed CPU time: 1.48777 s Remaining CPU time: 178.512 s c =============================================================================== c | 1 | 700 825 77700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3042 c Elapsed CPU time: 1.51277 s Remaining CPU time: 178.487 s c =============================================================================== c | 1 | 700 826 78300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3040 c Elapsed CPU time: 1.53677 s Remaining CPU time: 178.463 s c =============================================================================== c | 1 | 700 827 78900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3039 c Elapsed CPU time: 1.56176 s Remaining CPU time: 178.438 s c =============================================================================== c | 1 | 700 828 79500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3038 c Elapsed CPU time: 1.59076 s Remaining CPU time: 178.409 s c =============================================================================== c | 1 | 700 829 80100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3037 c Elapsed CPU time: 1.61975 s Remaining CPU time: 178.38 s c =============================================================================== c | 1 | 700 830 80700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3036 c Elapsed CPU time: 1.64875 s Remaining CPU time: 178.351 s c =============================================================================== c | 1 | 700 831 81300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3035 c Elapsed CPU time: 1.67874 s Remaining CPU time: 178.321 s c =============================================================================== c | 1 | 700 832 81900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3034 c Elapsed CPU time: 1.70774 s Remaining CPU time: 178.292 s c =============================================================================== c | 1 | 700 833 82500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3033 c Elapsed CPU time: 1.73673 s Remaining CPU time: 178.263 s c =============================================================================== c | 1 | 700 834 83100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3032 c Elapsed CPU time: 1.76373 s Remaining CPU time: 178.236 s c =============================================================================== c | 1 | 700 835 83700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3031 c Elapsed CPU time: 1.79273 s Remaining CPU time: 178.207 s c =============================================================================== c | 1 | 700 836 84300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3030 c Elapsed CPU time: 1.82272 s Remaining CPU time: 178.177 s c =============================================================================== c | 1 | 700 837 84900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3029 c Elapsed CPU time: 1.85472 s Remaining CPU time: 178.145 s c =============================================================================== c | 1 | 700 838 85500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3028 c Elapsed CPU time: 1.88971 s Remaining CPU time: 178.11 s c =============================================================================== c | 1 | 700 839 86100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3027 c Elapsed CPU time: 1.92571 s Remaining CPU time: 178.074 s c =============================================================================== c | 1 | 700 840 86700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3026 c Elapsed CPU time: 1.9597 s Remaining CPU time: 178.04 s c =============================================================================== c | 1 | 700 841 87300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3025 c Elapsed CPU time: 1.9957 s Remaining CPU time: 178.004 s c =============================================================================== c | 1 | 700 842 87900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3024 c Elapsed CPU time: 2.03069 s Remaining CPU time: 177.969 s c =============================================================================== c | 1 | 700 843 88500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3022 c Elapsed CPU time: 2.06669 s Remaining CPU time: 177.933 s c =============================================================================== c | 1 | 700 844 89100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3021 c Elapsed CPU time: 2.10268 s Remaining CPU time: 177.897 s c =============================================================================== c | 1 | 700 845 89700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3020 c Elapsed CPU time: 2.13867 s Remaining CPU time: 177.861 s c =============================================================================== c | 1 | 700 846 90300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3019 c Elapsed CPU time: 2.17467 s Remaining CPU time: 177.825 s c =============================================================================== c | 1 | 700 847 90900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3018 c Elapsed CPU time: 2.21066 s Remaining CPU time: 177.789 s c =============================================================================== c | 1 | 700 848 91500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3017 c Elapsed CPU time: 2.24866 s Remaining CPU time: 177.751 s c =============================================================================== c | 1 | 700 849 92100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3016 c Elapsed CPU time: 2.28465 s Remaining CPU time: 177.715 s c =============================================================================== c | 1 | 700 850 92700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3015 c Elapsed CPU time: 2.31965 s Remaining CPU time: 177.68 s c =============================================================================== c | 1 | 700 851 93300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3014 c Elapsed CPU time: 2.35864 s Remaining CPU time: 177.641 s c =============================================================================== c | 1 | 700 852 93900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3013 c Elapsed CPU time: 2.39764 s Remaining CPU time: 177.602 s c =============================================================================== c | 1 | 700 853 94500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3012 c Elapsed CPU time: 2.43063 s Remaining CPU time: 177.569 s c =============================================================================== c | 1 | 700 854 95100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3011 c Elapsed CPU time: 2.46762 s Remaining CPU time: 177.532 s c =============================================================================== c | 1 | 700 855 95700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3010 c Elapsed CPU time: 2.50562 s Remaining CPU time: 177.494 s c =============================================================================== c | 1 | 700 856 96300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3009 c Elapsed CPU time: 2.54361 s Remaining CPU time: 177.456 s c =============================================================================== c | 1 | 700 857 96900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3008 c Elapsed CPU time: 2.58261 s Remaining CPU time: 177.417 s c =============================================================================== c | 1 | 700 858 97500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3007 c Elapsed CPU time: 2.6206 s Remaining CPU time: 177.379 s c =============================================================================== c | 1 | 700 859 98100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3006 c Elapsed CPU time: 2.6566 s Remaining CPU time: 177.343 s c =============================================================================== c | 1 | 700 860 98700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3005 c Elapsed CPU time: 2.69859 s Remaining CPU time: 177.301 s c =============================================================================== c | 1 | 700 861 99300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3004 c Elapsed CPU time: 2.73958 s Remaining CPU time: 177.26 s c =============================================================================== c | 1 | 700 862 99900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3003 c Elapsed CPU time: 2.77858 s Remaining CPU time: 177.221 s c =============================================================================== c | 1 | 700 863 100500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3002 c Elapsed CPU time: 2.81957 s Remaining CPU time: 177.18 s c =============================================================================== c | 1 | 700 864 101100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3001 c Elapsed CPU time: 2.85857 s Remaining CPU time: 177.141 s c =============================================================================== c | 1 | 700 865 101700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3000 c Elapsed CPU time: 2.89756 s Remaining CPU time: 177.102 s c =============================================================================== c | 1 | 700 866 102300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 2999 c Elapsed CPU time: 2.94255 s Remaining CPU time: 177.057 s c =============================================================================== c | 2 | 700 867 102900 | 5000 2 283 | 0.000 % | c =============================================================================== c New solution: 2998 c Elapsed CPU time: 2.98655 s Remaining CPU time: 177.013 s c =============================================================================== c | 2 | 700 868 103500 | 5000 2 283 | 0.000 % | c =============================================================================== c New solution: 2997 c Elapsed CPU time: 3.03154 s Remaining CPU time: 176.968 s c =============================================================================== c | 2 | 700 869 104100 | 5000 2 283 | 0.000 % | c =============================================================================== c New solution: 2996 c Elapsed CPU time: 3.07653 s Remaining CPU time: 176.923 s c =============================================================================== c | 2 | 700 870 104700 | 5000 2 283 | 0.000 % | c =============================================================================== c New solution: 2995 c Elapsed CPU time: 3.11553 s Remaining CPU time: 176.884 s c =============================================================================== c | 2 | 700 871 105300 | 5000 2 283 | 0.000 % | c =============================================================================== c New solution: 2994 c Elapsed CPU time: 3.15952 s Remaining CPU time: 176.84 s c =============================================================================== c | 2 | 700 872 105900 | 5000 2 283 | 0.000 % | c =============================================================================== c New solution: 2993 c Elapsed CPU time: 3.20451 s Remaining CPU time: 176.795 s c =============================================================================== c | 2 | 700 873 106500 | 5000 2 283 | 0.000 % | c =============================================================================== c New solution: 2992 c Elapsed CPU time: 3.2515 s Remaining CPU time: 176.748 s c =============================================================================== c | 2 | 700 874 107100 | 5000 2 283 | 0.000 % | c =============================================================================== c New solution: 2991 c Elapsed CPU time: 3.2945 s Remaining CPU time: 176.706 s c =============================================================================== c | 2 | 700 875 107700 | 5000 2 283 | 0.000 % | c =============================================================================== c New solution: 2990 c Elapsed CPU time: 3.33549 s Remaining CPU time: 176.665 s c =============================================================================== c | 2 | 700 876 108300 | 5000 2 283 | 0.000 % | c =============================================================================== c New solution: 2989 c Elapsed CPU time: 3.38049 s Remaining CPU time: 176.62 s c =============================================================================== c | 2 | 700 877 108900 | 5000 2 283 | 0.000 % | c =============================================================================== c New solution: 2987 c Elapsed CPU time: 3.42448 s Remaining CPU time: 176.576 s c =============================================================================== c | 2 | 700 878 109500 | 5000 2 283 | 0.000 % | c =============================================================================== c New solution: 2986 c Elapsed CPU time: 3.47047 s Remaining CPU time: 176.53 s c =============================================================================== c | 2 | 700 879 110100 | 5000 2 283 | 0.000 % | c =============================================================================== c New solution: 2985 c Elapsed CPU time: 3.51846 s Remaining CPU time: 176.482 s c =============================================================================== c | 2 | 700 880 110700 | 5000 2 283 | 0.000 % | c =============================================================================== c New solution: 2984 c Elapsed CPU time: 3.56646 s Remaining CPU time: 176.434 s c =============================================================================== c | 2 | 700 881 111300 | 5000 2 283 | 0.000 % | c =============================================================================== c New solution: 2983 c Elapsed CPU time: 3.61445 s Remaining CPU time: 176.386 s c =============================================================================== c | 2 | 700 882 111900 | 5000 2 283 | 0.000 % | c =============================================================================== c New solution: 2982 c Elapsed CPU time: 3.66744 s Remaining CPU time: 176.333 s c =============================================================================== c | 3 | 700 883 112500 | 5000 3 191 | 0.000 % | c =============================================================================== c New solution: 2981 c Elapsed CPU time: 3.72043 s Remaining CPU time: 176.28 s c =============================================================================== c | 3 | 700 884 113100 | 5000 3 191 | 0.000 % | c =============================================================================== c New solution: 2980 c Elapsed CPU time: 3.77243 s Remaining CPU time: 176.228 s c =============================================================================== c | 4 | 700 885 113700 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 2979 c Elapsed CPU time: 3.82242 s Remaining CPU time: 176.178 s c =============================================================================== c | 4 | 700 886 114300 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 2978 c Elapsed CPU time: 3.87241 s Remaining CPU time: 176.128 s c =============================================================================== c | 4 | 700 887 114900 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 2977 c Elapsed CPU time: 3.9204 s Remaining CPU time: 176.08 s c =============================================================================== c | 4 | 700 888 115500 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 2976 c Elapsed CPU time: 3.9684 s Remaining CPU time: 176.032 s c =============================================================================== c | 4 | 700 889 116100 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 2975 c Elapsed CPU time: 4.01839 s Remaining CPU time: 175.982 s c =============================================================================== c | 4 | 700 890 116700 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 2974 c Elapsed CPU time: 4.07038 s Remaining CPU time: 175.93 s c =============================================================================== c | 4 | 700 891 117300 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 2973 c Elapsed CPU time: 4.12237 s Remaining CPU time: 175.878 s c =============================================================================== c | 4 | 700 892 117900 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 2972 c Elapsed CPU time: 4.17636 s Remaining CPU time: 175.824 s c =============================================================================== c | 4 | 700 893 118500 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 2971 c Elapsed CPU time: 4.22836 s Remaining CPU time: 175.772 s c =============================================================================== c | 4 | 700 894 119100 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 2970 c Elapsed CPU time: 4.28335 s Remaining CPU time: 175.717 s c =============================================================================== c | 4 | 700 895 119700 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 2969 c Elapsed CPU time: 4.33634 s Remaining CPU time: 175.664 s c =============================================================================== c | 4 | 700 896 120300 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 2968 c Elapsed CPU time: 4.39233 s Remaining CPU time: 175.608 s c =============================================================================== c | 4 | 700 897 120900 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 2967 c Elapsed CPU time: 4.44732 s Remaining CPU time: 175.553 s c =============================================================================== c | 4 | 700 898 121500 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 2966 c Elapsed CPU time: 4.50131 s Remaining CPU time: 175.499 s c =============================================================================== c | 4 | 700 899 122100 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 2965 c Elapsed CPU time: 4.55131 s Remaining CPU time: 175.449 s c =============================================================================== c | 4 | 700 900 122700 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 2964 c Elapsed CPU time: 4.6023 s Remaining CPU time: 175.398 s c =============================================================================== c | 4 | 700 901 123300 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 2963 c Elapsed CPU time: 4.65729 s Remaining CPU time: 175.343 s c =============================================================================== c | 4 | 700 902 123900 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 2962 c Elapsed CPU time: 4.71228 s Remaining CPU time: 175.288 s c =============================================================================== c | 4 | 700 903 124500 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 2961 c Elapsed CPU time: 4.76927 s Remaining CPU time: 175.231 s c =============================================================================== c | 4 | 700 904 125100 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 2960 c Elapsed CPU time: 4.82627 s Remaining CPU time: 175.174 s c =============================================================================== c | 4 | 700 905 125700 | 5000 4 145 | 0.000 % | c =============================================================================== c New solution: 2959 c Elapsed CPU time: 4.88326 s Remaining CPU time: 175.117 s c =============================================================================== c | 5 | 700 906 126300 | 5000 5 117 | 0.000 % | c =============================================================================== c New solution: 2958 c Elapsed CPU time: 4.94425 s Remaining CPU time: 175.056 s c =============================================================================== c | 5 | 700 907 126900 | 5000 5 117 | 0.000 % | c =============================================================================== c New solution: 2957 c Elapsed CPU time: 5.00624 s Remaining CPU time: 174.994 s c =============================================================================== c | 5 | 700 908 127500 | 5000 5 117 | 0.000 % | c =============================================================================== c New solution: 2956 c Elapsed CPU time: 5.06423 s Remaining CPU time: 174.936 s c =============================================================================== c | 5 | 700 909 128100 | 5000 5 117 | 0.000 % | c =============================================================================== c New solution: 2955 c Elapsed CPU time: 5.11522 s Remaining CPU time: 174.885 s c =============================================================================== c | 6 | 700 910 128700 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2954 c Elapsed CPU time: 5.17521 s Remaining CPU time: 174.825 s c =============================================================================== c | 6 | 700 911 129300 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2953 c Elapsed CPU time: 5.2382 s Remaining CPU time: 174.762 s c =============================================================================== c | 6 | 700 912 129900 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2952 c Elapsed CPU time: 5.29919 s Remaining CPU time: 174.701 s c =============================================================================== c | 6 | 700 913 130500 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2951 c Elapsed CPU time: 5.36218 s Remaining CPU time: 174.638 s c =============================================================================== c | 6 | 700 914 131100 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2950 c Elapsed CPU time: 5.42518 s Remaining CPU time: 174.575 s c =============================================================================== c | 6 | 700 915 131700 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2949 c Elapsed CPU time: 5.48717 s Remaining CPU time: 174.513 s c =============================================================================== c | 6 | 700 916 132300 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2948 c Elapsed CPU time: 5.54816 s Remaining CPU time: 174.452 s c =============================================================================== c | 6 | 700 917 132900 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2947 c Elapsed CPU time: 5.61215 s Remaining CPU time: 174.388 s c =============================================================================== c | 6 | 700 918 133500 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2946 c Elapsed CPU time: 5.67214 s Remaining CPU time: 174.328 s c =============================================================================== c | 6 | 700 919 134100 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2945 c Elapsed CPU time: 5.73313 s Remaining CPU time: 174.267 s c =============================================================================== c | 6 | 700 920 134700 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2944 c Elapsed CPU time: 5.79112 s Remaining CPU time: 174.209 s c =============================================================================== c | 6 | 700 921 135300 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2943 c Elapsed CPU time: 5.85711 s Remaining CPU time: 174.143 s c =============================================================================== c | 6 | 700 922 135900 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2942 c Elapsed CPU time: 5.9201 s Remaining CPU time: 174.08 s c =============================================================================== c | 6 | 700 923 136500 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2941 c Elapsed CPU time: 5.98409 s Remaining CPU time: 174.016 s c =============================================================================== c | 6 | 700 924 137100 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2940 c Elapsed CPU time: 6.04608 s Remaining CPU time: 173.954 s c =============================================================================== c | 6 | 700 925 137700 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2939 c Elapsed CPU time: 6.11107 s Remaining CPU time: 173.889 s c =============================================================================== c | 6 | 700 926 138300 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2938 c Elapsed CPU time: 6.17706 s Remaining CPU time: 173.823 s c =============================================================================== c | 6 | 700 927 138900 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2937 c Elapsed CPU time: 6.24005 s Remaining CPU time: 173.76 s c =============================================================================== c | 6 | 700 928 139500 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2936 c Elapsed CPU time: 6.30604 s Remaining CPU time: 173.694 s c =============================================================================== c | 6 | 700 929 140100 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2935 c Elapsed CPU time: 6.37003 s Remaining CPU time: 173.63 s c =============================================================================== c | 6 | 700 930 140700 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2934 c Elapsed CPU time: 6.43702 s Remaining CPU time: 173.563 s c =============================================================================== c | 6 | 700 931 141300 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2933 c Elapsed CPU time: 6.50601 s Remaining CPU time: 173.494 s c =============================================================================== c | 6 | 700 932 141900 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2932 c Elapsed CPU time: 6.572 s Remaining CPU time: 173.428 s c =============================================================================== c | 6 | 700 933 142500 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2931 c Elapsed CPU time: 6.63699 s Remaining CPU time: 173.363 s c =============================================================================== c | 6 | 700 934 143100 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2930 c Elapsed CPU time: 6.70598 s Remaining CPU time: 173.294 s c =============================================================================== c | 6 | 700 935 143700 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2929 c Elapsed CPU time: 6.77497 s Remaining CPU time: 173.225 s c =============================================================================== c | 6 | 700 936 144300 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2928 c Elapsed CPU time: 6.84296 s Remaining CPU time: 173.157 s c =============================================================================== c | 6 | 700 937 144900 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2927 c Elapsed CPU time: 6.90695 s Remaining CPU time: 173.093 s c =============================================================================== c | 6 | 700 938 145500 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2926 c Elapsed CPU time: 6.97794 s Remaining CPU time: 173.022 s c =============================================================================== c | 6 | 700 939 146100 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2925 c Elapsed CPU time: 7.04793 s Remaining CPU time: 172.952 s c =============================================================================== c | 6 | 700 940 146700 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2924 c Elapsed CPU time: 7.11792 s Remaining CPU time: 172.882 s c =============================================================================== c | 6 | 700 941 147300 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2923 c Elapsed CPU time: 7.18891 s Remaining CPU time: 172.811 s c =============================================================================== c | 6 | 700 942 147900 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2922 c Elapsed CPU time: 7.2589 s Remaining CPU time: 172.741 s c =============================================================================== c | 6 | 700 943 148500 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2921 c Elapsed CPU time: 7.33188 s Remaining CPU time: 172.668 s c =============================================================================== c | 6 | 700 944 149100 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2920 c Elapsed CPU time: 7.40387 s Remaining CPU time: 172.596 s c =============================================================================== c | 6 | 700 945 149700 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2919 c Elapsed CPU time: 7.47986 s Remaining CPU time: 172.52 s c =============================================================================== c | 6 | 700 946 150300 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2918 c Elapsed CPU time: 7.54985 s Remaining CPU time: 172.45 s c =============================================================================== c | 6 | 700 947 150900 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2917 c Elapsed CPU time: 7.62084 s Remaining CPU time: 172.379 s c =============================================================================== c | 6 | 700 948 151500 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2916 c Elapsed CPU time: 7.69483 s Remaining CPU time: 172.305 s c =============================================================================== c | 6 | 700 949 152100 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2915 c Elapsed CPU time: 7.76582 s Remaining CPU time: 172.234 s c =============================================================================== c | 6 | 700 950 152700 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2914 c Elapsed CPU time: 7.83781 s Remaining CPU time: 172.162 s c =============================================================================== c | 6 | 700 951 153300 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2913 c Elapsed CPU time: 7.9098 s Remaining CPU time: 172.09 s c =============================================================================== c | 6 | 700 952 153900 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2912 c Elapsed CPU time: 7.97579 s Remaining CPU time: 172.024 s c =============================================================================== c | 6 | 700 953 154500 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2911 c Elapsed CPU time: 8.04678 s Remaining CPU time: 171.953 s c =============================================================================== c | 6 | 700 954 155100 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2910 c Elapsed CPU time: 8.11876 s Remaining CPU time: 171.881 s c =============================================================================== c | 6 | 700 955 155700 | 5000 6 98 | 0.000 % | c =============================================================================== c New solution: 2909 c Elapsed CPU time: 8.18975 s Remaining CPU time: 171.81 s c =============================================================================== c | 7 | 700 956 156300 | 5000 7 85 | 0.000 % | c =============================================================================== c New solution: 2908 c Elapsed CPU time: 8.26374 s Remaining CPU time: 171.736 s c =============================================================================== c | 7 | 700 957 156900 | 5000 7 85 | 0.000 % | c =============================================================================== c New solution: 2907 c Elapsed CPU time: 8.33773 s Remaining CPU time: 171.662 s c =============================================================================== c | 7 | 700 958 157500 | 5000 7 85 | 0.000 % | c =============================================================================== c New solution: 2906 c Elapsed CPU time: 8.41172 s Remaining CPU time: 171.588 s c =============================================================================== c | 7 | 700 959 158100 | 5000 7 85 | 0.000 % | c =============================================================================== c New solution: 2905 c Elapsed CPU time: 8.48471 s Remaining CPU time: 171.515 s c =============================================================================== c | 7 | 700 960 158700 | 5000 7 85 | 0.000 % | c =============================================================================== c New solution: 2904 c Elapsed CPU time: 8.5547 s Remaining CPU time: 171.445 s c =============================================================================== c | 7 | 700 961 159300 | 5000 7 85 | 0.000 % | c =============================================================================== c New solution: 2903 c Elapsed CPU time: 8.63269 s Remaining CPU time: 171.367 s c =============================================================================== c | 7 | 700 962 159900 | 5000 7 85 | 0.000 % | c =============================================================================== c New solution: 2902 c Elapsed CPU time: 8.70968 s Remaining CPU time: 171.29 s c =============================================================================== c | 7 | 700 963 160500 | 5000 7 85 | 0.000 % | c =============================================================================== c New solution: 2901 c Elapsed CPU time: 8.78366 s Remaining CPU time: 171.216 s c =============================================================================== c | 7 | 700 964 161100 | 5000 7 85 | 0.000 % | c =============================================================================== c New solution: 2900 c Elapsed CPU time: 8.85965 s Remaining CPU time: 171.14 s c =============================================================================== c | 7 | 700 965 161700 | 5000 7 85 | 0.000 % | c =============================================================================== c New solution: 2899 c Elapsed CPU time: 8.92964 s Remaining CPU time: 171.07 s c =============================================================================== c | 7 | 700 966 162300 | 5000 7 85 | 0.000 % | c =============================================================================== c New solution: 2898 c Elapsed CPU time: 9.00763 s Remaining CPU time: 170.992 s c =============================================================================== c | 7 | 700 967 162900 | 5000 7 85 | 0.000 % | c =============================================================================== c New solution: 2897 c Elapsed CPU time: 9.08262 s Remaining CPU time: 170.917 s c =============================================================================== c | 7 | 700 968 163500 | 5000 7 85 | 0.000 % | c =============================================================================== c New solution: 2896 c Elapsed CPU time: 9.15861 s Remaining CPU time: 170.841 s c =============================================================================== c | 7 | 700 969 164100 | 5000 7 85 | 0.000 % | c =============================================================================== c New solution: 2895 c Elapsed CPU time: 9.2336 s Remaining CPU time: 170.766 s c =============================================================================== c | 7 | 700 970 164700 | 5000 7 85 | 0.000 % | c =============================================================================== c New solution: 2894 c Elapsed CPU time: 9.31058 s Remaining CPU time: 170.689 s c =============================================================================== c | 7 | 700 971 165300 | 5000 7 85 | 0.000 % | c =============================================================================== c New solution: 2893 c Elapsed CPU time: 9.38157 s Remaining CPU time: 170.618 s c =============================================================================== c | 8 | 700 972 165900 | 5000 8 75 | 0.000 % | c =============================================================================== c New solution: 2892 c Elapsed CPU time: 9.45756 s Remaining CPU time: 170.542 s c =============================================================================== c | 8 | 700 973 166500 | 5000 8 75 | 0.000 % | c =============================================================================== c New solution: 2891 c Elapsed CPU time: 9.53355 s Remaining CPU time: 170.466 s c =============================================================================== c | 8 | 700 974 167100 | 5000 8 75 | 0.000 % | c =============================================================================== c New solution: 2890 c Elapsed CPU time: 9.61554 s Remaining CPU time: 170.384 s c =============================================================================== c | 8 | 700 975 167700 | 5000 8 75 | 0.000 % | c =============================================================================== c New solution: 2889 c Elapsed CPU time: 9.69353 s Remaining CPU time: 170.306 s c =============================================================================== c | 8 | 700 976 168300 | 5000 8 75 | 0.000 % | c =============================================================================== c New solution: 2888 c Elapsed CPU time: 9.77451 s Remaining CPU time: 170.225 s c =============================================================================== c | 8 | 700 977 168900 | 5000 8 75 | 0.000 % | c =============================================================================== c New solution: 2887 c Elapsed CPU time: 9.8535 s Remaining CPU time: 170.146 s c =============================================================================== c | 8 | 700 978 169500 | 5000 8 75 | 0.000 % | c =============================================================================== c New solution: 2886 c Elapsed CPU time: 9.93849 s Remaining CPU time: 170.062 s c =============================================================================== c | 8 | 700 979 170100 | 5000 8 75 | 0.000 % | c =============================================================================== c New solution: 2885 c Elapsed CPU time: 10.0215 s Remaining CPU time: 169.979 s c =============================================================================== c | 8 | 700 980 170700 | 5000 8 75 | 0.000 % | c =============================================================================== c New solution: 2884 c Elapsed CPU time: 10.1045 s Remaining CPU time: 169.896 s c =============================================================================== c | 8 | 700 981 171300 | 5000 8 75 | 0.000 % | c =============================================================================== c New solution: 2883 c Elapsed CPU time: 10.1935 s Remaining CPU time: 169.807 s c =============================================================================== c | 9 | 700 982 171900 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2882 c Elapsed CPU time: 10.2714 s Remaining CPU time: 169.729 s c =============================================================================== c | 9 | 700 983 172500 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2881 c Elapsed CPU time: 10.3574 s Remaining CPU time: 169.643 s c =============================================================================== c | 9 | 700 984 173100 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2880 c Elapsed CPU time: 10.4404 s Remaining CPU time: 169.56 s c =============================================================================== c | 9 | 700 985 173700 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2879 c Elapsed CPU time: 10.5184 s Remaining CPU time: 169.482 s c =============================================================================== c | 9 | 700 986 174300 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2878 c Elapsed CPU time: 10.6054 s Remaining CPU time: 169.395 s c =============================================================================== c | 9 | 700 987 174900 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2877 c Elapsed CPU time: 10.6874 s Remaining CPU time: 169.313 s c =============================================================================== c | 9 | 700 988 175500 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2876 c Elapsed CPU time: 10.7724 s Remaining CPU time: 169.228 s c =============================================================================== c | 9 | 700 989 176100 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2875 c Elapsed CPU time: 10.8534 s Remaining CPU time: 169.147 s c =============================================================================== c | 9 | 700 990 176700 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2874 c Elapsed CPU time: 10.9403 s Remaining CPU time: 169.06 s c =============================================================================== c | 9 | 700 991 177300 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2873 c Elapsed CPU time: 11.0343 s Remaining CPU time: 168.966 s c =============================================================================== c | 9 | 700 992 177900 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2872 c Elapsed CPU time: 11.1223 s Remaining CPU time: 168.878 s c =============================================================================== c | 9 | 700 993 178500 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2871 c Elapsed CPU time: 11.2183 s Remaining CPU time: 168.782 s c =============================================================================== c | 9 | 700 994 179100 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2870 c Elapsed CPU time: 11.3103 s Remaining CPU time: 168.69 s c =============================================================================== c | 9 | 700 995 179700 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2869 c Elapsed CPU time: 11.3993 s Remaining CPU time: 168.601 s c =============================================================================== c | 9 | 700 996 180300 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2868 c Elapsed CPU time: 11.4883 s Remaining CPU time: 168.512 s c =============================================================================== c | 9 | 700 997 180900 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2867 c Elapsed CPU time: 11.5782 s Remaining CPU time: 168.422 s c =============================================================================== c | 9 | 700 998 181500 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2866 c Elapsed CPU time: 11.6692 s Remaining CPU time: 168.331 s c =============================================================================== c | 9 | 700 999 182100 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2865 c Elapsed CPU time: 11.7652 s Remaining CPU time: 168.235 s c =============================================================================== c | 9 | 700 1000 182700 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2864 c Elapsed CPU time: 11.8592 s Remaining CPU time: 168.141 s c =============================================================================== c | 9 | 700 1001 183300 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2863 c Elapsed CPU time: 11.9582 s Remaining CPU time: 168.042 s c =============================================================================== c | 9 | 700 1002 183900 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2862 c Elapsed CPU time: 12.0442 s Remaining CPU time: 167.956 s c =============================================================================== c | 9 | 700 1003 184500 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2861 c Elapsed CPU time: 12.1322 s Remaining CPU time: 167.868 s c =============================================================================== c | 9 | 700 1004 185100 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2860 c Elapsed CPU time: 12.2251 s Remaining CPU time: 167.775 s c =============================================================================== c | 9 | 700 1005 185700 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2859 c Elapsed CPU time: 12.3101 s Remaining CPU time: 167.69 s c =============================================================================== c | 9 | 700 1006 186300 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2858 c Elapsed CPU time: 12.4041 s Remaining CPU time: 167.596 s c =============================================================================== c | 9 | 700 1007 186900 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2857 c Elapsed CPU time: 12.4971 s Remaining CPU time: 167.503 s c =============================================================================== c | 9 | 700 1008 187500 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2856 c Elapsed CPU time: 12.5871 s Remaining CPU time: 167.413 s c =============================================================================== c | 9 | 700 1009 188100 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2855 c Elapsed CPU time: 12.6821 s Remaining CPU time: 167.318 s c =============================================================================== c | 9 | 700 1010 188700 | 5000 9 127 | 0.000 % | c =============================================================================== c New solution: 2854 c Elapsed CPU time: 12.7841 s Remaining CPU time: 167.216 s c =============================================================================== c | 10 | 700 1011 189300 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2853 c Elapsed CPU time: 12.884 s Remaining CPU time: 167.116 s c =============================================================================== c | 10 | 700 1012 189900 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2852 c Elapsed CPU time: 12.982 s Remaining CPU time: 167.018 s c =============================================================================== c | 10 | 700 1013 190500 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2851 c Elapsed CPU time: 13.083 s Remaining CPU time: 166.917 s c =============================================================================== c | 10 | 700 1014 191100 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2850 c Elapsed CPU time: 13.177 s Remaining CPU time: 166.823 s c =============================================================================== c | 10 | 700 1015 191700 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2849 c Elapsed CPU time: 13.273 s Remaining CPU time: 166.727 s c =============================================================================== c | 10 | 700 1016 192300 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2848 c Elapsed CPU time: 13.369 s Remaining CPU time: 166.631 s c =============================================================================== c | 10 | 700 1017 192900 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2847 c Elapsed CPU time: 13.466 s Remaining CPU time: 166.534 s c =============================================================================== c | 10 | 700 1018 193500 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2846 c Elapsed CPU time: 13.5589 s Remaining CPU time: 166.441 s c =============================================================================== c | 10 | 700 1019 194100 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2845 c Elapsed CPU time: 13.6529 s Remaining CPU time: 166.347 s c =============================================================================== c | 10 | 700 1020 194700 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2844 c Elapsed CPU time: 13.7469 s Remaining CPU time: 166.253 s c =============================================================================== c | 10 | 700 1021 195300 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2843 c Elapsed CPU time: 13.8439 s Remaining CPU time: 166.156 s c =============================================================================== c | 10 | 700 1022 195900 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2842 c Elapsed CPU time: 13.9419 s Remaining CPU time: 166.058 s c =============================================================================== c | 10 | 700 1023 196500 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2841 c Elapsed CPU time: 14.0379 s Remaining CPU time: 165.962 s c =============================================================================== c | 10 | 700 1024 197100 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2840 c Elapsed CPU time: 14.1319 s Remaining CPU time: 165.868 s c =============================================================================== c | 10 | 700 1025 197700 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2839 c Elapsed CPU time: 14.2348 s Remaining CPU time: 165.765 s c =============================================================================== c | 10 | 700 1026 198300 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2838 c Elapsed CPU time: 14.3388 s Remaining CPU time: 165.661 s c =============================================================================== c | 10 | 700 1027 198900 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2837 c Elapsed CPU time: 14.4388 s Remaining CPU time: 165.561 s c =============================================================================== c | 10 | 700 1028 199500 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2836 c Elapsed CPU time: 14.5438 s Remaining CPU time: 165.456 s c =============================================================================== c | 10 | 700 1029 200100 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2835 c Elapsed CPU time: 14.6418 s Remaining CPU time: 165.358 s c =============================================================================== c | 10 | 700 1030 200700 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2834 c Elapsed CPU time: 14.7448 s Remaining CPU time: 165.255 s c =============================================================================== c | 10 | 700 1031 201300 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2833 c Elapsed CPU time: 14.8447 s Remaining CPU time: 165.155 s c =============================================================================== c | 10 | 700 1032 201900 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2832 c Elapsed CPU time: 14.9497 s Remaining CPU time: 165.05 s c =============================================================================== c | 10 | 700 1033 202500 | 5000 10 115 | 0.000 % | c =============================================================================== c New solution: 2831 c Elapsed CPU time: 15.0547 s Remaining CPU time: 164.945 s c =============================================================================== c | 11 | 700 1034 203100 | 5000 11 105 | 0.000 % | c =============================================================================== c New solution: 2830 c Elapsed CPU time: 15.1537 s Remaining CPU time: 164.846 s c =============================================================================== c | 11 | 700 1035 203700 | 5000 11 105 | 0.000 % | c =============================================================================== c New solution: 2829 c Elapsed CPU time: 15.2537 s Remaining CPU time: 164.746 s c =============================================================================== c | 11 | 700 1036 204300 | 5000 11 105 | 0.000 % | c =============================================================================== c New solution: 2828 c Elapsed CPU time: 15.3577 s Remaining CPU time: 164.642 s c =============================================================================== c | 11 | 700 1037 204900 | 5000 11 105 | 0.000 % | c =============================================================================== c New solution: 2827 c Elapsed CPU time: 15.4686 s Remaining CPU time: 164.531 s c =============================================================================== c | 13 | 700 1038 205500 | 5000 13 90 | 0.000 % | c =============================================================================== c New solution: 2826 c Elapsed CPU time: 15.5716 s Remaining CPU time: 164.428 s c =============================================================================== c | 13 | 700 1039 206100 | 5000 13 90 | 0.000 % | c =============================================================================== c New solution: 2825 c Elapsed CPU time: 15.6766 s Remaining CPU time: 164.323 s c =============================================================================== c | 13 | 700 1040 206700 | 5000 13 90 | 0.000 % | c =============================================================================== c New solution: 2824 c Elapsed CPU time: 15.7876 s Remaining CPU time: 164.212 s c =============================================================================== c | 13 | 700 1041 207300 | 5000 13 90 | 0.000 % | c =============================================================================== c New solution: 2823 c Elapsed CPU time: 15.8956 s Remaining CPU time: 164.104 s c =============================================================================== c | 13 | 700 1042 207900 | 5000 13 90 | 0.000 % | c =============================================================================== c New solution: 2822 c Elapsed CPU time: 16.0056 s Remaining CPU time: 163.994 s c =============================================================================== c | 13 | 700 1043 208500 | 5000 13 90 | 0.000 % | c =============================================================================== c New solution: 2821 c Elapsed CPU time: 16.1095 s Remaining CPU time: 163.89 s c =============================================================================== c | 13 | 700 1044 209100 | 5000 13 90 | 0.000 % | c =============================================================================== c New solution: 2820 c Elapsed CPU time: 16.2105 s Remaining CPU time: 163.789 s c =============================================================================== c | 13 | 700 1045 209700 | 5000 13 90 | 0.000 % | c =============================================================================== c New solution: 2819 c Elapsed CPU time: 16.3195 s Remaining CPU time: 163.68 s c =============================================================================== c | 13 | 700 1046 210300 | 5000 13 90 | 0.000 % | c =============================================================================== c New solution: 2818 c Elapsed CPU time: 16.4295 s Remaining CPU time: 163.57 s c =============================================================================== c | 13 | 700 1047 210900 | 5000 13 90 | 0.000 % | c =============================================================================== c New solution: 2817 c Elapsed CPU time: 16.5305 s Remaining CPU time: 163.47 s c =============================================================================== c | 13 | 700 1048 211500 | 5000 13 90 | 0.000 % | c =============================================================================== c New solution: 2816 c Elapsed CPU time: 16.6425 s Remaining CPU time: 163.358 s c =============================================================================== c | 13 | 700 1049 212100 | 5000 13 90 | 0.000 % | c =============================================================================== c New solution: 2815 c Elapsed CPU time: 16.7455 s Remaining CPU time: 163.255 s c =============================================================================== c | 13 | 700 1050 212700 | 5000 13 90 | 0.000 % | c =============================================================================== c New solution: 2814 c Elapsed CPU time: 16.8494 s Remaining CPU time: 163.151 s c =============================================================================== c | 13 | 700 1051 213300 | 5000 13 90 | 0.000 % | c =============================================================================== c New solution: 2813 c Elapsed CPU time: 16.9614 s Remaining CPU time: 163.039 s c =============================================================================== c | 13 | 700 1052 213900 | 5000 13 90 | 0.000 % | c =============================================================================== c New solution: 2812 c Elapsed CPU time: 17.0714 s Remaining CPU time: 162.929 s c =============================================================================== c | 13 | 700 1053 214500 | 5000 13 90 | 0.000 % | c =============================================================================== c New solution: 2811 c Elapsed CPU time: 17.1794 s Remaining CPU time: 162.821 s c =============================================================================== c | 13 | 700 1054 215100 | 5000 13 90 | 0.000 % | c =============================================================================== c New solution: 2810 c Elapsed CPU time: 17.2864 s Remaining CPU time: 162.714 s c =============================================================================== c | 13 | 700 1055 215700 | 5000 13 90 | 0.000 % | c =============================================================================== c New solution: 2809 c Elapsed CPU time: 17.4014 s Remaining CPU time: 162.599 s c =============================================================================== c | 13 | 700 1056 216300 | 5000 13 90 | 0.000 % | c =============================================================================== c New solution: 2808 c Elapsed CPU time: 17.5033 s Remaining CPU time: 162.497 s c =============================================================================== c | 13 | 700 1057 216900 | 5000 13 90 | 0.000 % | c =============================================================================== c New solution: 2807 c Elapsed CPU time: 17.6073 s Remaining CPU time: 162.393 s c =============================================================================== c | 13 | 700 1058 217500 | 5000 13 90 | 0.000 % | c =============================================================================== c New solution: 2806 c Elapsed CPU time: 17.7163 s Remaining CPU time: 162.284 s c =============================================================================== c | 14 | 700 1059 218100 | 5000 14 84 | 0.000 % | c =============================================================================== c New solution: 2805 c Elapsed CPU time: 17.8273 s Remaining CPU time: 162.173 s c =============================================================================== c | 14 | 700 1060 218700 | 5000 14 84 | 0.000 % | c =============================================================================== c New solution: 2804 c Elapsed CPU time: 17.9423 s Remaining CPU time: 162.058 s c =============================================================================== c | 14 | 700 1061 219300 | 5000 14 84 | 0.000 % | c =============================================================================== c New solution: 2803 c Elapsed CPU time: 18.0533 s Remaining CPU time: 161.947 s c =============================================================================== c | 14 | 700 1062 219900 | 5000 14 84 | 0.000 % | c =============================================================================== c New solution: 2802 c Elapsed CPU time: 18.1622 s Remaining CPU time: 161.838 s c =============================================================================== c | 14 | 700 1063 220500 | 5000 14 84 | 0.000 % | c =============================================================================== c New solution: 2801 c Elapsed CPU time: 18.2762 s Remaining CPU time: 161.724 s c =============================================================================== c | 14 | 700 1064 221100 | 5000 14 84 | 0.000 % | c =============================================================================== c New solution: 2800 c Elapsed CPU time: 18.3842 s Remaining CPU time: 161.616 s c =============================================================================== c | 14 | 700 1065 221700 | 5000 14 84 | 0.000 % | c =============================================================================== c New solution: 2799 c Elapsed CPU time: 18.4982 s Remaining CPU time: 161.502 s c =============================================================================== c | 14 | 700 1066 222300 | 5000 14 84 | 0.000 % | c =============================================================================== c New solution: 2798 c Elapsed CPU time: 18.6152 s Remaining CPU time: 161.385 s c =============================================================================== c | 14 | 700 1067 222900 | 5000 14 84 | 0.000 % | c =============================================================================== c New solution: 2797 c Elapsed CPU time: 18.7212 s Remaining CPU time: 161.279 s c =============================================================================== c | 14 | 700 1068 223500 | 5000 14 84 | 0.000 % | c =============================================================================== c New solution: 2796 c Elapsed CPU time: 18.8231 s Remaining CPU time: 161.177 s c =============================================================================== c | 14 | 700 1069 224100 | 5000 14 84 | 0.000 % | c =============================================================================== c New solution: 2795 c Elapsed CPU time: 18.9381 s Remaining CPU time: 161.062 s c =============================================================================== c | 14 | 700 1070 224700 | 5000 14 84 | 0.000 % | c =============================================================================== c New solution: 2794 c Elapsed CPU time: 19.0581 s Remaining CPU time: 160.942 s c =============================================================================== c | 14 | 700 1071 225300 | 5000 14 84 | 0.000 % | c =============================================================================== c New solution: 2793 c Elapsed CPU time: 19.1641 s Remaining CPU time: 160.836 s c =============================================================================== c | 14 | 700 1072 225900 | 5000 14 84 | 0.000 % | c =============================================================================== c New solution: 2792 c Elapsed CPU time: 19.2751 s Remaining CPU time: 160.725 s c =============================================================================== c | 14 | 700 1073 226500 | 5000 14 84 | 0.000 % | c =============================================================================== c New solution: 2791 c Elapsed CPU time: 19.3901 s Remaining CPU time: 160.61 s c =============================================================================== c | 14 | 700 1074 227100 | 5000 14 84 | 0.000 % | c =============================================================================== c New solution: 2790 c Elapsed CPU time: 19.506 s Remaining CPU time: 160.494 s c =============================================================================== c | 14 | 700 1075 227700 | 5000 14 84 | 0.000 % | c =============================================================================== c New solution: 2789 c Elapsed CPU time: 19.631 s Remaining CPU time: 160.369 s c =============================================================================== c | 14 | 700 1076 228300 | 5000 14 84 | 0.000 % | c =============================================================================== c New solution: 2788 c Elapsed CPU time: 19.753 s Remaining CPU time: 160.247 s c =============================================================================== c | 14 | 700 1077 228900 | 5000 14 84 | 0.000 % | c =============================================================================== c New solution: 2787 c Elapsed CPU time: 19.874 s Remaining CPU time: 160.126 s c =============================================================================== c | 14 | 700 1078 229500 | 5000 14 84 | 0.000 % | c =============================================================================== c New solution: 2786 c Elapsed CPU time: 19.991 s Remaining CPU time: 160.009 s c =============================================================================== c | 14 | 700 1079 230100 | 5000 14 84 | 0.000 % | c =============================================================================== c New solution: 2785 c Elapsed CPU time: 20.1069 s Remaining CPU time: 159.893 s c =============================================================================== c | 14 | 700 1080 230700 | 5000 14 84 | 0.000 % | c =============================================================================== c New solution: 2784 c Elapsed CPU time: 20.2299 s Remaining CPU time: 159.77 s c =============================================================================== c | 15 | 700 1081 231300 | 5000 15 78 | 0.000 % | c =============================================================================== c New solution: 2783 c Elapsed CPU time: 20.3529 s Remaining CPU time: 159.647 s c =============================================================================== c | 15 | 700 1082 231900 | 5000 15 78 | 0.000 % | c =============================================================================== c New solution: 2782 c Elapsed CPU time: 20.4709 s Remaining CPU time: 159.529 s c =============================================================================== c | 15 | 700 1083 232500 | 5000 15 78 | 0.000 % | c =============================================================================== c New solution: 2781 c Elapsed CPU time: 20.5949 s Remaining CPU time: 159.405 s c =============================================================================== c | 15 | 700 1084 233100 | 5000 15 78 | 0.000 % | c =============================================================================== c New solution: 2780 c Elapsed CPU time: 20.7139 s Remaining CPU time: 159.286 s c =============================================================================== c | 15 | 700 1085 233700 | 5000 15 78 | 0.000 % | c =============================================================================== c New solution: 2779 c Elapsed CPU time: 20.8268 s Remaining CPU time: 159.173 s c =============================================================================== c | 15 | 700 1086 234300 | 5000 15 78 | 0.000 % | c =============================================================================== c New solution: 2778 c Elapsed CPU time: 20.9468 s Remaining CPU time: 159.053 s c =============================================================================== c | 15 | 700 1087 234900 | 5000 15 78 | 0.000 % | c =============================================================================== c New solution: 2777 c Elapsed CPU time: 21.0628 s Remaining CPU time: 158.937 s c =============================================================================== c | 15 | 700 1088 235500 | 5000 15 78 | 0.000 % | c =============================================================================== c New solution: 2776 c Elapsed CPU time: 21.1768 s Remaining CPU time: 158.823 s c =============================================================================== c | 16 | 700 1089 236100 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2775 c Elapsed CPU time: 21.2988 s Remaining CPU time: 158.701 s c =============================================================================== c | 16 | 700 1090 236700 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2774 c Elapsed CPU time: 21.4147 s Remaining CPU time: 158.585 s c =============================================================================== c | 16 | 700 1091 237300 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2773 c Elapsed CPU time: 21.5427 s Remaining CPU time: 158.457 s c =============================================================================== c | 16 | 700 1092 237900 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2772 c Elapsed CPU time: 21.6597 s Remaining CPU time: 158.34 s c =============================================================================== c | 16 | 700 1093 238500 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2771 c Elapsed CPU time: 21.7797 s Remaining CPU time: 158.22 s c =============================================================================== c | 16 | 700 1094 239100 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2770 c Elapsed CPU time: 21.9107 s Remaining CPU time: 158.089 s c =============================================================================== c | 16 | 700 1095 239700 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2769 c Elapsed CPU time: 22.0406 s Remaining CPU time: 157.959 s c =============================================================================== c | 16 | 700 1096 240300 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2768 c Elapsed CPU time: 22.1656 s Remaining CPU time: 157.834 s c =============================================================================== c | 16 | 700 1097 240900 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2767 c Elapsed CPU time: 22.2926 s Remaining CPU time: 157.707 s c =============================================================================== c | 16 | 700 1098 241500 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2766 c Elapsed CPU time: 22.4096 s Remaining CPU time: 157.59 s c =============================================================================== c | 16 | 700 1099 242100 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2765 c Elapsed CPU time: 22.5306 s Remaining CPU time: 157.469 s c =============================================================================== c | 16 | 700 1100 242700 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2764 c Elapsed CPU time: 22.6536 s Remaining CPU time: 157.346 s c =============================================================================== c | 16 | 700 1101 243300 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2763 c Elapsed CPU time: 22.7795 s Remaining CPU time: 157.22 s c =============================================================================== c | 16 | 700 1102 243900 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2762 c Elapsed CPU time: 22.9015 s Remaining CPU time: 157.098 s c =============================================================================== c | 16 | 700 1103 244500 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2761 c Elapsed CPU time: 23.0255 s Remaining CPU time: 156.975 s c =============================================================================== c | 16 | 700 1104 245100 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2760 c Elapsed CPU time: 23.1495 s Remaining CPU time: 156.851 s c =============================================================================== c | 16 | 700 1105 245700 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2759 c Elapsed CPU time: 23.2795 s Remaining CPU time: 156.721 s c =============================================================================== c | 16 | 700 1106 246300 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2758 c Elapsed CPU time: 23.4114 s Remaining CPU time: 156.589 s c =============================================================================== c | 16 | 700 1107 246900 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2757 c Elapsed CPU time: 23.5384 s Remaining CPU time: 156.462 s c =============================================================================== c | 16 | 700 1108 247500 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2756 c Elapsed CPU time: 23.6684 s Remaining CPU time: 156.332 s c =============================================================================== c | 16 | 700 1109 248100 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2755 c Elapsed CPU time: 23.7924 s Remaining CPU time: 156.208 s c =============================================================================== c | 16 | 700 1110 248700 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2754 c Elapsed CPU time: 23.9174 s Remaining CPU time: 156.083 s c =============================================================================== c | 16 | 700 1111 249300 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2753 c Elapsed CPU time: 24.0433 s Remaining CPU time: 155.957 s c =============================================================================== c | 16 | 700 1112 249900 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2752 c Elapsed CPU time: 24.1643 s Remaining CPU time: 155.836 s c =============================================================================== c | 16 | 700 1113 250500 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2751 c Elapsed CPU time: 24.2973 s Remaining CPU time: 155.703 s c =============================================================================== c | 16 | 700 1114 251100 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2750 c Elapsed CPU time: 24.4303 s Remaining CPU time: 155.57 s c =============================================================================== c | 16 | 700 1115 251700 | 5000 16 74 | 0.000 % | c =============================================================================== c New solution: 2749 c Elapsed CPU time: 24.5533 s Remaining CPU time: 155.447 s c =============================================================================== c | 17 | 700 1116 252300 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2748 c Elapsed CPU time: 24.6822 s Remaining CPU time: 155.318 s c =============================================================================== c | 17 | 700 1117 252900 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2747 c Elapsed CPU time: 24.8162 s Remaining CPU time: 155.184 s c =============================================================================== c | 17 | 700 1118 253500 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2746 c Elapsed CPU time: 24.9422 s Remaining CPU time: 155.058 s c =============================================================================== c | 17 | 700 1119 254100 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2745 c Elapsed CPU time: 25.0722 s Remaining CPU time: 154.928 s c =============================================================================== c | 17 | 700 1120 254700 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2744 c Elapsed CPU time: 25.2042 s Remaining CPU time: 154.796 s c =============================================================================== c | 17 | 700 1121 255300 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2743 c Elapsed CPU time: 25.3371 s Remaining CPU time: 154.663 s c =============================================================================== c | 17 | 700 1122 255900 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2742 c Elapsed CPU time: 25.4681 s Remaining CPU time: 154.532 s c =============================================================================== c | 17 | 700 1123 256500 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2741 c Elapsed CPU time: 25.5991 s Remaining CPU time: 154.401 s c =============================================================================== c | 17 | 700 1124 257100 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2740 c Elapsed CPU time: 25.7321 s Remaining CPU time: 154.268 s c =============================================================================== c | 17 | 700 1125 257700 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2739 c Elapsed CPU time: 25.8691 s Remaining CPU time: 154.131 s c =============================================================================== c | 17 | 700 1126 258300 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2738 c Elapsed CPU time: 26.014 s Remaining CPU time: 153.986 s c =============================================================================== c | 17 | 700 1127 258900 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2737 c Elapsed CPU time: 26.154 s Remaining CPU time: 153.846 s c =============================================================================== c | 17 | 700 1128 259500 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2736 c Elapsed CPU time: 26.301 s Remaining CPU time: 153.699 s c =============================================================================== c | 17 | 700 1129 260100 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2735 c Elapsed CPU time: 26.442 s Remaining CPU time: 153.558 s c =============================================================================== c | 17 | 700 1130 260700 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2734 c Elapsed CPU time: 26.577 s Remaining CPU time: 153.423 s c =============================================================================== c | 17 | 700 1131 261300 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2733 c Elapsed CPU time: 26.7159 s Remaining CPU time: 153.284 s c =============================================================================== c | 17 | 700 1132 261900 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2732 c Elapsed CPU time: 26.8499 s Remaining CPU time: 153.15 s c =============================================================================== c | 17 | 700 1133 262500 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2731 c Elapsed CPU time: 26.9829 s Remaining CPU time: 153.017 s c =============================================================================== c | 17 | 700 1134 263100 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2730 c Elapsed CPU time: 27.1219 s Remaining CPU time: 152.878 s c =============================================================================== c | 17 | 700 1135 263700 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2729 c Elapsed CPU time: 27.2589 s Remaining CPU time: 152.741 s c =============================================================================== c | 17 | 700 1136 264300 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2728 c Elapsed CPU time: 27.3928 s Remaining CPU time: 152.607 s c =============================================================================== c | 17 | 700 1137 264900 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2727 c Elapsed CPU time: 27.5348 s Remaining CPU time: 152.465 s c =============================================================================== c | 17 | 700 1138 265500 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2726 c Elapsed CPU time: 27.6798 s Remaining CPU time: 152.32 s c =============================================================================== c | 17 | 700 1139 266100 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2725 c Elapsed CPU time: 27.8158 s Remaining CPU time: 152.184 s c =============================================================================== c | 17 | 700 1140 266700 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2724 c Elapsed CPU time: 27.9607 s Remaining CPU time: 152.039 s c =============================================================================== c | 17 | 700 1141 267300 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2723 c Elapsed CPU time: 28.0947 s Remaining CPU time: 151.905 s c =============================================================================== c | 17 | 700 1142 267900 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2722 c Elapsed CPU time: 28.2277 s Remaining CPU time: 151.772 s c =============================================================================== c | 17 | 700 1143 268500 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2721 c Elapsed CPU time: 28.3747 s Remaining CPU time: 151.625 s c =============================================================================== c | 17 | 700 1144 269100 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2720 c Elapsed CPU time: 28.5207 s Remaining CPU time: 151.479 s c =============================================================================== c | 17 | 700 1145 269700 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2719 c Elapsed CPU time: 28.6646 s Remaining CPU time: 151.335 s c =============================================================================== c | 17 | 700 1146 270300 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2718 c Elapsed CPU time: 28.8076 s Remaining CPU time: 151.192 s c =============================================================================== c | 17 | 700 1147 270900 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2717 c Elapsed CPU time: 28.9486 s Remaining CPU time: 151.051 s c =============================================================================== c | 17 | 700 1148 271500 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2716 c Elapsed CPU time: 29.0906 s Remaining CPU time: 150.909 s c =============================================================================== c | 17 | 700 1149 272100 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2715 c Elapsed CPU time: 29.2286 s Remaining CPU time: 150.771 s c =============================================================================== c | 17 | 700 1150 272700 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2714 c Elapsed CPU time: 29.3715 s Remaining CPU time: 150.628 s c =============================================================================== c | 17 | 700 1151 273300 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2713 c Elapsed CPU time: 29.5025 s Remaining CPU time: 150.497 s c =============================================================================== c | 17 | 700 1152 273900 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2712 c Elapsed CPU time: 29.6445 s Remaining CPU time: 150.356 s c =============================================================================== c | 17 | 700 1153 274500 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2711 c Elapsed CPU time: 29.7875 s Remaining CPU time: 150.213 s c =============================================================================== c | 17 | 700 1154 275100 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2710 c Elapsed CPU time: 29.9275 s Remaining CPU time: 150.073 s c =============================================================================== c | 17 | 700 1155 275700 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2709 c Elapsed CPU time: 30.0724 s Remaining CPU time: 149.928 s c =============================================================================== c | 17 | 700 1156 276300 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2708 c Elapsed CPU time: 30.2154 s Remaining CPU time: 149.785 s c =============================================================================== c | 17 | 700 1157 276900 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2707 c Elapsed CPU time: 30.3564 s Remaining CPU time: 149.644 s c =============================================================================== c | 17 | 700 1158 277500 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2706 c Elapsed CPU time: 30.4974 s Remaining CPU time: 149.503 s c =============================================================================== c | 17 | 700 1159 278100 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2705 c Elapsed CPU time: 30.6443 s Remaining CPU time: 149.356 s c =============================================================================== c | 17 | 700 1160 278700 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2704 c Elapsed CPU time: 30.7913 s Remaining CPU time: 149.209 s c =============================================================================== c | 17 | 700 1161 279300 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2703 c Elapsed CPU time: 30.9343 s Remaining CPU time: 149.066 s c =============================================================================== c | 17 | 700 1162 279900 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2702 c Elapsed CPU time: 31.0813 s Remaining CPU time: 148.919 s c =============================================================================== c | 17 | 700 1163 280500 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2701 c Elapsed CPU time: 31.2383 s Remaining CPU time: 148.762 s c =============================================================================== c | 17 | 700 1164 281100 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2700 c Elapsed CPU time: 31.3762 s Remaining CPU time: 148.624 s c =============================================================================== c | 17 | 700 1165 281700 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2699 c Elapsed CPU time: 31.5262 s Remaining CPU time: 148.474 s c =============================================================================== c | 17 | 700 1166 282300 | 5000 17 100 | 0.000 % | c =============================================================================== c New solution: 2698 c Elapsed CPU time: 31.6832 s Remaining CPU time: 148.317 s c =============================================================================== c | 18 | 700 1167 282900 | 5000 18 95 | 0.000 % | c =============================================================================== c New solution: 2697 c Elapsed CPU time: 31.8282 s Remaining CPU time: 148.172 s c =============================================================================== c | 18 | 700 1168 283500 | 5000 18 95 | 0.000 % | c =============================================================================== c New solution: 2696 c Elapsed CPU time: 31.9791 s Remaining CPU time: 148.021 s c =============================================================================== c | 18 | 700 1169 284100 | 5000 18 95 | 0.000 % | c =============================================================================== c New solution: 2695 c Elapsed CPU time: 32.1251 s Remaining CPU time: 147.875 s c =============================================================================== c | 18 | 700 1170 284700 | 5000 18 95 | 0.000 % | c =============================================================================== c New solution: 2694 c Elapsed CPU time: 32.2691 s Remaining CPU time: 147.731 s c =============================================================================== c | 18 | 700 1171 285300 | 5000 18 95 | 0.000 % | c =============================================================================== c New solution: 2693 c Elapsed CPU time: 32.4201 s Remaining CPU time: 147.58 s c =============================================================================== c | 18 | 700 1172 285900 | 5000 18 95 | 0.000 % | c =============================================================================== c New solution: 2692 c Elapsed CPU time: 32.573 s Remaining CPU time: 147.427 s c =============================================================================== c | 18 | 700 1173 286500 | 5000 18 95 | 0.000 % | c =============================================================================== c New solution: 2691 c Elapsed CPU time: 32.734 s Remaining CPU time: 147.266 s c =============================================================================== c | 18 | 700 1174 287100 | 5000 18 95 | 0.000 % | c =============================================================================== c New solution: 2690 c Elapsed CPU time: 32.885 s Remaining CPU time: 147.115 s c =============================================================================== c | 18 | 700 1175 287700 | 5000 18 95 | 0.000 % | c =============================================================================== c New solution: 2689 c Elapsed CPU time: 33.03 s Remaining CPU time: 146.97 s c =============================================================================== c | 18 | 700 1176 288300 | 5000 18 95 | 0.000 % | c =============================================================================== c New solution: 2688 c Elapsed CPU time: 33.172 s Remaining CPU time: 146.828 s c =============================================================================== c | 18 | 700 1177 288900 | 5000 18 95 | 0.000 % | c =============================================================================== c New solution: 2687 c Elapsed CPU time: 33.3219 s Remaining CPU time: 146.678 s c =============================================================================== c | 18 | 700 1178 289500 | 5000 18 95 | 0.000 % | c =============================================================================== c New solution: 2686 c Elapsed CPU time: 33.4809 s Remaining CPU time: 146.519 s c =============================================================================== c | 18 | 700 1179 290100 | 5000 18 95 | 0.000 % | c =============================================================================== c New solution: 2685 c Elapsed CPU time: 33.6309 s Remaining CPU time: 146.369 s c =============================================================================== c | 20 | 700 1180 290700 | 5000 20 86 | 0.000 % | c =============================================================================== c New solution: 2684 c Elapsed CPU time: 33.7859 s Remaining CPU time: 146.214 s c =============================================================================== c | 21 | 700 1181 291300 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2683 c Elapsed CPU time: 33.9378 s Remaining CPU time: 146.062 s c =============================================================================== c | 21 | 700 1182 291900 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2682 c Elapsed CPU time: 34.0818 s Remaining CPU time: 145.918 s c =============================================================================== c | 21 | 700 1183 292500 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2681 c Elapsed CPU time: 34.2358 s Remaining CPU time: 145.764 s c =============================================================================== c | 21 | 700 1184 293100 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2680 c Elapsed CPU time: 34.3818 s Remaining CPU time: 145.618 s c =============================================================================== c | 21 | 700 1185 293700 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2679 c Elapsed CPU time: 34.5397 s Remaining CPU time: 145.46 s c =============================================================================== c | 21 | 700 1186 294300 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2678 c Elapsed CPU time: 34.6927 s Remaining CPU time: 145.307 s c =============================================================================== c | 21 | 700 1187 294900 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2677 c Elapsed CPU time: 34.8517 s Remaining CPU time: 145.148 s c =============================================================================== c | 21 | 700 1188 295500 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2676 c Elapsed CPU time: 35.0047 s Remaining CPU time: 144.995 s c =============================================================================== c | 21 | 700 1189 296100 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2675 c Elapsed CPU time: 35.1647 s Remaining CPU time: 144.835 s c =============================================================================== c | 21 | 700 1190 296700 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2674 c Elapsed CPU time: 35.3166 s Remaining CPU time: 144.683 s c =============================================================================== c | 21 | 700 1191 297300 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2673 c Elapsed CPU time: 35.4666 s Remaining CPU time: 144.533 s c =============================================================================== c | 21 | 700 1192 297900 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2672 c Elapsed CPU time: 35.6156 s Remaining CPU time: 144.384 s c =============================================================================== c | 21 | 700 1193 298500 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2671 c Elapsed CPU time: 35.7676 s Remaining CPU time: 144.232 s c =============================================================================== c | 21 | 700 1194 299100 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2670 c Elapsed CPU time: 35.9185 s Remaining CPU time: 144.081 s c =============================================================================== c | 21 | 700 1195 299700 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2669 c Elapsed CPU time: 36.0765 s Remaining CPU time: 143.923 s c =============================================================================== c | 21 | 700 1196 300300 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2668 c Elapsed CPU time: 36.2315 s Remaining CPU time: 143.769 s c =============================================================================== c | 21 | 700 1197 300900 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2667 c Elapsed CPU time: 36.3845 s Remaining CPU time: 143.616 s c =============================================================================== c | 21 | 700 1198 301500 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2666 c Elapsed CPU time: 36.5354 s Remaining CPU time: 143.465 s c =============================================================================== c | 21 | 700 1199 302100 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2665 c Elapsed CPU time: 36.6884 s Remaining CPU time: 143.312 s c =============================================================================== c | 21 | 700 1200 302700 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2664 c Elapsed CPU time: 36.8404 s Remaining CPU time: 143.16 s c =============================================================================== c | 21 | 700 1201 303300 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2663 c Elapsed CPU time: 36.9974 s Remaining CPU time: 143.003 s c =============================================================================== c | 21 | 700 1202 303900 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2662 c Elapsed CPU time: 37.1584 s Remaining CPU time: 142.842 s c =============================================================================== c | 21 | 700 1203 304500 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2661 c Elapsed CPU time: 37.3233 s Remaining CPU time: 142.677 s c =============================================================================== c | 21 | 700 1204 305100 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2660 c Elapsed CPU time: 37.4863 s Remaining CPU time: 142.514 s c =============================================================================== c | 21 | 700 1205 305700 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2659 c Elapsed CPU time: 37.6443 s Remaining CPU time: 142.356 s c =============================================================================== c | 21 | 700 1206 306300 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2658 c Elapsed CPU time: 37.8023 s Remaining CPU time: 142.198 s c =============================================================================== c | 21 | 700 1207 306900 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2657 c Elapsed CPU time: 37.9622 s Remaining CPU time: 142.038 s c =============================================================================== c | 21 | 700 1208 307500 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2656 c Elapsed CPU time: 38.1162 s Remaining CPU time: 141.884 s c =============================================================================== c | 21 | 700 1209 308100 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2655 c Elapsed CPU time: 38.2752 s Remaining CPU time: 141.725 s c =============================================================================== c | 21 | 700 1210 308700 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2654 c Elapsed CPU time: 38.4332 s Remaining CPU time: 141.567 s c =============================================================================== c | 21 | 700 1211 309300 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2653 c Elapsed CPU time: 38.5871 s Remaining CPU time: 141.413 s c =============================================================================== c | 21 | 700 1212 309900 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2652 c Elapsed CPU time: 38.7451 s Remaining CPU time: 141.255 s c =============================================================================== c | 21 | 700 1213 310500 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2651 c Elapsed CPU time: 38.9061 s Remaining CPU time: 141.094 s c =============================================================================== c | 21 | 700 1214 311100 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2650 c Elapsed CPU time: 39.0681 s Remaining CPU time: 140.932 s c =============================================================================== c | 21 | 700 1215 311700 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2649 c Elapsed CPU time: 39.226 s Remaining CPU time: 140.774 s c =============================================================================== c | 21 | 700 1216 312300 | 5000 21 82 | 0.000 % | c =============================================================================== c New solution: 2648 c Elapsed CPU time: 39.397 s Remaining CPU time: 140.603 s c =============================================================================== c | 22 | 700 1217 312900 | 5000 22 79 | 0.000 % | c =============================================================================== c New solution: 2647 c Elapsed CPU time: 39.561 s Remaining CPU time: 140.439 s c =============================================================================== c | 22 | 700 1218 313500 | 5000 22 79 | 0.000 % | c =============================================================================== c New solution: 2646 c Elapsed CPU time: 39.73 s Remaining CPU time: 140.27 s c =============================================================================== c | 22 | 700 1219 314100 | 5000 22 79 | 0.000 % | c =============================================================================== c New solution: 2645 c Elapsed CPU time: 39.8869 s Remaining CPU time: 140.113 s c =============================================================================== c | 22 | 700 1220 314700 | 5000 22 79 | 0.000 % | c =============================================================================== c New solution: 2644 c Elapsed CPU time: 40.0429 s Remaining CPU time: 139.957 s c =============================================================================== c | 22 | 700 1221 315300 | 5000 22 79 | 0.000 % | c =============================================================================== c New solution: 2643 c Elapsed CPU time: 40.2089 s Remaining CPU time: 139.791 s c =============================================================================== c | 22 | 700 1222 315900 | 5000 22 79 | 0.000 % | c =============================================================================== c New solution: 2642 c Elapsed CPU time: 40.3699 s Remaining CPU time: 139.63 s c =============================================================================== c | 22 | 700 1223 316500 | 5000 22 79 | 0.000 % | c =============================================================================== c New solution: 2641 c Elapsed CPU time: 40.5398 s Remaining CPU time: 139.46 s c =============================================================================== c | 23 | 700 1224 317100 | 5000 23 76 | 0.000 % | c =============================================================================== c New solution: 2640 c Elapsed CPU time: 40.7018 s Remaining CPU time: 139.298 s c =============================================================================== c | 23 | 700 1225 317700 | 5000 23 76 | 0.000 % | c =============================================================================== c New solution: 2639 c Elapsed CPU time: 40.8708 s Remaining CPU time: 139.129 s c =============================================================================== c | 23 | 700 1226 318300 | 5000 23 76 | 0.000 % | c =============================================================================== c New solution: 2638 c Elapsed CPU time: 41.0318 s Remaining CPU time: 138.968 s c =============================================================================== c | 23 | 700 1227 318900 | 5000 23 76 | 0.000 % | c =============================================================================== c New solution: 2637 c Elapsed CPU time: 41.1877 s Remaining CPU time: 138.812 s c =============================================================================== c | 23 | 700 1228 319500 | 5000 23 76 | 0.000 % | c =============================================================================== c New solution: 2636 c Elapsed CPU time: 41.3497 s Remaining CPU time: 138.65 s c =============================================================================== c | 24 | 700 1229 320100 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2635 c Elapsed CPU time: 41.5157 s Remaining CPU time: 138.484 s c =============================================================================== c | 24 | 700 1230 320700 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2634 c Elapsed CPU time: 41.6827 s Remaining CPU time: 138.317 s c =============================================================================== c | 24 | 700 1231 321300 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2633 c Elapsed CPU time: 41.8406 s Remaining CPU time: 138.159 s c =============================================================================== c | 24 | 700 1232 321900 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2632 c Elapsed CPU time: 42.0066 s Remaining CPU time: 137.993 s c =============================================================================== c | 24 | 700 1233 322500 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2631 c Elapsed CPU time: 42.1696 s Remaining CPU time: 137.83 s c =============================================================================== c | 24 | 700 1234 323100 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2630 c Elapsed CPU time: 42.3366 s Remaining CPU time: 137.663 s c =============================================================================== c | 24 | 700 1235 323700 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2629 c Elapsed CPU time: 42.5115 s Remaining CPU time: 137.488 s c =============================================================================== c | 24 | 700 1236 324300 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2628 c Elapsed CPU time: 42.6785 s Remaining CPU time: 137.321 s c =============================================================================== c | 24 | 700 1237 324900 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2627 c Elapsed CPU time: 42.8485 s Remaining CPU time: 137.152 s c =============================================================================== c | 24 | 700 1238 325500 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2626 c Elapsed CPU time: 43.0185 s Remaining CPU time: 136.982 s c =============================================================================== c | 24 | 700 1239 326100 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2625 c Elapsed CPU time: 43.1844 s Remaining CPU time: 136.816 s c =============================================================================== c | 24 | 700 1240 326700 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2624 c Elapsed CPU time: 43.3624 s Remaining CPU time: 136.638 s c =============================================================================== c | 24 | 700 1241 327300 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2623 c Elapsed CPU time: 43.5374 s Remaining CPU time: 136.463 s c =============================================================================== c | 24 | 700 1242 327900 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2622 c Elapsed CPU time: 43.7154 s Remaining CPU time: 136.285 s c =============================================================================== c | 24 | 700 1243 328500 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2621 c Elapsed CPU time: 43.8913 s Remaining CPU time: 136.109 s c =============================================================================== c | 24 | 700 1244 329100 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2620 c Elapsed CPU time: 44.0703 s Remaining CPU time: 135.93 s c =============================================================================== c | 24 | 700 1245 329700 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2619 c Elapsed CPU time: 44.2463 s Remaining CPU time: 135.754 s c =============================================================================== c | 24 | 700 1246 330300 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2618 c Elapsed CPU time: 44.4162 s Remaining CPU time: 135.584 s c =============================================================================== c | 24 | 700 1247 330900 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2617 c Elapsed CPU time: 44.5762 s Remaining CPU time: 135.424 s c =============================================================================== c | 24 | 700 1248 331500 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2616 c Elapsed CPU time: 44.7422 s Remaining CPU time: 135.258 s c =============================================================================== c | 24 | 700 1249 332100 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2615 c Elapsed CPU time: 44.9172 s Remaining CPU time: 135.083 s c =============================================================================== c | 24 | 700 1250 332700 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2614 c Elapsed CPU time: 45.0901 s Remaining CPU time: 134.91 s c =============================================================================== c | 24 | 700 1251 333300 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2613 c Elapsed CPU time: 45.2571 s Remaining CPU time: 134.743 s c =============================================================================== c | 24 | 700 1252 333900 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2612 c Elapsed CPU time: 45.4261 s Remaining CPU time: 134.574 s c =============================================================================== c | 24 | 700 1253 334500 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2611 c Elapsed CPU time: 45.5941 s Remaining CPU time: 134.406 s c =============================================================================== c | 24 | 700 1254 335100 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2610 c Elapsed CPU time: 45.761 s Remaining CPU time: 134.239 s c =============================================================================== c | 24 | 700 1255 335700 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2609 c Elapsed CPU time: 45.934 s Remaining CPU time: 134.066 s c =============================================================================== c | 24 | 700 1256 336300 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2608 c Elapsed CPU time: 46.11 s Remaining CPU time: 133.89 s c =============================================================================== c | 24 | 700 1257 336900 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2607 c Elapsed CPU time: 46.283 s Remaining CPU time: 133.717 s c =============================================================================== c | 24 | 700 1258 337500 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2606 c Elapsed CPU time: 46.4519 s Remaining CPU time: 133.548 s c =============================================================================== c | 24 | 700 1259 338100 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2605 c Elapsed CPU time: 46.6259 s Remaining CPU time: 133.374 s c =============================================================================== c | 24 | 700 1260 338700 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2604 c Elapsed CPU time: 46.8089 s Remaining CPU time: 133.191 s c =============================================================================== c | 24 | 700 1261 339300 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2603 c Elapsed CPU time: 46.9819 s Remaining CPU time: 133.018 s c =============================================================================== c | 24 | 700 1262 339900 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2602 c Elapsed CPU time: 47.1628 s Remaining CPU time: 132.837 s c =============================================================================== c | 24 | 700 1263 340500 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2601 c Elapsed CPU time: 47.3468 s Remaining CPU time: 132.653 s c =============================================================================== c | 24 | 700 1264 341100 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2600 c Elapsed CPU time: 47.5258 s Remaining CPU time: 132.474 s c =============================================================================== c | 24 | 700 1265 341700 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2599 c Elapsed CPU time: 47.6987 s Remaining CPU time: 132.301 s c =============================================================================== c | 24 | 700 1266 342300 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2598 c Elapsed CPU time: 47.8727 s Remaining CPU time: 132.127 s c =============================================================================== c | 24 | 700 1267 342900 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2597 c Elapsed CPU time: 48.0487 s Remaining CPU time: 131.951 s c =============================================================================== c | 24 | 700 1268 343500 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2596 c Elapsed CPU time: 48.2267 s Remaining CPU time: 131.773 s c =============================================================================== c | 24 | 700 1269 344100 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2595 c Elapsed CPU time: 48.4046 s Remaining CPU time: 131.595 s c =============================================================================== c | 24 | 700 1270 344700 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2594 c Elapsed CPU time: 48.5916 s Remaining CPU time: 131.408 s c =============================================================================== c | 24 | 700 1271 345300 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2593 c Elapsed CPU time: 48.7726 s Remaining CPU time: 131.227 s c =============================================================================== c | 24 | 700 1272 345900 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2592 c Elapsed CPU time: 48.9586 s Remaining CPU time: 131.041 s c =============================================================================== c | 24 | 700 1273 346500 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2591 c Elapsed CPU time: 49.1315 s Remaining CPU time: 130.868 s c =============================================================================== c | 24 | 700 1274 347100 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2590 c Elapsed CPU time: 49.3235 s Remaining CPU time: 130.676 s c =============================================================================== c | 24 | 700 1275 347700 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2589 c Elapsed CPU time: 49.5175 s Remaining CPU time: 130.483 s c =============================================================================== c | 24 | 700 1276 348300 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2588 c Elapsed CPU time: 49.6934 s Remaining CPU time: 130.307 s c =============================================================================== c | 24 | 700 1277 348900 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2587 c Elapsed CPU time: 49.8694 s Remaining CPU time: 130.131 s c =============================================================================== c | 24 | 700 1278 349500 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2586 c Elapsed CPU time: 50.0464 s Remaining CPU time: 129.954 s c =============================================================================== c | 24 | 700 1279 350100 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2585 c Elapsed CPU time: 50.2404 s Remaining CPU time: 129.76 s c =============================================================================== c | 24 | 700 1280 350700 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2584 c Elapsed CPU time: 50.4343 s Remaining CPU time: 129.566 s c =============================================================================== c | 24 | 700 1281 351300 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2583 c Elapsed CPU time: 50.6243 s Remaining CPU time: 129.376 s c =============================================================================== c | 24 | 700 1282 351900 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2582 c Elapsed CPU time: 50.7973 s Remaining CPU time: 129.203 s c =============================================================================== c | 24 | 700 1283 352500 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2581 c Elapsed CPU time: 50.9713 s Remaining CPU time: 129.029 s c =============================================================================== c | 24 | 700 1284 353100 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2580 c Elapsed CPU time: 51.1562 s Remaining CPU time: 128.844 s c =============================================================================== c | 24 | 700 1285 353700 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2579 c Elapsed CPU time: 51.3402 s Remaining CPU time: 128.66 s c =============================================================================== c | 24 | 700 1286 354300 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2578 c Elapsed CPU time: 51.5172 s Remaining CPU time: 128.483 s c =============================================================================== c | 24 | 700 1287 354900 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2577 c Elapsed CPU time: 51.6951 s Remaining CPU time: 128.305 s c =============================================================================== c | 24 | 700 1288 355500 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2576 c Elapsed CPU time: 51.8831 s Remaining CPU time: 128.117 s c =============================================================================== c | 24 | 700 1289 356100 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2575 c Elapsed CPU time: 52.0641 s Remaining CPU time: 127.936 s c =============================================================================== c | 24 | 700 1290 356700 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2574 c Elapsed CPU time: 52.2511 s Remaining CPU time: 127.749 s c =============================================================================== c | 24 | 700 1291 357300 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2573 c Elapsed CPU time: 52.44 s Remaining CPU time: 127.56 s c =============================================================================== c | 24 | 700 1292 357900 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2572 c Elapsed CPU time: 52.621 s Remaining CPU time: 127.379 s c =============================================================================== c | 24 | 700 1293 358500 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2571 c Elapsed CPU time: 52.791 s Remaining CPU time: 127.209 s c =============================================================================== c | 24 | 700 1294 359100 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2570 c Elapsed CPU time: 52.9709 s Remaining CPU time: 127.029 s c =============================================================================== c | 24 | 700 1295 359700 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2569 c Elapsed CPU time: 53.1599 s Remaining CPU time: 126.84 s c =============================================================================== c | 24 | 700 1296 360300 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2568 c Elapsed CPU time: 53.3379 s Remaining CPU time: 126.662 s c =============================================================================== c | 24 | 700 1297 360900 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2567 c Elapsed CPU time: 53.5169 s Remaining CPU time: 126.483 s c =============================================================================== c | 24 | 700 1298 361500 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2566 c Elapsed CPU time: 53.6928 s Remaining CPU time: 126.307 s c =============================================================================== c | 24 | 700 1299 362100 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2565 c Elapsed CPU time: 53.8758 s Remaining CPU time: 126.124 s c =============================================================================== c | 24 | 700 1300 362700 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2564 c Elapsed CPU time: 54.0678 s Remaining CPU time: 125.932 s c =============================================================================== c | 24 | 700 1301 363300 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2563 c Elapsed CPU time: 54.2548 s Remaining CPU time: 125.745 s c =============================================================================== c | 24 | 700 1302 363900 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2562 c Elapsed CPU time: 54.4397 s Remaining CPU time: 125.56 s c =============================================================================== c | 24 | 700 1303 364500 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2561 c Elapsed CPU time: 54.6357 s Remaining CPU time: 125.364 s c =============================================================================== c | 24 | 700 1304 365100 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2560 c Elapsed CPU time: 54.8287 s Remaining CPU time: 125.171 s c =============================================================================== c | 24 | 700 1305 365700 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2559 c Elapsed CPU time: 55.0156 s Remaining CPU time: 124.984 s c =============================================================================== c | 24 | 700 1306 366300 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2558 c Elapsed CPU time: 55.2056 s Remaining CPU time: 124.794 s c =============================================================================== c | 24 | 700 1307 366900 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2557 c Elapsed CPU time: 55.3956 s Remaining CPU time: 124.604 s c =============================================================================== c | 24 | 700 1308 367500 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2556 c Elapsed CPU time: 55.5925 s Remaining CPU time: 124.407 s c =============================================================================== c | 24 | 700 1309 368100 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2555 c Elapsed CPU time: 55.7815 s Remaining CPU time: 124.218 s c =============================================================================== c | 24 | 700 1310 368700 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2554 c Elapsed CPU time: 55.9705 s Remaining CPU time: 124.03 s c =============================================================================== c | 24 | 700 1311 369300 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2553 c Elapsed CPU time: 56.1675 s Remaining CPU time: 123.833 s c =============================================================================== c | 24 | 700 1312 369900 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2552 c Elapsed CPU time: 56.3544 s Remaining CPU time: 123.646 s c =============================================================================== c | 24 | 700 1313 370500 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2551 c Elapsed CPU time: 56.5424 s Remaining CPU time: 123.458 s c =============================================================================== c | 24 | 700 1314 371100 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2550 c Elapsed CPU time: 56.7324 s Remaining CPU time: 123.268 s c =============================================================================== c | 24 | 700 1315 371700 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2549 c Elapsed CPU time: 56.9253 s Remaining CPU time: 123.075 s c =============================================================================== c | 24 | 700 1316 372300 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2548 c Elapsed CPU time: 57.1183 s Remaining CPU time: 122.882 s c =============================================================================== c | 24 | 700 1317 372900 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2547 c Elapsed CPU time: 57.3093 s Remaining CPU time: 122.691 s c =============================================================================== c | 24 | 700 1318 373500 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2546 c Elapsed CPU time: 57.5003 s Remaining CPU time: 122.5 s c =============================================================================== c | 24 | 700 1319 374100 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2545 c Elapsed CPU time: 57.7042 s Remaining CPU time: 122.296 s c =============================================================================== c | 24 | 700 1320 374700 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2544 c Elapsed CPU time: 57.9012 s Remaining CPU time: 122.099 s c =============================================================================== c | 24 | 700 1321 375300 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2543 c Elapsed CPU time: 58.0952 s Remaining CPU time: 121.905 s c =============================================================================== c | 24 | 700 1322 375900 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2542 c Elapsed CPU time: 58.2821 s Remaining CPU time: 121.718 s c =============================================================================== c | 24 | 700 1323 376500 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2541 c Elapsed CPU time: 58.4791 s Remaining CPU time: 121.521 s c =============================================================================== c | 24 | 700 1324 377100 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2540 c Elapsed CPU time: 58.6701 s Remaining CPU time: 121.33 s c =============================================================================== c | 24 | 700 1325 377700 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2539 c Elapsed CPU time: 58.8491 s Remaining CPU time: 121.151 s c =============================================================================== c | 24 | 700 1326 378300 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2538 c Elapsed CPU time: 59.031 s Remaining CPU time: 120.969 s c =============================================================================== c | 24 | 700 1327 378900 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2537 c Elapsed CPU time: 59.226 s Remaining CPU time: 120.774 s c =============================================================================== c | 24 | 700 1328 379500 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2536 c Elapsed CPU time: 59.418 s Remaining CPU time: 120.582 s c =============================================================================== c | 24 | 700 1329 380100 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2535 c Elapsed CPU time: 59.5989 s Remaining CPU time: 120.401 s c =============================================================================== c | 24 | 700 1330 380700 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2534 c Elapsed CPU time: 59.7859 s Remaining CPU time: 120.214 s c =============================================================================== c | 24 | 700 1331 381300 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2533 c Elapsed CPU time: 59.9899 s Remaining CPU time: 120.01 s c =============================================================================== c | 24 | 700 1332 381900 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2532 c Elapsed CPU time: 60.1918 s Remaining CPU time: 119.808 s c =============================================================================== c | 24 | 700 1333 382500 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2531 c Elapsed CPU time: 60.3868 s Remaining CPU time: 119.613 s c =============================================================================== c | 24 | 700 1334 383100 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2530 c Elapsed CPU time: 60.5768 s Remaining CPU time: 119.423 s c =============================================================================== c | 24 | 700 1335 383700 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2529 c Elapsed CPU time: 60.7828 s Remaining CPU time: 119.217 s c =============================================================================== c | 24 | 700 1336 384300 | 5000 24 93 | 0.000 % | c =============================================================================== c New solution: 2528 c Elapsed CPU time: 60.9817 s Remaining CPU time: 119.018 s c =============================================================================== c | 25 | 700 1337 384900 | 5000 25 90 | 0.000 % | c =============================================================================== c New solution: 2527 c Elapsed CPU time: 61.1907 s Remaining CPU time: 118.809 s c =============================================================================== c | 25 | 700 1338 385500 | 5000 25 90 | 0.000 % | c =============================================================================== c New solution: 2526 c Elapsed CPU time: 61.3907 s Remaining CPU time: 118.609 s c =============================================================================== c | 25 | 700 1339 386100 | 5000 25 90 | 0.000 % | c =============================================================================== c New solution: 2525 c Elapsed CPU time: 61.5916 s Remaining CPU time: 118.408 s c =============================================================================== c | 25 | 700 1340 386700 | 5000 25 90 | 0.000 % | c =============================================================================== c New solution: 2524 c Elapsed CPU time: 61.7866 s Remaining CPU time: 118.213 s c =============================================================================== c | 25 | 700 1341 387300 | 5000 25 90 | 0.000 % | c =============================================================================== c New solution: 2523 c Elapsed CPU time: 61.9936 s Remaining CPU time: 118.006 s c =============================================================================== c | 26 | 700 1342 387900 | 5000 26 104 | 0.000 % | c =============================================================================== c New solution: 2522 c Elapsed CPU time: 62.1915 s Remaining CPU time: 117.808 s c =============================================================================== c | 26 | 700 1343 388500 | 5000 26 104 | 0.000 % | c =============================================================================== c New solution: 2521 c Elapsed CPU time: 62.3875 s Remaining CPU time: 117.612 s c =============================================================================== c | 27 | 700 1344 389100 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2520 c Elapsed CPU time: 62.5845 s Remaining CPU time: 117.416 s c =============================================================================== c | 27 | 700 1345 389700 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2519 c Elapsed CPU time: 62.7825 s Remaining CPU time: 117.218 s c =============================================================================== c | 27 | 700 1346 390300 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2518 c Elapsed CPU time: 62.9774 s Remaining CPU time: 117.023 s c =============================================================================== c | 27 | 700 1347 390900 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2517 c Elapsed CPU time: 63.1684 s Remaining CPU time: 116.832 s c =============================================================================== c | 27 | 700 1348 391500 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2516 c Elapsed CPU time: 63.3614 s Remaining CPU time: 116.639 s c =============================================================================== c | 27 | 700 1349 392100 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2515 c Elapsed CPU time: 63.5513 s Remaining CPU time: 116.449 s c =============================================================================== c | 27 | 700 1350 392700 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2514 c Elapsed CPU time: 63.7413 s Remaining CPU time: 116.259 s c =============================================================================== c | 27 | 700 1351 393300 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2513 c Elapsed CPU time: 63.9383 s Remaining CPU time: 116.062 s c =============================================================================== c | 27 | 700 1352 393900 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2512 c Elapsed CPU time: 64.1352 s Remaining CPU time: 115.865 s c =============================================================================== c | 27 | 700 1353 394500 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2511 c Elapsed CPU time: 64.3412 s Remaining CPU time: 115.659 s c =============================================================================== c | 27 | 700 1354 395100 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2510 c Elapsed CPU time: 64.5462 s Remaining CPU time: 115.454 s c =============================================================================== c | 27 | 700 1355 395700 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2509 c Elapsed CPU time: 64.7482 s Remaining CPU time: 115.252 s c =============================================================================== c | 27 | 700 1356 396300 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2508 c Elapsed CPU time: 64.9601 s Remaining CPU time: 115.04 s c =============================================================================== c | 27 | 700 1357 396900 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2507 c Elapsed CPU time: 65.1581 s Remaining CPU time: 114.842 s c =============================================================================== c | 27 | 700 1358 397500 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2506 c Elapsed CPU time: 65.3621 s Remaining CPU time: 114.638 s c =============================================================================== c | 27 | 700 1359 398100 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2505 c Elapsed CPU time: 65.567 s Remaining CPU time: 114.433 s c =============================================================================== c | 27 | 700 1360 398700 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2504 c Elapsed CPU time: 65.77 s Remaining CPU time: 114.23 s c =============================================================================== c | 27 | 700 1361 399300 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2503 c Elapsed CPU time: 65.982 s Remaining CPU time: 114.018 s c =============================================================================== c | 27 | 700 1362 399900 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2502 c Elapsed CPU time: 66.1789 s Remaining CPU time: 113.821 s c =============================================================================== c | 27 | 700 1363 400500 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2501 c Elapsed CPU time: 66.3729 s Remaining CPU time: 113.627 s c =============================================================================== c | 27 | 700 1364 401100 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2500 c Elapsed CPU time: 66.5859 s Remaining CPU time: 113.414 s c =============================================================================== c | 27 | 700 1365 401700 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2499 c Elapsed CPU time: 66.7878 s Remaining CPU time: 113.212 s c =============================================================================== c | 27 | 700 1366 402300 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2498 c Elapsed CPU time: 66.9868 s Remaining CPU time: 113.013 s c =============================================================================== c | 27 | 700 1367 402900 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2497 c Elapsed CPU time: 67.1808 s Remaining CPU time: 112.819 s c =============================================================================== c | 27 | 700 1368 403500 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2496 c Elapsed CPU time: 67.4028 s Remaining CPU time: 112.597 s c =============================================================================== c | 27 | 700 1369 404100 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2495 c Elapsed CPU time: 67.6177 s Remaining CPU time: 112.382 s c =============================================================================== c | 27 | 700 1370 404700 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2494 c Elapsed CPU time: 67.8297 s Remaining CPU time: 112.17 s c =============================================================================== c | 27 | 700 1371 405300 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2493 c Elapsed CPU time: 68.0427 s Remaining CPU time: 111.957 s c =============================================================================== c | 27 | 700 1372 405900 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2492 c Elapsed CPU time: 68.2566 s Remaining CPU time: 111.743 s c =============================================================================== c | 27 | 700 1373 406500 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2491 c Elapsed CPU time: 68.4626 s Remaining CPU time: 111.537 s c =============================================================================== c | 27 | 700 1374 407100 | 5000 27 101 | 0.000 % | c =============================================================================== c New solution: 2490 c Elapsed CPU time: 68.6936 s Remaining CPU time: 111.306 s c =============================================================================== c | 28 | 700 1375 407700 | 5000 28 114 | 0.000 % | c =============================================================================== c New solution: 2489 c Elapsed CPU time: 68.9095 s Remaining CPU time: 111.09 s c =============================================================================== c | 28 | 700 1376 408300 | 5000 28 114 | 0.000 % | c =============================================================================== c New solution: 2488 c Elapsed CPU time: 69.1205 s Remaining CPU time: 110.88 s c =============================================================================== c | 28 | 700 1377 408900 | 5000 28 114 | 0.000 % | c =============================================================================== c New solution: 2487 c Elapsed CPU time: 69.3325 s Remaining CPU time: 110.668 s c =============================================================================== c | 28 | 700 1378 409500 | 5000 28 114 | 0.000 % | c =============================================================================== c New solution: 2486 c Elapsed CPU time: 69.5494 s Remaining CPU time: 110.451 s c =============================================================================== c | 28 | 700 1379 410100 | 5000 28 114 | 0.000 % | c =============================================================================== c New solution: 2485 c Elapsed CPU time: 69.7544 s Remaining CPU time: 110.246 s c =============================================================================== c | 28 | 700 1380 410700 | 5000 28 114 | 0.000 % | c =============================================================================== c New solution: 2484 c Elapsed CPU time: 69.9654 s Remaining CPU time: 110.035 s c =============================================================================== c | 29 | 700 1381 411300 | 5000 29 110 | 0.000 % | c =============================================================================== c New solution: 2483 c Elapsed CPU time: 70.1723 s Remaining CPU time: 109.828 s c =============================================================================== c | 30 | 700 1382 411900 | 5000 30 107 | 0.000 % | c =============================================================================== c New solution: 2482 c Elapsed CPU time: 70.3863 s Remaining CPU time: 109.614 s c =============================================================================== c | 30 | 700 1383 412500 | 5000 30 107 | 0.000 % | c =============================================================================== c New solution: 2481 c Elapsed CPU time: 70.5973 s Remaining CPU time: 109.403 s c =============================================================================== c | 31 | 700 1384 413100 | 5000 31 103 | 0.000 % | c =============================================================================== c New solution: 2480 c Elapsed CPU time: 70.8152 s Remaining CPU time: 109.185 s c =============================================================================== c | 31 | 700 1385 413700 | 5000 31 103 | 0.000 % | c =============================================================================== c New solution: 2479 c Elapsed CPU time: 71.0292 s Remaining CPU time: 108.971 s c =============================================================================== c | 31 | 700 1386 414300 | 5000 31 103 | 0.000 % | c =============================================================================== c New solution: 2478 c Elapsed CPU time: 71.2402 s Remaining CPU time: 108.76 s c =============================================================================== c | 31 | 700 1387 414900 | 5000 31 103 | 0.000 % | c =============================================================================== c New solution: 2477 c Elapsed CPU time: 71.4461 s Remaining CPU time: 108.554 s c =============================================================================== c | 31 | 700 1388 415500 | 5000 31 103 | 0.000 % | c =============================================================================== c New solution: 2476 c Elapsed CPU time: 71.6571 s Remaining CPU time: 108.343 s c =============================================================================== c | 31 | 700 1389 416100 | 5000 31 103 | 0.000 % | c =============================================================================== c New solution: 2475 c Elapsed CPU time: 71.8541 s Remaining CPU time: 108.146 s c =============================================================================== c | 31 | 700 1390 416700 | 5000 31 103 | 0.000 % | c =============================================================================== c New solution: 2474 c Elapsed CPU time: 72.06 s Remaining CPU time: 107.94 s c =============================================================================== c | 32 | 700 1391 417300 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2473 c Elapsed CPU time: 72.257 s Remaining CPU time: 107.743 s c =============================================================================== c | 32 | 700 1392 417900 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2472 c Elapsed CPU time: 72.467 s Remaining CPU time: 107.533 s c =============================================================================== c | 32 | 700 1393 418500 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2471 c Elapsed CPU time: 72.685 s Remaining CPU time: 107.315 s c =============================================================================== c | 32 | 700 1394 419100 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2470 c Elapsed CPU time: 72.8979 s Remaining CPU time: 107.102 s c =============================================================================== c | 32 | 700 1395 419700 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2469 c Elapsed CPU time: 73.1059 s Remaining CPU time: 106.894 s c =============================================================================== c | 32 | 700 1396 420300 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2468 c Elapsed CPU time: 73.3319 s Remaining CPU time: 106.668 s c =============================================================================== c | 32 | 700 1397 420900 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2467 c Elapsed CPU time: 73.5438 s Remaining CPU time: 106.456 s c =============================================================================== c | 32 | 700 1398 421500 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2466 c Elapsed CPU time: 73.7588 s Remaining CPU time: 106.241 s c =============================================================================== c | 32 | 700 1399 422100 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2465 c Elapsed CPU time: 73.9698 s Remaining CPU time: 106.03 s c =============================================================================== c | 32 | 700 1400 422700 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2464 c Elapsed CPU time: 74.1887 s Remaining CPU time: 105.811 s c =============================================================================== c | 32 | 700 1401 423300 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2463 c Elapsed CPU time: 74.4047 s Remaining CPU time: 105.595 s c =============================================================================== c | 32 | 700 1402 423900 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2462 c Elapsed CPU time: 74.6217 s Remaining CPU time: 105.378 s c =============================================================================== c | 32 | 700 1403 424500 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2461 c Elapsed CPU time: 74.8456 s Remaining CPU time: 105.154 s c =============================================================================== c | 32 | 700 1404 425100 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2460 c Elapsed CPU time: 75.0536 s Remaining CPU time: 104.946 s c =============================================================================== c | 32 | 700 1405 425700 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2459 c Elapsed CPU time: 75.2566 s Remaining CPU time: 104.743 s c =============================================================================== c | 32 | 700 1406 426300 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2458 c Elapsed CPU time: 75.4655 s Remaining CPU time: 104.534 s c =============================================================================== c | 32 | 700 1407 426900 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2457 c Elapsed CPU time: 75.6825 s Remaining CPU time: 104.318 s c =============================================================================== c | 32 | 700 1408 427500 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2456 c Elapsed CPU time: 75.8885 s Remaining CPU time: 104.112 s c =============================================================================== c | 32 | 700 1409 428100 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2455 c Elapsed CPU time: 76.0904 s Remaining CPU time: 103.91 s c =============================================================================== c | 32 | 700 1410 428700 | 5000 32 100 | 0.000 % | c =============================================================================== c New solution: 2454 c Elapsed CPU time: 76.2944 s Remaining CPU time: 103.706 s c =============================================================================== c | 34 | 700 1411 429300 | 5000 34 95 | 0.000 % | c =============================================================================== c New solution: 2453 c Elapsed CPU time: 76.4994 s Remaining CPU time: 103.501 s c =============================================================================== c | 34 | 700 1412 429900 | 5000 34 95 | 0.000 % | c =============================================================================== c New solution: 2452 c Elapsed CPU time: 76.7073 s Remaining CPU time: 103.293 s c =============================================================================== c | 34 | 700 1413 430500 | 5000 34 95 | 0.000 % | c =============================================================================== c New solution: 2451 c Elapsed CPU time: 76.9153 s Remaining CPU time: 103.085 s c =============================================================================== c | 34 | 700 1414 431100 | 5000 34 95 | 0.000 % | c =============================================================================== c New solution: 2450 c Elapsed CPU time: 77.1393 s Remaining CPU time: 102.861 s c =============================================================================== c | 34 | 700 1415 431700 | 5000 34 95 | 0.000 % | c =============================================================================== c New solution: 2449 c Elapsed CPU time: 77.3452 s Remaining CPU time: 102.655 s c =============================================================================== c | 34 | 700 1416 432300 | 5000 34 95 | 0.000 % | c =============================================================================== c New solution: 2448 c Elapsed CPU time: 77.5632 s Remaining CPU time: 102.437 s c =============================================================================== c | 34 | 700 1417 432900 | 5000 34 95 | 0.000 % | c =============================================================================== c New solution: 2447 c Elapsed CPU time: 77.7792 s Remaining CPU time: 102.221 s c =============================================================================== c | 34 | 700 1418 433500 | 5000 34 95 | 0.000 % | c =============================================================================== c New solution: 2446 c Elapsed CPU time: 78.0071 s Remaining CPU time: 101.993 s c =============================================================================== c | 34 | 700 1419 434100 | 5000 34 95 | 0.000 % | c =============================================================================== c New solution: 2445 c Elapsed CPU time: 78.2291 s Remaining CPU time: 101.771 s c =============================================================================== c | 34 | 700 1420 434700 | 5000 34 95 | 0.000 % | c =============================================================================== c New solution: 2444 c Elapsed CPU time: 78.4521 s Remaining CPU time: 101.548 s c =============================================================================== c | 34 | 700 1421 435300 | 5000 34 95 | 0.000 % | c =============================================================================== c New solution: 2443 c Elapsed CPU time: 78.679 s Remaining CPU time: 101.321 s c =============================================================================== c | 34 | 700 1422 435900 | 5000 34 95 | 0.000 % | c =============================================================================== c New solution: 2442 c Elapsed CPU time: 78.886 s Remaining CPU time: 101.114 s c =============================================================================== c | 34 | 700 1423 436500 | 5000 34 95 | 0.000 % | c =============================================================================== c New solution: 2441 c Elapsed CPU time: 79.093 s Remaining CPU time: 100.907 s c =============================================================================== c | 34 | 700 1424 437100 | 5000 34 95 | 0.000 % | c =============================================================================== c New solution: 2440 c Elapsed CPU time: 79.3069 s Remaining CPU time: 100.693 s c =============================================================================== c | 34 | 700 1425 437700 | 5000 34 95 | 0.000 % | c =============================================================================== c New solution: 2439 c Elapsed CPU time: 79.5279 s Remaining CPU time: 100.472 s c =============================================================================== c | 35 | 700 1426 438300 | 5000 35 93 | 0.000 % | c =============================================================================== c New solution: 2438 c Elapsed CPU time: 79.7589 s Remaining CPU time: 100.241 s c =============================================================================== c | 35 | 700 1427 438900 | 5000 35 93 | 0.000 % | c =============================================================================== c New solution: 2437 c Elapsed CPU time: 79.9798 s Remaining CPU time: 100.02 s c =============================================================================== c | 35 | 700 1428 439500 | 5000 35 93 | 0.000 % | c =============================================================================== c New solution: 2436 c Elapsed CPU time: 80.2138 s Remaining CPU time: 99.7862 s c =============================================================================== c | 36 | 700 1429 440100 | 5000 36 103 | 0.000 % | c =============================================================================== c New solution: 2435 c Elapsed CPU time: 80.4428 s Remaining CPU time: 99.5572 s c =============================================================================== c | 36 | 700 1430 440700 | 5000 36 103 | 0.000 % | c =============================================================================== c New solution: 2434 c Elapsed CPU time: 80.6597 s Remaining CPU time: 99.3403 s c =============================================================================== c | 37 | 700 1431 441300 | 5000 37 101 | 0.000 % | c =============================================================================== c New solution: 2433 c Elapsed CPU time: 80.8957 s Remaining CPU time: 99.1043 s c =============================================================================== c | 37 | 700 1432 441900 | 5000 37 101 | 0.000 % | c =============================================================================== c New solution: 2432 c Elapsed CPU time: 81.1267 s Remaining CPU time: 98.8733 s c =============================================================================== c | 37 | 700 1433 442500 | 5000 37 101 | 0.000 % | c =============================================================================== c New solution: 2431 c Elapsed CPU time: 81.3566 s Remaining CPU time: 98.6434 s c =============================================================================== c | 37 | 700 1434 443100 | 5000 37 101 | 0.000 % | c =============================================================================== c New solution: 2430 c Elapsed CPU time: 81.5766 s Remaining CPU time: 98.4234 s c =============================================================================== c | 37 | 700 1435 443700 | 5000 37 101 | 0.000 % | c =============================================================================== c New solution: 2429 c Elapsed CPU time: 81.8026 s Remaining CPU time: 98.1974 s c =============================================================================== c | 37 | 700 1436 444300 | 5000 37 101 | 0.000 % | c =============================================================================== c New solution: 2428 c Elapsed CPU time: 82.0205 s Remaining CPU time: 97.9795 s c =============================================================================== c | 37 | 700 1437 444900 | 5000 37 101 | 0.000 % | c =============================================================================== c New solution: 2427 c Elapsed CPU time: 82.2465 s Remaining CPU time: 97.7535 s c =============================================================================== c | 38 | 700 1438 445500 | 5000 38 98 | 0.000 % | c =============================================================================== c New solution: 2426 c Elapsed CPU time: 82.4805 s Remaining CPU time: 97.5195 s c =============================================================================== c | 38 | 700 1439 446100 | 5000 38 98 | 0.000 % | c =============================================================================== c New solution: 2425 c Elapsed CPU time: 82.7134 s Remaining CPU time: 97.2866 s c =============================================================================== c | 38 | 700 1440 446700 | 5000 38 98 | 0.000 % | c =============================================================================== c New solution: 2424 c Elapsed CPU time: 82.9314 s Remaining CPU time: 97.0686 s c =============================================================================== c | 39 | 700 1441 447300 | 5000 39 96 | 0.000 % | c =============================================================================== c New solution: 2423 c Elapsed CPU time: 83.1564 s Remaining CPU time: 96.8436 s c =============================================================================== c | 39 | 700 1442 447900 | 5000 39 96 | 0.000 % | c =============================================================================== c New solution: 2422 c Elapsed CPU time: 83.3823 s Remaining CPU time: 96.6177 s c =============================================================================== c | 39 | 700 1443 448500 | 5000 39 96 | 0.000 % | c =============================================================================== c New solution: 2421 c Elapsed CPU time: 83.6213 s Remaining CPU time: 96.3787 s c =============================================================================== c | 39 | 700 1444 449100 | 5000 39 96 | 0.000 % | c =============================================================================== c New solution: 2420 c Elapsed CPU time: 83.8503 s Remaining CPU time: 96.1497 s c =============================================================================== c | 39 | 700 1445 449700 | 5000 39 96 | 0.000 % | c =============================================================================== c New solution: 2419 c Elapsed CPU time: 84.0872 s Remaining CPU time: 95.9128 s c =============================================================================== c | 39 | 700 1446 450300 | 5000 39 96 | 0.000 % | c =============================================================================== c New solution: 2418 c Elapsed CPU time: 84.3312 s Remaining CPU time: 95.6688 s c =============================================================================== c | 39 | 700 1447 450900 | 5000 39 96 | 0.000 % | c =============================================================================== c New solution: 2417 c Elapsed CPU time: 84.5541 s Remaining CPU time: 95.4459 s c =============================================================================== c | 40 | 700 1448 451500 | 5000 40 94 | 0.000 % | c =============================================================================== c New solution: 2416 c Elapsed CPU time: 84.7651 s Remaining CPU time: 95.2349 s c =============================================================================== c | 41 | 700 1449 452100 | 5000 41 92 | 0.000 % | c =============================================================================== c New solution: 2415 c Elapsed CPU time: 84.9901 s Remaining CPU time: 95.0099 s c =============================================================================== c | 41 | 700 1450 452700 | 5000 41 92 | 0.000 % | c =============================================================================== c New solution: 2414 c Elapsed CPU time: 85.228 s Remaining CPU time: 94.772 s c =============================================================================== c | 42 | 700 1451 453300 | 5000 42 90 | 0.000 % | c =============================================================================== c New solution: 2413 c Elapsed CPU time: 85.473 s Remaining CPU time: 94.527 s c =============================================================================== c | 44 | 700 1452 453900 | 5000 44 86 | 0.000 % | c =============================================================================== c New solution: 2412 c Elapsed CPU time: 85.702 s Remaining CPU time: 94.298 s c =============================================================================== c | 44 | 700 1453 454500 | 5000 44 86 | 0.000 % | c =============================================================================== c New solution: 2411 c Elapsed CPU time: 85.9419 s Remaining CPU time: 94.0581 s c =============================================================================== c | 44 | 700 1454 455100 | 5000 44 86 | 0.000 % | c =============================================================================== c New solution: 2410 c Elapsed CPU time: 86.1769 s Remaining CPU time: 93.8231 s c =============================================================================== c | 44 | 700 1455 455700 | 5000 44 86 | 0.000 % | c =============================================================================== c New solution: 2409 c Elapsed CPU time: 86.3979 s Remaining CPU time: 93.6021 s c =============================================================================== c | 44 | 700 1456 456300 | 5000 44 86 | 0.000 % | c =============================================================================== c New solution: 2408 c Elapsed CPU time: 86.6188 s Remaining CPU time: 93.3812 s c =============================================================================== c | 44 | 700 1457 456900 | 5000 44 86 | 0.000 % | c =============================================================================== c New solution: 2407 c Elapsed CPU time: 86.8458 s Remaining CPU time: 93.1542 s c =============================================================================== c | 44 | 700 1458 457500 | 5000 44 86 | 0.000 % | c =============================================================================== c New solution: 2406 c Elapsed CPU time: 87.0708 s Remaining CPU time: 92.9292 s c =============================================================================== c | 44 | 700 1459 458100 | 5000 44 86 | 0.000 % | c =============================================================================== c New solution: 2405 c Elapsed CPU time: 87.3057 s Remaining CPU time: 92.6943 s c =============================================================================== c | 44 | 700 1460 458700 | 5000 44 86 | 0.000 % | c =============================================================================== c New solution: 2404 c Elapsed CPU time: 87.5347 s Remaining CPU time: 92.4653 s c =============================================================================== c | 44 | 700 1461 459300 | 5000 44 86 | 0.000 % | c =============================================================================== c New solution: 2403 c Elapsed CPU time: 87.7757 s Remaining CPU time: 92.2243 s c =============================================================================== c | 45 | 700 1462 459900 | 5000 45 84 | 0.000 % | c =============================================================================== c New solution: 2402 c Elapsed CPU time: 88.0016 s Remaining CPU time: 91.9984 s c =============================================================================== c | 45 | 700 1463 460500 | 5000 45 84 | 0.000 % | c =============================================================================== c New solution: 2401 c Elapsed CPU time: 88.2386 s Remaining CPU time: 91.7614 s c =============================================================================== c | 45 | 700 1464 461100 | 5000 45 84 | 0.000 % | c =============================================================================== c New solution: 2400 c Elapsed CPU time: 88.4865 s Remaining CPU time: 91.5135 s c =============================================================================== c | 47 | 700 1465 461700 | 5000 47 91 | 0.000 % | c =============================================================================== c New solution: 2399 c Elapsed CPU time: 88.7185 s Remaining CPU time: 91.2815 s c =============================================================================== c | 47 | 700 1466 462300 | 5000 47 91 | 0.000 % | c =============================================================================== c New solution: 2398 c Elapsed CPU time: 88.9365 s Remaining CPU time: 91.0635 s c =============================================================================== c | 48 | 700 1467 462900 | 5000 48 98 | 0.000 % | c =============================================================================== c New solution: 2397 c Elapsed CPU time: 89.1714 s Remaining CPU time: 90.8286 s c =============================================================================== c | 48 | 700 1468 463500 | 5000 48 98 | 0.000 % | c =============================================================================== c New solution: 2396 c Elapsed CPU time: 89.4124 s Remaining CPU time: 90.5876 s c =============================================================================== c | 48 | 700 1469 464100 | 5000 48 98 | 0.000 % | c =============================================================================== c New solution: 2395 c Elapsed CPU time: 89.6334 s Remaining CPU time: 90.3666 s c =============================================================================== c | 48 | 700 1470 464700 | 5000 48 98 | 0.000 % | c =============================================================================== c New solution: 2394 c Elapsed CPU time: 89.8773 s Remaining CPU time: 90.1227 s c =============================================================================== c | 48 | 700 1471 465300 | 5000 48 98 | 0.000 % | c =============================================================================== c New solution: 2393 c Elapsed CPU time: 90.1173 s Remaining CPU time: 89.8827 s c =============================================================================== c | 48 | 700 1472 465900 | 5000 48 98 | 0.000 % | c =============================================================================== c New solution: 2392 c Elapsed CPU time: 90.3563 s Remaining CPU time: 89.6437 s c =============================================================================== c | 48 | 700 1473 466500 | 5000 48 98 | 0.000 % | c =============================================================================== c New solution: 2391 c Elapsed CPU time: 90.5712 s Remaining CPU time: 89.4288 s c =============================================================================== c | 48 | 700 1474 467100 | 5000 48 98 | 0.000 % | c =============================================================================== c New solution: 2390 c Elapsed CPU time: 90.8192 s Remaining CPU time: 89.1808 s c =============================================================================== c | 48 | 700 1475 467700 | 5000 48 98 | 0.000 % | c =============================================================================== c New solution: 2389 c Elapsed CPU time: 91.0642 s Remaining CPU time: 88.9358 s c =============================================================================== c | 48 | 700 1476 468300 | 5000 48 98 | 0.000 % | c =============================================================================== c New solution: 2388 c Elapsed CPU time: 91.2941 s Remaining CPU time: 88.7059 s c =============================================================================== c | 48 | 700 1477 468900 | 5000 48 98 | 0.000 % | c =============================================================================== c New solution: 2387 c Elapsed CPU time: 91.5391 s Remaining CPU time: 88.4609 s c =============================================================================== c | 48 | 700 1478 469500 | 5000 48 98 | 0.000 % | c =============================================================================== c New solution: 2386 c Elapsed CPU time: 91.774 s Remaining CPU time: 88.226 s c =============================================================================== c | 48 | 700 1479 470100 | 5000 48 98 | 0.000 % | c =============================================================================== c New solution: 2385 c Elapsed CPU time: 92.024 s Remaining CPU time: 87.976 s c =============================================================================== c | 49 | 700 1480 470700 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2384 c Elapsed CPU time: 92.255 s Remaining CPU time: 87.745 s c =============================================================================== c | 49 | 700 1481 471300 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2383 c Elapsed CPU time: 92.4899 s Remaining CPU time: 87.5101 s c =============================================================================== c | 49 | 700 1482 471900 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2382 c Elapsed CPU time: 92.7199 s Remaining CPU time: 87.2801 s c =============================================================================== c | 49 | 700 1483 472500 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2381 c Elapsed CPU time: 92.9559 s Remaining CPU time: 87.0441 s c =============================================================================== c | 49 | 700 1484 473100 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2380 c Elapsed CPU time: 93.1958 s Remaining CPU time: 86.8042 s c =============================================================================== c | 49 | 700 1485 473700 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2379 c Elapsed CPU time: 93.4358 s Remaining CPU time: 86.5642 s c =============================================================================== c | 49 | 700 1486 474300 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2378 c Elapsed CPU time: 93.6628 s Remaining CPU time: 86.3372 s c =============================================================================== c | 49 | 700 1487 474900 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2377 c Elapsed CPU time: 93.9037 s Remaining CPU time: 86.0963 s c =============================================================================== c | 49 | 700 1488 475500 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2376 c Elapsed CPU time: 94.1427 s Remaining CPU time: 85.8573 s c =============================================================================== c | 49 | 700 1489 476100 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2375 c Elapsed CPU time: 94.3787 s Remaining CPU time: 85.6213 s c =============================================================================== c | 49 | 700 1490 476700 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2374 c Elapsed CPU time: 94.6106 s Remaining CPU time: 85.3894 s c =============================================================================== c | 49 | 700 1491 477300 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2373 c Elapsed CPU time: 94.8396 s Remaining CPU time: 85.1604 s c =============================================================================== c | 49 | 700 1492 477900 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2372 c Elapsed CPU time: 95.0795 s Remaining CPU time: 84.9205 s c =============================================================================== c | 49 | 700 1493 478500 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2371 c Elapsed CPU time: 95.3155 s Remaining CPU time: 84.6845 s c =============================================================================== c | 49 | 700 1494 479100 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2370 c Elapsed CPU time: 95.5575 s Remaining CPU time: 84.4425 s c =============================================================================== c | 49 | 700 1495 479700 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2369 c Elapsed CPU time: 95.8004 s Remaining CPU time: 84.1996 s c =============================================================================== c | 49 | 700 1496 480300 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2368 c Elapsed CPU time: 96.0314 s Remaining CPU time: 83.9686 s c =============================================================================== c | 49 | 700 1497 480900 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2367 c Elapsed CPU time: 96.2664 s Remaining CPU time: 83.7336 s c =============================================================================== c | 49 | 700 1498 481500 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2366 c Elapsed CPU time: 96.5173 s Remaining CPU time: 83.4827 s c =============================================================================== c | 49 | 700 1499 482100 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2365 c Elapsed CPU time: 96.7663 s Remaining CPU time: 83.2337 s c =============================================================================== c | 49 | 700 1500 482700 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2364 c Elapsed CPU time: 97.0173 s Remaining CPU time: 82.9827 s c =============================================================================== c | 49 | 700 1501 483300 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2363 c Elapsed CPU time: 97.2532 s Remaining CPU time: 82.7468 s c =============================================================================== c | 49 | 700 1502 483900 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2362 c Elapsed CPU time: 97.4822 s Remaining CPU time: 82.5178 s c =============================================================================== c | 49 | 700 1503 484500 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2361 c Elapsed CPU time: 97.7171 s Remaining CPU time: 82.2829 s c =============================================================================== c | 49 | 700 1504 485100 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2360 c Elapsed CPU time: 97.9601 s Remaining CPU time: 82.0399 s c =============================================================================== c | 49 | 700 1505 485700 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2359 c Elapsed CPU time: 98.1951 s Remaining CPU time: 81.8049 s c =============================================================================== c | 49 | 700 1506 486300 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2358 c Elapsed CPU time: 98.432 s Remaining CPU time: 81.568 s c =============================================================================== c | 49 | 700 1507 486900 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2357 c Elapsed CPU time: 98.675 s Remaining CPU time: 81.325 s c =============================================================================== c | 49 | 700 1508 487500 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2356 c Elapsed CPU time: 98.924 s Remaining CPU time: 81.076 s c =============================================================================== c | 49 | 700 1509 488100 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2355 c Elapsed CPU time: 99.1649 s Remaining CPU time: 80.8351 s c =============================================================================== c | 49 | 700 1510 488700 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2354 c Elapsed CPU time: 99.4149 s Remaining CPU time: 80.5851 s c =============================================================================== c | 49 | 700 1511 489300 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2353 c Elapsed CPU time: 99.6608 s Remaining CPU time: 80.3392 s c =============================================================================== c | 49 | 700 1512 489900 | 5000 49 96 | 0.000 % | c =============================================================================== c New solution: 2352 c Elapsed CPU time: 99.9148 s Remaining CPU time: 80.0852 s c =============================================================================== c | 50 | 700 1513 490500 | 5000 50 95 | 0.000 % | c =============================================================================== c New solution: 2351 c Elapsed CPU time: 100.142 s Remaining CPU time: 79.8582 s c =============================================================================== c | 51 | 700 1514 491100 | 5000 51 93 | 0.000 % | c =============================================================================== c New solution: 2350 c Elapsed CPU time: 100.4 s Remaining CPU time: 79.6003 s c =============================================================================== c | 51 | 700 1515 491700 | 5000 51 93 | 0.000 % | c =============================================================================== c New solution: 2349 c Elapsed CPU time: 100.646 s Remaining CPU time: 79.3543 s c =============================================================================== c | 52 | 700 1516 492300 | 5000 52 91 | 0.000 % | c =============================================================================== c New solution: 2348 c Elapsed CPU time: 100.897 s Remaining CPU time: 79.1033 s c =============================================================================== c | 52 | 700 1517 492900 | 5000 52 91 | 0.000 % | c =============================================================================== c New solution: 2347 c Elapsed CPU time: 101.137 s Remaining CPU time: 78.8634 s c =============================================================================== c | 52 | 700 1518 493500 | 5000 52 91 | 0.000 % | c =============================================================================== c New solution: 2346 c Elapsed CPU time: 101.363 s Remaining CPU time: 78.6374 s c =============================================================================== c | 53 | 700 1519 494100 | 5000 53 90 | 0.000 % | c =============================================================================== c New solution: 2345 c Elapsed CPU time: 101.602 s Remaining CPU time: 78.3984 s c =============================================================================== c | 53 | 700 1520 494700 | 5000 53 90 | 0.000 % | c =============================================================================== c New solution: 2344 c Elapsed CPU time: 101.849 s Remaining CPU time: 78.1515 s c =============================================================================== c | 53 | 700 1521 495300 | 5000 53 90 | 0.000 % | c =============================================================================== c New solution: 2343 c Elapsed CPU time: 102.093 s Remaining CPU time: 77.9065 s c =============================================================================== c | 54 | 700 1522 495900 | 5000 54 96 | 0.000 % | c =============================================================================== c New solution: 2342 c Elapsed CPU time: 102.333 s Remaining CPU time: 77.6666 s c =============================================================================== c | 54 | 700 1523 496500 | 5000 54 96 | 0.000 % | c =============================================================================== c New solution: 2341 c Elapsed CPU time: 102.573 s Remaining CPU time: 77.4266 s c =============================================================================== c | 54 | 700 1524 497100 | 5000 54 96 | 0.000 % | c =============================================================================== c New solution: 2340 c Elapsed CPU time: 102.838 s Remaining CPU time: 77.1616 s c =============================================================================== c | 55 | 700 1525 497700 | 5000 55 95 | 0.000 % | c =============================================================================== c New solution: 2339 c Elapsed CPU time: 103.087 s Remaining CPU time: 76.9127 s c =============================================================================== c | 55 | 700 1526 498300 | 5000 55 95 | 0.000 % | c =============================================================================== c New solution: 2338 c Elapsed CPU time: 103.323 s Remaining CPU time: 76.6767 s c =============================================================================== c | 55 | 700 1527 498900 | 5000 55 95 | 0.000 % | c =============================================================================== c New solution: 2337 c Elapsed CPU time: 103.576 s Remaining CPU time: 76.4237 s c =============================================================================== c | 56 | 700 1528 499500 | 5000 56 101 | 0.000 % | c =============================================================================== c New solution: 2336 c Elapsed CPU time: 103.826 s Remaining CPU time: 76.1738 s c =============================================================================== c | 56 | 700 1529 500100 | 5000 56 101 | 0.000 % | c =============================================================================== c New solution: 2335 c Elapsed CPU time: 104.068 s Remaining CPU time: 75.9318 s c =============================================================================== c | 56 | 700 1530 500700 | 5000 56 101 | 0.000 % | c =============================================================================== c New solution: 2334 c Elapsed CPU time: 104.316 s Remaining CPU time: 75.6839 s c =============================================================================== c | 56 | 700 1531 501300 | 5000 56 101 | 0.000 % | c =============================================================================== c New solution: 2333 c Elapsed CPU time: 104.564 s Remaining CPU time: 75.4359 s c =============================================================================== c | 56 | 700 1532 501900 | 5000 56 101 | 0.000 % | c =============================================================================== c New solution: 2332 c Elapsed CPU time: 104.808 s Remaining CPU time: 75.1919 s c =============================================================================== c | 56 | 700 1533 502500 | 5000 56 101 | 0.000 % | c =============================================================================== c New solution: 2331 c Elapsed CPU time: 105.051 s Remaining CPU time: 74.949 s c =============================================================================== c | 56 | 700 1534 503100 | 5000 56 101 | 0.000 % | c =============================================================================== c New solution: 2330 c Elapsed CPU time: 105.303 s Remaining CPU time: 74.697 s c =============================================================================== c | 56 | 700 1535 503700 | 5000 56 101 | 0.000 % | c =============================================================================== c New solution: 2329 c Elapsed CPU time: 105.558 s Remaining CPU time: 74.442 s c =============================================================================== c | 56 | 700 1536 504300 | 5000 56 101 | 0.000 % | c =============================================================================== c New solution: 2328 c Elapsed CPU time: 105.799 s Remaining CPU time: 74.2011 s c =============================================================================== c | 56 | 700 1537 504900 | 5000 56 101 | 0.000 % | c =============================================================================== c New solution: 2327 c Elapsed CPU time: 106.057 s Remaining CPU time: 73.9431 s c =============================================================================== c | 56 | 700 1538 505500 | 5000 56 101 | 0.000 % | c =============================================================================== c New solution: 2326 c Elapsed CPU time: 106.305 s Remaining CPU time: 73.6952 s c =============================================================================== c | 56 | 700 1539 506100 | 5000 56 101 | 0.000 % | c =============================================================================== c New solution: 2325 c Elapsed CPU time: 106.554 s Remaining CPU time: 73.4462 s c =============================================================================== c | 56 | 700 1540 506700 | 5000 56 101 | 0.000 % | c =============================================================================== c New solution: 2324 c Elapsed CPU time: 106.806 s Remaining CPU time: 73.1942 s c =============================================================================== c | 56 | 700 1541 507300 | 5000 56 101 | 0.000 % | c =============================================================================== c New solution: 2323 c Elapsed CPU time: 107.055 s Remaining CPU time: 72.9453 s c =============================================================================== c | 56 | 700 1542 507900 | 5000 56 101 | 0.000 % | c =============================================================================== c New solution: 2322 c Elapsed CPU time: 107.297 s Remaining CPU time: 72.7033 s c =============================================================================== c | 57 | 700 1543 508500 | 5000 57 107 | 0.000 % | c =============================================================================== c New solution: 2321 c Elapsed CPU time: 107.56 s Remaining CPU time: 72.4404 s c =============================================================================== c | 57 | 700 1544 509100 | 5000 57 107 | 0.000 % | c =============================================================================== c New solution: 2320 c Elapsed CPU time: 107.803 s Remaining CPU time: 72.1974 s c =============================================================================== c | 58 | 700 1545 509700 | 5000 58 105 | 0.000 % | c =============================================================================== c New solution: 2319 c Elapsed CPU time: 108.055 s Remaining CPU time: 71.9454 s c =============================================================================== c | 58 | 700 1546 510300 | 5000 58 105 | 0.000 % | c =============================================================================== c New solution: 2318 c Elapsed CPU time: 108.305 s Remaining CPU time: 71.6955 s c =============================================================================== c | 58 | 700 1547 510900 | 5000 58 105 | 0.000 % | c =============================================================================== c New solution: 2317 c Elapsed CPU time: 108.561 s Remaining CPU time: 71.4385 s c =============================================================================== c | 58 | 700 1548 511500 | 5000 58 105 | 0.000 % | c =============================================================================== c New solution: 2316 c Elapsed CPU time: 108.824 s Remaining CPU time: 71.1755 s c =============================================================================== c | 58 | 700 1549 512100 | 5000 58 105 | 0.000 % | c =============================================================================== c New solution: 2315 c Elapsed CPU time: 109.073 s Remaining CPU time: 70.9266 s c =============================================================================== c | 58 | 700 1550 512700 | 5000 58 105 | 0.000 % | c =============================================================================== c New solution: 2314 c Elapsed CPU time: 109.33 s Remaining CPU time: 70.6696 s c =============================================================================== c | 58 | 700 1551 513300 | 5000 58 105 | 0.000 % | c =============================================================================== c New solution: 2313 c Elapsed CPU time: 109.565 s Remaining CPU time: 70.4347 s c =============================================================================== c | 58 | 700 1552 513900 | 5000 58 105 | 0.000 % | c =============================================================================== c New solution: 2312 c Elapsed CPU time: 109.82 s Remaining CPU time: 70.1797 s c =============================================================================== c | 58 | 700 1553 514500 | 5000 58 105 | 0.000 % | c =============================================================================== c New solution: 2311 c Elapsed CPU time: 110.071 s Remaining CPU time: 69.9287 s c =============================================================================== c | 58 | 700 1554 515100 | 5000 58 105 | 0.000 % | c =============================================================================== c New solution: 2310 c Elapsed CPU time: 110.315 s Remaining CPU time: 69.6848 s c =============================================================================== c | 58 | 700 1555 515700 | 5000 58 105 | 0.000 % | c =============================================================================== c New solution: 2309 c Elapsed CPU time: 110.578 s Remaining CPU time: 69.4218 s c =============================================================================== c | 58 | 700 1556 516300 | 5000 58 105 | 0.000 % | c =============================================================================== c New solution: 2308 c Elapsed CPU time: 110.816 s Remaining CPU time: 69.1838 s c =============================================================================== c | 58 | 700 1557 516900 | 5000 58 105 | 0.000 % | c =============================================================================== c New solution: 2307 c Elapsed CPU time: 111.065 s Remaining CPU time: 68.9349 s c =============================================================================== c | 58 | 700 1558 517500 | 5000 58 105 | 0.000 % | c =============================================================================== c New solution: 2306 c Elapsed CPU time: 111.324 s Remaining CPU time: 68.6759 s c =============================================================================== c | 58 | 700 1559 518100 | 5000 58 105 | 0.000 % | c =============================================================================== c New solution: 2305 c Elapsed CPU time: 111.601 s Remaining CPU time: 68.399 s c =============================================================================== c | 58 | 700 1560 518700 | 5000 58 105 | 0.000 % | c =============================================================================== c New solution: 2304 c Elapsed CPU time: 111.862 s Remaining CPU time: 68.138 s c =============================================================================== c | 58 | 700 1561 519300 | 5000 58 105 | 0.000 % | c =============================================================================== c New solution: 2303 c Elapsed CPU time: 112.108 s Remaining CPU time: 67.892 s c =============================================================================== c | 58 | 700 1562 519900 | 5000 58 105 | 0.000 % | c =============================================================================== c New solution: 2302 c Elapsed CPU time: 112.361 s Remaining CPU time: 67.6391 s c =============================================================================== c | 58 | 700 1563 520500 | 5000 58 105 | 0.000 % | c =============================================================================== c New solution: 2301 c Elapsed CPU time: 112.613 s Remaining CPU time: 67.3871 s c =============================================================================== c | 58 | 700 1564 521100 | 5000 58 105 | 0.000 % | c =============================================================================== c New solution: 2300 c Elapsed CPU time: 112.872 s Remaining CPU time: 67.1282 s c =============================================================================== c | 61 | 700 1565 521700 | 5000 61 101 | 0.000 % | c =============================================================================== c New solution: 2299 c Elapsed CPU time: 113.135 s Remaining CPU time: 66.8652 s c =============================================================================== c | 61 | 700 1566 522300 | 5000 61 101 | 0.000 % | c =============================================================================== c New solution: 2298 c Elapsed CPU time: 113.392 s Remaining CPU time: 66.6082 s c =============================================================================== c | 61 | 700 1567 522900 | 5000 61 101 | 0.000 % | c =============================================================================== c New solution: 2297 c Elapsed CPU time: 113.66 s Remaining CPU time: 66.3403 s c =============================================================================== c | 61 | 700 1568 523500 | 5000 61 101 | 0.000 % | c =============================================================================== c New solution: 2296 c Elapsed CPU time: 113.911 s Remaining CPU time: 66.0893 s c =============================================================================== c | 62 | 700 1569 524100 | 5000 62 99 | 0.000 % | c =============================================================================== c New solution: 2295 c Elapsed CPU time: 114.17 s Remaining CPU time: 65.8304 s c =============================================================================== c | 62 | 700 1570 524700 | 5000 62 99 | 0.000 % | c =============================================================================== c New solution: 2294 c Elapsed CPU time: 114.436 s Remaining CPU time: 65.5644 s c =============================================================================== c | 62 | 700 1571 525300 | 5000 62 99 | 0.000 % | c =============================================================================== c New solution: 2293 c Elapsed CPU time: 114.695 s Remaining CPU time: 65.3054 s c =============================================================================== c | 62 | 700 1572 525900 | 5000 62 99 | 0.000 % | c =============================================================================== c New solution: 2292 c Elapsed CPU time: 114.947 s Remaining CPU time: 65.0535 s c =============================================================================== c | 62 | 700 1573 526500 | 5000 62 99 | 0.000 % | c =============================================================================== c New solution: 2291 c Elapsed CPU time: 115.209 s Remaining CPU time: 64.7905 s c =============================================================================== c | 62 | 700 1574 527100 | 5000 62 99 | 0.000 % | c =============================================================================== c New solution: 2290 c Elapsed CPU time: 115.473 s Remaining CPU time: 64.5266 s c =============================================================================== c | 62 | 700 1575 527700 | 5000 62 99 | 0.000 % | c =============================================================================== c New solution: 2289 c Elapsed CPU time: 115.73 s Remaining CPU time: 64.2696 s c =============================================================================== c | 62 | 700 1576 528300 | 5000 62 99 | 0.000 % | c =============================================================================== c New solution: 2288 c Elapsed CPU time: 115.996 s Remaining CPU time: 64.0036 s c =============================================================================== c | 63 | 700 1577 528900 | 5000 63 98 | 0.000 % | c =============================================================================== c New solution: 2287 c Elapsed CPU time: 116.267 s Remaining CPU time: 63.7327 s c =============================================================================== c | 63 | 700 1578 529500 | 5000 63 98 | 0.000 % | c =============================================================================== c New solution: 2286 c Elapsed CPU time: 116.525 s Remaining CPU time: 63.4747 s c =============================================================================== c | 64 | 700 1579 530100 | 5000 64 97 | 0.000 % | c =============================================================================== c New solution: 2285 c Elapsed CPU time: 116.804 s Remaining CPU time: 63.1958 s c =============================================================================== c | 65 | 700 1580 530700 | 5000 65 95 | 0.000 % | c =============================================================================== c New solution: 2284 c Elapsed CPU time: 117.066 s Remaining CPU time: 62.9338 s c =============================================================================== c | 69 | 700 1581 531300 | 5000 69 115 | 0.000 % | c =============================================================================== c New solution: 2283 c Elapsed CPU time: 117.343 s Remaining CPU time: 62.6568 s c =============================================================================== c | 70 | 700 1582 531900 | 5000 70 119 | 0.000 % | c =============================================================================== c New solution: 2282 c Elapsed CPU time: 117.591 s Remaining CPU time: 62.4089 s c =============================================================================== c | 70 | 700 1583 532500 | 5000 70 119 | 0.000 % | c =============================================================================== c New solution: 2281 c Elapsed CPU time: 117.836 s Remaining CPU time: 62.1639 s c =============================================================================== c | 70 | 700 1584 533100 | 5000 70 119 | 0.000 % | c =============================================================================== c New solution: 2280 c Elapsed CPU time: 118.078 s Remaining CPU time: 61.922 s c =============================================================================== c | 71 | 700 1585 533700 | 5000 71 118 | 0.000 % | c =============================================================================== c New solution: 2279 c Elapsed CPU time: 118.354 s Remaining CPU time: 61.646 s c =============================================================================== c | 71 | 700 1586 534300 | 5000 71 118 | 0.000 % | c =============================================================================== c New solution: 2278 c Elapsed CPU time: 118.607 s Remaining CPU time: 61.393 s c =============================================================================== c | 73 | 700 1587 534900 | 5000 73 121 | 0.000 % | c =============================================================================== c New solution: 2277 c Elapsed CPU time: 118.871 s Remaining CPU time: 61.1291 s c =============================================================================== c | 73 | 700 1588 535500 | 5000 73 121 | 0.000 % | c =============================================================================== c New solution: 2276 c Elapsed CPU time: 119.133 s Remaining CPU time: 60.8671 s c =============================================================================== c | 73 | 700 1589 536100 | 5000 73 121 | 0.000 % | c =============================================================================== c New solution: 2275 c Elapsed CPU time: 119.413 s Remaining CPU time: 60.5872 s c =============================================================================== c | 74 | 700 1590 536700 | 5000 74 125 | 0.000 % | c =============================================================================== c New solution: 2274 c Elapsed CPU time: 119.687 s Remaining CPU time: 60.3132 s c =============================================================================== c | 75 | 700 1591 537300 | 5000 75 129 | 0.000 % | c =============================================================================== c New solution: 2273 c Elapsed CPU time: 119.93 s Remaining CPU time: 60.0702 s c =============================================================================== c | 76 | 700 1592 537900 | 5000 76 127 | 0.000 % | c =============================================================================== c New solution: 2272 c Elapsed CPU time: 120.194 s Remaining CPU time: 59.8063 s c =============================================================================== c | 76 | 700 1593 538500 | 5000 76 127 | 0.000 % | c =============================================================================== c New solution: 2271 c Elapsed CPU time: 120.476 s Remaining CPU time: 59.5243 s c =============================================================================== c | 77 | 700 1594 539100 | 5000 77 131 | 0.000 % | c =============================================================================== c New solution: 2270 c Elapsed CPU time: 120.729 s Remaining CPU time: 59.2714 s c =============================================================================== c | 79 | 700 1595 539700 | 5000 79 134 | 0.000 % | c =============================================================================== c New solution: 2269 c Elapsed CPU time: 120.997 s Remaining CPU time: 59.0034 s c =============================================================================== c | 79 | 700 1596 540300 | 5000 79 134 | 0.000 % | c =============================================================================== c New solution: 2268 c Elapsed CPU time: 121.25 s Remaining CPU time: 58.7504 s c =============================================================================== c | 79 | 700 1597 540900 | 5000 79 134 | 0.000 % | c =============================================================================== c New solution: 2267 c Elapsed CPU time: 121.507 s Remaining CPU time: 58.4935 s c =============================================================================== c | 81 | 700 1598 541500 | 5000 81 136 | 0.000 % | c =============================================================================== c New solution: 2266 c Elapsed CPU time: 121.772 s Remaining CPU time: 58.2275 s c =============================================================================== c | 83 | 700 1599 542100 | 5000 83 138 | 0.000 % | c =============================================================================== c New solution: 2265 c Elapsed CPU time: 122.047 s Remaining CPU time: 57.9526 s c =============================================================================== c | 84 | 700 1600 542700 | 5000 84 141 | 0.000 % | c =============================================================================== c New solution: 2264 c Elapsed CPU time: 122.308 s Remaining CPU time: 57.6916 s c =============================================================================== c | 84 | 700 1601 543300 | 5000 84 141 | 0.000 % | c =============================================================================== c New solution: 2263 c Elapsed CPU time: 122.585 s Remaining CPU time: 57.4146 s c =============================================================================== c | 85 | 700 1602 543900 | 5000 85 145 | 0.000 % | c =============================================================================== c New solution: 2262 c Elapsed CPU time: 122.86 s Remaining CPU time: 57.1397 s c =============================================================================== c | 85 | 700 1603 544500 | 5000 85 145 | 0.000 % | c =============================================================================== c New solution: 2261 c Elapsed CPU time: 123.146 s Remaining CPU time: 56.8537 s c =============================================================================== c | 85 | 700 1604 545100 | 5000 85 145 | 0.000 % | c =============================================================================== c New solution: 2260 c Elapsed CPU time: 123.399 s Remaining CPU time: 56.6008 s c =============================================================================== c | 85 | 700 1605 545700 | 5000 85 145 | 0.000 % | c =============================================================================== c New solution: 2259 c Elapsed CPU time: 123.67 s Remaining CPU time: 56.3298 s c =============================================================================== c | 85 | 700 1606 546300 | 5000 85 145 | 0.000 % | c =============================================================================== c New solution: 2258 c Elapsed CPU time: 123.928 s Remaining CPU time: 56.0718 s c =============================================================================== c | 85 | 700 1607 546900 | 5000 85 145 | 0.000 % | c =============================================================================== c New solution: 2257 c Elapsed CPU time: 124.207 s Remaining CPU time: 55.7929 s c =============================================================================== c | 86 | 700 1608 547500 | 5000 86 143 | 0.000 % | c =============================================================================== c New solution: 2256 c Elapsed CPU time: 124.477 s Remaining CPU time: 55.5229 s c =============================================================================== c | 86 | 700 1609 548100 | 5000 86 143 | 0.000 % | c =============================================================================== c New solution: 2255 c Elapsed CPU time: 124.732 s Remaining CPU time: 55.268 s c =============================================================================== c | 86 | 700 1610 548700 | 5000 86 143 | 0.000 % | c =============================================================================== c New solution: 2254 c Elapsed CPU time: 125.009 s Remaining CPU time: 54.991 s c =============================================================================== c | 88 | 700 1611 549300 | 5000 88 145 | 0.000 % | c =============================================================================== c New solution: 2253 c Elapsed CPU time: 125.257 s Remaining CPU time: 54.743 s c =============================================================================== c | 89 | 700 1612 549900 | 5000 89 143 | 0.000 % | c =============================================================================== c New solution: 2252 c Elapsed CPU time: 125.532 s Remaining CPU time: 54.4681 s c =============================================================================== c | 89 | 700 1613 550500 | 5000 89 143 | 0.000 % | c =============================================================================== c New solution: 2251 c Elapsed CPU time: 125.792 s Remaining CPU time: 54.2081 s c =============================================================================== c | 90 | 700 1614 551100 | 5000 90 142 | 0.000 % | c =============================================================================== c New solution: 2250 c Elapsed CPU time: 126.049 s Remaining CPU time: 53.9512 s c =============================================================================== c | 90 | 700 1615 551700 | 5000 90 142 | 0.000 % | c =============================================================================== c New solution: 2249 c Elapsed CPU time: 126.313 s Remaining CPU time: 53.6872 s c =============================================================================== c | 90 | 700 1616 552300 | 5000 90 142 | 0.000 % | c =============================================================================== c New solution: 2248 c Elapsed CPU time: 126.587 s Remaining CPU time: 53.4132 s c =============================================================================== c | 91 | 700 1617 552900 | 5000 91 145 | 0.000 % | c =============================================================================== c New solution: 2247 c Elapsed CPU time: 126.852 s Remaining CPU time: 53.1483 s c =============================================================================== c | 91 | 700 1618 553500 | 5000 91 145 | 0.000 % | c =============================================================================== c New solution: 2246 c Elapsed CPU time: 127.136 s Remaining CPU time: 52.8643 s c =============================================================================== c | 91 | 700 1619 554100 | 5000 91 145 | 0.000 % | c =============================================================================== c New solution: 2245 c Elapsed CPU time: 127.394 s Remaining CPU time: 52.6064 s c =============================================================================== c | 91 | 700 1620 554700 | 5000 91 145 | 0.000 % | c =============================================================================== c New solution: 2244 c Elapsed CPU time: 127.66 s Remaining CPU time: 52.3404 s c =============================================================================== c | 91 | 700 1621 555300 | 5000 91 145 | 0.000 % | c =============================================================================== c New solution: 2243 c Elapsed CPU time: 127.927 s Remaining CPU time: 52.0734 s c =============================================================================== c | 91 | 700 1622 555900 | 5000 91 145 | 0.000 % | c =============================================================================== c New solution: 2242 c Elapsed CPU time: 128.209 s Remaining CPU time: 51.7915 s c =============================================================================== c | 91 | 700 1623 556500 | 5000 91 145 | 0.000 % | c =============================================================================== c New solution: 2241 c Elapsed CPU time: 128.491 s Remaining CPU time: 51.5085 s c =============================================================================== c | 91 | 700 1624 557100 | 5000 91 145 | 0.000 % | c =============================================================================== c New solution: 2240 c Elapsed CPU time: 128.767 s Remaining CPU time: 51.2326 s c =============================================================================== c | 92 | 700 1625 557700 | 5000 92 143 | 0.000 % | c =============================================================================== c New solution: 2239 c Elapsed CPU time: 129.032 s Remaining CPU time: 50.9676 s c =============================================================================== c | 93 | 700 1626 558300 | 5000 93 142 | 0.000 % | c =============================================================================== c New solution: 2238 c Elapsed CPU time: 129.303 s Remaining CPU time: 50.6967 s c =============================================================================== c | 93 | 700 1627 558900 | 5000 93 142 | 0.000 % | c =============================================================================== c New solution: 2237 c Elapsed CPU time: 129.564 s Remaining CPU time: 50.4357 s c =============================================================================== c | 93 | 700 1628 559500 | 5000 93 142 | 0.000 % | c =============================================================================== c New solution: 2236 c Elapsed CPU time: 129.85 s Remaining CPU time: 50.1497 s c =============================================================================== c | 93 | 700 1629 560100 | 5000 93 142 | 0.000 % | c =============================================================================== c New solution: 2235 c Elapsed CPU time: 130.138 s Remaining CPU time: 49.8618 s c =============================================================================== c | 93 | 700 1630 560700 | 5000 93 142 | 0.000 % | c =============================================================================== c New solution: 2234 c Elapsed CPU time: 130.404 s Remaining CPU time: 49.5958 s c =============================================================================== c | 93 | 700 1631 561300 | 5000 93 142 | 0.000 % | c =============================================================================== c New solution: 2233 c Elapsed CPU time: 130.678 s Remaining CPU time: 49.3219 s c =============================================================================== c | 93 | 700 1632 561900 | 5000 93 142 | 0.000 % | c =============================================================================== c New solution: 2232 c Elapsed CPU time: 130.94 s Remaining CPU time: 49.0599 s c =============================================================================== c | 93 | 700 1633 562500 | 5000 93 142 | 0.000 % | c =============================================================================== c New solution: 2231 c Elapsed CPU time: 131.228 s Remaining CPU time: 48.772 s c =============================================================================== c | 93 | 700 1634 563100 | 5000 93 142 | 0.000 % | c =============================================================================== c New solution: 2230 c Elapsed CPU time: 131.506 s Remaining CPU time: 48.494 s c =============================================================================== c | 93 | 700 1635 563700 | 5000 93 142 | 0.000 % | c =============================================================================== c New solution: 2229 c Elapsed CPU time: 131.79 s Remaining CPU time: 48.21 s c =============================================================================== c | 93 | 700 1636 564300 | 5000 93 142 | 0.000 % | c =============================================================================== c New solution: 2228 c Elapsed CPU time: 132.056 s Remaining CPU time: 47.9441 s c =============================================================================== c | 95 | 700 1637 564900 | 5000 95 139 | 0.000 % | c =============================================================================== c New solution: 2227 c Elapsed CPU time: 132.34 s Remaining CPU time: 47.6601 s c =============================================================================== c | 95 | 700 1638 565500 | 5000 95 139 | 0.000 % | c =============================================================================== c New solution: 2226 c Elapsed CPU time: 132.616 s Remaining CPU time: 47.3842 s c =============================================================================== c | 95 | 700 1639 566100 | 5000 95 139 | 0.000 % | c =============================================================================== c New solution: 2225 c Elapsed CPU time: 132.892 s Remaining CPU time: 47.1082 s c =============================================================================== c | 95 | 700 1640 566700 | 5000 95 139 | 0.000 % | c =============================================================================== c New solution: 2224 c Elapsed CPU time: 133.169 s Remaining CPU time: 46.8312 s c =============================================================================== c | 96 | 700 1641 567300 | 5000 96 138 | 0.000 % | c =============================================================================== c New solution: 2223 c Elapsed CPU time: 133.449 s Remaining CPU time: 46.5513 s c =============================================================================== c | 97 | 700 1642 567900 | 5000 97 136 | 0.000 % | c =============================================================================== c New solution: 2222 c Elapsed CPU time: 133.735 s Remaining CPU time: 46.2653 s c =============================================================================== c | 98 | 700 1643 568500 | 5000 98 135 | 0.000 % | c =============================================================================== c New solution: 2221 c Elapsed CPU time: 134.022 s Remaining CPU time: 45.9784 s c =============================================================================== c | 98 | 700 1644 569100 | 5000 98 135 | 0.000 % | c =============================================================================== c New solution: 2220 c Elapsed CPU time: 134.298 s Remaining CPU time: 45.7024 s c =============================================================================== c | 98 | 700 1645 569700 | 5000 98 135 | 0.000 % | c =============================================================================== c New solution: 2219 c Elapsed CPU time: 134.561 s Remaining CPU time: 45.4395 s c =============================================================================== c | 98 | 700 1646 570300 | 5000 98 135 | 0.000 % | c =============================================================================== c New solution: 2218 c Elapsed CPU time: 134.843 s Remaining CPU time: 45.1575 s c =============================================================================== c | 98 | 700 1647 570900 | 5000 98 135 | 0.000 % | c =============================================================================== c New solution: 2217 c Elapsed CPU time: 135.108 s Remaining CPU time: 44.8915 s c =============================================================================== c | 98 | 700 1648 571500 | 5000 98 135 | 0.000 % | c =============================================================================== c New solution: 2216 c Elapsed CPU time: 135.402 s Remaining CPU time: 44.5976 s c =============================================================================== c | 98 | 700 1649 572100 | 5000 98 135 | 0.000 % | c =============================================================================== c New solution: 2215 c Elapsed CPU time: 135.683 s Remaining CPU time: 44.3166 s c =============================================================================== c | 98 | 700 1650 572700 | 5000 98 135 | 0.000 % | c =============================================================================== c New solution: 2214 c Elapsed CPU time: 135.975 s Remaining CPU time: 44.0247 s c =============================================================================== c | 98 | 700 1651 573300 | 5000 98 135 | 0.000 % | c =============================================================================== c New solution: 2213 c Elapsed CPU time: 136.26 s Remaining CPU time: 43.7397 s c =============================================================================== c | 99 | 700 1652 573900 | 5000 99 134 | 0.000 % | c =============================================================================== c New solution: 2212 c Elapsed CPU time: 136.535 s Remaining CPU time: 43.4648 s c =============================================================================== c | 99 | 700 1653 574500 | 5000 99 134 | 0.000 % | c =============================================================================== c New solution: 2211 c Elapsed CPU time: 136.813 s Remaining CPU time: 43.1868 s c =============================================================================== c | 99 | 700 1654 575100 | 5000 99 134 | 0.000 % | c =============================================================================== c New solution: 2210 c Elapsed CPU time: 137.103 s Remaining CPU time: 42.8968 s c =============================================================================== c | 99 | 700 1655 575700 | 5000 99 134 | 0.000 % | c =============================================================================== c New solution: 2209 c Elapsed CPU time: 137.389 s Remaining CPU time: 42.6109 s c =============================================================================== c | 99 | 700 1656 576300 | 5000 99 134 | 0.000 % | c =============================================================================== c New solution: 2208 c Elapsed CPU time: 137.65 s Remaining CPU time: 42.3499 s c =============================================================================== c | 99 | 700 1657 576900 | 5000 99 134 | 0.000 % | c =============================================================================== c New solution: 2207 c Elapsed CPU time: 137.947 s Remaining CPU time: 42.053 s c =============================================================================== c | 100 | 700 1658 577500 | 5000 100 132 | 0.000 % | c =============================================================================== c New solution: 2206 c Elapsed CPU time: 138.235 s Remaining CPU time: 41.765 s c =============================================================================== c | 100 | 700 1659 578100 | 5000 100 132 | 0.000 % | c =============================================================================== c New solution: 2205 c Elapsed CPU time: 138.512 s Remaining CPU time: 41.4881 s c =============================================================================== c | 101 | 700 1660 578700 | 5000 101 131 | 0.000 % | c =============================================================================== c New solution: 2204 c Elapsed CPU time: 138.788 s Remaining CPU time: 41.2121 s c =============================================================================== c | 101 | 700 1661 579300 | 5000 101 131 | 0.000 % | c =============================================================================== c New solution: 2203 c Elapsed CPU time: 139.062 s Remaining CPU time: 40.9381 s c =============================================================================== c | 102 | 700 1662 579900 | 5000 102 130 | 0.000 % | c =============================================================================== c New solution: 2202 c Elapsed CPU time: 139.317 s Remaining CPU time: 40.6832 s c =============================================================================== c | 102 | 700 1663 580500 | 5000 102 130 | 0.000 % | c =============================================================================== c New solution: 2201 c Elapsed CPU time: 139.594 s Remaining CPU time: 40.4062 s c =============================================================================== c | 102 | 700 1664 581100 | 5000 102 130 | 0.000 % | c =============================================================================== c New solution: 2200 c Elapsed CPU time: 139.855 s Remaining CPU time: 40.1453 s c =============================================================================== c | 102 | 700 1665 581700 | 5000 102 130 | 0.000 % | c =============================================================================== c New solution: 2199 c Elapsed CPU time: 140.148 s Remaining CPU time: 39.8523 s c =============================================================================== c | 102 | 700 1666 582300 | 5000 102 130 | 0.000 % | c =============================================================================== c New solution: 2198 c Elapsed CPU time: 140.436 s Remaining CPU time: 39.5643 s c =============================================================================== c | 102 | 700 1667 582900 | 5000 102 130 | 0.000 % | c =============================================================================== c New solution: 2197 c Elapsed CPU time: 140.717 s Remaining CPU time: 39.2834 s c =============================================================================== c | 102 | 700 1668 583500 | 5000 102 130 | 0.000 % | c =============================================================================== c New solution: 2196 c Elapsed CPU time: 140.993 s Remaining CPU time: 39.0074 s c =============================================================================== c | 102 | 700 1669 584100 | 5000 102 130 | 0.000 % | c =============================================================================== c New solution: 2195 c Elapsed CPU time: 141.267 s Remaining CPU time: 38.7335 s c =============================================================================== c | 102 | 700 1670 584700 | 5000 102 130 | 0.000 % | c =============================================================================== c New solution: 2194 c Elapsed CPU time: 141.532 s Remaining CPU time: 38.4675 s c =============================================================================== c | 102 | 700 1671 585300 | 5000 102 130 | 0.000 % | c =============================================================================== c New solution: 2193 c Elapsed CPU time: 141.798 s Remaining CPU time: 38.2016 s c =============================================================================== c | 102 | 700 1672 585900 | 5000 102 130 | 0.000 % | c =============================================================================== c New solution: 2192 c Elapsed CPU time: 142.08 s Remaining CPU time: 37.9196 s c =============================================================================== c | 105 | 700 1673 586500 | 5000 105 127 | 0.000 % | c =============================================================================== c New solution: 2191 c Elapsed CPU time: 142.392 s Remaining CPU time: 37.6076 s c =============================================================================== c | 115 | 700 1674 587100 | 5000 115 149 | 0.000 % | c =============================================================================== c New solution: 2190 c Elapsed CPU time: 142.664 s Remaining CPU time: 37.3357 s c =============================================================================== c | 115 | 700 1675 587700 | 5000 115 149 | 0.000 % | c =============================================================================== c New solution: 2189 c Elapsed CPU time: 142.944 s Remaining CPU time: 37.0557 s c =============================================================================== c | 115 | 700 1676 588300 | 5000 115 149 | 0.000 % | c =============================================================================== c New solution: 2188 c Elapsed CPU time: 143.223 s Remaining CPU time: 36.7768 s c =============================================================================== c | 115 | 700 1677 588900 | 5000 115 149 | 0.000 % | c =============================================================================== c New solution: 2187 c Elapsed CPU time: 143.499 s Remaining CPU time: 36.5008 s c =============================================================================== c | 117 | 700 1678 589500 | 5000 117 146 | 0.000 % | c =============================================================================== c New solution: 2186 c Elapsed CPU time: 143.769 s Remaining CPU time: 36.2309 s c =============================================================================== c | 119 | 700 1679 590100 | 5000 119 144 | 0.000 % | c =============================================================================== c New solution: 2185 c Elapsed CPU time: 144.047 s Remaining CPU time: 35.9529 s c =============================================================================== c | 122 | 700 1680 590700 | 5000 122 141 | 0.000 % | c =============================================================================== c New solution: 2184 c Elapsed CPU time: 144.353 s Remaining CPU time: 35.6469 s c =============================================================================== c | 123 | 700 1681 591300 | 5000 123 140 | 0.000 % | c =============================================================================== c New solution: 2183 c Elapsed CPU time: 144.624 s Remaining CPU time: 35.376 s c =============================================================================== c | 124 | 700 1682 591900 | 5000 124 139 | 0.000 % | c =============================================================================== c New solution: 2182 c Elapsed CPU time: 144.911 s Remaining CPU time: 35.089 s c =============================================================================== c | 124 | 700 1683 592500 | 5000 124 139 | 0.000 % | c =============================================================================== c New solution: 2181 c Elapsed CPU time: 145.17 s Remaining CPU time: 34.8301 s c =============================================================================== c | 124 | 700 1684 593100 | 5000 124 139 | 0.000 % | c =============================================================================== c New solution: 2180 c Elapsed CPU time: 145.444 s Remaining CPU time: 34.5561 s c =============================================================================== c | 124 | 700 1685 593700 | 5000 124 139 | 0.000 % | c =============================================================================== c New solution: 2179 c Elapsed CPU time: 145.735 s Remaining CPU time: 34.2652 s c =============================================================================== c | 124 | 700 1686 594300 | 5000 124 139 | 0.000 % | c =============================================================================== c New solution: 2178 c Elapsed CPU time: 146.011 s Remaining CPU time: 33.9892 s c =============================================================================== c | 124 | 700 1687 594900 | 5000 124 139 | 0.000 % | c =============================================================================== c New solution: 2177 c Elapsed CPU time: 146.293 s Remaining CPU time: 33.7072 s c =============================================================================== c | 124 | 700 1688 595500 | 5000 124 139 | 0.000 % | c =============================================================================== c New solution: 2176 c Elapsed CPU time: 146.59 s Remaining CPU time: 33.4103 s c =============================================================================== c | 124 | 700 1689 596100 | 5000 124 139 | 0.000 % | c =============================================================================== c New solution: 2175 c Elapsed CPU time: 146.896 s Remaining CPU time: 33.1043 s c =============================================================================== c | 124 | 700 1690 596700 | 5000 124 139 | 0.000 % | c =============================================================================== c New solution: 2174 c Elapsed CPU time: 147.19 s Remaining CPU time: 32.8104 s c =============================================================================== c | 125 | 700 1691 597300 | 5000 125 138 | 0.000 % | c =============================================================================== c New solution: 2173 c Elapsed CPU time: 147.456 s Remaining CPU time: 32.5444 s c =============================================================================== c | 125 | 700 1692 597900 | 5000 125 138 | 0.000 % | c =============================================================================== c New solution: 2172 c Elapsed CPU time: 147.74 s Remaining CPU time: 32.2605 s c =============================================================================== c | 126 | 700 1693 598500 | 5000 126 140 | 0.000 % | c =============================================================================== c New solution: 2171 c Elapsed CPU time: 148.005 s Remaining CPU time: 31.9945 s c =============================================================================== c | 126 | 700 1694 599100 | 5000 126 140 | 0.000 % | c =============================================================================== c New solution: 2170 c Elapsed CPU time: 148.277 s Remaining CPU time: 31.7225 s c =============================================================================== c | 126 | 700 1695 599700 | 5000 126 140 | 0.000 % | c =============================================================================== c New solution: 2169 c Elapsed CPU time: 148.578 s Remaining CPU time: 31.4216 s c =============================================================================== c | 128 | 700 1696 600300 | 5000 128 141 | 0.000 % | c =============================================================================== c New solution: 2168 c Elapsed CPU time: 148.837 s Remaining CPU time: 31.1626 s c =============================================================================== c | 128 | 700 1697 600900 | 5000 128 141 | 0.000 % | c =============================================================================== c New solution: 2167 c Elapsed CPU time: 149.097 s Remaining CPU time: 30.9027 s c =============================================================================== c | 128 | 700 1698 601500 | 5000 128 141 | 0.000 % | c =============================================================================== c New solution: 2166 c Elapsed CPU time: 149.323 s Remaining CPU time: 30.6767 s c =============================================================================== c | 130 | 700 1699 602100 | 5000 130 139 | 0.000 % | c =============================================================================== c New solution: 2165 c Elapsed CPU time: 149.532 s Remaining CPU time: 30.4677 s c =============================================================================== c | 131 | 700 1700 602700 | 5000 131 138 | 0.000 % | c =============================================================================== c New solution: 2164 c Elapsed CPU time: 149.755 s Remaining CPU time: 30.2448 s c =============================================================================== c | 132 | 700 1701 603300 | 5000 132 140 | 0.000 % | c =============================================================================== c New solution: 2163 c Elapsed CPU time: 149.995 s Remaining CPU time: 30.0048 s c =============================================================================== c | 132 | 700 1702 603900 | 5000 132 140 | 0.000 % | c =============================================================================== c New solution: 2162 c Elapsed CPU time: 150.219 s Remaining CPU time: 29.7808 s c =============================================================================== c | 132 | 700 1703 604500 | 5000 132 140 | 0.000 % | c =============================================================================== c New solution: 2161 c Elapsed CPU time: 150.464 s Remaining CPU time: 29.5359 s c =============================================================================== c | 134 | 700 1704 605100 | 5000 134 144 | 0.000 % | c =============================================================================== c New solution: 2160 c Elapsed CPU time: 150.7 s Remaining CPU time: 29.2999 s c =============================================================================== c | 135 | 700 1705 605700 | 5000 135 143 | 0.000 % | c =============================================================================== c New solution: 2159 c Elapsed CPU time: 150.918 s Remaining CPU time: 29.0819 s c =============================================================================== c | 135 | 700 1706 606300 | 5000 135 143 | 0.000 % | c =============================================================================== c New solution: 2158 c Elapsed CPU time: 151.161 s Remaining CPU time: 28.839 s c =============================================================================== c | 135 | 700 1707 606900 | 5000 135 143 | 0.000 % | c =============================================================================== c New solution: 2157 c Elapsed CPU time: 151.406 s Remaining CPU time: 28.594 s c =============================================================================== c | 135 | 700 1708 607500 | 5000 135 143 | 0.000 % | c =============================================================================== c New solution: 2156 c Elapsed CPU time: 151.636 s Remaining CPU time: 28.3641 s c =============================================================================== c | 135 | 700 1709 608100 | 5000 135 143 | 0.000 % | c =============================================================================== c New solution: 2155 c Elapsed CPU time: 151.871 s Remaining CPU time: 28.1291 s c =============================================================================== c | 135 | 700 1710 608700 | 5000 135 143 | 0.000 % | c =============================================================================== c New solution: 2154 c Elapsed CPU time: 152.122 s Remaining CPU time: 27.8781 s c =============================================================================== c | 135 | 700 1711 609300 | 5000 135 143 | 0.000 % | c =============================================================================== c New solution: 2153 c Elapsed CPU time: 152.352 s Remaining CPU time: 27.6482 s c =============================================================================== c | 135 | 700 1712 609900 | 5000 135 143 | 0.000 % | c =============================================================================== c New solution: 2152 c Elapsed CPU time: 152.589 s Remaining CPU time: 27.4112 s c =============================================================================== c | 135 | 700 1713 610500 | 5000 135 143 | 0.000 % | c =============================================================================== c New solution: 2151 c Elapsed CPU time: 152.811 s Remaining CPU time: 27.1892 s c =============================================================================== c | 135 | 700 1714 611100 | 5000 135 143 | 0.000 % | c =============================================================================== c New solution: 2150 c Elapsed CPU time: 153.053 s Remaining CPU time: 26.9473 s c =============================================================================== c | 136 | 700 1715 611700 | 5000 136 145 | 0.000 % | c =============================================================================== c New solution: 2149 c Elapsed CPU time: 153.279 s Remaining CPU time: 26.7213 s c =============================================================================== c | 137 | 700 1716 612300 | 5000 137 144 | 0.000 % | c =============================================================================== c New solution: 2148 c Elapsed CPU time: 153.516 s Remaining CPU time: 26.4843 s c =============================================================================== c | 138 | 700 1717 612900 | 5000 138 146 | 0.000 % | c =============================================================================== c New solution: 2147 c Elapsed CPU time: 153.749 s Remaining CPU time: 26.2514 s c =============================================================================== c | 140 | 700 1718 613500 | 5000 140 145 | 0.000 % | c =============================================================================== c New solution: 2146 c Elapsed CPU time: 153.988 s Remaining CPU time: 26.0124 s c =============================================================================== c | 141 | 700 1719 614100 | 5000 141 144 | 0.000 % | c =============================================================================== c New solution: 2145 c Elapsed CPU time: 154.218 s Remaining CPU time: 25.7824 s c =============================================================================== c | 141 | 700 1720 614700 | 5000 141 144 | 0.000 % | c =============================================================================== c New solution: 2144 c Elapsed CPU time: 154.44 s Remaining CPU time: 25.5605 s c =============================================================================== c | 141 | 700 1721 615300 | 5000 141 144 | 0.000 % | c =============================================================================== c New solution: 2143 c Elapsed CPU time: 154.686 s Remaining CPU time: 25.3135 s c =============================================================================== c | 142 | 700 1722 615900 | 5000 142 143 | 0.000 % | c =============================================================================== c New solution: 2142 c Elapsed CPU time: 154.924 s Remaining CPU time: 25.0756 s c =============================================================================== c | 142 | 700 1723 616500 | 5000 142 143 | 0.000 % | c =============================================================================== c New solution: 2141 c Elapsed CPU time: 155.156 s Remaining CPU time: 24.8436 s c =============================================================================== c | 143 | 700 1724 617100 | 5000 143 142 | 0.000 % | c =============================================================================== c New solution: 2140 c Elapsed CPU time: 155.4 s Remaining CPU time: 24.5996 s c =============================================================================== c | 154 | 700 1725 617700 | 5000 154 134 | 0.000 % | c =============================================================================== c New solution: 2139 c Elapsed CPU time: 155.637 s Remaining CPU time: 24.3627 s c =============================================================================== c | 155 | 700 1726 618300 | 5000 155 133 | 0.000 % | c =============================================================================== c New solution: 2138 c Elapsed CPU time: 155.863 s Remaining CPU time: 24.1367 s c =============================================================================== c | 155 | 700 1727 618900 | 5000 155 133 | 0.000 % | c =============================================================================== c New solution: 2137 c Elapsed CPU time: 156.076 s Remaining CPU time: 23.9237 s c =============================================================================== c | 155 | 700 1728 619500 | 5000 155 133 | 0.000 % | c =============================================================================== c New solution: 2136 c Elapsed CPU time: 156.3 s Remaining CPU time: 23.6998 s c =============================================================================== c | 155 | 700 1729 620100 | 5000 155 133 | 0.000 % | c =============================================================================== c New solution: 2135 c Elapsed CPU time: 156.529 s Remaining CPU time: 23.4708 s c =============================================================================== c | 159 | 700 1730 620700 | 5000 159 140 | 0.000 % | c =============================================================================== c New solution: 2134 c Elapsed CPU time: 156.747 s Remaining CPU time: 23.2528 s c =============================================================================== c | 159 | 700 1731 621300 | 5000 159 140 | 0.000 % | c =============================================================================== c New solution: 2133 c Elapsed CPU time: 157.028 s Remaining CPU time: 22.9719 s c =============================================================================== c | 168 | 700 1732 621900 | 5000 168 155 | 0.000 % | c =============================================================================== c New solution: 2132 c Elapsed CPU time: 157.258 s Remaining CPU time: 22.7419 s c =============================================================================== c | 169 | 700 1733 622500 | 5000 169 156 | 0.000 % | c =============================================================================== c New solution: 2131 c Elapsed CPU time: 157.488 s Remaining CPU time: 22.5119 s c =============================================================================== c | 169 | 700 1734 623100 | 5000 169 156 | 0.000 % | c =============================================================================== c New solution: 2130 c Elapsed CPU time: 157.693 s Remaining CPU time: 22.307 s c =============================================================================== c | 172 | 700 1735 623700 | 5000 172 154 | 0.000 % | c =============================================================================== c New solution: 2129 c Elapsed CPU time: 157.907 s Remaining CPU time: 22.093 s c =============================================================================== c | 172 | 700 1736 624300 | 5000 172 154 | 0.000 % | c =============================================================================== c New solution: 2128 c Elapsed CPU time: 158.12 s Remaining CPU time: 21.88 s c =============================================================================== c | 172 | 700 1737 624900 | 5000 172 154 | 0.000 % | c =============================================================================== c New solution: 2127 c Elapsed CPU time: 158.33 s Remaining CPU time: 21.6701 s c =============================================================================== c | 172 | 700 1738 625500 | 5000 172 154 | 0.000 % | c =============================================================================== c New solution: 2126 c Elapsed CPU time: 158.561 s Remaining CPU time: 21.4391 s c =============================================================================== c | 173 | 700 1739 626100 | 5000 173 155 | 0.000 % | c =============================================================================== c New solution: 2125 c Elapsed CPU time: 158.79 s Remaining CPU time: 21.2101 s c =============================================================================== c | 174 | 700 1740 626700 | 5000 174 155 | 0.000 % | c =============================================================================== c New solution: 2124 c Elapsed CPU time: 159.016 s Remaining CPU time: 20.9842 s c =============================================================================== c | 174 | 700 1741 627300 | 5000 174 155 | 0.000 % | c =============================================================================== c New solution: 2123 c Elapsed CPU time: 159.253 s Remaining CPU time: 20.7472 s c =============================================================================== c | 175 | 700 1742 627900 | 5000 175 156 | 0.000 % | c =============================================================================== c New solution: 2122 c Elapsed CPU time: 159.476 s Remaining CPU time: 20.5242 s c =============================================================================== c | 175 | 700 1743 628500 | 5000 175 156 | 0.000 % | c =============================================================================== c New solution: 2121 c Elapsed CPU time: 159.706 s Remaining CPU time: 20.2943 s c =============================================================================== c | 175 | 700 1744 629100 | 5000 175 156 | 0.000 % | c =============================================================================== c New solution: 2120 c Elapsed CPU time: 159.939 s Remaining CPU time: 20.0613 s c =============================================================================== c | 176 | 700 1745 629700 | 5000 176 157 | 0.000 % | c =============================================================================== c New solution: 2119 c Elapsed CPU time: 160.164 s Remaining CPU time: 19.8363 s c =============================================================================== c | 176 | 700 1746 630300 | 5000 176 157 | 0.000 % | c =============================================================================== c New solution: 2118 c Elapsed CPU time: 160.392 s Remaining CPU time: 19.6084 s c =============================================================================== c | 181 | 700 1747 630900 | 5000 181 156 | 0.000 % | c =============================================================================== c New solution: 2117 c Elapsed CPU time: 160.618 s Remaining CPU time: 19.3824 s c =============================================================================== c | 181 | 700 1748 631500 | 5000 181 156 | 0.000 % | c =============================================================================== c New solution: 2116 c Elapsed CPU time: 160.839 s Remaining CPU time: 19.1615 s c =============================================================================== c | 182 | 700 1749 632100 | 5000 182 155 | 0.000 % | c =============================================================================== c New solution: 2115 c Elapsed CPU time: 161.072 s Remaining CPU time: 18.9285 s c =============================================================================== c | 182 | 700 1750 632700 | 5000 182 155 | 0.000 % | c =============================================================================== c New solution: 2114 c Elapsed CPU time: 161.297 s Remaining CPU time: 18.7025 s c =============================================================================== c | 182 | 700 1751 633300 | 5000 182 155 | 0.000 % | c =============================================================================== c New solution: 2113 c Elapsed CPU time: 161.522 s Remaining CPU time: 18.4776 s c =============================================================================== c | 183 | 700 1752 633900 | 5000 183 154 | 0.000 % | c =============================================================================== c New solution: 2112 c Elapsed CPU time: 161.748 s Remaining CPU time: 18.2516 s c =============================================================================== c | 184 | 700 1753 634500 | 5000 184 153 | 0.000 % | c =============================================================================== c New solution: 2111 c Elapsed CPU time: 161.978 s Remaining CPU time: 18.0216 s c =============================================================================== c | 185 | 700 1754 635100 | 5000 185 153 | 0.000 % | c =============================================================================== c New solution: 2110 c Elapsed CPU time: 162.207 s Remaining CPU time: 17.7927 s c =============================================================================== c | 185 | 700 1755 635700 | 5000 185 153 | 0.000 % | c =============================================================================== c New solution: 2109 c Elapsed CPU time: 162.443 s Remaining CPU time: 17.5567 s c =============================================================================== c | 186 | 700 1756 636300 | 5000 186 152 | 0.000 % | c =============================================================================== c New solution: 2108 c Elapsed CPU time: 162.667 s Remaining CPU time: 17.3327 s c =============================================================================== c | 186 | 700 1757 636900 | 5000 186 152 | 0.000 % | c =============================================================================== c New solution: 2107 c Elapsed CPU time: 162.886 s Remaining CPU time: 17.1138 s c =============================================================================== c | 186 | 700 1758 637500 | 5000 186 152 | 0.000 % | c =============================================================================== c New solution: 2106 c Elapsed CPU time: 163.127 s Remaining CPU time: 16.8728 s c =============================================================================== c | 186 | 700 1759 638100 | 5000 186 152 | 0.000 % | c =============================================================================== c New solution: 2105 c Elapsed CPU time: 163.338 s Remaining CPU time: 16.6618 s c =============================================================================== c | 186 | 700 1760 638700 | 5000 186 152 | 0.000 % | c =============================================================================== c New solution: 2104 c Elapsed CPU time: 163.572 s Remaining CPU time: 16.4279 s c =============================================================================== c | 186 | 700 1761 639300 | 5000 186 152 | 0.000 % | c =============================================================================== c New solution: 2103 c Elapsed CPU time: 163.794 s Remaining CPU time: 16.2059 s c =============================================================================== c | 186 | 700 1762 639900 | 5000 186 152 | 0.000 % | c =============================================================================== c New solution: 2102 c Elapsed CPU time: 164.021 s Remaining CPU time: 15.9789 s c =============================================================================== c | 186 | 700 1763 640500 | 5000 186 152 | 0.000 % | c =============================================================================== c New solution: 2101 c Elapsed CPU time: 164.248 s Remaining CPU time: 15.752 s c =============================================================================== c | 186 | 700 1764 641100 | 5000 186 152 | 0.000 % | c =============================================================================== c New solution: 2100 c Elapsed CPU time: 164.462 s Remaining CPU time: 15.538 s c =============================================================================== c | 186 | 700 1765 641700 | 5000 186 152 | 0.000 % | c =============================================================================== c New solution: 2099 c Elapsed CPU time: 164.675 s Remaining CPU time: 15.325 s c =============================================================================== c | 186 | 700 1766 642300 | 5000 186 152 | 0.000 % | c =============================================================================== c New solution: 2098 c Elapsed CPU time: 164.897 s Remaining CPU time: 15.1031 s c =============================================================================== c | 186 | 700 1767 642900 | 5000 186 152 | 0.000 % | c =============================================================================== c New solution: 2097 c Elapsed CPU time: 165.129 s Remaining CPU time: 14.8711 s c =============================================================================== c | 188 | 700 1768 643500 | 5000 188 151 | 0.000 % | c =============================================================================== c New solution: 2096 c Elapsed CPU time: 165.348 s Remaining CPU time: 14.6521 s c =============================================================================== c | 188 | 700 1769 644100 | 5000 188 151 | 0.000 % | c =============================================================================== c New solution: 2095 c Elapsed CPU time: 165.569 s Remaining CPU time: 14.4312 s c =============================================================================== c | 188 | 700 1770 644700 | 5000 188 151 | 0.000 % | c =============================================================================== c New solution: 2094 c Elapsed CPU time: 165.813 s Remaining CPU time: 14.1872 s c =============================================================================== c | 189 | 700 1771 645300 | 5000 189 152 | 0.000 % | c =============================================================================== c New solution: 2093 c Elapsed CPU time: 166.049 s Remaining CPU time: 13.9512 s c =============================================================================== c | 189 | 700 1772 645900 | 5000 189 152 | 0.000 % | c =============================================================================== c New solution: 2092 c Elapsed CPU time: 166.277 s Remaining CPU time: 13.7233 s c =============================================================================== c | 189 | 700 1773 646500 | 5000 189 152 | 0.000 % | c =============================================================================== c New solution: 2091 c Elapsed CPU time: 166.519 s Remaining CPU time: 13.4813 s c =============================================================================== c | 189 | 700 1774 647100 | 5000 189 152 | 0.000 % | c =============================================================================== c New solution: 2090 c Elapsed CPU time: 166.755 s Remaining CPU time: 13.2454 s c =============================================================================== c | 189 | 700 1775 647700 | 5000 189 152 | 0.000 % | c =============================================================================== c New solution: 2089 c Elapsed CPU time: 167.002 s Remaining CPU time: 12.9984 s c =============================================================================== c | 189 | 700 1776 648300 | 5000 189 152 | 0.000 % | c =============================================================================== c New solution: 2088 c Elapsed CPU time: 167.234 s Remaining CPU time: 12.7664 s c =============================================================================== c | 189 | 700 1777 648900 | 5000 189 152 | 0.000 % | c =============================================================================== c New solution: 2087 c Elapsed CPU time: 167.465 s Remaining CPU time: 12.5355 s c =============================================================================== c | 189 | 700 1778 649500 | 5000 189 152 | 0.000 % | c =============================================================================== c New solution: 2086 c Elapsed CPU time: 167.685 s Remaining CPU time: 12.3155 s c =============================================================================== c | 189 | 700 1779 650100 | 5000 189 152 | 0.000 % | c =============================================================================== c New solution: 2085 c Elapsed CPU time: 167.917 s Remaining CPU time: 12.0825 s c =============================================================================== c | 189 | 700 1780 650700 | 5000 189 152 | 0.000 % | c =============================================================================== c New solution: 2084 c Elapsed CPU time: 168.162 s Remaining CPU time: 11.8376 s c =============================================================================== c | 190 | 700 1781 651300 | 5000 190 151 | 0.000 % | c =============================================================================== c New solution: 2083 c Elapsed CPU time: 168.404 s Remaining CPU time: 11.5956 s c =============================================================================== c | 190 | 700 1782 651900 | 5000 190 151 | 0.000 % | c =============================================================================== c New solution: 2082 c Elapsed CPU time: 168.637 s Remaining CPU time: 11.3626 s c =============================================================================== c | 190 | 700 1783 652500 | 5000 190 151 | 0.000 % | c =============================================================================== c New solution: 2081 c Elapsed CPU time: 168.871 s Remaining CPU time: 11.1287 s c =============================================================================== c | 190 | 700 1784 653100 | 5000 190 151 | 0.000 % | c =============================================================================== c New solution: 2080 c Elapsed CPU time: 169.093 s Remaining CPU time: 10.9067 s c =============================================================================== c | 190 | 700 1785 653700 | 5000 190 151 | 0.000 % | c =============================================================================== c New solution: 2079 c Elapsed CPU time: 169.335 s Remaining CPU time: 10.6647 s c =============================================================================== c | 190 | 700 1786 654300 | 5000 190 151 | 0.000 % | c =============================================================================== c New solution: 2078 c Elapsed CPU time: 169.555 s Remaining CPU time: 10.4448 s c =============================================================================== c | 190 | 700 1787 654900 | 5000 190 151 | 0.000 % | c =============================================================================== c New solution: 2077 c Elapsed CPU time: 169.795 s Remaining CPU time: 10.2048 s c =============================================================================== c | 190 | 700 1788 655500 | 5000 190 151 | 0.000 % | c =============================================================================== c New solution: 2076 c Elapsed CPU time: 170.018 s Remaining CPU time: 9.98185 s c =============================================================================== c | 190 | 700 1789 656100 | 5000 190 151 | 0.000 % | c =============================================================================== c New solution: 2075 c Elapsed CPU time: 170.26 s Remaining CPU time: 9.73988 s c =============================================================================== c | 190 | 700 1790 656700 | 5000 190 151 | 0.000 % | c =============================================================================== c New solution: 2074 c Elapsed CPU time: 170.508 s Remaining CPU time: 9.49192 s c =============================================================================== c | 190 | 700 1791 657300 | 5000 190 151 | 0.000 % | c =============================================================================== c New solution: 2073 c Elapsed CPU time: 170.737 s Remaining CPU time: 9.26296 s c =============================================================================== c | 190 | 700 1792 657900 | 5000 190 151 | 0.000 % | c =============================================================================== c New solution: 2072 c Elapsed CPU time: 170.961 s Remaining CPU time: 9.03899 s c =============================================================================== c | 190 | 700 1793 658500 | 5000 190 151 | 0.000 % | c =============================================================================== c New solution: 2071 c Elapsed CPU time: 171.214 s Remaining CPU time: 8.78603 s c =============================================================================== c | 192 | 700 1794 659100 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2070 c Elapsed CPU time: 171.46 s Remaining CPU time: 8.54007 s c =============================================================================== c | 192 | 700 1795 659700 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2069 c Elapsed CPU time: 171.701 s Remaining CPU time: 8.2991 s c =============================================================================== c | 192 | 700 1796 660300 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2068 c Elapsed CPU time: 171.94 s Remaining CPU time: 8.06014 s c =============================================================================== c | 192 | 700 1797 660900 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2067 c Elapsed CPU time: 172.164 s Remaining CPU time: 7.83617 s c =============================================================================== c | 192 | 700 1798 661500 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2066 c Elapsed CPU time: 172.391 s Remaining CPU time: 7.60921 s c =============================================================================== c | 192 | 700 1799 662100 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2065 c Elapsed CPU time: 172.622 s Remaining CPU time: 7.37824 s c =============================================================================== c | 192 | 700 1800 662700 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2064 c Elapsed CPU time: 172.866 s Remaining CPU time: 7.13428 s c =============================================================================== c | 192 | 700 1801 663300 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2063 c Elapsed CPU time: 173.091 s Remaining CPU time: 6.90931 s c =============================================================================== c | 192 | 700 1802 663900 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2062 c Elapsed CPU time: 173.342 s Remaining CPU time: 6.65835 s c =============================================================================== c | 192 | 700 1803 664500 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2061 c Elapsed CPU time: 173.567 s Remaining CPU time: 6.43339 s c =============================================================================== c | 192 | 700 1804 665100 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2060 c Elapsed CPU time: 173.811 s Remaining CPU time: 6.18942 s c =============================================================================== c | 192 | 700 1805 665700 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2059 c Elapsed CPU time: 174.06 s Remaining CPU time: 5.94046 s c =============================================================================== c | 192 | 700 1806 666300 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2058 c Elapsed CPU time: 174.312 s Remaining CPU time: 5.6875 s c =============================================================================== c | 192 | 700 1807 666900 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2057 c Elapsed CPU time: 174.544 s Remaining CPU time: 5.45553 s c =============================================================================== c | 192 | 700 1808 667500 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2056 c Elapsed CPU time: 174.803 s Remaining CPU time: 5.19657 s c =============================================================================== c | 192 | 700 1809 668100 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2055 c Elapsed CPU time: 175.039 s Remaining CPU time: 4.96061 s c =============================================================================== c | 192 | 700 1810 668700 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2054 c Elapsed CPU time: 175.271 s Remaining CPU time: 4.72865 s c =============================================================================== c | 192 | 700 1811 669300 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2053 c Elapsed CPU time: 175.497 s Remaining CPU time: 4.50268 s c =============================================================================== c | 192 | 700 1812 669900 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2052 c Elapsed CPU time: 175.755 s Remaining CPU time: 4.24472 s c =============================================================================== c | 192 | 700 1813 670500 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2051 c Elapsed CPU time: 175.976 s Remaining CPU time: 4.02375 s c =============================================================================== c | 192 | 700 1814 671100 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2050 c Elapsed CPU time: 176.213 s Remaining CPU time: 3.78679 s c =============================================================================== c | 192 | 700 1815 671700 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2049 c Elapsed CPU time: 176.453 s Remaining CPU time: 3.54683 s c =============================================================================== c | 192 | 700 1816 672300 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2048 c Elapsed CPU time: 176.701 s Remaining CPU time: 3.29886 s c =============================================================================== c | 192 | 700 1817 672900 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2047 c Elapsed CPU time: 176.941 s Remaining CPU time: 3.0589 s c =============================================================================== c | 192 | 700 1818 673500 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2046 c Elapsed CPU time: 177.169 s Remaining CPU time: 2.83093 s c =============================================================================== c | 192 | 700 1819 674100 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2045 c Elapsed CPU time: 177.416 s Remaining CPU time: 2.58397 s c =============================================================================== c | 192 | 700 1820 674700 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2044 c Elapsed CPU time: 177.64 s Remaining CPU time: 2.36001 s c =============================================================================== c | 192 | 700 1821 675300 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2043 c Elapsed CPU time: 177.868 s Remaining CPU time: 2.13204 s c =============================================================================== c | 192 | 700 1822 675900 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2042 c Elapsed CPU time: 178.108 s Remaining CPU time: 1.89208 s c =============================================================================== c | 192 | 700 1823 676500 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2041 c Elapsed CPU time: 178.333 s Remaining CPU time: 1.66711 s c =============================================================================== c | 192 | 700 1824 677100 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2040 c Elapsed CPU time: 178.574 s Remaining CPU time: 1.42615 s c =============================================================================== c | 192 | 700 1825 677700 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2039 c Elapsed CPU time: 178.823 s Remaining CPU time: 1.17719 s c =============================================================================== c | 192 | 700 1826 678300 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2038 c Elapsed CPU time: 179.05 s Remaining CPU time: 0.95022 s c =============================================================================== c | 192 | 700 1827 678900 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2037 c Elapsed CPU time: 179.291 s Remaining CPU time: 0.709257 s c =============================================================================== c | 192 | 700 1828 679500 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2036 c Elapsed CPU time: 179.538 s Remaining CPU time: 0.462294 s c =============================================================================== c | 192 | 700 1829 680100 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2035 c Elapsed CPU time: 179.782 s Remaining CPU time: 0.218331 s c =============================================================================== c | 192 | 700 1830 680700 | 5000 192 152 | 0.000 % | c =============================================================================== c New solution: 2034 c Elapsed CPU time: 180.022 s Remaining CPU time: -0.021632 s c =============================================================================== c | 193 | 700 1831 681300 | 5000 193 151 | 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 2435 2709 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 433 2707 3073 | 5000 0 nan | 0.000 % | c | 100 | 433 2707 3073 | 5500 100 38 | 56.787 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 807 2993 3546 | 5000 0 nan | 0.000 % | c | 100 | 807 2993 3546 | 5500 100 47 | 39.776 % | c | 250 | 806 2993 3546 | 6050 140 38 | 39.851 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1269 3321 4210 | 5000 0 nan | 0.000 % | c | 103 | 1269 3321 4210 | 5500 103 40 | 27.610 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1615 3576 4760 | 5000 0 nan | 0.000 % | c | 101 | 1615 3576 4760 | 5500 101 33 | 21.716 % | c | 251 | 1614 3576 4760 | 6050 75 16 | 21.764 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2068 3880 5538 | 5000 0 nan | 0.000 % | c | 100 | 2068 3880 5538 | 5500 100 30 | 16.174 % | c | 253 | 2066 3880 5538 | 6050 133 27 | 16.255 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2571 4177 6506 | 5000 0 nan | 0.000 % | c | 101 | 2571 4177 6506 | 5500 101 51 | 12.133 % | c | 251 | 2570 4177 6506 | 6050 69 14 | 12.167 % | c | 476 | 2570 4177 6506 | 6655 294 29 | 12.167 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3193 4447 7924 | 5000 0 nan | 0.000 % | c | 100 | 3193 4447 7924 | 5500 100 42 | 8.379 % | c | 250 | 3193 4447 7924 | 6050 250 31 | 8.379 % | c | 475 | 3193 4447 7924 | 6655 475 33 | 8.379 % | c | 812 | 3193 4447 7924 | 7320 812 39 | 8.379 % | c | 1318 | 3191 4447 7924 | 8052 1021 41 | 8.465 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4034 4670 10002 | 5000 0 nan | 0.000 % | c | 101 | 4034 4670 10002 | 5500 101 29 | 5.350 % | c | 252 | 4034 4670 10002 | 6050 252 24 | 5.350 % | c | 478 | 4034 4670 10002 | 6655 478 28 | 5.350 % | c | 817 | 4034 4670 10002 | 7320 817 30 | 5.350 % | c | 1325 | 4034 4670 10002 | 8052 1325 40 | 5.350 % | c | 2085 | 4034 4670 10002 | 8857 2085 47 | 5.350 % | c | 3224 | 4034 4670 10002 | 9743 3224 64 | 5.350 % | c | 4932 | 4034 4670 10002 | 10717 4932 71 | 5.350 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5445 4842 13332 | 5000 0 nan | 0.000 % | c | 100 | 5445 4842 13332 | 5500 100 21 | 3.010 % | c | 250 | 5445 4842 13332 | 6050 250 17 | 3.010 % | c | 475 | 5445 4842 13332 | 6655 475 21 | 3.010 % | c | 815 | 5445 4842 13332 | 7320 815 25 | 3.010 % | c | 1321 | 5445 4842 13332 | 8052 1321 24 | 3.010 % | c | 2080 | 5445 4842 13332 | 8857 2080 24 | 3.010 % | c | 3220 | 5445 4842 13332 | 9743 3220 29 | 3.010 % | c | 4928 | 5445 4842 13332 | 10717 4928 33 | 3.010 % | c | 7490 | 5444 4842 13332 | 11789 6492 35 | 3.028 % | c | 11335 | 5444 4842 13332 | 12968 10337 31 | 3.028 % | c | 17101 | 5443 4842 13332 | 14265 12370 30 | 3.046 % | c | 25750 | 5443 4842 13332 | 15692 13783 36 | 3.046 % | c | 38724 | 5440 4842 13332 | 17261 9382 18 | 3.099 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7440 4949 173995 | 5000 0 nan | 0.000 % | c | 100 | 7440 4949 173995 | 5500 100 36 | 1.405 % | c | 251 | 7440 4949 173995 | 6050 251 20 | 1.405 % | c | 476 | 7440 4949 173995 | 6655 476 24 | 1.405 % | c | 815 | 7440 4949 173995 | 7320 815 25 | 1.405 % | c | 1321 | 7440 4949 173995 | 8052 1321 30 | 1.405 % | c | 2081 | 7440 4949 173995 | 8857 2081 30 | 1.405 % | c | 3223 | 7440 4949 173995 | 9743 3223 29 | 1.405 % | c | 4931 | 7440 4949 173995 | 10717 4931 37 | 1.405 % | c | 7494 | 7440 4949 173995 | 11789 7494 38 | 1.405 % | c | 11338 | 7440 4949 173995 | 12968 11338 65 | 1.405 % | c | 17104 | 7440 4949 173995 | 14265 10555 56 | 1.405 % | c | 25753 | 7440 4949 173995 | 15692 11338 96 | 1.405 % | c | 38728 | 7439 4949 173995 | 17261 8262 26 | 1.418 % | c | 58189 | 7438 4949 173995 | 18987 16989 31 | 1.431 % | c | 87381 | 7438 4949 173995 | 20886 17403 23 | 1.431 % | c | 131170 | 7438 4949 173995 | 22974 19064 30 | 1.431 % | c | 196854 | 7436 4949 173995 | 25272 17640 20 | 1.458 % | c | 295380 | 7436 4949 173995 | 27799 13546 25 | 1.458 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9881 5013 391793 | 5000 0 nan | 0.000 % | c | 101 | 9881 5013 391793 | 5500 101 32 | 0.634 % | c | 251 | 9881 5013 391793 | 6050 251 21 | 0.634 % | c | 476 | 9881 5013 391793 | 6655 476 19 | 0.634 % | c | 813 | 9881 5013 391793 | 7320 813 22 | 0.634 % | c | 1319 | 9881 5013 391793 | 8052 1319 19 | 0.634 % | c | 2079 | 9881 5013 391793 | 8857 2079 38 | 0.634 % | c | 3218 | 9881 5013 391793 | 9743 3218 33 | 0.634 % | c | 4929 | 9881 5013 391793 | 10717 4929 61 | 0.634 % | c | 7493 | 9881 5013 391793 | 11789 7493 97 | 0.634 % | c | 11340 | 9881 5013 391793 | 12968 11340 100 | 0.634 % | c | 17107 | 9881 5013 391793 | 14265 10360 126 | 0.634 % | c | 25760 | 9881 5013 391793 | 15692 11429 137 | 0.634 % | c | 38734 | 9881 5013 391793 | 17261 8345 48 | 0.634 % | c | 58195 | 9881 5013 391793 | 18987 17014 286 | 0.634 % | c | 87388 | 9881 5013 391793 | 20886 14791 126 | 0.634 % | c Memory used : 257.71 MB c CPU time : 1800 s c c Total CPU time: 1800 s