c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 1232 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1128 | c | Number Clauses: 1212 | 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 | 1100 1240 4902 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 853 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 1100 1241 5769 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 851 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1100 1242 6636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 850 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1100 1243 7503 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 849 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1100 1244 8370 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 848 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1100 1245 9237 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 847 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1100 1246 10104 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 846 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1100 1247 10971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 845 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1100 1248 11838 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 844 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1100 1249 12705 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 843 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1100 1250 13572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 842 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1100 1251 14439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 841 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1100 1252 15306 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 840 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1100 1253 16173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 839 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1100 1254 17040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 838 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1100 1255 17907 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 837 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1100 1256 18774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 836 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1100 1257 19641 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 835 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1100 1258 20508 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 834 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 1100 1259 21375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 833 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 1100 1260 22242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 832 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 1100 1261 23109 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 831 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 1100 1262 23976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 830 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 1100 1263 24843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 829 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 1100 1264 25710 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 828 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 1100 1265 26577 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 827 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 1100 1266 27444 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 826 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 1100 1267 28311 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 825 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 0 | 1100 1268 29178 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 824 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 0 | 1100 1269 30045 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 823 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 0 | 1100 1270 30912 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 822 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 0 | 1100 1271 31779 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 821 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 0 | 1100 1272 32646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 820 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 0 | 1100 1273 33513 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 819 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 0 | 1100 1274 34380 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 818 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 0 | 1100 1275 35247 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 817 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 0 | 1100 1276 36114 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 816 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 0 | 1100 1277 36981 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 815 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 0 | 1100 1278 37848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 814 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 0 | 1100 1279 38715 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 813 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s c =============================================================================== c | 0 | 1100 1280 39582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 812 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 0 | 1100 1281 40449 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 811 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 0 | 1100 1282 41316 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 810 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 0 | 1100 1283 42183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 809 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 0 | 1100 1284 43050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 808 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 0 | 1100 1285 43917 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 807 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 0 | 1100 1286 44784 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 806 c Elapsed CPU time: 0.334949 s Remaining CPU time: 179.665 s c =============================================================================== c | 0 | 1100 1287 45651 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 805 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 0 | 1100 1288 46518 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 804 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s c =============================================================================== c | 0 | 1100 1289 47385 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 803 c Elapsed CPU time: 0.380942 s Remaining CPU time: 179.619 s c =============================================================================== c | 0 | 1100 1290 48252 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 802 c Elapsed CPU time: 0.396939 s Remaining CPU time: 179.603 s c =============================================================================== c | 0 | 1100 1291 49119 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 801 c Elapsed CPU time: 0.411937 s Remaining CPU time: 179.588 s c =============================================================================== c | 0 | 1100 1292 49986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 800 c Elapsed CPU time: 0.428934 s Remaining CPU time: 179.571 s c =============================================================================== c | 0 | 1100 1293 50853 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 799 c Elapsed CPU time: 0.446932 s Remaining CPU time: 179.553 s c =============================================================================== c | 0 | 1100 1294 51720 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 798 c Elapsed CPU time: 0.462929 s Remaining CPU time: 179.537 s c =============================================================================== c | 0 | 1100 1295 52587 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 797 c Elapsed CPU time: 0.479927 s Remaining CPU time: 179.52 s c =============================================================================== c | 0 | 1100 1296 53454 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 796 c Elapsed CPU time: 0.498924 s Remaining CPU time: 179.501 s c =============================================================================== c | 0 | 1100 1297 54321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 795 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 0 | 1100 1298 55188 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 794 c Elapsed CPU time: 0.531919 s Remaining CPU time: 179.468 s c =============================================================================== c | 0 | 1100 1299 56055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 793 c Elapsed CPU time: 0.548916 s Remaining CPU time: 179.451 s c =============================================================================== c | 0 | 1100 1300 56922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 792 c Elapsed CPU time: 0.566913 s Remaining CPU time: 179.433 s c =============================================================================== c | 0 | 1100 1301 57789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 791 c Elapsed CPU time: 0.58591 s Remaining CPU time: 179.414 s c =============================================================================== c | 0 | 1100 1302 58656 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 790 c Elapsed CPU time: 0.605907 s Remaining CPU time: 179.394 s c =============================================================================== c | 0 | 1100 1303 59523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 789 c Elapsed CPU time: 0.625904 s Remaining CPU time: 179.374 s c =============================================================================== c | 0 | 1100 1304 60390 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 788 c Elapsed CPU time: 0.645901 s Remaining CPU time: 179.354 s c =============================================================================== c | 0 | 1100 1305 61257 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 787 c Elapsed CPU time: 0.665898 s Remaining CPU time: 179.334 s c =============================================================================== c | 0 | 1100 1306 62124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 786 c Elapsed CPU time: 0.684895 s Remaining CPU time: 179.315 s c =============================================================================== c | 0 | 1100 1307 62991 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 785 c Elapsed CPU time: 0.704892 s Remaining CPU time: 179.295 s c =============================================================================== c | 0 | 1100 1308 63858 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 784 c Elapsed CPU time: 0.723889 s Remaining CPU time: 179.276 s c =============================================================================== c | 0 | 1100 1309 64725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 783 c Elapsed CPU time: 0.743886 s Remaining CPU time: 179.256 s c =============================================================================== c | 0 | 1100 1310 65592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 782 c Elapsed CPU time: 0.765883 s Remaining CPU time: 179.234 s c =============================================================================== c | 0 | 1100 1311 66459 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 781 c Elapsed CPU time: 0.78688 s Remaining CPU time: 179.213 s c =============================================================================== c | 0 | 1100 1312 67326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 780 c Elapsed CPU time: 0.806877 s Remaining CPU time: 179.193 s c =============================================================================== c | 0 | 1100 1313 68193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 779 c Elapsed CPU time: 0.829873 s Remaining CPU time: 179.17 s c =============================================================================== c | 0 | 1100 1314 69060 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 778 c Elapsed CPU time: 0.85287 s Remaining CPU time: 179.147 s c =============================================================================== c | 0 | 1100 1315 69927 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 777 c Elapsed CPU time: 0.875866 s Remaining CPU time: 179.124 s c =============================================================================== c | 0 | 1100 1316 70794 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 776 c Elapsed CPU time: 0.899863 s Remaining CPU time: 179.1 s c =============================================================================== c | 0 | 1100 1317 71661 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 775 c Elapsed CPU time: 0.923859 s Remaining CPU time: 179.076 s c =============================================================================== c | 0 | 1100 1318 72528 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 774 c Elapsed CPU time: 0.946856 s Remaining CPU time: 179.053 s c =============================================================================== c | 0 | 1100 1319 73395 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 773 c Elapsed CPU time: 0.970852 s Remaining CPU time: 179.029 s c =============================================================================== c | 0 | 1100 1320 74262 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 772 c Elapsed CPU time: 0.996848 s Remaining CPU time: 179.003 s c =============================================================================== c | 0 | 1100 1321 75129 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 771 c Elapsed CPU time: 1.03284 s Remaining CPU time: 178.967 s c =============================================================================== c | 0 | 1100 1322 75996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 770 c Elapsed CPU time: 1.06884 s Remaining CPU time: 178.931 s c =============================================================================== c | 0 | 1100 1323 76863 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 769 c Elapsed CPU time: 1.10383 s Remaining CPU time: 178.896 s c =============================================================================== c | 0 | 1100 1324 77730 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 768 c Elapsed CPU time: 1.13983 s Remaining CPU time: 178.86 s c =============================================================================== c | 0 | 1100 1325 78597 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 767 c Elapsed CPU time: 1.17682 s Remaining CPU time: 178.823 s c =============================================================================== c | 0 | 1100 1326 79464 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 766 c Elapsed CPU time: 1.21382 s Remaining CPU time: 178.786 s c =============================================================================== c | 0 | 1100 1327 80331 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 765 c Elapsed CPU time: 1.25081 s Remaining CPU time: 178.749 s c =============================================================================== c | 0 | 1100 1328 81198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 764 c Elapsed CPU time: 1.2898 s Remaining CPU time: 178.71 s c =============================================================================== c | 0 | 1100 1329 82065 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 763 c Elapsed CPU time: 1.3278 s Remaining CPU time: 178.672 s c =============================================================================== c | 0 | 1100 1330 82932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 762 c Elapsed CPU time: 1.36679 s Remaining CPU time: 178.633 s c =============================================================================== c | 0 | 1100 1331 83799 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 761 c Elapsed CPU time: 1.40479 s Remaining CPU time: 178.595 s c =============================================================================== c | 0 | 1100 1332 84666 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 760 c Elapsed CPU time: 1.44378 s Remaining CPU time: 178.556 s c =============================================================================== c | 0 | 1100 1333 85533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 759 c Elapsed CPU time: 1.48577 s Remaining CPU time: 178.514 s c =============================================================================== c | 0 | 1100 1334 86400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 758 c Elapsed CPU time: 1.52877 s Remaining CPU time: 178.471 s c =============================================================================== c | 0 | 1100 1335 87267 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 757 c Elapsed CPU time: 1.57076 s Remaining CPU time: 178.429 s c =============================================================================== c | 0 | 1100 1336 88134 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 756 c Elapsed CPU time: 1.61275 s Remaining CPU time: 178.387 s c =============================================================================== c | 0 | 1100 1337 89001 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 755 c Elapsed CPU time: 1.65475 s Remaining CPU time: 178.345 s c =============================================================================== c | 0 | 1100 1338 89868 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 754 c Elapsed CPU time: 1.69674 s Remaining CPU time: 178.303 s c =============================================================================== c | 0 | 1100 1339 90735 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 753 c Elapsed CPU time: 1.73974 s Remaining CPU time: 178.26 s c =============================================================================== c | 0 | 1100 1340 91602 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 752 c Elapsed CPU time: 1.78273 s Remaining CPU time: 178.217 s c =============================================================================== c | 0 | 1100 1341 92469 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 751 c Elapsed CPU time: 1.82472 s Remaining CPU time: 178.175 s c =============================================================================== c | 0 | 1100 1342 93336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 750 c Elapsed CPU time: 1.86972 s Remaining CPU time: 178.13 s c =============================================================================== c | 0 | 1100 1343 94203 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 749 c Elapsed CPU time: 1.91371 s Remaining CPU time: 178.086 s c =============================================================================== c | 0 | 1100 1344 95070 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 748 c Elapsed CPU time: 1.9587 s Remaining CPU time: 178.041 s c =============================================================================== c | 0 | 1100 1345 95937 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 747 c Elapsed CPU time: 2.0037 s Remaining CPU time: 177.996 s c =============================================================================== c | 0 | 1100 1346 96804 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 746 c Elapsed CPU time: 2.04869 s Remaining CPU time: 177.951 s c =============================================================================== c | 0 | 1100 1347 97671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 745 c Elapsed CPU time: 2.09268 s Remaining CPU time: 177.907 s c =============================================================================== c | 0 | 1100 1348 98538 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 744 c Elapsed CPU time: 2.13867 s Remaining CPU time: 177.861 s c =============================================================================== c | 0 | 1100 1349 99405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 743 c Elapsed CPU time: 2.18767 s Remaining CPU time: 177.812 s c =============================================================================== c | 0 | 1100 1350 100272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 742 c Elapsed CPU time: 2.23566 s Remaining CPU time: 177.764 s c =============================================================================== c | 0 | 1100 1351 101139 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 741 c Elapsed CPU time: 2.28365 s Remaining CPU time: 177.716 s c =============================================================================== c | 0 | 1100 1352 102006 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 740 c Elapsed CPU time: 2.33764 s Remaining CPU time: 177.662 s c =============================================================================== c | 0 | 1100 1353 102873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 739 c Elapsed CPU time: 2.39064 s Remaining CPU time: 177.609 s c =============================================================================== c | 0 | 1100 1354 103740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 738 c Elapsed CPU time: 2.44363 s Remaining CPU time: 177.556 s c =============================================================================== c | 0 | 1100 1355 104607 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 737 c Elapsed CPU time: 2.49762 s Remaining CPU time: 177.502 s c =============================================================================== c | 0 | 1100 1356 105474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 736 c Elapsed CPU time: 2.55161 s Remaining CPU time: 177.448 s c =============================================================================== c | 0 | 1100 1357 106341 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 735 c Elapsed CPU time: 2.6046 s Remaining CPU time: 177.395 s c =============================================================================== c | 0 | 1100 1358 107208 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 734 c Elapsed CPU time: 2.6586 s Remaining CPU time: 177.341 s c =============================================================================== c | 0 | 1100 1359 108075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 733 c Elapsed CPU time: 2.71359 s Remaining CPU time: 177.286 s c =============================================================================== c | 0 | 1100 1360 108942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 732 c Elapsed CPU time: 2.76858 s Remaining CPU time: 177.231 s c =============================================================================== c | 0 | 1100 1361 109809 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 731 c Elapsed CPU time: 2.82457 s Remaining CPU time: 177.175 s c =============================================================================== c | 0 | 1100 1362 110676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 730 c Elapsed CPU time: 2.87856 s Remaining CPU time: 177.121 s c =============================================================================== c | 0 | 1100 1363 111543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 729 c Elapsed CPU time: 2.93355 s Remaining CPU time: 177.066 s c =============================================================================== c | 0 | 1100 1364 112410 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 728 c Elapsed CPU time: 2.98955 s Remaining CPU time: 177.01 s c =============================================================================== c | 0 | 1100 1365 113277 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 727 c Elapsed CPU time: 3.04554 s Remaining CPU time: 176.954 s c =============================================================================== c | 0 | 1100 1366 114144 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 726 c Elapsed CPU time: 3.10153 s Remaining CPU time: 176.898 s c =============================================================================== c | 0 | 1100 1367 115011 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 725 c Elapsed CPU time: 3.15752 s Remaining CPU time: 176.842 s c =============================================================================== c | 0 | 1100 1368 115878 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 724 c Elapsed CPU time: 3.21751 s Remaining CPU time: 176.782 s c =============================================================================== c | 0 | 1100 1369 116745 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 723 c Elapsed CPU time: 3.2765 s Remaining CPU time: 176.723 s c =============================================================================== c | 0 | 1100 1370 117612 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 722 c Elapsed CPU time: 3.33649 s Remaining CPU time: 176.664 s c =============================================================================== c | 0 | 1100 1371 118479 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 721 c Elapsed CPU time: 3.39548 s Remaining CPU time: 176.605 s c =============================================================================== c | 0 | 1100 1372 119346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 720 c Elapsed CPU time: 3.45347 s Remaining CPU time: 176.547 s c =============================================================================== c | 0 | 1100 1373 120213 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 719 c Elapsed CPU time: 3.51347 s Remaining CPU time: 176.487 s c =============================================================================== c | 0 | 1100 1374 121080 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 718 c Elapsed CPU time: 3.57346 s Remaining CPU time: 176.427 s c =============================================================================== c | 0 | 1100 1375 121947 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 717 c Elapsed CPU time: 3.63345 s Remaining CPU time: 176.367 s c =============================================================================== c | 0 | 1100 1376 122814 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 716 c Elapsed CPU time: 3.69444 s Remaining CPU time: 176.306 s c =============================================================================== c | 0 | 1100 1377 123681 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 715 c Elapsed CPU time: 3.75643 s Remaining CPU time: 176.244 s c =============================================================================== c | 0 | 1100 1378 124548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 714 c Elapsed CPU time: 3.81842 s Remaining CPU time: 176.182 s c =============================================================================== c | 0 | 1100 1379 125415 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 713 c Elapsed CPU time: 3.88041 s Remaining CPU time: 176.12 s c =============================================================================== c | 0 | 1100 1380 126282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 712 c Elapsed CPU time: 3.9444 s Remaining CPU time: 176.056 s c =============================================================================== c | 0 | 1100 1381 127149 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 711 c Elapsed CPU time: 4.00839 s Remaining CPU time: 175.992 s c =============================================================================== c | 0 | 1100 1382 128016 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 710 c Elapsed CPU time: 4.06938 s Remaining CPU time: 175.931 s c =============================================================================== c | 0 | 1100 1383 128883 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 709 c Elapsed CPU time: 4.13237 s Remaining CPU time: 175.868 s c =============================================================================== c | 0 | 1100 1384 129750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 708 c Elapsed CPU time: 4.19536 s Remaining CPU time: 175.805 s c =============================================================================== c | 0 | 1100 1385 130617 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 707 c Elapsed CPU time: 4.25735 s Remaining CPU time: 175.743 s c =============================================================================== c | 0 | 1100 1386 131484 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 706 c Elapsed CPU time: 4.31934 s Remaining CPU time: 175.681 s c =============================================================================== c | 0 | 1100 1387 132351 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 705 c Elapsed CPU time: 4.38133 s Remaining CPU time: 175.619 s c =============================================================================== c | 0 | 1100 1388 133218 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 704 c Elapsed CPU time: 4.44532 s Remaining CPU time: 175.555 s c =============================================================================== c | 0 | 1100 1389 134085 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 703 c Elapsed CPU time: 4.50831 s Remaining CPU time: 175.492 s c =============================================================================== c | 0 | 1100 1390 134952 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 702 c Elapsed CPU time: 4.5723 s Remaining CPU time: 175.428 s c =============================================================================== c | 0 | 1100 1391 135819 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 701 c Elapsed CPU time: 4.6363 s Remaining CPU time: 175.364 s c =============================================================================== c | 0 | 1100 1392 136686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 700 c Elapsed CPU time: 4.70029 s Remaining CPU time: 175.3 s c =============================================================================== c | 0 | 1100 1393 137553 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 699 c Elapsed CPU time: 4.76828 s Remaining CPU time: 175.232 s c =============================================================================== c | 0 | 1100 1394 138420 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 698 c Elapsed CPU time: 4.83626 s Remaining CPU time: 175.164 s c =============================================================================== c | 0 | 1100 1395 139287 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 697 c Elapsed CPU time: 4.90425 s Remaining CPU time: 175.096 s c =============================================================================== c | 0 | 1100 1396 140154 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 696 c Elapsed CPU time: 4.97224 s Remaining CPU time: 175.028 s c =============================================================================== c | 0 | 1100 1397 141021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 695 c Elapsed CPU time: 5.03823 s Remaining CPU time: 174.962 s c =============================================================================== c | 0 | 1100 1398 141888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 694 c Elapsed CPU time: 5.10722 s Remaining CPU time: 174.893 s c =============================================================================== c | 0 | 1100 1399 142755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 693 c Elapsed CPU time: 5.17721 s Remaining CPU time: 174.823 s c =============================================================================== c | 0 | 1100 1400 143622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 692 c Elapsed CPU time: 5.2462 s Remaining CPU time: 174.754 s c =============================================================================== c | 0 | 1100 1401 144489 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 691 c Elapsed CPU time: 5.31519 s Remaining CPU time: 174.685 s c =============================================================================== c | 0 | 1100 1402 145356 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 690 c Elapsed CPU time: 5.38518 s Remaining CPU time: 174.615 s c =============================================================================== c | 0 | 1100 1403 146223 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 689 c Elapsed CPU time: 5.45717 s Remaining CPU time: 174.543 s c =============================================================================== c | 0 | 1100 1404 147090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 688 c Elapsed CPU time: 5.53016 s Remaining CPU time: 174.47 s c =============================================================================== c | 0 | 1100 1405 147957 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 687 c Elapsed CPU time: 5.60115 s Remaining CPU time: 174.399 s c =============================================================================== c | 0 | 1100 1406 148824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 686 c Elapsed CPU time: 5.66914 s Remaining CPU time: 174.331 s c =============================================================================== c | 0 | 1100 1407 149691 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 685 c Elapsed CPU time: 5.74013 s Remaining CPU time: 174.26 s c =============================================================================== c | 0 | 1100 1408 150558 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 684 c Elapsed CPU time: 5.81112 s Remaining CPU time: 174.189 s c =============================================================================== c | 0 | 1100 1409 151425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 683 c Elapsed CPU time: 5.88211 s Remaining CPU time: 174.118 s c =============================================================================== c | 0 | 1100 1410 152292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 682 c Elapsed CPU time: 5.95209 s Remaining CPU time: 174.048 s c =============================================================================== c | 0 | 1100 1411 153159 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 681 c Elapsed CPU time: 6.02208 s Remaining CPU time: 173.978 s c =============================================================================== c | 0 | 1100 1412 154026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 680 c Elapsed CPU time: 6.09207 s Remaining CPU time: 173.908 s c =============================================================================== c | 0 | 1100 1413 154893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 679 c Elapsed CPU time: 6.16706 s Remaining CPU time: 173.833 s c =============================================================================== c | 0 | 1100 1414 155760 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 678 c Elapsed CPU time: 6.23905 s Remaining CPU time: 173.761 s c =============================================================================== c | 0 | 1100 1415 156627 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 677 c Elapsed CPU time: 6.31504 s Remaining CPU time: 173.685 s c =============================================================================== c | 0 | 1100 1416 157494 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 676 c Elapsed CPU time: 6.38903 s Remaining CPU time: 173.611 s c =============================================================================== c | 0 | 1100 1417 158361 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 675 c Elapsed CPU time: 6.46702 s Remaining CPU time: 173.533 s c =============================================================================== c | 0 | 1100 1418 159228 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 674 c Elapsed CPU time: 6.546 s Remaining CPU time: 173.454 s c =============================================================================== c | 0 | 1100 1419 160095 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 673 c Elapsed CPU time: 6.62499 s Remaining CPU time: 173.375 s c =============================================================================== c | 0 | 1100 1420 160962 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 672 c Elapsed CPU time: 6.70298 s Remaining CPU time: 173.297 s c =============================================================================== c | 0 | 1100 1421 161829 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 671 c Elapsed CPU time: 6.78097 s Remaining CPU time: 173.219 s c =============================================================================== c | 0 | 1100 1422 162696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 670 c Elapsed CPU time: 6.86096 s Remaining CPU time: 173.139 s c =============================================================================== c | 0 | 1100 1423 163563 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 669 c Elapsed CPU time: 6.93895 s Remaining CPU time: 173.061 s c =============================================================================== c | 0 | 1100 1424 164430 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 668 c Elapsed CPU time: 7.01793 s Remaining CPU time: 172.982 s c =============================================================================== c | 0 | 1100 1425 165297 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 667 c Elapsed CPU time: 7.09492 s Remaining CPU time: 172.905 s c =============================================================================== c | 0 | 1100 1426 166164 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 666 c Elapsed CPU time: 7.17291 s Remaining CPU time: 172.827 s c =============================================================================== c | 0 | 1100 1427 167031 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 665 c Elapsed CPU time: 7.2509 s Remaining CPU time: 172.749 s c =============================================================================== c | 0 | 1100 1428 167898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 664 c Elapsed CPU time: 7.32988 s Remaining CPU time: 172.67 s c =============================================================================== c | 0 | 1100 1429 168765 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 663 c Elapsed CPU time: 7.41387 s Remaining CPU time: 172.586 s c =============================================================================== c | 0 | 1100 1430 169632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 662 c Elapsed CPU time: 7.49786 s Remaining CPU time: 172.502 s c =============================================================================== c | 0 | 1100 1431 170499 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 7.58085 s Remaining CPU time: 172.419 s c =============================================================================== c | 0 | 1100 1432 171366 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 7.66383 s Remaining CPU time: 172.336 s c =============================================================================== c | 0 | 1100 1433 172233 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 659 c Elapsed CPU time: 7.74682 s Remaining CPU time: 172.253 s c =============================================================================== c | 0 | 1100 1434 173100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 658 c Elapsed CPU time: 7.82881 s Remaining CPU time: 172.171 s c =============================================================================== c | 0 | 1100 1435 173967 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 7.9188 s Remaining CPU time: 172.081 s c =============================================================================== c | 0 | 1100 1436 174834 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 8.00778 s Remaining CPU time: 171.992 s c =============================================================================== c | 0 | 1100 1437 175701 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 8.09677 s Remaining CPU time: 171.903 s c =============================================================================== c | 0 | 1100 1438 176568 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 8.18375 s Remaining CPU time: 171.816 s c =============================================================================== c | 0 | 1100 1439 177435 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 8.27274 s Remaining CPU time: 171.727 s c =============================================================================== c | 0 | 1100 1440 178302 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 8.35973 s Remaining CPU time: 171.64 s c =============================================================================== c | 0 | 1100 1441 179169 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 8.44772 s Remaining CPU time: 171.552 s c =============================================================================== c | 0 | 1100 1442 180036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 8.5347 s Remaining CPU time: 171.465 s c =============================================================================== c | 0 | 1100 1443 180903 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 8.62169 s Remaining CPU time: 171.378 s c =============================================================================== c | 0 | 1100 1444 181770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 8.70668 s Remaining CPU time: 171.293 s c =============================================================================== c | 0 | 1100 1445 182637 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 8.79266 s Remaining CPU time: 171.207 s c =============================================================================== c | 0 | 1100 1446 183504 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 8.87865 s Remaining CPU time: 171.121 s c =============================================================================== c | 0 | 1100 1447 184371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 8.96364 s Remaining CPU time: 171.036 s c =============================================================================== c | 0 | 1100 1448 185238 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 9.04862 s Remaining CPU time: 170.951 s c =============================================================================== c | 0 | 1100 1449 186105 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 9.13761 s Remaining CPU time: 170.862 s c =============================================================================== c | 0 | 1100 1450 186972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 9.2286 s Remaining CPU time: 170.771 s c =============================================================================== c | 0 | 1100 1451 187839 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 9.31858 s Remaining CPU time: 170.681 s c =============================================================================== c | 0 | 1100 1452 188706 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 9.40657 s Remaining CPU time: 170.593 s c =============================================================================== c | 0 | 1100 1453 189573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 9.49456 s Remaining CPU time: 170.505 s c =============================================================================== c | 0 | 1100 1454 190440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 9.58254 s Remaining CPU time: 170.417 s c =============================================================================== c | 0 | 1100 1455 191307 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 9.66853 s Remaining CPU time: 170.331 s c =============================================================================== c | 0 | 1100 1456 192174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 9.75452 s Remaining CPU time: 170.245 s c =============================================================================== c | 0 | 1100 1457 193041 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 9.8405 s Remaining CPU time: 170.159 s c =============================================================================== c | 0 | 1100 1458 193908 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 9.92449 s Remaining CPU time: 170.076 s c =============================================================================== c | 0 | 1100 1459 194775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 10.0085 s Remaining CPU time: 169.992 s c =============================================================================== c | 0 | 1100 1460 195642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 10.0935 s Remaining CPU time: 169.907 s c =============================================================================== c | 0 | 1100 1461 196509 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 10.1775 s Remaining CPU time: 169.823 s c =============================================================================== c | 0 | 1100 1462 197376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 10.2604 s Remaining CPU time: 169.74 s c =============================================================================== c | 0 | 1100 1463 198243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 10.3564 s Remaining CPU time: 169.644 s c =============================================================================== c | 0 | 1100 1464 199110 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 10.4534 s Remaining CPU time: 169.547 s c =============================================================================== c | 1 | 1100 1465 199977 | 5000 1 630 | 0.000 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 10.5314 s Remaining CPU time: 169.469 s c =============================================================================== c | 1 | 1100 1466 200844 | 5000 1 630 | 0.000 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 10.6064 s Remaining CPU time: 169.394 s c =============================================================================== c | 2 | 1100 1467 201711 | 5000 2 318 | 0.000 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 10.6814 s Remaining CPU time: 169.319 s c =============================================================================== c | 2 | 1100 1468 202578 | 5000 2 318 | 0.000 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 10.7584 s Remaining CPU time: 169.242 s c =============================================================================== c | 2 | 1100 1469 203445 | 5000 2 318 | 0.000 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 10.8344 s Remaining CPU time: 169.166 s c =============================================================================== c | 2 | 1100 1470 204312 | 5000 2 318 | 0.000 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 10.9103 s Remaining CPU time: 169.09 s c =============================================================================== c | 2 | 1100 1471 205179 | 5000 2 318 | 0.000 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 10.9883 s Remaining CPU time: 169.012 s c =============================================================================== c | 4 | 1100 1472 206046 | 5000 4 164 | 0.000 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 11.0673 s Remaining CPU time: 168.933 s c =============================================================================== c | 5 | 1100 1473 206913 | 5000 5 256 | 0.000 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 11.1453 s Remaining CPU time: 168.855 s c =============================================================================== c | 5 | 1100 1474 207780 | 5000 5 256 | 0.000 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 11.2263 s Remaining CPU time: 168.774 s c =============================================================================== c | 6 | 1100 1475 208647 | 5000 6 214 | 0.000 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 11.3053 s Remaining CPU time: 168.695 s c =============================================================================== c | 7 | 1100 1476 209514 | 5000 7 184 | 0.000 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 11.3853 s Remaining CPU time: 168.615 s c =============================================================================== c | 8 | 1100 1477 210381 | 5000 8 161 | 0.000 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 11.4673 s Remaining CPU time: 168.533 s c =============================================================================== c | 9 | 1100 1478 211248 | 5000 9 144 | 0.000 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 11.5472 s Remaining CPU time: 168.453 s c =============================================================================== c | 9 | 1100 1479 212115 | 5000 9 144 | 0.000 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 11.6282 s Remaining CPU time: 168.372 s c =============================================================================== c | 11 | 1100 1480 212982 | 5000 11 174 | 0.000 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 11.7092 s Remaining CPU time: 168.291 s c =============================================================================== c | 11 | 1100 1481 213849 | 5000 11 174 | 0.000 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 11.7922 s Remaining CPU time: 168.208 s c =============================================================================== c | 11 | 1100 1482 214716 | 5000 11 174 | 0.000 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 11.8732 s Remaining CPU time: 168.127 s c =============================================================================== c | 12 | 1100 1483 215583 | 5000 12 161 | 0.000 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 11.9582 s Remaining CPU time: 168.042 s c =============================================================================== c | 12 | 1100 1484 216450 | 5000 12 161 | 0.000 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 12.0422 s Remaining CPU time: 167.958 s c =============================================================================== c | 12 | 1100 1485 217317 | 5000 12 161 | 0.000 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 12.1242 s Remaining CPU time: 167.876 s c =============================================================================== c | 13 | 1100 1486 218184 | 5000 13 149 | 0.000 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 12.2061 s Remaining CPU time: 167.794 s c =============================================================================== c | 14 | 1100 1487 219051 | 5000 14 182 | 0.000 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 12.2911 s Remaining CPU time: 167.709 s c =============================================================================== c | 14 | 1100 1488 219918 | 5000 14 182 | 0.000 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 12.3741 s Remaining CPU time: 167.626 s c =============================================================================== c | 14 | 1100 1489 220785 | 5000 14 182 | 0.000 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 12.4571 s Remaining CPU time: 167.543 s c =============================================================================== c | 15 | 1100 1490 221652 | 5000 15 170 | 0.000 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 12.5411 s Remaining CPU time: 167.459 s c =============================================================================== c | 15 | 1100 1491 222519 | 5000 15 170 | 0.000 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 12.6261 s Remaining CPU time: 167.374 s c =============================================================================== c | 15 | 1100 1492 223386 | 5000 15 170 | 0.000 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 12.7091 s Remaining CPU time: 167.291 s c =============================================================================== c | 17 | 1100 1493 224253 | 5000 17 151 | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 12.7981 s Remaining CPU time: 167.202 s c =============================================================================== c | 18 | 1100 1494 225120 | 5000 18 143 | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 12.887 s Remaining CPU time: 167.113 s c =============================================================================== c | 18 | 1100 1495 225987 | 5000 18 143 | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 12.974 s Remaining CPU time: 167.026 s c =============================================================================== c | 19 | 1100 1496 226854 | 5000 19 167 | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 13.061 s Remaining CPU time: 166.939 s c =============================================================================== c | 22 | 1100 1497 227721 | 5000 22 144 | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 13.148 s Remaining CPU time: 166.852 s c =============================================================================== c | 22 | 1100 1498 228588 | 5000 22 144 | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 13.234 s Remaining CPU time: 166.766 s c =============================================================================== c | 23 | 1100 1499 229455 | 5000 23 164 | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 13.321 s Remaining CPU time: 166.679 s c =============================================================================== c | 23 | 1100 1500 230322 | 5000 23 164 | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 13.408 s Remaining CPU time: 166.592 s c =============================================================================== c | 23 | 1100 1501 231189 | 5000 23 164 | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 13.4949 s Remaining CPU time: 166.505 s c =============================================================================== c | 23 | 1100 1502 232056 | 5000 23 164 | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 13.5849 s Remaining CPU time: 166.415 s c =============================================================================== c | 23 | 1100 1503 232923 | 5000 23 164 | 0.000 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 13.6719 s Remaining CPU time: 166.328 s c =============================================================================== c | 23 | 1100 1504 233790 | 5000 23 164 | 0.000 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 13.7579 s Remaining CPU time: 166.242 s c =============================================================================== c | 23 | 1100 1505 234657 | 5000 23 164 | 0.000 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 13.8459 s Remaining CPU time: 166.154 s c =============================================================================== c | 23 | 1100 1506 235524 | 5000 23 164 | 0.000 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 13.9329 s Remaining CPU time: 166.067 s c =============================================================================== c | 23 | 1100 1507 236391 | 5000 23 164 | 0.000 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 14.0289 s Remaining CPU time: 165.971 s c =============================================================================== c | 29 | 1100 1508 237258 | 5000 29 172 | 0.000 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 14.1199 s Remaining CPU time: 165.88 s c =============================================================================== c | 29 | 1100 1509 238125 | 5000 29 172 | 0.000 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 14.2088 s Remaining CPU time: 165.791 s c =============================================================================== c | 29 | 1100 1510 238992 | 5000 29 172 | 0.000 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 14.2978 s Remaining CPU time: 165.702 s c =============================================================================== c | 29 | 1100 1511 239859 | 5000 29 172 | 0.000 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 14.3868 s Remaining CPU time: 165.613 s c =============================================================================== c | 30 | 1100 1512 240726 | 5000 30 166 | 0.000 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 14.4758 s Remaining CPU time: 165.524 s c =============================================================================== c | 30 | 1100 1513 241593 | 5000 30 166 | 0.000 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 14.5688 s Remaining CPU time: 165.431 s c =============================================================================== c | 32 | 1100 1514 242460 | 5000 32 174 | 0.000 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 14.6598 s Remaining CPU time: 165.34 s c =============================================================================== c | 32 | 1100 1515 243327 | 5000 32 174 | 0.000 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 14.7528 s Remaining CPU time: 165.247 s c =============================================================================== c | 32 | 1100 1516 244194 | 5000 32 174 | 0.000 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 14.8437 s Remaining CPU time: 165.156 s c =============================================================================== c | 34 | 1100 1517 245061 | 5000 34 164 | 0.000 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 14.9367 s Remaining CPU time: 165.063 s c =============================================================================== c | 34 | 1100 1518 245928 | 5000 34 164 | 0.000 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 15.0277 s Remaining CPU time: 164.972 s c =============================================================================== c | 34 | 1100 1519 246795 | 5000 34 164 | 0.000 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 15.1217 s Remaining CPU time: 164.878 s c =============================================================================== c | 34 | 1100 1520 247662 | 5000 34 164 | 0.000 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 15.2127 s Remaining CPU time: 164.787 s c =============================================================================== c | 34 | 1100 1521 248529 | 5000 34 164 | 0.000 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 15.3087 s Remaining CPU time: 164.691 s c =============================================================================== c | 37 | 1100 1522 249396 | 5000 37 182 | 0.000 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 15.4007 s Remaining CPU time: 164.599 s c =============================================================================== c | 37 | 1100 1523 250263 | 5000 37 182 | 0.000 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 15.4936 s Remaining CPU time: 164.506 s c =============================================================================== c | 39 | 1100 1524 251130 | 5000 39 173 | 0.000 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 15.5856 s Remaining CPU time: 164.414 s c =============================================================================== c | 39 | 1100 1525 251997 | 5000 39 173 | 0.000 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 15.6806 s Remaining CPU time: 164.319 s c =============================================================================== c | 39 | 1100 1526 252864 | 5000 39 173 | 0.000 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 15.7766 s Remaining CPU time: 164.223 s c =============================================================================== c | 42 | 1100 1527 253731 | 5000 42 188 | 0.000 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 15.8726 s Remaining CPU time: 164.127 s c =============================================================================== c | 43 | 1100 1528 254598 | 5000 43 184 | 0.000 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 15.9676 s Remaining CPU time: 164.032 s c =============================================================================== c | 44 | 1100 1529 255465 | 5000 44 193 | 0.000 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 16.0726 s Remaining CPU time: 163.927 s c =============================================================================== c | 52 | 1100 1530 256332 | 5000 52 251 | 0.000 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 16.1665 s Remaining CPU time: 163.833 s c =============================================================================== c | 53 | 1100 1531 257199 | 5000 53 246 | 0.000 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 16.2665 s Remaining CPU time: 163.733 s c =============================================================================== c | 59 | 1100 1532 258066 | 5000 59 260 | 0.000 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 16.3625 s Remaining CPU time: 163.637 s c =============================================================================== c | 61 | 1100 1533 258933 | 5000 61 270 | 0.000 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 16.4595 s Remaining CPU time: 163.541 s c =============================================================================== c | 61 | 1100 1534 259800 | 5000 61 270 | 0.000 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 16.5615 s Remaining CPU time: 163.439 s c =============================================================================== c | 74 | 1100 1535 260667 | 5000 74 314 | 0.000 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 16.6585 s Remaining CPU time: 163.342 s c =============================================================================== c | 74 | 1100 1536 261534 | 5000 74 314 | 0.000 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 16.7535 s Remaining CPU time: 163.247 s c =============================================================================== c | 74 | 1100 1537 262401 | 5000 74 314 | 0.000 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 16.8514 s Remaining CPU time: 163.149 s c =============================================================================== c | 74 | 1100 1538 263268 | 5000 74 314 | 0.000 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 16.9464 s Remaining CPU time: 163.054 s c =============================================================================== c | 74 | 1100 1539 264135 | 5000 74 314 | 0.000 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 17.0494 s Remaining CPU time: 162.951 s c =============================================================================== c | 85 | 1100 1540 265002 | 5000 85 346 | 0.000 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 17.1454 s Remaining CPU time: 162.855 s c =============================================================================== c | 85 | 1100 1541 265869 | 5000 85 346 | 0.000 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 17.2454 s Remaining CPU time: 162.755 s c =============================================================================== c | 85 | 1100 1542 266736 | 5000 85 346 | 0.000 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 17.3424 s Remaining CPU time: 162.658 s c =============================================================================== c | 86 | 1100 1543 267603 | 5000 86 342 | 0.000 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 17.4423 s Remaining CPU time: 162.558 s c =============================================================================== c | 86 | 1100 1544 268470 | 5000 86 342 | 0.000 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 17.5423 s Remaining CPU time: 162.458 s c =============================================================================== c | 91 | 1100 1545 269337 | 5000 91 353 | 0.000 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 17.6413 s Remaining CPU time: 162.359 s c =============================================================================== c | 91 | 1100 1546 270204 | 5000 91 353 | 0.000 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 17.7413 s Remaining CPU time: 162.259 s c =============================================================================== c | 95 | 1100 1547 271071 | 5000 95 350 | 0.000 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 17.8563 s Remaining CPU time: 162.144 s c =============================================================================== c | 118 | 1100 1548 271938 | 5000 118 389 | 0.000 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 17.9563 s Remaining CPU time: 162.044 s c =============================================================================== c | 123 | 1100 1549 272805 | 5000 123 396 | 0.000 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 18.0583 s Remaining CPU time: 161.942 s c =============================================================================== c | 124 | 1100 1550 273672 | 5000 124 397 | 0.000 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 18.1632 s Remaining CPU time: 161.837 s c =============================================================================== c | 132 | 1100 1551 274539 | 5000 132 406 | 0.000 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 18.2642 s Remaining CPU time: 161.736 s c =============================================================================== c | 133 | 1100 1552 275406 | 5000 133 403 | 0.000 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 18.3622 s Remaining CPU time: 161.638 s c =============================================================================== c | 135 | 1100 1553 276273 | 5000 135 405 | 0.000 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 18.4652 s Remaining CPU time: 161.535 s c =============================================================================== c | 136 | 1100 1554 277140 | 5000 136 406 | 0.000 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 18.5752 s Remaining CPU time: 161.425 s c =============================================================================== c | 155 | 1100 1555 278007 | 5000 155 423 | 0.000 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 18.6822 s Remaining CPU time: 161.318 s c =============================================================================== c | 159 | 1100 1556 278874 | 5000 159 426 | 0.000 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 18.7831 s Remaining CPU time: 161.217 s c =============================================================================== c | 161 | 1100 1557 279741 | 5000 161 428 | 0.000 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 18.8881 s Remaining CPU time: 161.112 s c =============================================================================== c | 164 | 1100 1558 280608 | 5000 164 430 | 0.000 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 18.9891 s Remaining CPU time: 161.011 s c =============================================================================== c | 166 | 1100 1559 281475 | 5000 166 431 | 0.000 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 19.0921 s Remaining CPU time: 160.908 s c =============================================================================== c | 167 | 1100 1560 282342 | 5000 167 432 | 0.000 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 19.2001 s Remaining CPU time: 160.8 s c =============================================================================== c | 173 | 1100 1561 283209 | 5000 173 436 | 0.000 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 19.3051 s Remaining CPU time: 160.695 s c =============================================================================== c | 177 | 1100 1562 284076 | 5000 177 435 | 0.000 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 19.408 s Remaining CPU time: 160.592 s c =============================================================================== c | 177 | 1100 1563 284943 | 5000 177 435 | 0.000 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 19.513 s Remaining CPU time: 160.487 s c =============================================================================== c | 180 | 1100 1564 285810 | 5000 180 437 | 0.000 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 19.724 s Remaining CPU time: 160.276 s c =============================================================================== c | 249 | 1100 1565 286677 | 5000 249 458 | 0.000 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 19.867 s Remaining CPU time: 160.133 s c =============================================================================== c | 273 | 1100 1566 287544 | 5000 273 464 | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 20.025 s Remaining CPU time: 159.975 s c =============================================================================== c | 309 | 1100 1567 288411 | 5000 309 472 | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 20.1599 s Remaining CPU time: 159.84 s c =============================================================================== c | 333 | 1100 1568 289278 | 5000 333 475 | 0.000 % | c | 433 | 1100 1568 289278 | 5500 433 484 | 2.483 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 20.4669 s Remaining CPU time: 159.533 s c =============================================================================== c | 443 | 1100 1569 290145 | 5000 443 485 | 2.483 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 20.5989 s Remaining CPU time: 159.401 s c =============================================================================== c | 480 | 1100 1570 291012 | 5000 480 489 | 2.483 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 20.7358 s Remaining CPU time: 159.264 s c =============================================================================== c | 514 | 1100 1571 291879 | 5000 514 491 | 2.483 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 20.8718 s Remaining CPU time: 159.128 s c =============================================================================== c | 540 | 1100 1572 292746 | 5000 540 492 | 2.483 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 21.0128 s Remaining CPU time: 158.987 s c =============================================================================== c | 580 | 1100 1573 293613 | 5000 580 493 | 2.483 % | c | 680 | 1100 1573 293613 | 5500 680 497 | 2.483 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 21.3568 s Remaining CPU time: 158.643 s c =============================================================================== c | 687 | 1100 1574 294480 | 5000 687 494 | 2.483 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 21.5277 s Remaining CPU time: 158.472 s c =============================================================================== c | 734 | 1100 1575 295347 | 5000 734 496 | 2.483 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 21.6797 s Remaining CPU time: 158.32 s c =============================================================================== c | 764 | 1100 1576 296214 | 5000 764 497 | 2.483 % | c | 864 | 1100 1576 296214 | 5500 864 499 | 2.483 % | c | 1014 | 1100 1576 296214 | 6050 1014 503 | 2.483 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 22.3556 s Remaining CPU time: 157.644 s c =============================================================================== c | 1014 | 1100 1577 297081 | 5000 1014 503 | 2.483 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 22.4586 s Remaining CPU time: 157.541 s c =============================================================================== c | 1014 | 1100 1578 297948 | 5000 1014 503 | 2.483 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 22.5646 s Remaining CPU time: 157.435 s c =============================================================================== c | 1014 | 1100 1579 298815 | 5000 1014 503 | 2.483 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 22.6686 s Remaining CPU time: 157.331 s c =============================================================================== c | 1014 | 1100 1580 299682 | 5000 1014 503 | 2.483 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 22.7755 s Remaining CPU time: 157.224 s c =============================================================================== c | 1014 | 1100 1581 300549 | 5000 1014 503 | 2.483 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 22.8815 s Remaining CPU time: 157.118 s c =============================================================================== c | 1014 | 1100 1582 301416 | 5000 1014 503 | 2.483 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 22.9865 s Remaining CPU time: 157.013 s c =============================================================================== c | 1014 | 1100 1583 302283 | 5000 1014 503 | 2.483 % | c | 1115 | 1100 1583 302283 | 5500 1115 504 | 2.483 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 23.3964 s Remaining CPU time: 156.604 s c =============================================================================== c | 1135 | 1100 1584 303150 | 5000 1135 502 | 2.483 % | c | 1237 | 1100 1584 303150 | 5500 1237 500 | 2.483 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 23.7154 s Remaining CPU time: 156.285 s c =============================================================================== c | 1250 | 1100 1585 304017 | 5000 1250 500 | 2.483 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 23.8564 s Remaining CPU time: 156.144 s c =============================================================================== c | 1281 | 1100 1586 304884 | 5000 1281 500 | 2.483 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 23.9784 s Remaining CPU time: 156.022 s c =============================================================================== c | 1299 | 1100 1587 305751 | 5000 1299 499 | 2.483 % | c | 1399 | 1100 1587 305751 | 5500 1399 499 | 2.483 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 24.3853 s Remaining CPU time: 155.615 s c =============================================================================== c | 1481 | 1100 1588 306618 | 5000 1481 499 | 2.483 % | c | 1582 | 1100 1588 306618 | 5500 1582 497 | 2.483 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 24.8062 s Remaining CPU time: 155.194 s c =============================================================================== c | 1633 | 1100 1589 307485 | 5000 1633 497 | 2.483 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 24.9192 s Remaining CPU time: 155.081 s c =============================================================================== c | 1639 | 1100 1590 308352 | 5000 1639 496 | 2.483 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 25.0832 s Remaining CPU time: 154.917 s c =============================================================================== c | 1700 | 1100 1591 309219 | 5000 1700 497 | 2.483 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 25.1882 s Remaining CPU time: 154.812 s c =============================================================================== c | 1700 | 1100 1592 310086 | 5000 1700 497 | 2.483 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 25.2962 s Remaining CPU time: 154.704 s c =============================================================================== c | 1700 | 1100 1593 310953 | 5000 1700 497 | 2.483 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 25.4281 s Remaining CPU time: 154.572 s c =============================================================================== c | 1729 | 1100 1594 311820 | 5000 1729 497 | 2.483 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 25.5361 s Remaining CPU time: 154.464 s c =============================================================================== c | 1729 | 1100 1595 312687 | 5000 1729 497 | 2.483 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 25.6751 s Remaining CPU time: 154.325 s c =============================================================================== c | 1756 | 1100 1596 313554 | 5000 1756 497 | 2.483 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 25.7831 s Remaining CPU time: 154.217 s c =============================================================================== c | 1756 | 1100 1597 314421 | 5000 1756 497 | 2.483 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 25.8901 s Remaining CPU time: 154.11 s c =============================================================================== c | 1756 | 1100 1598 315288 | 5000 1756 497 | 2.483 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 26 s Remaining CPU time: 154 s c =============================================================================== c | 1756 | 1100 1599 316155 | 5000 1756 497 | 2.483 % | c | 1856 | 1100 1599 316155 | 5500 1856 497 | 2.482 % | c | 2006 | 1100 1599 316155 | 6050 2006 496 | 2.483 % | c | 2231 | 1100 1599 316155 | 6655 2231 496 | 2.483 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 27.2299 s Remaining CPU time: 152.77 s c =============================================================================== c | 2548 | 1100 1600 317022 | 5000 2548 496 | 2.483 % | c | 2648 | 1100 1600 317022 | 5500 2648 496 | 2.483 % | c | 2798 | 1100 1600 317022 | 6050 2798 496 | 2.483 % | c | 3023 | 1100 1600 317022 | 6655 3023 496 | 2.483 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 28.1577 s Remaining CPU time: 151.842 s c =============================================================================== c | 3142 | 1100 1601 317889 | 5000 3142 496 | 2.483 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 28.3147 s Remaining CPU time: 151.685 s c =============================================================================== c | 3188 | 1100 1602 318756 | 5000 3188 496 | 2.483 % | c | 3288 | 1100 1602 318756 | 5500 3288 496 | 2.483 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 28.6926 s Remaining CPU time: 151.307 s c =============================================================================== c | 3339 | 1100 1603 319623 | 5000 3339 496 | 2.483 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 28.8246 s Remaining CPU time: 151.175 s c =============================================================================== c | 3358 | 1100 1604 320490 | 5000 3358 496 | 2.483 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 28.9446 s Remaining CPU time: 151.055 s c =============================================================================== c | 3367 | 1100 1605 321357 | 5000 3367 496 | 2.483 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 29.0526 s Remaining CPU time: 150.947 s c =============================================================================== c | 3367 | 1100 1606 322224 | 5000 3367 496 | 2.483 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 29.2176 s Remaining CPU time: 150.782 s c =============================================================================== c | 3423 | 1100 1607 323091 | 5000 3423 496 | 2.483 % | c | 3523 | 1100 1607 323091 | 5500 3523 495 | 2.483 % | c | 3673 | 1100 1607 323091 | 6050 3673 495 | 2.483 % | c | 3898 | 1100 1607 323091 | 6655 3898 495 | 2.483 % | c | 4237 | 1100 1607 323091 | 7320 4237 495 | 2.483 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 30.8323 s Remaining CPU time: 149.168 s c =============================================================================== c | 4479 | 1100 1608 323958 | 5000 4479 494 | 2.483 % | c | 4579 | 1100 1608 323958 | 5500 4579 494 | 2.483 % | c | 4729 | 1100 1608 323958 | 6050 4729 494 | 2.483 % | c | 4955 | 1100 1608 323958 | 6655 4955 494 | 2.483 % | c | 5292 | 1100 1608 323958 | 7320 5292 494 | 2.483 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 32.3711 s Remaining CPU time: 147.629 s c =============================================================================== c | 5362 | 1100 1609 324825 | 5000 5362 493 | 2.483 % | c | 5463 | 1100 1609 324825 | 5500 2782 479 | 2.482 % | c | 5613 | 1100 1609 324825 | 6050 2932 479 | 2.482 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 33.051 s Remaining CPU time: 146.949 s c =============================================================================== c | 5656 | 1100 1610 325692 | 5000 2975 479 | 2.482 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 33.2549 s Remaining CPU time: 146.745 s c =============================================================================== c | 5733 | 1100 1611 326559 | 5000 3052 480 | 2.482 % | c | 5833 | 1100 1611 326559 | 5500 3152 480 | 2.482 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 33.6539 s Remaining CPU time: 146.346 s c =============================================================================== c | 5888 | 1100 1612 327426 | 5000 3207 480 | 2.482 % | c | 5988 | 1100 1612 327426 | 5500 3307 480 | 2.482 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 34.0328 s Remaining CPU time: 145.967 s c =============================================================================== c | 6052 | 1100 1613 328293 | 5000 3371 480 | 2.482 % | c | 6152 | 1100 1613 328293 | 5500 3471 480 | 2.482 % | c | 6302 | 1100 1613 328293 | 6050 3621 481 | 2.482 % | c | 6527 | 1100 1613 328293 | 6655 3846 481 | 2.482 % | c | 6864 | 1100 1613 328293 | 7320 4183 481 | 2.482 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 35.5356 s Remaining CPU time: 144.464 s c =============================================================================== c | 6917 | 1100 1614 329160 | 5000 4236 481 | 2.482 % | c | 7019 | 1100 1614 329160 | 5500 4338 481 | 2.482 % | c | 7169 | 1100 1614 329160 | 6050 4488 482 | 2.482 % | c | 7395 | 1100 1614 329160 | 6655 4714 482 | 2.482 % | c | 7732 | 1100 1614 329160 | 7320 5051 482 | 2.482 % | c | 8238 | 1100 1614 329160 | 8052 5557 482 | 2.482 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 37.7363 s Remaining CPU time: 142.264 s c =============================================================================== c | 8347 | 1100 1615 330027 | 5000 5666 482 | 2.482 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 37.8702 s Remaining CPU time: 142.13 s c =============================================================================== c | 8356 | 1100 1616 330894 | 5000 2842 476 | 2.482 % | c | 8456 | 1100 1616 330894 | 5500 2942 477 | 2.482 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 38.3152 s Remaining CPU time: 141.685 s c =============================================================================== c | 8558 | 1100 1617 331761 | 5000 3044 477 | 2.482 % | c | 8658 | 1100 1617 331761 | 5500 3144 477 | 2.482 % | c | 8809 | 1100 1617 331761 | 6050 3295 476 | 2.482 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 38.9261 s Remaining CPU time: 141.074 s c =============================================================================== c | 8822 | 1100 1618 332628 | 5000 3308 476 | 2.482 % | c | 8922 | 1100 1618 332628 | 5500 3408 476 | 2.482 % | c | 9075 | 1100 1618 332628 | 6050 3561 476 | 2.482 % | c | 9301 | 1100 1618 332628 | 6655 3787 477 | 2.482 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 40.2189 s Remaining CPU time: 139.781 s c =============================================================================== c | 9615 | 1100 1619 333495 | 5000 4101 477 | 2.482 % | c | 9715 | 1100 1619 333495 | 5500 4201 477 | 2.482 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 40.7138 s Remaining CPU time: 139.286 s c =============================================================================== c | 9837 | 1100 1620 334362 | 5000 4323 477 | 2.482 % | c | 9937 | 1100 1620 334362 | 5500 4423 477 | 2.482 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 41.0478 s Remaining CPU time: 138.952 s c =============================================================================== c | 9945 | 1100 1621 335229 | 5000 4431 476 | 2.482 % | c | 10047 | 1100 1621 335229 | 5500 4533 477 | 2.482 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 41.5007 s Remaining CPU time: 138.499 s c =============================================================================== c | 10161 | 1100 1622 336096 | 5000 4647 476 | 2.482 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 41.6747 s Remaining CPU time: 138.325 s c =============================================================================== c | 10237 | 1100 1623 336963 | 5000 4723 476 | 2.482 % | c | 10337 | 1100 1623 336963 | 5500 4823 476 | 2.482 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 42.1186 s Remaining CPU time: 137.881 s c =============================================================================== c | 10478 | 1100 1624 337830 | 5000 4964 476 | 2.482 % | c | 10578 | 1100 1624 337830 | 5500 5064 476 | 2.482 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 42.5055 s Remaining CPU time: 137.494 s c =============================================================================== c | 10664 | 1100 1625 338697 | 5000 5150 476 | 2.482 % | c | 10764 | 1100 1625 338697 | 5500 2675 467 | 2.482 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 42.9955 s Remaining CPU time: 137.005 s c =============================================================================== c | 10907 | 1100 1626 339564 | 5000 2818 468 | 2.482 % | c | 11009 | 1100 1626 339564 | 5500 2920 468 | 2.482 % | c | 11159 | 1100 1626 339564 | 6050 3070 469 | 2.482 % | c | 11384 | 1100 1626 339564 | 6655 3295 469 | 2.482 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 44.0813 s Remaining CPU time: 135.919 s c =============================================================================== c | 11495 | 1100 1627 340431 | 5000 3406 469 | 2.482 % | c | 11597 | 1100 1627 340431 | 5500 3508 469 | 2.482 % | c | 11748 | 1100 1627 340431 | 6050 3659 469 | 2.483 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 44.7142 s Remaining CPU time: 135.286 s c =============================================================================== c | 11754 | 1100 1628 341298 | 5000 3665 469 | 2.483 % | c | 11856 | 1100 1628 341298 | 5500 3767 469 | 2.483 % | c | 12006 | 1100 1628 341298 | 6050 3917 469 | 2.483 % | c | 12231 | 1100 1628 341298 | 6655 4142 469 | 2.483 % | c | 12568 | 1100 1628 341298 | 7320 4479 470 | 2.482 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 46.5379 s Remaining CPU time: 133.462 s c =============================================================================== c | 12800 | 1100 1629 342165 | 5000 4711 470 | 2.482 % | c | 12900 | 1100 1629 342165 | 5500 4811 470 | 2.482 % | c | 13050 | 1100 1629 342165 | 6050 4961 470 | 2.482 % | c | 13275 | 1100 1629 342165 | 6655 5186 469 | 2.482 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 47.7587 s Remaining CPU time: 132.241 s c =============================================================================== c | 13353 | 1100 1630 343032 | 5000 5264 469 | 2.482 % | c | 13453 | 1100 1630 343032 | 5500 2732 457 | 2.482 % | c | 13603 | 1100 1630 343032 | 6050 2882 458 | 2.482 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 48.6286 s Remaining CPU time: 131.371 s c =============================================================================== c | 13749 | 1100 1631 343899 | 5000 3028 458 | 2.482 % | c | 13849 | 1100 1631 343899 | 5500 3128 459 | 2.482 % | c | 13999 | 1100 1631 343899 | 6050 3278 459 | 2.482 % | c | 14225 | 1100 1631 343899 | 6655 3504 460 | 2.482 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 49.8494 s Remaining CPU time: 130.151 s c =============================================================================== c | 14301 | 1100 1632 344766 | 5000 3580 460 | 2.482 % | c | 14401 | 1100 1632 344766 | 5500 3680 460 | 2.482 % | c | 14553 | 1100 1632 344766 | 6050 3832 460 | 2.482 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 50.5613 s Remaining CPU time: 129.439 s c =============================================================================== c | 14591 | 1100 1633 345633 | 5000 3870 460 | 2.482 % | c | 14691 | 1100 1633 345633 | 5500 3970 460 | 2.482 % | c | 14841 | 1100 1633 345633 | 6050 4120 461 | 2.482 % | c | 15069 | 1100 1633 345633 | 6655 4348 461 | 2.482 % | c | 15406 | 1100 1633 345633 | 7320 4685 461 | 2.482 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 52.591 s Remaining CPU time: 127.409 s c =============================================================================== c | 15744 | 1100 1634 346500 | 5000 5023 462 | 2.482 % | c | 15844 | 1100 1634 346500 | 5500 5123 462 | 2.482 % | c | 15996 | 1100 1634 346500 | 6050 5275 462 | 2.482 % | c | 16223 | 1100 1634 346500 | 6655 5502 462 | 2.482 % | c | 16560 | 1100 1634 346500 | 7320 5839 462 | 2.482 % | c | 17069 | 1100 1634 346500 | 8052 6348 462 | 2.482 % | c | 17829 | 1100 1634 346500 | 8857 7108 463 | 2.482 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 57.7662 s Remaining CPU time: 122.234 s c =============================================================================== c | 18808 | 1100 1635 347367 | 5000 8087 464 | 2.482 % | c | 18909 | 1100 1635 347367 | 5500 4145 459 | 2.482 % | c | 19060 | 1100 1635 347367 | 6050 4296 459 | 2.482 % | c | 19285 | 1100 1635 347367 | 6655 4521 459 | 2.482 % | c | 19622 | 1100 1635 347367 | 7320 4858 460 | 2.482 % | c | 20129 | 1100 1635 347367 | 8052 5365 460 | 2.482 % | c | 20888 | 1100 1635 347367 | 8857 6124 461 | 2.482 % | c | 22028 | 1100 1635 347367 | 9743 7264 462 | 2.482 % | c | 23737 | 1100 1635 347367 | 10717 8973 462 | 2.482 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 65.2041 s Remaining CPU time: 114.796 s c =============================================================================== c | 23959 | 1100 1636 348234 | 5000 9195 462 | 2.482 % | c | 24061 | 1100 1636 348234 | 5500 4700 459 | 2.482 % | c | 24211 | 1100 1636 348234 | 6050 4850 459 | 2.482 % | c | 24436 | 1100 1636 348234 | 6655 5075 459 | 2.482 % | c | 24773 | 1100 1636 348234 | 7320 5412 459 | 2.482 % | c | 25281 | 1100 1636 348234 | 8052 5920 459 | 2.482 % | c | 26040 | 1100 1636 348234 | 8857 6679 460 | 2.482 % | c | 27179 | 1100 1636 348234 | 9743 7818 460 | 2.482 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 71.0722 s Remaining CPU time: 108.928 s c =============================================================================== c | 28007 | 1100 1637 349101 | 5000 8646 461 | 2.482 % | c | 28109 | 1100 1637 349101 | 5500 4425 457 | 2.482 % | c | 28259 | 1100 1637 349101 | 6050 4575 458 | 2.482 % | c | 28487 | 1100 1637 349101 | 6655 4803 458 | 2.482 % | c | 28824 | 1100 1637 349101 | 7320 5140 458 | 2.482 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 72.655 s Remaining CPU time: 107.345 s c =============================================================================== c | 28884 | 1100 1638 349968 | 5000 5200 458 | 2.482 % | c | 28985 | 1100 1638 349968 | 5500 2701 453 | 2.482 % | c | 29137 | 1100 1638 349968 | 6050 2853 453 | 2.482 % | c | 29362 | 1100 1638 349968 | 6655 3078 454 | 2.482 % | c | 29700 | 1100 1638 349968 | 7320 3416 455 | 2.482 % | c | 30208 | 1100 1638 349968 | 8052 3924 456 | 2.482 % | c | 30969 | 1100 1638 349968 | 8857 4685 457 | 2.482 % | c | 32108 | 1100 1638 349968 | 9743 5824 458 | 2.482 % | c | 33816 | 1100 1638 349968 | 10717 7532 459 | 2.482 % | c | 36378 | 1100 1638 349968 | 11789 10094 460 | 2.482 % | c | 40222 | 1100 1638 349968 | 12968 7773 458 | 2.482 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 98.1001 s Remaining CPU time: 81.8999 s c =============================================================================== c | 45552 | 1100 1639 350835 | 5000 13103 460 | 2.482 % | c | 45652 | 1100 1639 350835 | 5500 3376 453 | 2.482 % | c | 45802 | 1100 1639 350835 | 6050 3526 454 | 2.482 % | c | 46027 | 1100 1639 350835 | 6655 3751 454 | 2.482 % | c | 46365 | 1100 1639 350835 | 7320 4089 455 | 2.482 % | c | 46871 | 1100 1639 350835 | 8052 4595 455 | 2.482 % | c | 47630 | 1100 1639 350835 | 8857 5354 456 | 2.482 % | c | 48770 | 1100 1639 350835 | 9743 6494 457 | 2.482 % | c | 50480 | 1100 1639 350835 | 10717 8204 458 | 2.482 % | c | 53042 | 1100 1639 350835 | 11789 10766 459 | 2.482 % | c | 56887 | 1100 1639 350835 | 12968 8458 457 | 2.482 % | c | 62653 | 1100 1639 350835 | 14265 7477 458 | 2.482 % | c | 71303 | 1100 1639 350835 | 15692 8738 458 | 2.482 % | c | 84280 | 1100 1639 350835 | 17261 13591 459 | 2.482 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 154.574 s Remaining CPU time: 25.4265 s c =============================================================================== c | 85416 | 1100 1640 351702 | 5000 14727 459 | 2.482 % | c | 85516 | 1100 1640 351702 | 5500 3782 454 | 2.482 % | c | 85668 | 1100 1640 351702 | 6050 3934 454 | 2.482 % | c | 85893 | 1100 1640 351702 | 6655 4159 454 | 2.482 % | c | 86233 | 1100 1640 351702 | 7320 4499 454 | 2.482 % | c | 86739 | 1100 1640 351702 | 8052 5005 455 | 2.482 % | c | 87498 | 1100 1640 351702 | 8857 5764 455 | 2.482 % | c | 88639 | 1100 1640 351702 | 9743 6905 456 | 2.482 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 161.235 s Remaining CPU time: 18.7645 s c =============================================================================== c | 89921 | 1100 1641 352569 | 5000 8187 457 | 2.482 % | c | 90021 | 1100 1641 352569 | 5500 4194 453 | 2.482 % | c | 90171 | 1100 1641 352569 | 6050 4344 453 | 2.482 % | c | 90396 | 1100 1641 352569 | 6655 4569 453 | 2.482 % | c | 90734 | 1100 1641 352569 | 7320 4907 453 | 2.482 % | c | 91240 | 1100 1641 352569 | 8052 5413 454 | 2.482 % | c | 91999 | 1100 1641 352569 | 8857 6172 455 | 2.482 % | c | 93138 | 1100 1641 352569 | 9743 7311 455 | 2.482 % | c | 94846 | 1100 1641 352569 | 10717 9019 455 | 2.482 % | c | 97409 | 1100 1641 352569 | 11789 5962 454 | 2.482 % | c | 101253 | 1100 1641 352569 | 12968 9806 456 | 2.482 % | 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 | 326 2507 4845 | 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 | 418 2510 5096 | 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 | 563 2511 5452 | 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 | 854 2515 5954 | 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 | 1066 2516 6284 | 5000 0 nan | 0.000 % | c | 101 | 1066 2516 6284 | 5500 101 49 | 33.040 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1485 2521 71138 | 5000 0 nan | 0.000 % | c | 100 | 1485 2521 71138 | 5500 100 58 | 20.032 % | c | 250 | 1484 2521 71138 | 6050 250 35 | 20.140 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1978 2528 198578 | 5000 0 nan | 0.000 % | c | 102 | 1978 2528 198578 | 5500 102 39 | 10.254 % | c | 255 | 1978 2528 198578 | 6050 255 27 | 10.254 % | c | 480 | 1978 2528 198578 | 6655 480 23 | 10.254 % | c | 817 | 1978 2528 198578 | 7320 817 22 | 10.254 % | c | 1323 | 1976 2528 198578 | 8052 1063 20 | 10.345 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2497 2551 297540 | 5000 0 nan | 0.000 % | c | 100 | 2497 2551 297540 | 5500 100 33 | 4.330 % | c | 250 | 2497 2551 297540 | 6050 250 25 | 4.330 % | c | 476 | 2497 2551 297540 | 6655 476 20 | 4.330 % | c | 813 | 2497 2551 297540 | 7320 813 18 | 4.330 % | c | 1319 | 2497 2551 297540 | 8052 1319 17 | 4.330 % | c | 2078 | 2497 2551 297540 | 8857 2078 17 | 4.330 % | c | 3220 | 2497 2551 297540 | 9743 3220 17 | 4.330 % | c | 4928 | 2497 2551 297540 | 10717 4928 18 | 4.330 % | c | 7490 | 2497 2551 297540 | 11789 7490 18 | 4.330 % | c | 11335 | 2497 2551 297540 | 12968 11335 19 | 4.330 % | c | 17101 | 2488 2551 297540 | 14265 4583 15 | 4.674 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3251 2582 330314 | 5000 0 nan | 0.000 % | c | 100 | 3251 2582 330314 | 5500 100 40 | 2.314 % | c | 252 | 3251 2582 330314 | 6050 252 31 | 2.314 % | c | 479 | 3251 2582 330314 | 6655 479 25 | 2.314 % | c | 820 | 3251 2582 330314 | 7320 820 29 | 2.314 % | c | 1327 | 3251 2582 330314 | 8052 1327 32 | 2.314 % | c | 2086 | 3251 2582 330314 | 8857 2086 33 | 2.314 % | c | 3225 | 3251 2582 330314 | 9743 3225 35 | 2.314 % | c | 4933 | 3251 2582 330314 | 10717 4933 37 | 2.314 % | c | 7495 | 3251 2582 330314 | 11789 7495 37 | 2.314 % | c | 11340 | 3251 2582 330314 | 12968 11340 36 | 2.314 % | c | 17107 | 3251 2582 330314 | 14265 10557 35 | 2.314 % | c | 25758 | 3251 2582 330314 | 15692 12012 32 | 2.314 % | c | 38732 | 3251 2582 330314 | 17261 9149 28 | 2.314 % | c | 58193 | 3249 2582 330314 | 18987 7697 25 | 2.374 % | c | 87385 | 3247 2582 330314 | 20886 9750 26 | 2.434 % | c | 131177 | 3247 2582 330314 | 22974 11421 28 | 2.434 % | c | 196862 | 3238 2582 330314 | 25272 20262 30 | 2.975 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4163 2653 360911 | 5000 0 nan | 0.000 % | c | 100 | 4163 2653 360911 | 5500 100 57 | 0.668 % | c | 252 | 4163 2653 360911 | 6050 252 50 | 0.668 % | c | 477 | 4163 2653 360911 | 6655 477 45 | 0.668 % | c | 815 | 4163 2653 360911 | 7320 815 44 | 0.668 % | c | 1321 | 4163 2653 360911 | 8052 1321 42 | 0.668 % | c | 2080 | 4163 2653 360911 | 8857 2080 45 | 0.668 % | c | 3219 | 4163 2653 360911 | 9743 3219 46 | 0.668 % | c | 4931 | 4163 2653 360911 | 10717 4931 56 | 0.668 % | c | 7493 | 4163 2653 360911 | 11789 7493 57 | 0.668 % | c | 11338 | 4163 2653 360911 | 12968 11338 53 | 0.668 % | c | 17105 | 4163 2653 360911 | 14265 10380 50 | 0.668 % | c | 25757 | 4163 2653 360911 | 15692 11848 61 | 0.668 % | c | 38731 | 4163 2653 360911 | 17261 8845 79 | 0.668 % | c | 58192 | 4163 2653 360911 | 18987 10900 49 | 0.668 % | c | 87384 | 4163 2653 360911 | 20886 10958 72 | 0.668 % | c | 131175 | 4163 2653 360911 | 22974 11812 58 | 0.668 % | c | 196860 | 4163 2653 360911 | 25272 18637 67 | 0.668 % | c | 295387 | 4163 2653 360911 | 27799 24620 60 | 0.668 % |