c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 3000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 3000 | c | Number Clauses: 3000 | 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 | 2987 3003 8850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15859 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 2987 3004 11700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15858 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 0 | 2987 3005 14550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15855 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 0 | 2987 3006 17400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15850 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 0 | 2987 3007 20250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15849 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 0 | 2987 3008 23100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15847 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 0 | 2987 3009 25950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15846 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 0 | 2987 3010 28800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15845 c Elapsed CPU time: 0.278957 s Remaining CPU time: 179.721 s c =============================================================================== c | 0 | 2987 3011 31650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15840 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 0 | 2987 3012 34500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15837 c Elapsed CPU time: 0.345947 s Remaining CPU time: 179.654 s c =============================================================================== c | 0 | 2987 3013 37350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15836 c Elapsed CPU time: 0.381941 s Remaining CPU time: 179.618 s c =============================================================================== c | 0 | 2987 3014 40200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15831 c Elapsed CPU time: 0.419936 s Remaining CPU time: 179.58 s c =============================================================================== c | 0 | 2987 3015 43050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15829 c Elapsed CPU time: 0.45893 s Remaining CPU time: 179.541 s c =============================================================================== c | 0 | 2987 3016 45900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15828 c Elapsed CPU time: 0.498924 s Remaining CPU time: 179.501 s c =============================================================================== c | 0 | 2987 3017 48750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15827 c Elapsed CPU time: 0.539917 s Remaining CPU time: 179.46 s c =============================================================================== c | 0 | 2987 3018 51600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15826 c Elapsed CPU time: 0.580911 s Remaining CPU time: 179.419 s c =============================================================================== c | 0 | 2987 3019 54450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15825 c Elapsed CPU time: 0.622905 s Remaining CPU time: 179.377 s c =============================================================================== c | 0 | 2987 3020 57300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15824 c Elapsed CPU time: 0.664898 s Remaining CPU time: 179.335 s c =============================================================================== c | 0 | 2987 3021 60150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15823 c Elapsed CPU time: 0.709892 s Remaining CPU time: 179.29 s c =============================================================================== c | 0 | 2987 3022 63000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15822 c Elapsed CPU time: 0.753885 s Remaining CPU time: 179.246 s c =============================================================================== c | 0 | 2987 3023 65850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15821 c Elapsed CPU time: 0.799878 s Remaining CPU time: 179.2 s c =============================================================================== c | 0 | 2987 3024 68700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15820 c Elapsed CPU time: 0.84987 s Remaining CPU time: 179.15 s c =============================================================================== c | 0 | 2987 3025 71550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15819 c Elapsed CPU time: 0.897863 s Remaining CPU time: 179.102 s c =============================================================================== c | 0 | 2987 3026 74400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15818 c Elapsed CPU time: 0.947855 s Remaining CPU time: 179.052 s c =============================================================================== c | 0 | 2987 3027 77250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15817 c Elapsed CPU time: 0.999848 s Remaining CPU time: 179 s c =============================================================================== c | 0 | 2987 3028 80100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15816 c Elapsed CPU time: 1.05184 s Remaining CPU time: 178.948 s c =============================================================================== c | 0 | 2987 3029 82950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15815 c Elapsed CPU time: 1.10583 s Remaining CPU time: 178.894 s c =============================================================================== c | 0 | 2987 3030 85800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15814 c Elapsed CPU time: 1.15982 s Remaining CPU time: 178.84 s c =============================================================================== c | 0 | 2987 3031 88650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15813 c Elapsed CPU time: 1.21781 s Remaining CPU time: 178.782 s c =============================================================================== c | 0 | 2987 3032 91500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15812 c Elapsed CPU time: 1.2768 s Remaining CPU time: 178.723 s c =============================================================================== c | 0 | 2987 3033 94350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15811 c Elapsed CPU time: 1.3368 s Remaining CPU time: 178.663 s c =============================================================================== c | 0 | 2987 3034 97200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15809 c Elapsed CPU time: 1.39579 s Remaining CPU time: 178.604 s c =============================================================================== c | 0 | 2987 3035 100050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15806 c Elapsed CPU time: 1.45778 s Remaining CPU time: 178.542 s c =============================================================================== c | 0 | 2987 3036 102900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15801 c Elapsed CPU time: 1.52077 s Remaining CPU time: 178.479 s c =============================================================================== c | 0 | 2987 3037 105750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15800 c Elapsed CPU time: 1.58676 s Remaining CPU time: 178.413 s c =============================================================================== c | 0 | 2987 3038 108600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15799 c Elapsed CPU time: 1.65275 s Remaining CPU time: 178.347 s c =============================================================================== c | 0 | 2987 3039 111450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15797 c Elapsed CPU time: 1.72074 s Remaining CPU time: 178.279 s c =============================================================================== c | 0 | 2987 3040 114300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15794 c Elapsed CPU time: 1.78673 s Remaining CPU time: 178.213 s c =============================================================================== c | 0 | 2987 3041 117150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15793 c Elapsed CPU time: 1.85972 s Remaining CPU time: 178.14 s c =============================================================================== c | 0 | 2987 3042 120000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15792 c Elapsed CPU time: 1.93171 s Remaining CPU time: 178.068 s c =============================================================================== c | 0 | 2987 3043 122850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15790 c Elapsed CPU time: 2.00469 s Remaining CPU time: 177.995 s c =============================================================================== c | 0 | 2987 3044 125700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15788 c Elapsed CPU time: 2.08168 s Remaining CPU time: 177.918 s c =============================================================================== c | 0 | 2987 3045 128550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15785 c Elapsed CPU time: 2.15967 s Remaining CPU time: 177.84 s c =============================================================================== c | 0 | 2987 3046 131400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15782 c Elapsed CPU time: 2.23866 s Remaining CPU time: 177.761 s c =============================================================================== c | 0 | 2987 3047 134250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15780 c Elapsed CPU time: 2.32565 s Remaining CPU time: 177.674 s c =============================================================================== c | 0 | 2987 3048 137100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15778 c Elapsed CPU time: 2.41363 s Remaining CPU time: 177.586 s c =============================================================================== c | 0 | 2987 3049 139950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15777 c Elapsed CPU time: 2.50262 s Remaining CPU time: 177.497 s c =============================================================================== c | 0 | 2987 3050 142800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15776 c Elapsed CPU time: 2.59161 s Remaining CPU time: 177.408 s c =============================================================================== c | 0 | 2987 3051 145650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15775 c Elapsed CPU time: 2.67759 s Remaining CPU time: 177.322 s c =============================================================================== c | 0 | 2987 3052 148500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15774 c Elapsed CPU time: 2.76658 s Remaining CPU time: 177.233 s c =============================================================================== c | 0 | 2987 3053 151350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15772 c Elapsed CPU time: 2.85656 s Remaining CPU time: 177.143 s c =============================================================================== c | 0 | 2987 3054 154200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15769 c Elapsed CPU time: 2.94755 s Remaining CPU time: 177.052 s c =============================================================================== c | 0 | 2987 3055 157050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15768 c Elapsed CPU time: 3.04054 s Remaining CPU time: 176.959 s c =============================================================================== c | 0 | 2987 3056 159900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15767 c Elapsed CPU time: 3.13952 s Remaining CPU time: 176.86 s c =============================================================================== c | 0 | 2987 3057 162750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15765 c Elapsed CPU time: 3.23351 s Remaining CPU time: 176.766 s c =============================================================================== c | 0 | 2987 3058 165600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15764 c Elapsed CPU time: 3.33349 s Remaining CPU time: 176.667 s c =============================================================================== c | 0 | 2987 3059 168450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15762 c Elapsed CPU time: 3.43448 s Remaining CPU time: 176.566 s c =============================================================================== c | 0 | 2987 3060 171300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15761 c Elapsed CPU time: 3.54146 s Remaining CPU time: 176.459 s c =============================================================================== c | 0 | 2987 3061 174150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15758 c Elapsed CPU time: 3.64545 s Remaining CPU time: 176.355 s c =============================================================================== c | 0 | 2987 3062 177000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15757 c Elapsed CPU time: 3.75543 s Remaining CPU time: 176.245 s c =============================================================================== c | 0 | 2987 3063 179850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15754 c Elapsed CPU time: 3.86141 s Remaining CPU time: 176.139 s c =============================================================================== c | 0 | 2987 3064 182700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15752 c Elapsed CPU time: 3.9714 s Remaining CPU time: 176.029 s c =============================================================================== c | 0 | 2987 3065 185550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15751 c Elapsed CPU time: 4.08438 s Remaining CPU time: 175.916 s c =============================================================================== c | 0 | 2987 3066 188400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15750 c Elapsed CPU time: 4.19836 s Remaining CPU time: 175.802 s c =============================================================================== c | 0 | 2987 3067 191250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15749 c Elapsed CPU time: 4.31534 s Remaining CPU time: 175.685 s c =============================================================================== c | 0 | 2987 3068 194100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15744 c Elapsed CPU time: 4.43233 s Remaining CPU time: 175.568 s c =============================================================================== c | 0 | 2987 3069 196950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15743 c Elapsed CPU time: 4.55231 s Remaining CPU time: 175.448 s c =============================================================================== c | 0 | 2987 3070 199800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15741 c Elapsed CPU time: 4.67529 s Remaining CPU time: 175.325 s c =============================================================================== c | 0 | 2987 3071 202650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15740 c Elapsed CPU time: 4.79727 s Remaining CPU time: 175.203 s c =============================================================================== c | 0 | 2987 3072 205500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15737 c Elapsed CPU time: 4.92125 s Remaining CPU time: 175.079 s c =============================================================================== c | 0 | 2987 3073 208350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15735 c Elapsed CPU time: 5.04723 s Remaining CPU time: 174.953 s c =============================================================================== c | 0 | 2987 3074 211200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15733 c Elapsed CPU time: 5.17721 s Remaining CPU time: 174.823 s c =============================================================================== c | 0 | 2987 3075 214050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15732 c Elapsed CPU time: 5.30519 s Remaining CPU time: 174.695 s c =============================================================================== c | 0 | 2987 3076 216900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15730 c Elapsed CPU time: 5.43517 s Remaining CPU time: 174.565 s c =============================================================================== c | 0 | 2987 3077 219750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15727 c Elapsed CPU time: 5.56715 s Remaining CPU time: 174.433 s c =============================================================================== c | 0 | 2987 3078 222600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15725 c Elapsed CPU time: 5.70013 s Remaining CPU time: 174.3 s c =============================================================================== c | 0 | 2987 3079 225450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15724 c Elapsed CPU time: 5.83311 s Remaining CPU time: 174.167 s c =============================================================================== c | 0 | 2987 3080 228300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15719 c Elapsed CPU time: 5.97109 s Remaining CPU time: 174.029 s c =============================================================================== c | 0 | 2987 3081 231150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15718 c Elapsed CPU time: 6.11707 s Remaining CPU time: 173.883 s c =============================================================================== c | 0 | 2987 3082 234000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15715 c Elapsed CPU time: 6.25905 s Remaining CPU time: 173.741 s c =============================================================================== c | 0 | 2987 3083 236850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15713 c Elapsed CPU time: 6.40303 s Remaining CPU time: 173.597 s c =============================================================================== c | 0 | 2987 3084 239700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15711 c Elapsed CPU time: 6.555 s Remaining CPU time: 173.445 s c =============================================================================== c | 0 | 2987 3085 242550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15709 c Elapsed CPU time: 6.70098 s Remaining CPU time: 173.299 s c =============================================================================== c | 0 | 2987 3086 245400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15705 c Elapsed CPU time: 6.84796 s Remaining CPU time: 173.152 s c =============================================================================== c | 0 | 2987 3087 248250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15702 c Elapsed CPU time: 7.00193 s Remaining CPU time: 172.998 s c =============================================================================== c | 0 | 2987 3088 251100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15699 c Elapsed CPU time: 7.15391 s Remaining CPU time: 172.846 s c =============================================================================== c | 0 | 2987 3089 253950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15698 c Elapsed CPU time: 7.30989 s Remaining CPU time: 172.69 s c =============================================================================== c | 0 | 2987 3090 256800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15693 c Elapsed CPU time: 7.46786 s Remaining CPU time: 172.532 s c =============================================================================== c | 0 | 2987 3091 259650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15692 c Elapsed CPU time: 7.62784 s Remaining CPU time: 172.372 s c =============================================================================== c | 0 | 2987 3092 262500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15690 c Elapsed CPU time: 7.79181 s Remaining CPU time: 172.208 s c =============================================================================== c | 0 | 2987 3093 265350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15688 c Elapsed CPU time: 7.96379 s Remaining CPU time: 172.036 s c =============================================================================== c | 0 | 2987 3094 268200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15687 c Elapsed CPU time: 8.13876 s Remaining CPU time: 171.861 s c =============================================================================== c | 0 | 2987 3095 271050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15683 c Elapsed CPU time: 8.31174 s Remaining CPU time: 171.688 s c =============================================================================== c | 0 | 2987 3096 273900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15682 c Elapsed CPU time: 8.49471 s Remaining CPU time: 171.505 s c =============================================================================== c | 0 | 2987 3097 276750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15680 c Elapsed CPU time: 8.67468 s Remaining CPU time: 171.325 s c =============================================================================== c | 0 | 2987 3098 279600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15677 c Elapsed CPU time: 8.85365 s Remaining CPU time: 171.146 s c =============================================================================== c | 0 | 2987 3099 282450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15675 c Elapsed CPU time: 9.04262 s Remaining CPU time: 170.957 s c =============================================================================== c | 0 | 2987 3100 285300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15674 c Elapsed CPU time: 9.2336 s Remaining CPU time: 170.766 s c =============================================================================== c | 0 | 2987 3101 288150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15673 c Elapsed CPU time: 9.42757 s Remaining CPU time: 170.572 s c =============================================================================== c | 0 | 2987 3102 291000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15672 c Elapsed CPU time: 9.62054 s Remaining CPU time: 170.379 s c =============================================================================== c | 0 | 2987 3103 293850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15670 c Elapsed CPU time: 9.81351 s Remaining CPU time: 170.186 s c =============================================================================== c | 0 | 2987 3104 296700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15668 c Elapsed CPU time: 10.0105 s Remaining CPU time: 169.99 s c =============================================================================== c | 0 | 2987 3105 299550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15667 c Elapsed CPU time: 10.2184 s Remaining CPU time: 169.782 s c =============================================================================== c | 0 | 2987 3106 302400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15666 c Elapsed CPU time: 10.4274 s Remaining CPU time: 169.573 s c =============================================================================== c | 0 | 2987 3107 305250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15665 c Elapsed CPU time: 10.6294 s Remaining CPU time: 169.371 s c =============================================================================== c | 0 | 2987 3108 308100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15664 c Elapsed CPU time: 10.8404 s Remaining CPU time: 169.16 s c =============================================================================== c | 0 | 2987 3109 310950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15663 c Elapsed CPU time: 11.0423 s Remaining CPU time: 168.958 s c =============================================================================== c | 0 | 2987 3110 313800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15661 c Elapsed CPU time: 11.2453 s Remaining CPU time: 168.755 s c =============================================================================== c | 0 | 2987 3111 316650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15660 c Elapsed CPU time: 11.4533 s Remaining CPU time: 168.547 s c =============================================================================== c | 0 | 2987 3112 319500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15659 c Elapsed CPU time: 11.6642 s Remaining CPU time: 168.336 s c =============================================================================== c | 0 | 2987 3113 322350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15657 c Elapsed CPU time: 11.8722 s Remaining CPU time: 168.128 s c =============================================================================== c | 0 | 2987 3114 325200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15654 c Elapsed CPU time: 12.0792 s Remaining CPU time: 167.921 s c =============================================================================== c | 0 | 2987 3115 328050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15651 c Elapsed CPU time: 12.2891 s Remaining CPU time: 167.711 s c =============================================================================== c | 0 | 2987 3116 330900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15650 c Elapsed CPU time: 12.5061 s Remaining CPU time: 167.494 s c =============================================================================== c | 0 | 2987 3117 333750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15648 c Elapsed CPU time: 12.7251 s Remaining CPU time: 167.275 s c =============================================================================== c | 0 | 2987 3118 336600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15647 c Elapsed CPU time: 12.942 s Remaining CPU time: 167.058 s c =============================================================================== c | 0 | 2987 3119 339450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15644 c Elapsed CPU time: 13.158 s Remaining CPU time: 166.842 s c =============================================================================== c | 0 | 2987 3120 342300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15643 c Elapsed CPU time: 13.379 s Remaining CPU time: 166.621 s c =============================================================================== c | 0 | 2987 3121 345150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15642 c Elapsed CPU time: 13.6069 s Remaining CPU time: 166.393 s c =============================================================================== c | 0 | 2987 3122 348000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15641 c Elapsed CPU time: 13.8359 s Remaining CPU time: 166.164 s c =============================================================================== c | 0 | 2987 3123 350850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15640 c Elapsed CPU time: 14.0659 s Remaining CPU time: 165.934 s c =============================================================================== c | 0 | 2987 3124 353700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15638 c Elapsed CPU time: 14.2928 s Remaining CPU time: 165.707 s c =============================================================================== c | 0 | 2987 3125 356550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15636 c Elapsed CPU time: 14.5348 s Remaining CPU time: 165.465 s c =============================================================================== c | 0 | 2987 3126 359400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15634 c Elapsed CPU time: 14.7718 s Remaining CPU time: 165.228 s c =============================================================================== c | 0 | 2987 3127 362250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15632 c Elapsed CPU time: 15.0107 s Remaining CPU time: 164.989 s c =============================================================================== c | 0 | 2987 3128 365100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15631 c Elapsed CPU time: 15.2547 s Remaining CPU time: 164.745 s c =============================================================================== c | 0 | 2987 3129 367950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15628 c Elapsed CPU time: 15.4946 s Remaining CPU time: 164.505 s c =============================================================================== c | 0 | 2987 3130 370800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15627 c Elapsed CPU time: 15.7366 s Remaining CPU time: 164.263 s c =============================================================================== c | 0 | 2987 3131 373650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15625 c Elapsed CPU time: 15.9886 s Remaining CPU time: 164.011 s c =============================================================================== c | 0 | 2987 3132 376500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15623 c Elapsed CPU time: 16.2385 s Remaining CPU time: 163.761 s c =============================================================================== c | 0 | 2987 3133 379350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15622 c Elapsed CPU time: 16.4885 s Remaining CPU time: 163.512 s c =============================================================================== c | 0 | 2987 3134 382200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15619 c Elapsed CPU time: 16.7405 s Remaining CPU time: 163.26 s c =============================================================================== c | 0 | 2987 3135 385050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15615 c Elapsed CPU time: 16.9894 s Remaining CPU time: 163.011 s c =============================================================================== c | 0 | 2987 3136 387900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15613 c Elapsed CPU time: 17.2404 s Remaining CPU time: 162.76 s c =============================================================================== c | 0 | 2987 3137 390750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15612 c Elapsed CPU time: 17.4973 s Remaining CPU time: 162.503 s c =============================================================================== c | 0 | 2987 3138 393600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15611 c Elapsed CPU time: 17.7533 s Remaining CPU time: 162.247 s c =============================================================================== c | 0 | 2987 3139 396450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15610 c Elapsed CPU time: 18.0113 s Remaining CPU time: 161.989 s c =============================================================================== c | 0 | 2987 3140 399300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15608 c Elapsed CPU time: 18.2752 s Remaining CPU time: 161.725 s c =============================================================================== c | 0 | 2987 3141 402150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15605 c Elapsed CPU time: 18.5402 s Remaining CPU time: 161.46 s c =============================================================================== c | 0 | 2987 3142 405000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15604 c Elapsed CPU time: 18.8001 s Remaining CPU time: 161.2 s c =============================================================================== c | 0 | 2987 3143 407850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15603 c Elapsed CPU time: 19.0691 s Remaining CPU time: 160.931 s c =============================================================================== c | 0 | 2987 3144 410700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15602 c Elapsed CPU time: 19.3411 s Remaining CPU time: 160.659 s c =============================================================================== c | 0 | 2987 3145 413550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15601 c Elapsed CPU time: 19.606 s Remaining CPU time: 160.394 s c =============================================================================== c | 0 | 2987 3146 416400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15600 c Elapsed CPU time: 19.876 s Remaining CPU time: 160.124 s c =============================================================================== c | 0 | 2987 3147 419250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15599 c Elapsed CPU time: 20.1539 s Remaining CPU time: 159.846 s c =============================================================================== c | 0 | 2987 3148 422100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15598 c Elapsed CPU time: 20.4279 s Remaining CPU time: 159.572 s c =============================================================================== c | 0 | 2987 3149 424950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15597 c Elapsed CPU time: 20.7178 s Remaining CPU time: 159.282 s c =============================================================================== c | 0 | 2987 3150 427800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15595 c Elapsed CPU time: 21.0048 s Remaining CPU time: 158.995 s c =============================================================================== c | 0 | 2987 3151 430650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15594 c Elapsed CPU time: 21.2938 s Remaining CPU time: 158.706 s c =============================================================================== c | 0 | 2987 3152 433500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15593 c Elapsed CPU time: 21.5787 s Remaining CPU time: 158.421 s c =============================================================================== c | 0 | 2987 3153 436350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15592 c Elapsed CPU time: 21.8667 s Remaining CPU time: 158.133 s c =============================================================================== c | 0 | 2987 3154 439200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15591 c Elapsed CPU time: 22.1566 s Remaining CPU time: 157.843 s c =============================================================================== c | 0 | 2987 3155 442050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15590 c Elapsed CPU time: 22.4446 s Remaining CPU time: 157.555 s c =============================================================================== c | 0 | 2987 3156 444900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15587 c Elapsed CPU time: 22.7435 s Remaining CPU time: 157.256 s c =============================================================================== c | 0 | 2987 3157 447750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15583 c Elapsed CPU time: 23.0345 s Remaining CPU time: 156.966 s c =============================================================================== c | 0 | 2987 3158 450600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15582 c Elapsed CPU time: 23.3305 s Remaining CPU time: 156.67 s c =============================================================================== c | 0 | 2987 3159 453450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15581 c Elapsed CPU time: 23.6264 s Remaining CPU time: 156.374 s c =============================================================================== c | 0 | 2987 3160 456300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15580 c Elapsed CPU time: 23.9464 s Remaining CPU time: 156.054 s c =============================================================================== c | 0 | 2987 3161 459150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15579 c Elapsed CPU time: 24.2583 s Remaining CPU time: 155.742 s c =============================================================================== c | 0 | 2987 3162 462000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15578 c Elapsed CPU time: 24.5673 s Remaining CPU time: 155.433 s c =============================================================================== c | 0 | 2987 3163 464850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15576 c Elapsed CPU time: 24.8682 s Remaining CPU time: 155.132 s c =============================================================================== c | 0 | 2987 3164 467700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15575 c Elapsed CPU time: 25.1762 s Remaining CPU time: 154.824 s c =============================================================================== c | 0 | 2987 3165 470550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15574 c Elapsed CPU time: 25.4801 s Remaining CPU time: 154.52 s c =============================================================================== c | 0 | 2987 3166 473400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15572 c Elapsed CPU time: 25.7901 s Remaining CPU time: 154.21 s c =============================================================================== c | 0 | 2987 3167 476250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15571 c Elapsed CPU time: 26.106 s Remaining CPU time: 153.894 s c =============================================================================== c | 0 | 2987 3168 479100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15569 c Elapsed CPU time: 26.418 s Remaining CPU time: 153.582 s c =============================================================================== c | 0 | 2987 3169 481950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15566 c Elapsed CPU time: 26.7359 s Remaining CPU time: 153.264 s c =============================================================================== c | 0 | 2987 3170 484800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15564 c Elapsed CPU time: 27.0559 s Remaining CPU time: 152.944 s c =============================================================================== c | 0 | 2987 3171 487650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15563 c Elapsed CPU time: 27.3928 s Remaining CPU time: 152.607 s c =============================================================================== c | 0 | 2987 3172 490500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15562 c Elapsed CPU time: 27.7238 s Remaining CPU time: 152.276 s c =============================================================================== c | 0 | 2987 3173 493350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15561 c Elapsed CPU time: 28.0497 s Remaining CPU time: 151.95 s c =============================================================================== c | 0 | 2987 3174 496200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15560 c Elapsed CPU time: 28.3917 s Remaining CPU time: 151.608 s c =============================================================================== c | 0 | 2987 3175 499050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15558 c Elapsed CPU time: 28.7236 s Remaining CPU time: 151.276 s c =============================================================================== c | 0 | 2987 3176 501900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15557 c Elapsed CPU time: 29.0616 s Remaining CPU time: 150.938 s c =============================================================================== c | 0 | 2987 3177 504750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15556 c Elapsed CPU time: 29.3995 s Remaining CPU time: 150.6 s c =============================================================================== c | 0 | 2987 3178 507600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15555 c Elapsed CPU time: 29.7405 s Remaining CPU time: 150.26 s c =============================================================================== c | 0 | 2987 3179 510450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15553 c Elapsed CPU time: 30.0804 s Remaining CPU time: 149.92 s c =============================================================================== c | 0 | 2987 3180 513300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15552 c Elapsed CPU time: 30.4374 s Remaining CPU time: 149.563 s c =============================================================================== c | 0 | 2987 3181 516150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15550 c Elapsed CPU time: 30.7773 s Remaining CPU time: 149.223 s c =============================================================================== c | 0 | 2987 3182 519000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15549 c Elapsed CPU time: 31.1173 s Remaining CPU time: 148.883 s c =============================================================================== c | 0 | 2987 3183 521850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15546 c Elapsed CPU time: 31.4672 s Remaining CPU time: 148.533 s c =============================================================================== c | 0 | 2987 3184 524700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15544 c Elapsed CPU time: 31.8212 s Remaining CPU time: 148.179 s c =============================================================================== c | 0 | 2987 3185 527550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15540 c Elapsed CPU time: 32.1671 s Remaining CPU time: 147.833 s c =============================================================================== c | 0 | 2987 3186 530400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15539 c Elapsed CPU time: 32.5261 s Remaining CPU time: 147.474 s c =============================================================================== c | 0 | 2987 3187 533250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15538 c Elapsed CPU time: 32.891 s Remaining CPU time: 147.109 s c =============================================================================== c | 0 | 2987 3188 536100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15537 c Elapsed CPU time: 33.2389 s Remaining CPU time: 146.761 s c =============================================================================== c | 0 | 2987 3189 538950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15536 c Elapsed CPU time: 33.6059 s Remaining CPU time: 146.394 s c =============================================================================== c | 0 | 2987 3190 541800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15535 c Elapsed CPU time: 33.9718 s Remaining CPU time: 146.028 s c =============================================================================== c | 0 | 2987 3191 544650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15533 c Elapsed CPU time: 34.3328 s Remaining CPU time: 145.667 s c =============================================================================== c | 0 | 2987 3192 547500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15532 c Elapsed CPU time: 34.6937 s Remaining CPU time: 145.306 s c =============================================================================== c | 0 | 2987 3193 550350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15528 c Elapsed CPU time: 35.0537 s Remaining CPU time: 144.946 s c =============================================================================== c | 0 | 2987 3194 553200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15526 c Elapsed CPU time: 35.4166 s Remaining CPU time: 144.583 s c =============================================================================== c | 0 | 2987 3195 556050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15524 c Elapsed CPU time: 35.8036 s Remaining CPU time: 144.196 s c =============================================================================== c | 0 | 2987 3196 558900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15523 c Elapsed CPU time: 36.1915 s Remaining CPU time: 143.809 s c =============================================================================== c | 0 | 2987 3197 561750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15520 c Elapsed CPU time: 36.5764 s Remaining CPU time: 143.424 s c =============================================================================== c | 0 | 2987 3198 564600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15519 c Elapsed CPU time: 36.9694 s Remaining CPU time: 143.031 s c =============================================================================== c | 0 | 2987 3199 567450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15515 c Elapsed CPU time: 37.3513 s Remaining CPU time: 142.649 s c =============================================================================== c | 0 | 2987 3200 570300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15514 c Elapsed CPU time: 37.7443 s Remaining CPU time: 142.256 s c =============================================================================== c | 0 | 2987 3201 573150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15512 c Elapsed CPU time: 38.1322 s Remaining CPU time: 141.868 s c =============================================================================== c | 0 | 2987 3202 576000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15511 c Elapsed CPU time: 38.5381 s Remaining CPU time: 141.462 s c =============================================================================== c | 0 | 2987 3203 578850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15509 c Elapsed CPU time: 38.9361 s Remaining CPU time: 141.064 s c =============================================================================== c | 0 | 2987 3204 581700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15506 c Elapsed CPU time: 39.333 s Remaining CPU time: 140.667 s c =============================================================================== c | 0 | 2987 3205 584550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15505 c Elapsed CPU time: 39.727 s Remaining CPU time: 140.273 s c =============================================================================== c | 0 | 2987 3206 587400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15504 c Elapsed CPU time: 40.1349 s Remaining CPU time: 139.865 s c =============================================================================== c | 0 | 2987 3207 590250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15502 c Elapsed CPU time: 40.5478 s Remaining CPU time: 139.452 s c =============================================================================== c | 0 | 2987 3208 593100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15500 c Elapsed CPU time: 40.9558 s Remaining CPU time: 139.044 s c =============================================================================== c | 0 | 2987 3209 595950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15498 c Elapsed CPU time: 41.3687 s Remaining CPU time: 138.631 s c =============================================================================== c | 0 | 2987 3210 598800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15495 c Elapsed CPU time: 41.7816 s Remaining CPU time: 138.218 s c =============================================================================== c | 0 | 2987 3211 601650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15494 c Elapsed CPU time: 42.2006 s Remaining CPU time: 137.799 s c =============================================================================== c | 0 | 2987 3212 604500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15493 c Elapsed CPU time: 42.6175 s Remaining CPU time: 137.382 s c =============================================================================== c | 0 | 2987 3213 607350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15492 c Elapsed CPU time: 43.0475 s Remaining CPU time: 136.953 s c =============================================================================== c | 0 | 2987 3214 610200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15491 c Elapsed CPU time: 43.4834 s Remaining CPU time: 136.517 s c =============================================================================== c | 0 | 2987 3215 613050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15490 c Elapsed CPU time: 43.9093 s Remaining CPU time: 136.091 s c =============================================================================== c | 0 | 2987 3216 615900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15489 c Elapsed CPU time: 44.3433 s Remaining CPU time: 135.657 s c =============================================================================== c | 0 | 2987 3217 618750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15488 c Elapsed CPU time: 44.7662 s Remaining CPU time: 135.234 s c =============================================================================== c | 0 | 2987 3218 621600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15486 c Elapsed CPU time: 45.1911 s Remaining CPU time: 134.809 s c =============================================================================== c | 0 | 2987 3219 624450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15485 c Elapsed CPU time: 45.6161 s Remaining CPU time: 134.384 s c =============================================================================== c | 0 | 2987 3220 627300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15484 c Elapsed CPU time: 46.048 s Remaining CPU time: 133.952 s c =============================================================================== c | 0 | 2987 3221 630150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15483 c Elapsed CPU time: 46.4879 s Remaining CPU time: 133.512 s c =============================================================================== c | 0 | 2987 3222 633000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15482 c Elapsed CPU time: 46.9209 s Remaining CPU time: 133.079 s c =============================================================================== c | 0 | 2987 3223 635850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15480 c Elapsed CPU time: 47.3498 s Remaining CPU time: 132.65 s c =============================================================================== c | 0 | 2987 3224 638700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15479 c Elapsed CPU time: 47.7907 s Remaining CPU time: 132.209 s c =============================================================================== c | 0 | 2987 3225 641550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15478 c Elapsed CPU time: 48.2287 s Remaining CPU time: 131.771 s c =============================================================================== c | 0 | 2987 3226 644400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15477 c Elapsed CPU time: 48.6746 s Remaining CPU time: 131.325 s c =============================================================================== c | 0 | 2987 3227 647250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15476 c Elapsed CPU time: 49.1225 s Remaining CPU time: 130.877 s c =============================================================================== c | 0 | 2987 3228 650100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15475 c Elapsed CPU time: 49.5715 s Remaining CPU time: 130.429 s c =============================================================================== c | 0 | 2987 3229 652950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15474 c Elapsed CPU time: 50.0274 s Remaining CPU time: 129.973 s c =============================================================================== c | 0 | 2987 3230 655800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15472 c Elapsed CPU time: 50.4753 s Remaining CPU time: 129.525 s c =============================================================================== c | 0 | 2987 3231 658650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15471 c Elapsed CPU time: 50.9263 s Remaining CPU time: 129.074 s c =============================================================================== c | 0 | 2987 3232 661500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15467 c Elapsed CPU time: 51.3772 s Remaining CPU time: 128.623 s c =============================================================================== c | 0 | 2987 3233 664350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15466 c Elapsed CPU time: 51.8321 s Remaining CPU time: 128.168 s c =============================================================================== c | 0 | 2987 3234 667200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15462 c Elapsed CPU time: 52.295 s Remaining CPU time: 127.705 s c =============================================================================== c | 0 | 2987 3235 670050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15461 c Elapsed CPU time: 52.759 s Remaining CPU time: 127.241 s c =============================================================================== c | 0 | 2987 3236 672900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15460 c Elapsed CPU time: 53.2199 s Remaining CPU time: 126.78 s c =============================================================================== c | 0 | 2987 3237 675750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15458 c Elapsed CPU time: 53.6868 s Remaining CPU time: 126.313 s c =============================================================================== c | 0 | 2987 3238 678600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15457 c Elapsed CPU time: 54.1648 s Remaining CPU time: 125.835 s c =============================================================================== c | 0 | 2987 3239 681450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15456 c Elapsed CPU time: 54.6567 s Remaining CPU time: 125.343 s c =============================================================================== c | 0 | 2987 3240 684300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15455 c Elapsed CPU time: 55.1296 s Remaining CPU time: 124.87 s c =============================================================================== c | 0 | 2987 3241 687150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15454 c Elapsed CPU time: 55.6085 s Remaining CPU time: 124.391 s c =============================================================================== c | 0 | 2987 3242 690000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15453 c Elapsed CPU time: 56.0895 s Remaining CPU time: 123.911 s c =============================================================================== c | 0 | 2987 3243 692850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15451 c Elapsed CPU time: 56.5744 s Remaining CPU time: 123.426 s c =============================================================================== c | 0 | 2987 3244 695700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15450 c Elapsed CPU time: 57.0683 s Remaining CPU time: 122.932 s c =============================================================================== c | 0 | 2987 3245 698550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15449 c Elapsed CPU time: 57.5413 s Remaining CPU time: 122.459 s c =============================================================================== c | 0 | 2987 3246 701400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15447 c Elapsed CPU time: 58.0242 s Remaining CPU time: 121.976 s c =============================================================================== c | 0 | 2987 3247 704250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15446 c Elapsed CPU time: 58.5171 s Remaining CPU time: 121.483 s c =============================================================================== c | 0 | 2987 3248 707100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15445 c Elapsed CPU time: 59.001 s Remaining CPU time: 120.999 s c =============================================================================== c | 1 | 2987 3249 709950 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15444 c Elapsed CPU time: 59.487 s Remaining CPU time: 120.513 s c =============================================================================== c | 1 | 2987 3250 712800 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15442 c Elapsed CPU time: 59.9759 s Remaining CPU time: 120.024 s c =============================================================================== c | 1 | 2987 3251 715650 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15441 c Elapsed CPU time: 60.4628 s Remaining CPU time: 119.537 s c =============================================================================== c | 1 | 2987 3252 718500 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15440 c Elapsed CPU time: 60.9557 s Remaining CPU time: 119.044 s c =============================================================================== c | 1 | 2987 3253 721350 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15438 c Elapsed CPU time: 61.4607 s Remaining CPU time: 118.539 s c =============================================================================== c | 1 | 2987 3254 724200 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15437 c Elapsed CPU time: 61.9546 s Remaining CPU time: 118.045 s c =============================================================================== c | 1 | 2987 3255 727050 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15435 c Elapsed CPU time: 62.4485 s Remaining CPU time: 117.551 s c =============================================================================== c | 1 | 2987 3256 729900 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15434 c Elapsed CPU time: 62.9534 s Remaining CPU time: 117.047 s c =============================================================================== c | 1 | 2987 3257 732750 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15431 c Elapsed CPU time: 63.4474 s Remaining CPU time: 116.553 s c =============================================================================== c | 1 | 2987 3258 735600 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15430 c Elapsed CPU time: 63.9533 s Remaining CPU time: 116.047 s c =============================================================================== c | 1 | 2987 3259 738450 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15429 c Elapsed CPU time: 64.4732 s Remaining CPU time: 115.527 s c =============================================================================== c | 1 | 2987 3260 741300 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15428 c Elapsed CPU time: 65.0011 s Remaining CPU time: 114.999 s c =============================================================================== c | 1 | 2987 3261 744150 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15427 c Elapsed CPU time: 65.525 s Remaining CPU time: 114.475 s c =============================================================================== c | 1 | 2987 3262 747000 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15424 c Elapsed CPU time: 66.037 s Remaining CPU time: 113.963 s c =============================================================================== c | 1 | 2987 3263 749850 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15423 c Elapsed CPU time: 66.5889 s Remaining CPU time: 113.411 s c =============================================================================== c | 1 | 2987 3264 752700 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15422 c Elapsed CPU time: 67.1048 s Remaining CPU time: 112.895 s c =============================================================================== c | 1 | 2987 3265 755550 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15421 c Elapsed CPU time: 67.6257 s Remaining CPU time: 112.374 s c =============================================================================== c | 1 | 2987 3266 758400 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15420 c Elapsed CPU time: 68.1416 s Remaining CPU time: 111.858 s c =============================================================================== c | 1 | 2987 3267 761250 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15419 c Elapsed CPU time: 68.6716 s Remaining CPU time: 111.328 s c =============================================================================== c | 1 | 2987 3268 764100 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15418 c Elapsed CPU time: 69.2065 s Remaining CPU time: 110.794 s c =============================================================================== c | 1 | 2987 3269 766950 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15416 c Elapsed CPU time: 69.7344 s Remaining CPU time: 110.266 s c =============================================================================== c | 1 | 2987 3270 769800 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15415 c Elapsed CPU time: 70.2433 s Remaining CPU time: 109.757 s c =============================================================================== c | 1 | 2987 3271 772650 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15414 c Elapsed CPU time: 70.8072 s Remaining CPU time: 109.193 s c =============================================================================== c | 1 | 2987 3272 775500 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15413 c Elapsed CPU time: 71.3602 s Remaining CPU time: 108.64 s c =============================================================================== c | 1 | 2987 3273 778350 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15412 c Elapsed CPU time: 71.9221 s Remaining CPU time: 108.078 s c =============================================================================== c | 1 | 2987 3274 781200 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15411 c Elapsed CPU time: 72.463 s Remaining CPU time: 107.537 s c =============================================================================== c | 1 | 2987 3275 784050 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15410 c Elapsed CPU time: 72.9959 s Remaining CPU time: 107.004 s c =============================================================================== c | 1 | 2987 3276 786900 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15409 c Elapsed CPU time: 73.5508 s Remaining CPU time: 106.449 s c =============================================================================== c | 1 | 2987 3277 789750 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15406 c Elapsed CPU time: 74.0927 s Remaining CPU time: 105.907 s c =============================================================================== c | 1 | 2987 3278 792600 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15405 c Elapsed CPU time: 74.6507 s Remaining CPU time: 105.349 s c =============================================================================== c | 1 | 2987 3279 795450 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15402 c Elapsed CPU time: 75.1966 s Remaining CPU time: 104.803 s c =============================================================================== c | 1 | 2987 3280 798300 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15401 c Elapsed CPU time: 75.7505 s Remaining CPU time: 104.25 s c =============================================================================== c | 1 | 2987 3281 801150 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15400 c Elapsed CPU time: 76.3084 s Remaining CPU time: 103.692 s c =============================================================================== c | 1 | 2987 3282 804000 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15399 c Elapsed CPU time: 76.8563 s Remaining CPU time: 103.144 s c =============================================================================== c | 1 | 2987 3283 806850 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15398 c Elapsed CPU time: 77.4132 s Remaining CPU time: 102.587 s c =============================================================================== c | 1 | 2987 3284 809700 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15396 c Elapsed CPU time: 77.9491 s Remaining CPU time: 102.051 s c =============================================================================== c | 1 | 2987 3285 812550 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15395 c Elapsed CPU time: 78.5141 s Remaining CPU time: 101.486 s c =============================================================================== c | 1 | 2987 3286 815400 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15394 c Elapsed CPU time: 79.071 s Remaining CPU time: 100.929 s c =============================================================================== c | 1 | 2987 3287 818250 | 5000 1 2795 | 0.000 % | c =============================================================================== c New solution: 15393 c Elapsed CPU time: 79.6329 s Remaining CPU time: 100.367 s c =============================================================================== c | 2 | 2987 3288 821100 | 5000 2 2790 | 0.000 % | c =============================================================================== c New solution: 15392 c Elapsed CPU time: 80.1898 s Remaining CPU time: 99.8102 s c =============================================================================== c | 3 | 2987 3289 823950 | 5000 3 2789 | 0.000 % | c =============================================================================== c New solution: 15391 c Elapsed CPU time: 80.7777 s Remaining CPU time: 99.2223 s c =============================================================================== c | 4 | 2987 3290 826800 | 5000 4 2787 | 0.000 % | c =============================================================================== c New solution: 15390 c Elapsed CPU time: 81.3446 s Remaining CPU time: 98.6554 s c =============================================================================== c | 4 | 2987 3291 829650 | 5000 4 2787 | 0.000 % | c =============================================================================== c New solution: 15389 c Elapsed CPU time: 81.8985 s Remaining CPU time: 98.1015 s c =============================================================================== c | 5 | 2987 3292 832500 | 5000 5 2786 | 0.000 % | c =============================================================================== c New solution: 15388 c Elapsed CPU time: 82.4855 s Remaining CPU time: 97.5145 s c =============================================================================== c | 5 | 2987 3293 835350 | 5000 5 2786 | 0.000 % | c =============================================================================== c New solution: 15387 c Elapsed CPU time: 83.0744 s Remaining CPU time: 96.9256 s c =============================================================================== c | 5 | 2987 3294 838200 | 5000 5 2786 | 0.000 % | c =============================================================================== c New solution: 15386 c Elapsed CPU time: 83.6363 s Remaining CPU time: 96.3637 s c =============================================================================== c | 5 | 2987 3295 841050 | 5000 5 2786 | 0.000 % | c =============================================================================== c New solution: 15385 c Elapsed CPU time: 84.2122 s Remaining CPU time: 95.7878 s c =============================================================================== c | 6 | 2987 3296 843900 | 5000 6 2785 | 0.000 % | c =============================================================================== c New solution: 15384 c Elapsed CPU time: 84.7751 s Remaining CPU time: 95.2249 s c =============================================================================== c | 8 | 2987 3297 846750 | 5000 8 2784 | 0.000 % | c =============================================================================== c New solution: 15383 c Elapsed CPU time: 85.357 s Remaining CPU time: 94.643 s c =============================================================================== c | 8 | 2987 3298 849600 | 5000 8 2784 | 0.000 % | c =============================================================================== c New solution: 15382 c Elapsed CPU time: 85.9379 s Remaining CPU time: 94.0621 s c =============================================================================== c | 8 | 2987 3299 852450 | 5000 8 2784 | 0.000 % | c =============================================================================== c New solution: 15381 c Elapsed CPU time: 86.5098 s Remaining CPU time: 93.4902 s c =============================================================================== c | 8 | 2987 3300 855300 | 5000 8 2784 | 0.000 % | c =============================================================================== c New solution: 15380 c Elapsed CPU time: 87.0958 s Remaining CPU time: 92.9042 s c =============================================================================== c | 9 | 2987 3301 858150 | 5000 9 2475 | 0.000 % | c =============================================================================== c New solution: 15379 c Elapsed CPU time: 87.6787 s Remaining CPU time: 92.3213 s c =============================================================================== c | 11 | 2987 3302 861000 | 5000 11 2530 | 0.000 % | c =============================================================================== c New solution: 15378 c Elapsed CPU time: 88.2536 s Remaining CPU time: 91.7464 s c =============================================================================== c | 11 | 2987 3303 863850 | 5000 11 2530 | 0.000 % | c =============================================================================== c New solution: 15377 c Elapsed CPU time: 88.8405 s Remaining CPU time: 91.1595 s c =============================================================================== c | 12 | 2987 3304 866700 | 5000 12 2319 | 0.000 % | c =============================================================================== c New solution: 15376 c Elapsed CPU time: 89.4244 s Remaining CPU time: 90.5756 s c =============================================================================== c | 12 | 2987 3305 869550 | 5000 12 2319 | 0.000 % | c =============================================================================== c New solution: 15375 c Elapsed CPU time: 90.0053 s Remaining CPU time: 89.9947 s c =============================================================================== c | 16 | 2987 3306 872400 | 5000 16 2434 | 0.000 % | c =============================================================================== c New solution: 15374 c Elapsed CPU time: 90.5812 s Remaining CPU time: 89.4188 s c =============================================================================== c | 16 | 2987 3307 875250 | 5000 16 2434 | 0.000 % | c =============================================================================== c New solution: 15373 c Elapsed CPU time: 91.1631 s Remaining CPU time: 88.8369 s c =============================================================================== c | 16 | 2987 3308 878100 | 5000 16 2434 | 0.000 % | c =============================================================================== c New solution: 15372 c Elapsed CPU time: 91.802 s Remaining CPU time: 88.198 s c =============================================================================== c | 25 | 2987 3309 880950 | 5000 25 2558 | 0.000 % | c =============================================================================== c New solution: 15371 c Elapsed CPU time: 92.392 s Remaining CPU time: 87.608 s c =============================================================================== c | 25 | 2987 3310 883800 | 5000 25 2558 | 0.000 % | c =============================================================================== c New solution: 15370 c Elapsed CPU time: 92.9979 s Remaining CPU time: 87.0021 s c =============================================================================== c | 29 | 2987 3311 886650 | 5000 29 2588 | 0.000 % | c =============================================================================== c New solution: 15369 c Elapsed CPU time: 93.6088 s Remaining CPU time: 86.3912 s c =============================================================================== c | 29 | 2987 3312 889500 | 5000 29 2588 | 0.000 % | c =============================================================================== c New solution: 15368 c Elapsed CPU time: 94.2027 s Remaining CPU time: 85.7973 s c =============================================================================== c | 31 | 2987 3313 892350 | 5000 31 2600 | 0.000 % | c =============================================================================== c New solution: 15367 c Elapsed CPU time: 94.8106 s Remaining CPU time: 85.1894 s c =============================================================================== c | 31 | 2987 3314 895200 | 5000 31 2600 | 0.000 % | c =============================================================================== c New solution: 15366 c Elapsed CPU time: 95.4085 s Remaining CPU time: 84.5915 s c =============================================================================== c | 31 | 2987 3315 898050 | 5000 31 2600 | 0.000 % | c =============================================================================== c New solution: 15365 c Elapsed CPU time: 96.0294 s Remaining CPU time: 83.9706 s c =============================================================================== c | 33 | 2987 3316 900900 | 5000 33 2611 | 0.000 % | c =============================================================================== c New solution: 15364 c Elapsed CPU time: 96.6343 s Remaining CPU time: 83.3657 s c =============================================================================== c | 33 | 2987 3317 903750 | 5000 33 2611 | 0.000 % | c =============================================================================== c New solution: 15363 c Elapsed CPU time: 97.2422 s Remaining CPU time: 82.7578 s c =============================================================================== c | 36 | 2987 3318 906600 | 5000 36 2625 | 0.000 % | c =============================================================================== c New solution: 15362 c Elapsed CPU time: 97.8671 s Remaining CPU time: 82.1329 s c =============================================================================== c | 36 | 2987 3319 909450 | 5000 36 2625 | 0.000 % | c =============================================================================== c New solution: 15361 c Elapsed CPU time: 98.489 s Remaining CPU time: 81.511 s c =============================================================================== c | 36 | 2987 3320 912300 | 5000 36 2625 | 0.000 % | c =============================================================================== c New solution: 15360 c Elapsed CPU time: 99.0969 s Remaining CPU time: 80.9031 s c =============================================================================== c | 37 | 2987 3321 915150 | 5000 37 2629 | 0.000 % | c =============================================================================== c New solution: 15359 c Elapsed CPU time: 99.7238 s Remaining CPU time: 80.2762 s c =============================================================================== c | 37 | 2987 3322 918000 | 5000 37 2629 | 0.000 % | c =============================================================================== c New solution: 15358 c Elapsed CPU time: 100.333 s Remaining CPU time: 79.6673 s c =============================================================================== c | 37 | 2987 3323 920850 | 5000 37 2629 | 0.000 % | c =============================================================================== c New solution: 15357 c Elapsed CPU time: 100.958 s Remaining CPU time: 79.0423 s c =============================================================================== c | 39 | 2987 3324 923700 | 5000 39 2636 | 0.000 % | c =============================================================================== c New solution: 15356 c Elapsed CPU time: 101.595 s Remaining CPU time: 78.4054 s c =============================================================================== c | 39 | 2987 3325 926550 | 5000 39 2636 | 0.000 % | c =============================================================================== c New solution: 15355 c Elapsed CPU time: 102.216 s Remaining CPU time: 77.7835 s c =============================================================================== c | 43 | 2987 3326 929400 | 5000 43 2649 | 0.000 % | c =============================================================================== c New solution: 15354 c Elapsed CPU time: 102.828 s Remaining CPU time: 77.1716 s c =============================================================================== c | 43 | 2987 3327 932250 | 5000 43 2649 | 0.000 % | c =============================================================================== c New solution: 15353 c Elapsed CPU time: 103.445 s Remaining CPU time: 76.5547 s c =============================================================================== c | 43 | 2987 3328 935100 | 5000 43 2649 | 0.000 % | c =============================================================================== c New solution: 15352 c Elapsed CPU time: 104.077 s Remaining CPU time: 75.9228 s c =============================================================================== c | 44 | 2987 3329 937950 | 5000 44 2652 | 0.000 % | c =============================================================================== c New solution: 15351 c Elapsed CPU time: 104.689 s Remaining CPU time: 75.3109 s c =============================================================================== c | 44 | 2987 3330 940800 | 5000 44 2652 | 0.000 % | c =============================================================================== c New solution: 15350 c Elapsed CPU time: 105.316 s Remaining CPU time: 74.684 s c =============================================================================== c | 44 | 2987 3331 943650 | 5000 44 2652 | 0.000 % | c =============================================================================== c New solution: 15349 c Elapsed CPU time: 105.957 s Remaining CPU time: 74.0431 s c =============================================================================== c | 45 | 2987 3332 946500 | 5000 45 2655 | 0.000 % | c =============================================================================== c New solution: 15348 c Elapsed CPU time: 106.604 s Remaining CPU time: 73.3962 s c =============================================================================== c | 45 | 2987 3333 949350 | 5000 45 2655 | 0.000 % | c =============================================================================== c New solution: 15347 c Elapsed CPU time: 107.237 s Remaining CPU time: 72.7633 s c =============================================================================== c | 47 | 2987 3334 952200 | 5000 47 2660 | 0.000 % | c =============================================================================== c New solution: 15346 c Elapsed CPU time: 107.879 s Remaining CPU time: 72.1214 s c =============================================================================== c | 47 | 2987 3335 955050 | 5000 47 2660 | 0.000 % | c =============================================================================== c New solution: 15345 c Elapsed CPU time: 108.511 s Remaining CPU time: 71.4895 s c =============================================================================== c | 48 | 2987 3336 957900 | 5000 48 2662 | 0.000 % | c =============================================================================== c New solution: 15344 c Elapsed CPU time: 109.144 s Remaining CPU time: 70.8556 s c =============================================================================== c | 48 | 2987 3337 960750 | 5000 48 2662 | 0.000 % | c =============================================================================== c New solution: 15343 c Elapsed CPU time: 109.781 s Remaining CPU time: 70.2187 s c =============================================================================== c | 50 | 2987 3338 963600 | 5000 50 2667 | 0.000 % | c =============================================================================== c New solution: 15342 c Elapsed CPU time: 110.432 s Remaining CPU time: 69.5678 s c =============================================================================== c | 50 | 2987 3339 966450 | 5000 50 2667 | 0.000 % | c =============================================================================== c New solution: 15341 c Elapsed CPU time: 111.089 s Remaining CPU time: 68.9109 s c =============================================================================== c | 50 | 2987 3340 969300 | 5000 50 2667 | 0.000 % | c =============================================================================== c New solution: 15340 c Elapsed CPU time: 111.75 s Remaining CPU time: 68.25 s c =============================================================================== c | 50 | 2987 3341 972150 | 5000 50 2667 | 0.000 % | c =============================================================================== c New solution: 15339 c Elapsed CPU time: 112.407 s Remaining CPU time: 67.5931 s c =============================================================================== c | 50 | 2987 3342 975000 | 5000 50 2667 | 0.000 % | c =============================================================================== c New solution: 15338 c Elapsed CPU time: 113.07 s Remaining CPU time: 66.9302 s c =============================================================================== c | 50 | 2987 3343 977850 | 5000 50 2667 | 0.000 % | c =============================================================================== c New solution: 15337 c Elapsed CPU time: 113.734 s Remaining CPU time: 66.2663 s c =============================================================================== c | 54 | 2987 3344 980700 | 5000 54 2675 | 0.000 % | c =============================================================================== c New solution: 15336 c Elapsed CPU time: 114.409 s Remaining CPU time: 65.5914 s c =============================================================================== c | 57 | 2987 3345 983550 | 5000 57 2680 | 0.000 % | c =============================================================================== c New solution: 15335 c Elapsed CPU time: 115.072 s Remaining CPU time: 64.9285 s c =============================================================================== c | 57 | 2987 3346 986400 | 5000 57 2680 | 0.000 % | c =============================================================================== c New solution: 15334 c Elapsed CPU time: 115.752 s Remaining CPU time: 64.2476 s c =============================================================================== c | 57 | 2987 3347 989250 | 5000 57 2680 | 0.000 % | c =============================================================================== c New solution: 15333 c Elapsed CPU time: 116.419 s Remaining CPU time: 63.5807 s c =============================================================================== c | 57 | 2987 3348 992100 | 5000 57 2680 | 0.000 % | c =============================================================================== c New solution: 15332 c Elapsed CPU time: 117.111 s Remaining CPU time: 62.8888 s c =============================================================================== c | 57 | 2987 3349 994950 | 5000 57 2680 | 0.000 % | c =============================================================================== c New solution: 15331 c Elapsed CPU time: 117.772 s Remaining CPU time: 62.2279 s c =============================================================================== c | 57 | 2987 3350 997800 | 5000 57 2680 | 0.000 % | c =============================================================================== c New solution: 15330 c Elapsed CPU time: 118.451 s Remaining CPU time: 61.549 s c =============================================================================== c | 59 | 2987 3351 1000650 | 5000 59 2683 | 0.000 % | c =============================================================================== c New solution: 15329 c Elapsed CPU time: 119.147 s Remaining CPU time: 60.8531 s c =============================================================================== c | 59 | 2987 3352 1003500 | 5000 59 2683 | 0.000 % | c =============================================================================== c New solution: 15328 c Elapsed CPU time: 119.848 s Remaining CPU time: 60.1522 s c =============================================================================== c | 59 | 2987 3353 1006350 | 5000 59 2683 | 0.000 % | c =============================================================================== c New solution: 15327 c Elapsed CPU time: 120.551 s Remaining CPU time: 59.4493 s c =============================================================================== c | 59 | 2987 3354 1009200 | 5000 59 2683 | 0.000 % | c =============================================================================== c New solution: 15326 c Elapsed CPU time: 121.224 s Remaining CPU time: 58.7764 s c =============================================================================== c | 62 | 2987 3355 1012050 | 5000 62 2687 | 0.000 % | c =============================================================================== c New solution: 15325 c Elapsed CPU time: 121.899 s Remaining CPU time: 58.1005 s c =============================================================================== c | 62 | 2987 3356 1014900 | 5000 62 2687 | 0.000 % | c =============================================================================== c New solution: 15324 c Elapsed CPU time: 122.603 s Remaining CPU time: 57.3966 s c =============================================================================== c | 62 | 2987 3357 1017750 | 5000 62 2687 | 0.000 % | c =============================================================================== c New solution: 15323 c Elapsed CPU time: 123.286 s Remaining CPU time: 56.7137 s c =============================================================================== c | 62 | 2987 3358 1020600 | 5000 62 2687 | 0.000 % | c =============================================================================== c New solution: 15322 c Elapsed CPU time: 123.987 s Remaining CPU time: 56.0128 s c =============================================================================== c | 62 | 2987 3359 1023450 | 5000 62 2687 | 0.000 % | c =============================================================================== c New solution: 15321 c Elapsed CPU time: 124.689 s Remaining CPU time: 55.311 s c =============================================================================== c | 63 | 2987 3360 1026300 | 5000 63 2689 | 0.000 % | c =============================================================================== c New solution: 15320 c Elapsed CPU time: 125.391 s Remaining CPU time: 54.6091 s c =============================================================================== c | 63 | 2987 3361 1029150 | 5000 63 2689 | 0.000 % | c =============================================================================== c New solution: 15319 c Elapsed CPU time: 126.08 s Remaining CPU time: 53.9202 s c =============================================================================== c | 66 | 2987 3362 1032000 | 5000 66 2692 | 0.000 % | c =============================================================================== c New solution: 15318 c Elapsed CPU time: 126.78 s Remaining CPU time: 53.2203 s c =============================================================================== c | 66 | 2987 3363 1034850 | 5000 66 2692 | 0.000 % | c =============================================================================== c New solution: 15317 c Elapsed CPU time: 127.513 s Remaining CPU time: 52.4874 s c =============================================================================== c | 66 | 2987 3364 1037700 | 5000 66 2692 | 0.000 % | c =============================================================================== c New solution: 15316 c Elapsed CPU time: 128.241 s Remaining CPU time: 51.7595 s c =============================================================================== c | 67 | 2987 3365 1040550 | 5000 67 2693 | 0.000 % | c =============================================================================== c New solution: 15315 c Elapsed CPU time: 128.981 s Remaining CPU time: 51.0186 s c =============================================================================== c | 67 | 2987 3366 1043400 | 5000 67 2693 | 0.000 % | c =============================================================================== c New solution: 15314 c Elapsed CPU time: 129.723 s Remaining CPU time: 50.2767 s c =============================================================================== c | 67 | 2987 3367 1046250 | 5000 67 2693 | 0.000 % | c =============================================================================== c New solution: 15313 c Elapsed CPU time: 130.442 s Remaining CPU time: 49.5578 s c =============================================================================== c | 67 | 2987 3368 1049100 | 5000 67 2693 | 0.000 % | c =============================================================================== c New solution: 15312 c Elapsed CPU time: 131.194 s Remaining CPU time: 48.8059 s c =============================================================================== c | 67 | 2987 3369 1051950 | 5000 67 2693 | 0.000 % | c =============================================================================== c New solution: 15311 c Elapsed CPU time: 131.913 s Remaining CPU time: 48.0871 s c =============================================================================== c | 69 | 2987 3370 1054800 | 5000 69 2696 | 0.000 % | c =============================================================================== c New solution: 15310 c Elapsed CPU time: 132.663 s Remaining CPU time: 47.3372 s c =============================================================================== c | 69 | 2987 3371 1057650 | 5000 69 2696 | 0.000 % | c =============================================================================== c New solution: 15309 c Elapsed CPU time: 133.389 s Remaining CPU time: 46.6113 s c =============================================================================== c | 71 | 2987 3372 1060500 | 5000 71 2698 | 0.000 % | c =============================================================================== c New solution: 15308 c Elapsed CPU time: 134.122 s Remaining CPU time: 45.8784 s c =============================================================================== c | 71 | 2987 3373 1063350 | 5000 71 2698 | 0.000 % | c =============================================================================== c New solution: 15307 c Elapsed CPU time: 134.835 s Remaining CPU time: 45.1655 s c =============================================================================== c | 71 | 2987 3374 1066200 | 5000 71 2698 | 0.000 % | c =============================================================================== c New solution: 15306 c Elapsed CPU time: 135.554 s Remaining CPU time: 44.4456 s c =============================================================================== c | 71 | 2987 3375 1069050 | 5000 71 2698 | 0.000 % | c =============================================================================== c New solution: 15305 c Elapsed CPU time: 136.272 s Remaining CPU time: 43.7277 s c =============================================================================== c | 71 | 2987 3376 1071900 | 5000 71 2698 | 0.000 % | c =============================================================================== c New solution: 15304 c Elapsed CPU time: 136.993 s Remaining CPU time: 43.0068 s c =============================================================================== c | 83 | 2987 3377 1074750 | 5000 83 2708 | 0.000 % | c =============================================================================== c New solution: 15303 c Elapsed CPU time: 137.721 s Remaining CPU time: 42.2789 s c =============================================================================== c | 83 | 2987 3378 1077600 | 5000 83 2708 | 0.000 % | c =============================================================================== c New solution: 15302 c Elapsed CPU time: 138.449 s Remaining CPU time: 41.551 s c =============================================================================== c | 83 | 2987 3379 1080450 | 5000 83 2708 | 0.000 % | c =============================================================================== c New solution: 15301 c Elapsed CPU time: 139.173 s Remaining CPU time: 40.8272 s c =============================================================================== c | 83 | 2987 3380 1083300 | 5000 83 2708 | 0.000 % | c =============================================================================== c New solution: 15300 c Elapsed CPU time: 139.928 s Remaining CPU time: 40.0723 s c =============================================================================== c | 83 | 2987 3381 1086150 | 5000 83 2708 | 0.000 % | c =============================================================================== c New solution: 15299 c Elapsed CPU time: 140.713 s Remaining CPU time: 39.2874 s c =============================================================================== c | 83 | 2987 3382 1089000 | 5000 83 2708 | 0.000 % | c =============================================================================== c New solution: 15298 c Elapsed CPU time: 141.448 s Remaining CPU time: 38.5515 s c =============================================================================== c | 86 | 2987 3383 1091850 | 5000 86 2710 | 0.000 % | c =============================================================================== c New solution: 15297 c Elapsed CPU time: 142.229 s Remaining CPU time: 37.7706 s c =============================================================================== c | 86 | 2987 3384 1094700 | 5000 86 2710 | 0.000 % | c =============================================================================== c New solution: 15296 c Elapsed CPU time: 142.995 s Remaining CPU time: 37.0047 s c =============================================================================== c | 86 | 2987 3385 1097550 | 5000 86 2710 | 0.000 % | c =============================================================================== c New solution: 15295 c Elapsed CPU time: 143.775 s Remaining CPU time: 36.2249 s c =============================================================================== c | 87 | 2987 3386 1100400 | 5000 87 2711 | 0.000 % | c =============================================================================== c New solution: 15294 c Elapsed CPU time: 144.516 s Remaining CPU time: 35.484 s c =============================================================================== c | 87 | 2987 3387 1103250 | 5000 87 2711 | 0.000 % | c =============================================================================== c New solution: 15293 c Elapsed CPU time: 145.313 s Remaining CPU time: 34.6871 s c =============================================================================== c | 87 | 2987 3388 1106100 | 5000 87 2711 | 0.000 % | c =============================================================================== c New solution: 15292 c Elapsed CPU time: 146.064 s Remaining CPU time: 33.9362 s c =============================================================================== c | 89 | 2987 3389 1108950 | 5000 89 2712 | 0.000 % | c =============================================================================== c New solution: 15291 c Elapsed CPU time: 146.825 s Remaining CPU time: 33.1753 s c =============================================================================== c | 91 | 2987 3390 1111800 | 5000 91 2713 | 0.000 % | c =============================================================================== c New solution: 15290 c Elapsed CPU time: 147.646 s Remaining CPU time: 32.3544 s c =============================================================================== c | 92 | 2987 3391 1114650 | 5000 92 2714 | 0.000 % | c =============================================================================== c New solution: 15289 c Elapsed CPU time: 148.426 s Remaining CPU time: 31.5736 s c =============================================================================== c | 92 | 2987 3392 1117500 | 5000 92 2714 | 0.000 % | c =============================================================================== c New solution: 15288 c Elapsed CPU time: 149.218 s Remaining CPU time: 30.7817 s c =============================================================================== c | 92 | 2987 3393 1120350 | 5000 92 2714 | 0.000 % | c =============================================================================== c New solution: 15287 c Elapsed CPU time: 149.996 s Remaining CPU time: 30.0038 s c =============================================================================== c | 92 | 2987 3394 1123200 | 5000 92 2714 | 0.000 % | c =============================================================================== c New solution: 15286 c Elapsed CPU time: 150.774 s Remaining CPU time: 29.2259 s c =============================================================================== c | 94 | 2987 3395 1126050 | 5000 94 2715 | 0.000 % | c =============================================================================== c New solution: 15285 c Elapsed CPU time: 151.557 s Remaining CPU time: 28.443 s c =============================================================================== c | 94 | 2987 3396 1128900 | 5000 94 2715 | 0.000 % | c =============================================================================== c New solution: 15284 c Elapsed CPU time: 152.321 s Remaining CPU time: 27.6792 s c =============================================================================== c | 94 | 2987 3397 1131750 | 5000 94 2715 | 0.000 % | c =============================================================================== c New solution: 15283 c Elapsed CPU time: 153.116 s Remaining CPU time: 26.8843 s c =============================================================================== c | 94 | 2987 3398 1134600 | 5000 94 2715 | 0.000 % | c =============================================================================== c New solution: 15282 c Elapsed CPU time: 153.902 s Remaining CPU time: 26.0984 s c =============================================================================== c | 94 | 2987 3399 1137450 | 5000 94 2715 | 0.000 % | c =============================================================================== c New solution: 15281 c Elapsed CPU time: 154.698 s Remaining CPU time: 25.3015 s c =============================================================================== c | 94 | 2987 3400 1140300 | 5000 94 2715 | 0.000 % | c =============================================================================== c New solution: 15280 c Elapsed CPU time: 155.502 s Remaining CPU time: 24.4976 s c =============================================================================== c | 94 | 2987 3401 1143150 | 5000 94 2715 | 0.000 % | c =============================================================================== c New solution: 15279 c Elapsed CPU time: 156.288 s Remaining CPU time: 23.7118 s c =============================================================================== c | 94 | 2987 3402 1146000 | 5000 94 2715 | 0.000 % | c =============================================================================== c New solution: 15278 c Elapsed CPU time: 157.098 s Remaining CPU time: 22.9019 s c =============================================================================== c | 101 | 2987 3403 1148850 | 5000 101 2718 | 0.000 % | c =============================================================================== c New solution: 15277 c Elapsed CPU time: 157.876 s Remaining CPU time: 22.124 s c =============================================================================== c | 101 | 2987 3404 1151700 | 5000 101 2718 | 0.000 % | c =============================================================================== c New solution: 15276 c Elapsed CPU time: 158.662 s Remaining CPU time: 21.3381 s c =============================================================================== c | 101 | 2987 3405 1154550 | 5000 101 2718 | 0.000 % | c =============================================================================== c New solution: 15275 c Elapsed CPU time: 159.472 s Remaining CPU time: 20.5282 s c =============================================================================== c | 103 | 2987 3406 1157400 | 5000 103 2719 | 0.000 % | c =============================================================================== c New solution: 15274 c Elapsed CPU time: 160.299 s Remaining CPU time: 19.7014 s c =============================================================================== c | 106 | 2987 3407 1160250 | 5000 106 2720 | 0.000 % | c =============================================================================== c New solution: 15273 c Elapsed CPU time: 161.102 s Remaining CPU time: 18.8985 s c =============================================================================== c | 106 | 2987 3408 1163100 | 5000 106 2720 | 0.000 % | c =============================================================================== c New solution: 15272 c Elapsed CPU time: 161.9 s Remaining CPU time: 18.0996 s c =============================================================================== c | 107 | 2987 3409 1165950 | 5000 107 2720 | 0.000 % | c =============================================================================== c New solution: 15271 c Elapsed CPU time: 162.69 s Remaining CPU time: 17.3097 s c =============================================================================== c | 108 | 2987 3410 1168800 | 5000 108 2721 | 0.000 % | c =============================================================================== c New solution: 15270 c Elapsed CPU time: 163.486 s Remaining CPU time: 16.5139 s c =============================================================================== c | 108 | 2987 3411 1171650 | 5000 108 2721 | 0.000 % | c =============================================================================== c New solution: 15269 c Elapsed CPU time: 164.301 s Remaining CPU time: 15.699 s c =============================================================================== c | 108 | 2987 3412 1174500 | 5000 108 2721 | 0.000 % | c =============================================================================== c New solution: 15268 c Elapsed CPU time: 165.098 s Remaining CPU time: 14.9021 s c =============================================================================== c | 108 | 2987 3413 1177350 | 5000 108 2721 | 0.000 % | c =============================================================================== c New solution: 15267 c Elapsed CPU time: 165.882 s Remaining CPU time: 14.1182 s c =============================================================================== c | 108 | 2987 3414 1180200 | 5000 108 2721 | 0.000 % | c =============================================================================== c New solution: 15266 c Elapsed CPU time: 166.668 s Remaining CPU time: 13.3323 s c =============================================================================== c | 108 | 2987 3415 1183050 | 5000 108 2721 | 0.000 % | c =============================================================================== c New solution: 15265 c Elapsed CPU time: 167.482 s Remaining CPU time: 12.5185 s c =============================================================================== c | 108 | 2987 3416 1185900 | 5000 108 2721 | 0.000 % | c =============================================================================== c New solution: 15264 c Elapsed CPU time: 168.29 s Remaining CPU time: 11.7096 s c =============================================================================== c | 108 | 2987 3417 1188750 | 5000 108 2721 | 0.000 % | c =============================================================================== c New solution: 15263 c Elapsed CPU time: 169.09 s Remaining CPU time: 10.9097 s c =============================================================================== c | 108 | 2987 3418 1191600 | 5000 108 2721 | 0.000 % | c =============================================================================== c New solution: 15262 c Elapsed CPU time: 169.919 s Remaining CPU time: 10.0808 s c =============================================================================== c | 114 | 2987 3419 1194450 | 5000 114 2722 | 0.000 % | c =============================================================================== c New solution: 15261 c Elapsed CPU time: 170.753 s Remaining CPU time: 9.24696 s c =============================================================================== c | 115 | 2987 3420 1197300 | 5000 115 2723 | 0.000 % | c =============================================================================== c New solution: 15260 c Elapsed CPU time: 171.553 s Remaining CPU time: 8.44708 s c =============================================================================== c | 115 | 2987 3421 1200150 | 5000 115 2723 | 0.000 % | c =============================================================================== c New solution: 15259 c Elapsed CPU time: 172.34 s Remaining CPU time: 7.6602 s c =============================================================================== c | 115 | 2987 3422 1203000 | 5000 115 2723 | 0.000 % | c =============================================================================== c New solution: 15258 c Elapsed CPU time: 173.133 s Remaining CPU time: 6.86732 s c =============================================================================== c | 115 | 2987 3423 1205850 | 5000 115 2723 | 0.000 % | c =============================================================================== c New solution: 15257 c Elapsed CPU time: 173.962 s Remaining CPU time: 6.03845 s c =============================================================================== c | 115 | 2987 3424 1208700 | 5000 115 2723 | 0.000 % | c =============================================================================== c New solution: 15256 c Elapsed CPU time: 174.796 s Remaining CPU time: 5.20357 s c =============================================================================== c | 115 | 2987 3425 1211550 | 5000 115 2723 | 0.000 % | c =============================================================================== c New solution: 15255 c Elapsed CPU time: 175.618 s Remaining CPU time: 4.3817 s c =============================================================================== c | 115 | 2987 3426 1214400 | 5000 115 2723 | 0.000 % | c =============================================================================== c New solution: 15254 c Elapsed CPU time: 176.425 s Remaining CPU time: 3.57482 s c =============================================================================== c | 115 | 2987 3427 1217250 | 5000 115 2723 | 0.000 % | c =============================================================================== c New solution: 15253 c Elapsed CPU time: 177.274 s Remaining CPU time: 2.72595 s c =============================================================================== c | 115 | 2987 3428 1220100 | 5000 115 2723 | 0.000 % | c =============================================================================== c New solution: 15252 c Elapsed CPU time: 178.116 s Remaining CPU time: 1.88408 s c =============================================================================== c | 117 | 2987 3429 1222950 | 5000 117 2723 | 0.000 % | c =============================================================================== c New solution: 15251 c Elapsed CPU time: 178.94 s Remaining CPU time: 1.0602 s c =============================================================================== c | 117 | 2987 3430 1225800 | 5000 117 2723 | 0.000 % | c =============================================================================== c New solution: 15250 c Elapsed CPU time: 179.769 s Remaining CPU time: 0.231329 s c =============================================================================== c | 117 | 2987 3431 1228650 | 5000 117 2723 | 0.000 % | c There are 13 assigned variables. 2 in cost function.