c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 1308 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1049 | c | Number Clauses: 1133 | 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 | 1021 1161 3801 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 804 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 1021 1162 4665 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 802 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 1 | 1021 1163 5529 | 5000 1 790 | 0.000 % | c =============================================================================== c New solution: 801 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 1 | 1021 1164 6393 | 5000 1 790 | 0.000 % | c =============================================================================== c New solution: 800 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 2 | 1021 1165 7257 | 5000 2 788 | 0.000 % | c =============================================================================== c New solution: 799 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 2 | 1021 1166 8121 | 5000 2 788 | 0.000 % | c =============================================================================== c New solution: 798 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 2 | 1021 1167 8985 | 5000 2 788 | 0.000 % | c =============================================================================== c New solution: 797 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 2 | 1021 1168 9849 | 5000 2 788 | 0.000 % | c =============================================================================== c New solution: 796 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 2 | 1021 1169 10713 | 5000 2 788 | 0.000 % | c =============================================================================== c New solution: 795 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 2 | 1021 1170 11577 | 5000 2 788 | 0.000 % | c =============================================================================== c New solution: 794 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 3 | 1021 1171 12441 | 5000 3 786 | 0.000 % | c =============================================================================== c New solution: 793 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 3 | 1021 1172 13305 | 5000 3 786 | 0.000 % | c =============================================================================== c New solution: 792 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 3 | 1021 1173 14169 | 5000 3 786 | 0.000 % | c =============================================================================== c New solution: 791 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 4 | 1021 1174 15033 | 5000 4 785 | 0.000 % | c =============================================================================== c New solution: 790 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 4 | 1021 1175 15897 | 5000 4 785 | 0.000 % | c =============================================================================== c New solution: 789 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 4 | 1021 1176 16761 | 5000 4 785 | 0.000 % | c =============================================================================== c New solution: 788 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 9 | 1021 1177 17625 | 5000 9 780 | 0.000 % | c =============================================================================== c New solution: 787 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 9 | 1021 1178 18489 | 5000 9 780 | 0.000 % | c =============================================================================== c New solution: 786 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 10 | 1021 1179 19353 | 5000 10 779 | 0.000 % | c =============================================================================== c New solution: 785 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 12 | 1021 1180 20217 | 5000 12 778 | 0.000 % | c =============================================================================== c New solution: 784 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 13 | 1021 1181 21081 | 5000 13 778 | 0.000 % | c =============================================================================== c New solution: 783 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 14 | 1021 1182 21945 | 5000 14 777 | 0.000 % | c =============================================================================== c New solution: 782 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 16 | 1021 1183 22809 | 5000 16 776 | 0.000 % | c =============================================================================== c New solution: 781 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 16 | 1021 1184 23673 | 5000 16 776 | 0.000 % | c =============================================================================== c New solution: 780 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 16 | 1021 1185 24537 | 5000 16 776 | 0.000 % | c =============================================================================== c New solution: 779 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 17 | 1021 1186 25401 | 5000 17 776 | 0.000 % | c =============================================================================== c New solution: 778 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 18 | 1021 1187 26265 | 5000 18 775 | 0.000 % | c =============================================================================== c New solution: 777 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 19 | 1021 1188 27129 | 5000 19 775 | 0.000 % | c =============================================================================== c New solution: 776 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 20 | 1021 1189 27993 | 5000 20 774 | 0.000 % | c =============================================================================== c New solution: 775 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 21 | 1021 1190 28857 | 5000 21 774 | 0.000 % | c =============================================================================== c New solution: 774 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 22 | 1021 1191 29721 | 5000 22 773 | 0.000 % | c =============================================================================== c New solution: 773 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 23 | 1021 1192 30585 | 5000 23 773 | 0.000 % | c =============================================================================== c New solution: 772 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 23 | 1021 1193 31449 | 5000 23 773 | 0.000 % | c =============================================================================== c New solution: 771 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 24 | 1021 1194 32313 | 5000 24 772 | 0.000 % | c =============================================================================== c New solution: 770 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 25 | 1021 1195 33177 | 5000 25 741 | 0.000 % | c =============================================================================== c New solution: 769 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 26 | 1021 1196 34041 | 5000 26 742 | 0.000 % | c =============================================================================== c New solution: 768 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 34 | 1021 1197 34905 | 5000 34 723 | 0.000 % | c =============================================================================== c New solution: 767 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 75 | 1021 1198 35769 | 5000 75 739 | 0.000 % | c =============================================================================== c New solution: 766 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 82 | 1021 1199 36633 | 5000 82 740 | 0.000 % | c =============================================================================== c New solution: 765 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 86 | 1021 1200 37497 | 5000 86 741 | 0.000 % | c =============================================================================== c New solution: 764 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 113 | 1021 1201 38361 | 5000 113 744 | 0.000 % | c =============================================================================== c New solution: 763 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 119 | 1021 1202 39225 | 5000 119 744 | 0.000 % | c =============================================================================== c New solution: 762 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 124 | 1021 1203 40089 | 5000 124 744 | 0.000 % | c =============================================================================== c New solution: 761 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 137 | 1021 1204 40953 | 5000 137 745 | 0.000 % | c =============================================================================== c New solution: 760 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s c =============================================================================== c | 144 | 1021 1205 41817 | 5000 144 745 | 0.000 % | c =============================================================================== c New solution: 759 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 154 | 1021 1206 42681 | 5000 154 745 | 0.000 % | c =============================================================================== c New solution: 758 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 169 | 1021 1207 43545 | 5000 169 745 | 0.000 % | c =============================================================================== c New solution: 757 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 171 | 1021 1208 44409 | 5000 171 745 | 0.000 % | c =============================================================================== c New solution: 756 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 200 | 1021 1209 45273 | 5000 200 745 | 0.000 % | c =============================================================================== c New solution: 755 c Elapsed CPU time: 0.290955 s Remaining CPU time: 179.709 s c =============================================================================== c | 200 | 1021 1210 46137 | 5000 200 745 | 0.000 % | c =============================================================================== c New solution: 754 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 203 | 1021 1211 47001 | 5000 203 745 | 0.000 % | c =============================================================================== c New solution: 753 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 208 | 1021 1212 47865 | 5000 208 745 | 0.000 % | c =============================================================================== c New solution: 752 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 214 | 1021 1213 48729 | 5000 214 744 | 0.000 % | c =============================================================================== c New solution: 751 c Elapsed CPU time: 0.337948 s Remaining CPU time: 179.662 s c =============================================================================== c | 222 | 1021 1214 49593 | 5000 222 744 | 0.000 % | c =============================================================================== c New solution: 750 c Elapsed CPU time: 0.351946 s Remaining CPU time: 179.648 s c =============================================================================== c | 233 | 1021 1215 50457 | 5000 233 744 | 0.000 % | c =============================================================================== c New solution: 749 c Elapsed CPU time: 0.365944 s Remaining CPU time: 179.634 s c =============================================================================== c | 245 | 1021 1216 51321 | 5000 245 743 | 0.000 % | c =============================================================================== c New solution: 748 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s c =============================================================================== c | 252 | 1021 1217 52185 | 5000 252 743 | 0.000 % | c =============================================================================== c New solution: 747 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s c =============================================================================== c | 261 | 1021 1218 53049 | 5000 261 743 | 0.000 % | c =============================================================================== c New solution: 746 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s c =============================================================================== c | 267 | 1021 1219 53913 | 5000 267 743 | 0.000 % | c =============================================================================== c New solution: 745 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s c =============================================================================== c | 310 | 1021 1220 54777 | 5000 310 741 | 0.000 % | c =============================================================================== c New solution: 744 c Elapsed CPU time: 0.467928 s Remaining CPU time: 179.532 s c =============================================================================== c | 347 | 1021 1221 55641 | 5000 347 740 | 0.000 % | c =============================================================================== c New solution: 743 c Elapsed CPU time: 0.482926 s Remaining CPU time: 179.517 s c =============================================================================== c | 352 | 1021 1222 56505 | 5000 352 740 | 0.000 % | c =============================================================================== c New solution: 742 c Elapsed CPU time: 0.504923 s Remaining CPU time: 179.495 s c =============================================================================== c | 374 | 1021 1223 57369 | 5000 374 740 | 0.000 % | c =============================================================================== c New solution: 741 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s c =============================================================================== c | 384 | 1021 1224 58233 | 5000 384 739 | 0.000 % | c =============================================================================== c New solution: 740 c Elapsed CPU time: 0.538918 s Remaining CPU time: 179.461 s c =============================================================================== c | 387 | 1021 1225 59097 | 5000 387 739 | 0.000 % | c =============================================================================== c New solution: 739 c Elapsed CPU time: 0.555915 s Remaining CPU time: 179.444 s c =============================================================================== c | 404 | 1021 1226 59961 | 5000 404 739 | 0.000 % | c =============================================================================== c New solution: 738 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 415 | 1021 1227 60825 | 5000 415 738 | 0.000 % | c =============================================================================== c New solution: 737 c Elapsed CPU time: 0.616906 s Remaining CPU time: 179.383 s c =============================================================================== c | 486 | 1021 1228 61689 | 5000 486 736 | 0.000 % | c =============================================================================== c New solution: 736 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s c =============================================================================== c | 550 | 1021 1229 62553 | 5000 550 733 | 0.000 % | c =============================================================================== c New solution: 735 c Elapsed CPU time: 0.694894 s Remaining CPU time: 179.305 s c =============================================================================== c | 607 | 1021 1230 63417 | 5000 607 732 | 0.000 % | c =============================================================================== c New solution: 734 c Elapsed CPU time: 0.740887 s Remaining CPU time: 179.259 s c =============================================================================== c | 660 | 1021 1231 64281 | 5000 660 731 | 0.000 % | c =============================================================================== c New solution: 733 c Elapsed CPU time: 0.790879 s Remaining CPU time: 179.209 s c =============================================================================== c | 740 | 1021 1232 65145 | 5000 740 729 | 0.000 % | c | 840 | 1021 1232 65145 | 5500 840 728 | 2.670 % | c =============================================================================== c New solution: 732 c Elapsed CPU time: 0.868867 s Remaining CPU time: 179.131 s c =============================================================================== c | 849 | 1021 1233 66009 | 5000 849 728 | 2.670 % | c =============================================================================== c New solution: 731 c Elapsed CPU time: 0.904862 s Remaining CPU time: 179.095 s c =============================================================================== c | 889 | 1021 1234 66873 | 5000 889 727 | 2.670 % | c =============================================================================== c New solution: 730 c Elapsed CPU time: 0.965853 s Remaining CPU time: 179.034 s c =============================================================================== c | 948 | 1021 1235 67737 | 5000 948 726 | 2.670 % | c =============================================================================== c New solution: 729 c Elapsed CPU time: 0.991849 s Remaining CPU time: 179.008 s c =============================================================================== c | 958 | 1021 1236 68601 | 5000 958 726 | 2.670 % | c =============================================================================== c New solution: 728 c Elapsed CPU time: 1.01684 s Remaining CPU time: 178.983 s c =============================================================================== c | 971 | 1021 1237 69465 | 5000 971 726 | 2.670 % | c =============================================================================== c New solution: 727 c Elapsed CPU time: 1.04584 s Remaining CPU time: 178.954 s c =============================================================================== c | 999 | 1021 1238 70329 | 5000 999 726 | 2.670 % | c =============================================================================== c New solution: 726 c Elapsed CPU time: 1.09083 s Remaining CPU time: 178.909 s c =============================================================================== c | 1066 | 1021 1239 71193 | 5000 1066 725 | 2.670 % | c =============================================================================== c New solution: 725 c Elapsed CPU time: 1.12383 s Remaining CPU time: 178.876 s c =============================================================================== c | 1096 | 1021 1240 72057 | 5000 1096 725 | 2.670 % | c =============================================================================== c New solution: 724 c Elapsed CPU time: 1.15482 s Remaining CPU time: 178.845 s c =============================================================================== c | 1115 | 1021 1241 72921 | 5000 1115 724 | 2.670 % | c =============================================================================== c New solution: 723 c Elapsed CPU time: 1.18582 s Remaining CPU time: 178.814 s c =============================================================================== c | 1135 | 1021 1242 73785 | 5000 1135 724 | 2.670 % | c =============================================================================== c New solution: 722 c Elapsed CPU time: 1.20882 s Remaining CPU time: 178.791 s c =============================================================================== c | 1144 | 1021 1243 74649 | 5000 1144 724 | 2.670 % | c | 1245 | 1021 1243 74649 | 5500 1245 723 | 2.670 % | c | 1395 | 1021 1243 74649 | 6050 1395 721 | 2.670 % | c =============================================================================== c New solution: 721 c Elapsed CPU time: 1.42878 s Remaining CPU time: 178.571 s c =============================================================================== c | 1427 | 1021 1244 75513 | 5000 1427 721 | 2.670 % | c | 1528 | 1021 1244 75513 | 5500 1528 720 | 2.669 % | c =============================================================================== c New solution: 720 c Elapsed CPU time: 1.54476 s Remaining CPU time: 178.455 s c =============================================================================== c | 1569 | 1021 1245 76377 | 5000 1569 719 | 2.669 % | c =============================================================================== c New solution: 719 c Elapsed CPU time: 1.60676 s Remaining CPU time: 178.393 s c =============================================================================== c | 1656 | 1021 1246 77241 | 5000 1656 719 | 2.669 % | c =============================================================================== c New solution: 718 c Elapsed CPU time: 1.64775 s Remaining CPU time: 178.352 s c =============================================================================== c | 1696 | 1021 1247 78105 | 5000 1696 718 | 2.669 % | c | 1796 | 1021 1247 78105 | 5500 1796 718 | 2.669 % | c =============================================================================== c New solution: 717 c Elapsed CPU time: 1.81772 s Remaining CPU time: 178.182 s c =============================================================================== c | 1927 | 1021 1248 78969 | 5000 1927 717 | 2.669 % | c =============================================================================== c New solution: 716 c Elapsed CPU time: 1.87971 s Remaining CPU time: 178.12 s c =============================================================================== c | 1999 | 1021 1249 79833 | 5000 1999 716 | 2.669 % | c =============================================================================== c New solution: 715 c Elapsed CPU time: 1.91771 s Remaining CPU time: 178.082 s c =============================================================================== c | 2048 | 1021 1250 80697 | 5000 2048 716 | 2.669 % | c | 2148 | 1021 1250 80697 | 5500 2148 715 | 2.669 % | c =============================================================================== c New solution: 714 c Elapsed CPU time: 2.04069 s Remaining CPU time: 177.959 s c =============================================================================== c | 2196 | 1021 1251 81561 | 5000 2196 715 | 2.669 % | c | 2296 | 1021 1251 81561 | 5500 2296 714 | 2.669 % | c | 2448 | 1021 1251 81561 | 6050 2448 713 | 2.669 % | c =============================================================================== c New solution: 713 c Elapsed CPU time: 2.28765 s Remaining CPU time: 177.712 s c =============================================================================== c | 2513 | 1021 1252 82425 | 5000 2513 713 | 2.669 % | c =============================================================================== c New solution: 712 c Elapsed CPU time: 2.33864 s Remaining CPU time: 177.661 s c =============================================================================== c | 2551 | 1021 1253 83289 | 5000 2551 713 | 2.669 % | c | 2653 | 1021 1253 83289 | 5500 2653 712 | 2.669 % | c =============================================================================== c New solution: 711 c Elapsed CPU time: 2.55361 s Remaining CPU time: 177.446 s c =============================================================================== c | 2750 | 1021 1254 84153 | 5000 2750 712 | 2.669 % | c | 2850 | 1021 1254 84153 | 5500 2850 711 | 2.669 % | c =============================================================================== c New solution: 710 c Elapsed CPU time: 2.73758 s Remaining CPU time: 177.262 s c =============================================================================== c | 2956 | 1021 1255 85017 | 5000 2956 710 | 2.669 % | c | 3056 | 1021 1255 85017 | 5500 3056 710 | 2.669 % | c =============================================================================== c New solution: 709 c Elapsed CPU time: 2.88256 s Remaining CPU time: 177.117 s c =============================================================================== c | 3106 | 1021 1256 85881 | 5000 3106 710 | 2.669 % | c =============================================================================== c New solution: 708 c Elapsed CPU time: 2.91556 s Remaining CPU time: 177.084 s c =============================================================================== c | 3122 | 1021 1257 86745 | 5000 3122 709 | 2.669 % | c | 3222 | 1021 1257 86745 | 5500 3222 709 | 2.669 % | c =============================================================================== c New solution: 707 c Elapsed CPU time: 3.05354 s Remaining CPU time: 176.946 s c =============================================================================== c | 3240 | 1021 1258 87609 | 5000 3240 709 | 2.669 % | c | 3340 | 1021 1258 87609 | 5500 3340 708 | 2.669 % | c =============================================================================== c New solution: 706 c Elapsed CPU time: 3.23551 s Remaining CPU time: 176.764 s c =============================================================================== c | 3402 | 1021 1259 88473 | 5000 3402 708 | 2.669 % | c | 3502 | 1021 1259 88473 | 5500 3502 708 | 2.669 % | c | 3653 | 1021 1259 88473 | 6050 3653 707 | 2.669 % | c =============================================================================== c New solution: 705 c Elapsed CPU time: 3.59045 s Remaining CPU time: 176.41 s c =============================================================================== c | 3765 | 1021 1260 89337 | 5000 3765 707 | 2.669 % | c =============================================================================== c New solution: 704 c Elapsed CPU time: 3.67744 s Remaining CPU time: 176.323 s c =============================================================================== c | 3824 | 1021 1261 90201 | 5000 3824 706 | 2.669 % | c =============================================================================== c New solution: 703 c Elapsed CPU time: 3.72043 s Remaining CPU time: 176.28 s c =============================================================================== c | 3850 | 1021 1262 91065 | 5000 3850 706 | 2.669 % | c =============================================================================== c New solution: 702 c Elapsed CPU time: 3.74943 s Remaining CPU time: 176.251 s c =============================================================================== c | 3853 | 1021 1263 91929 | 5000 3853 706 | 2.669 % | c =============================================================================== c New solution: 701 c Elapsed CPU time: 3.83242 s Remaining CPU time: 176.168 s c =============================================================================== c | 3947 | 1021 1264 92793 | 5000 3947 706 | 2.669 % | c =============================================================================== c New solution: 700 c Elapsed CPU time: 3.9554 s Remaining CPU time: 176.045 s c =============================================================================== c | 4043 | 1021 1265 93657 | 5000 4043 705 | 2.669 % | c | 4143 | 1021 1265 93657 | 5500 4143 705 | 2.669 % | c =============================================================================== c New solution: 699 c Elapsed CPU time: 4.18636 s Remaining CPU time: 175.814 s c =============================================================================== c | 4227 | 1021 1266 94521 | 5000 4227 704 | 2.669 % | c | 4327 | 1021 1266 94521 | 5500 4327 704 | 2.670 % | c | 4478 | 1021 1266 94521 | 6050 4478 703 | 2.670 % | c =============================================================================== c New solution: 698 c Elapsed CPU time: 4.53231 s Remaining CPU time: 175.468 s c =============================================================================== c | 4542 | 1021 1267 95385 | 5000 4542 703 | 2.670 % | c =============================================================================== c New solution: 697 c Elapsed CPU time: 4.5923 s Remaining CPU time: 175.408 s c =============================================================================== c | 4587 | 1021 1268 96249 | 5000 4587 703 | 2.670 % | c | 4687 | 1021 1268 96249 | 5500 4687 702 | 2.670 % | c | 4837 | 1021 1268 96249 | 6050 4837 702 | 2.670 % | c | 5064 | 1021 1268 96249 | 6655 5064 701 | 2.669 % | c | 5401 | 1021 1268 96249 | 7320 5401 700 | 2.669 % | c =============================================================================== c New solution: 696 c Elapsed CPU time: 5.41518 s Remaining CPU time: 174.585 s c =============================================================================== c | 5509 | 1021 1269 97113 | 5000 5509 699 | 2.669 % | c | 5609 | 1021 1269 97113 | 5500 2855 686 | 2.670 % | c | 5759 | 1021 1269 97113 | 6050 3005 686 | 2.670 % | c =============================================================================== c New solution: 695 c Elapsed CPU time: 5.84011 s Remaining CPU time: 174.16 s c =============================================================================== c | 5896 | 1021 1270 97977 | 5000 3142 686 | 2.670 % | c | 5998 | 1021 1270 97977 | 5500 3244 686 | 2.670 % | c =============================================================================== c New solution: 694 c Elapsed CPU time: 6.07208 s Remaining CPU time: 173.928 s c =============================================================================== c | 6099 | 1021 1271 98841 | 5000 3345 685 | 2.670 % | c | 6199 | 1021 1271 98841 | 5500 3445 685 | 2.670 % | c =============================================================================== c New solution: 693 c Elapsed CPU time: 6.32404 s Remaining CPU time: 173.676 s c =============================================================================== c | 6308 | 1021 1272 99705 | 5000 3554 685 | 2.670 % | c =============================================================================== c New solution: 692 c Elapsed CPU time: 6.42202 s Remaining CPU time: 173.578 s c =============================================================================== c | 6385 | 1021 1273 100569 | 5000 3631 685 | 2.670 % | c =============================================================================== c New solution: 691 c Elapsed CPU time: 6.52201 s Remaining CPU time: 173.478 s c =============================================================================== c | 6479 | 1021 1274 101433 | 5000 3725 685 | 2.670 % | c | 6581 | 1021 1274 101433 | 5500 3827 684 | 2.669 % | c | 6732 | 1021 1274 101433 | 6050 3978 684 | 2.669 % | c =============================================================================== c New solution: 690 c Elapsed CPU time: 6.89595 s Remaining CPU time: 173.104 s c =============================================================================== c | 6792 | 1021 1275 102297 | 5000 4038 684 | 2.669 % | c =============================================================================== c New solution: 689 c Elapsed CPU time: 7.02393 s Remaining CPU time: 172.976 s c =============================================================================== c | 6885 | 1021 1276 103161 | 5000 4131 684 | 2.669 % | c | 6985 | 1021 1276 103161 | 5500 4231 683 | 2.670 % | c | 7136 | 1021 1276 103161 | 6050 4382 683 | 2.670 % | c =============================================================================== c New solution: 688 c Elapsed CPU time: 7.39787 s Remaining CPU time: 172.602 s c =============================================================================== c | 7165 | 1021 1277 104025 | 5000 4411 683 | 2.670 % | c | 7265 | 1021 1277 104025 | 5500 4511 683 | 2.670 % | c =============================================================================== c New solution: 687 c Elapsed CPU time: 7.69283 s Remaining CPU time: 172.307 s c =============================================================================== c | 7376 | 1021 1278 104889 | 5000 4622 683 | 2.670 % | c =============================================================================== c New solution: 686 c Elapsed CPU time: 7.75482 s Remaining CPU time: 172.245 s c =============================================================================== c | 7404 | 1021 1279 105753 | 5000 4650 682 | 2.670 % | c | 7504 | 1021 1279 105753 | 5500 4750 682 | 2.670 % | c =============================================================================== c New solution: 685 c Elapsed CPU time: 8.08977 s Remaining CPU time: 171.91 s c =============================================================================== c | 7645 | 1021 1280 106617 | 5000 4891 682 | 2.670 % | c | 7746 | 1021 1280 106617 | 5500 4992 682 | 2.669 % | c =============================================================================== c New solution: 684 c Elapsed CPU time: 8.28274 s Remaining CPU time: 171.717 s c =============================================================================== c | 7768 | 1021 1281 107481 | 5000 5014 682 | 2.669 % | c | 7868 | 1021 1281 107481 | 5500 5114 681 | 2.670 % | c | 8018 | 1021 1281 107481 | 6050 5264 681 | 2.669 % | c | 8245 | 1021 1281 107481 | 6655 5491 681 | 2.669 % | c | 8583 | 1021 1281 107481 | 7320 5829 680 | 2.669 % | c =============================================================================== c New solution: 683 c Elapsed CPU time: 9.48056 s Remaining CPU time: 170.519 s c =============================================================================== c | 8699 | 1021 1282 108345 | 5000 5945 680 | 2.669 % | c =============================================================================== c New solution: 682 c Elapsed CPU time: 9.58554 s Remaining CPU time: 170.414 s c =============================================================================== c | 8757 | 1021 1283 109209 | 5000 3031 673 | 2.669 % | c | 8857 | 1021 1283 109209 | 5500 3131 673 | 2.669 % | c =============================================================================== c New solution: 681 c Elapsed CPU time: 9.90949 s Remaining CPU time: 170.091 s c =============================================================================== c | 8995 | 1021 1284 110073 | 5000 3269 673 | 2.669 % | c | 9097 | 1021 1284 110073 | 5500 3371 672 | 2.669 % | c | 9247 | 1021 1284 110073 | 6050 3521 672 | 2.669 % | c | 9472 | 1021 1284 110073 | 6655 3746 672 | 2.669 % | c =============================================================================== c New solution: 680 c Elapsed CPU time: 10.6704 s Remaining CPU time: 169.33 s c =============================================================================== c | 9635 | 1021 1285 110937 | 5000 3909 672 | 2.669 % | c | 9736 | 1021 1285 110937 | 5500 4010 672 | 2.669 % | c | 9886 | 1021 1285 110937 | 6050 4160 671 | 2.669 % | c | 10111 | 1021 1285 110937 | 6655 4385 671 | 2.669 % | c =============================================================================== c New solution: 679 c Elapsed CPU time: 11.2673 s Remaining CPU time: 168.733 s c =============================================================================== c | 10160 | 1021 1286 111801 | 5000 4434 671 | 2.669 % | c =============================================================================== c New solution: 678 c Elapsed CPU time: 11.3843 s Remaining CPU time: 168.616 s c =============================================================================== c | 10248 | 1021 1287 112665 | 5000 4522 671 | 2.669 % | c | 10349 | 1021 1287 112665 | 5500 4623 671 | 2.669 % | c =============================================================================== c New solution: 677 c Elapsed CPU time: 11.6322 s Remaining CPU time: 168.368 s c =============================================================================== c | 10435 | 1021 1288 113529 | 5000 4709 670 | 2.669 % | c | 10538 | 1021 1288 113529 | 5500 4812 670 | 2.669 % | c | 10689 | 1021 1288 113529 | 6050 4963 670 | 2.669 % | c =============================================================================== c New solution: 676 c Elapsed CPU time: 12.0202 s Remaining CPU time: 167.98 s c =============================================================================== c | 10743 | 1021 1289 114393 | 5000 5017 670 | 2.669 % | c =============================================================================== c New solution: 675 c Elapsed CPU time: 12.1442 s Remaining CPU time: 167.856 s c =============================================================================== c | 10838 | 1021 1290 115257 | 5000 5112 670 | 2.669 % | c =============================================================================== c New solution: 674 c Elapsed CPU time: 12.2101 s Remaining CPU time: 167.79 s c =============================================================================== c | 10863 | 1021 1291 116121 | 5000 2581 665 | 2.669 % | c | 10963 | 1021 1291 116121 | 5500 2681 665 | 2.670 % | c =============================================================================== c New solution: 673 c Elapsed CPU time: 12.5251 s Remaining CPU time: 167.475 s c =============================================================================== c | 11082 | 1021 1292 116985 | 5000 2800 665 | 2.670 % | c =============================================================================== c New solution: 672 c Elapsed CPU time: 12.6081 s Remaining CPU time: 167.392 s c =============================================================================== c | 11124 | 1021 1293 117849 | 5000 2842 665 | 2.670 % | c =============================================================================== c New solution: 671 c Elapsed CPU time: 12.7041 s Remaining CPU time: 167.296 s c =============================================================================== c | 11199 | 1021 1294 118713 | 5000 2917 665 | 2.670 % | c | 11299 | 1021 1294 118713 | 5500 3017 664 | 2.669 % | c | 11449 | 1021 1294 118713 | 6050 3167 664 | 2.669 % | c | 11674 | 1021 1294 118713 | 6655 3392 663 | 2.669 % | c =============================================================================== c New solution: 670 c Elapsed CPU time: 13.375 s Remaining CPU time: 166.625 s c =============================================================================== c | 11726 | 1021 1295 119577 | 5000 3444 663 | 2.669 % | c =============================================================================== c New solution: 669 c Elapsed CPU time: 13.427 s Remaining CPU time: 166.573 s c =============================================================================== c | 11739 | 1021 1296 120441 | 5000 3457 663 | 2.669 % | c =============================================================================== c New solution: 668 c Elapsed CPU time: 13.5299 s Remaining CPU time: 166.47 s c =============================================================================== c | 11792 | 1021 1297 121305 | 5000 3510 663 | 2.669 % | c =============================================================================== c New solution: 667 c Elapsed CPU time: 13.6519 s Remaining CPU time: 166.348 s c =============================================================================== c | 11865 | 1021 1298 122169 | 5000 3583 663 | 2.669 % | c =============================================================================== c New solution: 666 c Elapsed CPU time: 13.7659 s Remaining CPU time: 166.234 s c =============================================================================== c | 11935 | 1021 1299 123033 | 5000 3653 663 | 2.669 % | c =============================================================================== c New solution: 665 c Elapsed CPU time: 13.8479 s Remaining CPU time: 166.152 s c =============================================================================== c | 11980 | 1021 1300 123897 | 5000 3698 663 | 2.669 % | c =============================================================================== c New solution: 664 c Elapsed CPU time: 13.9069 s Remaining CPU time: 166.093 s c =============================================================================== c | 12002 | 1021 1301 124761 | 5000 3720 663 | 2.669 % | c | 12102 | 1021 1301 124761 | 5500 3820 662 | 2.669 % | c =============================================================================== c New solution: 663 c Elapsed CPU time: 14.1968 s Remaining CPU time: 165.803 s c =============================================================================== c | 12193 | 1021 1302 125625 | 5000 3911 662 | 2.669 % | c | 12293 | 1021 1302 125625 | 5500 4011 662 | 2.669 % | c =============================================================================== c New solution: 662 c Elapsed CPU time: 14.5328 s Remaining CPU time: 165.467 s c =============================================================================== c | 12434 | 1021 1303 126489 | 5000 4152 661 | 2.669 % | c | 12536 | 1021 1303 126489 | 5500 4254 661 | 2.669 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 14.7728 s Remaining CPU time: 165.227 s c =============================================================================== c | 12576 | 1021 1304 127353 | 5000 4294 661 | 2.669 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 14.9167 s Remaining CPU time: 165.083 s c =============================================================================== c | 12663 | 1021 1305 128217 | 5000 4381 660 | 2.669 % | c =============================================================================== c New solution: 659 c Elapsed CPU time: 15.0047 s Remaining CPU time: 164.995 s c =============================================================================== c | 12712 | 1021 1306 129081 | 5000 4430 660 | 2.669 % | c | 12812 | 1021 1306 129081 | 5500 4530 660 | 2.670 % | c | 12964 | 1021 1306 129081 | 6050 4682 659 | 2.670 % | c =============================================================================== c New solution: 658 c Elapsed CPU time: 15.5176 s Remaining CPU time: 164.482 s c =============================================================================== c | 13030 | 1021 1307 129945 | 5000 4748 659 | 2.670 % | c | 13130 | 1021 1307 129945 | 5500 4848 659 | 2.670 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 15.8686 s Remaining CPU time: 164.131 s c =============================================================================== c | 13245 | 1021 1308 130809 | 5000 4963 659 | 2.670 % | c | 13345 | 1021 1308 130809 | 5500 5063 658 | 2.670 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 16.2055 s Remaining CPU time: 163.794 s c =============================================================================== c | 13491 | 1021 1309 131673 | 5000 5209 658 | 2.670 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 16.2915 s Remaining CPU time: 163.708 s c =============================================================================== c | 13533 | 1021 1310 132537 | 5000 2647 649 | 2.670 % | c | 13634 | 1021 1310 132537 | 5500 2748 649 | 2.670 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 16.5215 s Remaining CPU time: 163.479 s c =============================================================================== c | 13660 | 1021 1311 133401 | 5000 2774 649 | 2.670 % | c | 13761 | 1021 1311 133401 | 5500 2875 648 | 2.670 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 16.7944 s Remaining CPU time: 163.206 s c =============================================================================== c | 13810 | 1021 1312 134265 | 5000 2924 648 | 2.670 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 16.8984 s Remaining CPU time: 163.102 s c =============================================================================== c | 13865 | 1021 1313 135129 | 5000 2979 648 | 2.670 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 17.0414 s Remaining CPU time: 162.959 s c =============================================================================== c | 13949 | 1021 1314 135993 | 5000 3063 648 | 2.670 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 17.1094 s Remaining CPU time: 162.891 s c =============================================================================== c | 13969 | 1021 1315 136857 | 5000 3083 648 | 2.670 % | c | 14072 | 1021 1315 136857 | 5500 3186 647 | 2.670 % | c | 14224 | 1021 1315 136857 | 6050 3338 647 | 2.670 % | c | 14449 | 1021 1315 136857 | 6655 3563 646 | 2.669 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 17.9823 s Remaining CPU time: 162.018 s c =============================================================================== c | 14565 | 1021 1316 137721 | 5000 3679 646 | 2.669 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 18.0982 s Remaining CPU time: 161.902 s c =============================================================================== c | 14626 | 1021 1317 138585 | 5000 3740 645 | 2.669 % | c | 14727 | 1021 1317 138585 | 5500 3841 645 | 2.669 % | c | 14877 | 1021 1317 138585 | 6050 3991 645 | 2.669 % | c | 15103 | 1021 1317 138585 | 6655 4217 644 | 2.669 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 19.1911 s Remaining CPU time: 160.809 s c =============================================================================== c | 15357 | 1021 1318 139449 | 5000 4471 644 | 2.669 % | c | 15458 | 1021 1318 139449 | 5500 4572 643 | 2.669 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 19.57 s Remaining CPU time: 160.43 s c =============================================================================== c | 15592 | 1021 1319 140313 | 5000 4706 643 | 2.669 % | c | 15694 | 1021 1319 140313 | 5500 4808 643 | 2.669 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 19.897 s Remaining CPU time: 160.103 s c =============================================================================== c | 15753 | 1021 1320 141177 | 5000 4867 643 | 2.669 % | c | 15853 | 1021 1320 141177 | 5500 4967 643 | 2.669 % | c | 16003 | 1021 1320 141177 | 6050 5117 642 | 2.669 % | c | 16229 | 1021 1320 141177 | 6655 5343 642 | 2.669 % | c | 16566 | 1021 1320 141177 | 7320 5680 641 | 2.669 % | c | 17073 | 1021 1320 141177 | 8052 6187 641 | 2.670 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 22.8505 s Remaining CPU time: 157.149 s c =============================================================================== c | 17730 | 1021 1321 142041 | 5000 6844 640 | 2.670 % | c | 17830 | 1021 1321 142041 | 5500 3522 632 | 2.670 % | c | 17980 | 1021 1321 142041 | 6050 3672 632 | 2.669 % | c | 18205 | 1021 1321 142041 | 6655 3897 632 | 2.670 % | c | 18544 | 1021 1321 142041 | 7320 4236 632 | 2.670 % | c | 19053 | 1021 1321 142041 | 8052 4745 632 | 2.669 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 25.5511 s Remaining CPU time: 154.449 s c =============================================================================== c | 19618 | 1021 1322 142905 | 5000 5310 632 | 2.669 % | c | 19719 | 1021 1322 142905 | 5500 2756 630 | 2.669 % | c | 19869 | 1021 1322 142905 | 6050 2906 630 | 2.669 % | c | 20095 | 1021 1322 142905 | 6655 3132 630 | 2.669 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 26.7119 s Remaining CPU time: 153.288 s c =============================================================================== c | 20410 | 1021 1323 143769 | 5000 3447 630 | 2.669 % | c | 20510 | 1021 1323 143769 | 5500 3547 630 | 2.669 % | c | 20660 | 1021 1323 143769 | 6050 3697 630 | 2.669 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 27.3168 s Remaining CPU time: 152.683 s c =============================================================================== c | 20785 | 1021 1324 144633 | 5000 3822 630 | 2.669 % | c | 20886 | 1021 1324 144633 | 5500 3923 630 | 2.669 % | c | 21037 | 1021 1324 144633 | 6050 4074 630 | 2.669 % | c | 21262 | 1021 1324 144633 | 6655 4299 630 | 2.669 % | c | 21599 | 1021 1324 144633 | 7320 4636 630 | 2.669 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 28.5527 s Remaining CPU time: 151.447 s c =============================================================================== c | 21667 | 1021 1325 145497 | 5000 4704 630 | 2.669 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 28.6556 s Remaining CPU time: 151.344 s c =============================================================================== c | 21713 | 1021 1326 146361 | 5000 4750 630 | 2.669 % | c | 21813 | 1021 1326 146361 | 5500 4850 630 | 2.669 % | c | 21963 | 1021 1326 146361 | 6050 5000 630 | 2.669 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 29.4005 s Remaining CPU time: 150.599 s c =============================================================================== c | 22153 | 1021 1327 147225 | 5000 5190 629 | 2.669 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 29.6205 s Remaining CPU time: 150.38 s c =============================================================================== c | 22245 | 1021 1328 148089 | 5000 2687 627 | 2.669 % | c | 22346 | 1021 1328 148089 | 5500 2788 627 | 2.669 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 30.0554 s Remaining CPU time: 149.945 s c =============================================================================== c | 22493 | 1021 1329 148953 | 5000 2935 627 | 2.669 % | c | 22593 | 1021 1329 148953 | 5500 3035 627 | 2.669 % | c | 22743 | 1021 1329 148953 | 6050 3185 627 | 2.669 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 30.7583 s Remaining CPU time: 149.242 s c =============================================================================== c | 22904 | 1021 1330 149817 | 5000 3346 627 | 2.669 % | c | 23004 | 1021 1330 149817 | 5500 3446 626 | 2.669 % | c | 23154 | 1021 1330 149817 | 6050 3596 626 | 2.669 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 31.5002 s Remaining CPU time: 148.5 s c =============================================================================== c | 23341 | 1021 1331 150681 | 5000 3783 626 | 2.669 % | c | 23441 | 1021 1331 150681 | 5500 3883 626 | 2.669 % | c | 23592 | 1021 1331 150681 | 6050 4034 626 | 2.669 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 32.0421 s Remaining CPU time: 147.958 s c =============================================================================== c | 23664 | 1021 1332 151545 | 5000 4106 625 | 2.669 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 32.2041 s Remaining CPU time: 147.796 s c =============================================================================== c | 23736 | 1021 1333 152409 | 5000 4178 625 | 2.669 % | c | 23838 | 1021 1333 152409 | 5500 4280 625 | 2.669 % | c | 23988 | 1021 1333 152409 | 6050 4430 625 | 2.669 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 32.88 s Remaining CPU time: 147.12 s c =============================================================================== c | 24079 | 1021 1334 153273 | 5000 4521 625 | 2.669 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 32.989 s Remaining CPU time: 147.011 s c =============================================================================== c | 24120 | 1021 1335 154137 | 5000 4562 625 | 2.669 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 33.112 s Remaining CPU time: 146.888 s c =============================================================================== c | 24168 | 1021 1336 155001 | 5000 4610 625 | 2.669 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 33.2189 s Remaining CPU time: 146.781 s c =============================================================================== c | 24207 | 1021 1337 155865 | 5000 4649 625 | 2.669 % | c | 24307 | 1021 1337 155865 | 5500 4749 624 | 2.669 % | c | 24458 | 1021 1337 155865 | 6050 4900 624 | 2.669 % | c | 24683 | 1021 1337 155865 | 6655 5125 624 | 2.669 % | c | 25020 | 1021 1337 155865 | 7320 5462 623 | 2.669 % | c | 25527 | 1021 1337 155865 | 8052 5969 622 | 2.669 % | c | 26286 | 1021 1337 155865 | 8857 6728 622 | 2.669 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 37.8482 s Remaining CPU time: 142.152 s c =============================================================================== c | 26931 | 1021 1338 156729 | 5000 7373 621 | 2.669 % | c | 27033 | 1021 1338 156729 | 5500 3789 615 | 2.669 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 38.1792 s Remaining CPU time: 141.821 s c =============================================================================== c | 27075 | 1021 1339 157593 | 5000 3831 615 | 2.669 % | c | 27175 | 1021 1339 157593 | 5500 3931 615 | 2.669 % | c | 27325 | 1021 1339 157593 | 6050 4081 615 | 2.669 % | c | 27550 | 1021 1339 157593 | 6655 4306 615 | 2.669 % | c | 27888 | 1021 1339 157593 | 7320 4644 615 | 2.669 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 40.0429 s Remaining CPU time: 139.957 s c =============================================================================== c | 28284 | 1021 1340 158457 | 5000 5040 614 | 2.669 % | c | 28384 | 1021 1340 158457 | 5500 2620 613 | 2.669 % | c | 28535 | 1021 1340 158457 | 6050 2771 612 | 2.669 % | c | 28761 | 1021 1340 158457 | 6655 2997 612 | 2.669 % | c | 29098 | 1021 1340 158457 | 7320 3334 612 | 2.669 % | c | 29605 | 1021 1340 158457 | 8052 3841 612 | 2.669 % | c | 30365 | 1021 1340 158457 | 8857 4601 612 | 2.669 % | c | 31506 | 1021 1340 158457 | 9743 5742 612 | 2.670 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 46.6039 s Remaining CPU time: 133.396 s c =============================================================================== c | 32582 | 1021 1341 159321 | 5000 6818 612 | 2.670 % | c | 32683 | 1021 1341 159321 | 5500 3510 611 | 2.669 % | c | 32833 | 1021 1341 159321 | 6050 3660 611 | 2.669 % | c | 33058 | 1021 1341 159321 | 6655 3885 611 | 2.669 % | c | 33397 | 1021 1341 159321 | 7320 4224 611 | 2.669 % | c | 33903 | 1021 1341 159321 | 8052 4730 612 | 2.669 % | c | 34663 | 1021 1341 159321 | 8857 5490 612 | 2.669 % | c | 35803 | 1021 1341 159321 | 9743 6630 612 | 2.669 % | c | 37513 | 1021 1341 159321 | 10717 8340 613 | 2.670 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 54.5097 s Remaining CPU time: 125.49 s c =============================================================================== c | 37639 | 1021 1342 160185 | 5000 8466 613 | 2.670 % | c | 37739 | 1021 1342 160185 | 5500 4333 613 | 2.670 % | c | 37889 | 1021 1342 160185 | 6050 4483 613 | 2.669 % | c | 38114 | 1021 1342 160185 | 6655 4708 613 | 2.669 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 55.6635 s Remaining CPU time: 124.336 s c =============================================================================== c | 38363 | 1021 1343 161049 | 5000 4957 613 | 2.669 % | c | 38465 | 1021 1343 161049 | 5500 5059 613 | 2.669 % | c | 38615 | 1021 1343 161049 | 6050 5209 613 | 2.669 % | c | 38840 | 1021 1343 161049 | 6655 5434 613 | 2.669 % | c | 39178 | 1021 1343 161049 | 7320 5772 613 | 2.670 % | c | 39684 | 1021 1343 161049 | 8052 6278 612 | 2.670 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 58.1942 s Remaining CPU time: 121.806 s c =============================================================================== c | 40120 | 1021 1344 161913 | 5000 6714 612 | 2.670 % | c | 40221 | 1021 1344 161913 | 5500 3458 610 | 2.669 % | c | 40371 | 1021 1344 161913 | 6050 3608 610 | 2.669 % | c | 40596 | 1021 1344 161913 | 6655 3833 610 | 2.669 % | c | 40933 | 1021 1344 161913 | 7320 4170 610 | 2.669 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 59.5939 s Remaining CPU time: 120.406 s c =============================================================================== c | 41047 | 1021 1345 162777 | 5000 4284 610 | 2.669 % | c | 41147 | 1021 1345 162777 | 5500 4384 610 | 2.669 % | c | 41298 | 1021 1345 162777 | 6050 4535 610 | 2.669 % | c | 41525 | 1021 1345 162777 | 6655 4762 610 | 2.669 % | c | 41863 | 1021 1345 162777 | 7320 5100 609 | 2.670 % | c | 42369 | 1021 1345 162777 | 8052 5606 609 | 2.670 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 62.3555 s Remaining CPU time: 117.644 s c =============================================================================== c | 42858 | 1021 1346 163641 | 5000 6095 609 | 2.670 % | c | 42958 | 1021 1346 163641 | 5500 3148 607 | 2.669 % | c | 43108 | 1021 1346 163641 | 6050 3298 607 | 2.670 % | c | 43333 | 1021 1346 163641 | 6655 3523 607 | 2.669 % | c | 43670 | 1021 1346 163641 | 7320 3860 607 | 2.669 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 64.3452 s Remaining CPU time: 115.655 s c =============================================================================== c | 43916 | 1021 1347 164505 | 5000 4106 607 | 2.669 % | c | 44016 | 1021 1347 164505 | 5500 4206 607 | 2.669 % | c | 44166 | 1021 1347 164505 | 6050 4356 607 | 2.669 % | c | 44391 | 1021 1347 164505 | 6655 4581 606 | 2.669 % | c | 44729 | 1021 1347 164505 | 7320 4919 606 | 2.669 % | c | 45235 | 1021 1347 164505 | 8052 5425 606 | 2.669 % | c | 45994 | 1021 1347 164505 | 8857 6184 606 | 2.669 % | c | 47133 | 1021 1347 164505 | 9743 7323 606 | 2.670 % | c | 48841 | 1021 1347 164505 | 10717 9031 606 | 2.669 % | c | 51404 | 1021 1347 164505 | 11789 5859 605 | 2.669 % | c | 55249 | 1021 1347 164505 | 12968 9704 605 | 2.670 % | c | 61016 | 1021 1347 164505 | 14265 8613 606 | 2.669 % | c | 69666 | 1021 1347 164505 | 15692 9753 606 | 2.669 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 102.449 s Remaining CPU time: 77.5506 s c =============================================================================== c | 70159 | 1021 1348 165369 | 5000 10246 606 | 2.669 % | c | 70259 | 1021 1348 165369 | 5500 2662 606 | 2.670 % | c | 70410 | 1021 1348 165369 | 6050 2813 606 | 2.670 % | c | 70635 | 1021 1348 165369 | 6655 3038 606 | 2.670 % | c | 70972 | 1021 1348 165369 | 7320 3375 606 | 2.670 % | c | 71479 | 1021 1348 165369 | 8052 3882 606 | 2.669 % | c | 72238 | 1021 1348 165369 | 8857 4641 606 | 2.669 % | c | 73379 | 1021 1348 165369 | 9743 5782 606 | 2.669 % | c | 75087 | 1021 1348 165369 | 10717 7490 606 | 2.669 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 114.194 s Remaining CPU time: 65.8064 s c =============================================================================== c | 77388 | 1021 1349 166233 | 5000 9791 606 | 2.669 % | c | 77488 | 1021 1349 166233 | 5500 4996 605 | 2.669 % | c | 77638 | 1021 1349 166233 | 6050 5146 605 | 2.669 % | c | 77863 | 1021 1349 166233 | 6655 5371 605 | 2.669 % | c | 78200 | 1021 1349 166233 | 7320 5708 605 | 2.669 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 116.405 s Remaining CPU time: 63.5947 s c =============================================================================== c | 78457 | 1021 1350 167097 | 5000 5965 605 | 2.669 % | c | 78557 | 1021 1350 167097 | 5500 3083 605 | 2.669 % | c | 78708 | 1021 1350 167097 | 6050 3234 605 | 2.669 % | c | 78933 | 1021 1350 167097 | 6655 3459 605 | 2.669 % | c | 79270 | 1021 1350 167097 | 7320 3796 605 | 2.669 % | c | 79778 | 1021 1350 167097 | 8052 4304 605 | 2.669 % | c | 80538 | 1021 1350 167097 | 8857 5064 605 | 2.669 % | c | 81677 | 1021 1350 167097 | 9743 6203 605 | 2.670 % | c | 83385 | 1021 1350 167097 | 10717 7911 605 | 2.669 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 126.301 s Remaining CPU time: 53.6992 s c =============================================================================== c | 84406 | 1021 1351 167961 | 5000 8932 605 | 2.669 % | c | 84507 | 1021 1351 167961 | 5500 4567 605 | 2.669 % | c | 84658 | 1021 1351 167961 | 6050 4718 605 | 2.669 % | c | 84883 | 1021 1351 167961 | 6655 4943 605 | 2.669 % | c | 85220 | 1021 1351 167961 | 7320 5280 604 | 2.669 % | c | 85726 | 1021 1351 167961 | 8052 5786 604 | 2.669 % | c | 86485 | 1021 1351 167961 | 8857 6545 604 | 2.669 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 130.968 s Remaining CPU time: 49.0319 s c =============================================================================== c | 86774 | 1021 1352 168825 | 5000 6834 604 | 2.669 % | c | 86874 | 1021 1352 168825 | 5500 3517 603 | 2.669 % | c | 87024 | 1021 1352 168825 | 6050 3667 602 | 2.669 % | c | 87249 | 1021 1352 168825 | 6655 3892 602 | 2.669 % | c | 87587 | 1021 1352 168825 | 7320 4230 602 | 2.669 % | c | 88094 | 1021 1352 168825 | 8052 4737 602 | 2.669 % | c | 88853 | 1021 1352 168825 | 8857 5496 602 | 2.669 % | c | 89993 | 1021 1352 168825 | 9743 6636 602 | 2.669 % | c | 91702 | 1021 1352 168825 | 10717 8345 602 | 2.669 % | c | 94264 | 1021 1352 168825 | 11789 10907 602 | 2.669 % | c | 98108 | 1021 1352 168825 | 12968 8494 601 | 2.669 % | c | 103876 | 1021 1352 168825 | 14265 7410 601 | 2.669 % | c | 112526 | 1021 1352 168825 | 15692 8562 601 | 2.669 % | c There are 28 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 692 2293 4552 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 715 2295 4607 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 771 2297 4760 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 813 2298 4823 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 860 2299 4925 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 914 2300 5060 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1009 2302 5221 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1103 2303 5368 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1159 2304 5453 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1310 2305 5702 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1633 2306 65861 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1883 2307 124182 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2064 2310 159070 | 5000 0 nan | 0.000 % | c | 103 | 2064 2310 159070 | 5500 103 20 | 8.226 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2365 2315 173456 | 5000 0 nan | 0.000 % | c | 101 | 2365 2315 173456 | 5500 101 15 | 5.324 % | c | 251 | 2365 2315 173456 | 6050 251 13 | 5.324 % | c | 477 | 2365 2315 173456 | 6655 477 13 | 5.324 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3008 2321 174684 | 5000 0 nan | 0.000 % | c | 100 | 3008 2321 174684 | 5500 100 68 | 1.956 % | c | 251 | 3008 2321 174684 | 6050 251 39 | 1.956 % | c | 477 | 3008 2321 174684 | 6655 477 29 | 1.956 % | c | 816 | 3008 2321 174684 | 7320 816 28 | 1.956 % | c | 1322 | 3008 2321 174684 | 8052 1322 26 | 1.956 % | c | 2084 | 3008 2321 174684 | 8857 2084 26 | 1.956 % | c | 3223 | 3008 2321 174684 | 9743 3223 25 | 1.956 % | c | 4931 | 3008 2321 174684 | 10717 4931 22 | 1.956 % | c | 7493 | 3008 2321 174684 | 11789 7493 20 | 1.956 % | c | 11337 | 3008 2321 174684 | 12968 11337 19 | 1.956 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3892 2361 176543 | 5000 0 nan | 0.000 % | c | 101 | 3892 2361 176543 | 5500 101 98 | 0.866 % | c | 253 | 3892 2361 176543 | 6050 253 54 | 0.866 % | c | 478 | 3892 2361 176543 | 6655 478 43 | 0.866 % | c | 815 | 3892 2361 176543 | 7320 815 36 | 0.866 % | c | 1321 | 3892 2361 176543 | 8052 1321 32 | 0.866 % | c | 2082 | 3892 2361 176543 | 8857 2082 33 | 0.866 % | c | 3221 | 3892 2361 176543 | 9743 3221 36 | 0.866 % | c | 4930 | 3892 2361 176543 | 10717 4930 38 | 0.866 % | c | 7492 | 3892 2361 176543 | 11789 7492 37 | 0.866 % | c | 11339 | 3892 2361 176543 | 12968 11339 37 | 0.866 % | c | 17105 | 3892 2361 176543 | 14265 10529 37 | 0.866 % | c | 25755 | 3892 2361 176543 | 15692 11889 37 | 0.866 % | c | 38735 | 3890 2361 176543 | 17261 6035 24 | 0.917 % | c | 58197 | 3890 2361 176543 | 18987 16801 43 | 0.917 % | c | 87389 | 3890 2361 176543 | 20886 17333 42 | 0.917 % | c | 131178 | 3888 2361 176543 | 22974 6643 16 | 0.968 % | c | 196863 | 3888 2361 176543 | 25272 14618 29 | 0.968 % | c | 295393 | 3879 2361 176543 | 27799 19397 23 | 1.197 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4804 2370 178387 | 5000 0 nan | 0.000 % | c | 101 | 4804 2370 178387 | 5500 101 145 | 0.621 % | c | 252 | 4804 2370 178387 | 6050 252 64 | 0.621 % | c | 477 | 4804 2370 178387 | 6655 477 70 | 0.621 % | c | 814 | 4804 2370 178387 | 7320 814 64 | 0.621 % | c | 1321 | 4804 2370 178387 | 8052 1321 56 | 0.621 % | c | 2081 | 4804 2370 178387 | 8857 2081 49 | 0.621 % | c | 3221 | 4804 2370 178387 | 9743 3221 46 | 0.621 % | c | 4929 | 4804 2370 178387 | 10717 4929 47 | 0.621 % | c | 7492 | 4804 2370 178387 | 11789 7492 47 | 0.621 % | c | 11342 | 4804 2370 178387 | 12968 11342 50 | 0.621 % | c | 17114 | 4804 2370 178387 | 14265 10486 54 | 0.621 % | c | 25768 | 4804 2370 178387 | 15692 11912 57 | 0.621 % | c | 38745 | 4804 2370 178387 | 17261 8625 59 | 0.621 % | c | 58210 | 4804 2370 178387 | 18987 10710 51 | 0.621 % | c | 87403 | 4804 2370 178387 | 20886 10649 68 | 0.621 % |