c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 1274 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1171 | c | Number Clauses: 1255 | 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 | 1143 1283 4820 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 894 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1143 1284 5729 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 893 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1143 1285 6638 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 892 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1143 1286 7547 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 891 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1143 1287 8456 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 890 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1143 1288 9365 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 889 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1143 1289 10274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 888 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1143 1290 11183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 887 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1143 1291 12092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 886 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1143 1292 13001 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 885 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1143 1293 13910 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 884 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1143 1294 14819 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 883 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1143 1295 15728 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 882 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1143 1296 16637 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 881 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1143 1297 17546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 880 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1143 1298 18455 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 879 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1143 1299 19364 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 878 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 1143 1300 20273 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 877 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 1143 1301 21182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 876 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 1143 1302 22091 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 875 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 1143 1303 23000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 874 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 1143 1304 23909 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 873 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 1143 1305 24818 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 872 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 1143 1306 25727 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 871 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 1143 1307 26636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 870 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 0 | 1143 1308 27545 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 869 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 0 | 1143 1309 28454 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 868 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 0 | 1143 1310 29363 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 867 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 1143 1311 30272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 866 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 0 | 1143 1312 31181 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 865 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 0 | 1143 1313 32090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 864 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 0 | 1143 1314 32999 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 863 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 0 | 1143 1315 33908 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 862 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 0 | 1143 1316 34817 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 861 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 0 | 1143 1317 35726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 860 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 0 | 1143 1318 36635 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 859 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 0 | 1143 1319 37544 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 858 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 0 | 1143 1320 38453 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 857 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 0 | 1143 1321 39362 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 856 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 0 | 1143 1322 40271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 855 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 0 | 1143 1323 41180 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 854 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 0 | 1143 1324 42089 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 853 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 0 | 1143 1325 42998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 852 c Elapsed CPU time: 0.283956 s Remaining CPU time: 179.716 s c =============================================================================== c | 0 | 1143 1326 43907 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 851 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 0 | 1143 1327 44816 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 850 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 0 | 1143 1328 45725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 849 c Elapsed CPU time: 0.339948 s Remaining CPU time: 179.66 s c =============================================================================== c | 0 | 1143 1329 46634 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 848 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 0 | 1143 1330 47543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 847 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 0 | 1143 1331 48452 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 846 c Elapsed CPU time: 0.397939 s Remaining CPU time: 179.602 s c =============================================================================== c | 0 | 1143 1332 49361 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 845 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s c =============================================================================== c | 0 | 1143 1333 50270 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 844 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s c =============================================================================== c | 0 | 1143 1334 51179 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 843 c Elapsed CPU time: 0.460929 s Remaining CPU time: 179.539 s c =============================================================================== c | 0 | 1143 1335 52088 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 842 c Elapsed CPU time: 0.482926 s Remaining CPU time: 179.517 s c =============================================================================== c | 0 | 1143 1336 52997 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 841 c Elapsed CPU time: 0.504923 s Remaining CPU time: 179.495 s c =============================================================================== c | 0 | 1143 1337 53906 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 840 c Elapsed CPU time: 0.528919 s Remaining CPU time: 179.471 s c =============================================================================== c | 0 | 1143 1338 54815 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 839 c Elapsed CPU time: 0.553915 s Remaining CPU time: 179.446 s c =============================================================================== c | 0 | 1143 1339 55724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 838 c Elapsed CPU time: 0.576912 s Remaining CPU time: 179.423 s c =============================================================================== c | 0 | 1143 1340 56633 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 837 c Elapsed CPU time: 0.601908 s Remaining CPU time: 179.398 s c =============================================================================== c | 0 | 1143 1341 57542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 836 c Elapsed CPU time: 0.626904 s Remaining CPU time: 179.373 s c =============================================================================== c | 0 | 1143 1342 58451 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 835 c Elapsed CPU time: 0.6519 s Remaining CPU time: 179.348 s c =============================================================================== c | 0 | 1143 1343 59360 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 834 c Elapsed CPU time: 0.677896 s Remaining CPU time: 179.322 s c =============================================================================== c | 0 | 1143 1344 60269 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 833 c Elapsed CPU time: 0.702893 s Remaining CPU time: 179.297 s c =============================================================================== c | 0 | 1143 1345 61178 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 832 c Elapsed CPU time: 0.728889 s Remaining CPU time: 179.271 s c =============================================================================== c | 0 | 1143 1346 62087 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 831 c Elapsed CPU time: 0.754885 s Remaining CPU time: 179.245 s c =============================================================================== c | 0 | 1143 1347 62996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 830 c Elapsed CPU time: 0.781881 s Remaining CPU time: 179.218 s c =============================================================================== c | 0 | 1143 1348 63905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 829 c Elapsed CPU time: 0.809876 s Remaining CPU time: 179.19 s c =============================================================================== c | 0 | 1143 1349 64814 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 828 c Elapsed CPU time: 0.835872 s Remaining CPU time: 179.164 s c =============================================================================== c | 0 | 1143 1350 65723 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 827 c Elapsed CPU time: 0.863868 s Remaining CPU time: 179.136 s c =============================================================================== c | 0 | 1143 1351 66632 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 826 c Elapsed CPU time: 0.891864 s Remaining CPU time: 179.108 s c =============================================================================== c | 0 | 1143 1352 67541 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 825 c Elapsed CPU time: 0.91986 s Remaining CPU time: 179.08 s c =============================================================================== c | 0 | 1143 1353 68450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 824 c Elapsed CPU time: 0.947855 s Remaining CPU time: 179.052 s c =============================================================================== c | 0 | 1143 1354 69359 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 823 c Elapsed CPU time: 0.975851 s Remaining CPU time: 179.024 s c =============================================================================== c | 0 | 1143 1355 70268 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 822 c Elapsed CPU time: 1.00585 s Remaining CPU time: 178.994 s c =============================================================================== c | 0 | 1143 1356 71177 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 821 c Elapsed CPU time: 1.03384 s Remaining CPU time: 178.966 s c =============================================================================== c | 0 | 1143 1357 72086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 820 c Elapsed CPU time: 1.06284 s Remaining CPU time: 178.937 s c =============================================================================== c | 0 | 1143 1358 72995 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 819 c Elapsed CPU time: 1.09383 s Remaining CPU time: 178.906 s c =============================================================================== c | 0 | 1143 1359 73904 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 818 c Elapsed CPU time: 1.12483 s Remaining CPU time: 178.875 s c =============================================================================== c | 0 | 1143 1360 74813 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 817 c Elapsed CPU time: 1.15482 s Remaining CPU time: 178.845 s c =============================================================================== c | 0 | 1143 1361 75722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 816 c Elapsed CPU time: 1.18482 s Remaining CPU time: 178.815 s c =============================================================================== c | 0 | 1143 1362 76631 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 815 c Elapsed CPU time: 1.21582 s Remaining CPU time: 178.784 s c =============================================================================== c | 0 | 1143 1363 77540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 814 c Elapsed CPU time: 1.24781 s Remaining CPU time: 178.752 s c =============================================================================== c | 0 | 1143 1364 78449 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 813 c Elapsed CPU time: 1.27981 s Remaining CPU time: 178.72 s c =============================================================================== c | 0 | 1143 1365 79358 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 812 c Elapsed CPU time: 1.3128 s Remaining CPU time: 178.687 s c =============================================================================== c | 0 | 1143 1366 80267 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 811 c Elapsed CPU time: 1.34479 s Remaining CPU time: 178.655 s c =============================================================================== c | 0 | 1143 1367 81176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 810 c Elapsed CPU time: 1.37679 s Remaining CPU time: 178.623 s c =============================================================================== c | 0 | 1143 1368 82085 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 809 c Elapsed CPU time: 1.41078 s Remaining CPU time: 178.589 s c =============================================================================== c | 0 | 1143 1369 82994 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 808 c Elapsed CPU time: 1.44478 s Remaining CPU time: 178.555 s c =============================================================================== c | 0 | 1143 1370 83903 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 807 c Elapsed CPU time: 1.47877 s Remaining CPU time: 178.521 s c =============================================================================== c | 0 | 1143 1371 84812 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 806 c Elapsed CPU time: 1.51477 s Remaining CPU time: 178.485 s c =============================================================================== c | 0 | 1143 1372 85721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 805 c Elapsed CPU time: 1.54876 s Remaining CPU time: 178.451 s c =============================================================================== c | 0 | 1143 1373 86630 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 804 c Elapsed CPU time: 1.58276 s Remaining CPU time: 178.417 s c =============================================================================== c | 0 | 1143 1374 87539 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 803 c Elapsed CPU time: 1.61875 s Remaining CPU time: 178.381 s c =============================================================================== c | 0 | 1143 1375 88448 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 802 c Elapsed CPU time: 1.65475 s Remaining CPU time: 178.345 s c =============================================================================== c | 0 | 1143 1376 89357 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 801 c Elapsed CPU time: 1.69274 s Remaining CPU time: 178.307 s c =============================================================================== c | 0 | 1143 1377 90266 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 800 c Elapsed CPU time: 1.72974 s Remaining CPU time: 178.27 s c =============================================================================== c | 0 | 1143 1378 91175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 799 c Elapsed CPU time: 1.76773 s Remaining CPU time: 178.232 s c =============================================================================== c | 0 | 1143 1379 92084 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 798 c Elapsed CPU time: 1.80472 s Remaining CPU time: 178.195 s c =============================================================================== c | 0 | 1143 1380 92993 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 797 c Elapsed CPU time: 1.84372 s Remaining CPU time: 178.156 s c =============================================================================== c | 0 | 1143 1381 93902 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 796 c Elapsed CPU time: 1.88071 s Remaining CPU time: 178.119 s c =============================================================================== c | 0 | 1143 1382 94811 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 795 c Elapsed CPU time: 1.91971 s Remaining CPU time: 178.08 s c =============================================================================== c | 0 | 1143 1383 95720 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 794 c Elapsed CPU time: 1.9577 s Remaining CPU time: 178.042 s c =============================================================================== c | 0 | 1143 1384 96629 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 793 c Elapsed CPU time: 1.9947 s Remaining CPU time: 178.005 s c =============================================================================== c | 0 | 1143 1385 97538 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 792 c Elapsed CPU time: 2.03869 s Remaining CPU time: 177.961 s c =============================================================================== c | 0 | 1143 1386 98447 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 791 c Elapsed CPU time: 2.08168 s Remaining CPU time: 177.918 s c =============================================================================== c | 0 | 1143 1387 99356 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 790 c Elapsed CPU time: 2.12468 s Remaining CPU time: 177.875 s c =============================================================================== c | 0 | 1143 1388 100265 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 789 c Elapsed CPU time: 2.16767 s Remaining CPU time: 177.832 s c =============================================================================== c | 0 | 1143 1389 101174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 788 c Elapsed CPU time: 2.21266 s Remaining CPU time: 177.787 s c =============================================================================== c | 0 | 1143 1390 102083 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 787 c Elapsed CPU time: 2.25766 s Remaining CPU time: 177.742 s c =============================================================================== c | 0 | 1143 1391 102992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 786 c Elapsed CPU time: 2.30265 s Remaining CPU time: 177.697 s c =============================================================================== c | 0 | 1143 1392 103901 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 785 c Elapsed CPU time: 2.34664 s Remaining CPU time: 177.653 s c =============================================================================== c | 0 | 1143 1393 104810 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 784 c Elapsed CPU time: 2.39264 s Remaining CPU time: 177.607 s c =============================================================================== c | 0 | 1143 1394 105719 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 783 c Elapsed CPU time: 2.43963 s Remaining CPU time: 177.56 s c =============================================================================== c | 0 | 1143 1395 106628 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 782 c Elapsed CPU time: 2.48662 s Remaining CPU time: 177.513 s c =============================================================================== c | 0 | 1143 1396 107537 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 781 c Elapsed CPU time: 2.53461 s Remaining CPU time: 177.465 s c =============================================================================== c | 0 | 1143 1397 108446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 780 c Elapsed CPU time: 2.58161 s Remaining CPU time: 177.418 s c =============================================================================== c | 0 | 1143 1398 109355 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 779 c Elapsed CPU time: 2.6296 s Remaining CPU time: 177.37 s c =============================================================================== c | 0 | 1143 1399 110264 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 778 c Elapsed CPU time: 2.67759 s Remaining CPU time: 177.322 s c =============================================================================== c | 0 | 1143 1400 111173 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 777 c Elapsed CPU time: 2.72459 s Remaining CPU time: 177.275 s c =============================================================================== c | 0 | 1143 1401 112082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 776 c Elapsed CPU time: 2.77358 s Remaining CPU time: 177.226 s c =============================================================================== c | 0 | 1143 1402 112991 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 775 c Elapsed CPU time: 2.81957 s Remaining CPU time: 177.18 s c =============================================================================== c | 0 | 1143 1403 113900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 774 c Elapsed CPU time: 2.86856 s Remaining CPU time: 177.131 s c =============================================================================== c | 0 | 1143 1404 114809 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 773 c Elapsed CPU time: 2.91656 s Remaining CPU time: 177.083 s c =============================================================================== c | 0 | 1143 1405 115718 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 772 c Elapsed CPU time: 2.96355 s Remaining CPU time: 177.036 s c =============================================================================== c | 0 | 1143 1406 116627 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 771 c Elapsed CPU time: 3.01054 s Remaining CPU time: 176.989 s c =============================================================================== c | 0 | 1143 1407 117536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 770 c Elapsed CPU time: 3.06053 s Remaining CPU time: 176.939 s c =============================================================================== c | 0 | 1143 1408 118445 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 769 c Elapsed CPU time: 3.10953 s Remaining CPU time: 176.89 s c =============================================================================== c | 0 | 1143 1409 119354 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 768 c Elapsed CPU time: 3.15752 s Remaining CPU time: 176.842 s c =============================================================================== c | 0 | 1143 1410 120263 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 767 c Elapsed CPU time: 3.20751 s Remaining CPU time: 176.792 s c =============================================================================== c | 0 | 1143 1411 121172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 766 c Elapsed CPU time: 3.2565 s Remaining CPU time: 176.743 s c =============================================================================== c | 0 | 1143 1412 122081 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 765 c Elapsed CPU time: 3.3055 s Remaining CPU time: 176.695 s c =============================================================================== c | 0 | 1143 1413 122990 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 764 c Elapsed CPU time: 3.35349 s Remaining CPU time: 176.647 s c =============================================================================== c | 0 | 1143 1414 123899 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 763 c Elapsed CPU time: 3.40348 s Remaining CPU time: 176.597 s c =============================================================================== c | 0 | 1143 1415 124808 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 762 c Elapsed CPU time: 3.45347 s Remaining CPU time: 176.547 s c =============================================================================== c | 0 | 1143 1416 125717 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 761 c Elapsed CPU time: 3.50547 s Remaining CPU time: 176.495 s c =============================================================================== c | 0 | 1143 1417 126626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 760 c Elapsed CPU time: 3.55546 s Remaining CPU time: 176.445 s c =============================================================================== c | 0 | 1143 1418 127535 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 759 c Elapsed CPU time: 3.60445 s Remaining CPU time: 176.396 s c =============================================================================== c | 0 | 1143 1419 128444 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 758 c Elapsed CPU time: 3.65444 s Remaining CPU time: 176.346 s c =============================================================================== c | 0 | 1143 1420 129353 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 757 c Elapsed CPU time: 3.70544 s Remaining CPU time: 176.295 s c =============================================================================== c | 0 | 1143 1421 130262 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 756 c Elapsed CPU time: 3.75543 s Remaining CPU time: 176.245 s c =============================================================================== c | 0 | 1143 1422 131171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 755 c Elapsed CPU time: 3.80542 s Remaining CPU time: 176.195 s c =============================================================================== c | 0 | 1143 1423 132080 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 754 c Elapsed CPU time: 3.85641 s Remaining CPU time: 176.144 s c =============================================================================== c | 0 | 1143 1424 132989 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 753 c Elapsed CPU time: 3.90941 s Remaining CPU time: 176.091 s c =============================================================================== c | 0 | 1143 1425 133898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 752 c Elapsed CPU time: 3.9604 s Remaining CPU time: 176.04 s c =============================================================================== c | 0 | 1143 1426 134807 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 751 c Elapsed CPU time: 4.01139 s Remaining CPU time: 175.989 s c =============================================================================== c | 0 | 1143 1427 135716 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 750 c Elapsed CPU time: 4.06338 s Remaining CPU time: 175.937 s c =============================================================================== c | 0 | 1143 1428 136625 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 749 c Elapsed CPU time: 4.11437 s Remaining CPU time: 175.886 s c =============================================================================== c | 0 | 1143 1429 137534 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 748 c Elapsed CPU time: 4.16637 s Remaining CPU time: 175.834 s c =============================================================================== c | 0 | 1143 1430 138443 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 747 c Elapsed CPU time: 4.21936 s Remaining CPU time: 175.781 s c =============================================================================== c | 0 | 1143 1431 139352 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 746 c Elapsed CPU time: 4.27335 s Remaining CPU time: 175.727 s c =============================================================================== c | 0 | 1143 1432 140261 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 745 c Elapsed CPU time: 4.32734 s Remaining CPU time: 175.673 s c =============================================================================== c | 0 | 1143 1433 141170 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 744 c Elapsed CPU time: 4.38133 s Remaining CPU time: 175.619 s c =============================================================================== c | 0 | 1143 1434 142079 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 743 c Elapsed CPU time: 4.43633 s Remaining CPU time: 175.564 s c =============================================================================== c | 0 | 1143 1435 142988 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 742 c Elapsed CPU time: 4.50131 s Remaining CPU time: 175.499 s c =============================================================================== c | 0 | 1143 1436 143897 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 741 c Elapsed CPU time: 4.56431 s Remaining CPU time: 175.436 s c =============================================================================== c | 0 | 1143 1437 144806 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 740 c Elapsed CPU time: 4.6273 s Remaining CPU time: 175.373 s c =============================================================================== c | 0 | 1143 1438 145715 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 739 c Elapsed CPU time: 4.69029 s Remaining CPU time: 175.31 s c =============================================================================== c | 0 | 1143 1439 146624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 738 c Elapsed CPU time: 4.75428 s Remaining CPU time: 175.246 s c =============================================================================== c | 0 | 1143 1440 147533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 737 c Elapsed CPU time: 4.81627 s Remaining CPU time: 175.184 s c =============================================================================== c | 0 | 1143 1441 148442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 736 c Elapsed CPU time: 4.88026 s Remaining CPU time: 175.12 s c =============================================================================== c | 0 | 1143 1442 149351 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 735 c Elapsed CPU time: 4.94325 s Remaining CPU time: 175.057 s c =============================================================================== c | 0 | 1143 1443 150260 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 734 c Elapsed CPU time: 5.00524 s Remaining CPU time: 174.995 s c =============================================================================== c | 0 | 1143 1444 151169 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 733 c Elapsed CPU time: 5.07223 s Remaining CPU time: 174.928 s c =============================================================================== c | 0 | 1143 1445 152078 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 732 c Elapsed CPU time: 5.13922 s Remaining CPU time: 174.861 s c =============================================================================== c | 0 | 1143 1446 152987 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 731 c Elapsed CPU time: 5.20621 s Remaining CPU time: 174.794 s c =============================================================================== c | 0 | 1143 1447 153896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 730 c Elapsed CPU time: 5.2722 s Remaining CPU time: 174.728 s c =============================================================================== c | 0 | 1143 1448 154805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 729 c Elapsed CPU time: 5.34719 s Remaining CPU time: 174.653 s c =============================================================================== c | 0 | 1143 1449 155714 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 728 c Elapsed CPU time: 5.42317 s Remaining CPU time: 174.577 s c =============================================================================== c | 0 | 1143 1450 156623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 727 c Elapsed CPU time: 5.49916 s Remaining CPU time: 174.501 s c =============================================================================== c | 0 | 1143 1451 157532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 726 c Elapsed CPU time: 5.57415 s Remaining CPU time: 174.426 s c =============================================================================== c | 0 | 1143 1452 158441 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 725 c Elapsed CPU time: 5.65014 s Remaining CPU time: 174.35 s c =============================================================================== c | 0 | 1143 1453 159350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 724 c Elapsed CPU time: 5.72613 s Remaining CPU time: 174.274 s c =============================================================================== c | 0 | 1143 1454 160259 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 723 c Elapsed CPU time: 5.80312 s Remaining CPU time: 174.197 s c =============================================================================== c | 0 | 1143 1455 161168 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 722 c Elapsed CPU time: 5.88011 s Remaining CPU time: 174.12 s c =============================================================================== c | 0 | 1143 1456 162077 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 721 c Elapsed CPU time: 5.95709 s Remaining CPU time: 174.043 s c =============================================================================== c | 0 | 1143 1457 162986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 720 c Elapsed CPU time: 6.03408 s Remaining CPU time: 173.966 s c =============================================================================== c | 0 | 1143 1458 163895 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 719 c Elapsed CPU time: 6.11607 s Remaining CPU time: 173.884 s c =============================================================================== c | 0 | 1143 1459 164804 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 718 c Elapsed CPU time: 6.20106 s Remaining CPU time: 173.799 s c =============================================================================== c | 0 | 1143 1460 165713 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 717 c Elapsed CPU time: 6.28604 s Remaining CPU time: 173.714 s c =============================================================================== c | 0 | 1143 1461 166622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 716 c Elapsed CPU time: 6.37103 s Remaining CPU time: 173.629 s c =============================================================================== c | 0 | 1143 1462 167531 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 715 c Elapsed CPU time: 6.45802 s Remaining CPU time: 173.542 s c =============================================================================== c | 0 | 1143 1463 168440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 714 c Elapsed CPU time: 6.546 s Remaining CPU time: 173.454 s c =============================================================================== c | 0 | 1143 1464 169349 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 713 c Elapsed CPU time: 6.63199 s Remaining CPU time: 173.368 s c =============================================================================== c | 0 | 1143 1465 170258 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 712 c Elapsed CPU time: 6.71998 s Remaining CPU time: 173.28 s c =============================================================================== c | 0 | 1143 1466 171167 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 711 c Elapsed CPU time: 6.80497 s Remaining CPU time: 173.195 s c =============================================================================== c | 0 | 1143 1467 172076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 710 c Elapsed CPU time: 6.89195 s Remaining CPU time: 173.108 s c =============================================================================== c | 0 | 1143 1468 172985 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 709 c Elapsed CPU time: 6.97794 s Remaining CPU time: 173.022 s c =============================================================================== c | 0 | 1143 1469 173894 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 708 c Elapsed CPU time: 7.06492 s Remaining CPU time: 172.935 s c =============================================================================== c | 0 | 1143 1470 174803 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 707 c Elapsed CPU time: 7.15291 s Remaining CPU time: 172.847 s c =============================================================================== c | 0 | 1143 1471 175712 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 706 c Elapsed CPU time: 7.2399 s Remaining CPU time: 172.76 s c =============================================================================== c | 0 | 1143 1472 176621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 705 c Elapsed CPU time: 7.32888 s Remaining CPU time: 172.671 s c =============================================================================== c | 0 | 1143 1473 177530 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 704 c Elapsed CPU time: 7.41687 s Remaining CPU time: 172.583 s c =============================================================================== c | 0 | 1143 1474 178439 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 703 c Elapsed CPU time: 7.50586 s Remaining CPU time: 172.494 s c =============================================================================== c | 0 | 1143 1475 179348 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 702 c Elapsed CPU time: 7.59185 s Remaining CPU time: 172.408 s c =============================================================================== c | 0 | 1143 1476 180257 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 701 c Elapsed CPU time: 7.67983 s Remaining CPU time: 172.32 s c =============================================================================== c | 0 | 1143 1477 181166 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 700 c Elapsed CPU time: 7.76782 s Remaining CPU time: 172.232 s c =============================================================================== c | 0 | 1143 1478 182075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 699 c Elapsed CPU time: 7.85581 s Remaining CPU time: 172.144 s c =============================================================================== c | 0 | 1143 1479 182984 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 698 c Elapsed CPU time: 7.94479 s Remaining CPU time: 172.055 s c =============================================================================== c | 0 | 1143 1480 183893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 697 c Elapsed CPU time: 8.03478 s Remaining CPU time: 171.965 s c =============================================================================== c | 0 | 1143 1481 184802 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 696 c Elapsed CPU time: 8.12377 s Remaining CPU time: 171.876 s c =============================================================================== c | 0 | 1143 1482 185711 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 695 c Elapsed CPU time: 8.21375 s Remaining CPU time: 171.786 s c =============================================================================== c | 0 | 1143 1483 186620 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 694 c Elapsed CPU time: 8.30174 s Remaining CPU time: 171.698 s c =============================================================================== c | 0 | 1143 1484 187529 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 693 c Elapsed CPU time: 8.40372 s Remaining CPU time: 171.596 s c =============================================================================== c | 0 | 1143 1485 188438 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 692 c Elapsed CPU time: 8.50871 s Remaining CPU time: 171.491 s c =============================================================================== c | 0 | 1143 1486 189347 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 691 c Elapsed CPU time: 8.61269 s Remaining CPU time: 171.387 s c =============================================================================== c | 0 | 1143 1487 190256 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 690 c Elapsed CPU time: 8.71567 s Remaining CPU time: 171.284 s c =============================================================================== c | 0 | 1143 1488 191165 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 689 c Elapsed CPU time: 8.81966 s Remaining CPU time: 171.18 s c =============================================================================== c | 0 | 1143 1489 192074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 688 c Elapsed CPU time: 8.92264 s Remaining CPU time: 171.077 s c =============================================================================== c | 0 | 1143 1490 192983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 687 c Elapsed CPU time: 9.02763 s Remaining CPU time: 170.972 s c =============================================================================== c | 0 | 1143 1491 193892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 686 c Elapsed CPU time: 9.13161 s Remaining CPU time: 170.868 s c =============================================================================== c | 0 | 1143 1492 194801 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 685 c Elapsed CPU time: 9.23659 s Remaining CPU time: 170.763 s c =============================================================================== c | 0 | 1143 1493 195710 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 684 c Elapsed CPU time: 9.34258 s Remaining CPU time: 170.657 s c =============================================================================== c | 0 | 1143 1494 196619 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 683 c Elapsed CPU time: 9.44956 s Remaining CPU time: 170.55 s c =============================================================================== c | 0 | 1143 1495 197528 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 682 c Elapsed CPU time: 9.55755 s Remaining CPU time: 170.442 s c =============================================================================== c | 0 | 1143 1496 198437 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 681 c Elapsed CPU time: 9.66353 s Remaining CPU time: 170.336 s c =============================================================================== c | 0 | 1143 1497 199346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 680 c Elapsed CPU time: 9.77051 s Remaining CPU time: 170.229 s c =============================================================================== c | 0 | 1143 1498 200255 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 679 c Elapsed CPU time: 9.8765 s Remaining CPU time: 170.124 s c =============================================================================== c | 0 | 1143 1499 201164 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 678 c Elapsed CPU time: 9.98048 s Remaining CPU time: 170.02 s c =============================================================================== c | 0 | 1143 1500 202073 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 677 c Elapsed CPU time: 10.0875 s Remaining CPU time: 169.913 s c =============================================================================== c | 0 | 1143 1501 202982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 676 c Elapsed CPU time: 10.1914 s Remaining CPU time: 169.809 s c =============================================================================== c | 0 | 1143 1502 203891 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 675 c Elapsed CPU time: 10.2964 s Remaining CPU time: 169.704 s c =============================================================================== c | 0 | 1143 1503 204800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 674 c Elapsed CPU time: 10.4024 s Remaining CPU time: 169.598 s c =============================================================================== c | 0 | 1143 1504 205709 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 673 c Elapsed CPU time: 10.5094 s Remaining CPU time: 169.491 s c =============================================================================== c | 0 | 1143 1505 206618 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 672 c Elapsed CPU time: 10.6154 s Remaining CPU time: 169.385 s c =============================================================================== c | 0 | 1143 1506 207527 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 671 c Elapsed CPU time: 10.7194 s Remaining CPU time: 169.281 s c =============================================================================== c | 0 | 1143 1507 208436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 670 c Elapsed CPU time: 10.8244 s Remaining CPU time: 169.176 s c =============================================================================== c | 0 | 1143 1508 209345 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 669 c Elapsed CPU time: 10.9293 s Remaining CPU time: 169.071 s c =============================================================================== c | 0 | 1143 1509 210254 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 668 c Elapsed CPU time: 11.0323 s Remaining CPU time: 168.968 s c =============================================================================== c | 0 | 1143 1510 211163 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 667 c Elapsed CPU time: 11.1373 s Remaining CPU time: 168.863 s c =============================================================================== c | 0 | 1143 1511 212072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 666 c Elapsed CPU time: 11.2423 s Remaining CPU time: 168.758 s c =============================================================================== c | 0 | 1143 1512 212981 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 665 c Elapsed CPU time: 11.3473 s Remaining CPU time: 168.653 s c =============================================================================== c | 0 | 1143 1513 213890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 664 c Elapsed CPU time: 11.4533 s Remaining CPU time: 168.547 s c =============================================================================== c | 0 | 1143 1514 214799 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 663 c Elapsed CPU time: 11.5562 s Remaining CPU time: 168.444 s c =============================================================================== c | 0 | 1143 1515 215708 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 662 c Elapsed CPU time: 11.6612 s Remaining CPU time: 168.339 s c =============================================================================== c | 0 | 1143 1516 216617 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 11.7692 s Remaining CPU time: 168.231 s c =============================================================================== c | 0 | 1143 1517 217526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 11.8752 s Remaining CPU time: 168.125 s c =============================================================================== c | 0 | 1143 1518 218435 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 659 c Elapsed CPU time: 11.9822 s Remaining CPU time: 168.018 s c =============================================================================== c | 0 | 1143 1519 219344 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 658 c Elapsed CPU time: 12.0882 s Remaining CPU time: 167.912 s c =============================================================================== c | 0 | 1143 1520 220253 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 12.1941 s Remaining CPU time: 167.806 s c =============================================================================== c | 0 | 1143 1521 221162 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 12.3001 s Remaining CPU time: 167.7 s c =============================================================================== c | 0 | 1143 1522 222071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 12.4061 s Remaining CPU time: 167.594 s c =============================================================================== c | 0 | 1143 1523 222980 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 12.5131 s Remaining CPU time: 167.487 s c =============================================================================== c | 0 | 1143 1524 223889 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 12.6191 s Remaining CPU time: 167.381 s c =============================================================================== c | 0 | 1143 1525 224798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 12.7241 s Remaining CPU time: 167.276 s c =============================================================================== c | 0 | 1143 1526 225707 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 12.829 s Remaining CPU time: 167.171 s c =============================================================================== c | 0 | 1143 1527 226616 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 12.933 s Remaining CPU time: 167.067 s c =============================================================================== c | 0 | 1143 1528 227525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 13.036 s Remaining CPU time: 166.964 s c =============================================================================== c | 0 | 1143 1529 228434 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 13.14 s Remaining CPU time: 166.86 s c =============================================================================== c | 0 | 1143 1530 229343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 13.244 s Remaining CPU time: 166.756 s c =============================================================================== c | 0 | 1143 1531 230252 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 13.347 s Remaining CPU time: 166.653 s c =============================================================================== c | 0 | 1143 1532 231161 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 13.452 s Remaining CPU time: 166.548 s c =============================================================================== c | 0 | 1143 1533 232070 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 13.5529 s Remaining CPU time: 166.447 s c =============================================================================== c | 0 | 1143 1534 232979 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 13.6559 s Remaining CPU time: 166.344 s c =============================================================================== c | 0 | 1143 1535 233888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 13.7589 s Remaining CPU time: 166.241 s c =============================================================================== c | 0 | 1143 1536 234797 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 13.8579 s Remaining CPU time: 166.142 s c =============================================================================== c | 0 | 1143 1537 235706 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 13.9599 s Remaining CPU time: 166.04 s c =============================================================================== c | 0 | 1143 1538 236615 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 14.0609 s Remaining CPU time: 165.939 s c =============================================================================== c | 0 | 1143 1539 237524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 14.1768 s Remaining CPU time: 165.823 s c =============================================================================== c | 5 | 1143 1540 238433 | 5000 5 646 | 0.000 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 14.2688 s Remaining CPU time: 165.731 s c =============================================================================== c | 5 | 1143 1541 239342 | 5000 5 646 | 0.000 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 14.3628 s Remaining CPU time: 165.637 s c =============================================================================== c | 12 | 1143 1542 240251 | 5000 12 644 | 0.000 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 14.4578 s Remaining CPU time: 165.542 s c =============================================================================== c | 14 | 1143 1543 241160 | 5000 14 556 | 0.000 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 14.5508 s Remaining CPU time: 165.449 s c =============================================================================== c | 17 | 1143 1544 242069 | 5000 17 459 | 0.000 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 14.6498 s Remaining CPU time: 165.35 s c =============================================================================== c | 31 | 1143 1545 242978 | 5000 31 541 | 0.000 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 14.7448 s Remaining CPU time: 165.255 s c =============================================================================== c | 32 | 1143 1546 243887 | 5000 32 524 | 0.000 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 14.8377 s Remaining CPU time: 165.162 s c =============================================================================== c | 32 | 1143 1547 244796 | 5000 32 524 | 0.000 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 14.9317 s Remaining CPU time: 165.068 s c =============================================================================== c | 32 | 1143 1548 245705 | 5000 32 524 | 0.000 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 15.0287 s Remaining CPU time: 164.971 s c =============================================================================== c | 40 | 1143 1549 246614 | 5000 40 546 | 0.000 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 15.1227 s Remaining CPU time: 164.877 s c =============================================================================== c | 40 | 1143 1550 247523 | 5000 40 546 | 0.000 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 15.2307 s Remaining CPU time: 164.769 s c =============================================================================== c | 56 | 1143 1551 248432 | 5000 56 571 | 0.000 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 15.3347 s Remaining CPU time: 164.665 s c =============================================================================== c | 67 | 1143 1552 249341 | 5000 67 581 | 0.000 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 15.4317 s Remaining CPU time: 164.568 s c =============================================================================== c | 67 | 1143 1553 250250 | 5000 67 581 | 0.000 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 15.5266 s Remaining CPU time: 164.473 s c =============================================================================== c | 67 | 1143 1554 251159 | 5000 67 581 | 0.000 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 15.6216 s Remaining CPU time: 164.378 s c =============================================================================== c | 67 | 1143 1555 252068 | 5000 67 581 | 0.000 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 15.7166 s Remaining CPU time: 164.283 s c =============================================================================== c | 67 | 1143 1556 252977 | 5000 67 581 | 0.000 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 15.8116 s Remaining CPU time: 164.188 s c =============================================================================== c | 67 | 1143 1557 253886 | 5000 67 581 | 0.000 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 15.9086 s Remaining CPU time: 164.091 s c =============================================================================== c | 68 | 1143 1558 254795 | 5000 68 573 | 0.000 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 16.0046 s Remaining CPU time: 163.995 s c =============================================================================== c | 68 | 1143 1559 255704 | 5000 68 573 | 0.000 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 16.1016 s Remaining CPU time: 163.898 s c =============================================================================== c | 68 | 1143 1560 256613 | 5000 68 573 | 0.000 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 16.1995 s Remaining CPU time: 163.8 s c =============================================================================== c | 68 | 1143 1561 257522 | 5000 68 573 | 0.000 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 16.2975 s Remaining CPU time: 163.702 s c =============================================================================== c | 68 | 1143 1562 258431 | 5000 68 573 | 0.000 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 16.3945 s Remaining CPU time: 163.605 s c =============================================================================== c | 68 | 1143 1563 259340 | 5000 68 573 | 0.000 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 16.4935 s Remaining CPU time: 163.507 s c =============================================================================== c | 68 | 1143 1564 260249 | 5000 68 573 | 0.000 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 16.5905 s Remaining CPU time: 163.41 s c =============================================================================== c | 69 | 1143 1565 261158 | 5000 69 565 | 0.000 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 16.6875 s Remaining CPU time: 163.313 s c =============================================================================== c | 70 | 1143 1566 262067 | 5000 70 565 | 0.000 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 16.7854 s Remaining CPU time: 163.215 s c =============================================================================== c | 70 | 1143 1567 262976 | 5000 70 565 | 0.000 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 16.8834 s Remaining CPU time: 163.117 s c =============================================================================== c | 70 | 1143 1568 263885 | 5000 70 565 | 0.000 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 16.9814 s Remaining CPU time: 163.019 s c =============================================================================== c | 70 | 1143 1569 264794 | 5000 70 565 | 0.000 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 17.1174 s Remaining CPU time: 162.883 s c =============================================================================== c | 99 | 1143 1570 265703 | 5000 99 573 | 0.000 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 17.2164 s Remaining CPU time: 162.784 s c =============================================================================== c | 99 | 1143 1571 266612 | 5000 99 573 | 0.000 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 17.3164 s Remaining CPU time: 162.684 s c =============================================================================== c | 99 | 1143 1572 267521 | 5000 99 573 | 0.000 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 17.4443 s Remaining CPU time: 162.556 s c =============================================================================== c | 136 | 1143 1573 268430 | 5000 136 571 | 0.000 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 17.5503 s Remaining CPU time: 162.45 s c =============================================================================== c | 143 | 1143 1574 269339 | 5000 143 569 | 0.000 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 17.6523 s Remaining CPU time: 162.348 s c =============================================================================== c | 146 | 1143 1575 270248 | 5000 146 570 | 0.000 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 17.7533 s Remaining CPU time: 162.247 s c =============================================================================== c | 146 | 1143 1576 271157 | 5000 146 570 | 0.000 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 17.8583 s Remaining CPU time: 162.142 s c =============================================================================== c | 154 | 1143 1577 272066 | 5000 154 572 | 0.000 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 17.9753 s Remaining CPU time: 162.025 s c =============================================================================== c | 182 | 1143 1578 272975 | 5000 182 574 | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 18.0793 s Remaining CPU time: 161.921 s c =============================================================================== c | 183 | 1143 1579 273884 | 5000 183 574 | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 18.1802 s Remaining CPU time: 161.82 s c =============================================================================== c | 183 | 1143 1580 274793 | 5000 183 574 | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 18.2822 s Remaining CPU time: 161.718 s c =============================================================================== c | 184 | 1143 1581 275702 | 5000 184 574 | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 18.4202 s Remaining CPU time: 161.58 s c =============================================================================== c | 216 | 1143 1582 276611 | 5000 216 573 | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 18.5242 s Remaining CPU time: 161.476 s c =============================================================================== c | 218 | 1143 1583 277520 | 5000 218 571 | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 18.6452 s Remaining CPU time: 161.355 s c =============================================================================== c | 238 | 1143 1584 278429 | 5000 238 574 | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 18.7751 s Remaining CPU time: 161.225 s c =============================================================================== c | 275 | 1143 1585 279338 | 5000 275 575 | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 18.9581 s Remaining CPU time: 161.042 s c =============================================================================== c | 340 | 1143 1586 280247 | 5000 340 580 | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 19.0911 s Remaining CPU time: 160.909 s c =============================================================================== c | 372 | 1143 1587 281156 | 5000 372 577 | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 19.1981 s Remaining CPU time: 160.802 s c =============================================================================== c | 377 | 1143 1588 282065 | 5000 377 577 | 0.000 % | c | 478 | 1143 1588 282065 | 5500 478 582 | 2.391 % | c | 628 | 1143 1588 282065 | 6050 628 583 | 2.391 % | c | 853 | 1143 1588 282065 | 6655 853 586 | 2.391 % | c | 1190 | 1143 1588 282065 | 7320 1190 589 | 2.391 % | c | 1697 | 1143 1588 282065 | 8052 1697 590 | 2.391 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 21.0758 s Remaining CPU time: 158.924 s c =============================================================================== c | 1763 | 1143 1589 282974 | 5000 1763 589 | 2.391 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 21.1938 s Remaining CPU time: 158.806 s c =============================================================================== c | 1772 | 1143 1590 283883 | 5000 1772 589 | 2.391 % | c | 1872 | 1143 1590 283883 | 5500 1872 589 | 2.391 % | c | 2022 | 1143 1590 283883 | 6050 2022 589 | 2.391 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 21.6647 s Remaining CPU time: 158.335 s c =============================================================================== c | 2031 | 1143 1591 284792 | 5000 2031 588 | 2.391 % | c | 2131 | 1143 1591 284792 | 5500 2131 588 | 2.391 % | c | 2281 | 1143 1591 284792 | 6050 2281 588 | 2.391 % | c | 2506 | 1143 1591 284792 | 6655 2506 589 | 2.391 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 22.6706 s Remaining CPU time: 157.329 s c =============================================================================== c | 2636 | 1143 1592 285701 | 5000 2636 589 | 2.391 % | c | 2736 | 1143 1592 285701 | 5500 2736 589 | 2.391 % | c | 2886 | 1143 1592 285701 | 6050 2886 589 | 2.391 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 23.3385 s Remaining CPU time: 156.662 s c =============================================================================== c | 3002 | 1143 1593 286610 | 5000 3002 589 | 2.391 % | c | 3104 | 1143 1593 286610 | 5500 3104 589 | 2.391 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 23.6814 s Remaining CPU time: 156.319 s c =============================================================================== c | 3166 | 1143 1594 287519 | 5000 3166 589 | 2.391 % | c | 3266 | 1143 1594 287519 | 5500 3266 589 | 2.391 % | c | 3416 | 1143 1594 287519 | 6050 3416 589 | 2.391 % | c | 3641 | 1143 1594 287519 | 6655 3641 589 | 2.391 % | c | 3979 | 1143 1594 287519 | 7320 3979 588 | 2.391 % | c | 4485 | 1143 1594 287519 | 8052 4485 588 | 2.391 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 25.6621 s Remaining CPU time: 154.338 s c =============================================================================== c | 4497 | 1143 1595 288428 | 5000 4497 588 | 2.391 % | c | 4597 | 1143 1595 288428 | 5500 4597 588 | 2.391 % | c | 4750 | 1143 1595 288428 | 6050 4750 588 | 2.391 % | c | 4975 | 1143 1595 288428 | 6655 4975 587 | 2.391 % | c | 5312 | 1143 1595 288428 | 7320 5312 587 | 2.391 % | c | 5819 | 1143 1595 288428 | 8052 5819 588 | 2.391 % | c | 6578 | 1143 1595 288428 | 8857 6578 588 | 2.391 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 28.9856 s Remaining CPU time: 151.014 s c =============================================================================== c | 7280 | 1143 1596 289337 | 5000 7280 588 | 2.391 % | c | 7380 | 1143 1596 289337 | 5500 3740 582 | 2.391 % | c | 7530 | 1143 1596 289337 | 6050 3890 582 | 2.391 % | c | 7755 | 1143 1596 289337 | 6655 4115 582 | 2.391 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 29.9864 s Remaining CPU time: 150.014 s c =============================================================================== c | 7862 | 1143 1597 290246 | 5000 4222 582 | 2.391 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 30.1064 s Remaining CPU time: 149.894 s c =============================================================================== c | 7878 | 1143 1598 291155 | 5000 4238 582 | 2.391 % | c | 7978 | 1143 1598 291155 | 5500 4338 582 | 2.391 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 30.4944 s Remaining CPU time: 149.506 s c =============================================================================== c | 8059 | 1143 1599 292064 | 5000 4419 582 | 2.391 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 30.6863 s Remaining CPU time: 149.314 s c =============================================================================== c | 8142 | 1143 1600 292973 | 5000 4502 582 | 2.391 % | c | 8242 | 1143 1600 292973 | 5500 4602 582 | 2.391 % | c | 8394 | 1143 1600 292973 | 6050 4754 582 | 2.391 % | c | 8619 | 1143 1600 292973 | 6655 4979 582 | 2.391 % | c | 8956 | 1143 1600 292973 | 7320 5316 582 | 2.391 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 32.2191 s Remaining CPU time: 147.781 s c =============================================================================== c | 9198 | 1143 1601 293882 | 5000 5558 582 | 2.391 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 32.3601 s Remaining CPU time: 147.64 s c =============================================================================== c | 9218 | 1143 1602 294791 | 5000 2799 575 | 2.391 % | c | 9321 | 1143 1602 294791 | 5500 2902 575 | 2.391 % | c | 9471 | 1143 1602 294791 | 6050 3052 575 | 2.391 % | c | 9697 | 1143 1602 294791 | 6655 3278 576 | 2.391 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 33.2659 s Remaining CPU time: 146.734 s c =============================================================================== c | 9838 | 1143 1603 295700 | 5000 3419 576 | 2.391 % | c | 9938 | 1143 1603 295700 | 5500 3519 576 | 2.391 % | c | 10089 | 1143 1603 295700 | 6050 3670 576 | 2.391 % | c | 10314 | 1143 1603 295700 | 6655 3895 577 | 2.391 % | c | 10652 | 1143 1603 295700 | 7320 4233 577 | 2.391 % | c | 11159 | 1143 1603 295700 | 8052 4740 577 | 2.391 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 35.2996 s Remaining CPU time: 144.7 s c =============================================================================== c | 11342 | 1143 1604 296609 | 5000 4923 577 | 2.391 % | c | 11442 | 1143 1604 296609 | 5500 5023 577 | 2.391 % | c | 11592 | 1143 1604 296609 | 6050 5173 577 | 2.391 % | c | 11817 | 1143 1604 296609 | 6655 5398 577 | 2.391 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 36.4155 s Remaining CPU time: 143.585 s c =============================================================================== c | 12142 | 1143 1605 297518 | 5000 5723 577 | 2.391 % | c | 12244 | 1143 1605 297518 | 5500 2964 570 | 2.391 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 36.7694 s Remaining CPU time: 143.231 s c =============================================================================== c | 12297 | 1143 1606 298427 | 5000 3017 570 | 2.391 % | c | 12397 | 1143 1606 298427 | 5500 3117 570 | 2.391 % | c | 12549 | 1143 1606 298427 | 6050 3269 570 | 2.391 % | c | 12775 | 1143 1606 298427 | 6655 3495 571 | 2.391 % | c | 13115 | 1143 1606 298427 | 7320 3835 571 | 2.391 % | c | 13621 | 1143 1606 298427 | 8052 4341 572 | 2.391 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 38.5111 s Remaining CPU time: 141.489 s c =============================================================================== c | 13665 | 1143 1607 299336 | 5000 4385 572 | 2.391 % | c | 13766 | 1143 1607 299336 | 5500 4486 572 | 2.391 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 38.8561 s Remaining CPU time: 141.144 s c =============================================================================== c | 13785 | 1143 1608 300245 | 5000 4505 572 | 2.391 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 39.0151 s Remaining CPU time: 140.985 s c =============================================================================== c | 13858 | 1143 1609 301154 | 5000 4578 571 | 2.391 % | c | 13958 | 1143 1609 301154 | 5500 4678 572 | 2.391 % | c | 14108 | 1143 1609 301154 | 6050 4828 572 | 2.391 % | c | 14333 | 1143 1609 301154 | 6655 5053 572 | 2.391 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 40.1889 s Remaining CPU time: 139.811 s c =============================================================================== c | 14663 | 1143 1610 302063 | 5000 5383 572 | 2.391 % | c | 14763 | 1143 1610 302063 | 5500 2792 563 | 2.391 % | c | 14913 | 1143 1610 302063 | 6050 2942 563 | 2.391 % | c | 15138 | 1143 1610 302063 | 6655 3167 564 | 2.391 % | c | 15475 | 1143 1610 302063 | 7320 3504 564 | 2.391 % | c | 15981 | 1143 1610 302063 | 8052 4010 565 | 2.391 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 41.8656 s Remaining CPU time: 138.134 s c =============================================================================== c | 16045 | 1143 1611 302972 | 5000 4074 565 | 2.391 % | c | 16145 | 1143 1611 302972 | 5500 4174 565 | 2.391 % | c | 16295 | 1143 1611 302972 | 6050 4324 566 | 2.391 % | c | 16520 | 1143 1611 302972 | 6655 4549 566 | 2.391 % | c | 16857 | 1143 1611 302972 | 7320 4886 566 | 2.391 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 43.1874 s Remaining CPU time: 136.813 s c =============================================================================== c | 16914 | 1143 1612 303881 | 5000 4943 566 | 2.391 % | c | 17018 | 1143 1612 303881 | 5500 5047 566 | 2.391 % | c | 17168 | 1143 1612 303881 | 6050 5197 566 | 2.391 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 43.8403 s Remaining CPU time: 136.16 s c =============================================================================== c | 17349 | 1143 1613 304790 | 5000 5378 566 | 2.391 % | c | 17449 | 1143 1613 304790 | 5500 2789 559 | 2.391 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 44.2183 s Remaining CPU time: 135.782 s c =============================================================================== c | 17452 | 1143 1614 305699 | 5000 2792 558 | 2.391 % | c | 17555 | 1143 1614 305699 | 5500 2895 559 | 2.391 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 44.6162 s Remaining CPU time: 135.384 s c =============================================================================== c | 17601 | 1143 1615 306608 | 5000 2941 558 | 2.391 % | c | 17701 | 1143 1615 306608 | 5500 3041 558 | 2.391 % | c | 17851 | 1143 1615 306608 | 6050 3191 559 | 2.391 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 45.1661 s Remaining CPU time: 134.834 s c =============================================================================== c | 17859 | 1143 1616 307517 | 5000 3199 559 | 2.391 % | c | 17959 | 1143 1616 307517 | 5500 3299 559 | 2.391 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 45.4981 s Remaining CPU time: 134.502 s c =============================================================================== c | 17965 | 1143 1617 308426 | 5000 3305 559 | 2.391 % | c | 18065 | 1143 1617 308426 | 5500 3405 559 | 2.391 % | c | 18216 | 1143 1617 308426 | 6050 3556 559 | 2.391 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 46.152 s Remaining CPU time: 133.848 s c =============================================================================== c | 18358 | 1143 1618 309335 | 5000 3698 559 | 2.391 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 46.368 s Remaining CPU time: 133.632 s c =============================================================================== c | 18441 | 1143 1619 310244 | 5000 3781 559 | 2.391 % | c | 18541 | 1143 1619 310244 | 5500 3881 559 | 2.391 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 46.7869 s Remaining CPU time: 133.213 s c =============================================================================== c | 18592 | 1143 1620 311153 | 5000 3932 559 | 2.391 % | c | 18692 | 1143 1620 311153 | 5500 4032 560 | 2.391 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 47.1338 s Remaining CPU time: 132.866 s c =============================================================================== c | 18707 | 1143 1621 312062 | 5000 4047 560 | 2.391 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 47.2718 s Remaining CPU time: 132.728 s c =============================================================================== c | 18738 | 1143 1622 312971 | 5000 4078 560 | 2.391 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 47.3948 s Remaining CPU time: 132.605 s c =============================================================================== c | 18752 | 1143 1623 313880 | 5000 4092 560 | 2.391 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 47.5118 s Remaining CPU time: 132.488 s c =============================================================================== c | 18755 | 1143 1624 314789 | 5000 4095 560 | 2.391 % | c | 18855 | 1143 1624 314789 | 5500 4195 560 | 2.391 % | c | 19005 | 1143 1624 314789 | 6050 4345 560 | 2.391 % | c | 19230 | 1143 1624 314789 | 6655 4570 560 | 2.391 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 48.5326 s Remaining CPU time: 131.467 s c =============================================================================== c | 19254 | 1143 1625 315698 | 5000 4594 560 | 2.391 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 48.6786 s Remaining CPU time: 131.321 s c =============================================================================== c | 19281 | 1143 1626 316607 | 5000 4621 560 | 2.391 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 48.7986 s Remaining CPU time: 131.201 s c =============================================================================== c | 19284 | 1143 1627 317516 | 5000 4624 560 | 2.391 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 48.9156 s Remaining CPU time: 131.084 s c =============================================================================== c | 19286 | 1143 1628 318425 | 5000 4626 560 | 2.391 % | c | 19386 | 1143 1628 318425 | 5500 4726 560 | 2.391 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 49.3005 s Remaining CPU time: 130.699 s c =============================================================================== c | 19525 | 1143 1629 319334 | 5000 4865 559 | 2.391 % | c | 19625 | 1143 1629 319334 | 5500 4965 559 | 2.391 % | c | 19777 | 1143 1629 319334 | 6050 5117 559 | 2.391 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 49.9144 s Remaining CPU time: 130.086 s c =============================================================================== c | 19835 | 1143 1630 320243 | 5000 5175 559 | 2.391 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 50.0854 s Remaining CPU time: 129.915 s c =============================================================================== c | 19885 | 1143 1631 321152 | 5000 2638 549 | 2.391 % | c | 19986 | 1143 1631 321152 | 5500 2739 549 | 2.391 % | c | 20137 | 1143 1631 321152 | 6050 2890 549 | 2.391 % | c | 20362 | 1143 1631 321152 | 6655 3115 549 | 2.391 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 51.1942 s Remaining CPU time: 128.806 s c =============================================================================== c | 20482 | 1143 1632 322061 | 5000 3235 549 | 2.391 % | c | 20584 | 1143 1632 322061 | 5500 3337 549 | 2.391 % | c | 20734 | 1143 1632 322061 | 6050 3487 549 | 2.391 % | c | 20959 | 1143 1632 322061 | 6655 3712 550 | 2.391 % | c | 21297 | 1143 1632 322061 | 7320 4050 550 | 2.391 % | c | 21803 | 1143 1632 322061 | 8052 4556 550 | 2.391 % | c | 22562 | 1143 1632 322061 | 8857 5315 550 | 2.391 % | c | 23701 | 1143 1632 322061 | 9743 6454 550 | 2.391 % | c | 25409 | 1143 1632 322061 | 10717 8162 550 | 2.391 % | c | 27971 | 1143 1632 322061 | 11789 10724 551 | 2.391 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 60.5598 s Remaining CPU time: 119.44 s c =============================================================================== c | 28655 | 1143 1633 322970 | 5000 11408 551 | 2.391 % | c | 28757 | 1143 1633 322970 | 5500 2954 541 | 2.391 % | c | 28907 | 1143 1633 322970 | 6050 3104 541 | 2.391 % | c | 29132 | 1143 1633 322970 | 6655 3329 542 | 2.391 % | c | 29471 | 1143 1633 322970 | 7320 3668 543 | 2.391 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 62.4415 s Remaining CPU time: 117.558 s c =============================================================================== c | 29920 | 1143 1634 323879 | 5000 4117 544 | 2.391 % | c | 30020 | 1143 1634 323879 | 5500 4217 544 | 2.391 % | c | 30170 | 1143 1634 323879 | 6050 4367 544 | 2.391 % | c | 30395 | 1143 1634 323879 | 6655 4592 544 | 2.391 % | c | 30732 | 1143 1634 323879 | 7320 4929 544 | 2.391 % | c | 31238 | 1143 1634 323879 | 8052 5435 545 | 2.391 % | c | 31997 | 1143 1634 323879 | 8857 6194 545 | 2.391 % | c | 33136 | 1143 1634 323879 | 9743 7333 546 | 2.391 % | c | 34844 | 1143 1634 323879 | 10717 9041 547 | 2.391 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 70.3753 s Remaining CPU time: 109.625 s c =============================================================================== c | 36675 | 1143 1635 324788 | 5000 10872 548 | 2.391 % | c | 36775 | 1143 1635 324788 | 5500 2818 539 | 2.391 % | c | 36925 | 1143 1635 324788 | 6050 2968 539 | 2.391 % | c | 37151 | 1143 1635 324788 | 6655 3194 540 | 2.391 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 71.4121 s Remaining CPU time: 108.588 s c =============================================================================== c | 37299 | 1143 1636 325697 | 5000 3342 540 | 2.391 % | c | 37399 | 1143 1636 325697 | 5500 3442 540 | 2.391 % | c | 37549 | 1143 1636 325697 | 6050 3592 540 | 2.391 % | c | 37774 | 1143 1636 325697 | 6655 3817 541 | 2.391 % | c | 38113 | 1143 1636 325697 | 7320 4156 541 | 2.391 % | c | 38619 | 1143 1636 325697 | 8052 4662 540 | 2.391 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 73.8528 s Remaining CPU time: 106.147 s c =============================================================================== c | 39057 | 1143 1637 326606 | 5000 5100 541 | 2.391 % | c | 39157 | 1143 1637 326606 | 5500 2650 532 | 2.391 % | c | 39307 | 1143 1637 326606 | 6050 2800 533 | 2.391 % | c | 39532 | 1143 1637 326606 | 6655 3025 534 | 2.391 % | c | 39869 | 1143 1637 326606 | 7320 3362 535 | 2.391 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 75.6025 s Remaining CPU time: 104.397 s c =============================================================================== c | 40373 | 1143 1638 327515 | 5000 3866 536 | 2.391 % | c | 40473 | 1143 1638 327515 | 5500 3966 537 | 2.391 % | c | 40623 | 1143 1638 327515 | 6050 4116 537 | 2.391 % | c | 40848 | 1143 1638 327515 | 6655 4341 537 | 2.391 % | c | 41185 | 1143 1638 327515 | 7320 4678 538 | 2.391 % | c | 41693 | 1143 1638 327515 | 8052 5186 539 | 2.391 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 77.9202 s Remaining CPU time: 102.08 s c =============================================================================== c | 41737 | 1143 1639 328424 | 5000 5230 539 | 2.391 % | c | 41837 | 1143 1639 328424 | 5500 2715 531 | 2.391 % | c | 41987 | 1143 1639 328424 | 6050 2865 532 | 2.391 % | c | 42213 | 1143 1639 328424 | 6655 3091 533 | 2.391 % | c | 42550 | 1143 1639 328424 | 7320 3428 534 | 2.391 % | c | 43056 | 1143 1639 328424 | 8052 3934 536 | 2.391 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 80.4358 s Remaining CPU time: 99.5642 s c =============================================================================== c | 43592 | 1143 1640 329333 | 5000 4470 537 | 2.391 % | c | 43692 | 1143 1640 329333 | 5500 4570 537 | 2.391 % | c | 43842 | 1143 1640 329333 | 6050 4720 537 | 2.391 % | c | 44069 | 1143 1640 329333 | 6655 4947 537 | 2.391 % | c | 44406 | 1143 1640 329333 | 7320 5284 538 | 2.391 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 82.2155 s Remaining CPU time: 97.7845 s c =============================================================================== c | 44757 | 1143 1641 330242 | 5000 5635 538 | 2.391 % | c | 44858 | 1143 1641 330242 | 5500 2919 531 | 2.391 % | c | 45008 | 1143 1641 330242 | 6050 3069 532 | 2.391 % | c | 45234 | 1143 1641 330242 | 6655 3295 532 | 2.391 % | c | 45571 | 1143 1641 330242 | 7320 3632 533 | 2.391 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 83.8333 s Remaining CPU time: 96.1667 s c =============================================================================== c | 45795 | 1143 1642 331151 | 5000 3856 534 | 2.391 % | c | 45895 | 1143 1642 331151 | 5500 3956 534 | 2.391 % | c | 46045 | 1143 1642 331151 | 6050 4106 534 | 2.391 % | c | 46270 | 1143 1642 331151 | 6655 4331 535 | 2.391 % | c | 46607 | 1143 1642 331151 | 7320 4668 535 | 2.391 % | c | 47113 | 1143 1642 331151 | 8052 5174 535 | 2.391 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 86.2819 s Remaining CPU time: 93.7181 s c =============================================================================== c | 47439 | 1143 1643 332060 | 5000 5500 536 | 2.391 % | c | 47539 | 1143 1643 332060 | 5500 2850 527 | 2.391 % | c | 47689 | 1143 1643 332060 | 6050 3000 527 | 2.391 % | c | 47914 | 1143 1643 332060 | 6655 3225 528 | 2.391 % | c | 48251 | 1143 1643 332060 | 7320 3562 529 | 2.391 % | c | 48757 | 1143 1643 332060 | 8052 4068 530 | 2.391 % | c | 49516 | 1143 1643 332060 | 8857 4827 532 | 2.391 % | c | 50656 | 1143 1643 332060 | 9743 5967 533 | 2.391 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 90.4812 s Remaining CPU time: 89.5188 s c =============================================================================== c | 50679 | 1143 1644 332969 | 5000 5990 533 | 2.391 % | c | 50779 | 1143 1644 332969 | 5500 3095 528 | 2.391 % | c | 50929 | 1143 1644 332969 | 6050 3245 528 | 2.391 % | c | 51155 | 1143 1644 332969 | 6655 3471 529 | 2.391 % | c | 51492 | 1143 1644 332969 | 7320 3808 530 | 2.391 % | c | 51999 | 1143 1644 332969 | 8052 4315 531 | 2.391 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 93.0898 s Remaining CPU time: 86.9102 s c =============================================================================== c | 52692 | 1143 1645 333878 | 5000 5008 531 | 2.391 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 93.2368 s Remaining CPU time: 86.7632 s c =============================================================================== c | 52727 | 1143 1646 334787 | 5000 5043 531 | 2.391 % | c | 52827 | 1143 1646 334787 | 5500 2622 525 | 2.391 % | c | 52977 | 1143 1646 334787 | 6050 2772 526 | 2.391 % | c | 53202 | 1143 1646 334787 | 6655 2997 526 | 2.391 % | c | 53539 | 1143 1646 334787 | 7320 3334 528 | 2.391 % | c | 54046 | 1143 1646 334787 | 8052 3841 529 | 2.391 % | c | 54806 | 1143 1646 334787 | 8857 4601 530 | 2.391 % | c | 55945 | 1143 1646 334787 | 9743 5740 532 | 2.391 % | c | 57653 | 1143 1646 334787 | 10717 7448 533 | 2.391 % | c | 60215 | 1143 1646 334787 | 11789 10010 535 | 2.391 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 104.813 s Remaining CPU time: 75.1869 s c =============================================================================== c | 62887 | 1143 1647 335696 | 5000 6495 533 | 2.391 % | c | 62988 | 1143 1647 335696 | 5500 3349 528 | 2.391 % | c | 63138 | 1143 1647 335696 | 6050 3499 528 | 2.391 % | c | 63363 | 1143 1647 335696 | 6655 3724 529 | 2.391 % | c | 63700 | 1143 1647 335696 | 7320 4061 529 | 2.391 % | c | 64206 | 1143 1647 335696 | 8052 4567 529 | 2.391 % | c | 64965 | 1143 1647 335696 | 8857 5326 531 | 2.391 % | c | 66104 | 1143 1647 335696 | 9743 6465 532 | 2.391 % | c | 67812 | 1143 1647 335696 | 10717 8173 533 | 2.391 % | c | 70374 | 1143 1647 335696 | 11789 10735 534 | 2.391 % | c | 74219 | 1143 1647 335696 | 12968 8388 534 | 2.391 % | c | 79986 | 1143 1647 335696 | 14265 7367 533 | 2.391 % | c | 88635 | 1143 1647 335696 | 15692 8574 533 | 2.391 % | c | 101609 | 1143 1647 335696 | 17261 13409 534 | 2.391 % | 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 | 359 2559 5029 | 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 | 427 2560 5133 | 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 | 478 2562 5213 | 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 | 577 2565 5399 | 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 | 687 2568 5578 | 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 | 764 2569 5695 | 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 | 884 2571 5881 | 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 | 1005 2572 6065 | 5000 0 nan | 0.000 % | c | 100 | 1005 2572 6065 | 5500 100 34 | 36.352 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1314 2575 6594 | 5000 0 nan | 0.000 % | c | 100 | 1314 2575 6594 | 5500 100 20 | 25.426 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1656 2579 79888 | 5000 0 nan | 0.000 % | c | 101 | 1656 2579 79888 | 5500 101 28 | 16.574 % | c | 252 | 1655 2579 79888 | 6050 252 24 | 16.675 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2190 2588 189940 | 5000 0 nan | 0.000 % | c | 100 | 2190 2588 189940 | 5500 100 36 | 8.712 % | c | 250 | 2190 2588 189940 | 6050 250 23 | 8.712 % | c | 475 | 2190 2588 189940 | 6655 475 22 | 8.712 % | c | 814 | 2190 2588 189940 | 7320 814 20 | 8.712 % | c | 1320 | 2190 2588 189940 | 8052 1320 22 | 8.712 % | c | 2079 | 2190 2588 189940 | 8857 2079 21 | 8.712 % | c | 3219 | 2188 2588 189940 | 9743 2809 18 | 8.795 % | c | 4927 | 2175 2588 189940 | 10717 2339 14 | 9.421 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3016 2600 295137 | 5000 0 nan | 0.000 % | c | 102 | 3016 2600 295137 | 5500 102 60 | 3.054 % | c | 252 | 3016 2600 295137 | 6050 252 40 | 3.054 % | c | 477 | 3016 2600 295137 | 6655 477 31 | 3.054 % | c | 814 | 3016 2600 295137 | 7320 814 28 | 3.054 % | c | 1321 | 3016 2600 295137 | 8052 1321 26 | 3.054 % | c | 2085 | 3016 2600 295137 | 8857 2085 25 | 3.054 % | c | 3225 | 3016 2600 295137 | 9743 3225 25 | 3.054 % | c | 4933 | 3016 2600 295137 | 10717 4933 25 | 3.054 % | c | 7497 | 3014 2600 295137 | 11789 5052 23 | 3.118 % | c | 11341 | 3014 2600 295137 | 12968 8896 24 | 3.118 % | c | 17110 | 3014 2600 295137 | 14265 8104 22 | 3.118 % | c | 25759 | 3014 2600 295137 | 15692 9549 26 | 3.118 % | c | 38733 | 3012 2600 295137 | 17261 13417 29 | 3.182 % | c | 58194 | 3002 2600 295137 | 18987 7480 22 | 3.504 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3991 2663 343567 | 5000 0 nan | 0.000 % | c | 100 | 3991 2663 343567 | 5500 100 34 | 0.721 % | c | 250 | 3991 2663 343567 | 6050 250 26 | 0.721 % | c | 476 | 3991 2663 343567 | 6655 476 29 | 0.721 % | c | 813 | 3991 2663 343567 | 7320 813 29 | 0.721 % | c | 1320 | 3991 2663 343567 | 8052 1320 33 | 0.721 % | c | 2082 | 3991 2663 343567 | 8857 2082 36 | 0.721 % | c | 3221 | 3991 2663 343567 | 9743 3221 37 | 0.721 % | c | 4929 | 3991 2663 343567 | 10717 4929 38 | 0.721 % | c | 7491 | 3991 2663 343567 | 11789 7491 45 | 0.721 % | c | 11338 | 3991 2663 343567 | 12968 11338 47 | 0.721 % | c | 17104 | 3991 2663 343567 | 14265 10411 43 | 0.721 % | c | 25758 | 3991 2663 343567 | 15692 11885 47 | 0.721 % | c | 38733 | 3991 2663 343567 | 17261 9087 47 | 0.721 % | c | 58194 | 3991 2663 343567 | 18987 10958 45 | 0.721 % | c | 87388 | 3991 2663 343567 | 20886 11358 43 | 0.721 % | c | 131178 | 3991 2663 343567 | 22974 12711 53 | 0.721 % | c | 196862 | 3978 2663 343567 | 25272 5645 14 | 1.045 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4839 2689 345338 | 5000 0 nan | 0.000 % | c | 100 | 4839 2689 345338 | 5500 100 60 | 0.575 % | c | 250 | 4839 2689 345338 | 6050 250 47 | 0.575 % | c | 478 | 4839 2689 345338 | 6655 478 46 | 0.575 % | c | 815 | 4839 2689 345338 | 7320 815 41 | 0.575 % | c | 1322 | 4839 2689 345338 | 8052 1322 38 | 0.575 % | c | 2081 | 4839 2689 345338 | 8857 2081 39 | 0.575 % | c | 3221 | 4839 2689 345338 | 9743 3221 36 | 0.575 % | c | 4930 | 4839 2689 345338 | 10717 4930 34 | 0.575 % | c | 7495 | 4839 2689 345338 | 11789 7495 37 | 0.575 % | c | 11341 | 4839 2689 345338 | 12968 11341 35 | 0.575 % | c | 17108 | 4839 2689 345338 | 14265 10595 37 | 0.575 % | c | 25758 | 4839 2689 345338 | 15692 11644 49 | 0.575 % | c | 38733 | 4839 2689 345338 | 17261 8811 41 | 0.575 % | c | 58194 | 4839 2689 345338 | 18987 10853 42 | 0.575 % | c | 87390 | 4839 2689 345338 | 20886 11042 45 | 0.575 % | c | 131179 | 4839 2689 345338 | 22974 12076 56 | 0.575 % | c | 196864 | 4839 2689 345338 | 25272 19173 50 | 0.575 % |