c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 1246 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1152 | c | Number Clauses: 1236 | 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 | 1124 1264 5020 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 877 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1124 1265 5901 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 876 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1124 1266 6782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 875 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1124 1267 7663 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 874 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1124 1268 8544 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 873 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1124 1269 9425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 872 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1124 1270 10306 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 871 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1124 1271 11187 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 870 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1124 1272 12068 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 869 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1124 1273 12949 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 868 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1124 1274 13830 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 867 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1124 1275 14711 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 866 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1124 1276 15592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 865 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1124 1277 16473 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 864 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1124 1278 17354 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 863 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1124 1279 18235 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 862 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1124 1280 19116 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 861 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1124 1281 19997 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 860 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 1124 1282 20878 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 859 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1124 1283 21759 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 858 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 1124 1284 22640 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 857 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 1124 1285 23521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 856 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 1124 1286 24402 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 855 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 1124 1287 25283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 854 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 0 | 1124 1288 26164 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 853 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 0 | 1124 1289 27045 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 852 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 0 | 1124 1290 27926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 851 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 0 | 1124 1291 28807 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 850 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 0 | 1124 1292 29688 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 849 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 0 | 1124 1293 30569 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 848 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 0 | 1124 1294 31450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 847 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 0 | 1124 1295 32331 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 846 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 0 | 1124 1296 33212 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 845 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 0 | 1124 1297 34093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 844 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 0 | 1124 1298 34974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 843 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 0 | 1124 1299 35855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 842 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 0 | 1124 1300 36736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 841 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 0 | 1124 1301 37617 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 840 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 0 | 1124 1302 38498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 839 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 0 | 1124 1303 39379 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 838 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 0 | 1124 1304 40260 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 837 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 0 | 1124 1305 41141 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 836 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 0 | 1124 1306 42022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 835 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 0 | 1124 1307 42903 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 834 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 0 | 1124 1308 43784 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 833 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 0 | 1124 1309 44665 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 832 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 0 | 1124 1310 45546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 831 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s c =============================================================================== c | 0 | 1124 1311 46427 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 830 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 0 | 1124 1312 47308 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 829 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s c =============================================================================== c | 0 | 1124 1313 48189 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 828 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s c =============================================================================== c | 0 | 1124 1314 49070 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 827 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 0 | 1124 1315 49951 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 826 c Elapsed CPU time: 0.371943 s Remaining CPU time: 179.628 s c =============================================================================== c | 0 | 1124 1316 50832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 825 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s c =============================================================================== c | 0 | 1124 1317 51713 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 824 c Elapsed CPU time: 0.402938 s Remaining CPU time: 179.597 s c =============================================================================== c | 0 | 1124 1318 52594 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 823 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s c =============================================================================== c | 0 | 1124 1319 53475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 822 c Elapsed CPU time: 0.435933 s Remaining CPU time: 179.564 s c =============================================================================== c | 0 | 1124 1320 54356 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 821 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s c =============================================================================== c | 0 | 1124 1321 55237 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 820 c Elapsed CPU time: 0.470928 s Remaining CPU time: 179.529 s c =============================================================================== c | 0 | 1124 1322 56118 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 819 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s c =============================================================================== c | 0 | 1124 1323 56999 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 818 c Elapsed CPU time: 0.503923 s Remaining CPU time: 179.496 s c =============================================================================== c | 0 | 1124 1324 57880 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 817 c Elapsed CPU time: 0.52392 s Remaining CPU time: 179.476 s c =============================================================================== c | 0 | 1124 1325 58761 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 816 c Elapsed CPU time: 0.541917 s Remaining CPU time: 179.458 s c =============================================================================== c | 0 | 1124 1326 59642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 815 c Elapsed CPU time: 0.562914 s Remaining CPU time: 179.437 s c =============================================================================== c | 0 | 1124 1327 60523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 814 c Elapsed CPU time: 0.583911 s Remaining CPU time: 179.416 s c =============================================================================== c | 0 | 1124 1328 61404 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 813 c Elapsed CPU time: 0.602908 s Remaining CPU time: 179.397 s c =============================================================================== c | 0 | 1124 1329 62285 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 812 c Elapsed CPU time: 0.623905 s Remaining CPU time: 179.376 s c =============================================================================== c | 0 | 1124 1330 63166 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 811 c Elapsed CPU time: 0.643902 s Remaining CPU time: 179.356 s c =============================================================================== c | 0 | 1124 1331 64047 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 810 c Elapsed CPU time: 0.663899 s Remaining CPU time: 179.336 s c =============================================================================== c | 0 | 1124 1332 64928 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 809 c Elapsed CPU time: 0.684895 s Remaining CPU time: 179.315 s c =============================================================================== c | 0 | 1124 1333 65809 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 808 c Elapsed CPU time: 0.704892 s Remaining CPU time: 179.295 s c =============================================================================== c | 0 | 1124 1334 66690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 807 c Elapsed CPU time: 0.726889 s Remaining CPU time: 179.273 s c =============================================================================== c | 0 | 1124 1335 67571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 806 c Elapsed CPU time: 0.748886 s Remaining CPU time: 179.251 s c =============================================================================== c | 0 | 1124 1336 68452 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 805 c Elapsed CPU time: 0.771882 s Remaining CPU time: 179.228 s c =============================================================================== c | 0 | 1124 1337 69333 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 804 c Elapsed CPU time: 0.794879 s Remaining CPU time: 179.205 s c =============================================================================== c | 0 | 1124 1338 70214 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 803 c Elapsed CPU time: 0.818875 s Remaining CPU time: 179.181 s c =============================================================================== c | 0 | 1124 1339 71095 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 802 c Elapsed CPU time: 0.844871 s Remaining CPU time: 179.155 s c =============================================================================== c | 0 | 1124 1340 71976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 801 c Elapsed CPU time: 0.867868 s Remaining CPU time: 179.132 s c =============================================================================== c | 0 | 1124 1341 72857 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 800 c Elapsed CPU time: 0.892864 s Remaining CPU time: 179.107 s c =============================================================================== c | 0 | 1124 1342 73738 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 799 c Elapsed CPU time: 0.921859 s Remaining CPU time: 179.078 s c =============================================================================== c | 0 | 1124 1343 74619 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 798 c Elapsed CPU time: 0.950855 s Remaining CPU time: 179.049 s c =============================================================================== c | 0 | 1124 1344 75500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 797 c Elapsed CPU time: 0.978851 s Remaining CPU time: 179.021 s c =============================================================================== c | 0 | 1124 1345 76381 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 796 c Elapsed CPU time: 1.00885 s Remaining CPU time: 178.991 s c =============================================================================== c | 0 | 1124 1346 77262 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 795 c Elapsed CPU time: 1.03784 s Remaining CPU time: 178.962 s c =============================================================================== c | 0 | 1124 1347 78143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 794 c Elapsed CPU time: 1.06884 s Remaining CPU time: 178.931 s c =============================================================================== c | 0 | 1124 1348 79024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 793 c Elapsed CPU time: 1.09983 s Remaining CPU time: 178.9 s c =============================================================================== c | 0 | 1124 1349 79905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 792 c Elapsed CPU time: 1.13183 s Remaining CPU time: 178.868 s c =============================================================================== c | 0 | 1124 1350 80786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 791 c Elapsed CPU time: 1.16382 s Remaining CPU time: 178.836 s c =============================================================================== c | 0 | 1124 1351 81667 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 790 c Elapsed CPU time: 1.19582 s Remaining CPU time: 178.804 s c =============================================================================== c | 0 | 1124 1352 82548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 789 c Elapsed CPU time: 1.22881 s Remaining CPU time: 178.771 s c =============================================================================== c | 0 | 1124 1353 83429 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 788 c Elapsed CPU time: 1.26181 s Remaining CPU time: 178.738 s c =============================================================================== c | 0 | 1124 1354 84310 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 787 c Elapsed CPU time: 1.2958 s Remaining CPU time: 178.704 s c =============================================================================== c | 0 | 1124 1355 85191 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 786 c Elapsed CPU time: 1.3298 s Remaining CPU time: 178.67 s c =============================================================================== c | 0 | 1124 1356 86072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 785 c Elapsed CPU time: 1.36279 s Remaining CPU time: 178.637 s c =============================================================================== c | 0 | 1124 1357 86953 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 784 c Elapsed CPU time: 1.39679 s Remaining CPU time: 178.603 s c =============================================================================== c | 0 | 1124 1358 87834 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 783 c Elapsed CPU time: 1.43378 s Remaining CPU time: 178.566 s c =============================================================================== c | 0 | 1124 1359 88715 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 782 c Elapsed CPU time: 1.46778 s Remaining CPU time: 178.532 s c =============================================================================== c | 0 | 1124 1360 89596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 781 c Elapsed CPU time: 1.50277 s Remaining CPU time: 178.497 s c =============================================================================== c | 0 | 1124 1361 90477 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 780 c Elapsed CPU time: 1.53777 s Remaining CPU time: 178.462 s c =============================================================================== c | 0 | 1124 1362 91358 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 779 c Elapsed CPU time: 1.57476 s Remaining CPU time: 178.425 s c =============================================================================== c | 0 | 1124 1363 92239 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 778 c Elapsed CPU time: 1.61275 s Remaining CPU time: 178.387 s c =============================================================================== c | 0 | 1124 1364 93120 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 777 c Elapsed CPU time: 1.64975 s Remaining CPU time: 178.35 s c =============================================================================== c | 0 | 1124 1365 94001 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 776 c Elapsed CPU time: 1.68874 s Remaining CPU time: 178.311 s c =============================================================================== c | 0 | 1124 1366 94882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 775 c Elapsed CPU time: 1.72674 s Remaining CPU time: 178.273 s c =============================================================================== c | 0 | 1124 1367 95763 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 774 c Elapsed CPU time: 1.76373 s Remaining CPU time: 178.236 s c =============================================================================== c | 0 | 1124 1368 96644 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 773 c Elapsed CPU time: 1.80373 s Remaining CPU time: 178.196 s c =============================================================================== c | 0 | 1124 1369 97525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 772 c Elapsed CPU time: 1.84272 s Remaining CPU time: 178.157 s c =============================================================================== c | 0 | 1124 1370 98406 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 771 c Elapsed CPU time: 1.88171 s Remaining CPU time: 178.118 s c =============================================================================== c | 0 | 1124 1371 99287 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 770 c Elapsed CPU time: 1.92271 s Remaining CPU time: 178.077 s c =============================================================================== c | 0 | 1124 1372 100168 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 769 c Elapsed CPU time: 1.9637 s Remaining CPU time: 178.036 s c =============================================================================== c | 0 | 1124 1373 101049 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 768 c Elapsed CPU time: 2.00469 s Remaining CPU time: 177.995 s c =============================================================================== c | 0 | 1124 1374 101930 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 767 c Elapsed CPU time: 2.04669 s Remaining CPU time: 177.953 s c =============================================================================== c | 0 | 1124 1375 102811 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 766 c Elapsed CPU time: 2.08868 s Remaining CPU time: 177.911 s c =============================================================================== c | 0 | 1124 1376 103692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 765 c Elapsed CPU time: 2.13068 s Remaining CPU time: 177.869 s c =============================================================================== c | 0 | 1124 1377 104573 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 764 c Elapsed CPU time: 2.17367 s Remaining CPU time: 177.826 s c =============================================================================== c | 0 | 1124 1378 105454 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 763 c Elapsed CPU time: 2.21766 s Remaining CPU time: 177.782 s c =============================================================================== c | 0 | 1124 1379 106335 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 762 c Elapsed CPU time: 2.26166 s Remaining CPU time: 177.738 s c =============================================================================== c | 0 | 1124 1380 107216 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 761 c Elapsed CPU time: 2.30665 s Remaining CPU time: 177.693 s c =============================================================================== c | 0 | 1124 1381 108097 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 760 c Elapsed CPU time: 2.35164 s Remaining CPU time: 177.648 s c =============================================================================== c | 0 | 1124 1382 108978 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 759 c Elapsed CPU time: 2.39663 s Remaining CPU time: 177.603 s c =============================================================================== c | 0 | 1124 1383 109859 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 758 c Elapsed CPU time: 2.44163 s Remaining CPU time: 177.558 s c =============================================================================== c | 0 | 1124 1384 110740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 757 c Elapsed CPU time: 2.48662 s Remaining CPU time: 177.513 s c =============================================================================== c | 0 | 1124 1385 111621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 756 c Elapsed CPU time: 2.53361 s Remaining CPU time: 177.466 s c =============================================================================== c | 0 | 1124 1386 112502 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 755 c Elapsed CPU time: 2.58061 s Remaining CPU time: 177.419 s c =============================================================================== c | 0 | 1124 1387 113383 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 754 c Elapsed CPU time: 2.6286 s Remaining CPU time: 177.371 s c =============================================================================== c | 0 | 1124 1388 114264 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 753 c Elapsed CPU time: 2.67559 s Remaining CPU time: 177.324 s c =============================================================================== c | 0 | 1124 1389 115145 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 752 c Elapsed CPU time: 2.72259 s Remaining CPU time: 177.277 s c =============================================================================== c | 0 | 1124 1390 116026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 751 c Elapsed CPU time: 2.77158 s Remaining CPU time: 177.228 s c =============================================================================== c | 0 | 1124 1391 116907 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 750 c Elapsed CPU time: 2.81957 s Remaining CPU time: 177.18 s c =============================================================================== c | 0 | 1124 1392 117788 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 749 c Elapsed CPU time: 2.86856 s Remaining CPU time: 177.131 s c =============================================================================== c | 0 | 1124 1393 118669 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 748 c Elapsed CPU time: 2.91856 s Remaining CPU time: 177.081 s c =============================================================================== c | 0 | 1124 1394 119550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 747 c Elapsed CPU time: 2.96755 s Remaining CPU time: 177.032 s c =============================================================================== c | 0 | 1124 1395 120431 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 746 c Elapsed CPU time: 3.01754 s Remaining CPU time: 176.982 s c =============================================================================== c | 0 | 1124 1396 121312 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 745 c Elapsed CPU time: 3.06553 s Remaining CPU time: 176.934 s c =============================================================================== c | 0 | 1124 1397 122193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 744 c Elapsed CPU time: 3.11553 s Remaining CPU time: 176.884 s c =============================================================================== c | 0 | 1124 1398 123074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 743 c Elapsed CPU time: 3.16452 s Remaining CPU time: 176.835 s c =============================================================================== c | 0 | 1124 1399 123955 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 742 c Elapsed CPU time: 3.21551 s Remaining CPU time: 176.784 s c =============================================================================== c | 0 | 1124 1400 124836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 741 c Elapsed CPU time: 3.2655 s Remaining CPU time: 176.734 s c =============================================================================== c | 0 | 1124 1401 125717 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 740 c Elapsed CPU time: 3.3165 s Remaining CPU time: 176.684 s c =============================================================================== c | 0 | 1124 1402 126598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 739 c Elapsed CPU time: 3.36749 s Remaining CPU time: 176.633 s c =============================================================================== c | 0 | 1124 1403 127479 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 738 c Elapsed CPU time: 3.41948 s Remaining CPU time: 176.581 s c =============================================================================== c | 0 | 1124 1404 128360 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 737 c Elapsed CPU time: 3.47147 s Remaining CPU time: 176.529 s c =============================================================================== c | 0 | 1124 1405 129241 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 736 c Elapsed CPU time: 3.52546 s Remaining CPU time: 176.475 s c =============================================================================== c | 0 | 1124 1406 130122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 735 c Elapsed CPU time: 3.57845 s Remaining CPU time: 176.422 s c =============================================================================== c | 0 | 1124 1407 131003 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 734 c Elapsed CPU time: 3.63145 s Remaining CPU time: 176.369 s c =============================================================================== c | 0 | 1124 1408 131884 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 733 c Elapsed CPU time: 3.68544 s Remaining CPU time: 176.315 s c =============================================================================== c | 0 | 1124 1409 132765 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 732 c Elapsed CPU time: 3.73843 s Remaining CPU time: 176.262 s c =============================================================================== c | 0 | 1124 1410 133646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 731 c Elapsed CPU time: 3.79342 s Remaining CPU time: 176.207 s c =============================================================================== c | 0 | 1124 1411 134527 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 730 c Elapsed CPU time: 3.84741 s Remaining CPU time: 176.153 s c =============================================================================== c | 0 | 1124 1412 135408 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 729 c Elapsed CPU time: 3.90241 s Remaining CPU time: 176.098 s c =============================================================================== c | 0 | 1124 1413 136289 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 728 c Elapsed CPU time: 3.9554 s Remaining CPU time: 176.045 s c =============================================================================== c | 0 | 1124 1414 137170 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 727 c Elapsed CPU time: 4.01039 s Remaining CPU time: 175.99 s c =============================================================================== c | 0 | 1124 1415 138051 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 726 c Elapsed CPU time: 4.06638 s Remaining CPU time: 175.934 s c =============================================================================== c | 0 | 1124 1416 138932 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 725 c Elapsed CPU time: 4.12137 s Remaining CPU time: 175.879 s c =============================================================================== c | 0 | 1124 1417 139813 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 724 c Elapsed CPU time: 4.17736 s Remaining CPU time: 175.823 s c =============================================================================== c | 0 | 1124 1418 140694 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 723 c Elapsed CPU time: 4.23236 s Remaining CPU time: 175.768 s c =============================================================================== c | 0 | 1124 1419 141575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 722 c Elapsed CPU time: 4.28735 s Remaining CPU time: 175.713 s c =============================================================================== c | 0 | 1124 1420 142456 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 721 c Elapsed CPU time: 4.34434 s Remaining CPU time: 175.656 s c =============================================================================== c | 0 | 1124 1421 143337 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 720 c Elapsed CPU time: 4.40133 s Remaining CPU time: 175.599 s c =============================================================================== c | 0 | 1124 1422 144218 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 719 c Elapsed CPU time: 4.45832 s Remaining CPU time: 175.542 s c =============================================================================== c | 0 | 1124 1423 145099 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 718 c Elapsed CPU time: 4.51531 s Remaining CPU time: 175.485 s c =============================================================================== c | 0 | 1124 1424 145980 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 717 c Elapsed CPU time: 4.5713 s Remaining CPU time: 175.429 s c =============================================================================== c | 0 | 1124 1425 146861 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 716 c Elapsed CPU time: 4.6283 s Remaining CPU time: 175.372 s c =============================================================================== c | 0 | 1124 1426 147742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 715 c Elapsed CPU time: 4.68629 s Remaining CPU time: 175.314 s c =============================================================================== c | 0 | 1124 1427 148623 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 714 c Elapsed CPU time: 4.74828 s Remaining CPU time: 175.252 s c =============================================================================== c | 0 | 1124 1428 149504 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 713 c Elapsed CPU time: 4.81127 s Remaining CPU time: 175.189 s c =============================================================================== c | 0 | 1124 1429 150385 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 712 c Elapsed CPU time: 4.87526 s Remaining CPU time: 175.125 s c =============================================================================== c | 0 | 1124 1430 151266 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 711 c Elapsed CPU time: 4.93925 s Remaining CPU time: 175.061 s c =============================================================================== c | 0 | 1124 1431 152147 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 710 c Elapsed CPU time: 5.00324 s Remaining CPU time: 174.997 s c =============================================================================== c | 0 | 1124 1432 153028 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 709 c Elapsed CPU time: 5.06723 s Remaining CPU time: 174.933 s c =============================================================================== c | 0 | 1124 1433 153909 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 708 c Elapsed CPU time: 5.13222 s Remaining CPU time: 174.868 s c =============================================================================== c | 0 | 1124 1434 154790 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 707 c Elapsed CPU time: 5.19921 s Remaining CPU time: 174.801 s c =============================================================================== c | 0 | 1124 1435 155671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 706 c Elapsed CPU time: 5.2652 s Remaining CPU time: 174.735 s c =============================================================================== c | 0 | 1124 1436 156552 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 705 c Elapsed CPU time: 5.33219 s Remaining CPU time: 174.668 s c =============================================================================== c | 0 | 1124 1437 157433 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 704 c Elapsed CPU time: 5.39818 s Remaining CPU time: 174.602 s c =============================================================================== c | 0 | 1124 1438 158314 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 703 c Elapsed CPU time: 5.46817 s Remaining CPU time: 174.532 s c =============================================================================== c | 0 | 1124 1439 159195 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 702 c Elapsed CPU time: 5.53816 s Remaining CPU time: 174.462 s c =============================================================================== c | 0 | 1124 1440 160076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 701 c Elapsed CPU time: 5.60815 s Remaining CPU time: 174.392 s c =============================================================================== c | 0 | 1124 1441 160957 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 700 c Elapsed CPU time: 5.67714 s Remaining CPU time: 174.323 s c =============================================================================== c | 0 | 1124 1442 161838 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 699 c Elapsed CPU time: 5.74713 s Remaining CPU time: 174.253 s c =============================================================================== c | 0 | 1124 1443 162719 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 698 c Elapsed CPU time: 5.81811 s Remaining CPU time: 174.182 s c =============================================================================== c | 0 | 1124 1444 163600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 697 c Elapsed CPU time: 5.8881 s Remaining CPU time: 174.112 s c =============================================================================== c | 0 | 1124 1445 164481 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 696 c Elapsed CPU time: 5.96209 s Remaining CPU time: 174.038 s c =============================================================================== c | 0 | 1124 1446 165362 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 695 c Elapsed CPU time: 6.03608 s Remaining CPU time: 173.964 s c =============================================================================== c | 0 | 1124 1447 166243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 694 c Elapsed CPU time: 6.11107 s Remaining CPU time: 173.889 s c =============================================================================== c | 0 | 1124 1448 167124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 693 c Elapsed CPU time: 6.18406 s Remaining CPU time: 173.816 s c =============================================================================== c | 0 | 1124 1449 168005 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 692 c Elapsed CPU time: 6.25705 s Remaining CPU time: 173.743 s c =============================================================================== c | 0 | 1124 1450 168886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 691 c Elapsed CPU time: 6.33204 s Remaining CPU time: 173.668 s c =============================================================================== c | 0 | 1124 1451 169767 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 690 c Elapsed CPU time: 6.40603 s Remaining CPU time: 173.594 s c =============================================================================== c | 0 | 1124 1452 170648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 689 c Elapsed CPU time: 6.48101 s Remaining CPU time: 173.519 s c =============================================================================== c | 0 | 1124 1453 171529 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 688 c Elapsed CPU time: 6.556 s Remaining CPU time: 173.444 s c =============================================================================== c | 0 | 1124 1454 172410 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 687 c Elapsed CPU time: 6.62899 s Remaining CPU time: 173.371 s c =============================================================================== c | 0 | 1124 1455 173291 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 686 c Elapsed CPU time: 6.70398 s Remaining CPU time: 173.296 s c =============================================================================== c | 0 | 1124 1456 174172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 685 c Elapsed CPU time: 6.77897 s Remaining CPU time: 173.221 s c =============================================================================== c | 0 | 1124 1457 175053 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 684 c Elapsed CPU time: 6.85496 s Remaining CPU time: 173.145 s c =============================================================================== c | 0 | 1124 1458 175934 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 683 c Elapsed CPU time: 6.92995 s Remaining CPU time: 173.07 s c =============================================================================== c | 0 | 1124 1459 176815 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 682 c Elapsed CPU time: 7.00493 s Remaining CPU time: 172.995 s c =============================================================================== c | 0 | 1124 1460 177696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 681 c Elapsed CPU time: 7.08092 s Remaining CPU time: 172.919 s c =============================================================================== c | 0 | 1124 1461 178577 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 680 c Elapsed CPU time: 7.15691 s Remaining CPU time: 172.843 s c =============================================================================== c | 0 | 1124 1462 179458 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 679 c Elapsed CPU time: 7.2319 s Remaining CPU time: 172.768 s c =============================================================================== c | 0 | 1124 1463 180339 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 678 c Elapsed CPU time: 7.30789 s Remaining CPU time: 172.692 s c =============================================================================== c | 0 | 1124 1464 181220 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 677 c Elapsed CPU time: 7.38288 s Remaining CPU time: 172.617 s c =============================================================================== c | 0 | 1124 1465 182101 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 676 c Elapsed CPU time: 7.45787 s Remaining CPU time: 172.542 s c =============================================================================== c | 0 | 1124 1466 182982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 675 c Elapsed CPU time: 7.53385 s Remaining CPU time: 172.466 s c =============================================================================== c | 0 | 1124 1467 183863 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 674 c Elapsed CPU time: 7.60784 s Remaining CPU time: 172.392 s c =============================================================================== c | 0 | 1124 1468 184744 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 673 c Elapsed CPU time: 7.68783 s Remaining CPU time: 172.312 s c =============================================================================== c | 0 | 1124 1469 185625 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 672 c Elapsed CPU time: 7.76782 s Remaining CPU time: 172.232 s c =============================================================================== c | 0 | 1124 1470 186506 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 671 c Elapsed CPU time: 7.84881 s Remaining CPU time: 172.151 s c =============================================================================== c | 0 | 1124 1471 187387 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 670 c Elapsed CPU time: 7.92979 s Remaining CPU time: 172.07 s c =============================================================================== c | 0 | 1124 1472 188268 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 669 c Elapsed CPU time: 8.00878 s Remaining CPU time: 171.991 s c =============================================================================== c | 0 | 1124 1473 189149 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 668 c Elapsed CPU time: 8.08977 s Remaining CPU time: 171.91 s c =============================================================================== c | 0 | 1124 1474 190030 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 667 c Elapsed CPU time: 8.17276 s Remaining CPU time: 171.827 s c =============================================================================== c | 0 | 1124 1475 190911 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 666 c Elapsed CPU time: 8.25574 s Remaining CPU time: 171.744 s c =============================================================================== c | 0 | 1124 1476 191792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 665 c Elapsed CPU time: 8.33773 s Remaining CPU time: 171.662 s c =============================================================================== c | 0 | 1124 1477 192673 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 664 c Elapsed CPU time: 8.41972 s Remaining CPU time: 171.58 s c =============================================================================== c | 0 | 1124 1478 193554 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 663 c Elapsed CPU time: 8.50271 s Remaining CPU time: 171.497 s c =============================================================================== c | 0 | 1124 1479 194435 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 662 c Elapsed CPU time: 8.58569 s Remaining CPU time: 171.414 s c =============================================================================== c | 0 | 1124 1480 195316 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 8.66868 s Remaining CPU time: 171.331 s c =============================================================================== c | 1 | 1124 1481 196197 | 5000 1 666 | 0.000 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 8.74167 s Remaining CPU time: 171.258 s c =============================================================================== c | 1 | 1124 1482 197078 | 5000 1 666 | 0.000 % | c =============================================================================== c New solution: 659 c Elapsed CPU time: 8.81766 s Remaining CPU time: 171.182 s c =============================================================================== c | 2 | 1124 1483 197959 | 5000 2 666 | 0.000 % | c =============================================================================== c New solution: 658 c Elapsed CPU time: 8.89365 s Remaining CPU time: 171.106 s c =============================================================================== c | 3 | 1124 1484 198840 | 5000 3 446 | 0.000 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 8.96864 s Remaining CPU time: 171.031 s c =============================================================================== c | 4 | 1124 1485 199721 | 5000 4 335 | 0.000 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 9.04462 s Remaining CPU time: 170.955 s c =============================================================================== c | 4 | 1124 1486 200602 | 5000 4 335 | 0.000 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 9.12161 s Remaining CPU time: 170.878 s c =============================================================================== c | 4 | 1124 1487 201483 | 5000 4 335 | 0.000 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 9.1996 s Remaining CPU time: 170.8 s c =============================================================================== c | 5 | 1124 1488 202364 | 5000 5 269 | 0.000 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 9.27759 s Remaining CPU time: 170.722 s c =============================================================================== c | 6 | 1124 1489 203245 | 5000 6 225 | 0.000 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 9.35658 s Remaining CPU time: 170.643 s c =============================================================================== c | 6 | 1124 1490 204126 | 5000 6 225 | 0.000 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 9.43557 s Remaining CPU time: 170.564 s c =============================================================================== c | 7 | 1124 1491 205007 | 5000 7 193 | 0.000 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 9.51855 s Remaining CPU time: 170.481 s c =============================================================================== c | 8 | 1124 1492 205888 | 5000 8 170 | 0.000 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 9.60254 s Remaining CPU time: 170.397 s c =============================================================================== c | 8 | 1124 1493 206769 | 5000 8 170 | 0.000 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 9.68653 s Remaining CPU time: 170.313 s c =============================================================================== c | 8 | 1124 1494 207650 | 5000 8 170 | 0.000 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 9.77151 s Remaining CPU time: 170.228 s c =============================================================================== c | 8 | 1124 1495 208531 | 5000 8 170 | 0.000 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 9.8555 s Remaining CPU time: 170.144 s c =============================================================================== c | 8 | 1124 1496 209412 | 5000 8 170 | 0.000 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 9.93849 s Remaining CPU time: 170.062 s c =============================================================================== c | 9 | 1124 1497 210293 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 10.0345 s Remaining CPU time: 169.966 s c =============================================================================== c | 17 | 1124 1498 211174 | 5000 17 348 | 0.000 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 10.1165 s Remaining CPU time: 169.884 s c =============================================================================== c | 18 | 1124 1499 212055 | 5000 18 329 | 0.000 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 10.1984 s Remaining CPU time: 169.802 s c =============================================================================== c | 18 | 1124 1500 212936 | 5000 18 329 | 0.000 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 10.2804 s Remaining CPU time: 169.72 s c =============================================================================== c | 18 | 1124 1501 213817 | 5000 18 329 | 0.000 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 10.3644 s Remaining CPU time: 169.636 s c =============================================================================== c | 23 | 1124 1502 214698 | 5000 23 399 | 0.000 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 10.4464 s Remaining CPU time: 169.554 s c =============================================================================== c | 25 | 1124 1503 215579 | 5000 25 368 | 0.000 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 10.5294 s Remaining CPU time: 169.471 s c =============================================================================== c | 25 | 1124 1504 216460 | 5000 25 368 | 0.000 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 10.6194 s Remaining CPU time: 169.381 s c =============================================================================== c | 29 | 1124 1505 217341 | 5000 29 406 | 0.000 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 10.7254 s Remaining CPU time: 169.275 s c =============================================================================== c | 48 | 1124 1506 218222 | 5000 48 501 | 0.000 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 10.8114 s Remaining CPU time: 169.189 s c =============================================================================== c | 52 | 1124 1507 219103 | 5000 52 511 | 0.000 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 10.8923 s Remaining CPU time: 169.108 s c =============================================================================== c | 52 | 1124 1508 219984 | 5000 52 511 | 0.000 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 10.9773 s Remaining CPU time: 169.023 s c =============================================================================== c | 52 | 1124 1509 220865 | 5000 52 511 | 0.000 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 11.0633 s Remaining CPU time: 168.937 s c =============================================================================== c | 52 | 1124 1510 221746 | 5000 52 511 | 0.000 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 11.1483 s Remaining CPU time: 168.852 s c =============================================================================== c | 52 | 1124 1511 222627 | 5000 52 511 | 0.000 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 11.2323 s Remaining CPU time: 168.768 s c =============================================================================== c | 52 | 1124 1512 223508 | 5000 52 511 | 0.000 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 11.3183 s Remaining CPU time: 168.682 s c =============================================================================== c | 52 | 1124 1513 224389 | 5000 52 511 | 0.000 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 11.4033 s Remaining CPU time: 168.597 s c =============================================================================== c | 52 | 1124 1514 225270 | 5000 52 511 | 0.000 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 11.4883 s Remaining CPU time: 168.512 s c =============================================================================== c | 52 | 1124 1515 226151 | 5000 52 511 | 0.000 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 11.5742 s Remaining CPU time: 168.426 s c =============================================================================== c | 52 | 1124 1516 227032 | 5000 52 511 | 0.000 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 11.6792 s Remaining CPU time: 168.321 s c =============================================================================== c | 79 | 1124 1517 227913 | 5000 79 553 | 0.000 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 11.7812 s Remaining CPU time: 168.219 s c =============================================================================== c | 95 | 1124 1518 228794 | 5000 95 560 | 0.000 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 11.8782 s Remaining CPU time: 168.122 s c =============================================================================== c | 108 | 1124 1519 229675 | 5000 108 563 | 0.000 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 11.9692 s Remaining CPU time: 168.031 s c =============================================================================== c | 113 | 1124 1520 230556 | 5000 113 561 | 0.000 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 12.0602 s Remaining CPU time: 167.94 s c =============================================================================== c | 121 | 1124 1521 231437 | 5000 121 555 | 0.000 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 12.1622 s Remaining CPU time: 167.838 s c =============================================================================== c | 145 | 1124 1522 232318 | 5000 145 558 | 0.000 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 12.2561 s Remaining CPU time: 167.744 s c =============================================================================== c | 156 | 1124 1523 233199 | 5000 156 559 | 0.000 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 12.3451 s Remaining CPU time: 167.655 s c =============================================================================== c | 163 | 1124 1524 234080 | 5000 163 562 | 0.000 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 12.4351 s Remaining CPU time: 167.565 s c =============================================================================== c | 164 | 1124 1525 234961 | 5000 164 562 | 0.000 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 12.5281 s Remaining CPU time: 167.472 s c =============================================================================== c | 168 | 1124 1526 235842 | 5000 168 564 | 0.000 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 12.6221 s Remaining CPU time: 167.378 s c =============================================================================== c | 176 | 1124 1527 236723 | 5000 176 566 | 0.000 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 12.7131 s Remaining CPU time: 167.287 s c =============================================================================== c | 176 | 1124 1528 237604 | 5000 176 566 | 0.000 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 12.8081 s Remaining CPU time: 167.192 s c =============================================================================== c | 177 | 1124 1529 238485 | 5000 177 567 | 0.000 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 12.899 s Remaining CPU time: 167.101 s c =============================================================================== c | 177 | 1124 1530 239366 | 5000 177 567 | 0.000 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 13.009 s Remaining CPU time: 166.991 s c =============================================================================== c | 213 | 1124 1531 240247 | 5000 213 576 | 0.000 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 13.105 s Remaining CPU time: 166.895 s c =============================================================================== c | 219 | 1124 1532 241128 | 5000 219 577 | 0.000 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 13.201 s Remaining CPU time: 166.799 s c =============================================================================== c | 230 | 1124 1533 242009 | 5000 230 579 | 0.000 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 13.295 s Remaining CPU time: 166.705 s c =============================================================================== c | 237 | 1124 1534 242890 | 5000 237 580 | 0.000 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 13.387 s Remaining CPU time: 166.613 s c =============================================================================== c | 237 | 1124 1535 243771 | 5000 237 580 | 0.000 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 13.4889 s Remaining CPU time: 166.511 s c =============================================================================== c | 256 | 1124 1536 244652 | 5000 256 582 | 0.000 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 13.6009 s Remaining CPU time: 166.399 s c =============================================================================== c | 291 | 1124 1537 245533 | 5000 291 584 | 0.000 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 13.7389 s Remaining CPU time: 166.261 s c =============================================================================== c | 341 | 1124 1538 246414 | 5000 341 585 | 0.000 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 13.8389 s Remaining CPU time: 166.161 s c =============================================================================== c | 348 | 1124 1539 247295 | 5000 348 586 | 0.000 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 13.9469 s Remaining CPU time: 166.053 s c =============================================================================== c | 368 | 1124 1540 248176 | 5000 368 586 | 0.000 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 14.0549 s Remaining CPU time: 165.945 s c =============================================================================== c | 390 | 1124 1541 249057 | 5000 390 586 | 0.000 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 14.1598 s Remaining CPU time: 165.84 s c =============================================================================== c | 403 | 1124 1542 249938 | 5000 403 585 | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 14.2788 s Remaining CPU time: 165.721 s c =============================================================================== c | 432 | 1124 1543 250819 | 5000 432 586 | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 14.3998 s Remaining CPU time: 165.6 s c =============================================================================== c | 461 | 1124 1544 251700 | 5000 461 588 | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 14.5368 s Remaining CPU time: 165.463 s c =============================================================================== c | 523 | 1124 1545 252581 | 5000 523 587 | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 14.6848 s Remaining CPU time: 165.315 s c =============================================================================== c | 589 | 1124 1546 253462 | 5000 589 588 | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 14.7967 s Remaining CPU time: 165.203 s c =============================================================================== c | 608 | 1124 1547 254343 | 5000 608 588 | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 14.9457 s Remaining CPU time: 165.054 s c =============================================================================== c | 699 | 1124 1548 255224 | 5000 699 588 | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 15.0997 s Remaining CPU time: 164.9 s c =============================================================================== c | 754 | 1124 1549 256105 | 5000 754 589 | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 15.2157 s Remaining CPU time: 164.784 s c =============================================================================== c | 777 | 1124 1550 256986 | 5000 777 590 | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 15.3747 s Remaining CPU time: 164.625 s c =============================================================================== c | 862 | 1124 1551 257867 | 5000 862 591 | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 15.5036 s Remaining CPU time: 164.496 s c =============================================================================== c | 898 | 1124 1552 258748 | 5000 898 591 | 0.000 % | c | 998 | 1124 1552 258748 | 5500 998 592 | 2.431 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 15.8336 s Remaining CPU time: 164.166 s c =============================================================================== c | 1044 | 1124 1553 259629 | 5000 1044 592 | 2.431 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 15.9806 s Remaining CPU time: 164.019 s c =============================================================================== c | 1093 | 1124 1554 260510 | 5000 1093 591 | 2.431 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 16.1046 s Remaining CPU time: 163.895 s c =============================================================================== c | 1129 | 1124 1555 261391 | 5000 1129 591 | 2.431 % | c | 1230 | 1124 1555 261391 | 5500 1230 591 | 2.431 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 16.4005 s Remaining CPU time: 163.599 s c =============================================================================== c | 1292 | 1124 1556 262272 | 5000 1292 591 | 2.431 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 16.5085 s Remaining CPU time: 163.492 s c =============================================================================== c | 1310 | 1124 1557 263153 | 5000 1310 591 | 2.431 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 16.6115 s Remaining CPU time: 163.389 s c =============================================================================== c | 1319 | 1124 1558 264034 | 5000 1319 591 | 2.431 % | c | 1419 | 1124 1558 264034 | 5500 1419 591 | 2.431 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 16.8614 s Remaining CPU time: 163.139 s c =============================================================================== c | 1434 | 1124 1559 264915 | 5000 1434 591 | 2.431 % | c | 1534 | 1124 1559 264915 | 5500 1534 591 | 2.431 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 17.1564 s Remaining CPU time: 162.844 s c =============================================================================== c | 1563 | 1124 1560 265796 | 5000 1563 591 | 2.431 % | c | 1664 | 1124 1560 265796 | 5500 1664 591 | 2.431 % | c | 1817 | 1124 1560 265796 | 6050 1817 591 | 2.431 % | c | 2043 | 1124 1560 265796 | 6655 2043 591 | 2.431 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 17.9383 s Remaining CPU time: 162.062 s c =============================================================================== c | 2089 | 1124 1561 266677 | 5000 2089 591 | 2.431 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 18.0413 s Remaining CPU time: 161.959 s c =============================================================================== c | 2095 | 1124 1562 267558 | 5000 2095 591 | 2.431 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 18.1402 s Remaining CPU time: 161.86 s c =============================================================================== c | 2095 | 1124 1563 268439 | 5000 2095 591 | 2.431 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 18.2662 s Remaining CPU time: 161.734 s c =============================================================================== c | 2133 | 1124 1564 269320 | 5000 2133 589 | 2.431 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 18.3752 s Remaining CPU time: 161.625 s c =============================================================================== c | 2143 | 1124 1565 270201 | 5000 2143 589 | 2.431 % | c | 2245 | 1124 1565 270201 | 5500 2245 589 | 2.431 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 18.8021 s Remaining CPU time: 161.198 s c =============================================================================== c | 2370 | 1124 1566 271082 | 5000 2370 587 | 2.431 % | c | 2470 | 1124 1566 271082 | 5500 2470 587 | 2.431 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 19.1591 s Remaining CPU time: 160.841 s c =============================================================================== c | 2607 | 1124 1567 271963 | 5000 2607 587 | 2.431 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 19.2671 s Remaining CPU time: 160.733 s c =============================================================================== c | 2614 | 1124 1568 272844 | 5000 2614 587 | 2.431 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 19.3731 s Remaining CPU time: 160.627 s c =============================================================================== c | 2618 | 1124 1569 273725 | 5000 2618 587 | 2.431 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 19.473 s Remaining CPU time: 160.527 s c =============================================================================== c | 2618 | 1124 1570 274606 | 5000 2618 587 | 2.431 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 19.578 s Remaining CPU time: 160.422 s c =============================================================================== c | 2624 | 1124 1571 275487 | 5000 2624 587 | 2.431 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 19.676 s Remaining CPU time: 160.324 s c =============================================================================== c | 2624 | 1124 1572 276368 | 5000 2624 587 | 2.431 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 19.777 s Remaining CPU time: 160.223 s c =============================================================================== c | 2624 | 1124 1573 277249 | 5000 2624 587 | 2.431 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 19.879 s Remaining CPU time: 160.121 s c =============================================================================== c | 2624 | 1124 1574 278130 | 5000 2624 587 | 2.431 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 19.981 s Remaining CPU time: 160.019 s c =============================================================================== c | 2625 | 1124 1575 279011 | 5000 2625 587 | 2.431 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 20.0829 s Remaining CPU time: 159.917 s c =============================================================================== c | 2625 | 1124 1576 279892 | 5000 2625 587 | 2.431 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 20.1989 s Remaining CPU time: 159.801 s c =============================================================================== c | 2638 | 1124 1577 280773 | 5000 2638 587 | 2.431 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 20.3319 s Remaining CPU time: 159.668 s c =============================================================================== c | 2661 | 1124 1578 281654 | 5000 2661 586 | 2.431 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 20.4359 s Remaining CPU time: 159.564 s c =============================================================================== c | 2661 | 1124 1579 282535 | 5000 2661 586 | 2.431 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 20.5419 s Remaining CPU time: 159.458 s c =============================================================================== c | 2662 | 1124 1580 283416 | 5000 2662 586 | 2.431 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 20.6479 s Remaining CPU time: 159.352 s c =============================================================================== c | 2662 | 1124 1581 284297 | 5000 2662 586 | 2.431 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 20.7818 s Remaining CPU time: 159.218 s c =============================================================================== c | 2691 | 1124 1582 285178 | 5000 2691 585 | 2.431 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 20.8858 s Remaining CPU time: 159.114 s c =============================================================================== c | 2691 | 1124 1583 286059 | 5000 2691 585 | 2.431 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 20.9908 s Remaining CPU time: 159.009 s c =============================================================================== c | 2691 | 1124 1584 286940 | 5000 2691 585 | 2.431 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 21.0948 s Remaining CPU time: 158.905 s c =============================================================================== c | 2691 | 1124 1585 287821 | 5000 2691 585 | 2.431 % | c | 2791 | 1124 1585 287821 | 5500 2791 585 | 2.431 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 21.4567 s Remaining CPU time: 158.543 s c =============================================================================== c | 2834 | 1124 1586 288702 | 5000 2834 584 | 2.431 % | c | 2934 | 1124 1586 288702 | 5500 2934 583 | 2.431 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 21.7417 s Remaining CPU time: 158.258 s c =============================================================================== c | 2934 | 1124 1587 289583 | 5000 2934 583 | 2.431 % | c | 3034 | 1124 1587 289583 | 5500 3034 582 | 2.431 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 22.0536 s Remaining CPU time: 157.946 s c =============================================================================== c | 3039 | 1124 1588 290464 | 5000 3039 582 | 2.431 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 22.1606 s Remaining CPU time: 157.839 s c =============================================================================== c | 3040 | 1124 1589 291345 | 5000 3040 582 | 2.431 % | c | 3140 | 1124 1589 291345 | 5500 3140 582 | 2.431 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 22.4616 s Remaining CPU time: 157.538 s c =============================================================================== c | 3140 | 1124 1590 292226 | 5000 3140 582 | 2.431 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 22.5676 s Remaining CPU time: 157.432 s c =============================================================================== c | 3141 | 1124 1591 293107 | 5000 3141 581 | 2.431 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 22.6786 s Remaining CPU time: 157.321 s c =============================================================================== c | 3149 | 1124 1592 293988 | 5000 3149 581 | 2.431 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 22.7935 s Remaining CPU time: 157.206 s c =============================================================================== c | 3156 | 1124 1593 294869 | 5000 3156 581 | 2.431 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 22.9015 s Remaining CPU time: 157.098 s c =============================================================================== c | 3156 | 1124 1594 295750 | 5000 3156 581 | 2.431 % | c | 3257 | 1124 1594 295750 | 5500 3257 580 | 2.431 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 23.1795 s Remaining CPU time: 156.821 s c =============================================================================== c | 3258 | 1124 1595 296631 | 5000 3258 580 | 2.431 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 23.3405 s Remaining CPU time: 156.66 s c =============================================================================== c | 3319 | 1124 1596 297512 | 5000 3319 579 | 2.431 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 23.5314 s Remaining CPU time: 156.469 s c =============================================================================== c | 3412 | 1124 1597 298393 | 5000 3412 579 | 2.431 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 23.6584 s Remaining CPU time: 156.342 s c =============================================================================== c | 3433 | 1124 1598 299274 | 5000 3433 578 | 2.431 % | c | 3533 | 1124 1598 299274 | 5500 3533 577 | 2.431 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 23.9844 s Remaining CPU time: 156.016 s c =============================================================================== c | 3561 | 1124 1599 300155 | 5000 3561 577 | 2.431 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 24.1703 s Remaining CPU time: 155.83 s c =============================================================================== c | 3648 | 1124 1600 301036 | 5000 3648 577 | 2.431 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 24.2993 s Remaining CPU time: 155.701 s c =============================================================================== c | 3664 | 1124 1601 301917 | 5000 3664 577 | 2.431 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 24.4083 s Remaining CPU time: 155.592 s c =============================================================================== c | 3664 | 1124 1602 302798 | 5000 3664 577 | 2.431 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 24.5263 s Remaining CPU time: 155.474 s c =============================================================================== c | 3678 | 1124 1603 303679 | 5000 3678 576 | 2.431 % | c | 3779 | 1124 1603 303679 | 5500 3779 576 | 2.431 % | c | 3929 | 1124 1603 303679 | 6050 3929 574 | 2.431 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 25.0992 s Remaining CPU time: 154.901 s c =============================================================================== c | 3933 | 1124 1604 304560 | 5000 3933 574 | 2.431 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 25.2952 s Remaining CPU time: 154.705 s c =============================================================================== c | 4012 | 1124 1605 305441 | 5000 4012 573 | 2.431 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 25.4761 s Remaining CPU time: 154.524 s c =============================================================================== c | 4085 | 1124 1606 306322 | 5000 4085 572 | 2.431 % | c | 4187 | 1124 1606 306322 | 5500 4187 571 | 2.431 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 25.7711 s Remaining CPU time: 154.229 s c =============================================================================== c | 4190 | 1124 1607 307203 | 5000 4190 571 | 2.431 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 25.8811 s Remaining CPU time: 154.119 s c =============================================================================== c | 4191 | 1124 1608 308084 | 5000 4191 571 | 2.431 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 26.045 s Remaining CPU time: 153.955 s c =============================================================================== c | 4249 | 1124 1609 308965 | 5000 4249 571 | 2.431 % | c | 4349 | 1124 1609 308965 | 5500 4349 569 | 2.431 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 26.463 s Remaining CPU time: 153.537 s c =============================================================================== c | 4400 | 1124 1610 309846 | 5000 4400 569 | 2.431 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 26.634 s Remaining CPU time: 153.366 s c =============================================================================== c | 4489 | 1124 1611 310727 | 5000 4489 569 | 2.431 % | c | 4589 | 1124 1611 310727 | 5500 4589 568 | 2.431 % | c | 4739 | 1124 1611 310727 | 6050 4739 567 | 2.431 % | c | 4964 | 1124 1611 310727 | 6655 4964 565 | 2.431 % | c | 5301 | 1124 1611 310727 | 7320 5301 563 | 2.431 % | c | 5807 | 1124 1611 310727 | 8052 5807 561 | 2.431 % | c | 6566 | 1124 1611 310727 | 8857 6566 558 | 2.431 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 29.8285 s Remaining CPU time: 150.172 s c =============================================================================== c | 7366 | 1124 1612 311608 | 5000 7366 556 | 2.431 % | c | 7467 | 1124 1612 311608 | 5500 3784 530 | 2.431 % | c | 7618 | 1124 1612 311608 | 6050 3935 530 | 2.431 % | c | 7843 | 1124 1612 311608 | 6655 4160 531 | 2.431 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 30.8823 s Remaining CPU time: 149.118 s c =============================================================================== c | 8009 | 1124 1613 312489 | 5000 4326 531 | 2.431 % | c | 8109 | 1124 1613 312489 | 5500 4426 531 | 2.431 % | c | 8262 | 1124 1613 312489 | 6050 4579 531 | 2.431 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 31.4412 s Remaining CPU time: 148.559 s c =============================================================================== c | 8299 | 1124 1614 313370 | 5000 4616 531 | 2.431 % | c | 8399 | 1124 1614 313370 | 5500 4716 531 | 2.431 % | c | 8549 | 1124 1614 313370 | 6050 4866 531 | 2.431 % | c | 8774 | 1124 1614 313370 | 6655 5091 531 | 2.431 % | c | 9111 | 1124 1614 313370 | 7320 5428 531 | 2.431 % | c | 9617 | 1124 1614 313370 | 8052 5934 531 | 2.431 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 33.3589 s Remaining CPU time: 146.641 s c =============================================================================== c | 9634 | 1124 1615 314251 | 5000 5951 530 | 2.431 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 33.5249 s Remaining CPU time: 146.475 s c =============================================================================== c | 9679 | 1124 1616 315132 | 5000 3021 522 | 2.431 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 33.6879 s Remaining CPU time: 146.312 s c =============================================================================== c | 9739 | 1124 1617 316013 | 5000 3081 522 | 2.431 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 33.7979 s Remaining CPU time: 146.202 s c =============================================================================== c | 9744 | 1124 1618 316894 | 5000 3086 521 | 2.431 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 33.9108 s Remaining CPU time: 146.089 s c =============================================================================== c | 9746 | 1124 1619 317775 | 5000 3088 521 | 2.431 % | c | 9846 | 1124 1619 317775 | 5500 3188 521 | 2.431 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 34.2608 s Remaining CPU time: 145.739 s c =============================================================================== c | 9890 | 1124 1620 318656 | 5000 3232 520 | 2.431 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 34.4028 s Remaining CPU time: 145.597 s c =============================================================================== c | 9922 | 1124 1621 319537 | 5000 3264 519 | 2.431 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 34.5367 s Remaining CPU time: 145.463 s c =============================================================================== c | 9945 | 1124 1622 320418 | 5000 3287 519 | 2.431 % | c | 10045 | 1124 1622 320418 | 5500 3387 517 | 2.431 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 34.8917 s Remaining CPU time: 145.108 s c =============================================================================== c | 10093 | 1124 1623 321299 | 5000 3435 515 | 2.431 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 35.1037 s Remaining CPU time: 144.896 s c =============================================================================== c | 10180 | 1124 1624 322180 | 5000 3522 515 | 2.431 % | c | 10280 | 1124 1624 322180 | 5500 3622 515 | 2.431 % | c | 10430 | 1124 1624 322180 | 6050 3772 515 | 2.431 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 35.7396 s Remaining CPU time: 144.26 s c =============================================================================== c | 10464 | 1124 1625 323061 | 5000 3806 514 | 2.431 % | c | 10564 | 1124 1625 323061 | 5500 3906 515 | 2.431 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 36.0555 s Remaining CPU time: 143.944 s c =============================================================================== c | 10574 | 1124 1626 323942 | 5000 3916 515 | 2.431 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 36.2265 s Remaining CPU time: 143.774 s c =============================================================================== c | 10618 | 1124 1627 324823 | 5000 3960 515 | 2.431 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 36.3465 s Remaining CPU time: 143.654 s c =============================================================================== c | 10624 | 1124 1628 325704 | 5000 3966 514 | 2.431 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 36.5104 s Remaining CPU time: 143.49 s c =============================================================================== c | 10668 | 1124 1629 326585 | 5000 4010 514 | 2.431 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 36.7544 s Remaining CPU time: 143.246 s c =============================================================================== c | 10767 | 1124 1630 327466 | 5000 4109 514 | 2.431 % | c | 10867 | 1124 1630 327466 | 5500 4209 514 | 2.431 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 37.1673 s Remaining CPU time: 142.833 s c =============================================================================== c | 10942 | 1124 1631 328347 | 5000 4284 514 | 2.431 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 37.2823 s Remaining CPU time: 142.718 s c =============================================================================== c | 10943 | 1124 1632 329228 | 5000 4285 514 | 2.431 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 37.4073 s Remaining CPU time: 142.593 s c =============================================================================== c | 10954 | 1124 1633 330109 | 5000 4296 513 | 2.431 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 37.5333 s Remaining CPU time: 142.467 s c =============================================================================== c | 10963 | 1124 1634 330990 | 5000 4305 513 | 2.431 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 37.6523 s Remaining CPU time: 142.348 s c =============================================================================== c | 10966 | 1124 1635 331871 | 5000 4308 513 | 2.431 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 37.7983 s Remaining CPU time: 142.202 s c =============================================================================== c | 10985 | 1124 1636 332752 | 5000 4327 513 | 2.431 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 37.9202 s Remaining CPU time: 142.08 s c =============================================================================== c | 10991 | 1124 1637 333633 | 5000 4333 513 | 2.431 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 38.1502 s Remaining CPU time: 141.85 s c =============================================================================== c | 11056 | 1124 1638 334514 | 5000 4398 513 | 2.431 % | c | 11156 | 1124 1638 334514 | 5500 4498 513 | 2.431 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 38.5061 s Remaining CPU time: 141.494 s c =============================================================================== c | 11164 | 1124 1639 335395 | 5000 4506 513 | 2.431 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 38.6321 s Remaining CPU time: 141.368 s c =============================================================================== c | 11168 | 1124 1640 336276 | 5000 4510 513 | 2.431 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 38.7641 s Remaining CPU time: 141.236 s c =============================================================================== c | 11174 | 1124 1641 337157 | 5000 4516 513 | 2.431 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 38.9481 s Remaining CPU time: 141.052 s c =============================================================================== c | 11243 | 1124 1642 338038 | 5000 4585 513 | 2.431 % | c | 11343 | 1124 1642 338038 | 5500 4685 513 | 2.431 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 39.418 s Remaining CPU time: 140.582 s c =============================================================================== c | 11429 | 1124 1643 338919 | 5000 4771 513 | 2.431 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 39.535 s Remaining CPU time: 140.465 s c =============================================================================== c | 11429 | 1124 1644 339800 | 5000 4771 513 | 2.431 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 39.715 s Remaining CPU time: 140.285 s c =============================================================================== c | 11487 | 1124 1645 340681 | 5000 4829 512 | 2.431 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 39.8599 s Remaining CPU time: 140.14 s c =============================================================================== c | 11512 | 1124 1646 341562 | 5000 4854 511 | 2.431 % | c | 11614 | 1124 1646 341562 | 5500 4956 511 | 2.431 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 40.2929 s Remaining CPU time: 139.707 s c =============================================================================== c | 11724 | 1124 1647 342443 | 5000 5066 511 | 2.431 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 40.4179 s Remaining CPU time: 139.582 s c =============================================================================== c | 11724 | 1124 1648 343324 | 5000 2533 486 | 2.431 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 40.5478 s Remaining CPU time: 139.452 s c =============================================================================== c | 11733 | 1124 1649 344205 | 5000 2542 486 | 2.431 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 40.6668 s Remaining CPU time: 139.333 s c =============================================================================== c | 11736 | 1124 1650 345086 | 5000 2545 486 | 2.431 % | c | 11836 | 1124 1650 345086 | 5500 2645 486 | 2.431 % | c | 11986 | 1124 1650 345086 | 6050 2795 487 | 2.431 % | c | 12211 | 1124 1650 345086 | 6655 3020 488 | 2.431 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 41.6847 s Remaining CPU time: 138.315 s c =============================================================================== c | 12243 | 1124 1651 345967 | 5000 3052 488 | 2.431 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 41.8166 s Remaining CPU time: 138.183 s c =============================================================================== c | 12251 | 1124 1652 346848 | 5000 3060 488 | 2.431 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 41.9396 s Remaining CPU time: 138.06 s c =============================================================================== c | 12254 | 1124 1653 347729 | 5000 3063 488 | 2.431 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 42.0616 s Remaining CPU time: 137.938 s c =============================================================================== c | 12257 | 1124 1654 348610 | 5000 3066 487 | 2.431 % | c | 12357 | 1124 1654 348610 | 5500 3166 488 | 2.431 % | c | 12507 | 1124 1654 348610 | 6050 3316 488 | 2.431 % | c | 12732 | 1124 1654 348610 | 6655 3541 488 | 2.431 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 43.2524 s Remaining CPU time: 136.748 s c =============================================================================== c | 12886 | 1124 1655 349491 | 5000 3695 489 | 2.431 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 43.4124 s Remaining CPU time: 136.588 s c =============================================================================== c | 12923 | 1124 1656 350372 | 5000 3732 489 | 2.431 % | c | 13024 | 1124 1656 350372 | 5500 3833 489 | 2.431 % | c | 13174 | 1124 1656 350372 | 6050 3983 489 | 2.431 % | c | 13399 | 1124 1656 350372 | 6655 4208 489 | 2.431 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 44.4522 s Remaining CPU time: 135.548 s c =============================================================================== c | 13455 | 1124 1657 351253 | 5000 4264 489 | 2.431 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 44.6522 s Remaining CPU time: 135.348 s c =============================================================================== c | 13530 | 1124 1658 352134 | 5000 4339 489 | 2.431 % | c | 13630 | 1124 1658 352134 | 5500 4439 489 | 2.431 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 45.1481 s Remaining CPU time: 134.852 s c =============================================================================== c | 13751 | 1124 1659 353015 | 5000 4560 489 | 2.431 % | c | 13851 | 1124 1659 353015 | 5500 4660 489 | 2.431 % | c | 14003 | 1124 1659 353015 | 6050 4812 489 | 2.431 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 45.92 s Remaining CPU time: 134.08 s c =============================================================================== c | 14087 | 1124 1660 353896 | 5000 4896 489 | 2.431 % | c | 14187 | 1124 1660 353896 | 5500 4996 489 | 2.431 % | c | 14337 | 1124 1660 353896 | 6050 5146 488 | 2.431 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 46.6849 s Remaining CPU time: 133.315 s c =============================================================================== c | 14388 | 1124 1661 354777 | 5000 5197 488 | 2.431 % | c | 14488 | 1124 1661 354777 | 5500 2699 468 | 2.431 % | c | 14638 | 1124 1661 354777 | 6050 2849 469 | 2.431 % | c | 14863 | 1124 1661 354777 | 6655 3074 471 | 2.431 % | c | 15200 | 1124 1661 354777 | 7320 3411 473 | 2.431 % | c | 15707 | 1124 1661 354777 | 8052 3918 475 | 2.431 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 49.5605 s Remaining CPU time: 130.44 s c =============================================================================== c | 16328 | 1124 1662 355658 | 5000 4539 478 | 2.431 % | c | 16429 | 1124 1662 355658 | 5500 4640 477 | 2.431 % | c | 16580 | 1124 1662 355658 | 6050 4791 477 | 2.431 % | c | 16805 | 1124 1662 355658 | 6655 5016 478 | 2.431 % | c | 17143 | 1124 1662 355658 | 7320 5354 479 | 2.431 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 51.3322 s Remaining CPU time: 128.668 s c =============================================================================== c | 17370 | 1124 1663 356539 | 5000 5581 479 | 2.431 % | c | 17470 | 1124 1663 356539 | 5500 2891 467 | 2.431 % | c | 17621 | 1124 1663 356539 | 6050 3042 467 | 2.431 % | c | 17846 | 1124 1663 356539 | 6655 3267 469 | 2.431 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 52.45 s Remaining CPU time: 127.55 s c =============================================================================== c | 17955 | 1124 1664 357420 | 5000 3376 469 | 2.431 % | c | 18055 | 1124 1664 357420 | 5500 3476 469 | 2.431 % | c | 18206 | 1124 1664 357420 | 6050 3627 469 | 2.431 % | c | 18431 | 1124 1664 357420 | 6655 3852 468 | 2.431 % | c | 18768 | 1124 1664 357420 | 7320 4189 469 | 2.431 % | c | 19274 | 1124 1664 357420 | 8052 4695 471 | 2.431 % | c | 20033 | 1124 1664 357420 | 8857 5454 473 | 2.431 % | c | 21172 | 1124 1664 357420 | 9743 6593 475 | 2.431 % | c | 22880 | 1124 1664 357420 | 10717 8301 477 | 2.431 % | c | 25442 | 1124 1664 357420 | 11789 10863 479 | 2.431 % | c | 29286 | 1124 1664 357420 | 12968 8539 482 | 2.431 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 67.4787 s Remaining CPU time: 112.521 s c =============================================================================== c | 29469 | 1124 1665 358301 | 5000 8722 482 | 2.431 % | c | 29569 | 1124 1665 358301 | 5500 4461 479 | 2.431 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 68.0427 s Remaining CPU time: 111.957 s c =============================================================================== c | 29692 | 1124 1666 359182 | 5000 4584 479 | 2.431 % | c | 29792 | 1124 1666 359182 | 5500 4684 479 | 2.431 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 68.4166 s Remaining CPU time: 111.583 s c =============================================================================== c | 29822 | 1124 1667 360063 | 5000 4714 478 | 2.431 % | c | 29922 | 1124 1667 360063 | 5500 4814 478 | 2.431 % | c | 30072 | 1124 1667 360063 | 6050 4964 478 | 2.431 % | c | 30297 | 1124 1667 360063 | 6655 5189 478 | 2.431 % | c | 30635 | 1124 1667 360063 | 7320 5527 478 | 2.431 % | c | 31141 | 1124 1667 360063 | 8052 6033 478 | 2.431 % | c | 31900 | 1124 1667 360063 | 8857 6792 478 | 2.431 % | c | 33039 | 1124 1667 360063 | 9743 7931 479 | 2.431 % | c | 34747 | 1124 1667 360063 | 10717 9639 479 | 2.431 % | c | 37309 | 1124 1667 360063 | 11789 6570 476 | 2.431 % | c | 41153 | 1124 1667 360063 | 12968 10414 479 | 2.431 % | c | 46919 | 1124 1667 360063 | 14265 9421 480 | 2.431 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 92.201 s Remaining CPU time: 87.799 s c =============================================================================== c | 48228 | 1124 1668 360944 | 5000 10730 480 | 2.431 % | c | 48328 | 1124 1668 360944 | 5500 2783 474 | 2.431 % | c | 48478 | 1124 1668 360944 | 6050 2933 474 | 2.431 % | c | 48703 | 1124 1668 360944 | 6655 3158 473 | 2.431 % | c | 49040 | 1124 1668 360944 | 7320 3495 474 | 2.431 % | c | 49546 | 1124 1668 360944 | 8052 4001 475 | 2.431 % | c | 50305 | 1124 1668 360944 | 8857 4760 476 | 2.431 % | c | 51444 | 1124 1668 360944 | 9743 5899 477 | 2.431 % | c | 53153 | 1124 1668 360944 | 10717 7608 477 | 2.431 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 99.5429 s Remaining CPU time: 80.4571 s c =============================================================================== c | 54254 | 1124 1669 361825 | 5000 8709 478 | 2.431 % | c | 54354 | 1124 1669 361825 | 5500 4455 471 | 2.431 % | c | 54504 | 1124 1669 361825 | 6050 4605 471 | 2.431 % | c | 54729 | 1124 1669 361825 | 6655 4830 471 | 2.431 % | c | 55066 | 1124 1669 361825 | 7320 5167 472 | 2.431 % | c | 55572 | 1124 1669 361825 | 8052 5673 472 | 2.431 % | c | 56331 | 1124 1669 361825 | 8857 6432 473 | 2.431 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 102.929 s Remaining CPU time: 77.0706 s c =============================================================================== c | 56433 | 1124 1670 362706 | 5000 6534 473 | 2.431 % | c | 56533 | 1124 1670 362706 | 5500 3367 467 | 2.431 % | c | 56687 | 1124 1670 362706 | 6050 3521 467 | 2.431 % | c | 56912 | 1124 1670 362706 | 6655 3746 467 | 2.431 % | c | 57249 | 1124 1670 362706 | 7320 4083 468 | 2.431 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 104.581 s Remaining CPU time: 75.4189 s c =============================================================================== c | 57315 | 1124 1671 363587 | 5000 4149 467 | 2.431 % | c | 57415 | 1124 1671 363587 | 5500 4249 467 | 2.431 % | c | 57565 | 1124 1671 363587 | 6050 4399 467 | 2.431 % | c | 57790 | 1124 1671 363587 | 6655 4624 468 | 2.431 % | c | 58127 | 1124 1671 363587 | 7320 4961 469 | 2.431 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 106.171 s Remaining CPU time: 73.8291 s c =============================================================================== c | 58256 | 1124 1672 364468 | 5000 5090 468 | 2.431 % | c | 58356 | 1124 1672 364468 | 5500 2645 458 | 2.431 % | c | 58506 | 1124 1672 364468 | 6050 2795 459 | 2.431 % | c | 58731 | 1124 1672 364468 | 6655 3020 460 | 2.431 % | c | 59068 | 1124 1672 364468 | 7320 3357 461 | 2.431 % | c | 59574 | 1124 1672 364468 | 8052 3863 464 | 2.431 % | c | 60333 | 1124 1672 364468 | 8857 4622 467 | 2.431 % | c | 61473 | 1124 1672 364468 | 9743 5762 469 | 2.431 % | c | 63181 | 1124 1672 364468 | 10717 7470 471 | 2.431 % | c | 65743 | 1124 1672 364468 | 11789 10032 473 | 2.431 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 120.244 s Remaining CPU time: 59.7563 s c =============================================================================== c | 69043 | 1124 1673 365349 | 5000 7167 471 | 2.431 % | c | 69145 | 1124 1673 365349 | 5500 3686 467 | 2.431 % | c | 69296 | 1124 1673 365349 | 6050 3837 466 | 2.431 % | c | 69521 | 1124 1673 365349 | 6655 4062 467 | 2.431 % | c | 69858 | 1124 1673 365349 | 7320 4399 467 | 2.431 % | c | 70364 | 1124 1673 365349 | 8052 4905 468 | 2.431 % | c | 71123 | 1124 1673 365349 | 8857 5664 469 | 2.431 % | c | 72262 | 1124 1673 365349 | 9743 6803 470 | 2.431 % | c | 73970 | 1124 1673 365349 | 10717 8511 471 | 2.431 % | c | 76532 | 1124 1673 365349 | 11789 11073 472 | 2.431 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 130.423 s Remaining CPU time: 49.5768 s c =============================================================================== c | 77341 | 1124 1674 366230 | 5000 11882 472 | 2.431 % | c | 77445 | 1124 1674 366230 | 5500 3075 462 | 2.431 % | c | 77595 | 1124 1674 366230 | 6050 3225 462 | 2.431 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 131.169 s Remaining CPU time: 48.8309 s c =============================================================================== c | 77707 | 1124 1675 367111 | 5000 3337 462 | 2.431 % | c | 77807 | 1124 1675 367111 | 5500 3437 462 | 2.431 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 131.562 s Remaining CPU time: 48.438 s c =============================================================================== c | 77834 | 1124 1676 367992 | 5000 3464 462 | 2.431 % | c | 77934 | 1124 1676 367992 | 5500 3564 462 | 2.431 % | c | 78084 | 1124 1676 367992 | 6050 3714 462 | 2.431 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 132.33 s Remaining CPU time: 47.6701 s c =============================================================================== c | 78155 | 1124 1677 368873 | 5000 3785 462 | 2.431 % | c | 78255 | 1124 1677 368873 | 5500 3885 462 | 2.431 % | c | 78407 | 1124 1677 368873 | 6050 4037 463 | 2.431 % | c | 78632 | 1124 1677 368873 | 6655 4262 463 | 2.431 % | c | 78970 | 1124 1677 368873 | 7320 4600 464 | 2.431 % | c | 79476 | 1124 1677 368873 | 8052 5106 465 | 2.431 % | c | 80235 | 1124 1677 368873 | 8857 5865 466 | 2.431 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 135.976 s Remaining CPU time: 44.0237 s c =============================================================================== c | 80919 | 1124 1678 369754 | 5000 6549 466 | 2.431 % | c | 81019 | 1124 1678 369754 | 5500 3375 457 | 2.431 % | c | 81169 | 1124 1678 369754 | 6050 3525 457 | 2.431 % | c | 81394 | 1124 1678 369754 | 6655 3750 458 | 2.431 % | c | 81731 | 1124 1678 369754 | 7320 4087 458 | 2.431 % | c | 82237 | 1124 1678 369754 | 8052 4593 460 | 2.431 % | c | 82996 | 1124 1678 369754 | 8857 5352 461 | 2.431 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 139.345 s Remaining CPU time: 40.6552 s c =============================================================================== c | 83605 | 1124 1679 370635 | 5000 5961 462 | 2.431 % | c | 83706 | 1124 1679 370635 | 5500 3082 456 | 2.431 % | c | 83856 | 1124 1679 370635 | 6050 3232 457 | 2.431 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 140.041 s Remaining CPU time: 39.9593 s c =============================================================================== c | 83984 | 1124 1680 371516 | 5000 3360 457 | 2.431 % | c | 84084 | 1124 1680 371516 | 5500 3460 457 | 2.431 % | c | 84235 | 1124 1680 371516 | 6050 3611 456 | 2.431 % | c | 84461 | 1124 1680 371516 | 6655 3837 456 | 2.431 % | c | 84798 | 1124 1680 371516 | 7320 4174 457 | 2.431 % | c | 85304 | 1124 1680 371516 | 8052 4680 459 | 2.431 % | c | 86063 | 1124 1680 371516 | 8857 5439 460 | 2.431 % | c | 87202 | 1124 1680 371516 | 9743 6578 462 | 2.431 % | c | 88911 | 1124 1680 371516 | 10717 8287 464 | 2.431 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 147.052 s Remaining CPU time: 32.9484 s c =============================================================================== c | 89332 | 1124 1681 372397 | 5000 8708 464 | 2.431 % | c | 89433 | 1124 1681 372397 | 5500 4455 461 | 2.431 % | c | 89584 | 1124 1681 372397 | 6050 4606 461 | 2.431 % | c | 89809 | 1124 1681 372397 | 6655 4831 461 | 2.431 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 148.147 s Remaining CPU time: 31.8525 s c =============================================================================== c | 89858 | 1124 1682 373278 | 5000 4880 461 | 2.431 % | c | 89958 | 1124 1682 373278 | 5500 4980 461 | 2.431 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 148.689 s Remaining CPU time: 31.3106 s c =============================================================================== c | 90094 | 1124 1683 374159 | 5000 5116 461 | 2.431 % | c | 90194 | 1124 1683 374159 | 5500 2658 454 | 2.431 % | c | 90344 | 1124 1683 374159 | 6050 2808 454 | 2.431 % | c | 90570 | 1124 1683 374159 | 6655 3034 455 | 2.431 % | c | 90907 | 1124 1683 374159 | 7320 3371 456 | 2.431 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 150.517 s Remaining CPU time: 29.4829 s c =============================================================================== c | 91244 | 1124 1684 375040 | 5000 3708 457 | 2.431 % | c | 91344 | 1124 1684 375040 | 5500 3808 456 | 2.431 % | c | 91495 | 1124 1684 375040 | 6050 3959 456 | 2.431 % | c | 91720 | 1124 1684 375040 | 6655 4184 457 | 2.431 % | c | 92058 | 1124 1684 375040 | 7320 4522 458 | 2.431 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 152.345 s Remaining CPU time: 27.6552 s c =============================================================================== c | 92266 | 1124 1685 375921 | 5000 4730 458 | 2.431 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 152.577 s Remaining CPU time: 27.4232 s c =============================================================================== c | 92365 | 1124 1686 376802 | 5000 4829 458 | 2.431 % | c | 92465 | 1124 1686 376802 | 5500 4929 458 | 2.431 % | c | 92615 | 1124 1686 376802 | 6050 5079 458 | 2.431 % | c | 92840 | 1124 1686 376802 | 6655 5304 458 | 2.431 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 153.71 s Remaining CPU time: 26.2904 s c =============================================================================== c | 92993 | 1124 1687 377683 | 5000 5457 458 | 2.431 % | c | 93094 | 1124 1687 377683 | 5500 2830 448 | 2.431 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 154.102 s Remaining CPU time: 25.8984 s c =============================================================================== c | 93121 | 1124 1688 378564 | 5000 2857 448 | 2.431 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 154.224 s Remaining CPU time: 25.7764 s c =============================================================================== c | 93121 | 1124 1689 379445 | 5000 2857 448 | 2.431 % | c | 93222 | 1124 1689 379445 | 5500 2958 448 | 2.431 % | c | 93372 | 1124 1689 379445 | 6050 3108 449 | 2.431 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 155.039 s Remaining CPU time: 24.9606 s c =============================================================================== c | 93575 | 1124 1690 380326 | 5000 3311 449 | 2.431 % | c | 93675 | 1124 1690 380326 | 5500 3411 449 | 2.431 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 155.485 s Remaining CPU time: 24.5146 s c =============================================================================== c | 93761 | 1124 1691 381207 | 5000 3497 450 | 2.431 % | c | 93861 | 1124 1691 381207 | 5500 3597 450 | 2.431 % | c | 94011 | 1124 1691 381207 | 6050 3747 450 | 2.431 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 156.235 s Remaining CPU time: 23.7648 s c =============================================================================== c | 94133 | 1124 1692 382088 | 5000 3869 450 | 2.431 % | c | 94233 | 1124 1692 382088 | 5500 3969 450 | 2.431 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 156.696 s Remaining CPU time: 23.3038 s c =============================================================================== c | 94332 | 1124 1693 382969 | 5000 4068 450 | 2.431 % | c | 94433 | 1124 1693 382969 | 5500 4169 450 | 2.431 % | c | 94583 | 1124 1693 382969 | 6050 4319 450 | 2.431 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 157.437 s Remaining CPU time: 22.5629 s c =============================================================================== c | 94682 | 1124 1694 383850 | 5000 4418 450 | 2.431 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 157.616 s Remaining CPU time: 22.384 s c =============================================================================== c | 94735 | 1124 1695 384731 | 5000 4471 450 | 2.431 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 157.828 s Remaining CPU time: 22.172 s c =============================================================================== c | 94806 | 1124 1696 385612 | 5000 4542 450 | 2.431 % | c | 94907 | 1124 1696 385612 | 5500 4643 450 | 2.431 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 158.193 s Remaining CPU time: 21.807 s c =============================================================================== c | 94907 | 1124 1697 386493 | 5000 4643 450 | 2.431 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 158.402 s Remaining CPU time: 21.5981 s c =============================================================================== c | 94952 | 1124 1698 387374 | 5000 4688 450 | 2.431 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 158.578 s Remaining CPU time: 21.4221 s c =============================================================================== c | 94990 | 1124 1699 388255 | 5000 4726 450 | 2.431 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 158.736 s Remaining CPU time: 21.2641 s c =============================================================================== c | 95006 | 1124 1700 389136 | 5000 4742 450 | 2.431 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 158.93 s Remaining CPU time: 21.0702 s c =============================================================================== c | 95061 | 1124 1701 390017 | 5000 4797 450 | 2.431 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 159.058 s Remaining CPU time: 20.9422 s c =============================================================================== c | 95067 | 1124 1702 390898 | 5000 4803 450 | 2.431 % | c | 95168 | 1124 1702 390898 | 5500 4904 450 | 2.431 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 159.498 s Remaining CPU time: 20.5022 s c =============================================================================== c | 95177 | 1124 1703 391779 | 5000 4913 449 | 2.431 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 159.641 s Remaining CPU time: 20.3593 s c =============================================================================== c | 95185 | 1124 1704 392660 | 5000 4921 449 | 2.431 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 159.818 s Remaining CPU time: 20.1823 s c =============================================================================== c | 95239 | 1124 1705 393541 | 5000 4975 449 | 2.431 % | c | 95339 | 1124 1705 393541 | 5500 5075 449 | 2.431 % | c | 95489 | 1124 1705 393541 | 6050 5225 449 | 2.431 % | c | 95714 | 1124 1705 393541 | 6655 5450 449 | 2.431 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 160.95 s Remaining CPU time: 19.0505 s c =============================================================================== c | 95757 | 1124 1706 394422 | 5000 5493 449 | 2.431 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 161.1 s Remaining CPU time: 18.9005 s c =============================================================================== c | 95782 | 1124 1707 395303 | 5000 2772 434 | 2.431 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 161.228 s Remaining CPU time: 18.7715 s c =============================================================================== c | 95793 | 1124 1708 396184 | 5000 2783 434 | 2.431 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 161.366 s Remaining CPU time: 18.6335 s c =============================================================================== c | 95820 | 1124 1709 397065 | 5000 2810 434 | 2.431 % | c | 95920 | 1124 1709 397065 | 5500 2910 434 | 2.431 % | c | 96070 | 1124 1709 397065 | 6050 3060 435 | 2.431 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 162.076 s Remaining CPU time: 17.9236 s c =============================================================================== c | 96084 | 1124 1710 397946 | 5000 3074 435 | 2.431 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 162.211 s Remaining CPU time: 17.7887 s c =============================================================================== c | 96096 | 1124 1711 398827 | 5000 3086 435 | 2.431 % | c | 96197 | 1124 1711 398827 | 5500 3187 435 | 2.431 % | c | 96348 | 1124 1711 398827 | 6050 3338 435 | 2.431 % | c | 96573 | 1124 1711 398827 | 6655 3563 435 | 2.431 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 163.279 s Remaining CPU time: 16.7208 s c =============================================================================== c | 96624 | 1124 1712 399708 | 5000 3614 435 | 2.431 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 163.422 s Remaining CPU time: 16.5778 s c =============================================================================== c | 96634 | 1124 1713 400589 | 5000 3624 435 | 2.431 % | c | 96734 | 1124 1713 400589 | 5500 3724 435 | 2.431 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 163.818 s Remaining CPU time: 16.1819 s c =============================================================================== c | 96746 | 1124 1714 401470 | 5000 3736 435 | 2.431 % | c | 96847 | 1124 1714 401470 | 5500 3837 435 | 2.431 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 164.223 s Remaining CPU time: 15.777 s c =============================================================================== c | 96870 | 1124 1715 402351 | 5000 3860 435 | 2.431 % | c | 96970 | 1124 1715 402351 | 5500 3960 435 | 2.431 % | c | 97122 | 1124 1715 402351 | 6050 4112 435 | 2.431 % | c | 97347 | 1124 1715 402351 | 6655 4337 435 | 2.431 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 165.317 s Remaining CPU time: 14.6831 s c =============================================================================== c | 97358 | 1124 1716 403232 | 5000 4348 435 | 2.431 % | c | 97461 | 1124 1716 403232 | 5500 4451 434 | 2.431 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 165.811 s Remaining CPU time: 14.1892 s c =============================================================================== c | 97572 | 1124 1717 404113 | 5000 4562 434 | 2.431 % | c | 97672 | 1124 1717 404113 | 5500 4662 434 | 2.431 % | c | 97822 | 1124 1717 404113 | 6050 4812 434 | 2.431 % | c | 98047 | 1124 1717 404113 | 6655 5037 434 | 2.431 % | c | 98384 | 1124 1717 404113 | 7320 5374 434 | 2.431 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 167.669 s Remaining CPU time: 12.3315 s c =============================================================================== c | 98625 | 1124 1718 404994 | 5000 5615 434 | 2.431 % | c | 98725 | 1124 1718 404994 | 5500 2908 417 | 2.431 % | c | 98875 | 1124 1718 404994 | 6050 3058 417 | 2.431 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 168.478 s Remaining CPU time: 11.5216 s c =============================================================================== c | 98995 | 1124 1719 405875 | 5000 3178 417 | 2.431 % | c | 99095 | 1124 1719 405875 | 5500 3278 418 | 2.431 % | c | 99246 | 1124 1719 405875 | 6050 3429 418 | 2.431 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 169.289 s Remaining CPU time: 10.7107 s c =============================================================================== c | 99404 | 1124 1720 406756 | 5000 3587 419 | 2.431 % | c | 99504 | 1124 1720 406756 | 5500 3687 419 | 2.431 % | c | 99654 | 1124 1720 406756 | 6050 3837 419 | 2.431 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 170.011 s Remaining CPU time: 9.98885 s c =============================================================================== c | 99728 | 1124 1721 407637 | 5000 3911 420 | 2.431 % | c | 99828 | 1124 1721 407637 | 5500 4011 420 | 2.431 % | c | 99978 | 1124 1721 407637 | 6050 4161 420 | 2.431 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 170.893 s Remaining CPU time: 9.10698 s c =============================================================================== c | 100161 | 1124 1722 408518 | 5000 4344 420 | 2.431 % | c | 100261 | 1124 1722 408518 | 5500 4444 421 | 2.431 % | c | 100411 | 1124 1722 408518 | 6050 4594 421 | 2.431 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 171.586 s Remaining CPU time: 8.41409 s c =============================================================================== c | 100452 | 1124 1723 409399 | 5000 4635 421 | 2.431 % | c | 100552 | 1124 1723 409399 | 5500 4735 421 | 2.431 % | c | 100702 | 1124 1723 409399 | 6050 4885 421 | 2.431 % | c | 100927 | 1124 1723 409399 | 6655 5110 420 | 2.431 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 172.825 s Remaining CPU time: 7.17527 s c =============================================================================== c | 101061 | 1124 1724 410280 | 5000 5244 421 | 2.431 % | c | 101161 | 1124 1724 410280 | 5500 2722 408 | 2.431 % | c | 101311 | 1124 1724 410280 | 6050 2872 409 | 2.431 % | c | 101536 | 1124 1724 410280 | 6655 3097 411 | 2.431 % | c | 101873 | 1124 1724 410280 | 7320 3434 412 | 2.431 % | c | 102379 | 1124 1724 410280 | 8052 3940 414 | 2.431 % | c | 103138 | 1124 1724 410280 | 8857 4699 416 | 2.431 % | c | 104277 | 1124 1724 410280 | 9743 5838 418 | 2.431 % | 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 | 230 2606 4688 | 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 | 310 2608 4976 | 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 | 441 2610 5326 | 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 | 518 2611 5476 | 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 | 652 2612 5698 | 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 | 962 2618 6228 | 5000 0 nan | 0.000 % | c | 100 | 962 2618 6228 | 5500 100 36 | 37.451 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1600 2626 149123 | 5000 0 nan | 0.000 % | c | 100 | 1600 2626 149123 | 5500 100 45 | 17.227 % | c | 250 | 1600 2626 149123 | 6050 250 31 | 17.227 % | c | 475 | 1587 2626 149123 | 6655 167 30 | 17.900 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2308 2636 310726 | 5000 0 nan | 0.000 % | c | 100 | 2308 2636 310726 | 5500 100 31 | 6.141 % | c | 250 | 2308 2636 310726 | 6050 250 19 | 6.141 % | c | 476 | 2308 2636 310726 | 6655 476 19 | 6.141 % | c | 814 | 2308 2636 310726 | 7320 814 17 | 6.141 % | c | 1320 | 2308 2636 310726 | 8052 1320 16 | 6.141 % | c | 2079 | 2306 2636 310726 | 8857 1720 16 | 6.222 % | c | 3219 | 2306 2636 310726 | 9743 2860 16 | 6.222 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3167 2656 398741 | 5000 0 nan | 0.000 % | c | 100 | 3167 2656 398741 | 5500 100 38 | 1.646 % | c | 250 | 3167 2656 398741 | 6050 250 25 | 1.646 % | c | 475 | 3167 2656 398741 | 6655 475 26 | 1.646 % | c | 812 | 3167 2656 398741 | 7320 812 23 | 1.646 % | c | 1318 | 3167 2656 398741 | 8052 1318 23 | 1.646 % | c | 2077 | 3167 2656 398741 | 8857 2077 24 | 1.646 % | c | 3217 | 3167 2656 398741 | 9743 3217 24 | 1.646 % | c | 4925 | 3167 2656 398741 | 10717 4925 22 | 1.646 % | c | 7490 | 3167 2656 398741 | 11789 7490 23 | 1.646 % | c | 11335 | 3167 2656 398741 | 12968 11335 22 | 1.646 % | c | 17102 | 3167 2656 398741 | 14265 10564 23 | 1.646 % | c | 25755 | 3163 2656 398741 | 15692 5164 17 | 1.770 % | c | 38729 | 3163 2656 398741 | 17261 10202 34 | 1.770 % | c | 58191 | 3163 2656 398741 | 18987 12289 28 | 1.770 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4057 2699 418242 | 5000 0 nan | 0.000 % | c | 100 | 4057 2699 418242 | 5500 100 51 | 0.685 % | c | 250 | 4057 2699 418242 | 6050 250 35 | 0.685 % | c | 476 | 4057 2699 418242 | 6655 476 36 | 0.685 % | c | 813 | 4057 2699 418242 | 7320 813 36 | 0.685 % | c | 1319 | 4057 2699 418242 | 8052 1319 35 | 0.685 % | c | 2079 | 4057 2699 418242 | 8857 2079 40 | 0.685 % | c | 3220 | 4057 2699 418242 | 9743 3220 44 | 0.685 % | c | 4928 | 4057 2699 418242 | 10717 4928 44 | 0.685 % | c | 7491 | 4057 2699 418242 | 11789 7491 53 | 0.685 % | c | 11339 | 4057 2699 418242 | 12968 11339 58 | 0.685 % | c | 17107 | 4057 2699 418242 | 14265 10579 58 | 0.685 % | c | 25756 | 4057 2699 418242 | 15692 11904 49 | 0.685 % | c | 38731 | 4057 2699 418242 | 17261 9013 50 | 0.685 % | c | 58192 | 4057 2699 418242 | 18987 11130 62 | 0.685 % | c | 87384 | 4057 2699 418242 | 20886 11557 41 | 0.685 % | c | 131179 | 4057 2699 418242 | 22974 13177 60 | 0.686 % | c | 196865 | 4057 2699 418242 | 25272 20161 55 | 0.685 % | c | 295393 | 4057 2699 418242 | 27799 25261 59 | 0.685 % | c | 443186 | 4057 2699 418242 | 30579 18184 41 | 0.685 % |