c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 1298 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1114 | c | Number Clauses: 1198 | 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 | 1086 1226 4259 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 857 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1086 1227 5161 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 854 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1086 1228 6063 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 853 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1086 1229 6965 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 852 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 1 | 1086 1230 7867 | 5000 1 848 | 0.000 % | c =============================================================================== c New solution: 851 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 1 | 1086 1231 8769 | 5000 1 848 | 0.000 % | c =============================================================================== c New solution: 850 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 1 | 1086 1232 9671 | 5000 1 848 | 0.000 % | c =============================================================================== c New solution: 849 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 1 | 1086 1233 10573 | 5000 1 848 | 0.000 % | c =============================================================================== c New solution: 848 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 1 | 1086 1234 11475 | 5000 1 848 | 0.000 % | c =============================================================================== c New solution: 847 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 1 | 1086 1235 12377 | 5000 1 848 | 0.000 % | c =============================================================================== c New solution: 846 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 1 | 1086 1236 13279 | 5000 1 848 | 0.000 % | c =============================================================================== c New solution: 845 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 1 | 1086 1237 14181 | 5000 1 848 | 0.000 % | c =============================================================================== c New solution: 844 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 1 | 1086 1238 15083 | 5000 1 848 | 0.000 % | c =============================================================================== c New solution: 843 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 1 | 1086 1239 15985 | 5000 1 848 | 0.000 % | c =============================================================================== c New solution: 842 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 2 | 1086 1240 16887 | 5000 2 840 | 0.000 % | c =============================================================================== c New solution: 841 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 2 | 1086 1241 17789 | 5000 2 840 | 0.000 % | c =============================================================================== c New solution: 840 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 2 | 1086 1242 18691 | 5000 2 840 | 0.000 % | c =============================================================================== c New solution: 839 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 2 | 1086 1243 19593 | 5000 2 840 | 0.000 % | c =============================================================================== c New solution: 838 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 3 | 1086 1244 20495 | 5000 3 837 | 0.000 % | c =============================================================================== c New solution: 837 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 3 | 1086 1245 21397 | 5000 3 837 | 0.000 % | c =============================================================================== c New solution: 836 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 3 | 1086 1246 22299 | 5000 3 837 | 0.000 % | c =============================================================================== c New solution: 835 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 4 | 1086 1247 23201 | 5000 4 628 | 0.000 % | c =============================================================================== c New solution: 834 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 5 | 1086 1248 24103 | 5000 5 668 | 0.000 % | c =============================================================================== c New solution: 833 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 5 | 1086 1249 25005 | 5000 5 668 | 0.000 % | c =============================================================================== c New solution: 832 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 5 | 1086 1250 25907 | 5000 5 668 | 0.000 % | c =============================================================================== c New solution: 831 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 5 | 1086 1251 26809 | 5000 5 668 | 0.000 % | c =============================================================================== c New solution: 830 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 5 | 1086 1252 27711 | 5000 5 668 | 0.000 % | c =============================================================================== c New solution: 829 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 5 | 1086 1253 28613 | 5000 5 668 | 0.000 % | c =============================================================================== c New solution: 828 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 5 | 1086 1254 29515 | 5000 5 668 | 0.000 % | c =============================================================================== c New solution: 827 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 5 | 1086 1255 30417 | 5000 5 668 | 0.000 % | c =============================================================================== c New solution: 826 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 5 | 1086 1256 31319 | 5000 5 668 | 0.000 % | c =============================================================================== c New solution: 825 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 5 | 1086 1257 32221 | 5000 5 668 | 0.000 % | c =============================================================================== c New solution: 824 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 5 | 1086 1258 33123 | 5000 5 668 | 0.000 % | c =============================================================================== c New solution: 823 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 5 | 1086 1259 34025 | 5000 5 668 | 0.000 % | c =============================================================================== c New solution: 822 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 5 | 1086 1260 34927 | 5000 5 668 | 0.000 % | c =============================================================================== c New solution: 821 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 6 | 1086 1261 35829 | 5000 6 692 | 0.000 % | c =============================================================================== c New solution: 820 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 6 | 1086 1262 36731 | 5000 6 692 | 0.000 % | c =============================================================================== c New solution: 819 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 6 | 1086 1263 37633 | 5000 6 692 | 0.000 % | c =============================================================================== c New solution: 818 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 6 | 1086 1264 38535 | 5000 6 692 | 0.000 % | c =============================================================================== c New solution: 817 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 6 | 1086 1265 39437 | 5000 6 692 | 0.000 % | c =============================================================================== c New solution: 816 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 6 | 1086 1266 40339 | 5000 6 692 | 0.000 % | c =============================================================================== c New solution: 815 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 6 | 1086 1267 41241 | 5000 6 692 | 0.000 % | c =============================================================================== c New solution: 814 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 6 | 1086 1268 42143 | 5000 6 692 | 0.000 % | c =============================================================================== c New solution: 813 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 6 | 1086 1269 43045 | 5000 6 692 | 0.000 % | c =============================================================================== c New solution: 812 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 8 | 1086 1270 43947 | 5000 8 620 | 0.000 % | c =============================================================================== c New solution: 811 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 8 | 1086 1271 44849 | 5000 8 620 | 0.000 % | c =============================================================================== c New solution: 810 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 8 | 1086 1272 45751 | 5000 8 620 | 0.000 % | c =============================================================================== c New solution: 809 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 8 | 1086 1273 46653 | 5000 8 620 | 0.000 % | c =============================================================================== c New solution: 808 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 8 | 1086 1274 47555 | 5000 8 620 | 0.000 % | c =============================================================================== c New solution: 807 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 9 | 1086 1275 48457 | 5000 9 552 | 0.000 % | c =============================================================================== c New solution: 806 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 9 | 1086 1276 49359 | 5000 9 552 | 0.000 % | c =============================================================================== c New solution: 805 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 9 | 1086 1277 50261 | 5000 9 552 | 0.000 % | c =============================================================================== c New solution: 804 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 9 | 1086 1278 51163 | 5000 9 552 | 0.000 % | c =============================================================================== c New solution: 803 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 10 | 1086 1279 52065 | 5000 10 576 | 0.000 % | c =============================================================================== c New solution: 802 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 10 | 1086 1280 52967 | 5000 10 576 | 0.000 % | c =============================================================================== c New solution: 801 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s c =============================================================================== c | 10 | 1086 1281 53869 | 5000 10 576 | 0.000 % | c =============================================================================== c New solution: 800 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s c =============================================================================== c | 10 | 1086 1282 54771 | 5000 10 576 | 0.000 % | c =============================================================================== c New solution: 799 c Elapsed CPU time: 0.355945 s Remaining CPU time: 179.644 s c =============================================================================== c | 10 | 1086 1283 55673 | 5000 10 576 | 0.000 % | c =============================================================================== c New solution: 798 c Elapsed CPU time: 0.367944 s Remaining CPU time: 179.632 s c =============================================================================== c | 10 | 1086 1284 56575 | 5000 10 576 | 0.000 % | c =============================================================================== c New solution: 797 c Elapsed CPU time: 0.381941 s Remaining CPU time: 179.618 s c =============================================================================== c | 10 | 1086 1285 57477 | 5000 10 576 | 0.000 % | c =============================================================================== c New solution: 796 c Elapsed CPU time: 0.395939 s Remaining CPU time: 179.604 s c =============================================================================== c | 10 | 1086 1286 58379 | 5000 10 576 | 0.000 % | c =============================================================================== c New solution: 795 c Elapsed CPU time: 0.409937 s Remaining CPU time: 179.59 s c =============================================================================== c | 10 | 1086 1287 59281 | 5000 10 576 | 0.000 % | c =============================================================================== c New solution: 794 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s c =============================================================================== c | 10 | 1086 1288 60183 | 5000 10 576 | 0.000 % | c =============================================================================== c New solution: 793 c Elapsed CPU time: 0.437933 s Remaining CPU time: 179.562 s c =============================================================================== c | 11 | 1086 1289 61085 | 5000 11 595 | 0.000 % | c =============================================================================== c New solution: 792 c Elapsed CPU time: 0.45593 s Remaining CPU time: 179.544 s c =============================================================================== c | 11 | 1086 1290 61987 | 5000 11 595 | 0.000 % | c =============================================================================== c New solution: 791 c Elapsed CPU time: 0.471928 s Remaining CPU time: 179.528 s c =============================================================================== c | 11 | 1086 1291 62889 | 5000 11 595 | 0.000 % | c =============================================================================== c New solution: 790 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s c =============================================================================== c | 11 | 1086 1292 63791 | 5000 11 595 | 0.000 % | c =============================================================================== c New solution: 789 c Elapsed CPU time: 0.504923 s Remaining CPU time: 179.495 s c =============================================================================== c | 11 | 1086 1293 64693 | 5000 11 595 | 0.000 % | c =============================================================================== c New solution: 788 c Elapsed CPU time: 0.52192 s Remaining CPU time: 179.478 s c =============================================================================== c | 11 | 1086 1294 65595 | 5000 11 595 | 0.000 % | c =============================================================================== c New solution: 787 c Elapsed CPU time: 0.537918 s Remaining CPU time: 179.462 s c =============================================================================== c | 11 | 1086 1295 66497 | 5000 11 595 | 0.000 % | c =============================================================================== c New solution: 786 c Elapsed CPU time: 0.554915 s Remaining CPU time: 179.445 s c =============================================================================== c | 11 | 1086 1296 67399 | 5000 11 595 | 0.000 % | c =============================================================================== c New solution: 785 c Elapsed CPU time: 0.573912 s Remaining CPU time: 179.426 s c =============================================================================== c | 12 | 1086 1297 68301 | 5000 12 610 | 0.000 % | c =============================================================================== c New solution: 784 c Elapsed CPU time: 0.592909 s Remaining CPU time: 179.407 s c =============================================================================== c | 12 | 1086 1298 69203 | 5000 12 610 | 0.000 % | c =============================================================================== c New solution: 783 c Elapsed CPU time: 0.610907 s Remaining CPU time: 179.389 s c =============================================================================== c | 12 | 1086 1299 70105 | 5000 12 610 | 0.000 % | c =============================================================================== c New solution: 782 c Elapsed CPU time: 0.629904 s Remaining CPU time: 179.37 s c =============================================================================== c | 12 | 1086 1300 71007 | 5000 12 610 | 0.000 % | c =============================================================================== c New solution: 781 c Elapsed CPU time: 0.647901 s Remaining CPU time: 179.352 s c =============================================================================== c | 12 | 1086 1301 71909 | 5000 12 610 | 0.000 % | c =============================================================================== c New solution: 780 c Elapsed CPU time: 0.667898 s Remaining CPU time: 179.332 s c =============================================================================== c | 12 | 1086 1302 72811 | 5000 12 610 | 0.000 % | c =============================================================================== c New solution: 779 c Elapsed CPU time: 0.688895 s Remaining CPU time: 179.311 s c =============================================================================== c | 13 | 1086 1303 73713 | 5000 13 622 | 0.000 % | c =============================================================================== c New solution: 778 c Elapsed CPU time: 0.708892 s Remaining CPU time: 179.291 s c =============================================================================== c | 13 | 1086 1304 74615 | 5000 13 622 | 0.000 % | c =============================================================================== c New solution: 777 c Elapsed CPU time: 0.729889 s Remaining CPU time: 179.27 s c =============================================================================== c | 13 | 1086 1305 75517 | 5000 13 622 | 0.000 % | c =============================================================================== c New solution: 776 c Elapsed CPU time: 0.751885 s Remaining CPU time: 179.248 s c =============================================================================== c | 13 | 1086 1306 76419 | 5000 13 622 | 0.000 % | c =============================================================================== c New solution: 775 c Elapsed CPU time: 0.774882 s Remaining CPU time: 179.225 s c =============================================================================== c | 14 | 1086 1307 77321 | 5000 14 633 | 0.000 % | c =============================================================================== c New solution: 774 c Elapsed CPU time: 0.794879 s Remaining CPU time: 179.205 s c =============================================================================== c | 14 | 1086 1308 78223 | 5000 14 633 | 0.000 % | c =============================================================================== c New solution: 773 c Elapsed CPU time: 0.816875 s Remaining CPU time: 179.183 s c =============================================================================== c | 14 | 1086 1309 79125 | 5000 14 633 | 0.000 % | c =============================================================================== c New solution: 772 c Elapsed CPU time: 0.839872 s Remaining CPU time: 179.16 s c =============================================================================== c | 14 | 1086 1310 80027 | 5000 14 633 | 0.000 % | c =============================================================================== c New solution: 771 c Elapsed CPU time: 0.863868 s Remaining CPU time: 179.136 s c =============================================================================== c | 14 | 1086 1311 80929 | 5000 14 633 | 0.000 % | c =============================================================================== c New solution: 770 c Elapsed CPU time: 0.891864 s Remaining CPU time: 179.108 s c =============================================================================== c | 18 | 1086 1312 81831 | 5000 18 662 | 0.000 % | c =============================================================================== c New solution: 769 c Elapsed CPU time: 0.91586 s Remaining CPU time: 179.084 s c =============================================================================== c | 18 | 1086 1313 82733 | 5000 18 662 | 0.000 % | c =============================================================================== c New solution: 768 c Elapsed CPU time: 0.940856 s Remaining CPU time: 179.059 s c =============================================================================== c | 18 | 1086 1314 83635 | 5000 18 662 | 0.000 % | c =============================================================================== c New solution: 767 c Elapsed CPU time: 0.965853 s Remaining CPU time: 179.034 s c =============================================================================== c | 18 | 1086 1315 84537 | 5000 18 662 | 0.000 % | c =============================================================================== c New solution: 766 c Elapsed CPU time: 0.990849 s Remaining CPU time: 179.009 s c =============================================================================== c | 18 | 1086 1316 85439 | 5000 18 662 | 0.000 % | c =============================================================================== c New solution: 765 c Elapsed CPU time: 1.01784 s Remaining CPU time: 178.982 s c =============================================================================== c | 23 | 1086 1317 86341 | 5000 23 682 | 0.000 % | c =============================================================================== c New solution: 764 c Elapsed CPU time: 1.04584 s Remaining CPU time: 178.954 s c =============================================================================== c | 23 | 1086 1318 87243 | 5000 23 682 | 0.000 % | c =============================================================================== c New solution: 763 c Elapsed CPU time: 1.07284 s Remaining CPU time: 178.927 s c =============================================================================== c | 23 | 1086 1319 88145 | 5000 23 682 | 0.000 % | c =============================================================================== c New solution: 762 c Elapsed CPU time: 1.09983 s Remaining CPU time: 178.9 s c =============================================================================== c | 24 | 1086 1320 89047 | 5000 24 685 | 0.000 % | c =============================================================================== c New solution: 761 c Elapsed CPU time: 1.12883 s Remaining CPU time: 178.871 s c =============================================================================== c | 24 | 1086 1321 89949 | 5000 24 685 | 0.000 % | c =============================================================================== c New solution: 760 c Elapsed CPU time: 1.15882 s Remaining CPU time: 178.841 s c =============================================================================== c | 24 | 1086 1322 90851 | 5000 24 685 | 0.000 % | c =============================================================================== c New solution: 759 c Elapsed CPU time: 1.18682 s Remaining CPU time: 178.813 s c =============================================================================== c | 24 | 1086 1323 91753 | 5000 24 685 | 0.000 % | c =============================================================================== c New solution: 758 c Elapsed CPU time: 1.21582 s Remaining CPU time: 178.784 s c =============================================================================== c | 25 | 1086 1324 92655 | 5000 25 688 | 0.000 % | c =============================================================================== c New solution: 757 c Elapsed CPU time: 1.24481 s Remaining CPU time: 178.755 s c =============================================================================== c | 26 | 1086 1325 93557 | 5000 26 690 | 0.000 % | c =============================================================================== c New solution: 756 c Elapsed CPU time: 1.27381 s Remaining CPU time: 178.726 s c =============================================================================== c | 26 | 1086 1326 94459 | 5000 26 690 | 0.000 % | c =============================================================================== c New solution: 755 c Elapsed CPU time: 1.3038 s Remaining CPU time: 178.696 s c =============================================================================== c | 26 | 1086 1327 95361 | 5000 26 690 | 0.000 % | c =============================================================================== c New solution: 754 c Elapsed CPU time: 1.3348 s Remaining CPU time: 178.665 s c =============================================================================== c | 26 | 1086 1328 96263 | 5000 26 690 | 0.000 % | c =============================================================================== c New solution: 753 c Elapsed CPU time: 1.36579 s Remaining CPU time: 178.634 s c =============================================================================== c | 26 | 1086 1329 97165 | 5000 26 690 | 0.000 % | c =============================================================================== c New solution: 752 c Elapsed CPU time: 1.39779 s Remaining CPU time: 178.602 s c =============================================================================== c | 26 | 1086 1330 98067 | 5000 26 690 | 0.000 % | c =============================================================================== c New solution: 751 c Elapsed CPU time: 1.42978 s Remaining CPU time: 178.57 s c =============================================================================== c | 26 | 1086 1331 98969 | 5000 26 690 | 0.000 % | c =============================================================================== c New solution: 750 c Elapsed CPU time: 1.46278 s Remaining CPU time: 178.537 s c =============================================================================== c | 27 | 1086 1332 99871 | 5000 27 692 | 0.000 % | c =============================================================================== c New solution: 749 c Elapsed CPU time: 1.49577 s Remaining CPU time: 178.504 s c =============================================================================== c | 27 | 1086 1333 100773 | 5000 27 692 | 0.000 % | c =============================================================================== c New solution: 748 c Elapsed CPU time: 1.52777 s Remaining CPU time: 178.472 s c =============================================================================== c | 27 | 1086 1334 101675 | 5000 27 692 | 0.000 % | c =============================================================================== c New solution: 747 c Elapsed CPU time: 1.56076 s Remaining CPU time: 178.439 s c =============================================================================== c | 27 | 1086 1335 102577 | 5000 27 692 | 0.000 % | c =============================================================================== c New solution: 746 c Elapsed CPU time: 1.59276 s Remaining CPU time: 178.407 s c =============================================================================== c | 27 | 1086 1336 103479 | 5000 27 692 | 0.000 % | c =============================================================================== c New solution: 745 c Elapsed CPU time: 1.62675 s Remaining CPU time: 178.373 s c =============================================================================== c | 27 | 1086 1337 104381 | 5000 27 692 | 0.000 % | c =============================================================================== c New solution: 744 c Elapsed CPU time: 1.67175 s Remaining CPU time: 178.328 s c =============================================================================== c | 29 | 1086 1338 105283 | 5000 29 670 | 0.000 % | c =============================================================================== c New solution: 743 c Elapsed CPU time: 1.70674 s Remaining CPU time: 178.293 s c =============================================================================== c | 29 | 1086 1339 106185 | 5000 29 670 | 0.000 % | c =============================================================================== c New solution: 742 c Elapsed CPU time: 1.74274 s Remaining CPU time: 178.257 s c =============================================================================== c | 29 | 1086 1340 107087 | 5000 29 670 | 0.000 % | c =============================================================================== c New solution: 741 c Elapsed CPU time: 1.77773 s Remaining CPU time: 178.222 s c =============================================================================== c | 29 | 1086 1341 107989 | 5000 29 670 | 0.000 % | c =============================================================================== c New solution: 740 c Elapsed CPU time: 1.81172 s Remaining CPU time: 178.188 s c =============================================================================== c | 30 | 1086 1342 108891 | 5000 30 672 | 0.000 % | c =============================================================================== c New solution: 739 c Elapsed CPU time: 1.84772 s Remaining CPU time: 178.152 s c =============================================================================== c | 30 | 1086 1343 109793 | 5000 30 672 | 0.000 % | c =============================================================================== c New solution: 738 c Elapsed CPU time: 1.88571 s Remaining CPU time: 178.114 s c =============================================================================== c | 30 | 1086 1344 110695 | 5000 30 672 | 0.000 % | c =============================================================================== c New solution: 737 c Elapsed CPU time: 1.92271 s Remaining CPU time: 178.077 s c =============================================================================== c | 31 | 1086 1345 111597 | 5000 31 674 | 0.000 % | c =============================================================================== c New solution: 736 c Elapsed CPU time: 1.9587 s Remaining CPU time: 178.041 s c =============================================================================== c | 32 | 1086 1346 112499 | 5000 32 675 | 0.000 % | c =============================================================================== c New solution: 735 c Elapsed CPU time: 1.9987 s Remaining CPU time: 178.001 s c =============================================================================== c | 33 | 1086 1347 113401 | 5000 33 677 | 0.000 % | c =============================================================================== c New solution: 734 c Elapsed CPU time: 2.03869 s Remaining CPU time: 177.961 s c =============================================================================== c | 39 | 1086 1348 114303 | 5000 39 684 | 0.000 % | c =============================================================================== c New solution: 733 c Elapsed CPU time: 2.07768 s Remaining CPU time: 177.922 s c =============================================================================== c | 39 | 1086 1349 115205 | 5000 39 684 | 0.000 % | c =============================================================================== c New solution: 732 c Elapsed CPU time: 2.11768 s Remaining CPU time: 177.882 s c =============================================================================== c | 39 | 1086 1350 116107 | 5000 39 684 | 0.000 % | c =============================================================================== c New solution: 731 c Elapsed CPU time: 2.15667 s Remaining CPU time: 177.843 s c =============================================================================== c | 40 | 1086 1351 117009 | 5000 40 685 | 0.000 % | c =============================================================================== c New solution: 730 c Elapsed CPU time: 2.19966 s Remaining CPU time: 177.8 s c =============================================================================== c | 40 | 1086 1352 117911 | 5000 40 685 | 0.000 % | c =============================================================================== c New solution: 729 c Elapsed CPU time: 2.23966 s Remaining CPU time: 177.76 s c =============================================================================== c | 40 | 1086 1353 118813 | 5000 40 685 | 0.000 % | c =============================================================================== c New solution: 728 c Elapsed CPU time: 2.28065 s Remaining CPU time: 177.719 s c =============================================================================== c | 46 | 1086 1354 119715 | 5000 46 690 | 0.000 % | c =============================================================================== c New solution: 727 c Elapsed CPU time: 2.32165 s Remaining CPU time: 177.678 s c =============================================================================== c | 46 | 1086 1355 120617 | 5000 46 690 | 0.000 % | c =============================================================================== c New solution: 726 c Elapsed CPU time: 2.36364 s Remaining CPU time: 177.636 s c =============================================================================== c | 46 | 1086 1356 121519 | 5000 46 690 | 0.000 % | c =============================================================================== c New solution: 725 c Elapsed CPU time: 2.40863 s Remaining CPU time: 177.591 s c =============================================================================== c | 50 | 1086 1357 122421 | 5000 50 692 | 0.000 % | c =============================================================================== c New solution: 724 c Elapsed CPU time: 2.45163 s Remaining CPU time: 177.548 s c =============================================================================== c | 50 | 1086 1358 123323 | 5000 50 692 | 0.000 % | c =============================================================================== c New solution: 723 c Elapsed CPU time: 2.49462 s Remaining CPU time: 177.505 s c =============================================================================== c | 50 | 1086 1359 124225 | 5000 50 692 | 0.000 % | c =============================================================================== c New solution: 722 c Elapsed CPU time: 2.53761 s Remaining CPU time: 177.462 s c =============================================================================== c | 50 | 1086 1360 125127 | 5000 50 692 | 0.000 % | c =============================================================================== c New solution: 721 c Elapsed CPU time: 2.58261 s Remaining CPU time: 177.417 s c =============================================================================== c | 50 | 1086 1361 126029 | 5000 50 692 | 0.000 % | c =============================================================================== c New solution: 720 c Elapsed CPU time: 2.6246 s Remaining CPU time: 177.375 s c =============================================================================== c | 50 | 1086 1362 126931 | 5000 50 692 | 0.000 % | c =============================================================================== c New solution: 719 c Elapsed CPU time: 2.67059 s Remaining CPU time: 177.329 s c =============================================================================== c | 60 | 1086 1363 127833 | 5000 60 684 | 0.000 % | c =============================================================================== c New solution: 718 c Elapsed CPU time: 2.71859 s Remaining CPU time: 177.281 s c =============================================================================== c | 60 | 1086 1364 128735 | 5000 60 684 | 0.000 % | c =============================================================================== c New solution: 717 c Elapsed CPU time: 2.76158 s Remaining CPU time: 177.238 s c =============================================================================== c | 61 | 1086 1365 129637 | 5000 61 684 | 0.000 % | c =============================================================================== c New solution: 716 c Elapsed CPU time: 2.80557 s Remaining CPU time: 177.194 s c =============================================================================== c | 61 | 1086 1366 130539 | 5000 61 684 | 0.000 % | c =============================================================================== c New solution: 715 c Elapsed CPU time: 2.85357 s Remaining CPU time: 177.146 s c =============================================================================== c | 61 | 1086 1367 131441 | 5000 61 684 | 0.000 % | c =============================================================================== c New solution: 714 c Elapsed CPU time: 2.91056 s Remaining CPU time: 177.089 s c =============================================================================== c | 77 | 1086 1368 132343 | 5000 77 689 | 0.000 % | c =============================================================================== c New solution: 713 c Elapsed CPU time: 2.95555 s Remaining CPU time: 177.044 s c =============================================================================== c | 78 | 1086 1369 133245 | 5000 78 680 | 0.000 % | c =============================================================================== c New solution: 712 c Elapsed CPU time: 3.00854 s Remaining CPU time: 176.991 s c =============================================================================== c | 90 | 1086 1370 134147 | 5000 90 684 | 0.000 % | c =============================================================================== c New solution: 711 c Elapsed CPU time: 3.05654 s Remaining CPU time: 176.943 s c =============================================================================== c | 90 | 1086 1371 135049 | 5000 90 684 | 0.000 % | c =============================================================================== c New solution: 710 c Elapsed CPU time: 3.11153 s Remaining CPU time: 176.888 s c =============================================================================== c | 90 | 1086 1372 135951 | 5000 90 684 | 0.000 % | c =============================================================================== c New solution: 709 c Elapsed CPU time: 3.16252 s Remaining CPU time: 176.837 s c =============================================================================== c | 94 | 1086 1373 136853 | 5000 94 684 | 0.000 % | c =============================================================================== c New solution: 708 c Elapsed CPU time: 3.21151 s Remaining CPU time: 176.788 s c =============================================================================== c | 94 | 1086 1374 137755 | 5000 94 684 | 0.000 % | c =============================================================================== c New solution: 707 c Elapsed CPU time: 3.2625 s Remaining CPU time: 176.737 s c =============================================================================== c | 95 | 1086 1375 138657 | 5000 95 684 | 0.000 % | c =============================================================================== c New solution: 706 c Elapsed CPU time: 3.3115 s Remaining CPU time: 176.689 s c =============================================================================== c | 95 | 1086 1376 139559 | 5000 95 684 | 0.000 % | c =============================================================================== c New solution: 705 c Elapsed CPU time: 3.36149 s Remaining CPU time: 176.639 s c =============================================================================== c | 96 | 1086 1377 140461 | 5000 96 684 | 0.000 % | c =============================================================================== c New solution: 704 c Elapsed CPU time: 3.43548 s Remaining CPU time: 176.565 s c =============================================================================== c | 128 | 1086 1378 141363 | 5000 128 688 | 0.000 % | c =============================================================================== c New solution: 703 c Elapsed CPU time: 3.49747 s Remaining CPU time: 176.503 s c =============================================================================== c | 130 | 1086 1379 142265 | 5000 130 688 | 0.000 % | c =============================================================================== c New solution: 702 c Elapsed CPU time: 3.55346 s Remaining CPU time: 176.447 s c =============================================================================== c | 139 | 1086 1380 143167 | 5000 139 688 | 0.000 % | c =============================================================================== c New solution: 701 c Elapsed CPU time: 3.60845 s Remaining CPU time: 176.392 s c =============================================================================== c | 149 | 1086 1381 144069 | 5000 149 689 | 0.000 % | c =============================================================================== c New solution: 700 c Elapsed CPU time: 3.67844 s Remaining CPU time: 176.322 s c =============================================================================== c | 172 | 1086 1382 144971 | 5000 172 689 | 0.000 % | c =============================================================================== c New solution: 699 c Elapsed CPU time: 3.79442 s Remaining CPU time: 176.206 s c =============================================================================== c | 259 | 1086 1383 145873 | 5000 259 690 | 0.000 % | c =============================================================================== c New solution: 698 c Elapsed CPU time: 3.9234 s Remaining CPU time: 176.077 s c =============================================================================== c | 351 | 1086 1384 146775 | 5000 351 691 | 0.000 % | c =============================================================================== c New solution: 697 c Elapsed CPU time: 3.99439 s Remaining CPU time: 176.006 s c =============================================================================== c | 373 | 1086 1385 147677 | 5000 373 690 | 0.000 % | c =============================================================================== c New solution: 696 c Elapsed CPU time: 4.05538 s Remaining CPU time: 175.945 s c =============================================================================== c | 388 | 1086 1386 148579 | 5000 388 690 | 0.000 % | c =============================================================================== c New solution: 695 c Elapsed CPU time: 4.10837 s Remaining CPU time: 175.892 s c =============================================================================== c | 388 | 1086 1387 149481 | 5000 388 690 | 0.000 % | c =============================================================================== c New solution: 694 c Elapsed CPU time: 4.16437 s Remaining CPU time: 175.836 s c =============================================================================== c | 391 | 1086 1388 150383 | 5000 391 690 | 0.000 % | c =============================================================================== c New solution: 693 c Elapsed CPU time: 4.22436 s Remaining CPU time: 175.776 s c =============================================================================== c | 398 | 1086 1389 151285 | 5000 398 690 | 0.000 % | c =============================================================================== c New solution: 692 c Elapsed CPU time: 4.35234 s Remaining CPU time: 175.648 s c =============================================================================== c | 482 | 1086 1390 152187 | 5000 482 688 | 0.000 % | c =============================================================================== c New solution: 691 c Elapsed CPU time: 4.42033 s Remaining CPU time: 175.58 s c =============================================================================== c | 506 | 1086 1391 153089 | 5000 506 688 | 0.000 % | c =============================================================================== c New solution: 690 c Elapsed CPU time: 4.49632 s Remaining CPU time: 175.504 s c =============================================================================== c | 537 | 1086 1392 153991 | 5000 537 688 | 0.000 % | c =============================================================================== c New solution: 689 c Elapsed CPU time: 4.5683 s Remaining CPU time: 175.432 s c =============================================================================== c | 560 | 1086 1393 154893 | 5000 560 687 | 0.000 % | c =============================================================================== c New solution: 688 c Elapsed CPU time: 4.66929 s Remaining CPU time: 175.331 s c =============================================================================== c | 631 | 1086 1394 155795 | 5000 631 687 | 0.000 % | c =============================================================================== c New solution: 687 c Elapsed CPU time: 4.74328 s Remaining CPU time: 175.257 s c =============================================================================== c | 655 | 1086 1395 156697 | 5000 655 687 | 0.000 % | c =============================================================================== c New solution: 686 c Elapsed CPU time: 4.84626 s Remaining CPU time: 175.154 s c =============================================================================== c | 717 | 1086 1396 157599 | 5000 717 686 | 0.000 % | c =============================================================================== c New solution: 685 c Elapsed CPU time: 4.91025 s Remaining CPU time: 175.09 s c =============================================================================== c | 728 | 1086 1397 158501 | 5000 728 686 | 0.000 % | c =============================================================================== c New solution: 684 c Elapsed CPU time: 4.97124 s Remaining CPU time: 175.029 s c =============================================================================== c | 732 | 1086 1398 159403 | 5000 732 686 | 0.000 % | c | 835 | 1086 1398 159403 | 5500 835 684 | 2.514 % | c =============================================================================== c New solution: 683 c Elapsed CPU time: 5.20221 s Remaining CPU time: 174.798 s c =============================================================================== c | 900 | 1086 1399 160305 | 5000 900 683 | 2.514 % | c | 1000 | 1086 1399 160305 | 5500 1000 682 | 2.514 % | c | 1150 | 1086 1399 160305 | 6050 1150 681 | 2.514 % | c =============================================================================== c New solution: 682 c Elapsed CPU time: 5.57215 s Remaining CPU time: 174.428 s c =============================================================================== c | 1209 | 1086 1400 161207 | 5000 1209 681 | 2.514 % | c =============================================================================== c New solution: 681 c Elapsed CPU time: 5.65114 s Remaining CPU time: 174.349 s c =============================================================================== c | 1247 | 1086 1401 162109 | 5000 1247 681 | 2.514 % | c =============================================================================== c New solution: 680 c Elapsed CPU time: 5.73213 s Remaining CPU time: 174.268 s c =============================================================================== c | 1287 | 1086 1402 163011 | 5000 1287 681 | 2.514 % | c =============================================================================== c New solution: 679 c Elapsed CPU time: 5.79712 s Remaining CPU time: 174.203 s c =============================================================================== c | 1296 | 1086 1403 163913 | 5000 1296 681 | 2.514 % | c =============================================================================== c New solution: 678 c Elapsed CPU time: 5.9091 s Remaining CPU time: 174.091 s c =============================================================================== c | 1372 | 1086 1404 164815 | 5000 1372 680 | 2.514 % | c | 1472 | 1086 1404 164815 | 5500 1472 679 | 2.514 % | c | 1624 | 1086 1404 164815 | 6050 1624 678 | 2.514 % | c =============================================================================== c New solution: 677 c Elapsed CPU time: 6.29604 s Remaining CPU time: 173.704 s c =============================================================================== c | 1706 | 1086 1405 165717 | 5000 1706 678 | 2.514 % | c | 1806 | 1086 1405 165717 | 5500 1806 677 | 2.514 % | c | 1960 | 1086 1405 165717 | 6050 1960 677 | 2.514 % | c =============================================================================== c New solution: 676 c Elapsed CPU time: 6.81696 s Remaining CPU time: 173.183 s c =============================================================================== c | 2143 | 1086 1406 166619 | 5000 2143 676 | 2.514 % | c | 2243 | 1086 1406 166619 | 5500 2243 676 | 2.514 % | c | 2393 | 1086 1406 166619 | 6050 2393 675 | 2.514 % | c =============================================================================== c New solution: 675 c Elapsed CPU time: 7.2149 s Remaining CPU time: 172.785 s c =============================================================================== c | 2464 | 1086 1407 167521 | 5000 2464 675 | 2.514 % | c | 2566 | 1086 1407 167521 | 5500 2566 675 | 2.514 % | c | 2716 | 1086 1407 167521 | 6050 2716 674 | 2.514 % | c =============================================================================== c New solution: 674 c Elapsed CPU time: 7.66983 s Remaining CPU time: 172.33 s c =============================================================================== c | 2747 | 1086 1408 168423 | 5000 2747 674 | 2.514 % | c =============================================================================== c New solution: 673 c Elapsed CPU time: 7.80381 s Remaining CPU time: 172.196 s c =============================================================================== c | 2836 | 1086 1409 169325 | 5000 2836 674 | 2.514 % | c =============================================================================== c New solution: 672 c Elapsed CPU time: 7.93479 s Remaining CPU time: 172.065 s c =============================================================================== c | 2910 | 1086 1410 170227 | 5000 2910 673 | 2.514 % | c =============================================================================== c New solution: 671 c Elapsed CPU time: 8.03778 s Remaining CPU time: 171.962 s c =============================================================================== c | 2964 | 1086 1411 171129 | 5000 2964 673 | 2.514 % | c =============================================================================== c New solution: 670 c Elapsed CPU time: 8.15676 s Remaining CPU time: 171.843 s c =============================================================================== c | 3025 | 1086 1412 172031 | 5000 3025 673 | 2.514 % | c | 3125 | 1086 1412 172031 | 5500 3125 673 | 2.514 % | c =============================================================================== c New solution: 669 c Elapsed CPU time: 8.48971 s Remaining CPU time: 171.51 s c =============================================================================== c | 3245 | 1086 1413 172933 | 5000 3245 672 | 2.514 % | c | 3345 | 1086 1413 172933 | 5500 3345 672 | 2.514 % | c =============================================================================== c New solution: 668 c Elapsed CPU time: 8.83766 s Remaining CPU time: 171.162 s c =============================================================================== c | 3478 | 1086 1414 173835 | 5000 3478 672 | 2.514 % | c =============================================================================== c New solution: 667 c Elapsed CPU time: 9.02963 s Remaining CPU time: 170.97 s c =============================================================================== c | 3559 | 1086 1415 174737 | 5000 3559 671 | 2.514 % | c | 3660 | 1086 1415 174737 | 5500 3660 671 | 2.514 % | c | 3811 | 1086 1415 174737 | 6050 3811 670 | 2.514 % | c =============================================================================== c New solution: 666 c Elapsed CPU time: 9.63054 s Remaining CPU time: 170.369 s c =============================================================================== c | 4000 | 1086 1416 175639 | 5000 4000 670 | 2.514 % | c | 4102 | 1086 1416 175639 | 5500 4102 670 | 2.514 % | c =============================================================================== c New solution: 665 c Elapsed CPU time: 9.8795 s Remaining CPU time: 170.121 s c =============================================================================== c | 4189 | 1086 1417 176541 | 5000 4189 669 | 2.514 % | c | 4289 | 1086 1417 176541 | 5500 4289 669 | 2.514 % | c =============================================================================== c New solution: 664 c Elapsed CPU time: 10.1575 s Remaining CPU time: 169.843 s c =============================================================================== c | 4374 | 1086 1418 177443 | 5000 4374 669 | 2.514 % | c =============================================================================== c New solution: 663 c Elapsed CPU time: 10.2664 s Remaining CPU time: 169.734 s c =============================================================================== c | 4403 | 1086 1419 178345 | 5000 4403 669 | 2.514 % | c | 4503 | 1086 1419 178345 | 5500 4503 668 | 2.514 % | c | 4653 | 1086 1419 178345 | 6050 4653 668 | 2.514 % | c | 4878 | 1086 1419 178345 | 6655 4878 667 | 2.514 % | c | 5215 | 1086 1419 178345 | 7320 5215 666 | 2.514 % | c =============================================================================== c New solution: 662 c Elapsed CPU time: 11.5013 s Remaining CPU time: 168.499 s c =============================================================================== c | 5353 | 1086 1420 179247 | 5000 5353 666 | 2.514 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 11.5922 s Remaining CPU time: 168.408 s c =============================================================================== c | 5371 | 1086 1421 180149 | 5000 2695 657 | 2.514 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 11.6922 s Remaining CPU time: 168.308 s c =============================================================================== c | 5425 | 1086 1422 181051 | 5000 2749 657 | 2.514 % | c | 5525 | 1086 1422 181051 | 5500 2849 657 | 2.514 % | c | 5676 | 1086 1422 181051 | 6050 3000 656 | 2.514 % | c =============================================================================== c New solution: 659 c Elapsed CPU time: 12.2031 s Remaining CPU time: 167.797 s c =============================================================================== c | 5722 | 1086 1423 181953 | 5000 3046 656 | 2.514 % | c | 5822 | 1086 1423 181953 | 5500 3146 656 | 2.514 % | c =============================================================================== c New solution: 658 c Elapsed CPU time: 12.5641 s Remaining CPU time: 167.436 s c =============================================================================== c | 5943 | 1086 1424 182855 | 5000 3267 656 | 2.514 % | c | 6043 | 1086 1424 182855 | 5500 3367 656 | 2.514 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 12.923 s Remaining CPU time: 167.077 s c =============================================================================== c | 6171 | 1086 1425 183757 | 5000 3495 655 | 2.514 % | c | 6271 | 1086 1425 183757 | 5500 3595 655 | 2.514 % | c | 6422 | 1086 1425 183757 | 6050 3746 655 | 2.514 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 13.5079 s Remaining CPU time: 166.492 s c =============================================================================== c | 6512 | 1086 1426 184659 | 5000 3836 655 | 2.514 % | c | 6613 | 1086 1426 184659 | 5500 3937 655 | 2.514 % | c | 6763 | 1086 1426 184659 | 6050 4087 654 | 2.514 % | c | 6990 | 1086 1426 184659 | 6655 4314 654 | 2.514 % | c | 7327 | 1086 1426 184659 | 7320 4651 653 | 2.514 % | c | 7833 | 1086 1426 184659 | 8052 5157 653 | 2.514 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 16.2915 s Remaining CPU time: 163.708 s c =============================================================================== c | 8484 | 1086 1427 185561 | 5000 5808 652 | 2.514 % | c | 8585 | 1086 1427 185561 | 5500 3005 646 | 2.514 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 16.5695 s Remaining CPU time: 163.431 s c =============================================================================== c | 8620 | 1086 1428 186463 | 5000 3040 646 | 2.514 % | c | 8720 | 1086 1428 186463 | 5500 3140 646 | 2.514 % | c | 8872 | 1086 1428 186463 | 6050 3292 646 | 2.514 % | c | 9097 | 1086 1428 186463 | 6655 3517 646 | 2.514 % | c | 9435 | 1086 1428 186463 | 7320 3855 646 | 2.514 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 17.9593 s Remaining CPU time: 162.041 s c =============================================================================== c | 9774 | 1086 1429 187365 | 5000 4194 646 | 2.514 % | c | 9874 | 1086 1429 187365 | 5500 4294 646 | 2.514 % | c | 10026 | 1086 1429 187365 | 6050 4446 646 | 2.514 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 18.6862 s Remaining CPU time: 161.314 s c =============================================================================== c | 10241 | 1086 1430 188267 | 5000 4661 646 | 2.514 % | c | 10341 | 1086 1430 188267 | 5500 4761 646 | 2.514 % | c | 10492 | 1086 1430 188267 | 6050 4912 646 | 2.514 % | c | 10717 | 1086 1430 188267 | 6655 5137 646 | 2.514 % | c | 11054 | 1086 1430 188267 | 7320 5474 645 | 2.514 % | c | 11560 | 1086 1430 188267 | 8052 5980 645 | 2.514 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 20.7958 s Remaining CPU time: 159.204 s c =============================================================================== c | 12009 | 1086 1431 189169 | 5000 6429 645 | 2.514 % | c | 12111 | 1086 1431 189169 | 5500 3317 642 | 2.514 % | c | 12261 | 1086 1431 189169 | 6050 3467 642 | 2.514 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 21.6077 s Remaining CPU time: 158.392 s c =============================================================================== c | 12402 | 1086 1432 190071 | 5000 3608 642 | 2.514 % | c | 12504 | 1086 1432 190071 | 5500 3710 642 | 2.514 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 22.0137 s Remaining CPU time: 157.986 s c =============================================================================== c | 12630 | 1086 1433 190973 | 5000 3836 642 | 2.514 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 22.1326 s Remaining CPU time: 157.867 s c =============================================================================== c | 12677 | 1086 1434 191875 | 5000 3883 642 | 2.514 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 22.2596 s Remaining CPU time: 157.74 s c =============================================================================== c | 12750 | 1086 1435 192777 | 5000 3956 642 | 2.514 % | c | 12850 | 1086 1435 192777 | 5500 4056 642 | 2.514 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 22.5266 s Remaining CPU time: 157.473 s c =============================================================================== c | 12912 | 1086 1436 193679 | 5000 4118 642 | 2.514 % | c | 13012 | 1086 1436 193679 | 5500 4218 642 | 2.514 % | c | 13164 | 1086 1436 193679 | 6050 4370 642 | 2.514 % | c | 13389 | 1086 1436 193679 | 6655 4595 641 | 2.514 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 23.4684 s Remaining CPU time: 156.532 s c =============================================================================== c | 13538 | 1086 1437 194581 | 5000 4744 641 | 2.514 % | c | 13638 | 1086 1437 194581 | 5500 4844 641 | 2.514 % | c | 13790 | 1086 1437 194581 | 6050 4996 641 | 2.514 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 24.1003 s Remaining CPU time: 155.9 s c =============================================================================== c | 13906 | 1086 1438 195483 | 5000 5112 641 | 2.514 % | c | 14008 | 1086 1438 195483 | 5500 2658 637 | 2.514 % | c | 14158 | 1086 1438 195483 | 6050 2808 637 | 2.514 % | c | 14384 | 1086 1438 195483 | 6655 3034 637 | 2.514 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 25.2432 s Remaining CPU time: 154.757 s c =============================================================================== c | 14600 | 1086 1439 196385 | 5000 3250 637 | 2.514 % | c | 14701 | 1086 1439 196385 | 5500 3351 637 | 2.514 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 25.5901 s Remaining CPU time: 154.41 s c =============================================================================== c | 14790 | 1086 1440 197287 | 5000 3440 637 | 2.514 % | c | 14890 | 1086 1440 197287 | 5500 3540 637 | 2.514 % | c | 15040 | 1086 1440 197287 | 6050 3690 636 | 2.514 % | c | 15265 | 1086 1440 197287 | 6655 3915 636 | 2.514 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 26.62 s Remaining CPU time: 153.38 s c =============================================================================== c | 15461 | 1086 1441 198189 | 5000 4111 636 | 2.514 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 26.8009 s Remaining CPU time: 153.199 s c =============================================================================== c | 15539 | 1086 1442 199091 | 5000 4189 636 | 2.514 % | c | 15641 | 1086 1442 199091 | 5500 4291 636 | 2.514 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 27.1279 s Remaining CPU time: 152.872 s c =============================================================================== c | 15710 | 1086 1443 199993 | 5000 4360 636 | 2.514 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 27.2509 s Remaining CPU time: 152.749 s c =============================================================================== c | 15750 | 1086 1444 200895 | 5000 4400 636 | 2.514 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 27.3898 s Remaining CPU time: 152.61 s c =============================================================================== c | 15813 | 1086 1445 201797 | 5000 4463 636 | 2.514 % | c | 15913 | 1086 1445 201797 | 5500 4563 635 | 2.514 % | c | 16063 | 1086 1445 201797 | 6050 4713 635 | 2.514 % | c | 16289 | 1086 1445 201797 | 6655 4939 635 | 2.514 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 28.7216 s Remaining CPU time: 151.278 s c =============================================================================== c | 16582 | 1086 1446 202699 | 5000 5232 634 | 2.514 % | c | 16682 | 1086 1446 202699 | 5500 2716 629 | 2.514 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 29.1846 s Remaining CPU time: 150.815 s c =============================================================================== c | 16811 | 1086 1447 203601 | 5000 2845 629 | 2.514 % | c | 16911 | 1086 1447 203601 | 5500 2945 629 | 2.514 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 29.4875 s Remaining CPU time: 150.512 s c =============================================================================== c | 16962 | 1086 1448 204503 | 5000 2996 629 | 2.514 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 29.6455 s Remaining CPU time: 150.355 s c =============================================================================== c | 17040 | 1086 1449 205405 | 5000 3074 629 | 2.514 % | c | 17140 | 1086 1449 205405 | 5500 3174 629 | 2.514 % | c | 17292 | 1086 1449 205405 | 6050 3326 628 | 2.514 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 30.2664 s Remaining CPU time: 149.734 s c =============================================================================== c | 17355 | 1086 1450 206307 | 5000 3389 628 | 2.514 % | c | 17455 | 1086 1450 206307 | 5500 3489 628 | 2.514 % | c | 17605 | 1086 1450 206307 | 6050 3639 628 | 2.514 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 30.9213 s Remaining CPU time: 149.079 s c =============================================================================== c | 17724 | 1086 1451 207209 | 5000 3758 628 | 2.514 % | c | 17826 | 1086 1451 207209 | 5500 3860 628 | 2.514 % | c | 17976 | 1086 1451 207209 | 6050 4010 627 | 2.514 % | c | 18202 | 1086 1451 207209 | 6655 4236 627 | 2.514 % | c | 18539 | 1086 1451 207209 | 7320 4573 627 | 2.514 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 32.4971 s Remaining CPU time: 147.503 s c =============================================================================== c | 18721 | 1086 1452 208111 | 5000 4755 626 | 2.514 % | c | 18821 | 1086 1452 208111 | 5500 4855 626 | 2.514 % | c | 18971 | 1086 1452 208111 | 6050 5005 626 | 2.514 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 33.18 s Remaining CPU time: 146.82 s c =============================================================================== c | 19085 | 1086 1453 209013 | 5000 5119 626 | 2.514 % | c | 19185 | 1086 1453 209013 | 5500 2660 620 | 2.514 % | c | 19336 | 1086 1453 209013 | 6050 2811 620 | 2.514 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 33.7549 s Remaining CPU time: 146.245 s c =============================================================================== c | 19402 | 1086 1454 209915 | 5000 2877 620 | 2.514 % | c | 19506 | 1086 1454 209915 | 5500 2981 620 | 2.514 % | c | 19658 | 1086 1454 209915 | 6050 3133 620 | 2.514 % | c | 19883 | 1086 1454 209915 | 6655 3358 620 | 2.514 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 34.9547 s Remaining CPU time: 145.045 s c =============================================================================== c | 20113 | 1086 1455 210817 | 5000 3588 620 | 2.514 % | c | 20216 | 1086 1455 210817 | 5500 3691 620 | 2.514 % | c | 20366 | 1086 1455 210817 | 6050 3841 620 | 2.514 % | c | 20591 | 1086 1455 210817 | 6655 4066 620 | 2.514 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 36.1515 s Remaining CPU time: 143.848 s c =============================================================================== c | 20748 | 1086 1456 211719 | 5000 4223 620 | 2.514 % | c | 20848 | 1086 1456 211719 | 5500 4323 619 | 2.514 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 36.5674 s Remaining CPU time: 143.433 s c =============================================================================== c | 20954 | 1086 1457 212621 | 5000 4429 619 | 2.514 % | c | 21055 | 1086 1457 212621 | 5500 4530 619 | 2.514 % | c | 21206 | 1086 1457 212621 | 6050 4681 619 | 2.514 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 37.2253 s Remaining CPU time: 142.775 s c =============================================================================== c | 21243 | 1086 1458 213523 | 5000 4718 619 | 2.514 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 37.3353 s Remaining CPU time: 142.665 s c =============================================================================== c | 21266 | 1086 1459 214425 | 5000 4741 619 | 2.514 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 37.5493 s Remaining CPU time: 142.451 s c =============================================================================== c | 21359 | 1086 1460 215327 | 5000 4834 619 | 2.514 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 37.7533 s Remaining CPU time: 142.247 s c =============================================================================== c | 21431 | 1086 1461 216229 | 5000 4906 619 | 2.514 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 37.9162 s Remaining CPU time: 142.084 s c =============================================================================== c | 21483 | 1086 1462 217131 | 5000 4958 619 | 2.514 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 38.0682 s Remaining CPU time: 141.932 s c =============================================================================== c | 21528 | 1086 1463 218033 | 5000 5003 619 | 2.514 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 38.2242 s Remaining CPU time: 141.776 s c =============================================================================== c | 21573 | 1086 1464 218935 | 5000 5048 619 | 2.514 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 38.3532 s Remaining CPU time: 141.647 s c =============================================================================== c | 21588 | 1086 1465 219837 | 5000 2539 614 | 2.514 % | c | 21688 | 1086 1465 219837 | 5500 2639 614 | 2.514 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 38.7461 s Remaining CPU time: 141.254 s c =============================================================================== c | 21732 | 1086 1466 220739 | 5000 2683 614 | 2.514 % | c | 21832 | 1086 1466 220739 | 5500 2783 614 | 2.514 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 39.294 s Remaining CPU time: 140.706 s c =============================================================================== c | 21975 | 1086 1467 221641 | 5000 2926 613 | 2.514 % | c | 22075 | 1086 1467 221641 | 5500 3026 613 | 2.514 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 39.675 s Remaining CPU time: 140.325 s c =============================================================================== c | 22114 | 1086 1468 222543 | 5000 3065 613 | 2.514 % | c | 22214 | 1086 1468 222543 | 5500 3165 613 | 2.514 % | c | 22364 | 1086 1468 222543 | 6050 3315 613 | 2.514 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 40.5778 s Remaining CPU time: 139.422 s c =============================================================================== c | 22530 | 1086 1469 223445 | 5000 3481 612 | 2.514 % | c | 22630 | 1086 1469 223445 | 5500 3581 612 | 2.514 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 40.9048 s Remaining CPU time: 139.095 s c =============================================================================== c | 22669 | 1086 1470 224347 | 5000 3620 612 | 2.514 % | c | 22769 | 1086 1470 224347 | 5500 3720 612 | 2.514 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 41.3147 s Remaining CPU time: 138.685 s c =============================================================================== c | 22823 | 1086 1471 225249 | 5000 3774 611 | 2.514 % | c | 22923 | 1086 1471 225249 | 5500 3874 611 | 2.514 % | c | 23075 | 1086 1471 225249 | 6050 4026 611 | 2.514 % | c | 23300 | 1086 1471 225249 | 6655 4251 610 | 2.514 % | c | 23637 | 1086 1471 225249 | 7320 4588 610 | 2.514 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 43.5024 s Remaining CPU time: 136.498 s c =============================================================================== c | 23816 | 1086 1472 226151 | 5000 4767 610 | 2.514 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 43.6994 s Remaining CPU time: 136.301 s c =============================================================================== c | 23903 | 1086 1473 227053 | 5000 4854 609 | 2.514 % | c | 24003 | 1086 1473 227053 | 5500 4954 609 | 2.514 % | c | 24153 | 1086 1473 227053 | 6050 5104 609 | 2.514 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 44.6142 s Remaining CPU time: 135.386 s c =============================================================================== c | 24293 | 1086 1474 227955 | 5000 5244 609 | 2.514 % | c | 24393 | 1086 1474 227955 | 5500 2722 600 | 2.514 % | c | 24544 | 1086 1474 227955 | 6050 2873 600 | 2.514 % | c | 24770 | 1086 1474 227955 | 6655 3099 600 | 2.514 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 46.148 s Remaining CPU time: 133.852 s c =============================================================================== c | 24973 | 1086 1475 228857 | 5000 3302 600 | 2.514 % | c | 25073 | 1086 1475 228857 | 5500 3402 600 | 2.514 % | c | 25223 | 1086 1475 228857 | 6050 3552 600 | 2.514 % | c | 25448 | 1086 1475 228857 | 6655 3777 600 | 2.514 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 47.9647 s Remaining CPU time: 132.035 s c =============================================================================== c | 25765 | 1086 1476 229759 | 5000 4094 600 | 2.514 % | c | 25865 | 1086 1476 229759 | 5500 4194 600 | 2.514 % | c | 26016 | 1086 1476 229759 | 6050 4345 600 | 2.514 % | c | 26241 | 1086 1476 229759 | 6655 4570 600 | 2.514 % | c | 26578 | 1086 1476 229759 | 7320 4907 600 | 2.514 % | c | 27085 | 1086 1476 229759 | 8052 5414 600 | 2.514 % | c | 27844 | 1086 1476 229759 | 8857 6173 600 | 2.514 % | c | 28984 | 1086 1476 229759 | 9743 7313 601 | 2.514 % | c | 30695 | 1086 1476 229759 | 10717 9024 601 | 2.514 % | c | 33257 | 1086 1476 229759 | 11789 5881 602 | 2.514 % | c | 37101 | 1086 1476 229759 | 12968 9725 603 | 2.514 % | c | 42868 | 1086 1476 229759 | 14265 8660 603 | 2.514 % | c | 51517 | 1086 1476 229759 | 15692 9818 603 | 2.514 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 93.6628 s Remaining CPU time: 86.3372 s c =============================================================================== c | 52674 | 1086 1477 230661 | 5000 10975 603 | 2.514 % | c | 52774 | 1086 1477 230661 | 5500 2844 603 | 2.514 % | c | 52924 | 1086 1477 230661 | 6050 2994 603 | 2.514 % | c | 53151 | 1086 1477 230661 | 6655 3221 603 | 2.514 % | c | 53490 | 1086 1477 230661 | 7320 3560 603 | 2.514 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 96.4323 s Remaining CPU time: 83.5677 s c =============================================================================== c | 53986 | 1086 1478 231563 | 5000 4056 603 | 2.514 % | c | 54086 | 1086 1478 231563 | 5500 4156 603 | 2.514 % | c | 54239 | 1086 1478 231563 | 6050 4309 603 | 2.514 % | c | 54465 | 1086 1478 231563 | 6655 4535 603 | 2.514 % | c | 54802 | 1086 1478 231563 | 7320 4872 603 | 2.514 % | c | 55308 | 1086 1478 231563 | 8052 5378 603 | 2.514 % | c | 56067 | 1086 1478 231563 | 8857 6137 603 | 2.514 % | c | 57207 | 1086 1478 231563 | 9743 7277 603 | 2.514 % | c | 58915 | 1086 1478 231563 | 10717 8985 602 | 2.514 % | c | 61478 | 1086 1478 231563 | 11789 5827 601 | 2.514 % | c | 65322 | 1086 1478 231563 | 12968 9671 600 | 2.514 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 116.128 s Remaining CPU time: 63.8717 s c =============================================================================== c | 66563 | 1086 1479 232465 | 5000 10912 600 | 2.514 % | c | 66663 | 1086 1479 232465 | 5500 2828 597 | 2.514 % | c | 66814 | 1086 1479 232465 | 6050 2979 597 | 2.514 % | c | 67041 | 1086 1479 232465 | 6655 3206 597 | 2.514 % | c | 67378 | 1086 1479 232465 | 7320 3543 597 | 2.514 % | c | 67884 | 1086 1479 232465 | 8052 4049 597 | 2.514 % | c | 68645 | 1086 1479 232465 | 8857 4810 597 | 2.514 % | c | 69786 | 1086 1479 232465 | 9743 5951 597 | 2.514 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 121.911 s Remaining CPU time: 58.0885 s c =============================================================================== c | 70249 | 1086 1480 233367 | 5000 6414 597 | 2.514 % | c | 70351 | 1086 1480 233367 | 5500 3309 595 | 2.514 % | c | 70502 | 1086 1480 233367 | 6050 3460 595 | 2.514 % | c | 70729 | 1086 1480 233367 | 6655 3687 595 | 2.514 % | c | 71067 | 1086 1480 233367 | 7320 4025 595 | 2.514 % | c | 71573 | 1086 1480 233367 | 8052 4531 595 | 2.514 % | c | 72332 | 1086 1480 233367 | 8857 5290 596 | 2.514 % | c | 73473 | 1086 1480 233367 | 9743 6431 596 | 2.514 % | c | 75181 | 1086 1480 233367 | 10717 8139 597 | 2.514 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 129.922 s Remaining CPU time: 50.0778 s c =============================================================================== c | 75378 | 1086 1481 234269 | 5000 8336 596 | 2.514 % | c | 75478 | 1086 1481 234269 | 5500 4268 596 | 2.514 % | c | 75628 | 1086 1481 234269 | 6050 4418 596 | 2.514 % | c | 75853 | 1086 1481 234269 | 6655 4643 596 | 2.514 % | c | 76192 | 1086 1481 234269 | 7320 4982 596 | 2.514 % | c | 76698 | 1086 1481 234269 | 8052 5488 596 | 2.514 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 133.614 s Remaining CPU time: 46.3863 s c =============================================================================== c | 77363 | 1086 1482 235171 | 5000 6153 596 | 2.514 % | c | 77464 | 1086 1482 235171 | 5500 3178 594 | 2.514 % | c | 77614 | 1086 1482 235171 | 6050 3328 594 | 2.514 % | c | 77839 | 1086 1482 235171 | 6655 3553 594 | 2.514 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 134.728 s Remaining CPU time: 45.2725 s c =============================================================================== c | 77902 | 1086 1483 236073 | 5000 3616 594 | 2.514 % | c | 78002 | 1086 1483 236073 | 5500 3716 594 | 2.514 % | c | 78152 | 1086 1483 236073 | 6050 3866 594 | 2.514 % | c | 78378 | 1086 1483 236073 | 6655 4092 594 | 2.514 % | c | 78715 | 1086 1483 236073 | 7320 4429 594 | 2.514 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 136.496 s Remaining CPU time: 43.5038 s c =============================================================================== c | 78978 | 1086 1484 236975 | 5000 4692 594 | 2.514 % | c | 79078 | 1086 1484 236975 | 5500 4792 594 | 2.514 % | c | 79228 | 1086 1484 236975 | 6050 4942 594 | 2.514 % | c | 79453 | 1086 1484 236975 | 6655 5167 594 | 2.514 % | c | 79792 | 1086 1484 236975 | 7320 5506 594 | 2.514 % | c | 80298 | 1086 1484 236975 | 8052 6012 594 | 2.514 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 139.419 s Remaining CPU time: 40.5812 s c =============================================================================== c | 80938 | 1086 1485 237877 | 5000 6652 594 | 2.514 % | c | 81038 | 1086 1485 237877 | 5500 3426 593 | 2.514 % | c | 81188 | 1086 1485 237877 | 6050 3576 593 | 2.514 % | c | 81413 | 1086 1485 237877 | 6655 3801 593 | 2.514 % | c | 81750 | 1086 1485 237877 | 7320 4138 593 | 2.514 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 141.075 s Remaining CPU time: 38.9254 s c =============================================================================== c | 82034 | 1086 1486 238779 | 5000 4422 593 | 2.514 % | c | 82136 | 1086 1486 238779 | 5500 4524 593 | 2.514 % | c | 82286 | 1086 1486 238779 | 6050 4674 593 | 2.514 % | c | 82511 | 1086 1486 238779 | 6655 4899 593 | 2.514 % | c | 82848 | 1086 1486 238779 | 7320 5236 593 | 2.514 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 142.694 s Remaining CPU time: 37.3057 s c =============================================================================== c | 82877 | 1086 1487 239681 | 5000 5265 593 | 2.514 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 142.793 s Remaining CPU time: 37.2067 s c =============================================================================== c | 82890 | 1086 1488 240583 | 5000 2646 592 | 2.514 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 142.895 s Remaining CPU time: 37.1047 s c =============================================================================== c | 82925 | 1086 1489 241485 | 5000 2681 592 | 2.514 % | c | 83026 | 1086 1489 241485 | 5500 2782 592 | 2.514 % | c | 83176 | 1086 1489 241485 | 6050 2932 591 | 2.514 % | c | 83401 | 1086 1489 241485 | 6655 3157 591 | 2.514 % | c | 83738 | 1086 1489 241485 | 7320 3494 591 | 2.514 % | c | 84244 | 1086 1489 241485 | 8052 4000 591 | 2.514 % | c | 85005 | 1086 1489 241485 | 8857 4761 590 | 2.514 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 146.449 s Remaining CPU time: 33.5513 s c =============================================================================== c | 85048 | 1086 1490 242387 | 5000 4804 590 | 2.514 % | c | 85148 | 1086 1490 242387 | 5500 4904 590 | 2.514 % | c | 85298 | 1086 1490 242387 | 6050 5054 590 | 2.514 % | c | 85524 | 1086 1490 242387 | 6655 5280 590 | 2.514 % | c | 85861 | 1086 1490 242387 | 7320 5617 590 | 2.514 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 148.439 s Remaining CPU time: 31.5606 s c =============================================================================== c | 86184 | 1086 1491 243289 | 5000 5940 590 | 2.514 % | c | 86287 | 1086 1491 243289 | 5500 3073 587 | 2.514 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 149 s Remaining CPU time: 30.9997 s c =============================================================================== c | 86420 | 1086 1492 244191 | 5000 3206 587 | 2.514 % | c | 86520 | 1086 1492 244191 | 5500 3306 587 | 2.514 % | c | 86672 | 1086 1492 244191 | 6050 3458 587 | 2.514 % | c | 86897 | 1086 1492 244191 | 6655 3683 587 | 2.514 % | c | 87234 | 1086 1492 244191 | 7320 4020 587 | 2.514 % | c | 87740 | 1086 1492 244191 | 8052 4526 587 | 2.514 % | c | 88499 | 1086 1492 244191 | 8857 5285 587 | 2.514 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 153.816 s Remaining CPU time: 26.1844 s c =============================================================================== c | 88907 | 1086 1493 245093 | 5000 5693 586 | 2.514 % | c | 89007 | 1086 1493 245093 | 5500 2947 584 | 2.514 % | c | 89157 | 1086 1493 245093 | 6050 3097 584 | 2.514 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 154.544 s Remaining CPU time: 25.4565 s c =============================================================================== c | 89227 | 1086 1494 245995 | 5000 3167 584 | 2.514 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 154.733 s Remaining CPU time: 25.2665 s c =============================================================================== c | 89316 | 1086 1495 246897 | 5000 3256 584 | 2.514 % | c | 89417 | 1086 1495 246897 | 5500 3357 584 | 2.514 % | c | 89567 | 1086 1495 246897 | 6050 3507 584 | 2.514 % | c | 89793 | 1086 1495 246897 | 6655 3733 584 | 2.514 % | c | 90131 | 1086 1495 246897 | 7320 4071 584 | 2.514 % | c | 90637 | 1086 1495 246897 | 8052 4577 583 | 2.514 % | c | 91396 | 1086 1495 246897 | 8857 5336 583 | 2.514 % | c | 92535 | 1086 1495 246897 | 9743 6475 583 | 2.514 % | c | 94243 | 1086 1495 246897 | 10717 8183 583 | 2.514 % | c | 96806 | 1086 1495 246897 | 11789 10746 583 | 2.514 % | c | 100650 | 1086 1495 246897 | 12968 8363 584 | 2.514 % | 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 | 596 2425 4889 | 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 | 658 2426 5044 | 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 | 706 2427 5117 | 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 | 782 2428 5232 | 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 | 856 2429 5344 | 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 | 909 2430 5428 | 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 | 997 2431 5564 | 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 | 1137 2432 5781 | 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 | 1268 2434 5991 | 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 | 1432 2437 14376 | 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 | 1587 2439 75957 | 5000 0 nan | 0.000 % | c | 102 | 1587 2439 75957 | 5500 102 23 | 15.898 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1869 2442 137795 | 5000 0 nan | 0.000 % | c | 101 | 1869 2442 137795 | 5500 101 26 | 11.042 % | c | 251 | 1869 2442 137795 | 6050 251 24 | 11.043 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2396 2448 236172 | 5000 0 nan | 0.000 % | c | 100 | 2396 2448 236172 | 5500 100 29 | 4.921 % | c | 250 | 2396 2448 236172 | 6050 250 20 | 4.921 % | c | 475 | 2395 2448 236172 | 6655 475 18 | 5.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2891 2451 252451 | 5000 0 nan | 0.000 % | c | 103 | 2891 2451 252451 | 5500 103 32 | 2.463 % | c | 253 | 2891 2451 252451 | 6050 253 23 | 2.463 % | c | 479 | 2891 2451 252451 | 6655 479 20 | 2.463 % | c | 817 | 2891 2451 252451 | 7320 817 20 | 2.463 % | c | 1323 | 2891 2451 252451 | 8052 1323 19 | 2.463 % | c | 2086 | 2891 2451 252451 | 8857 2086 17 | 2.463 % | c | 3225 | 2891 2451 252451 | 9743 3225 17 | 2.463 % | c | 4933 | 2891 2451 252451 | 10717 4933 17 | 2.463 % | c | 7496 | 2891 2451 252451 | 11789 7496 18 | 2.463 % | c | 11340 | 2891 2451 252451 | 12968 11340 18 | 2.463 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3536 2498 253856 | 5000 0 nan | 0.000 % | c | 101 | 3536 2498 253856 | 5500 101 48 | 1.394 % | c | 254 | 3536 2498 253856 | 6050 254 36 | 1.394 % | c | 480 | 3536 2498 253856 | 6655 480 27 | 1.394 % | c | 817 | 3536 2498 253856 | 7320 817 31 | 1.394 % | c | 1323 | 3536 2498 253856 | 8052 1323 33 | 1.394 % | c | 2082 | 3536 2498 253856 | 8857 2082 33 | 1.394 % | c | 3222 | 3536 2498 253856 | 9743 3222 30 | 1.394 % | c | 4931 | 3536 2498 253856 | 10717 4931 29 | 1.394 % | c | 7498 | 3536 2498 253856 | 11789 7498 33 | 1.394 % | c | 11343 | 3536 2498 253856 | 12968 11343 38 | 1.394 % | c | 17109 | 3536 2498 253856 | 14265 10355 38 | 1.394 % | c | 25758 | 3536 2498 253856 | 15692 11804 40 | 1.394 % | c | 38733 | 3536 2498 253856 | 17261 8975 31 | 1.394 % | c | 58194 | 3534 2498 253856 | 18987 7795 20 | 1.450 % | c | 87387 | 3532 2498 253856 | 20886 13797 33 | 1.506 % | c | 131180 | 3532 2498 253856 | 22974 15547 34 | 1.506 % | c | 196864 | 3532 2498 253856 | 25272 11916 28 | 1.506 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4463 2534 255796 | 5000 0 nan | 0.000 % | c | 100 | 4463 2534 255796 | 5500 100 33 | 0.690 % | c | 250 | 4463 2534 255796 | 6050 250 27 | 0.690 % | c | 476 | 4463 2534 255796 | 6655 476 25 | 0.690 % | c | 813 | 4463 2534 255796 | 7320 813 29 | 0.690 % | c | 1319 | 4463 2534 255796 | 8052 1319 35 | 0.690 % | c | 2079 | 4463 2534 255796 | 8857 2079 38 | 0.690 % | c | 3218 | 4463 2534 255796 | 9743 3218 39 | 0.690 % | c | 4927 | 4463 2534 255796 | 10717 4927 35 | 0.690 % | c | 7490 | 4463 2534 255796 | 11789 7490 36 | 0.690 % | c | 11335 | 4463 2534 255796 | 12968 11335 35 | 0.690 % | c | 17102 | 4463 2534 255796 | 14265 10503 36 | 0.690 % | c | 25751 | 4463 2534 255796 | 15692 11965 39 | 0.690 % | c | 38725 | 4463 2534 255796 | 17261 9102 42 | 0.690 % | c | 58187 | 4463 2534 255796 | 18987 11224 32 | 0.690 % | c | 87379 | 4463 2534 255796 | 20886 11709 37 | 0.690 % | c | 131169 | 4463 2534 255796 | 22974 13445 34 | 0.690 % | c | 196853 | 4463 2534 255796 | 25272 21288 45 | 0.690 % | c | 295381 | 4463 2534 255796 | 27799 15849 38 | 0.690 % |