c wbo 1.4 beta - 20100610 c | Number of variables: 280 | c | Number of clauses: 1264 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1147 | c | Number Clauses: 1231 | 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 | 1119 1259 4722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 871 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1119 1260 5618 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 870 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1119 1261 6514 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 869 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1119 1262 7410 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 868 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1119 1263 8306 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 867 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1119 1264 9202 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 866 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1119 1265 10098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 865 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1119 1266 10994 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 864 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1119 1267 11890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 863 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1119 1268 12786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 862 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1119 1269 13682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 861 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1119 1270 14578 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 860 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1119 1271 15474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 859 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1119 1272 16370 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 858 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1119 1273 17266 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 857 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1119 1274 18162 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 856 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 1119 1275 19058 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 855 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 1119 1276 19954 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 854 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 1119 1277 20850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 853 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 0 | 1119 1278 21746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 852 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 0 | 1119 1279 22642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 851 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 0 | 1119 1280 23538 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 850 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 0 | 1119 1281 24434 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 849 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 0 | 1119 1282 25330 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 848 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 0 | 1119 1283 26226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 847 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 0 | 1119 1284 27122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 846 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 0 | 1119 1285 28018 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 845 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 0 | 1119 1286 28914 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 844 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 0 | 1119 1287 29810 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 843 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 0 | 1119 1288 30706 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 842 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 0 | 1119 1289 31602 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 841 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 0 | 1119 1290 32498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 840 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 0 | 1119 1291 33394 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 839 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 0 | 1119 1292 34290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 838 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 0 | 1119 1293 35186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 837 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s c =============================================================================== c | 0 | 1119 1294 36082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 836 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s c =============================================================================== c | 0 | 1119 1295 36978 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 835 c Elapsed CPU time: 0.328949 s Remaining CPU time: 179.671 s c =============================================================================== c | 0 | 1119 1296 37874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 834 c Elapsed CPU time: 0.346947 s Remaining CPU time: 179.653 s c =============================================================================== c | 0 | 1119 1297 38770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 833 c Elapsed CPU time: 0.367944 s Remaining CPU time: 179.632 s c =============================================================================== c | 0 | 1119 1298 39666 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 832 c Elapsed CPU time: 0.38894 s Remaining CPU time: 179.611 s c =============================================================================== c | 0 | 1119 1299 40562 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 831 c Elapsed CPU time: 0.409937 s Remaining CPU time: 179.59 s c =============================================================================== c | 0 | 1119 1300 41458 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 830 c Elapsed CPU time: 0.431934 s Remaining CPU time: 179.568 s c =============================================================================== c | 0 | 1119 1301 42354 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 829 c Elapsed CPU time: 0.45393 s Remaining CPU time: 179.546 s c =============================================================================== c | 0 | 1119 1302 43250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 828 c Elapsed CPU time: 0.474927 s Remaining CPU time: 179.525 s c =============================================================================== c | 0 | 1119 1303 44146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 827 c Elapsed CPU time: 0.498924 s Remaining CPU time: 179.501 s c =============================================================================== c | 0 | 1119 1304 45042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 826 c Elapsed CPU time: 0.52192 s Remaining CPU time: 179.478 s c =============================================================================== c | 0 | 1119 1305 45938 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 825 c Elapsed CPU time: 0.545917 s Remaining CPU time: 179.454 s c =============================================================================== c | 0 | 1119 1306 46834 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 824 c Elapsed CPU time: 0.569913 s Remaining CPU time: 179.43 s c =============================================================================== c | 0 | 1119 1307 47730 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 823 c Elapsed CPU time: 0.594909 s Remaining CPU time: 179.405 s c =============================================================================== c | 0 | 1119 1308 48626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 822 c Elapsed CPU time: 0.619905 s Remaining CPU time: 179.38 s c =============================================================================== c | 0 | 1119 1309 49522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 821 c Elapsed CPU time: 0.645901 s Remaining CPU time: 179.354 s c =============================================================================== c | 0 | 1119 1310 50418 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 820 c Elapsed CPU time: 0.671897 s Remaining CPU time: 179.328 s c =============================================================================== c | 0 | 1119 1311 51314 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 819 c Elapsed CPU time: 0.696894 s Remaining CPU time: 179.303 s c =============================================================================== c | 0 | 1119 1312 52210 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 818 c Elapsed CPU time: 0.72289 s Remaining CPU time: 179.277 s c =============================================================================== c | 0 | 1119 1313 53106 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 817 c Elapsed CPU time: 0.749886 s Remaining CPU time: 179.25 s c =============================================================================== c | 0 | 1119 1314 54002 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 816 c Elapsed CPU time: 0.777881 s Remaining CPU time: 179.222 s c =============================================================================== c | 0 | 1119 1315 54898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 815 c Elapsed CPU time: 0.805877 s Remaining CPU time: 179.194 s c =============================================================================== c | 0 | 1119 1316 55794 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 814 c Elapsed CPU time: 0.831873 s Remaining CPU time: 179.168 s c =============================================================================== c | 0 | 1119 1317 56690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 813 c Elapsed CPU time: 0.859869 s Remaining CPU time: 179.14 s c =============================================================================== c | 0 | 1119 1318 57586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 812 c Elapsed CPU time: 0.888864 s Remaining CPU time: 179.111 s c =============================================================================== c | 0 | 1119 1319 58482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 811 c Elapsed CPU time: 0.91886 s Remaining CPU time: 179.081 s c =============================================================================== c | 0 | 1119 1320 59378 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 810 c Elapsed CPU time: 0.946856 s Remaining CPU time: 179.053 s c =============================================================================== c | 0 | 1119 1321 60274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 809 c Elapsed CPU time: 0.978851 s Remaining CPU time: 179.021 s c =============================================================================== c | 0 | 1119 1322 61170 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 808 c Elapsed CPU time: 1.00885 s Remaining CPU time: 178.991 s c =============================================================================== c | 0 | 1119 1323 62066 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 807 c Elapsed CPU time: 1.03984 s Remaining CPU time: 178.96 s c =============================================================================== c | 0 | 1119 1324 62962 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 806 c Elapsed CPU time: 1.06984 s Remaining CPU time: 178.93 s c =============================================================================== c | 0 | 1119 1325 63858 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 805 c Elapsed CPU time: 1.09983 s Remaining CPU time: 178.9 s c =============================================================================== c | 0 | 1119 1326 64754 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 804 c Elapsed CPU time: 1.13783 s Remaining CPU time: 178.862 s c =============================================================================== c | 0 | 1119 1327 65650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 803 c Elapsed CPU time: 1.17582 s Remaining CPU time: 178.824 s c =============================================================================== c | 0 | 1119 1328 66546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 802 c Elapsed CPU time: 1.21582 s Remaining CPU time: 178.784 s c =============================================================================== c | 0 | 1119 1329 67442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 801 c Elapsed CPU time: 1.25481 s Remaining CPU time: 178.745 s c =============================================================================== c | 0 | 1119 1330 68338 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 800 c Elapsed CPU time: 1.2958 s Remaining CPU time: 178.704 s c =============================================================================== c | 0 | 1119 1331 69234 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 799 c Elapsed CPU time: 1.3348 s Remaining CPU time: 178.665 s c =============================================================================== c | 0 | 1119 1332 70130 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 798 c Elapsed CPU time: 1.37579 s Remaining CPU time: 178.624 s c =============================================================================== c | 0 | 1119 1333 71026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 797 c Elapsed CPU time: 1.41678 s Remaining CPU time: 178.583 s c =============================================================================== c | 0 | 1119 1334 71922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 796 c Elapsed CPU time: 1.45678 s Remaining CPU time: 178.543 s c =============================================================================== c | 0 | 1119 1335 72818 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 795 c Elapsed CPU time: 1.49877 s Remaining CPU time: 178.501 s c =============================================================================== c | 0 | 1119 1336 73714 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 794 c Elapsed CPU time: 1.54076 s Remaining CPU time: 178.459 s c =============================================================================== c | 0 | 1119 1337 74610 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 793 c Elapsed CPU time: 1.58276 s Remaining CPU time: 178.417 s c =============================================================================== c | 0 | 1119 1338 75506 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 792 c Elapsed CPU time: 1.62575 s Remaining CPU time: 178.374 s c =============================================================================== c | 0 | 1119 1339 76402 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 791 c Elapsed CPU time: 1.66975 s Remaining CPU time: 178.33 s c =============================================================================== c | 0 | 1119 1340 77298 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 790 c Elapsed CPU time: 1.71274 s Remaining CPU time: 178.287 s c =============================================================================== c | 0 | 1119 1341 78194 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 789 c Elapsed CPU time: 1.75673 s Remaining CPU time: 178.243 s c =============================================================================== c | 0 | 1119 1342 79090 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 788 c Elapsed CPU time: 1.80073 s Remaining CPU time: 178.199 s c =============================================================================== c | 0 | 1119 1343 79986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 787 c Elapsed CPU time: 1.84572 s Remaining CPU time: 178.154 s c =============================================================================== c | 0 | 1119 1344 80882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 786 c Elapsed CPU time: 1.88971 s Remaining CPU time: 178.11 s c =============================================================================== c | 0 | 1119 1345 81778 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 785 c Elapsed CPU time: 1.93471 s Remaining CPU time: 178.065 s c =============================================================================== c | 0 | 1119 1346 82674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 784 c Elapsed CPU time: 1.9767 s Remaining CPU time: 178.023 s c =============================================================================== c | 0 | 1119 1347 83570 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 783 c Elapsed CPU time: 2.02169 s Remaining CPU time: 177.978 s c =============================================================================== c | 0 | 1119 1348 84466 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 782 c Elapsed CPU time: 2.06669 s Remaining CPU time: 177.933 s c =============================================================================== c | 0 | 1119 1349 85362 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 781 c Elapsed CPU time: 2.11268 s Remaining CPU time: 177.887 s c =============================================================================== c | 0 | 1119 1350 86258 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 780 c Elapsed CPU time: 2.15967 s Remaining CPU time: 177.84 s c =============================================================================== c | 0 | 1119 1351 87154 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 779 c Elapsed CPU time: 2.20566 s Remaining CPU time: 177.794 s c =============================================================================== c | 0 | 1119 1352 88050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 778 c Elapsed CPU time: 2.25366 s Remaining CPU time: 177.746 s c =============================================================================== c | 0 | 1119 1353 88946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 777 c Elapsed CPU time: 2.30165 s Remaining CPU time: 177.698 s c =============================================================================== c | 0 | 1119 1354 89842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 776 c Elapsed CPU time: 2.35264 s Remaining CPU time: 177.647 s c =============================================================================== c | 0 | 1119 1355 90738 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 775 c Elapsed CPU time: 2.40163 s Remaining CPU time: 177.598 s c =============================================================================== c | 0 | 1119 1356 91634 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 774 c Elapsed CPU time: 2.45063 s Remaining CPU time: 177.549 s c =============================================================================== c | 0 | 1119 1357 92530 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 773 c Elapsed CPU time: 2.49862 s Remaining CPU time: 177.501 s c =============================================================================== c | 0 | 1119 1358 93426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 772 c Elapsed CPU time: 2.54861 s Remaining CPU time: 177.451 s c =============================================================================== c | 0 | 1119 1359 94322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 771 c Elapsed CPU time: 2.59761 s Remaining CPU time: 177.402 s c =============================================================================== c | 0 | 1119 1360 95218 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 770 c Elapsed CPU time: 2.6476 s Remaining CPU time: 177.352 s c =============================================================================== c | 0 | 1119 1361 96114 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 769 c Elapsed CPU time: 2.69759 s Remaining CPU time: 177.302 s c =============================================================================== c | 0 | 1119 1362 97010 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 768 c Elapsed CPU time: 2.74858 s Remaining CPU time: 177.251 s c =============================================================================== c | 0 | 1119 1363 97906 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 767 c Elapsed CPU time: 2.80157 s Remaining CPU time: 177.198 s c =============================================================================== c | 0 | 1119 1364 98802 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 766 c Elapsed CPU time: 2.85457 s Remaining CPU time: 177.145 s c =============================================================================== c | 0 | 1119 1365 99698 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 765 c Elapsed CPU time: 2.90656 s Remaining CPU time: 177.093 s c =============================================================================== c | 0 | 1119 1366 100594 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 764 c Elapsed CPU time: 2.95955 s Remaining CPU time: 177.04 s c =============================================================================== c | 0 | 1119 1367 101490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 763 c Elapsed CPU time: 3.01254 s Remaining CPU time: 176.987 s c =============================================================================== c | 0 | 1119 1368 102386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 762 c Elapsed CPU time: 3.06653 s Remaining CPU time: 176.933 s c =============================================================================== c | 0 | 1119 1369 103282 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 761 c Elapsed CPU time: 3.12052 s Remaining CPU time: 176.879 s c =============================================================================== c | 0 | 1119 1370 104178 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 760 c Elapsed CPU time: 3.17552 s Remaining CPU time: 176.824 s c =============================================================================== c | 0 | 1119 1371 105074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 759 c Elapsed CPU time: 3.22751 s Remaining CPU time: 176.772 s c =============================================================================== c | 0 | 1119 1372 105970 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 758 c Elapsed CPU time: 3.2825 s Remaining CPU time: 176.718 s c =============================================================================== c | 0 | 1119 1373 106866 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 757 c Elapsed CPU time: 3.33749 s Remaining CPU time: 176.663 s c =============================================================================== c | 0 | 1119 1374 107762 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 756 c Elapsed CPU time: 3.39148 s Remaining CPU time: 176.609 s c =============================================================================== c | 0 | 1119 1375 108658 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 755 c Elapsed CPU time: 3.44548 s Remaining CPU time: 176.555 s c =============================================================================== c | 0 | 1119 1376 109554 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 754 c Elapsed CPU time: 3.50047 s Remaining CPU time: 176.5 s c =============================================================================== c | 0 | 1119 1377 110450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 753 c Elapsed CPU time: 3.55346 s Remaining CPU time: 176.447 s c =============================================================================== c | 0 | 1119 1378 111346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 752 c Elapsed CPU time: 3.60745 s Remaining CPU time: 176.393 s c =============================================================================== c | 0 | 1119 1379 112242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 751 c Elapsed CPU time: 3.66244 s Remaining CPU time: 176.338 s c =============================================================================== c | 0 | 1119 1380 113138 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 750 c Elapsed CPU time: 3.71743 s Remaining CPU time: 176.283 s c =============================================================================== c | 0 | 1119 1381 114034 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 749 c Elapsed CPU time: 3.77443 s Remaining CPU time: 176.226 s c =============================================================================== c | 0 | 1119 1382 114930 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 748 c Elapsed CPU time: 3.83042 s Remaining CPU time: 176.17 s c =============================================================================== c | 0 | 1119 1383 115826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 747 c Elapsed CPU time: 3.88641 s Remaining CPU time: 176.114 s c =============================================================================== c | 0 | 1119 1384 116722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 746 c Elapsed CPU time: 3.9444 s Remaining CPU time: 176.056 s c =============================================================================== c | 0 | 1119 1385 117618 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 745 c Elapsed CPU time: 4.00039 s Remaining CPU time: 176 s c =============================================================================== c | 0 | 1119 1386 118514 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 744 c Elapsed CPU time: 4.05738 s Remaining CPU time: 175.943 s c =============================================================================== c | 0 | 1119 1387 119410 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 743 c Elapsed CPU time: 4.11437 s Remaining CPU time: 175.886 s c =============================================================================== c | 0 | 1119 1388 120306 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 742 c Elapsed CPU time: 4.17337 s Remaining CPU time: 175.827 s c =============================================================================== c | 0 | 1119 1389 121202 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 741 c Elapsed CPU time: 4.23136 s Remaining CPU time: 175.769 s c =============================================================================== c | 0 | 1119 1390 122098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 740 c Elapsed CPU time: 4.28935 s Remaining CPU time: 175.711 s c =============================================================================== c | 0 | 1119 1391 122994 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 739 c Elapsed CPU time: 4.34634 s Remaining CPU time: 175.654 s c =============================================================================== c | 0 | 1119 1392 123890 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 738 c Elapsed CPU time: 4.40233 s Remaining CPU time: 175.598 s c =============================================================================== c | 0 | 1119 1393 124786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 737 c Elapsed CPU time: 4.46032 s Remaining CPU time: 175.54 s c =============================================================================== c | 0 | 1119 1394 125682 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 736 c Elapsed CPU time: 4.51831 s Remaining CPU time: 175.482 s c =============================================================================== c | 0 | 1119 1395 126578 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 735 c Elapsed CPU time: 4.5753 s Remaining CPU time: 175.425 s c =============================================================================== c | 0 | 1119 1396 127474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 734 c Elapsed CPU time: 4.6323 s Remaining CPU time: 175.368 s c =============================================================================== c | 0 | 1119 1397 128370 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 733 c Elapsed CPU time: 4.68729 s Remaining CPU time: 175.313 s c =============================================================================== c | 0 | 1119 1398 129266 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 732 c Elapsed CPU time: 4.74428 s Remaining CPU time: 175.256 s c =============================================================================== c | 0 | 1119 1399 130162 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 731 c Elapsed CPU time: 4.80227 s Remaining CPU time: 175.198 s c =============================================================================== c | 0 | 1119 1400 131058 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 730 c Elapsed CPU time: 4.86026 s Remaining CPU time: 175.14 s c =============================================================================== c | 0 | 1119 1401 131954 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 729 c Elapsed CPU time: 4.91625 s Remaining CPU time: 175.084 s c =============================================================================== c | 0 | 1119 1402 132850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 728 c Elapsed CPU time: 4.97524 s Remaining CPU time: 175.025 s c =============================================================================== c | 0 | 1119 1403 133746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 727 c Elapsed CPU time: 5.03223 s Remaining CPU time: 174.968 s c =============================================================================== c | 0 | 1119 1404 134642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 726 c Elapsed CPU time: 5.09223 s Remaining CPU time: 174.908 s c =============================================================================== c | 0 | 1119 1405 135538 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 725 c Elapsed CPU time: 5.14822 s Remaining CPU time: 174.852 s c =============================================================================== c | 0 | 1119 1406 136434 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 724 c Elapsed CPU time: 5.20621 s Remaining CPU time: 174.794 s c =============================================================================== c | 0 | 1119 1407 137330 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 723 c Elapsed CPU time: 5.2642 s Remaining CPU time: 174.736 s c =============================================================================== c | 0 | 1119 1408 138226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 722 c Elapsed CPU time: 5.32219 s Remaining CPU time: 174.678 s c =============================================================================== c | 0 | 1119 1409 139122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 721 c Elapsed CPU time: 5.37918 s Remaining CPU time: 174.621 s c =============================================================================== c | 0 | 1119 1410 140018 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 720 c Elapsed CPU time: 5.43517 s Remaining CPU time: 174.565 s c =============================================================================== c | 0 | 1119 1411 140914 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 719 c Elapsed CPU time: 5.49216 s Remaining CPU time: 174.508 s c =============================================================================== c | 0 | 1119 1412 141810 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 718 c Elapsed CPU time: 5.54616 s Remaining CPU time: 174.454 s c =============================================================================== c | 0 | 1119 1413 142706 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 717 c Elapsed CPU time: 5.60315 s Remaining CPU time: 174.397 s c =============================================================================== c | 0 | 1119 1414 143602 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 716 c Elapsed CPU time: 5.66614 s Remaining CPU time: 174.334 s c =============================================================================== c | 0 | 1119 1415 144498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 715 c Elapsed CPU time: 5.72913 s Remaining CPU time: 174.271 s c =============================================================================== c | 0 | 1119 1416 145394 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 714 c Elapsed CPU time: 5.79112 s Remaining CPU time: 174.209 s c =============================================================================== c | 0 | 1119 1417 146290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 713 c Elapsed CPU time: 5.85211 s Remaining CPU time: 174.148 s c =============================================================================== c | 0 | 1119 1418 147186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 712 c Elapsed CPU time: 5.9151 s Remaining CPU time: 174.085 s c =============================================================================== c | 0 | 1119 1419 148082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 711 c Elapsed CPU time: 5.97509 s Remaining CPU time: 174.025 s c =============================================================================== c | 0 | 1119 1420 148978 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 710 c Elapsed CPU time: 6.03308 s Remaining CPU time: 173.967 s c =============================================================================== c | 0 | 1119 1421 149874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 709 c Elapsed CPU time: 6.09307 s Remaining CPU time: 173.907 s c =============================================================================== c | 0 | 1119 1422 150770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 708 c Elapsed CPU time: 6.15306 s Remaining CPU time: 173.847 s c =============================================================================== c | 0 | 1119 1423 151666 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 707 c Elapsed CPU time: 6.21206 s Remaining CPU time: 173.788 s c =============================================================================== c | 0 | 1119 1424 152562 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 706 c Elapsed CPU time: 6.26905 s Remaining CPU time: 173.731 s c =============================================================================== c | 0 | 1119 1425 153458 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 705 c Elapsed CPU time: 6.32804 s Remaining CPU time: 173.672 s c =============================================================================== c | 0 | 1119 1426 154354 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 704 c Elapsed CPU time: 6.38403 s Remaining CPU time: 173.616 s c =============================================================================== c | 0 | 1119 1427 155250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 703 c Elapsed CPU time: 6.44102 s Remaining CPU time: 173.559 s c =============================================================================== c | 0 | 1119 1428 156146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 702 c Elapsed CPU time: 6.49701 s Remaining CPU time: 173.503 s c =============================================================================== c | 0 | 1119 1429 157042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 701 c Elapsed CPU time: 6.554 s Remaining CPU time: 173.446 s c =============================================================================== c | 0 | 1119 1430 157938 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 700 c Elapsed CPU time: 6.61099 s Remaining CPU time: 173.389 s c =============================================================================== c | 0 | 1119 1431 158834 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 699 c Elapsed CPU time: 6.68298 s Remaining CPU time: 173.317 s c =============================================================================== c | 0 | 1119 1432 159730 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 698 c Elapsed CPU time: 6.75397 s Remaining CPU time: 173.246 s c =============================================================================== c | 0 | 1119 1433 160626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 697 c Elapsed CPU time: 6.82596 s Remaining CPU time: 173.174 s c =============================================================================== c | 0 | 1119 1434 161522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 696 c Elapsed CPU time: 6.89595 s Remaining CPU time: 173.104 s c =============================================================================== c | 0 | 1119 1435 162418 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 695 c Elapsed CPU time: 6.96594 s Remaining CPU time: 173.034 s c =============================================================================== c | 0 | 1119 1436 163314 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 694 c Elapsed CPU time: 7.03493 s Remaining CPU time: 172.965 s c =============================================================================== c | 0 | 1119 1437 164210 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 693 c Elapsed CPU time: 7.10592 s Remaining CPU time: 172.894 s c =============================================================================== c | 0 | 1119 1438 165106 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 692 c Elapsed CPU time: 7.17691 s Remaining CPU time: 172.823 s c =============================================================================== c | 0 | 1119 1439 166002 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 691 c Elapsed CPU time: 7.2479 s Remaining CPU time: 172.752 s c =============================================================================== c | 0 | 1119 1440 166898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 690 c Elapsed CPU time: 7.31689 s Remaining CPU time: 172.683 s c =============================================================================== c | 0 | 1119 1441 167794 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 689 c Elapsed CPU time: 7.38688 s Remaining CPU time: 172.613 s c =============================================================================== c | 0 | 1119 1442 168690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 688 c Elapsed CPU time: 7.45587 s Remaining CPU time: 172.544 s c =============================================================================== c | 0 | 1119 1443 169586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 687 c Elapsed CPU time: 7.52386 s Remaining CPU time: 172.476 s c =============================================================================== c | 0 | 1119 1444 170482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 686 c Elapsed CPU time: 7.59284 s Remaining CPU time: 172.407 s c =============================================================================== c | 0 | 1119 1445 171378 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 685 c Elapsed CPU time: 7.66183 s Remaining CPU time: 172.338 s c =============================================================================== c | 0 | 1119 1446 172274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 684 c Elapsed CPU time: 7.72982 s Remaining CPU time: 172.27 s c =============================================================================== c | 0 | 1119 1447 173170 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 683 c Elapsed CPU time: 7.79781 s Remaining CPU time: 172.202 s c =============================================================================== c | 0 | 1119 1448 174066 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 682 c Elapsed CPU time: 7.8658 s Remaining CPU time: 172.134 s c =============================================================================== c | 0 | 1119 1449 174962 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 681 c Elapsed CPU time: 7.93179 s Remaining CPU time: 172.068 s c =============================================================================== c | 0 | 1119 1450 175858 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 680 c Elapsed CPU time: 7.99878 s Remaining CPU time: 172.001 s c =============================================================================== c | 0 | 1119 1451 176754 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 679 c Elapsed CPU time: 8.06477 s Remaining CPU time: 171.935 s c =============================================================================== c | 0 | 1119 1452 177650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 678 c Elapsed CPU time: 8.13076 s Remaining CPU time: 171.869 s c =============================================================================== c | 0 | 1119 1453 178546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 677 c Elapsed CPU time: 8.19575 s Remaining CPU time: 171.804 s c =============================================================================== c | 0 | 1119 1454 179442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 676 c Elapsed CPU time: 8.25974 s Remaining CPU time: 171.74 s c =============================================================================== c | 0 | 1119 1455 180338 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 675 c Elapsed CPU time: 8.32273 s Remaining CPU time: 171.677 s c =============================================================================== c | 0 | 1119 1456 181234 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 674 c Elapsed CPU time: 8.38472 s Remaining CPU time: 171.615 s c =============================================================================== c | 0 | 1119 1457 182130 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 673 c Elapsed CPU time: 8.44772 s Remaining CPU time: 171.552 s c =============================================================================== c | 1 | 1119 1458 183026 | 5000 1 674 | 0.000 % | c =============================================================================== c New solution: 672 c Elapsed CPU time: 8.50071 s Remaining CPU time: 171.499 s c =============================================================================== c | 1 | 1119 1459 183922 | 5000 1 674 | 0.000 % | c =============================================================================== c New solution: 671 c Elapsed CPU time: 8.5527 s Remaining CPU time: 171.447 s c =============================================================================== c | 1 | 1119 1460 184818 | 5000 1 674 | 0.000 % | c =============================================================================== c New solution: 670 c Elapsed CPU time: 8.60569 s Remaining CPU time: 171.394 s c =============================================================================== c | 1 | 1119 1461 185714 | 5000 1 674 | 0.000 % | c =============================================================================== c New solution: 669 c Elapsed CPU time: 8.66168 s Remaining CPU time: 171.338 s c =============================================================================== c | 1 | 1119 1462 186610 | 5000 1 674 | 0.000 % | c =============================================================================== c New solution: 668 c Elapsed CPU time: 8.71667 s Remaining CPU time: 171.283 s c =============================================================================== c | 1 | 1119 1463 187506 | 5000 1 674 | 0.000 % | c =============================================================================== c New solution: 667 c Elapsed CPU time: 8.77567 s Remaining CPU time: 171.224 s c =============================================================================== c | 1 | 1119 1464 188402 | 5000 1 674 | 0.000 % | c =============================================================================== c New solution: 666 c Elapsed CPU time: 8.83266 s Remaining CPU time: 171.167 s c =============================================================================== c | 1 | 1119 1465 189298 | 5000 1 674 | 0.000 % | c =============================================================================== c New solution: 665 c Elapsed CPU time: 8.88865 s Remaining CPU time: 171.111 s c =============================================================================== c | 1 | 1119 1466 190194 | 5000 1 674 | 0.000 % | c =============================================================================== c New solution: 664 c Elapsed CPU time: 8.94564 s Remaining CPU time: 171.054 s c =============================================================================== c | 2 | 1119 1467 191090 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 663 c Elapsed CPU time: 9.00463 s Remaining CPU time: 170.995 s c =============================================================================== c | 2 | 1119 1468 191986 | 5000 2 672 | 0.000 % | c =============================================================================== c New solution: 662 c Elapsed CPU time: 9.06262 s Remaining CPU time: 170.937 s c =============================================================================== c | 3 | 1119 1469 192882 | 5000 3 449 | 0.000 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 9.12261 s Remaining CPU time: 170.877 s c =============================================================================== c | 3 | 1119 1470 193778 | 5000 3 449 | 0.000 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 9.1796 s Remaining CPU time: 170.82 s c =============================================================================== c | 4 | 1119 1471 194674 | 5000 4 340 | 0.000 % | c =============================================================================== c New solution: 659 c Elapsed CPU time: 9.23659 s Remaining CPU time: 170.763 s c =============================================================================== c | 4 | 1119 1472 195570 | 5000 4 340 | 0.000 % | c =============================================================================== c New solution: 658 c Elapsed CPU time: 9.29459 s Remaining CPU time: 170.705 s c =============================================================================== c | 4 | 1119 1473 196466 | 5000 4 340 | 0.000 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 9.35558 s Remaining CPU time: 170.644 s c =============================================================================== c | 4 | 1119 1474 197362 | 5000 4 340 | 0.000 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 9.41257 s Remaining CPU time: 170.587 s c =============================================================================== c | 4 | 1119 1475 198258 | 5000 4 340 | 0.000 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 9.47256 s Remaining CPU time: 170.527 s c =============================================================================== c | 4 | 1119 1476 199154 | 5000 4 340 | 0.000 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 9.53355 s Remaining CPU time: 170.466 s c =============================================================================== c | 5 | 1119 1477 200050 | 5000 5 273 | 0.000 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 9.59454 s Remaining CPU time: 170.405 s c =============================================================================== c | 5 | 1119 1478 200946 | 5000 5 273 | 0.000 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 9.65453 s Remaining CPU time: 170.345 s c =============================================================================== c | 6 | 1119 1479 201842 | 5000 6 228 | 0.000 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 9.71552 s Remaining CPU time: 170.284 s c =============================================================================== c | 6 | 1119 1480 202738 | 5000 6 228 | 0.000 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 9.77651 s Remaining CPU time: 170.223 s c =============================================================================== c | 8 | 1119 1481 203634 | 5000 8 172 | 0.000 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 9.8395 s Remaining CPU time: 170.16 s c =============================================================================== c | 10 | 1119 1482 204530 | 5000 10 204 | 0.000 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 9.90249 s Remaining CPU time: 170.098 s c =============================================================================== c | 10 | 1119 1483 205426 | 5000 10 204 | 0.000 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 9.96648 s Remaining CPU time: 170.034 s c =============================================================================== c | 10 | 1119 1484 206322 | 5000 10 204 | 0.000 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 10.0295 s Remaining CPU time: 169.971 s c =============================================================================== c | 10 | 1119 1485 207218 | 5000 10 204 | 0.000 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 10.0935 s Remaining CPU time: 169.907 s c =============================================================================== c | 10 | 1119 1486 208114 | 5000 10 204 | 0.000 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 10.1585 s Remaining CPU time: 169.842 s c =============================================================================== c | 10 | 1119 1487 209010 | 5000 10 204 | 0.000 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 10.2234 s Remaining CPU time: 169.777 s c =============================================================================== c | 10 | 1119 1488 209906 | 5000 10 204 | 0.000 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 10.2874 s Remaining CPU time: 169.713 s c =============================================================================== c | 10 | 1119 1489 210802 | 5000 10 204 | 0.000 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 10.3544 s Remaining CPU time: 169.646 s c =============================================================================== c | 11 | 1119 1490 211698 | 5000 11 186 | 0.000 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 10.4204 s Remaining CPU time: 169.58 s c =============================================================================== c | 12 | 1119 1491 212594 | 5000 12 171 | 0.000 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 10.4864 s Remaining CPU time: 169.514 s c =============================================================================== c | 12 | 1119 1492 213490 | 5000 12 171 | 0.000 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 10.5534 s Remaining CPU time: 169.447 s c =============================================================================== c | 12 | 1119 1493 214386 | 5000 12 171 | 0.000 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 10.6184 s Remaining CPU time: 169.382 s c =============================================================================== c | 12 | 1119 1494 215282 | 5000 12 171 | 0.000 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 10.6854 s Remaining CPU time: 169.315 s c =============================================================================== c | 13 | 1119 1495 216178 | 5000 13 158 | 0.000 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 10.7534 s Remaining CPU time: 169.247 s c =============================================================================== c | 13 | 1119 1496 217074 | 5000 13 158 | 0.000 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 10.8204 s Remaining CPU time: 169.18 s c =============================================================================== c | 13 | 1119 1497 217970 | 5000 13 158 | 0.000 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 10.8893 s Remaining CPU time: 169.111 s c =============================================================================== c | 15 | 1119 1498 218866 | 5000 15 222 | 0.000 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 10.9583 s Remaining CPU time: 169.042 s c =============================================================================== c | 16 | 1119 1499 219762 | 5000 16 248 | 0.000 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 11.0283 s Remaining CPU time: 168.972 s c =============================================================================== c | 16 | 1119 1500 220658 | 5000 16 248 | 0.000 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 11.0973 s Remaining CPU time: 168.903 s c =============================================================================== c | 17 | 1119 1501 221554 | 5000 17 234 | 0.000 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 11.1653 s Remaining CPU time: 168.835 s c =============================================================================== c | 17 | 1119 1502 222450 | 5000 17 234 | 0.000 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 11.2333 s Remaining CPU time: 168.767 s c =============================================================================== c | 18 | 1119 1503 223346 | 5000 18 221 | 0.000 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 11.3023 s Remaining CPU time: 168.698 s c =============================================================================== c | 18 | 1119 1504 224242 | 5000 18 221 | 0.000 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 11.3753 s Remaining CPU time: 168.625 s c =============================================================================== c | 18 | 1119 1505 225138 | 5000 18 221 | 0.000 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 11.4453 s Remaining CPU time: 168.555 s c =============================================================================== c | 18 | 1119 1506 226034 | 5000 18 221 | 0.000 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 11.5142 s Remaining CPU time: 168.486 s c =============================================================================== c | 18 | 1119 1507 226930 | 5000 18 221 | 0.000 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 11.5842 s Remaining CPU time: 168.416 s c =============================================================================== c | 18 | 1119 1508 227826 | 5000 18 221 | 0.000 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 11.6562 s Remaining CPU time: 168.344 s c =============================================================================== c | 19 | 1119 1509 228722 | 5000 19 242 | 0.000 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 11.7272 s Remaining CPU time: 168.273 s c =============================================================================== c | 21 | 1119 1510 229618 | 5000 21 220 | 0.000 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 11.7972 s Remaining CPU time: 168.203 s c =============================================================================== c | 21 | 1119 1511 230514 | 5000 21 220 | 0.000 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 11.8682 s Remaining CPU time: 168.132 s c =============================================================================== c | 21 | 1119 1512 231410 | 5000 21 220 | 0.000 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 11.9392 s Remaining CPU time: 168.061 s c =============================================================================== c | 21 | 1119 1513 232306 | 5000 21 220 | 0.000 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 12.0122 s Remaining CPU time: 167.988 s c =============================================================================== c | 21 | 1119 1514 233202 | 5000 21 220 | 0.000 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 12.0842 s Remaining CPU time: 167.916 s c =============================================================================== c | 21 | 1119 1515 234098 | 5000 21 220 | 0.000 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 12.1562 s Remaining CPU time: 167.844 s c =============================================================================== c | 21 | 1119 1516 234994 | 5000 21 220 | 0.000 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 12.2301 s Remaining CPU time: 167.77 s c =============================================================================== c | 22 | 1119 1517 235890 | 5000 22 211 | 0.000 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 12.3011 s Remaining CPU time: 167.699 s c =============================================================================== c | 23 | 1119 1518 236786 | 5000 23 202 | 0.000 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 12.3741 s Remaining CPU time: 167.626 s c =============================================================================== c | 23 | 1119 1519 237682 | 5000 23 202 | 0.000 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 12.4481 s Remaining CPU time: 167.552 s c =============================================================================== c | 24 | 1119 1520 238578 | 5000 24 219 | 0.000 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 12.5211 s Remaining CPU time: 167.479 s c =============================================================================== c | 24 | 1119 1521 239474 | 5000 24 219 | 0.000 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 12.5941 s Remaining CPU time: 167.406 s c =============================================================================== c | 24 | 1119 1522 240370 | 5000 24 219 | 0.000 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 12.6671 s Remaining CPU time: 167.333 s c =============================================================================== c | 24 | 1119 1523 241266 | 5000 24 219 | 0.000 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 12.7421 s Remaining CPU time: 167.258 s c =============================================================================== c | 24 | 1119 1524 242162 | 5000 24 219 | 0.000 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 12.8161 s Remaining CPU time: 167.184 s c =============================================================================== c | 24 | 1119 1525 243058 | 5000 24 219 | 0.000 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 12.89 s Remaining CPU time: 167.11 s c =============================================================================== c | 24 | 1119 1526 243954 | 5000 24 219 | 0.000 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 12.964 s Remaining CPU time: 167.036 s c =============================================================================== c | 24 | 1119 1527 244850 | 5000 24 219 | 0.000 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 13.04 s Remaining CPU time: 166.96 s c =============================================================================== c | 25 | 1119 1528 245746 | 5000 25 235 | 0.000 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 13.114 s Remaining CPU time: 166.886 s c =============================================================================== c | 25 | 1119 1529 246642 | 5000 25 235 | 0.000 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 13.191 s Remaining CPU time: 166.809 s c =============================================================================== c | 25 | 1119 1530 247538 | 5000 25 235 | 0.000 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 13.267 s Remaining CPU time: 166.733 s c =============================================================================== c | 25 | 1119 1531 248434 | 5000 25 235 | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 13.343 s Remaining CPU time: 166.657 s c =============================================================================== c | 26 | 1119 1532 249330 | 5000 26 226 | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 13.42 s Remaining CPU time: 166.58 s c =============================================================================== c | 27 | 1119 1533 250226 | 5000 27 240 | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 13.4949 s Remaining CPU time: 166.505 s c =============================================================================== c | 27 | 1119 1534 251122 | 5000 27 240 | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 13.5699 s Remaining CPU time: 166.43 s c =============================================================================== c | 27 | 1119 1535 252018 | 5000 27 240 | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 13.6469 s Remaining CPU time: 166.353 s c =============================================================================== c | 27 | 1119 1536 252914 | 5000 27 240 | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 13.7249 s Remaining CPU time: 166.275 s c =============================================================================== c | 27 | 1119 1537 253810 | 5000 27 240 | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 13.8029 s Remaining CPU time: 166.197 s c =============================================================================== c | 28 | 1119 1538 254706 | 5000 28 231 | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 13.8809 s Remaining CPU time: 166.119 s c =============================================================================== c | 29 | 1119 1539 255602 | 5000 29 224 | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 13.9579 s Remaining CPU time: 166.042 s c =============================================================================== c | 29 | 1119 1540 256498 | 5000 29 224 | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 14.0369 s Remaining CPU time: 165.963 s c =============================================================================== c | 29 | 1119 1541 257394 | 5000 29 224 | 0.000 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 14.1219 s Remaining CPU time: 165.878 s c =============================================================================== c | 40 | 1119 1542 258290 | 5000 40 325 | 0.000 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 14.2078 s Remaining CPU time: 165.792 s c =============================================================================== c | 51 | 1119 1543 259186 | 5000 51 383 | 0.000 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 14.2908 s Remaining CPU time: 165.709 s c =============================================================================== c | 56 | 1119 1544 260082 | 5000 56 401 | 0.000 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 14.4378 s Remaining CPU time: 165.562 s c =============================================================================== c | 155 | 1119 1545 260978 | 5000 155 518 | 0.000 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 14.5828 s Remaining CPU time: 165.417 s c =============================================================================== c | 230 | 1119 1546 261874 | 5000 230 541 | 0.000 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 14.6988 s Remaining CPU time: 165.301 s c =============================================================================== c | 286 | 1119 1547 262770 | 5000 286 550 | 0.000 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 14.8027 s Remaining CPU time: 165.197 s c =============================================================================== c | 304 | 1119 1548 263666 | 5000 304 550 | 0.000 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 14.9507 s Remaining CPU time: 165.049 s c =============================================================================== c | 372 | 1119 1549 264562 | 5000 372 557 | 0.000 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 15.0287 s Remaining CPU time: 164.971 s c =============================================================================== c | 375 | 1119 1550 265458 | 5000 375 556 | 0.000 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 15.1137 s Remaining CPU time: 164.886 s c =============================================================================== c | 381 | 1119 1551 266354 | 5000 381 556 | 0.000 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 15.2087 s Remaining CPU time: 164.791 s c =============================================================================== c | 404 | 1119 1552 267250 | 5000 404 558 | 0.000 % | c | 505 | 1119 1552 267250 | 5500 505 563 | 2.442 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 15.4507 s Remaining CPU time: 164.549 s c =============================================================================== c | 527 | 1119 1553 268146 | 5000 527 564 | 2.442 % | c | 627 | 1119 1553 268146 | 5500 627 566 | 2.442 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 15.6846 s Remaining CPU time: 164.315 s c =============================================================================== c | 631 | 1119 1554 269042 | 5000 631 567 | 2.442 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 15.7876 s Remaining CPU time: 164.212 s c =============================================================================== c | 662 | 1119 1555 269938 | 5000 662 566 | 2.442 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 15.9066 s Remaining CPU time: 164.093 s c =============================================================================== c | 700 | 1119 1556 270834 | 5000 700 565 | 2.442 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 16.0686 s Remaining CPU time: 163.931 s c =============================================================================== c | 794 | 1119 1557 271730 | 5000 794 566 | 2.442 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 16.1635 s Remaining CPU time: 163.836 s c =============================================================================== c | 807 | 1119 1558 272626 | 5000 807 566 | 2.442 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 16.2745 s Remaining CPU time: 163.725 s c =============================================================================== c | 849 | 1119 1559 273522 | 5000 849 565 | 2.442 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 16.3605 s Remaining CPU time: 163.639 s c =============================================================================== c | 853 | 1119 1560 274418 | 5000 853 565 | 2.442 % | c | 953 | 1119 1560 274418 | 5500 953 566 | 2.442 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 16.6495 s Remaining CPU time: 163.351 s c =============================================================================== c | 996 | 1119 1561 275314 | 5000 996 566 | 2.442 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 16.7804 s Remaining CPU time: 163.22 s c =============================================================================== c | 1060 | 1119 1562 276210 | 5000 1060 566 | 2.442 % | c | 1160 | 1119 1562 276210 | 5500 1160 567 | 2.442 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 17.1404 s Remaining CPU time: 162.86 s c =============================================================================== c | 1284 | 1119 1563 277106 | 5000 1284 567 | 2.442 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 17.2624 s Remaining CPU time: 162.738 s c =============================================================================== c | 1318 | 1119 1564 278002 | 5000 1318 568 | 2.442 % | c | 1418 | 1119 1564 278002 | 5500 1418 568 | 2.442 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 17.6783 s Remaining CPU time: 162.322 s c =============================================================================== c | 1547 | 1119 1565 278898 | 5000 1547 568 | 2.442 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 17.8603 s Remaining CPU time: 162.14 s c =============================================================================== c | 1635 | 1119 1566 279794 | 5000 1635 568 | 2.442 % | c | 1735 | 1119 1566 279794 | 5500 1735 568 | 2.441 % | c | 1885 | 1119 1566 279794 | 6050 1885 568 | 2.441 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 18.5322 s Remaining CPU time: 161.468 s c =============================================================================== c | 2023 | 1119 1567 280690 | 5000 2023 568 | 2.441 % | c | 2124 | 1119 1567 280690 | 5500 2124 568 | 2.441 % | c | 2274 | 1119 1567 280690 | 6050 2274 568 | 2.441 % | c | 2501 | 1119 1567 280690 | 6655 2501 568 | 2.441 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 19.3921 s Remaining CPU time: 160.608 s c =============================================================================== c | 2527 | 1119 1568 281586 | 5000 2527 568 | 2.441 % | c | 2629 | 1119 1568 281586 | 5500 2629 568 | 2.441 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 19.781 s Remaining CPU time: 160.219 s c =============================================================================== c | 2745 | 1119 1569 282482 | 5000 2745 568 | 2.441 % | c | 2846 | 1119 1569 282482 | 5500 2846 568 | 2.441 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 20.2069 s Remaining CPU time: 159.793 s c =============================================================================== c | 2956 | 1119 1570 283378 | 5000 2956 568 | 2.441 % | c | 3056 | 1119 1570 283378 | 5500 3056 568 | 2.441 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 20.4659 s Remaining CPU time: 159.534 s c =============================================================================== c | 3076 | 1119 1571 284274 | 5000 3076 568 | 2.441 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 20.5489 s Remaining CPU time: 159.451 s c =============================================================================== c | 3079 | 1119 1572 285170 | 5000 3079 567 | 2.441 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 20.6619 s Remaining CPU time: 159.338 s c =============================================================================== c | 3105 | 1119 1573 286066 | 5000 3105 567 | 2.441 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 20.7748 s Remaining CPU time: 159.225 s c =============================================================================== c | 3132 | 1119 1574 286962 | 5000 3132 567 | 2.441 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 20.8628 s Remaining CPU time: 159.137 s c =============================================================================== c | 3142 | 1119 1575 287858 | 5000 3142 567 | 2.441 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 20.9468 s Remaining CPU time: 159.053 s c =============================================================================== c | 3145 | 1119 1576 288754 | 5000 3145 567 | 2.441 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 21.0288 s Remaining CPU time: 158.971 s c =============================================================================== c | 3151 | 1119 1577 289650 | 5000 3151 567 | 2.441 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 21.1128 s Remaining CPU time: 158.887 s c =============================================================================== c | 3155 | 1119 1578 290546 | 5000 3155 567 | 2.441 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 21.2208 s Remaining CPU time: 158.779 s c =============================================================================== c | 3177 | 1119 1579 291442 | 5000 3177 567 | 2.441 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 21.3288 s Remaining CPU time: 158.671 s c =============================================================================== c | 3219 | 1119 1580 292338 | 5000 3219 567 | 2.441 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 21.4127 s Remaining CPU time: 158.587 s c =============================================================================== c | 3223 | 1119 1581 293234 | 5000 3223 567 | 2.441 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 21.5137 s Remaining CPU time: 158.486 s c =============================================================================== c | 3241 | 1119 1582 294130 | 5000 3241 567 | 2.441 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 21.5957 s Remaining CPU time: 158.404 s c =============================================================================== c | 3241 | 1119 1583 295026 | 5000 3241 567 | 2.441 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 21.6797 s Remaining CPU time: 158.32 s c =============================================================================== c | 3245 | 1119 1584 295922 | 5000 3245 567 | 2.441 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 21.7677 s Remaining CPU time: 158.232 s c =============================================================================== c | 3250 | 1119 1585 296818 | 5000 3250 567 | 2.441 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 21.8507 s Remaining CPU time: 158.149 s c =============================================================================== c | 3253 | 1119 1586 297714 | 5000 3253 567 | 2.441 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 21.9357 s Remaining CPU time: 158.064 s c =============================================================================== c | 3255 | 1119 1587 298610 | 5000 3255 567 | 2.441 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 22.0476 s Remaining CPU time: 157.952 s c =============================================================================== c | 3281 | 1119 1588 299506 | 5000 3281 566 | 2.441 % | c | 3381 | 1119 1588 299506 | 5500 3381 566 | 2.441 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 22.3026 s Remaining CPU time: 157.697 s c =============================================================================== c | 3386 | 1119 1589 300402 | 5000 3386 566 | 2.441 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 22.3916 s Remaining CPU time: 157.608 s c =============================================================================== c | 3392 | 1119 1590 301298 | 5000 3392 566 | 2.441 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 22.4956 s Remaining CPU time: 157.504 s c =============================================================================== c | 3420 | 1119 1591 302194 | 5000 3420 566 | 2.441 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 22.5806 s Remaining CPU time: 157.419 s c =============================================================================== c | 3422 | 1119 1592 303090 | 5000 3422 566 | 2.441 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 22.6915 s Remaining CPU time: 157.308 s c =============================================================================== c | 3451 | 1119 1593 303986 | 5000 3451 565 | 2.441 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 22.8155 s Remaining CPU time: 157.184 s c =============================================================================== c | 3501 | 1119 1594 304882 | 5000 3501 565 | 2.441 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 22.9055 s Remaining CPU time: 157.094 s c =============================================================================== c | 3508 | 1119 1595 305778 | 5000 3508 565 | 2.441 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 23.0135 s Remaining CPU time: 156.986 s c =============================================================================== c | 3544 | 1119 1596 306674 | 5000 3544 565 | 2.441 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 23.1555 s Remaining CPU time: 156.845 s c =============================================================================== c | 3615 | 1119 1597 307570 | 5000 3615 564 | 2.441 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 23.2425 s Remaining CPU time: 156.758 s c =============================================================================== c | 3622 | 1119 1598 308466 | 5000 3622 564 | 2.441 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 23.3415 s Remaining CPU time: 156.659 s c =============================================================================== c | 3642 | 1119 1599 309362 | 5000 3642 564 | 2.441 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 23.4314 s Remaining CPU time: 156.569 s c =============================================================================== c | 3645 | 1119 1600 310258 | 5000 3645 564 | 2.441 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 23.5804 s Remaining CPU time: 156.42 s c =============================================================================== c | 3700 | 1119 1601 311154 | 5000 3700 563 | 2.441 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 23.6694 s Remaining CPU time: 156.331 s c =============================================================================== c | 3704 | 1119 1602 312050 | 5000 3704 563 | 2.441 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 23.7784 s Remaining CPU time: 156.222 s c =============================================================================== c | 3724 | 1119 1603 312946 | 5000 3724 563 | 2.441 % | c | 3825 | 1119 1603 312946 | 5500 3825 562 | 2.441 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 24.0853 s Remaining CPU time: 155.915 s c =============================================================================== c | 3853 | 1119 1604 313842 | 5000 3853 562 | 2.441 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 24.1753 s Remaining CPU time: 155.825 s c =============================================================================== c | 3858 | 1119 1605 314738 | 5000 3858 562 | 2.441 % | c | 3959 | 1119 1605 314738 | 5500 3959 561 | 2.441 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 24.5573 s Remaining CPU time: 155.443 s c =============================================================================== c | 4100 | 1119 1606 315634 | 5000 4100 560 | 2.441 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 24.6463 s Remaining CPU time: 155.354 s c =============================================================================== c | 4103 | 1119 1607 316530 | 5000 4103 560 | 2.441 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 24.7362 s Remaining CPU time: 155.264 s c =============================================================================== c | 4107 | 1119 1608 317426 | 5000 4107 560 | 2.441 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 24.8552 s Remaining CPU time: 155.145 s c =============================================================================== c | 4138 | 1119 1609 318322 | 5000 4138 559 | 2.441 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 24.9872 s Remaining CPU time: 155.013 s c =============================================================================== c | 4201 | 1119 1610 319218 | 5000 4201 559 | 2.441 % | c | 4301 | 1119 1610 319218 | 5500 4301 558 | 2.441 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 25.3102 s Remaining CPU time: 154.69 s c =============================================================================== c | 4350 | 1119 1611 320114 | 5000 4350 557 | 2.441 % | c | 4450 | 1119 1611 320114 | 5500 4450 557 | 2.442 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 25.7321 s Remaining CPU time: 154.268 s c =============================================================================== c | 4589 | 1119 1612 321010 | 5000 4589 556 | 2.442 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 25.8971 s Remaining CPU time: 154.103 s c =============================================================================== c | 4669 | 1119 1613 321906 | 5000 4669 555 | 2.442 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 25.998 s Remaining CPU time: 154.002 s c =============================================================================== c | 4690 | 1119 1614 322802 | 5000 4690 555 | 2.442 % | c | 4790 | 1119 1614 322802 | 5500 4790 554 | 2.442 % | c | 4940 | 1119 1614 322802 | 6050 4940 553 | 2.442 % | c | 5165 | 1119 1614 322802 | 6655 5165 552 | 2.442 % | c | 5502 | 1119 1614 322802 | 7320 5502 550 | 2.442 % | c | 6008 | 1119 1614 322802 | 8052 6008 547 | 2.441 % | c | 6769 | 1119 1614 322802 | 8857 6769 544 | 2.441 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 30.6183 s Remaining CPU time: 149.382 s c =============================================================================== c | 7592 | 1119 1615 323698 | 5000 7592 542 | 2.441 % | c | 7692 | 1119 1615 323698 | 5500 3896 520 | 2.441 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 31.0103 s Remaining CPU time: 148.99 s c =============================================================================== c | 7790 | 1119 1616 324594 | 5000 3994 520 | 2.441 % | c | 7891 | 1119 1616 324594 | 5500 4095 520 | 2.441 % | c | 8043 | 1119 1616 324594 | 6050 4247 520 | 2.441 % | c | 8268 | 1119 1616 324594 | 6655 4472 520 | 2.441 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 32.2161 s Remaining CPU time: 147.784 s c =============================================================================== c | 8503 | 1119 1617 325490 | 5000 4707 520 | 2.441 % | c | 8605 | 1119 1617 325490 | 5500 4809 520 | 2.441 % | c | 8755 | 1119 1617 325490 | 6050 4959 520 | 2.441 % | c | 8981 | 1119 1617 325490 | 6655 5185 520 | 2.441 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 33.4419 s Remaining CPU time: 146.558 s c =============================================================================== c | 9206 | 1119 1618 326386 | 5000 5410 520 | 2.441 % | c | 9306 | 1119 1618 326386 | 5500 2805 517 | 2.441 % | c | 9456 | 1119 1618 326386 | 6050 2955 518 | 2.441 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 34.0478 s Remaining CPU time: 145.952 s c =============================================================================== c | 9480 | 1119 1619 327282 | 5000 2979 518 | 2.441 % | c | 9582 | 1119 1619 327282 | 5500 3081 517 | 2.441 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 34.3808 s Remaining CPU time: 145.619 s c =============================================================================== c | 9603 | 1119 1620 328178 | 5000 3102 517 | 2.441 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 34.4838 s Remaining CPU time: 145.516 s c =============================================================================== c | 9620 | 1119 1621 329074 | 5000 3119 517 | 2.441 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 34.6137 s Remaining CPU time: 145.386 s c =============================================================================== c | 9659 | 1119 1622 329970 | 5000 3158 517 | 2.441 % | c | 9759 | 1119 1622 329970 | 5500 3258 517 | 2.441 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 35.0337 s Remaining CPU time: 144.966 s c =============================================================================== c | 9856 | 1119 1623 330866 | 5000 3355 517 | 2.441 % | c | 9959 | 1119 1623 330866 | 5500 3458 517 | 2.441 % | c | 10109 | 1119 1623 330866 | 6050 3608 517 | 2.441 % | c | 10334 | 1119 1623 330866 | 6655 3833 517 | 2.441 % | c | 10671 | 1119 1623 330866 | 7320 4170 516 | 2.441 % | c | 11177 | 1119 1623 330866 | 8052 4676 516 | 2.441 % | c | 11937 | 1119 1623 330866 | 8857 5436 515 | 2.441 % | c | 13076 | 1119 1623 330866 | 9743 6575 515 | 2.441 % | c | 14784 | 1119 1623 330866 | 10717 8283 515 | 2.441 % | c | 17346 | 1119 1623 330866 | 11789 10845 514 | 2.441 % | c | 21190 | 1119 1623 330866 | 12968 8500 513 | 2.441 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 56.2075 s Remaining CPU time: 123.793 s c =============================================================================== c | 24832 | 1119 1624 331762 | 5000 12142 513 | 2.441 % | c | 24932 | 1119 1624 331762 | 5500 3136 511 | 2.441 % | c | 25083 | 1119 1624 331762 | 6050 3287 511 | 2.441 % | c | 25308 | 1119 1624 331762 | 6655 3512 511 | 2.441 % | c | 25645 | 1119 1624 331762 | 7320 3849 511 | 2.441 % | c | 26152 | 1119 1624 331762 | 8052 4356 511 | 2.441 % | c | 26911 | 1119 1624 331762 | 8857 5115 511 | 2.441 % | c | 28050 | 1119 1624 331762 | 9743 6254 511 | 2.441 % | c | 29758 | 1119 1624 331762 | 10717 7962 512 | 2.441 % | c | 32320 | 1119 1624 331762 | 11789 10524 511 | 2.441 % | c | 36165 | 1119 1624 331762 | 12968 8184 511 | 2.441 % | c | 41931 | 1119 1624 331762 | 14265 7171 510 | 2.441 % | c | 50581 | 1119 1624 331762 | 15692 8390 511 | 2.441 % | c | 63555 | 1119 1624 331762 | 17261 13223 511 | 2.441 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 143.22 s Remaining CPU time: 36.7798 s c =============================================================================== c | 82223 | 1119 1625 332658 | 5000 14039 511 | 2.441 % | c | 82323 | 1119 1625 332658 | 5500 3610 508 | 2.441 % | c | 82474 | 1119 1625 332658 | 6050 3761 508 | 2.441 % | c | 82700 | 1119 1625 332658 | 6655 3987 508 | 2.441 % | c | 83037 | 1119 1625 332658 | 7320 4324 508 | 2.441 % | c | 83543 | 1119 1625 332658 | 8052 4830 509 | 2.441 % | c | 84304 | 1119 1625 332658 | 8857 5591 509 | 2.441 % | c | 85443 | 1119 1625 332658 | 9743 6730 509 | 2.441 % | c | 87151 | 1119 1625 332658 | 10717 8438 509 | 2.441 % | c | 89713 | 1119 1625 332658 | 11789 11000 510 | 2.441 % | c | 93559 | 1119 1625 332658 | 12968 8671 509 | 2.441 % | c | 99325 | 1119 1625 332658 | 14265 7662 509 | 2.441 % | 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 | 400 2515 4880 | 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 | 462 2516 5030 | 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 | 532 2518 5176 | 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 | 616 2521 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 | 779 2526 5644 | 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 | 917 2527 5858 | 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 | 1081 2529 6126 | 5000 0 nan | 0.000 % | c | 101 | 1081 2529 6126 | 5500 101 37 | 33.477 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1377 2531 6615 | 5000 0 nan | 0.000 % | c | 100 | 1377 2531 6615 | 5500 100 29 | 24.132 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1570 2534 68748 | 5000 0 nan | 0.000 % | c | 103 | 1570 2534 68748 | 5500 103 31 | 18.442 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1893 2538 156218 | 5000 0 nan | 0.000 % | c | 101 | 1893 2538 156218 | 5500 101 42 | 11.994 % | c | 252 | 1893 2538 156218 | 6050 252 32 | 11.994 % | c | 477 | 1893 2538 156218 | 6655 477 26 | 11.994 % | c | 817 | 1893 2538 156218 | 7320 817 25 | 12.506 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2537 2553 273004 | 5000 0 nan | 0.000 % | c | 102 | 2537 2553 273004 | 5500 102 54 | 4.839 % | c | 253 | 2537 2553 273004 | 6050 253 37 | 4.839 % | c | 480 | 2537 2553 273004 | 6655 480 30 | 4.839 % | c | 817 | 2537 2553 273004 | 7320 817 24 | 4.839 % | c | 1329 | 2537 2553 273004 | 8052 1329 22 | 4.839 % | c | 2090 | 2537 2553 273004 | 8857 2090 20 | 4.839 % | c | 3229 | 2535 2553 273004 | 9743 2500 17 | 4.914 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3262 2580 338959 | 5000 0 nan | 0.000 % | c | 100 | 3262 2580 338959 | 5500 100 101 | 1.301 % | c | 250 | 3262 2580 338959 | 6050 250 51 | 1.301 % | c | 476 | 3262 2580 338959 | 6655 476 52 | 1.301 % | c | 814 | 3262 2580 338959 | 7320 814 39 | 1.301 % | c | 1325 | 3262 2580 338959 | 8052 1325 45 | 1.301 % | c | 2084 | 3262 2580 338959 | 8857 2084 49 | 1.301 % | c | 3223 | 3262 2580 338959 | 9743 3223 46 | 1.301 % | c | 4931 | 3262 2580 338959 | 10717 4931 41 | 1.301 % | c | 7493 | 3262 2580 338959 | 11789 7493 34 | 1.301 % | c | 11337 | 3262 2580 338959 | 12968 11337 30 | 1.301 % | c | 17103 | 3262 2580 338959 | 14265 10568 21 | 1.301 % | c | 25752 | 3262 2580 338959 | 15692 12038 20 | 1.301 % | c | 38727 | 3253 2580 338959 | 17261 9296 16 | 1.573 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4050 2610 340613 | 5000 0 nan | 0.000 % | c | 101 | 4050 2610 340613 | 5500 101 83 | 0.808 % | c | 252 | 4050 2610 340613 | 6050 252 53 | 0.808 % | c | 478 | 4050 2610 340613 | 6655 478 50 | 0.808 % | c | 815 | 4050 2610 340613 | 7320 815 46 | 0.808 % | c | 1323 | 4050 2610 340613 | 8052 1323 47 | 0.808 % | c | 2082 | 4050 2610 340613 | 8857 2082 46 | 0.808 % | c | 3221 | 4050 2610 340613 | 9743 3221 44 | 0.808 % | c | 4933 | 4050 2610 340613 | 10717 4933 42 | 0.808 % | c | 7495 | 4050 2610 340613 | 11789 7495 44 | 0.808 % | c | 11339 | 4050 2610 340613 | 12968 11339 44 | 0.808 % | c | 17106 | 4050 2610 340613 | 14265 10459 48 | 0.808 % | c | 25756 | 4050 2610 340613 | 15692 11905 43 | 0.808 % | c | 38731 | 4050 2610 340613 | 17261 9080 51 | 0.808 % | c | 58192 | 4050 2610 340613 | 18987 11019 51 | 0.808 % | c | 87387 | 4050 2610 340613 | 20886 11571 49 | 0.808 % | c | 131176 | 4050 2610 340613 | 22974 13226 63 | 0.808 % | c | 196862 | 4050 2610 340613 | 25272 20560 71 | 0.808 % | c | 295388 | 4050 2610 340613 | 27799 13626 62 | 0.808 % |