c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 1258 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1154 | c | Number Clauses: 1238 | 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 | 1126 1266 4706 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 877 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1126 1267 5599 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 876 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1126 1268 6492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 875 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1126 1269 7385 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 874 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1126 1270 8278 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 873 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1126 1271 9171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 872 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1126 1272 10064 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 871 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1126 1273 10957 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 870 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1126 1274 11850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 869 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1126 1275 12743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 868 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1126 1276 13636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 867 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1126 1277 14529 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 866 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1126 1278 15422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 865 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1126 1279 16315 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 864 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1126 1280 17208 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 863 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1126 1281 18101 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 862 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 1126 1282 18994 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 861 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 1126 1283 19887 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 860 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 1126 1284 20780 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 859 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 1126 1285 21673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 858 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 1126 1286 22566 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 857 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 1126 1287 23459 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 856 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 1126 1288 24352 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 855 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 1126 1289 25245 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 854 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 0 | 1126 1290 26138 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 853 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 0 | 1126 1291 27031 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 852 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 0 | 1126 1292 27924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 851 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 0 | 1126 1293 28817 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 850 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 0 | 1126 1294 29710 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 849 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 0 | 1126 1295 30603 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 848 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 0 | 1126 1296 31496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 847 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 0 | 1126 1297 32389 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 846 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 0 | 1126 1298 33282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 845 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 0 | 1126 1299 34175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 844 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 0 | 1126 1300 35068 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 843 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 0 | 1126 1301 35961 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 842 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 0 | 1126 1302 36854 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 841 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 0 | 1126 1303 37747 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 840 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 0 | 1126 1304 38640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 839 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 0 | 1126 1305 39533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 838 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s c =============================================================================== c | 0 | 1126 1306 40426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 837 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 0 | 1126 1307 41319 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 836 c Elapsed CPU time: 0.281957 s Remaining CPU time: 179.718 s c =============================================================================== c | 0 | 1126 1308 42212 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 835 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s c =============================================================================== c | 0 | 1126 1309 43105 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 834 c Elapsed CPU time: 0.308953 s Remaining CPU time: 179.691 s c =============================================================================== c | 0 | 1126 1310 43998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 833 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 0 | 1126 1311 44891 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 832 c Elapsed CPU time: 0.338948 s Remaining CPU time: 179.661 s c =============================================================================== c | 0 | 1126 1312 45784 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 831 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 0 | 1126 1313 46677 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 830 c Elapsed CPU time: 0.367944 s Remaining CPU time: 179.632 s c =============================================================================== c | 0 | 1126 1314 47570 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 829 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 0 | 1126 1315 48463 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 828 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s c =============================================================================== c | 0 | 1126 1316 49356 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 827 c Elapsed CPU time: 0.415936 s Remaining CPU time: 179.584 s c =============================================================================== c | 0 | 1126 1317 50249 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 826 c Elapsed CPU time: 0.431934 s Remaining CPU time: 179.568 s c =============================================================================== c | 0 | 1126 1318 51142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 825 c Elapsed CPU time: 0.445932 s Remaining CPU time: 179.554 s c =============================================================================== c | 0 | 1126 1319 52035 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 824 c Elapsed CPU time: 0.463929 s Remaining CPU time: 179.536 s c =============================================================================== c | 0 | 1126 1320 52928 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 823 c Elapsed CPU time: 0.478927 s Remaining CPU time: 179.521 s c =============================================================================== c | 0 | 1126 1321 53821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 822 c Elapsed CPU time: 0.495924 s Remaining CPU time: 179.504 s c =============================================================================== c | 0 | 1126 1322 54714 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 821 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 0 | 1126 1323 55607 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 820 c Elapsed CPU time: 0.532918 s Remaining CPU time: 179.467 s c =============================================================================== c | 0 | 1126 1324 56500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 819 c Elapsed CPU time: 0.550916 s Remaining CPU time: 179.449 s c =============================================================================== c | 0 | 1126 1325 57393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 818 c Elapsed CPU time: 0.565913 s Remaining CPU time: 179.434 s c =============================================================================== c | 0 | 1126 1326 58286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 817 c Elapsed CPU time: 0.584911 s Remaining CPU time: 179.415 s c =============================================================================== c | 0 | 1126 1327 59179 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 816 c Elapsed CPU time: 0.603908 s Remaining CPU time: 179.396 s c =============================================================================== c | 0 | 1126 1328 60072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 815 c Elapsed CPU time: 0.623905 s Remaining CPU time: 179.376 s c =============================================================================== c | 0 | 1126 1329 60965 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 814 c Elapsed CPU time: 0.641902 s Remaining CPU time: 179.358 s c =============================================================================== c | 0 | 1126 1330 61858 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 813 c Elapsed CPU time: 0.661899 s Remaining CPU time: 179.338 s c =============================================================================== c | 0 | 1126 1331 62751 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 812 c Elapsed CPU time: 0.679896 s Remaining CPU time: 179.32 s c =============================================================================== c | 0 | 1126 1332 63644 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 811 c Elapsed CPU time: 0.700893 s Remaining CPU time: 179.299 s c =============================================================================== c | 0 | 1126 1333 64537 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 810 c Elapsed CPU time: 0.71889 s Remaining CPU time: 179.281 s c =============================================================================== c | 0 | 1126 1334 65430 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 809 c Elapsed CPU time: 0.738887 s Remaining CPU time: 179.261 s c =============================================================================== c | 0 | 1126 1335 66323 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 808 c Elapsed CPU time: 0.758884 s Remaining CPU time: 179.241 s c =============================================================================== c | 0 | 1126 1336 67216 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 807 c Elapsed CPU time: 0.776881 s Remaining CPU time: 179.223 s c =============================================================================== c | 0 | 1126 1337 68109 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 806 c Elapsed CPU time: 0.795879 s Remaining CPU time: 179.204 s c =============================================================================== c | 0 | 1126 1338 69002 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 805 c Elapsed CPU time: 0.817875 s Remaining CPU time: 179.182 s c =============================================================================== c | 0 | 1126 1339 69895 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 804 c Elapsed CPU time: 0.837872 s Remaining CPU time: 179.162 s c =============================================================================== c | 0 | 1126 1340 70788 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 803 c Elapsed CPU time: 0.858869 s Remaining CPU time: 179.141 s c =============================================================================== c | 0 | 1126 1341 71681 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 802 c Elapsed CPU time: 0.880866 s Remaining CPU time: 179.119 s c =============================================================================== c | 0 | 1126 1342 72574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 801 c Elapsed CPU time: 0.902862 s Remaining CPU time: 179.097 s c =============================================================================== c | 0 | 1126 1343 73467 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 800 c Elapsed CPU time: 0.925859 s Remaining CPU time: 179.074 s c =============================================================================== c | 0 | 1126 1344 74360 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 799 c Elapsed CPU time: 0.947855 s Remaining CPU time: 179.052 s c =============================================================================== c | 0 | 1126 1345 75253 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 798 c Elapsed CPU time: 0.970852 s Remaining CPU time: 179.029 s c =============================================================================== c | 0 | 1126 1346 76146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 797 c Elapsed CPU time: 0.992849 s Remaining CPU time: 179.007 s c =============================================================================== c | 0 | 1126 1347 77039 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 796 c Elapsed CPU time: 1.01585 s Remaining CPU time: 178.984 s c =============================================================================== c | 0 | 1126 1348 77932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 795 c Elapsed CPU time: 1.03884 s Remaining CPU time: 178.961 s c =============================================================================== c | 0 | 1126 1349 78825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 794 c Elapsed CPU time: 1.06184 s Remaining CPU time: 178.938 s c =============================================================================== c | 0 | 1126 1350 79718 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 793 c Elapsed CPU time: 1.08583 s Remaining CPU time: 178.914 s c =============================================================================== c | 0 | 1126 1351 80611 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 792 c Elapsed CPU time: 1.10883 s Remaining CPU time: 178.891 s c =============================================================================== c | 0 | 1126 1352 81504 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 791 c Elapsed CPU time: 1.13783 s Remaining CPU time: 178.862 s c =============================================================================== c | 0 | 1126 1353 82397 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 790 c Elapsed CPU time: 1.16482 s Remaining CPU time: 178.835 s c =============================================================================== c | 0 | 1126 1354 83290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 789 c Elapsed CPU time: 1.19382 s Remaining CPU time: 178.806 s c =============================================================================== c | 0 | 1126 1355 84183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 788 c Elapsed CPU time: 1.22381 s Remaining CPU time: 178.776 s c =============================================================================== c | 0 | 1126 1356 85076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 787 c Elapsed CPU time: 1.25281 s Remaining CPU time: 178.747 s c =============================================================================== c | 0 | 1126 1357 85969 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 786 c Elapsed CPU time: 1.28181 s Remaining CPU time: 178.718 s c =============================================================================== c | 0 | 1126 1358 86862 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 785 c Elapsed CPU time: 1.3108 s Remaining CPU time: 178.689 s c =============================================================================== c | 0 | 1126 1359 87755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 784 c Elapsed CPU time: 1.3418 s Remaining CPU time: 178.658 s c =============================================================================== c | 0 | 1126 1360 88648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 783 c Elapsed CPU time: 1.37179 s Remaining CPU time: 178.628 s c =============================================================================== c | 0 | 1126 1361 89541 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 782 c Elapsed CPU time: 1.40279 s Remaining CPU time: 178.597 s c =============================================================================== c | 0 | 1126 1362 90434 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 781 c Elapsed CPU time: 1.43278 s Remaining CPU time: 178.567 s c =============================================================================== c | 0 | 1126 1363 91327 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 780 c Elapsed CPU time: 1.46478 s Remaining CPU time: 178.535 s c =============================================================================== c | 0 | 1126 1364 92220 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 779 c Elapsed CPU time: 1.49677 s Remaining CPU time: 178.503 s c =============================================================================== c | 0 | 1126 1365 93113 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 778 c Elapsed CPU time: 1.52877 s Remaining CPU time: 178.471 s c =============================================================================== c | 0 | 1126 1366 94006 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 777 c Elapsed CPU time: 1.56276 s Remaining CPU time: 178.437 s c =============================================================================== c | 0 | 1126 1367 94899 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 776 c Elapsed CPU time: 1.59676 s Remaining CPU time: 178.403 s c =============================================================================== c | 0 | 1126 1368 95792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 775 c Elapsed CPU time: 1.63075 s Remaining CPU time: 178.369 s c =============================================================================== c | 0 | 1126 1369 96685 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 774 c Elapsed CPU time: 1.66275 s Remaining CPU time: 178.337 s c =============================================================================== c | 0 | 1126 1370 97578 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 773 c Elapsed CPU time: 1.69774 s Remaining CPU time: 178.302 s c =============================================================================== c | 0 | 1126 1371 98471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 772 c Elapsed CPU time: 1.73374 s Remaining CPU time: 178.266 s c =============================================================================== c | 0 | 1126 1372 99364 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 771 c Elapsed CPU time: 1.76773 s Remaining CPU time: 178.232 s c =============================================================================== c | 0 | 1126 1373 100257 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 770 c Elapsed CPU time: 1.80472 s Remaining CPU time: 178.195 s c =============================================================================== c | 0 | 1126 1374 101150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 769 c Elapsed CPU time: 1.84072 s Remaining CPU time: 178.159 s c =============================================================================== c | 0 | 1126 1375 102043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 768 c Elapsed CPU time: 1.87671 s Remaining CPU time: 178.123 s c =============================================================================== c | 0 | 1126 1376 102936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 767 c Elapsed CPU time: 1.91271 s Remaining CPU time: 178.087 s c =============================================================================== c | 0 | 1126 1377 103829 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 766 c Elapsed CPU time: 1.9487 s Remaining CPU time: 178.051 s c =============================================================================== c | 0 | 1126 1378 104722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 765 c Elapsed CPU time: 1.9867 s Remaining CPU time: 178.013 s c =============================================================================== c | 0 | 1126 1379 105615 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 764 c Elapsed CPU time: 2.02469 s Remaining CPU time: 177.975 s c =============================================================================== c | 0 | 1126 1380 106508 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 763 c Elapsed CPU time: 2.06269 s Remaining CPU time: 177.937 s c =============================================================================== c | 0 | 1126 1381 107401 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 762 c Elapsed CPU time: 2.10068 s Remaining CPU time: 177.899 s c =============================================================================== c | 0 | 1126 1382 108294 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 761 c Elapsed CPU time: 2.13867 s Remaining CPU time: 177.861 s c =============================================================================== c | 0 | 1126 1383 109187 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 760 c Elapsed CPU time: 2.17867 s Remaining CPU time: 177.821 s c =============================================================================== c | 0 | 1126 1384 110080 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 759 c Elapsed CPU time: 2.21766 s Remaining CPU time: 177.782 s c =============================================================================== c | 0 | 1126 1385 110973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 758 c Elapsed CPU time: 2.25766 s Remaining CPU time: 177.742 s c =============================================================================== c | 0 | 1126 1386 111866 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 757 c Elapsed CPU time: 2.29765 s Remaining CPU time: 177.702 s c =============================================================================== c | 0 | 1126 1387 112759 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 756 c Elapsed CPU time: 2.33764 s Remaining CPU time: 177.662 s c =============================================================================== c | 0 | 1126 1388 113652 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 755 c Elapsed CPU time: 2.38764 s Remaining CPU time: 177.612 s c =============================================================================== c | 0 | 1126 1389 114545 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 754 c Elapsed CPU time: 2.43763 s Remaining CPU time: 177.562 s c =============================================================================== c | 0 | 1126 1390 115438 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 753 c Elapsed CPU time: 2.48962 s Remaining CPU time: 177.51 s c =============================================================================== c | 0 | 1126 1391 116331 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 752 c Elapsed CPU time: 2.54261 s Remaining CPU time: 177.457 s c =============================================================================== c | 0 | 1126 1392 117224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 751 c Elapsed CPU time: 2.59661 s Remaining CPU time: 177.403 s c =============================================================================== c | 0 | 1126 1393 118117 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 750 c Elapsed CPU time: 2.6496 s Remaining CPU time: 177.35 s c =============================================================================== c | 0 | 1126 1394 119010 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 749 c Elapsed CPU time: 2.70259 s Remaining CPU time: 177.297 s c =============================================================================== c | 0 | 1126 1395 119903 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 748 c Elapsed CPU time: 2.75558 s Remaining CPU time: 177.244 s c =============================================================================== c | 0 | 1126 1396 120796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 747 c Elapsed CPU time: 2.80957 s Remaining CPU time: 177.19 s c =============================================================================== c | 0 | 1126 1397 121689 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 746 c Elapsed CPU time: 2.86456 s Remaining CPU time: 177.135 s c =============================================================================== c | 0 | 1126 1398 122582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 745 c Elapsed CPU time: 2.91956 s Remaining CPU time: 177.08 s c =============================================================================== c | 0 | 1126 1399 123475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 744 c Elapsed CPU time: 2.97455 s Remaining CPU time: 177.025 s c =============================================================================== c | 0 | 1126 1400 124368 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 743 c Elapsed CPU time: 3.03054 s Remaining CPU time: 176.969 s c =============================================================================== c | 0 | 1126 1401 125261 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 742 c Elapsed CPU time: 3.08653 s Remaining CPU time: 176.913 s c =============================================================================== c | 0 | 1126 1402 126154 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 741 c Elapsed CPU time: 3.14252 s Remaining CPU time: 176.857 s c =============================================================================== c | 0 | 1126 1403 127047 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 740 c Elapsed CPU time: 3.19851 s Remaining CPU time: 176.801 s c =============================================================================== c | 0 | 1126 1404 127940 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 739 c Elapsed CPU time: 3.2565 s Remaining CPU time: 176.743 s c =============================================================================== c | 0 | 1126 1405 128833 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 738 c Elapsed CPU time: 3.3135 s Remaining CPU time: 176.687 s c =============================================================================== c | 0 | 1126 1406 129726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 737 c Elapsed CPU time: 3.37349 s Remaining CPU time: 176.627 s c =============================================================================== c | 0 | 1126 1407 130619 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 736 c Elapsed CPU time: 3.43248 s Remaining CPU time: 176.568 s c =============================================================================== c | 0 | 1126 1408 131512 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 735 c Elapsed CPU time: 3.49247 s Remaining CPU time: 176.508 s c =============================================================================== c | 0 | 1126 1409 132405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 734 c Elapsed CPU time: 3.55146 s Remaining CPU time: 176.449 s c =============================================================================== c | 0 | 1126 1410 133298 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 733 c Elapsed CPU time: 3.61145 s Remaining CPU time: 176.389 s c =============================================================================== c | 0 | 1126 1411 134191 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 732 c Elapsed CPU time: 3.67144 s Remaining CPU time: 176.329 s c =============================================================================== c | 0 | 1126 1412 135084 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 731 c Elapsed CPU time: 3.73143 s Remaining CPU time: 176.269 s c =============================================================================== c | 0 | 1126 1413 135977 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 730 c Elapsed CPU time: 3.79142 s Remaining CPU time: 176.209 s c =============================================================================== c | 0 | 1126 1414 136870 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 729 c Elapsed CPU time: 3.85141 s Remaining CPU time: 176.149 s c =============================================================================== c | 0 | 1126 1415 137763 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 728 c Elapsed CPU time: 3.91141 s Remaining CPU time: 176.089 s c =============================================================================== c | 0 | 1126 1416 138656 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 727 c Elapsed CPU time: 3.9694 s Remaining CPU time: 176.031 s c =============================================================================== c | 0 | 1126 1417 139549 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 726 c Elapsed CPU time: 4.02939 s Remaining CPU time: 175.971 s c =============================================================================== c | 0 | 1126 1418 140442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 725 c Elapsed CPU time: 4.09038 s Remaining CPU time: 175.91 s c =============================================================================== c | 0 | 1126 1419 141335 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 724 c Elapsed CPU time: 4.15037 s Remaining CPU time: 175.85 s c =============================================================================== c | 0 | 1126 1420 142228 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 723 c Elapsed CPU time: 4.21036 s Remaining CPU time: 175.79 s c =============================================================================== c | 0 | 1126 1421 143121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 722 c Elapsed CPU time: 4.26935 s Remaining CPU time: 175.731 s c =============================================================================== c | 0 | 1126 1422 144014 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 721 c Elapsed CPU time: 4.33034 s Remaining CPU time: 175.67 s c =============================================================================== c | 0 | 1126 1423 144907 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 720 c Elapsed CPU time: 4.39333 s Remaining CPU time: 175.607 s c =============================================================================== c | 0 | 1126 1424 145800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 719 c Elapsed CPU time: 4.45632 s Remaining CPU time: 175.544 s c =============================================================================== c | 0 | 1126 1425 146693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 718 c Elapsed CPU time: 4.51931 s Remaining CPU time: 175.481 s c =============================================================================== c | 0 | 1126 1426 147586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 717 c Elapsed CPU time: 4.5803 s Remaining CPU time: 175.42 s c =============================================================================== c | 0 | 1126 1427 148479 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 716 c Elapsed CPU time: 4.64329 s Remaining CPU time: 175.357 s c =============================================================================== c | 0 | 1126 1428 149372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 715 c Elapsed CPU time: 4.70628 s Remaining CPU time: 175.294 s c =============================================================================== c | 0 | 1126 1429 150265 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 714 c Elapsed CPU time: 4.76927 s Remaining CPU time: 175.231 s c =============================================================================== c | 0 | 1126 1430 151158 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 713 c Elapsed CPU time: 4.83127 s Remaining CPU time: 175.169 s c =============================================================================== c | 0 | 1126 1431 152051 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 712 c Elapsed CPU time: 4.89426 s Remaining CPU time: 175.106 s c =============================================================================== c | 0 | 1126 1432 152944 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 711 c Elapsed CPU time: 4.95625 s Remaining CPU time: 175.044 s c =============================================================================== c | 0 | 1126 1433 153837 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 710 c Elapsed CPU time: 5.01724 s Remaining CPU time: 174.983 s c =============================================================================== c | 0 | 1126 1434 154730 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 709 c Elapsed CPU time: 5.07823 s Remaining CPU time: 174.922 s c =============================================================================== c | 0 | 1126 1435 155623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 708 c Elapsed CPU time: 5.14022 s Remaining CPU time: 174.86 s c =============================================================================== c | 0 | 1126 1436 156516 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 707 c Elapsed CPU time: 5.20321 s Remaining CPU time: 174.797 s c =============================================================================== c | 0 | 1126 1437 157409 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 706 c Elapsed CPU time: 5.2662 s Remaining CPU time: 174.734 s c =============================================================================== c | 0 | 1126 1438 158302 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 705 c Elapsed CPU time: 5.33319 s Remaining CPU time: 174.667 s c =============================================================================== c | 0 | 1126 1439 159195 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 704 c Elapsed CPU time: 5.40118 s Remaining CPU time: 174.599 s c =============================================================================== c | 0 | 1126 1440 160088 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 703 c Elapsed CPU time: 5.46717 s Remaining CPU time: 174.533 s c =============================================================================== c | 0 | 1126 1441 160981 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 702 c Elapsed CPU time: 5.53516 s Remaining CPU time: 174.465 s c =============================================================================== c | 0 | 1126 1442 161874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 701 c Elapsed CPU time: 5.60015 s Remaining CPU time: 174.4 s c =============================================================================== c | 0 | 1126 1443 162767 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 700 c Elapsed CPU time: 5.66714 s Remaining CPU time: 174.333 s c =============================================================================== c | 0 | 1126 1444 163660 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 699 c Elapsed CPU time: 5.73413 s Remaining CPU time: 174.266 s c =============================================================================== c | 0 | 1126 1445 164553 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 698 c Elapsed CPU time: 5.80112 s Remaining CPU time: 174.199 s c =============================================================================== c | 0 | 1126 1446 165446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 697 c Elapsed CPU time: 5.86811 s Remaining CPU time: 174.132 s c =============================================================================== c | 0 | 1126 1447 166339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 696 c Elapsed CPU time: 5.9351 s Remaining CPU time: 174.065 s c =============================================================================== c | 0 | 1126 1448 167232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 695 c Elapsed CPU time: 6.00509 s Remaining CPU time: 173.995 s c =============================================================================== c | 0 | 1126 1449 168125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 694 c Elapsed CPU time: 6.07408 s Remaining CPU time: 173.926 s c =============================================================================== c | 0 | 1126 1450 169018 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 693 c Elapsed CPU time: 6.14307 s Remaining CPU time: 173.857 s c =============================================================================== c | 0 | 1126 1451 169911 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 692 c Elapsed CPU time: 6.21305 s Remaining CPU time: 173.787 s c =============================================================================== c | 0 | 1126 1452 170804 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 691 c Elapsed CPU time: 6.28504 s Remaining CPU time: 173.715 s c =============================================================================== c | 0 | 1126 1453 171697 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 690 c Elapsed CPU time: 6.35703 s Remaining CPU time: 173.643 s c =============================================================================== c | 0 | 1126 1454 172590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 689 c Elapsed CPU time: 6.42902 s Remaining CPU time: 173.571 s c =============================================================================== c | 0 | 1126 1455 173483 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 688 c Elapsed CPU time: 6.50001 s Remaining CPU time: 173.5 s c =============================================================================== c | 0 | 1126 1456 174376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 687 c Elapsed CPU time: 6.571 s Remaining CPU time: 173.429 s c =============================================================================== c | 0 | 1126 1457 175269 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 686 c Elapsed CPU time: 6.63999 s Remaining CPU time: 173.36 s c =============================================================================== c | 0 | 1126 1458 176162 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 685 c Elapsed CPU time: 6.70998 s Remaining CPU time: 173.29 s c =============================================================================== c | 0 | 1126 1459 177055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 684 c Elapsed CPU time: 6.77997 s Remaining CPU time: 173.22 s c =============================================================================== c | 0 | 1126 1460 177948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 683 c Elapsed CPU time: 6.84996 s Remaining CPU time: 173.15 s c =============================================================================== c | 0 | 1126 1461 178841 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 682 c Elapsed CPU time: 6.91895 s Remaining CPU time: 173.081 s c =============================================================================== c | 0 | 1126 1462 179734 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 681 c Elapsed CPU time: 6.98894 s Remaining CPU time: 173.011 s c =============================================================================== c | 0 | 1126 1463 180627 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 680 c Elapsed CPU time: 7.05893 s Remaining CPU time: 172.941 s c =============================================================================== c | 0 | 1126 1464 181520 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 679 c Elapsed CPU time: 7.12892 s Remaining CPU time: 172.871 s c =============================================================================== c | 0 | 1126 1465 182413 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 678 c Elapsed CPU time: 7.19991 s Remaining CPU time: 172.8 s c =============================================================================== c | 0 | 1126 1466 183306 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 677 c Elapsed CPU time: 7.26989 s Remaining CPU time: 172.73 s c =============================================================================== c | 0 | 1126 1467 184199 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 676 c Elapsed CPU time: 7.34088 s Remaining CPU time: 172.659 s c =============================================================================== c | 0 | 1126 1468 185092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 675 c Elapsed CPU time: 7.41187 s Remaining CPU time: 172.588 s c =============================================================================== c | 0 | 1126 1469 185985 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 674 c Elapsed CPU time: 7.48186 s Remaining CPU time: 172.518 s c =============================================================================== c | 0 | 1126 1470 186878 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 673 c Elapsed CPU time: 7.55285 s Remaining CPU time: 172.447 s c =============================================================================== c | 0 | 1126 1471 187771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 672 c Elapsed CPU time: 7.62384 s Remaining CPU time: 172.376 s c =============================================================================== c | 0 | 1126 1472 188664 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 671 c Elapsed CPU time: 7.69483 s Remaining CPU time: 172.305 s c =============================================================================== c | 0 | 1126 1473 189557 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 670 c Elapsed CPU time: 7.76482 s Remaining CPU time: 172.235 s c =============================================================================== c | 0 | 1126 1474 190450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 669 c Elapsed CPU time: 7.83381 s Remaining CPU time: 172.166 s c =============================================================================== c | 0 | 1126 1475 191343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 668 c Elapsed CPU time: 7.9028 s Remaining CPU time: 172.097 s c =============================================================================== c | 0 | 1126 1476 192236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 667 c Elapsed CPU time: 7.97279 s Remaining CPU time: 172.027 s c =============================================================================== c | 0 | 1126 1477 193129 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 666 c Elapsed CPU time: 8.04078 s Remaining CPU time: 171.959 s c =============================================================================== c | 0 | 1126 1478 194022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 665 c Elapsed CPU time: 8.11077 s Remaining CPU time: 171.889 s c =============================================================================== c | 0 | 1126 1479 194915 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 664 c Elapsed CPU time: 8.17976 s Remaining CPU time: 171.82 s c =============================================================================== c | 0 | 1126 1480 195808 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 663 c Elapsed CPU time: 8.24875 s Remaining CPU time: 171.751 s c =============================================================================== c | 0 | 1126 1481 196701 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 662 c Elapsed CPU time: 8.31673 s Remaining CPU time: 171.683 s c =============================================================================== c | 0 | 1126 1482 197594 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 8.38573 s Remaining CPU time: 171.614 s c =============================================================================== c | 0 | 1126 1483 198487 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 8.47271 s Remaining CPU time: 171.527 s c =============================================================================== c | 0 | 1126 1484 199380 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 659 c Elapsed CPU time: 8.5597 s Remaining CPU time: 171.44 s c =============================================================================== c | 0 | 1126 1485 200273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 658 c Elapsed CPU time: 8.64869 s Remaining CPU time: 171.351 s c =============================================================================== c | 0 | 1126 1486 201166 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 8.73467 s Remaining CPU time: 171.265 s c =============================================================================== c | 1 | 1126 1487 202059 | 5000 1 661 | 0.000 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 8.79566 s Remaining CPU time: 171.204 s c =============================================================================== c | 1 | 1126 1488 202952 | 5000 1 661 | 0.000 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 8.85565 s Remaining CPU time: 171.144 s c =============================================================================== c | 1 | 1126 1489 203845 | 5000 1 661 | 0.000 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 8.91564 s Remaining CPU time: 171.084 s c =============================================================================== c | 1 | 1126 1490 204738 | 5000 1 661 | 0.000 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 8.97663 s Remaining CPU time: 171.023 s c =============================================================================== c | 1 | 1126 1491 205631 | 5000 1 661 | 0.000 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 9.03763 s Remaining CPU time: 170.962 s c =============================================================================== c | 2 | 1126 1492 206524 | 5000 2 332 | 0.000 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 9.10062 s Remaining CPU time: 170.899 s c =============================================================================== c | 2 | 1126 1493 207417 | 5000 2 332 | 0.000 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 9.16561 s Remaining CPU time: 170.834 s c =============================================================================== c | 10 | 1126 1494 208310 | 5000 10 526 | 0.000 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 9.2266 s Remaining CPU time: 170.773 s c =============================================================================== c | 11 | 1126 1495 209203 | 5000 11 478 | 0.000 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 9.28859 s Remaining CPU time: 170.711 s c =============================================================================== c | 12 | 1126 1496 210096 | 5000 12 492 | 0.000 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 9.35258 s Remaining CPU time: 170.647 s c =============================================================================== c | 14 | 1126 1497 210989 | 5000 14 423 | 0.000 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 9.41557 s Remaining CPU time: 170.584 s c =============================================================================== c | 14 | 1126 1498 211882 | 5000 14 423 | 0.000 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 9.47956 s Remaining CPU time: 170.52 s c =============================================================================== c | 17 | 1126 1499 212775 | 5000 17 424 | 0.000 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 9.54455 s Remaining CPU time: 170.455 s c =============================================================================== c | 17 | 1126 1500 213668 | 5000 17 424 | 0.000 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 9.60754 s Remaining CPU time: 170.392 s c =============================================================================== c | 18 | 1126 1501 214561 | 5000 18 437 | 0.000 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 9.67253 s Remaining CPU time: 170.327 s c =============================================================================== c | 20 | 1126 1502 215454 | 5000 20 457 | 0.000 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 9.73552 s Remaining CPU time: 170.264 s c =============================================================================== c | 22 | 1126 1503 216347 | 5000 22 445 | 0.000 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 9.80051 s Remaining CPU time: 170.199 s c =============================================================================== c | 22 | 1126 1504 217240 | 5000 22 445 | 0.000 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 9.8665 s Remaining CPU time: 170.133 s c =============================================================================== c | 22 | 1126 1505 218133 | 5000 22 445 | 0.000 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 9.93149 s Remaining CPU time: 170.069 s c =============================================================================== c | 22 | 1126 1506 219026 | 5000 22 445 | 0.000 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 10.0025 s Remaining CPU time: 169.998 s c =============================================================================== c | 33 | 1126 1507 219919 | 5000 33 492 | 0.000 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 10.0705 s Remaining CPU time: 169.93 s c =============================================================================== c | 33 | 1126 1508 220812 | 5000 33 492 | 0.000 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 10.1375 s Remaining CPU time: 169.863 s c =============================================================================== c | 33 | 1126 1509 221705 | 5000 33 492 | 0.000 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 10.2044 s Remaining CPU time: 169.796 s c =============================================================================== c | 34 | 1126 1510 222598 | 5000 34 497 | 0.000 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 10.2734 s Remaining CPU time: 169.727 s c =============================================================================== c | 40 | 1126 1511 223491 | 5000 40 517 | 0.000 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 10.3404 s Remaining CPU time: 169.66 s c =============================================================================== c | 41 | 1126 1512 224384 | 5000 41 520 | 0.000 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 10.4084 s Remaining CPU time: 169.592 s c =============================================================================== c | 42 | 1126 1513 225277 | 5000 42 508 | 0.000 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 10.4764 s Remaining CPU time: 169.524 s c =============================================================================== c | 43 | 1126 1514 226170 | 5000 43 511 | 0.000 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 10.5444 s Remaining CPU time: 169.456 s c =============================================================================== c | 43 | 1126 1515 227063 | 5000 43 511 | 0.000 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 10.6124 s Remaining CPU time: 169.388 s c =============================================================================== c | 43 | 1126 1516 227956 | 5000 43 511 | 0.000 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 10.6814 s Remaining CPU time: 169.319 s c =============================================================================== c | 43 | 1126 1517 228849 | 5000 43 511 | 0.000 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 10.7504 s Remaining CPU time: 169.25 s c =============================================================================== c | 43 | 1126 1518 229742 | 5000 43 511 | 0.000 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 10.8274 s Remaining CPU time: 169.173 s c =============================================================================== c | 59 | 1126 1519 230635 | 5000 59 543 | 0.000 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 10.8983 s Remaining CPU time: 169.102 s c =============================================================================== c | 63 | 1126 1520 231528 | 5000 63 548 | 0.000 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 10.9683 s Remaining CPU time: 169.032 s c =============================================================================== c | 69 | 1126 1521 232421 | 5000 69 555 | 0.000 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 11.0413 s Remaining CPU time: 168.959 s c =============================================================================== c | 84 | 1126 1522 233314 | 5000 84 531 | 0.000 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 11.1113 s Remaining CPU time: 168.889 s c =============================================================================== c | 85 | 1126 1523 234207 | 5000 85 532 | 0.000 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 11.1823 s Remaining CPU time: 168.818 s c =============================================================================== c | 92 | 1126 1524 235100 | 5000 92 532 | 0.000 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 11.2523 s Remaining CPU time: 168.748 s c =============================================================================== c | 93 | 1126 1525 235993 | 5000 93 533 | 0.000 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 11.3243 s Remaining CPU time: 168.676 s c =============================================================================== c | 96 | 1126 1526 236886 | 5000 96 536 | 0.000 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 11.3963 s Remaining CPU time: 168.604 s c =============================================================================== c | 97 | 1126 1527 237779 | 5000 97 537 | 0.000 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 11.4713 s Remaining CPU time: 168.529 s c =============================================================================== c | 106 | 1126 1528 238672 | 5000 106 544 | 0.000 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 11.5512 s Remaining CPU time: 168.449 s c =============================================================================== c | 116 | 1126 1529 239565 | 5000 116 551 | 0.000 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 11.6252 s Remaining CPU time: 168.375 s c =============================================================================== c | 122 | 1126 1530 240458 | 5000 122 554 | 0.000 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 11.7052 s Remaining CPU time: 168.295 s c =============================================================================== c | 130 | 1126 1531 241351 | 5000 130 558 | 0.000 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 11.7852 s Remaining CPU time: 168.215 s c =============================================================================== c | 138 | 1126 1532 242244 | 5000 138 552 | 0.000 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 11.8662 s Remaining CPU time: 168.134 s c =============================================================================== c | 148 | 1126 1533 243137 | 5000 148 552 | 0.000 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 11.9412 s Remaining CPU time: 168.059 s c =============================================================================== c | 151 | 1126 1534 244030 | 5000 151 554 | 0.000 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 12.0172 s Remaining CPU time: 167.983 s c =============================================================================== c | 156 | 1126 1535 244923 | 5000 156 555 | 0.000 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 12.0942 s Remaining CPU time: 167.906 s c =============================================================================== c | 161 | 1126 1536 245816 | 5000 161 557 | 0.000 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 12.1671 s Remaining CPU time: 167.833 s c =============================================================================== c | 162 | 1126 1537 246709 | 5000 162 558 | 0.000 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 12.2411 s Remaining CPU time: 167.759 s c =============================================================================== c | 163 | 1126 1538 247602 | 5000 163 558 | 0.000 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 12.3151 s Remaining CPU time: 167.685 s c =============================================================================== c | 166 | 1126 1539 248495 | 5000 166 559 | 0.000 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 12.3901 s Remaining CPU time: 167.61 s c =============================================================================== c | 169 | 1126 1540 249388 | 5000 169 560 | 0.000 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 12.4641 s Remaining CPU time: 167.536 s c =============================================================================== c | 170 | 1126 1541 250281 | 5000 170 560 | 0.000 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 12.6221 s Remaining CPU time: 167.378 s c =============================================================================== c | 242 | 1126 1542 251174 | 5000 242 569 | 0.000 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 12.6971 s Remaining CPU time: 167.303 s c =============================================================================== c | 244 | 1126 1543 252067 | 5000 244 569 | 0.000 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 12.7761 s Remaining CPU time: 167.224 s c =============================================================================== c | 255 | 1126 1544 252960 | 5000 255 571 | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 12.852 s Remaining CPU time: 167.148 s c =============================================================================== c | 259 | 1126 1545 253853 | 5000 259 571 | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 12.928 s Remaining CPU time: 167.072 s c =============================================================================== c | 262 | 1126 1546 254746 | 5000 262 572 | 0.000 % | c | 362 | 1126 1546 254746 | 5500 362 581 | 2.427 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 13.155 s Remaining CPU time: 166.845 s c =============================================================================== c | 371 | 1126 1547 255639 | 5000 371 580 | 2.427 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 13.231 s Remaining CPU time: 166.769 s c =============================================================================== c | 374 | 1126 1548 256532 | 5000 374 580 | 2.427 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 13.312 s Remaining CPU time: 166.688 s c =============================================================================== c | 383 | 1126 1549 257425 | 5000 383 579 | 2.427 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 13.389 s Remaining CPU time: 166.611 s c =============================================================================== c | 383 | 1126 1550 258318 | 5000 383 579 | 2.427 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 13.464 s Remaining CPU time: 166.536 s c =============================================================================== c | 384 | 1126 1551 259211 | 5000 384 577 | 2.427 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 13.5409 s Remaining CPU time: 166.459 s c =============================================================================== c | 384 | 1126 1552 260104 | 5000 384 577 | 2.427 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 13.6189 s Remaining CPU time: 166.381 s c =============================================================================== c | 386 | 1126 1553 260997 | 5000 386 577 | 2.427 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 13.7019 s Remaining CPU time: 166.298 s c =============================================================================== c | 394 | 1126 1554 261890 | 5000 394 575 | 2.427 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 13.7839 s Remaining CPU time: 166.216 s c =============================================================================== c | 404 | 1126 1555 262783 | 5000 404 574 | 2.427 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 13.8799 s Remaining CPU time: 166.12 s c =============================================================================== c | 425 | 1126 1556 263676 | 5000 425 572 | 2.427 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 13.9679 s Remaining CPU time: 166.032 s c =============================================================================== c | 440 | 1126 1557 264569 | 5000 440 573 | 2.427 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 14.0469 s Remaining CPU time: 165.953 s c =============================================================================== c | 443 | 1126 1558 265462 | 5000 443 570 | 2.427 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 14.1269 s Remaining CPU time: 165.873 s c =============================================================================== c | 447 | 1126 1559 266355 | 5000 447 569 | 2.427 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 14.2168 s Remaining CPU time: 165.783 s c =============================================================================== c | 461 | 1126 1560 267248 | 5000 461 570 | 2.427 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 14.2958 s Remaining CPU time: 165.704 s c =============================================================================== c | 463 | 1126 1561 268141 | 5000 463 568 | 2.427 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 14.3908 s Remaining CPU time: 165.609 s c =============================================================================== c | 480 | 1126 1562 269034 | 5000 480 568 | 2.427 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 14.4958 s Remaining CPU time: 165.504 s c =============================================================================== c | 503 | 1126 1563 269927 | 5000 503 569 | 2.427 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 14.5838 s Remaining CPU time: 165.416 s c =============================================================================== c | 520 | 1126 1564 270820 | 5000 520 569 | 2.427 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 14.6758 s Remaining CPU time: 165.324 s c =============================================================================== c | 537 | 1126 1565 271713 | 5000 537 570 | 2.427 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 14.7588 s Remaining CPU time: 165.241 s c =============================================================================== c | 544 | 1126 1566 272606 | 5000 544 569 | 2.427 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 14.8397 s Remaining CPU time: 165.16 s c =============================================================================== c | 548 | 1126 1567 273499 | 5000 548 567 | 2.427 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 14.9217 s Remaining CPU time: 165.078 s c =============================================================================== c | 550 | 1126 1568 274392 | 5000 550 567 | 2.427 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 15.0007 s Remaining CPU time: 164.999 s c =============================================================================== c | 550 | 1126 1569 275285 | 5000 550 567 | 2.427 % | c | 650 | 1126 1569 275285 | 5500 650 569 | 2.427 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 15.2337 s Remaining CPU time: 164.766 s c =============================================================================== c | 656 | 1126 1570 276178 | 5000 656 569 | 2.427 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 15.3227 s Remaining CPU time: 164.677 s c =============================================================================== c | 675 | 1126 1571 277071 | 5000 675 569 | 2.427 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 15.4117 s Remaining CPU time: 164.588 s c =============================================================================== c | 692 | 1126 1572 277964 | 5000 692 569 | 2.427 % | c | 792 | 1126 1572 277964 | 5500 792 570 | 2.427 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 15.6146 s Remaining CPU time: 164.385 s c =============================================================================== c | 800 | 1126 1573 278857 | 5000 800 570 | 2.427 % | c | 900 | 1126 1573 278857 | 5500 900 571 | 2.427 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 15.8656 s Remaining CPU time: 164.134 s c =============================================================================== c | 903 | 1126 1574 279750 | 5000 903 571 | 2.427 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 15.9486 s Remaining CPU time: 164.051 s c =============================================================================== c | 906 | 1126 1575 280643 | 5000 906 571 | 2.427 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 16.0316 s Remaining CPU time: 163.968 s c =============================================================================== c | 907 | 1126 1576 281536 | 5000 907 571 | 2.427 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 16.1136 s Remaining CPU time: 163.886 s c =============================================================================== c | 908 | 1126 1577 282429 | 5000 908 571 | 2.427 % | c | 1008 | 1126 1577 282429 | 5500 1008 570 | 2.427 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 16.3975 s Remaining CPU time: 163.602 s c =============================================================================== c | 1067 | 1126 1578 283322 | 5000 1067 570 | 2.427 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 16.5005 s Remaining CPU time: 163.5 s c =============================================================================== c | 1106 | 1126 1579 284215 | 5000 1106 570 | 2.427 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 16.6025 s Remaining CPU time: 163.398 s c =============================================================================== c | 1132 | 1126 1580 285108 | 5000 1132 570 | 2.427 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 16.7155 s Remaining CPU time: 163.285 s c =============================================================================== c | 1191 | 1126 1581 286001 | 5000 1191 569 | 2.427 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 16.8324 s Remaining CPU time: 163.168 s c =============================================================================== c | 1232 | 1126 1582 286894 | 5000 1232 569 | 2.427 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 16.9444 s Remaining CPU time: 163.056 s c =============================================================================== c | 1291 | 1126 1583 287787 | 5000 1291 568 | 2.427 % | c | 1391 | 1126 1583 287787 | 5500 1391 568 | 2.427 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 17.1694 s Remaining CPU time: 162.831 s c =============================================================================== c | 1395 | 1126 1584 288680 | 5000 1395 568 | 2.427 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 17.2534 s Remaining CPU time: 162.747 s c =============================================================================== c | 1397 | 1126 1585 289573 | 5000 1397 568 | 2.427 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 17.3404 s Remaining CPU time: 162.66 s c =============================================================================== c | 1401 | 1126 1586 290466 | 5000 1401 568 | 2.427 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 17.4263 s Remaining CPU time: 162.574 s c =============================================================================== c | 1404 | 1126 1587 291359 | 5000 1404 568 | 2.427 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 17.5313 s Remaining CPU time: 162.469 s c =============================================================================== c | 1426 | 1126 1588 292252 | 5000 1426 568 | 2.427 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 17.6243 s Remaining CPU time: 162.376 s c =============================================================================== c | 1436 | 1126 1589 293145 | 5000 1436 568 | 2.427 % | c | 1536 | 1126 1589 293145 | 5500 1536 567 | 2.427 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 17.9523 s Remaining CPU time: 162.048 s c =============================================================================== c | 1603 | 1126 1590 294038 | 5000 1603 566 | 2.427 % | c | 1705 | 1126 1590 294038 | 5500 1705 566 | 2.427 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 18.1962 s Remaining CPU time: 161.804 s c =============================================================================== c | 1741 | 1126 1591 294931 | 5000 1741 566 | 2.427 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 18.2862 s Remaining CPU time: 161.714 s c =============================================================================== c | 1750 | 1126 1592 295824 | 5000 1750 566 | 2.427 % | c | 1850 | 1126 1592 295824 | 5500 1850 565 | 2.427 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 18.6452 s Remaining CPU time: 161.355 s c =============================================================================== c | 1936 | 1126 1593 296717 | 5000 1936 565 | 2.427 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 18.8411 s Remaining CPU time: 161.159 s c =============================================================================== c | 2003 | 1126 1594 297610 | 5000 2003 564 | 2.427 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 18.9731 s Remaining CPU time: 161.027 s c =============================================================================== c | 2084 | 1126 1595 298503 | 5000 2084 564 | 2.427 % | c | 2184 | 1126 1595 298503 | 5500 2184 563 | 2.426 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 19.2511 s Remaining CPU time: 160.749 s c =============================================================================== c | 2216 | 1126 1596 299396 | 5000 2216 563 | 2.426 % | c | 2316 | 1126 1596 299396 | 5500 2316 562 | 2.426 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 19.504 s Remaining CPU time: 160.496 s c =============================================================================== c | 2351 | 1126 1597 300289 | 5000 2351 562 | 2.426 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 19.648 s Remaining CPU time: 160.352 s c =============================================================================== c | 2411 | 1126 1598 301182 | 5000 2411 561 | 2.426 % | c | 2511 | 1126 1598 301182 | 5500 2511 561 | 2.426 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 19.91 s Remaining CPU time: 160.09 s c =============================================================================== c | 2537 | 1126 1599 302075 | 5000 2537 561 | 2.426 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 20.014 s Remaining CPU time: 159.986 s c =============================================================================== c | 2561 | 1126 1600 302968 | 5000 2561 560 | 2.426 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 20.1109 s Remaining CPU time: 159.889 s c =============================================================================== c | 2576 | 1126 1601 303861 | 5000 2576 560 | 2.426 % | c | 2676 | 1126 1601 303861 | 5500 2676 560 | 2.426 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 20.3719 s Remaining CPU time: 159.628 s c =============================================================================== c | 2738 | 1126 1602 304754 | 5000 2738 560 | 2.426 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 20.4769 s Remaining CPU time: 159.523 s c =============================================================================== c | 2760 | 1126 1603 305647 | 5000 2760 559 | 2.426 % | c | 2860 | 1126 1603 305647 | 5500 2860 559 | 2.426 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 20.8318 s Remaining CPU time: 159.168 s c =============================================================================== c | 2947 | 1126 1604 306540 | 5000 2947 558 | 2.426 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 20.9848 s Remaining CPU time: 159.015 s c =============================================================================== c | 3045 | 1126 1605 307433 | 5000 3045 558 | 2.426 % | c | 3145 | 1126 1605 307433 | 5500 3145 557 | 2.426 % | c | 3295 | 1126 1605 307433 | 6050 3295 556 | 2.427 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 21.4747 s Remaining CPU time: 158.525 s c =============================================================================== c | 3347 | 1126 1606 308326 | 5000 3347 556 | 2.427 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 21.6047 s Remaining CPU time: 158.395 s c =============================================================================== c | 3408 | 1126 1607 309219 | 5000 3408 556 | 2.427 % | c | 3508 | 1126 1607 309219 | 5500 3508 555 | 2.427 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 21.9077 s Remaining CPU time: 158.092 s c =============================================================================== c | 3608 | 1126 1608 310112 | 5000 3608 555 | 2.427 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 22.0177 s Remaining CPU time: 157.982 s c =============================================================================== c | 3629 | 1126 1609 311005 | 5000 3629 554 | 2.427 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 22.1226 s Remaining CPU time: 157.877 s c =============================================================================== c | 3654 | 1126 1610 311898 | 5000 3654 554 | 2.427 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 22.2266 s Remaining CPU time: 157.773 s c =============================================================================== c | 3676 | 1126 1611 312791 | 5000 3676 554 | 2.427 % | c | 3777 | 1126 1611 312791 | 5500 3777 554 | 2.427 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 22.5806 s Remaining CPU time: 157.419 s c =============================================================================== c | 3875 | 1126 1612 313684 | 5000 3875 553 | 2.427 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 22.7755 s Remaining CPU time: 157.224 s c =============================================================================== c | 3974 | 1126 1613 314577 | 5000 3974 553 | 2.427 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 22.9085 s Remaining CPU time: 157.091 s c =============================================================================== c | 4056 | 1126 1614 315470 | 5000 4056 552 | 2.427 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 23.0185 s Remaining CPU time: 156.982 s c =============================================================================== c | 4081 | 1126 1615 316363 | 5000 4081 552 | 2.427 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 23.1145 s Remaining CPU time: 156.886 s c =============================================================================== c | 4091 | 1126 1616 317256 | 5000 4091 552 | 2.427 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 23.2065 s Remaining CPU time: 156.794 s c =============================================================================== c | 4093 | 1126 1617 318149 | 5000 4093 552 | 2.427 % | c | 4193 | 1126 1617 318149 | 5500 4193 552 | 2.427 % | c | 4343 | 1126 1617 318149 | 6050 4343 551 | 2.427 % | c | 4568 | 1126 1617 318149 | 6655 4568 550 | 2.426 % | c | 4905 | 1126 1617 318149 | 7320 4905 548 | 2.426 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 24.4943 s Remaining CPU time: 155.506 s c =============================================================================== c | 4987 | 1126 1618 319042 | 5000 4987 548 | 2.426 % | c | 5087 | 1126 1618 319042 | 5500 5087 548 | 2.426 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 24.7972 s Remaining CPU time: 155.203 s c =============================================================================== c | 5116 | 1126 1619 319935 | 5000 5116 548 | 2.426 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 24.9342 s Remaining CPU time: 155.066 s c =============================================================================== c | 5150 | 1126 1620 320828 | 5000 2592 527 | 2.426 % | c | 5250 | 1126 1620 320828 | 5500 2692 528 | 2.426 % | c | 5400 | 1126 1620 320828 | 6050 2842 527 | 2.426 % | c | 5625 | 1126 1620 320828 | 6655 3067 527 | 2.426 % | c | 5963 | 1126 1620 320828 | 7320 3405 527 | 2.426 % | c | 6469 | 1126 1620 320828 | 8052 3911 527 | 2.426 % | c | 7229 | 1126 1620 320828 | 8857 4671 528 | 2.426 % | c | 8369 | 1126 1620 320828 | 9743 5811 528 | 2.426 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 31.2023 s Remaining CPU time: 148.798 s c =============================================================================== c | 9924 | 1126 1621 321721 | 5000 7366 528 | 2.426 % | c | 10027 | 1126 1621 321721 | 5500 3786 524 | 2.426 % | c | 10177 | 1126 1621 321721 | 6050 3936 524 | 2.426 % | c | 10402 | 1126 1621 321721 | 6655 4161 524 | 2.426 % | c | 10741 | 1126 1621 321721 | 7320 4500 524 | 2.426 % | c | 11247 | 1126 1621 321721 | 8052 5006 524 | 2.426 % | c | 12006 | 1126 1621 321721 | 8857 5765 525 | 2.426 % | c | 13145 | 1126 1621 321721 | 9743 6904 525 | 2.426 % | c | 14853 | 1126 1621 321721 | 10717 8612 525 | 2.426 % | c | 17415 | 1126 1621 321721 | 11789 11174 526 | 2.426 % | c | 21259 | 1126 1621 321721 | 12968 8815 525 | 2.426 % | c | 27025 | 1126 1621 321721 | 14265 7801 524 | 2.426 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 59.226 s Remaining CPU time: 120.774 s c =============================================================================== c | 33040 | 1126 1622 322614 | 5000 13816 526 | 2.426 % | c | 33140 | 1126 1622 322614 | 5500 3554 521 | 2.426 % | c | 33291 | 1126 1622 322614 | 6050 3705 521 | 2.426 % | c | 33517 | 1126 1622 322614 | 6655 3931 521 | 2.426 % | c | 33854 | 1126 1622 322614 | 7320 4268 522 | 2.426 % | c | 34360 | 1126 1622 322614 | 8052 4774 522 | 2.426 % | c | 35119 | 1126 1622 322614 | 8857 5533 522 | 2.426 % | c | 36258 | 1126 1622 322614 | 9743 6672 523 | 2.426 % | c | 37966 | 1126 1622 322614 | 10717 8380 523 | 2.426 % | c | 40531 | 1126 1622 322614 | 11789 10945 524 | 2.426 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 69.7754 s Remaining CPU time: 110.225 s c =============================================================================== c | 41350 | 1126 1623 323507 | 5000 11764 524 | 2.426 % | c | 41450 | 1126 1623 323507 | 5500 3041 517 | 2.426 % | c | 41600 | 1126 1623 323507 | 6050 3191 518 | 2.426 % | c | 41829 | 1126 1623 323507 | 6655 3420 518 | 2.426 % | c | 42166 | 1126 1623 323507 | 7320 3757 519 | 2.426 % | c | 42672 | 1126 1623 323507 | 8052 4263 519 | 2.426 % | c | 43431 | 1126 1623 323507 | 8857 5022 520 | 2.426 % | c | 44571 | 1126 1623 323507 | 9743 6162 521 | 2.426 % | c | 46279 | 1126 1623 323507 | 10717 7870 522 | 2.426 % | c | 48841 | 1126 1623 323507 | 11789 10432 523 | 2.426 % | c | 52686 | 1126 1623 323507 | 12968 8083 522 | 2.426 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 86.7688 s Remaining CPU time: 93.2312 s c =============================================================================== c | 55701 | 1126 1624 324400 | 5000 11098 523 | 2.426 % | c | 55802 | 1126 1624 324400 | 5500 2876 514 | 2.426 % | c | 55952 | 1126 1624 324400 | 6050 3026 514 | 2.426 % | c | 56178 | 1126 1624 324400 | 6655 3252 515 | 2.426 % | c | 56515 | 1126 1624 324400 | 7320 3589 516 | 2.426 % | c | 57021 | 1126 1624 324400 | 8052 4095 517 | 2.426 % | c | 57780 | 1126 1624 324400 | 8857 4854 518 | 2.426 % | c | 58919 | 1126 1624 324400 | 9743 5993 519 | 2.426 % | c | 60627 | 1126 1624 324400 | 10717 7701 520 | 2.426 % | c | 63189 | 1126 1624 324400 | 11789 10263 520 | 2.426 % | c | 67033 | 1126 1624 324400 | 12968 7918 520 | 2.426 % | c | 72800 | 1126 1624 324400 | 14265 6912 519 | 2.426 % | c | 81450 | 1126 1624 324400 | 15692 8136 521 | 2.426 % | c | 94424 | 1126 1624 324400 | 17261 12968 523 | 2.426 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 141.011 s Remaining CPU time: 38.9894 s c =============================================================================== c | 99965 | 1126 1625 325293 | 5000 9589 522 | 2.426 % | c | 100065 | 1126 1625 325293 | 5500 4895 520 | 2.426 % | c | 100215 | 1126 1625 325293 | 6050 5045 520 | 2.426 % | c | 100441 | 1126 1625 325293 | 6655 5271 520 | 2.426 % | c | 100778 | 1126 1625 325293 | 7320 5608 520 | 2.426 % | c | 101284 | 1126 1625 325293 | 8052 6114 521 | 2.426 % | c | 102043 | 1126 1625 325293 | 8857 6873 521 | 2.426 % | c | 103182 | 1126 1625 325293 | 9743 8012 522 | 2.426 % | c | 104890 | 1126 1625 325293 | 10717 9720 522 | 2.426 % | c | 107452 | 1126 1625 325293 | 11789 6633 520 | 2.426 % | c | 111297 | 1126 1625 325293 | 12968 10478 521 | 2.426 % | c | 117063 | 1126 1625 325293 | 14265 9467 521 | 2.426 % | c | 125712 | 1126 1625 325293 | 15692 10684 522 | 2.426 % | 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 | 342 2526 4870 | 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 | 410 2527 5032 | 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 | 454 2528 5098 | 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 | 638 2529 5420 | 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 | 751 2530 5595 | 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 | 849 2533 5749 | 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 | 957 2534 5916 | 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 | 1128 2536 6176 | 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 | 1429 2540 35241 | 5000 0 nan | 0.000 % | c | 100 | 1429 2540 35241 | 5500 100 16 | 20.699 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1736 2547 96529 | 5000 0 nan | 0.000 % | c | 101 | 1736 2547 96529 | 5500 101 30 | 14.944 % | c | 252 | 1736 2547 96529 | 6050 252 22 | 14.944 % | c | 478 | 1736 2547 96529 | 6655 478 19 | 14.944 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2399 2562 253105 | 5000 0 nan | 0.000 % | c | 101 | 2399 2562 253105 | 5500 101 34 | 5.178 % | c | 254 | 2398 2562 253105 | 6050 254 24 | 5.257 % | c | 481 | 2398 2562 253105 | 6655 481 19 | 5.257 % | c | 819 | 2376 2562 253105 | 7320 511 18 | 6.403 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2775 2577 300283 | 5000 0 nan | 0.000 % | c | 100 | 2775 2577 300283 | 5500 100 37 | 2.768 % | c | 251 | 2775 2577 300283 | 6050 251 24 | 2.768 % | c | 476 | 2775 2577 300283 | 6655 476 21 | 2.768 % | c | 813 | 2775 2577 300283 | 7320 813 19 | 2.768 % | c | 1319 | 2775 2577 300283 | 8052 1319 18 | 2.768 % | c | 2078 | 2775 2577 300283 | 8857 2078 19 | 2.768 % | c | 3217 | 2775 2577 300283 | 9743 3217 19 | 2.768 % | c | 4926 | 2775 2577 300283 | 10717 4926 19 | 2.768 % | c | 7490 | 2775 2577 300283 | 11789 7490 19 | 2.768 % | c | 11337 | 2773 2577 300283 | 12968 8932 18 | 2.838 % | c | 17103 | 2764 2577 300283 | 14265 4121 14 | 3.154 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3280 2595 316508 | 5000 0 nan | 0.000 % | c | 100 | 3280 2595 316508 | 5500 100 42 | 1.855 % | c | 251 | 3280 2595 316508 | 6050 251 35 | 1.855 % | c | 476 | 3280 2595 316508 | 6655 476 33 | 1.855 % | c | 817 | 3280 2595 316508 | 7320 817 33 | 1.855 % | c | 1323 | 3280 2595 316508 | 8052 1323 32 | 1.855 % | c | 2083 | 3280 2595 316508 | 8857 2083 31 | 1.855 % | c | 3222 | 3280 2595 316508 | 9743 3222 31 | 1.855 % | c | 4930 | 3280 2595 316508 | 10717 4930 30 | 1.855 % | c | 7492 | 3280 2595 316508 | 11789 7492 32 | 1.855 % | c | 11336 | 3280 2595 316508 | 12968 11336 34 | 1.855 % | c | 17104 | 3280 2595 316508 | 14265 10560 40 | 1.855 % | c | 25753 | 3280 2595 316508 | 15692 11891 31 | 1.855 % | c | 38727 | 3280 2595 316508 | 17261 8963 32 | 1.855 % | c | 58188 | 3280 2595 316508 | 18987 11022 27 | 1.855 % | c | 87381 | 3280 2595 316508 | 20886 11539 29 | 1.855 % | c | 131173 | 3277 2595 316508 | 22974 13104 32 | 1.945 % | c | 196857 | 3277 2595 316508 | 25272 20957 29 | 1.945 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4152 2649 333566 | 5000 0 nan | 0.000 % | c | 100 | 4152 2649 333566 | 5500 100 79 | 0.860 % | c | 253 | 4152 2649 333566 | 6050 253 46 | 0.860 % | c | 480 | 4152 2649 333566 | 6655 480 46 | 0.860 % | c | 819 | 4152 2649 333566 | 7320 819 44 | 0.860 % | c | 1325 | 4152 2649 333566 | 8052 1325 41 | 0.860 % | c | 2085 | 4152 2649 333566 | 8857 2085 45 | 0.860 % | c | 3226 | 4152 2649 333566 | 9743 3226 48 | 0.860 % | c | 4935 | 4152 2649 333566 | 10717 4935 46 | 0.860 % | c | 7498 | 4152 2649 333566 | 11789 7498 47 | 0.860 % | c | 11343 | 4152 2649 333566 | 12968 11343 46 | 0.860 % | c | 17111 | 4152 2649 333566 | 14265 10541 47 | 0.860 % | c | 25761 | 4152 2649 333566 | 15692 12005 50 | 0.860 % | c | 38736 | 4152 2649 333566 | 17261 9152 70 | 0.860 % | c | 58197 | 4152 2649 333566 | 18987 11224 62 | 0.860 % | c | 87390 | 4152 2649 333566 | 20886 11181 51 | 0.860 % | c | 131180 | 4152 2649 333566 | 22974 12107 64 | 0.860 % |