c wbo 1.4 beta - 20100610 c | Number of variables: 142 | c | Number of clauses: 955 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1029 | c | Number Clauses: 933 | 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 | 1029 933 3502 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1787312 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 1029 934 4411 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1783676 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 3 | 1029 935 5320 | 5000 3 894 | 0.000 % | c =============================================================================== c New solution: 1782086 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 25 | 1029 936 6229 | 5000 25 893 | 0.000 % | c =============================================================================== c New solution: 1781916 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 28 | 1029 937 7138 | 5000 28 893 | 0.000 % | c =============================================================================== c New solution: 1781577 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 32 | 1029 938 8047 | 5000 32 893 | 0.000 % | c | 133 | 1029 938 8047 | 5500 133 891 | 0.000 % | c =============================================================================== c New solution: 1781058 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 133 | 1029 939 8956 | 5000 133 891 | 0.000 % | c =============================================================================== c New solution: 1780011 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 133 | 1029 940 9865 | 5000 133 891 | 0.000 % | c =============================================================================== c New solution: 1779657 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 135 | 1029 941 10774 | 5000 135 891 | 0.000 % | c =============================================================================== c New solution: 1779166 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 135 | 1029 942 11683 | 5000 135 891 | 0.000 % | c =============================================================================== c New solution: 1779114 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 151 | 1029 943 12592 | 5000 151 891 | 0.000 % | c =============================================================================== c New solution: 1779104 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 173 | 1029 944 13501 | 5000 173 891 | 0.000 % | c =============================================================================== c New solution: 1778498 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 188 | 1029 945 14410 | 5000 188 891 | 0.000 % | c =============================================================================== c New solution: 1778152 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 278 | 1029 946 15319 | 5000 278 890 | 0.000 % | c =============================================================================== c New solution: 1776948 c Elapsed CPU time: 0.210967 s Remaining CPU time: 179.789 s c =============================================================================== c | 338 | 1029 947 16228 | 5000 338 890 | 0.000 % | c =============================================================================== c New solution: 1776566 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 338 | 1029 948 17137 | 5000 338 890 | 0.000 % | c =============================================================================== c New solution: 1775519 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s c =============================================================================== c | 338 | 1029 949 18046 | 5000 338 890 | 0.000 % | c =============================================================================== c New solution: 1775376 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 343 | 1029 950 18955 | 5000 343 890 | 0.000 % | c =============================================================================== c New solution: 1775318 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 376 | 1029 951 19864 | 5000 376 890 | 0.000 % | c =============================================================================== c New solution: 1775258 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 406 | 1029 952 20773 | 5000 406 890 | 0.000 % | c =============================================================================== c New solution: 1775248 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 458 | 1029 953 21682 | 5000 458 890 | 0.000 % | c =============================================================================== c New solution: 1775188 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 504 | 1029 954 22591 | 5000 504 890 | 0.000 % | c =============================================================================== c New solution: 1775175 c Elapsed CPU time: 0.369943 s Remaining CPU time: 179.63 s c =============================================================================== c | 505 | 1029 955 23500 | 5000 505 890 | 0.000 % | c =============================================================================== c New solution: 1775115 c Elapsed CPU time: 0.384941 s Remaining CPU time: 179.615 s c =============================================================================== c | 515 | 1029 956 24409 | 5000 515 890 | 0.000 % | c =============================================================================== c New solution: 1775028 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s c =============================================================================== c | 564 | 1029 957 25318 | 5000 564 890 | 0.000 % | c =============================================================================== c New solution: 1774822 c Elapsed CPU time: 0.473927 s Remaining CPU time: 179.526 s c =============================================================================== c | 606 | 1029 958 26227 | 5000 606 890 | 0.000 % | c =============================================================================== c New solution: 1774668 c Elapsed CPU time: 0.491925 s Remaining CPU time: 179.508 s c =============================================================================== c | 615 | 1029 959 27136 | 5000 615 890 | 0.000 % | c =============================================================================== c New solution: 1774608 c Elapsed CPU time: 0.518921 s Remaining CPU time: 179.481 s c =============================================================================== c | 638 | 1029 960 28045 | 5000 638 890 | 0.000 % | c =============================================================================== c New solution: 1774596 c Elapsed CPU time: 0.542917 s Remaining CPU time: 179.457 s c =============================================================================== c | 660 | 1029 961 28954 | 5000 660 890 | 0.000 % | c =============================================================================== c New solution: 1774584 c Elapsed CPU time: 0.594909 s Remaining CPU time: 179.405 s c =============================================================================== c | 705 | 1029 962 29863 | 5000 705 890 | 0.000 % | c =============================================================================== c New solution: 1774543 c Elapsed CPU time: 0.642902 s Remaining CPU time: 179.357 s c =============================================================================== c | 742 | 1029 963 30772 | 5000 742 890 | 0.000 % | c =============================================================================== c New solution: 1774526 c Elapsed CPU time: 0.663899 s Remaining CPU time: 179.336 s c =============================================================================== c | 751 | 1029 964 31681 | 5000 751 890 | 0.000 % | c =============================================================================== c New solution: 1774524 c Elapsed CPU time: 0.700893 s Remaining CPU time: 179.299 s c =============================================================================== c | 772 | 1029 965 32590 | 5000 772 890 | 0.000 % | c =============================================================================== c New solution: 1774470 c Elapsed CPU time: 0.726889 s Remaining CPU time: 179.273 s c =============================================================================== c | 784 | 1029 966 33499 | 5000 784 890 | 0.000 % | c =============================================================================== c New solution: 1774412 c Elapsed CPU time: 0.753885 s Remaining CPU time: 179.246 s c =============================================================================== c | 794 | 1029 967 34408 | 5000 794 890 | 0.000 % | c =============================================================================== c New solution: 1774407 c Elapsed CPU time: 0.768883 s Remaining CPU time: 179.231 s c =============================================================================== c | 794 | 1029 968 35317 | 5000 794 890 | 0.000 % | c =============================================================================== c New solution: 1774342 c Elapsed CPU time: 0.795879 s Remaining CPU time: 179.204 s c =============================================================================== c | 803 | 1029 969 36226 | 5000 803 889 | 0.000 % | c =============================================================================== c New solution: 1774329 c Elapsed CPU time: 0.812876 s Remaining CPU time: 179.187 s c =============================================================================== c | 806 | 1029 970 37135 | 5000 806 889 | 0.000 % | c =============================================================================== c New solution: 1773781 c Elapsed CPU time: 0.893864 s Remaining CPU time: 179.106 s c =============================================================================== c | 888 | 1029 971 38044 | 5000 888 888 | 0.000 % | c =============================================================================== c New solution: 1773509 c Elapsed CPU time: 0.939857 s Remaining CPU time: 179.06 s c =============================================================================== c | 941 | 1029 972 38953 | 5000 941 888 | 0.000 % | c =============================================================================== c New solution: 1773457 c Elapsed CPU time: 0.966853 s Remaining CPU time: 179.033 s c =============================================================================== c | 961 | 1029 973 39862 | 5000 961 888 | 0.000 % | c =============================================================================== c New solution: 1773346 c Elapsed CPU time: 0.98085 s Remaining CPU time: 179.019 s c =============================================================================== c | 961 | 1029 974 40771 | 5000 961 888 | 0.000 % | c =============================================================================== c New solution: 1772915 c Elapsed CPU time: 0.993848 s Remaining CPU time: 179.006 s c =============================================================================== c | 964 | 1029 975 41680 | 5000 964 888 | 0.000 % | c =============================================================================== c New solution: 1772270 c Elapsed CPU time: 1.00785 s Remaining CPU time: 178.992 s c =============================================================================== c | 964 | 1029 976 42589 | 5000 964 888 | 0.000 % | c | 1064 | 1029 976 42589 | 5500 1064 888 | 0.000 % | c =============================================================================== c New solution: 1771840 c Elapsed CPU time: 1.10283 s Remaining CPU time: 178.897 s c =============================================================================== c | 1065 | 1029 977 43498 | 5000 1065 888 | 0.000 % | c =============================================================================== c New solution: 1771797 c Elapsed CPU time: 1.12083 s Remaining CPU time: 178.879 s c =============================================================================== c | 1065 | 1029 978 44407 | 5000 1065 888 | 0.000 % | c =============================================================================== c New solution: 1771435 c Elapsed CPU time: 1.13683 s Remaining CPU time: 178.863 s c =============================================================================== c | 1065 | 1029 979 45316 | 5000 1065 888 | 0.000 % | c =============================================================================== c New solution: 1771219 c Elapsed CPU time: 1.16082 s Remaining CPU time: 178.839 s c =============================================================================== c | 1077 | 1029 980 46225 | 5000 1077 888 | 0.000 % | c | 1177 | 1029 980 46225 | 5500 1177 888 | 0.000 % | c =============================================================================== c New solution: 1770850 c Elapsed CPU time: 1.3388 s Remaining CPU time: 178.661 s c =============================================================================== c | 1260 | 1029 981 47134 | 5000 1260 888 | 0.000 % | c =============================================================================== c New solution: 1770344 c Elapsed CPU time: 1.35579 s Remaining CPU time: 178.644 s c =============================================================================== c | 1260 | 1029 982 48043 | 5000 1260 888 | 0.000 % | c =============================================================================== c New solution: 1769882 c Elapsed CPU time: 1.39779 s Remaining CPU time: 178.602 s c =============================================================================== c | 1291 | 1029 983 48952 | 5000 1291 888 | 0.000 % | c =============================================================================== c New solution: 1769716 c Elapsed CPU time: 1.48177 s Remaining CPU time: 178.518 s c =============================================================================== c | 1366 | 1029 984 49861 | 5000 1366 888 | 0.000 % | c =============================================================================== c New solution: 1769462 c Elapsed CPU time: 1.52877 s Remaining CPU time: 178.471 s c =============================================================================== c | 1396 | 1029 985 50770 | 5000 1396 888 | 0.000 % | c =============================================================================== c New solution: 1769439 c Elapsed CPU time: 1.58676 s Remaining CPU time: 178.413 s c =============================================================================== c | 1440 | 1029 986 51679 | 5000 1440 888 | 0.000 % | c =============================================================================== c New solution: 1769367 c Elapsed CPU time: 1.62875 s Remaining CPU time: 178.371 s c =============================================================================== c | 1461 | 1029 987 52588 | 5000 1461 888 | 0.000 % | c =============================================================================== c New solution: 1769357 c Elapsed CPU time: 1.64975 s Remaining CPU time: 178.35 s c =============================================================================== c | 1463 | 1029 988 53497 | 5000 1463 888 | 0.000 % | c =============================================================================== c New solution: 1769297 c Elapsed CPU time: 1.68274 s Remaining CPU time: 178.317 s c =============================================================================== c | 1477 | 1029 989 54406 | 5000 1477 888 | 0.000 % | c =============================================================================== c New solution: 1769285 c Elapsed CPU time: 1.73673 s Remaining CPU time: 178.263 s c =============================================================================== c | 1515 | 1029 990 55315 | 5000 1515 888 | 0.000 % | c =============================================================================== c New solution: 1769280 c Elapsed CPU time: 1.76573 s Remaining CPU time: 178.234 s c =============================================================================== c | 1519 | 1029 991 56224 | 5000 1519 888 | 0.000 % | c =============================================================================== c New solution: 1769185 c Elapsed CPU time: 1.80273 s Remaining CPU time: 178.197 s c =============================================================================== c | 1531 | 1029 992 57133 | 5000 1531 888 | 0.000 % | c =============================================================================== c New solution: 1769019 c Elapsed CPU time: 1.85272 s Remaining CPU time: 178.147 s c =============================================================================== c | 1551 | 1029 993 58042 | 5000 1551 888 | 0.000 % | c =============================================================================== c New solution: 1768830 c Elapsed CPU time: 1.90671 s Remaining CPU time: 178.093 s c =============================================================================== c | 1585 | 1029 994 58951 | 5000 1585 888 | 0.000 % | c | 1688 | 1029 994 58951 | 5500 1688 888 | 0.000 % | c =============================================================================== c New solution: 1768748 c Elapsed CPU time: 2.19067 s Remaining CPU time: 177.809 s c =============================================================================== c | 1836 | 1029 995 59860 | 5000 1836 888 | 0.000 % | c =============================================================================== c New solution: 1768688 c Elapsed CPU time: 2.21866 s Remaining CPU time: 177.781 s c =============================================================================== c | 1837 | 1029 996 60769 | 5000 1837 888 | 0.000 % | c =============================================================================== c New solution: 1768551 c Elapsed CPU time: 2.32365 s Remaining CPU time: 177.676 s c =============================================================================== c | 1921 | 1029 997 61678 | 5000 1921 887 | 0.000 % | c =============================================================================== c New solution: 1768475 c Elapsed CPU time: 2.35564 s Remaining CPU time: 177.644 s c =============================================================================== c | 1930 | 1029 998 62587 | 5000 1930 887 | 0.000 % | c =============================================================================== c New solution: 1768215 c Elapsed CPU time: 2.38164 s Remaining CPU time: 177.618 s c =============================================================================== c | 1931 | 1029 999 63496 | 5000 1931 887 | 0.000 % | c | 2033 | 1029 999 63496 | 5500 2033 887 | 0.000 % | c =============================================================================== c New solution: 1768208 c Elapsed CPU time: 2.53361 s Remaining CPU time: 177.466 s c =============================================================================== c | 2033 | 1029 1000 64405 | 5000 2033 887 | 0.000 % | c | 2134 | 1029 1000 64405 | 5500 2134 887 | 0.000 % | c =============================================================================== c New solution: 1767938 c Elapsed CPU time: 2.67259 s Remaining CPU time: 177.327 s c =============================================================================== c | 2134 | 1029 1001 65314 | 5000 2134 887 | 0.000 % | c =============================================================================== c New solution: 1767784 c Elapsed CPU time: 2.70059 s Remaining CPU time: 177.299 s c =============================================================================== c | 2137 | 1029 1002 66223 | 5000 2137 887 | 0.000 % | c =============================================================================== c New solution: 1767571 c Elapsed CPU time: 2.73158 s Remaining CPU time: 177.268 s c =============================================================================== c | 2140 | 1029 1003 67132 | 5000 2140 887 | 0.000 % | c =============================================================================== c New solution: 1767338 c Elapsed CPU time: 2.76958 s Remaining CPU time: 177.23 s c =============================================================================== c | 2149 | 1029 1004 68041 | 5000 2149 887 | 0.000 % | c =============================================================================== c New solution: 1767330 c Elapsed CPU time: 2.85257 s Remaining CPU time: 177.147 s c =============================================================================== c | 2196 | 1029 1005 68950 | 5000 2196 887 | 0.000 % | c =============================================================================== c New solution: 1767102 c Elapsed CPU time: 2.88256 s Remaining CPU time: 177.117 s c =============================================================================== c | 2196 | 1029 1006 69859 | 5000 2196 887 | 0.000 % | c =============================================================================== c New solution: 1766483 c Elapsed CPU time: 2.94455 s Remaining CPU time: 177.055 s c =============================================================================== c | 2235 | 1029 1007 70768 | 5000 2235 887 | 0.000 % | c =============================================================================== c New solution: 1766454 c Elapsed CPU time: 2.99954 s Remaining CPU time: 177 s c =============================================================================== c | 2256 | 1029 1008 71677 | 5000 2256 887 | 0.000 % | c | 2357 | 1029 1008 71677 | 5500 2357 887 | 0.000 % | c =============================================================================== c New solution: 1766334 c Elapsed CPU time: 3.16952 s Remaining CPU time: 176.83 s c =============================================================================== c | 2361 | 1029 1009 72586 | 5000 2361 887 | 0.000 % | c =============================================================================== c New solution: 1765960 c Elapsed CPU time: 3.20251 s Remaining CPU time: 176.797 s c =============================================================================== c | 2363 | 1029 1010 73495 | 5000 2363 887 | 0.000 % | c =============================================================================== c New solution: 1765649 c Elapsed CPU time: 3.23351 s Remaining CPU time: 176.766 s c =============================================================================== c | 2365 | 1029 1011 74404 | 5000 2365 887 | 0.000 % | c =============================================================================== c New solution: 1765383 c Elapsed CPU time: 3.2665 s Remaining CPU time: 176.733 s c =============================================================================== c | 2366 | 1029 1012 75313 | 5000 2366 887 | 0.000 % | c =============================================================================== c New solution: 1765149 c Elapsed CPU time: 3.32549 s Remaining CPU time: 176.675 s c =============================================================================== c | 2391 | 1029 1013 76222 | 5000 2391 887 | 0.000 % | c =============================================================================== c New solution: 1764940 c Elapsed CPU time: 3.42748 s Remaining CPU time: 176.573 s c =============================================================================== c | 2458 | 1029 1014 77131 | 5000 2458 887 | 0.000 % | c =============================================================================== c New solution: 1764831 c Elapsed CPU time: 3.53246 s Remaining CPU time: 176.468 s c =============================================================================== c | 2535 | 1029 1015 78040 | 5000 2535 887 | 0.000 % | c =============================================================================== c New solution: 1764701 c Elapsed CPU time: 3.60745 s Remaining CPU time: 176.393 s c =============================================================================== c | 2579 | 1029 1016 78949 | 5000 2579 887 | 0.000 % | c =============================================================================== c New solution: 1764612 c Elapsed CPU time: 3.67244 s Remaining CPU time: 176.328 s c =============================================================================== c | 2609 | 1029 1017 79858 | 5000 2609 886 | 0.000 % | c =============================================================================== c New solution: 1764517 c Elapsed CPU time: 3.77643 s Remaining CPU time: 176.224 s c =============================================================================== c | 2679 | 1029 1018 80767 | 5000 2679 886 | 0.000 % | c =============================================================================== c New solution: 1764464 c Elapsed CPU time: 3.82242 s Remaining CPU time: 176.178 s c =============================================================================== c | 2690 | 1029 1019 81676 | 5000 2690 886 | 0.000 % | c | 2792 | 1029 1019 81676 | 5500 2792 886 | 0.000 % | c =============================================================================== c New solution: 1763707 c Elapsed CPU time: 4.07638 s Remaining CPU time: 175.924 s c =============================================================================== c | 2857 | 1029 1020 82585 | 5000 2857 886 | 0.000 % | c =============================================================================== c New solution: 1763616 c Elapsed CPU time: 4.11137 s Remaining CPU time: 175.889 s c =============================================================================== c | 2857 | 1029 1021 83494 | 5000 2857 886 | 0.000 % | c =============================================================================== c New solution: 1763607 c Elapsed CPU time: 4.14837 s Remaining CPU time: 175.852 s c =============================================================================== c | 2860 | 1029 1022 84403 | 5000 2860 886 | 0.000 % | c =============================================================================== c New solution: 1763417 c Elapsed CPU time: 4.19136 s Remaining CPU time: 175.809 s c =============================================================================== c | 2863 | 1029 1023 85312 | 5000 2863 886 | 0.000 % | c =============================================================================== c New solution: 1763405 c Elapsed CPU time: 4.22836 s Remaining CPU time: 175.772 s c =============================================================================== c | 2863 | 1029 1024 86221 | 5000 2863 886 | 0.000 % | c =============================================================================== c New solution: 1762871 c Elapsed CPU time: 4.26835 s Remaining CPU time: 175.732 s c =============================================================================== c | 2863 | 1029 1025 87130 | 5000 2863 886 | 0.000 % | c =============================================================================== c New solution: 1762617 c Elapsed CPU time: 4.31634 s Remaining CPU time: 175.684 s c =============================================================================== c | 2863 | 1029 1026 88039 | 5000 2863 886 | 0.000 % | c =============================================================================== c New solution: 1762600 c Elapsed CPU time: 4.35534 s Remaining CPU time: 175.645 s c =============================================================================== c | 2863 | 1029 1027 88948 | 5000 2863 886 | 0.000 % | c | 2964 | 1029 1027 88948 | 5500 2964 886 | 0.000 % | c | 3115 | 1029 1027 88948 | 6050 3115 886 | 0.000 % | c =============================================================================== c New solution: 1762515 c Elapsed CPU time: 4.81227 s Remaining CPU time: 175.188 s c =============================================================================== c | 3149 | 1029 1028 89857 | 5000 3149 886 | 0.000 % | c =============================================================================== c New solution: 1762391 c Elapsed CPU time: 4.90625 s Remaining CPU time: 175.094 s c =============================================================================== c | 3186 | 1029 1029 90766 | 5000 3186 886 | 0.000 % | c =============================================================================== c New solution: 1762127 c Elapsed CPU time: 5.02224 s Remaining CPU time: 174.978 s c =============================================================================== c | 3242 | 1029 1030 91675 | 5000 3242 886 | 0.000 % | c =============================================================================== c New solution: 1761988 c Elapsed CPU time: 5.06723 s Remaining CPU time: 174.933 s c =============================================================================== c | 3242 | 1029 1031 92584 | 5000 3242 886 | 0.000 % | c =============================================================================== c New solution: 1761530 c Elapsed CPU time: 5.11022 s Remaining CPU time: 174.89 s c =============================================================================== c | 3243 | 1029 1032 93493 | 5000 3243 886 | 0.000 % | c =============================================================================== c New solution: 1761259 c Elapsed CPU time: 5.15322 s Remaining CPU time: 174.847 s c =============================================================================== c | 3244 | 1029 1033 94402 | 5000 3244 886 | 0.000 % | c =============================================================================== c New solution: 1760698 c Elapsed CPU time: 5.19921 s Remaining CPU time: 174.801 s c =============================================================================== c | 3245 | 1029 1034 95311 | 5000 3245 886 | 0.000 % | c =============================================================================== c New solution: 1760643 c Elapsed CPU time: 5.2492 s Remaining CPU time: 174.751 s c =============================================================================== c | 3248 | 1029 1035 96220 | 5000 3248 886 | 0.000 % | c =============================================================================== c New solution: 1760297 c Elapsed CPU time: 5.38918 s Remaining CPU time: 174.611 s c =============================================================================== c | 3329 | 1029 1036 97129 | 5000 3329 886 | 0.000 % | c =============================================================================== c New solution: 1759735 c Elapsed CPU time: 5.43717 s Remaining CPU time: 174.563 s c =============================================================================== c | 3331 | 1029 1037 98038 | 5000 3331 886 | 0.000 % | c =============================================================================== c New solution: 1759373 c Elapsed CPU time: 5.48616 s Remaining CPU time: 174.514 s c =============================================================================== c | 3332 | 1029 1038 98947 | 5000 3332 886 | 0.000 % | c =============================================================================== c New solution: 1759299 c Elapsed CPU time: 5.53516 s Remaining CPU time: 174.465 s c =============================================================================== c | 3336 | 1029 1039 99856 | 5000 3336 886 | 0.000 % | c | 3438 | 1029 1039 99856 | 5500 3438 885 | 0.000 % | c | 3589 | 1029 1039 99856 | 6050 3589 885 | 0.000 % | c =============================================================================== c New solution: 1759219 c Elapsed CPU time: 5.98309 s Remaining CPU time: 174.017 s c =============================================================================== c | 3589 | 1029 1040 100765 | 5000 3589 885 | 0.000 % | c =============================================================================== c New solution: 1758373 c Elapsed CPU time: 6.03508 s Remaining CPU time: 173.965 s c =============================================================================== c | 3589 | 1029 1041 101674 | 5000 3589 885 | 0.000 % | c | 3690 | 1029 1041 101674 | 5500 3690 885 | 0.000 % | c =============================================================================== c New solution: 1758316 c Elapsed CPU time: 6.41902 s Remaining CPU time: 173.581 s c =============================================================================== c | 3839 | 1029 1042 102583 | 5000 3839 885 | 0.000 % | c =============================================================================== c New solution: 1758251 c Elapsed CPU time: 6.51001 s Remaining CPU time: 173.49 s c =============================================================================== c | 3872 | 1029 1043 103492 | 5000 3872 885 | 0.000 % | c | 3972 | 1029 1043 103492 | 5500 3972 885 | 0.000 % | c =============================================================================== c New solution: 1758247 c Elapsed CPU time: 6.84996 s Remaining CPU time: 173.15 s c =============================================================================== c | 4081 | 1029 1044 104401 | 5000 4081 884 | 0.000 % | c =============================================================================== c New solution: 1758147 c Elapsed CPU time: 6.90995 s Remaining CPU time: 173.09 s c =============================================================================== c | 4089 | 1029 1045 105310 | 5000 4089 884 | 0.000 % | c | 4190 | 1029 1045 105310 | 5500 4190 884 | 0.000 % | c =============================================================================== c New solution: 1758094 c Elapsed CPU time: 7.31289 s Remaining CPU time: 172.687 s c =============================================================================== c | 4316 | 1029 1046 106219 | 5000 4316 884 | 0.000 % | c =============================================================================== c New solution: 1758091 c Elapsed CPU time: 7.43487 s Remaining CPU time: 172.565 s c =============================================================================== c | 4361 | 1029 1047 107128 | 5000 4361 884 | 0.000 % | c =============================================================================== c New solution: 1758054 c Elapsed CPU time: 7.55885 s Remaining CPU time: 172.441 s c =============================================================================== c | 4399 | 1029 1048 108037 | 5000 4399 884 | 0.000 % | c =============================================================================== c New solution: 1757978 c Elapsed CPU time: 7.64484 s Remaining CPU time: 172.355 s c =============================================================================== c | 4418 | 1029 1049 108946 | 5000 4418 884 | 0.000 % | c =============================================================================== c New solution: 1757837 c Elapsed CPU time: 7.81181 s Remaining CPU time: 172.188 s c =============================================================================== c | 4483 | 1029 1050 109855 | 5000 4483 884 | 0.000 % | c =============================================================================== c New solution: 1757695 c Elapsed CPU time: 7.94079 s Remaining CPU time: 172.059 s c =============================================================================== c | 4521 | 1029 1051 110764 | 5000 4521 884 | 0.000 % | c =============================================================================== c New solution: 1757691 c Elapsed CPU time: 8.09577 s Remaining CPU time: 171.904 s c =============================================================================== c | 4593 | 1029 1052 111673 | 5000 4593 884 | 0.000 % | c | 4695 | 1029 1052 111673 | 5500 4695 883 | 0.000 % | c =============================================================================== c New solution: 1757581 c Elapsed CPU time: 8.42172 s Remaining CPU time: 171.578 s c =============================================================================== c | 4754 | 1029 1053 112582 | 5000 4754 883 | 0.000 % | c =============================================================================== c New solution: 1757545 c Elapsed CPU time: 8.48271 s Remaining CPU time: 171.517 s c =============================================================================== c | 4755 | 1029 1054 113491 | 5000 4755 883 | 0.000 % | c =============================================================================== c New solution: 1757332 c Elapsed CPU time: 8.5417 s Remaining CPU time: 171.458 s c =============================================================================== c | 4755 | 1029 1055 114400 | 5000 4755 883 | 0.000 % | c | 4855 | 1029 1055 114400 | 5500 4855 883 | 0.000 % | c =============================================================================== c New solution: 1757233 c Elapsed CPU time: 8.87865 s Remaining CPU time: 171.121 s c =============================================================================== c | 4903 | 1029 1056 115309 | 5000 4903 883 | 0.000 % | c =============================================================================== c New solution: 1757197 c Elapsed CPU time: 9.03763 s Remaining CPU time: 170.962 s c =============================================================================== c | 4964 | 1029 1057 116218 | 5000 4964 883 | 0.000 % | c | 5065 | 1029 1057 116218 | 5500 5065 883 | 0.000 % | c | 5215 | 1029 1057 116218 | 6050 5215 883 | 0.000 % | c =============================================================================== c New solution: 1756510 c Elapsed CPU time: 9.77051 s Remaining CPU time: 170.229 s c =============================================================================== c | 5332 | 1029 1058 117127 | 5000 5332 883 | 0.000 % | c | 5434 | 1029 1058 117127 | 5500 2768 879 | 0.000 % | c | 5584 | 1029 1058 117127 | 6050 2918 879 | 0.000 % | c =============================================================================== c New solution: 1756288 c Elapsed CPU time: 10.3834 s Remaining CPU time: 169.617 s c =============================================================================== c | 5631 | 1029 1059 118036 | 5000 2965 879 | 0.000 % | c | 5731 | 1029 1059 118036 | 5500 3065 879 | 0.000 % | c =============================================================================== c New solution: 1755874 c Elapsed CPU time: 10.7094 s Remaining CPU time: 169.291 s c =============================================================================== c | 5785 | 1029 1060 118945 | 5000 3119 879 | 0.000 % | c =============================================================================== c New solution: 1755858 c Elapsed CPU time: 10.8124 s Remaining CPU time: 169.188 s c =============================================================================== c | 5811 | 1029 1061 119854 | 5000 3145 879 | 0.000 % | c | 5911 | 1029 1061 119854 | 5500 3245 879 | 0.000 % | c =============================================================================== c New solution: 1755846 c Elapsed CPU time: 11.1683 s Remaining CPU time: 168.832 s c =============================================================================== c | 5985 | 1029 1062 120763 | 5000 3319 879 | 0.000 % | c =============================================================================== c New solution: 1755823 c Elapsed CPU time: 11.3513 s Remaining CPU time: 168.649 s c =============================================================================== c | 6070 | 1029 1063 121672 | 5000 3404 879 | 0.000 % | c =============================================================================== c New solution: 1755810 c Elapsed CPU time: 11.4523 s Remaining CPU time: 168.548 s c =============================================================================== c | 6098 | 1029 1064 122581 | 5000 3432 879 | 0.000 % | c =============================================================================== c New solution: 1755786 c Elapsed CPU time: 11.5662 s Remaining CPU time: 168.434 s c =============================================================================== c | 6126 | 1029 1065 123490 | 5000 3460 879 | 0.000 % | c =============================================================================== c New solution: 1755762 c Elapsed CPU time: 11.7162 s Remaining CPU time: 168.284 s c =============================================================================== c | 6172 | 1029 1066 124399 | 5000 3506 879 | 0.000 % | c =============================================================================== c New solution: 1755681 c Elapsed CPU time: 11.8142 s Remaining CPU time: 168.186 s c =============================================================================== c | 6194 | 1029 1067 125308 | 5000 3528 879 | 0.000 % | c =============================================================================== c New solution: 1755448 c Elapsed CPU time: 11.8872 s Remaining CPU time: 168.113 s c =============================================================================== c | 6196 | 1029 1068 126217 | 5000 3530 879 | 0.000 % | c =============================================================================== c New solution: 1755177 c Elapsed CPU time: 11.9622 s Remaining CPU time: 168.038 s c =============================================================================== c | 6201 | 1029 1069 127126 | 5000 3535 879 | 0.000 % | c | 6301 | 1029 1069 127126 | 5500 3635 879 | 0.000 % | c =============================================================================== c New solution: 1755117 c Elapsed CPU time: 12.4171 s Remaining CPU time: 167.583 s c =============================================================================== c | 6386 | 1029 1070 128035 | 5000 3720 879 | 0.000 % | c | 6487 | 1029 1070 128035 | 5500 3821 879 | 0.000 % | c =============================================================================== c New solution: 1755048 c Elapsed CPU time: 12.6941 s Remaining CPU time: 167.306 s c =============================================================================== c | 6494 | 1029 1071 128944 | 5000 3828 879 | 0.000 % | c =============================================================================== c New solution: 1755038 c Elapsed CPU time: 12.7771 s Remaining CPU time: 167.223 s c =============================================================================== c | 6503 | 1029 1072 129853 | 5000 3837 879 | 0.000 % | c =============================================================================== c New solution: 1755012 c Elapsed CPU time: 12.849 s Remaining CPU time: 167.151 s c =============================================================================== c | 6509 | 1029 1073 130762 | 5000 3843 879 | 0.000 % | c =============================================================================== c New solution: 1755011 c Elapsed CPU time: 12.967 s Remaining CPU time: 167.033 s c =============================================================================== c | 6539 | 1029 1074 131671 | 5000 3873 879 | 0.000 % | c =============================================================================== c New solution: 1755007 c Elapsed CPU time: 13.115 s Remaining CPU time: 166.885 s c =============================================================================== c | 6592 | 1029 1075 132580 | 5000 3926 879 | 0.000 % | c | 6693 | 1029 1075 132580 | 5500 4027 879 | 0.000 % | c =============================================================================== c New solution: 1754991 c Elapsed CPU time: 13.5219 s Remaining CPU time: 166.478 s c =============================================================================== c | 6746 | 1029 1076 133489 | 5000 4080 879 | 0.000 % | c =============================================================================== c New solution: 1754934 c Elapsed CPU time: 13.7279 s Remaining CPU time: 166.272 s c =============================================================================== c | 6833 | 1029 1077 134398 | 5000 4167 879 | 0.000 % | c =============================================================================== c New solution: 1754931 c Elapsed CPU time: 13.9269 s Remaining CPU time: 166.073 s c =============================================================================== c | 6907 | 1029 1078 135307 | 5000 4241 879 | 0.000 % | c =============================================================================== c New solution: 1754849 c Elapsed CPU time: 14.0039 s Remaining CPU time: 165.996 s c =============================================================================== c | 6910 | 1029 1079 136216 | 5000 4244 879 | 0.000 % | c =============================================================================== c New solution: 1754688 c Elapsed CPU time: 14.0779 s Remaining CPU time: 165.922 s c =============================================================================== c | 6910 | 1029 1080 137125 | 5000 4244 879 | 0.000 % | c =============================================================================== c New solution: 1754528 c Elapsed CPU time: 14.2508 s Remaining CPU time: 165.749 s c =============================================================================== c | 6963 | 1029 1081 138034 | 5000 4297 879 | 0.000 % | c =============================================================================== c New solution: 1754497 c Elapsed CPU time: 14.3318 s Remaining CPU time: 165.668 s c =============================================================================== c | 6964 | 1029 1082 138943 | 5000 4298 879 | 0.000 % | c =============================================================================== c New solution: 1754005 c Elapsed CPU time: 14.4178 s Remaining CPU time: 165.582 s c =============================================================================== c | 6968 | 1029 1083 139852 | 5000 4302 879 | 0.000 % | c =============================================================================== c New solution: 1753611 c Elapsed CPU time: 14.4948 s Remaining CPU time: 165.505 s c =============================================================================== c | 6968 | 1029 1084 140761 | 5000 4302 879 | 0.000 % | c =============================================================================== c New solution: 1753316 c Elapsed CPU time: 14.5768 s Remaining CPU time: 165.423 s c =============================================================================== c | 6976 | 1029 1085 141670 | 5000 4310 879 | 0.000 % | c =============================================================================== c New solution: 1753137 c Elapsed CPU time: 14.6638 s Remaining CPU time: 165.336 s c =============================================================================== c | 6977 | 1029 1086 142579 | 5000 4311 879 | 0.000 % | c =============================================================================== c New solution: 1753133 c Elapsed CPU time: 14.8477 s Remaining CPU time: 165.152 s c =============================================================================== c | 7046 | 1029 1087 143488 | 5000 4380 879 | 0.000 % | c | 7147 | 1029 1087 143488 | 5500 4481 879 | 0.000 % | c =============================================================================== c New solution: 1753095 c Elapsed CPU time: 15.1377 s Remaining CPU time: 164.862 s c =============================================================================== c | 7155 | 1029 1088 144397 | 5000 4489 879 | 0.000 % | c =============================================================================== c New solution: 1753004 c Elapsed CPU time: 15.2127 s Remaining CPU time: 164.787 s c =============================================================================== c | 7155 | 1029 1089 145306 | 5000 4489 879 | 0.000 % | c =============================================================================== c New solution: 1752811 c Elapsed CPU time: 15.2877 s Remaining CPU time: 164.712 s c =============================================================================== c | 7155 | 1029 1090 146215 | 5000 4489 879 | 0.000 % | c | 7255 | 1029 1090 146215 | 5500 4589 879 | 0.000 % | c | 7405 | 1029 1090 146215 | 6050 4739 878 | 0.000 % | c =============================================================================== c New solution: 1752599 c Elapsed CPU time: 15.9856 s Remaining CPU time: 164.014 s c =============================================================================== c | 7425 | 1029 1091 147124 | 5000 4759 878 | 0.000 % | c | 7528 | 1029 1091 147124 | 5500 4862 878 | 0.000 % | c =============================================================================== c New solution: 1752391 c Elapsed CPU time: 16.2825 s Remaining CPU time: 163.717 s c =============================================================================== c | 7531 | 1029 1092 148033 | 5000 4865 878 | 0.000 % | c =============================================================================== c New solution: 1752357 c Elapsed CPU time: 16.3725 s Remaining CPU time: 163.627 s c =============================================================================== c | 7535 | 1029 1093 148942 | 5000 4869 878 | 0.000 % | c | 7635 | 1029 1093 148942 | 5500 4969 878 | 0.000 % | c =============================================================================== c New solution: 1752276 c Elapsed CPU time: 16.7345 s Remaining CPU time: 163.266 s c =============================================================================== c | 7657 | 1029 1094 149851 | 5000 4991 878 | 0.000 % | c | 7758 | 1029 1094 149851 | 5500 5092 878 | 0.000 % | c =============================================================================== c New solution: 1752265 c Elapsed CPU time: 17.1094 s Remaining CPU time: 162.891 s c =============================================================================== c | 7790 | 1029 1095 150760 | 5000 5124 878 | 0.000 % | c =============================================================================== c New solution: 1752190 c Elapsed CPU time: 17.2434 s Remaining CPU time: 162.757 s c =============================================================================== c | 7807 | 1029 1096 151669 | 5000 2579 877 | 0.000 % | c =============================================================================== c New solution: 1752061 c Elapsed CPU time: 17.3694 s Remaining CPU time: 162.631 s c =============================================================================== c | 7829 | 1029 1097 152578 | 5000 2601 877 | 0.000 % | c =============================================================================== c New solution: 1752036 c Elapsed CPU time: 17.4643 s Remaining CPU time: 162.536 s c =============================================================================== c | 7838 | 1029 1098 153487 | 5000 2610 877 | 0.000 % | c =============================================================================== c New solution: 1751435 c Elapsed CPU time: 17.5763 s Remaining CPU time: 162.424 s c =============================================================================== c | 7848 | 1029 1099 154396 | 5000 2620 877 | 0.000 % | c | 7950 | 1029 1099 154396 | 5500 2722 877 | 0.000 % | c =============================================================================== c New solution: 1751418 c Elapsed CPU time: 18.0563 s Remaining CPU time: 161.944 s c =============================================================================== c | 8044 | 1029 1100 155305 | 5000 2816 877 | 0.000 % | c =============================================================================== c New solution: 1751078 c Elapsed CPU time: 18.1522 s Remaining CPU time: 161.848 s c =============================================================================== c | 8044 | 1029 1101 156214 | 5000 2816 877 | 0.000 % | c =============================================================================== c New solution: 1750673 c Elapsed CPU time: 18.2422 s Remaining CPU time: 161.758 s c =============================================================================== c | 8044 | 1029 1102 157123 | 5000 2816 877 | 0.000 % | c | 8144 | 1029 1102 157123 | 5500 2916 877 | 0.000 % | c =============================================================================== c New solution: 1750446 c Elapsed CPU time: 18.7262 s Remaining CPU time: 161.274 s c =============================================================================== c | 8240 | 1029 1103 158032 | 5000 3012 877 | 0.000 % | c =============================================================================== c New solution: 1750353 c Elapsed CPU time: 18.8971 s Remaining CPU time: 161.103 s c =============================================================================== c | 8295 | 1029 1104 158941 | 5000 3067 877 | 0.000 % | c =============================================================================== c New solution: 1750283 c Elapsed CPU time: 19.0601 s Remaining CPU time: 160.94 s c =============================================================================== c | 8338 | 1029 1105 159850 | 5000 3110 877 | 0.000 % | c =============================================================================== c New solution: 1749981 c Elapsed CPU time: 19.1871 s Remaining CPU time: 160.813 s c =============================================================================== c | 8356 | 1029 1106 160759 | 5000 3128 877 | 0.000 % | c =============================================================================== c New solution: 1749952 c Elapsed CPU time: 19.2781 s Remaining CPU time: 160.722 s c =============================================================================== c | 8359 | 1029 1107 161668 | 5000 3131 877 | 0.000 % | c =============================================================================== c New solution: 1749727 c Elapsed CPU time: 19.3711 s Remaining CPU time: 160.629 s c =============================================================================== c | 8360 | 1029 1108 162577 | 5000 3132 877 | 0.000 % | c =============================================================================== c New solution: 1749712 c Elapsed CPU time: 19.456 s Remaining CPU time: 160.544 s c =============================================================================== c | 8360 | 1029 1109 163486 | 5000 3132 877 | 0.000 % | c | 8460 | 1029 1109 163486 | 5500 3232 877 | 0.000 % | c =============================================================================== c New solution: 1749669 c Elapsed CPU time: 19.896 s Remaining CPU time: 160.104 s c =============================================================================== c | 8509 | 1029 1110 164395 | 5000 3281 877 | 0.000 % | c =============================================================================== c New solution: 1749642 c Elapsed CPU time: 20.0729 s Remaining CPU time: 159.927 s c =============================================================================== c | 8548 | 1029 1111 165304 | 5000 3320 877 | 0.000 % | c | 8649 | 1029 1111 165304 | 5500 3421 877 | 0.000 % | c =============================================================================== c New solution: 1749638 c Elapsed CPU time: 20.4479 s Remaining CPU time: 159.552 s c =============================================================================== c | 8669 | 1029 1112 166213 | 5000 3441 877 | 0.000 % | c | 8769 | 1029 1112 166213 | 5500 3541 877 | 0.000 % | c =============================================================================== c New solution: 1749637 c Elapsed CPU time: 20.9478 s Remaining CPU time: 159.052 s c =============================================================================== c | 8861 | 1029 1113 167122 | 5000 3633 876 | 0.000 % | c =============================================================================== c New solution: 1749621 c Elapsed CPU time: 21.0808 s Remaining CPU time: 158.919 s c =============================================================================== c | 8876 | 1029 1114 168031 | 5000 3648 876 | 0.000 % | c =============================================================================== c New solution: 1749463 c Elapsed CPU time: 21.2188 s Remaining CPU time: 158.781 s c =============================================================================== c | 8894 | 1029 1115 168940 | 5000 3666 876 | 0.000 % | c =============================================================================== c New solution: 1749231 c Elapsed CPU time: 21.3777 s Remaining CPU time: 158.622 s c =============================================================================== c | 8920 | 1029 1116 169849 | 5000 3692 876 | 0.000 % | c =============================================================================== c New solution: 1749056 c Elapsed CPU time: 21.4787 s Remaining CPU time: 158.521 s c =============================================================================== c | 8920 | 1029 1117 170758 | 5000 3692 876 | 0.000 % | c =============================================================================== c New solution: 1748926 c Elapsed CPU time: 21.5847 s Remaining CPU time: 158.415 s c =============================================================================== c | 8920 | 1029 1118 171667 | 5000 3692 876 | 0.000 % | c =============================================================================== c New solution: 1748863 c Elapsed CPU time: 21.6967 s Remaining CPU time: 158.303 s c =============================================================================== c | 8923 | 1029 1119 172576 | 5000 3695 876 | 0.000 % | c =============================================================================== c New solution: 1748761 c Elapsed CPU time: 21.7997 s Remaining CPU time: 158.2 s c =============================================================================== c | 8923 | 1029 1120 173485 | 5000 3695 876 | 0.000 % | c =============================================================================== c New solution: 1748731 c Elapsed CPU time: 21.8977 s Remaining CPU time: 158.102 s c =============================================================================== c | 8923 | 1029 1121 174394 | 5000 3695 876 | 0.000 % | c =============================================================================== c New solution: 1748695 c Elapsed CPU time: 21.9987 s Remaining CPU time: 158.001 s c =============================================================================== c | 8923 | 1029 1122 175303 | 5000 3695 876 | 0.000 % | c =============================================================================== c New solution: 1748379 c Elapsed CPU time: 22.1056 s Remaining CPU time: 157.894 s c =============================================================================== c | 8923 | 1029 1123 176212 | 5000 3695 876 | 0.000 % | c | 9024 | 1029 1123 176212 | 5500 3796 876 | 0.000 % | c =============================================================================== c New solution: 1748356 c Elapsed CPU time: 22.5696 s Remaining CPU time: 157.43 s c =============================================================================== c | 9070 | 1029 1124 177121 | 5000 3842 876 | 0.000 % | c =============================================================================== c New solution: 1747974 c Elapsed CPU time: 22.7945 s Remaining CPU time: 157.205 s c =============================================================================== c | 9120 | 1029 1125 178030 | 5000 3892 876 | 0.000 % | c | 9220 | 1029 1125 178030 | 5500 3992 876 | 0.000 % | c =============================================================================== c New solution: 1747756 c Elapsed CPU time: 23.2915 s Remaining CPU time: 156.709 s c =============================================================================== c | 9262 | 1029 1126 178939 | 5000 4034 876 | 0.000 % | c | 9362 | 1029 1126 178939 | 5500 4134 876 | 0.000 % | c | 9514 | 1029 1126 178939 | 6050 4286 876 | 0.000 % | c =============================================================================== c New solution: 1747739 c Elapsed CPU time: 24.0403 s Remaining CPU time: 155.96 s c =============================================================================== c | 9515 | 1029 1127 179848 | 5000 4287 876 | 0.000 % | c | 9615 | 1029 1127 179848 | 5500 4387 876 | 0.000 % | c =============================================================================== c New solution: 1747607 c Elapsed CPU time: 24.5603 s Remaining CPU time: 155.44 s c =============================================================================== c | 9670 | 1029 1128 180757 | 5000 4442 876 | 0.000 % | c | 9771 | 1029 1128 180757 | 5500 4543 876 | 0.000 % | c =============================================================================== c New solution: 1747564 c Elapsed CPU time: 25.2252 s Remaining CPU time: 154.775 s c =============================================================================== c | 9920 | 1029 1129 181666 | 5000 4692 875 | 0.000 % | c =============================================================================== c New solution: 1747492 c Elapsed CPU time: 25.3611 s Remaining CPU time: 154.639 s c =============================================================================== c | 9940 | 1029 1130 182575 | 5000 4712 875 | 0.000 % | c =============================================================================== c New solution: 1747424 c Elapsed CPU time: 25.5311 s Remaining CPU time: 154.469 s c =============================================================================== c | 9974 | 1029 1131 183484 | 5000 4746 875 | 0.000 % | c =============================================================================== c New solution: 1747269 c Elapsed CPU time: 25.6681 s Remaining CPU time: 154.332 s c =============================================================================== c | 9994 | 1029 1132 184393 | 5000 4766 875 | 0.000 % | c | 10094 | 1029 1132 184393 | 5500 4866 875 | 0.000 % | c =============================================================================== c New solution: 1747261 c Elapsed CPU time: 26.067 s Remaining CPU time: 153.933 s c =============================================================================== c | 10102 | 1029 1133 185302 | 5000 4874 875 | 0.000 % | c | 10203 | 1029 1133 185302 | 5500 4975 875 | 0.000 % | c | 10354 | 1029 1133 185302 | 6050 5126 875 | 0.000 % | c =============================================================================== c New solution: 1747101 c Elapsed CPU time: 27.2429 s Remaining CPU time: 152.757 s c =============================================================================== c | 10523 | 1029 1134 186211 | 5000 5295 875 | 0.000 % | c =============================================================================== c New solution: 1746884 c Elapsed CPU time: 27.3908 s Remaining CPU time: 152.609 s c =============================================================================== c | 10528 | 1029 1135 187120 | 5000 2653 873 | 0.000 % | c =============================================================================== c New solution: 1746768 c Elapsed CPU time: 27.5088 s Remaining CPU time: 152.491 s c =============================================================================== c | 10528 | 1029 1136 188029 | 5000 2653 873 | 0.000 % | c =============================================================================== c New solution: 1746757 c Elapsed CPU time: 27.7288 s Remaining CPU time: 152.271 s c =============================================================================== c | 10569 | 1029 1137 188938 | 5000 2694 873 | 0.000 % | c =============================================================================== c New solution: 1746745 c Elapsed CPU time: 27.8488 s Remaining CPU time: 152.151 s c =============================================================================== c | 10577 | 1029 1138 189847 | 5000 2702 873 | 0.000 % | c | 10678 | 1029 1138 189847 | 5500 2803 873 | 0.000 % | c | 10830 | 1029 1138 189847 | 6050 2955 873 | 0.000 % | c =============================================================================== c New solution: 1746709 c Elapsed CPU time: 28.8846 s Remaining CPU time: 151.115 s c =============================================================================== c | 10938 | 1029 1139 190756 | 5000 3063 872 | 0.000 % | c =============================================================================== c New solution: 1746624 c Elapsed CPU time: 29.1336 s Remaining CPU time: 150.866 s c =============================================================================== c | 11019 | 1029 1140 191665 | 5000 3144 872 | 0.000 % | c =============================================================================== c New solution: 1746399 c Elapsed CPU time: 29.2606 s Remaining CPU time: 150.739 s c =============================================================================== c | 11023 | 1029 1141 192574 | 5000 3148 872 | 0.000 % | c | 11124 | 1029 1141 192574 | 5500 3249 872 | 0.000 % | c | 11275 | 1029 1141 192574 | 6050 3400 872 | 0.000 % | c =============================================================================== c New solution: 1746341 c Elapsed CPU time: 30.1494 s Remaining CPU time: 149.851 s c =============================================================================== c | 11282 | 1029 1142 193483 | 5000 3407 872 | 0.000 % | c | 11382 | 1029 1142 193483 | 5500 3507 872 | 0.000 % | c =============================================================================== c New solution: 1746162 c Elapsed CPU time: 30.6823 s Remaining CPU time: 149.318 s c =============================================================================== c | 11423 | 1029 1143 194392 | 5000 3548 872 | 0.000 % | c =============================================================================== c New solution: 1746005 c Elapsed CPU time: 30.8133 s Remaining CPU time: 149.187 s c =============================================================================== c | 11431 | 1029 1144 195301 | 5000 3556 872 | 0.000 % | c =============================================================================== c New solution: 1745992 c Elapsed CPU time: 30.9273 s Remaining CPU time: 149.073 s c =============================================================================== c | 11431 | 1029 1145 196210 | 5000 3556 872 | 0.000 % | c | 11531 | 1029 1145 196210 | 5500 3656 872 | 0.000 % | c =============================================================================== c New solution: 1745911 c Elapsed CPU time: 31.5802 s Remaining CPU time: 148.42 s c =============================================================================== c | 11614 | 1029 1146 197119 | 5000 3739 872 | 0.000 % | c | 11715 | 1029 1146 197119 | 5500 3840 872 | 0.000 % | c =============================================================================== c New solution: 1745778 c Elapsed CPU time: 32.1021 s Remaining CPU time: 147.898 s c =============================================================================== c | 11752 | 1029 1147 198028 | 5000 3877 872 | 0.000 % | c | 11853 | 1029 1147 198028 | 5500 3978 872 | 0.000 % | c =============================================================================== c New solution: 1745738 c Elapsed CPU time: 32.79 s Remaining CPU time: 147.21 s c =============================================================================== c | 11962 | 1029 1148 198937 | 5000 4087 872 | 0.000 % | c =============================================================================== c New solution: 1745715 c Elapsed CPU time: 32.979 s Remaining CPU time: 147.021 s c =============================================================================== c | 11996 | 1029 1149 199846 | 5000 4121 872 | 0.000 % | c =============================================================================== c New solution: 1745630 c Elapsed CPU time: 33.2 s Remaining CPU time: 146.8 s c =============================================================================== c | 12047 | 1029 1150 200755 | 5000 4172 872 | 0.000 % | c =============================================================================== c New solution: 1745383 c Elapsed CPU time: 33.3409 s Remaining CPU time: 146.659 s c =============================================================================== c | 12052 | 1029 1151 201664 | 5000 4177 872 | 0.000 % | c =============================================================================== c New solution: 1745371 c Elapsed CPU time: 33.4829 s Remaining CPU time: 146.517 s c =============================================================================== c | 12061 | 1029 1152 202573 | 5000 4186 872 | 0.000 % | c | 12162 | 1029 1152 202573 | 5500 4287 872 | 0.000 % | c =============================================================================== c New solution: 1745370 c Elapsed CPU time: 34.0298 s Remaining CPU time: 145.97 s c =============================================================================== c | 12190 | 1029 1153 203482 | 5000 4315 872 | 0.000 % | c =============================================================================== c New solution: 1745109 c Elapsed CPU time: 34.1688 s Remaining CPU time: 145.831 s c =============================================================================== c | 12199 | 1029 1154 204391 | 5000 4324 872 | 0.000 % | c =============================================================================== c New solution: 1745028 c Elapsed CPU time: 34.3208 s Remaining CPU time: 145.679 s c =============================================================================== c | 12218 | 1029 1155 205300 | 5000 4343 872 | 0.000 % | c | 12319 | 1029 1155 205300 | 5500 4444 872 | 0.000 % | c =============================================================================== c New solution: 1744974 c Elapsed CPU time: 34.9767 s Remaining CPU time: 145.023 s c =============================================================================== c | 12405 | 1029 1156 206209 | 5000 4530 872 | 0.000 % | c | 12505 | 1029 1156 206209 | 5500 4630 872 | 0.000 % | c =============================================================================== c New solution: 1744825 c Elapsed CPU time: 35.6816 s Remaining CPU time: 144.318 s c =============================================================================== c | 12613 | 1029 1157 207118 | 5000 4738 872 | 0.000 % | c =============================================================================== c New solution: 1744774 c Elapsed CPU time: 35.9965 s Remaining CPU time: 144.003 s c =============================================================================== c | 12699 | 1029 1158 208027 | 5000 4824 872 | 0.000 % | c =============================================================================== c New solution: 1744712 c Elapsed CPU time: 36.3295 s Remaining CPU time: 143.671 s c =============================================================================== c | 12785 | 1029 1159 208936 | 5000 4910 872 | 0.000 % | c | 12885 | 1029 1159 208936 | 5500 5010 872 | 0.000 % | c =============================================================================== c New solution: 1744680 c Elapsed CPU time: 36.8084 s Remaining CPU time: 143.192 s c =============================================================================== c | 12894 | 1029 1160 209845 | 5000 5019 872 | 0.000 % | c =============================================================================== c New solution: 1744558 c Elapsed CPU time: 36.9724 s Remaining CPU time: 143.028 s c =============================================================================== c | 12904 | 1029 1161 210754 | 5000 2520 870 | 0.000 % | c =============================================================================== c New solution: 1744540 c Elapsed CPU time: 37.2253 s Remaining CPU time: 142.775 s c =============================================================================== c | 12951 | 1029 1162 211663 | 5000 2567 870 | 0.000 % | c =============================================================================== c New solution: 1744297 c Elapsed CPU time: 37.5373 s Remaining CPU time: 142.463 s c =============================================================================== c | 13030 | 1029 1163 212572 | 5000 2646 870 | 0.000 % | c | 13131 | 1029 1163 212572 | 5500 2747 870 | 0.000 % | c =============================================================================== c New solution: 1744206 c Elapsed CPU time: 38.2292 s Remaining CPU time: 141.771 s c =============================================================================== c | 13255 | 1029 1164 213481 | 5000 2871 870 | 0.000 % | c | 13355 | 1029 1164 213481 | 5500 2971 870 | 0.000 % | c =============================================================================== c New solution: 1743914 c Elapsed CPU time: 38.9221 s Remaining CPU time: 141.078 s c =============================================================================== c | 13451 | 1029 1165 214390 | 5000 3067 870 | 0.000 % | c | 13553 | 1029 1165 214390 | 5500 3169 870 | 0.000 % | c | 13703 | 1029 1165 214390 | 6050 3319 870 | 0.000 % | c =============================================================================== c New solution: 1743855 c Elapsed CPU time: 40.2279 s Remaining CPU time: 139.772 s c =============================================================================== c | 13872 | 1029 1166 215299 | 5000 3488 870 | 0.000 % | c | 13972 | 1029 1166 215299 | 5500 3588 870 | 0.000 % | c | 14122 | 1029 1166 215299 | 6050 3738 870 | 0.000 % | c =============================================================================== c New solution: 1743847 c Elapsed CPU time: 41.1018 s Remaining CPU time: 138.898 s c =============================================================================== c | 14136 | 1029 1167 216208 | 5000 3752 870 | 0.000 % | c =============================================================================== c New solution: 1743826 c Elapsed CPU time: 41.4547 s Remaining CPU time: 138.545 s c =============================================================================== c | 14233 | 1029 1168 217117 | 5000 3849 870 | 0.000 % | c =============================================================================== c New solution: 1743720 c Elapsed CPU time: 41.8496 s Remaining CPU time: 138.15 s c =============================================================================== c | 14323 | 1029 1169 218026 | 5000 3939 870 | 0.000 % | c =============================================================================== c New solution: 1743709 c Elapsed CPU time: 42.2376 s Remaining CPU time: 137.762 s c =============================================================================== c | 14412 | 1029 1170 218935 | 5000 4028 870 | 0.000 % | c | 14512 | 1029 1170 218935 | 5500 4128 870 | 0.000 % | c =============================================================================== c New solution: 1743618 c Elapsed CPU time: 42.9775 s Remaining CPU time: 137.023 s c =============================================================================== c | 14602 | 1029 1171 219844 | 5000 4218 870 | 0.000 % | c =============================================================================== c New solution: 1743602 c Elapsed CPU time: 43.2334 s Remaining CPU time: 136.767 s c =============================================================================== c | 14654 | 1029 1172 220753 | 5000 4270 870 | 0.000 % | c | 14755 | 1029 1172 220753 | 5500 4371 870 | 0.000 % | c =============================================================================== c New solution: 1743595 c Elapsed CPU time: 43.7853 s Remaining CPU time: 136.215 s c =============================================================================== c | 14769 | 1029 1173 221662 | 5000 4385 870 | 0.000 % | c =============================================================================== c New solution: 1743580 c Elapsed CPU time: 43.9733 s Remaining CPU time: 136.027 s c =============================================================================== c | 14794 | 1029 1174 222571 | 5000 4410 870 | 0.000 % | c =============================================================================== c New solution: 1743562 c Elapsed CPU time: 44.3333 s Remaining CPU time: 135.667 s c =============================================================================== c | 14885 | 1029 1175 223480 | 5000 4501 870 | 0.000 % | c | 14985 | 1029 1175 223480 | 5500 4601 870 | 0.000 % | c =============================================================================== c New solution: 1743550 c Elapsed CPU time: 45.1071 s Remaining CPU time: 134.893 s c =============================================================================== c | 15077 | 1029 1176 224389 | 5000 4693 870 | 0.000 % | c =============================================================================== c New solution: 1743478 c Elapsed CPU time: 45.2751 s Remaining CPU time: 134.725 s c =============================================================================== c | 15083 | 1029 1177 225298 | 5000 4699 870 | 0.000 % | c =============================================================================== c New solution: 1743228 c Elapsed CPU time: 45.4571 s Remaining CPU time: 134.543 s c =============================================================================== c | 15094 | 1029 1178 226207 | 5000 4710 870 | 0.000 % | c =============================================================================== c New solution: 1743147 c Elapsed CPU time: 45.836 s Remaining CPU time: 134.164 s c =============================================================================== c | 15189 | 1029 1179 227116 | 5000 4805 870 | 0.000 % | c | 15291 | 1029 1179 227116 | 5500 4907 870 | 0.000 % | c =============================================================================== c New solution: 1742929 c Elapsed CPU time: 46.7149 s Remaining CPU time: 133.285 s c =============================================================================== c | 15419 | 1029 1180 228025 | 5000 5035 870 | 0.000 % | c | 15519 | 1029 1180 228025 | 5500 2618 870 | 0.000 % | c =============================================================================== c New solution: 1742921 c Elapsed CPU time: 47.5008 s Remaining CPU time: 132.499 s c =============================================================================== c | 15646 | 1029 1181 228934 | 5000 2745 870 | 0.000 % | c =============================================================================== c New solution: 1742906 c Elapsed CPU time: 47.7987 s Remaining CPU time: 132.201 s c =============================================================================== c | 15720 | 1029 1182 229843 | 5000 2819 870 | 0.000 % | c | 15823 | 1029 1182 229843 | 5500 2922 870 | 0.000 % | c =============================================================================== c New solution: 1742692 c Elapsed CPU time: 48.5256 s Remaining CPU time: 131.474 s c =============================================================================== c | 15909 | 1029 1183 230752 | 5000 3008 870 | 0.000 % | c | 16009 | 1029 1183 230752 | 5500 3108 870 | 0.000 % | c =============================================================================== c New solution: 1742330 c Elapsed CPU time: 49.0945 s Remaining CPU time: 130.905 s c =============================================================================== c | 16037 | 1029 1184 231661 | 5000 3136 870 | 0.000 % | c =============================================================================== c New solution: 1742019 c Elapsed CPU time: 49.4815 s Remaining CPU time: 130.519 s c =============================================================================== c | 16131 | 1029 1185 232570 | 5000 3230 870 | 0.000 % | c =============================================================================== c New solution: 1742014 c Elapsed CPU time: 49.6305 s Remaining CPU time: 130.37 s c =============================================================================== c | 16136 | 1029 1186 233479 | 5000 3235 870 | 0.000 % | c | 16238 | 1029 1186 233479 | 5500 3337 870 | 0.000 % | c =============================================================================== c New solution: 1741885 c Elapsed CPU time: 50.4413 s Remaining CPU time: 129.559 s c =============================================================================== c | 16374 | 1029 1187 234388 | 5000 3473 870 | 0.000 % | c =============================================================================== c New solution: 1741656 c Elapsed CPU time: 50.5893 s Remaining CPU time: 129.411 s c =============================================================================== c | 16374 | 1029 1188 235297 | 5000 3473 870 | 0.000 % | c =============================================================================== c New solution: 1741398 c Elapsed CPU time: 50.7323 s Remaining CPU time: 129.268 s c =============================================================================== c | 16374 | 1029 1189 236206 | 5000 3473 870 | 0.000 % | c =============================================================================== c New solution: 1741129 c Elapsed CPU time: 50.8793 s Remaining CPU time: 129.121 s c =============================================================================== c | 16374 | 1029 1190 237115 | 5000 3473 870 | 0.000 % | c =============================================================================== c New solution: 1741103 c Elapsed CPU time: 51.0242 s Remaining CPU time: 128.976 s c =============================================================================== c | 16374 | 1029 1191 238024 | 5000 3473 870 | 0.000 % | c =============================================================================== c New solution: 1740858 c Elapsed CPU time: 51.1722 s Remaining CPU time: 128.828 s c =============================================================================== c | 16374 | 1029 1192 238933 | 5000 3473 870 | 0.000 % | c =============================================================================== c New solution: 1740822 c Elapsed CPU time: 51.3172 s Remaining CPU time: 128.683 s c =============================================================================== c | 16374 | 1029 1193 239842 | 5000 3473 870 | 0.000 % | c =============================================================================== c New solution: 1740604 c Elapsed CPU time: 51.4702 s Remaining CPU time: 128.53 s c =============================================================================== c | 16374 | 1029 1194 240751 | 5000 3473 870 | 0.000 % | c =============================================================================== c New solution: 1740532 c Elapsed CPU time: 51.6152 s Remaining CPU time: 128.385 s c =============================================================================== c | 16374 | 1029 1195 241660 | 5000 3473 870 | 0.000 % | c =============================================================================== c New solution: 1740520 c Elapsed CPU time: 51.7611 s Remaining CPU time: 128.239 s c =============================================================================== c | 16374 | 1029 1196 242569 | 5000 3473 870 | 0.000 % | c =============================================================================== c New solution: 1740325 c Elapsed CPU time: 51.9101 s Remaining CPU time: 128.09 s c =============================================================================== c | 16374 | 1029 1197 243478 | 5000 3473 870 | 0.000 % | c =============================================================================== c New solution: 1740280 c Elapsed CPU time: 52.0601 s Remaining CPU time: 127.94 s c =============================================================================== c | 16374 | 1029 1198 244387 | 5000 3473 870 | 0.000 % | c =============================================================================== c New solution: 1740026 c Elapsed CPU time: 52.2121 s Remaining CPU time: 127.788 s c =============================================================================== c | 16374 | 1029 1199 245296 | 5000 3473 870 | 0.000 % | c =============================================================================== c New solution: 1739743 c Elapsed CPU time: 52.365 s Remaining CPU time: 127.635 s c =============================================================================== c | 16374 | 1029 1200 246205 | 5000 3473 870 | 0.000 % | c =============================================================================== c New solution: 1739608 c Elapsed CPU time: 52.513 s Remaining CPU time: 127.487 s c =============================================================================== c | 16374 | 1029 1201 247114 | 5000 3473 870 | 0.000 % | c =============================================================================== c New solution: 1739331 c Elapsed CPU time: 52.67 s Remaining CPU time: 127.33 s c =============================================================================== c | 16374 | 1029 1202 248023 | 5000 3473 870 | 0.000 % | c =============================================================================== c New solution: 1739111 c Elapsed CPU time: 52.828 s Remaining CPU time: 127.172 s c =============================================================================== c | 16374 | 1029 1203 248932 | 5000 3473 870 | 0.000 % | c =============================================================================== c New solution: 1739060 c Elapsed CPU time: 52.9809 s Remaining CPU time: 127.019 s c =============================================================================== c | 16374 | 1029 1204 249841 | 5000 3473 870 | 0.000 % | c =============================================================================== c New solution: 1739018 c Elapsed CPU time: 53.1349 s Remaining CPU time: 126.865 s c =============================================================================== c | 16374 | 1029 1205 250750 | 5000 3473 870 | 0.000 % | c =============================================================================== c New solution: 1738747 c Elapsed CPU time: 53.2899 s Remaining CPU time: 126.71 s c =============================================================================== c | 16374 | 1029 1206 251659 | 5000 3473 870 | 0.000 % | c | 16474 | 1029 1206 251659 | 5500 3573 870 | 0.000 % | c =============================================================================== c New solution: 1738726 c Elapsed CPU time: 53.8278 s Remaining CPU time: 126.172 s c =============================================================================== c | 16489 | 1029 1207 252568 | 5000 3588 870 | 0.000 % | c | 16590 | 1029 1207 252568 | 5500 3689 870 | 0.000 % | c =============================================================================== c New solution: 1738598 c Elapsed CPU time: 54.3617 s Remaining CPU time: 125.638 s c =============================================================================== c | 16594 | 1029 1208 253477 | 5000 3693 870 | 0.000 % | c =============================================================================== c New solution: 1738364 c Elapsed CPU time: 54.5137 s Remaining CPU time: 125.486 s c =============================================================================== c | 16594 | 1029 1209 254386 | 5000 3693 870 | 0.000 % | c =============================================================================== c New solution: 1738227 c Elapsed CPU time: 54.7367 s Remaining CPU time: 125.263 s c =============================================================================== c | 16620 | 1029 1210 255295 | 5000 3719 870 | 0.000 % | c | 16721 | 1029 1210 255295 | 5500 3820 870 | 0.000 % | c =============================================================================== c New solution: 1738114 c Elapsed CPU time: 55.4286 s Remaining CPU time: 124.571 s c =============================================================================== c | 16787 | 1029 1211 256204 | 5000 3886 869 | 0.000 % | c =============================================================================== c New solution: 1738097 c Elapsed CPU time: 55.5925 s Remaining CPU time: 124.407 s c =============================================================================== c | 16790 | 1029 1212 257113 | 5000 3889 869 | 0.000 % | c =============================================================================== c New solution: 1737960 c Elapsed CPU time: 55.7505 s Remaining CPU time: 124.249 s c =============================================================================== c | 16792 | 1029 1213 258022 | 5000 3891 869 | 0.000 % | c | 16892 | 1029 1213 258022 | 5500 3991 869 | 0.000 % | c =============================================================================== c New solution: 1737739 c Elapsed CPU time: 56.6204 s Remaining CPU time: 123.38 s c =============================================================================== c | 17021 | 1029 1214 258931 | 5000 4120 869 | 0.000 % | c | 17121 | 1029 1214 258931 | 5500 4220 869 | 0.000 % | c | 17271 | 1029 1214 258931 | 6050 4370 869 | 0.000 % | c =============================================================================== c New solution: 1737735 c Elapsed CPU time: 57.9692 s Remaining CPU time: 122.031 s c =============================================================================== c | 17390 | 1029 1215 259840 | 5000 4489 869 | 0.000 % | c =============================================================================== c New solution: 1737617 c Elapsed CPU time: 58.3751 s Remaining CPU time: 121.625 s c =============================================================================== c | 17475 | 1029 1216 260749 | 5000 4574 869 | 0.000 % | c | 17575 | 1029 1216 260749 | 5500 4674 869 | 0.000 % | c =============================================================================== c New solution: 1737413 c Elapsed CPU time: 59.273 s Remaining CPU time: 120.727 s c =============================================================================== c | 17667 | 1029 1217 261658 | 5000 4766 869 | 0.000 % | c =============================================================================== c New solution: 1737254 c Elapsed CPU time: 59.497 s Remaining CPU time: 120.503 s c =============================================================================== c | 17693 | 1029 1218 262567 | 5000 4792 869 | 0.000 % | c =============================================================================== c New solution: 1737126 c Elapsed CPU time: 59.7359 s Remaining CPU time: 120.264 s c =============================================================================== c | 17727 | 1029 1219 263476 | 5000 4826 869 | 0.000 % | c | 17827 | 1029 1219 263476 | 5500 4926 869 | 0.000 % | c | 17977 | 1029 1219 263476 | 6050 5076 869 | 0.000 % | c =============================================================================== c New solution: 1737120 c Elapsed CPU time: 61.2997 s Remaining CPU time: 118.7 s c =============================================================================== c | 18155 | 1029 1220 264385 | 5000 5254 869 | 0.000 % | c | 18255 | 1029 1220 264385 | 5500 2727 869 | 0.000 % | c =============================================================================== c New solution: 1736909 c Elapsed CPU time: 62.3125 s Remaining CPU time: 117.687 s c =============================================================================== c | 18400 | 1029 1221 265294 | 5000 2872 869 | 0.000 % | c =============================================================================== c New solution: 1736898 c Elapsed CPU time: 62.5345 s Remaining CPU time: 117.466 s c =============================================================================== c | 18423 | 1029 1222 266203 | 5000 2895 869 | 0.000 % | c =============================================================================== c New solution: 1736769 c Elapsed CPU time: 62.7815 s Remaining CPU time: 117.219 s c =============================================================================== c | 18462 | 1029 1223 267112 | 5000 2934 869 | 0.000 % | c =============================================================================== c New solution: 1736736 c Elapsed CPU time: 62.9444 s Remaining CPU time: 117.056 s c =============================================================================== c | 18465 | 1029 1224 268021 | 5000 2937 869 | 0.000 % | c =============================================================================== c New solution: 1736633 c Elapsed CPU time: 63.1264 s Remaining CPU time: 116.874 s c =============================================================================== c | 18470 | 1029 1225 268930 | 5000 2942 869 | 0.000 % | c =============================================================================== c New solution: 1736606 c Elapsed CPU time: 63.5183 s Remaining CPU time: 116.482 s c =============================================================================== c | 18543 | 1029 1226 269839 | 5000 3015 869 | 0.000 % | c | 18643 | 1029 1226 269839 | 5500 3115 869 | 0.000 % | c =============================================================================== c New solution: 1736579 c Elapsed CPU time: 64.6192 s Remaining CPU time: 115.381 s c =============================================================================== c | 18792 | 1029 1227 270748 | 5000 3264 869 | 0.000 % | c =============================================================================== c New solution: 1736562 c Elapsed CPU time: 64.9891 s Remaining CPU time: 115.011 s c =============================================================================== c | 18862 | 1029 1228 271657 | 5000 3334 869 | 0.000 % | c =============================================================================== c New solution: 1736555 c Elapsed CPU time: 65.2351 s Remaining CPU time: 114.765 s c =============================================================================== c | 18887 | 1029 1229 272566 | 5000 3359 869 | 0.000 % | c | 18988 | 1029 1229 272566 | 5500 3460 869 | 0.000 % | c =============================================================================== c New solution: 1736528 c Elapsed CPU time: 66.1199 s Remaining CPU time: 113.88 s c =============================================================================== c | 19092 | 1029 1230 273475 | 5000 3564 869 | 0.000 % | c =============================================================================== c New solution: 1736510 c Elapsed CPU time: 66.3589 s Remaining CPU time: 113.641 s c =============================================================================== c | 19117 | 1029 1231 274384 | 5000 3589 869 | 0.000 % | c =============================================================================== c New solution: 1736499 c Elapsed CPU time: 66.6469 s Remaining CPU time: 113.353 s c =============================================================================== c | 19160 | 1029 1232 275293 | 5000 3632 869 | 0.000 % | c =============================================================================== c New solution: 1736445 c Elapsed CPU time: 66.8258 s Remaining CPU time: 113.174 s c =============================================================================== c | 19162 | 1029 1233 276202 | 5000 3634 869 | 0.000 % | c | 19263 | 1029 1233 276202 | 5500 3735 869 | 0.000 % | c =============================================================================== c New solution: 1736417 c Elapsed CPU time: 67.6307 s Remaining CPU time: 112.369 s c =============================================================================== c | 19319 | 1029 1234 277111 | 5000 3791 868 | 0.000 % | c =============================================================================== c New solution: 1736328 c Elapsed CPU time: 67.8077 s Remaining CPU time: 112.192 s c =============================================================================== c | 19319 | 1029 1235 278020 | 5000 3791 868 | 0.000 % | c =============================================================================== c New solution: 1736170 c Elapsed CPU time: 68.1826 s Remaining CPU time: 111.817 s c =============================================================================== c | 19401 | 1029 1236 278929 | 5000 3873 868 | 0.000 % | c =============================================================================== c New solution: 1736143 c Elapsed CPU time: 68.4986 s Remaining CPU time: 111.501 s c =============================================================================== c | 19479 | 1029 1237 279838 | 5000 3951 868 | 0.000 % | c =============================================================================== c New solution: 1736139 c Elapsed CPU time: 68.6626 s Remaining CPU time: 111.337 s c =============================================================================== c | 19493 | 1029 1238 280747 | 5000 3965 868 | 0.000 % | c =============================================================================== c New solution: 1735963 c Elapsed CPU time: 68.9385 s Remaining CPU time: 111.061 s c =============================================================================== c | 19539 | 1029 1239 281656 | 5000 4011 868 | 0.000 % | c | 19640 | 1029 1239 281656 | 5500 4112 868 | 0.000 % | c | 19791 | 1029 1239 281656 | 6050 4263 868 | 0.000 % | c =============================================================================== c New solution: 1735957 c Elapsed CPU time: 70.5933 s Remaining CPU time: 109.407 s c =============================================================================== c | 19976 | 1029 1240 282565 | 5000 4448 868 | 0.000 % | c =============================================================================== c New solution: 1735921 c Elapsed CPU time: 70.7272 s Remaining CPU time: 109.273 s c =============================================================================== c | 19976 | 1029 1241 283474 | 5000 4448 868 | 0.000 % | c =============================================================================== c New solution: 1735897 c Elapsed CPU time: 70.8712 s Remaining CPU time: 109.129 s c =============================================================================== c | 19977 | 1029 1242 284383 | 5000 4449 868 | 0.000 % | c =============================================================================== c New solution: 1735777 c Elapsed CPU time: 71.2332 s Remaining CPU time: 108.767 s c =============================================================================== c | 20046 | 1029 1243 285292 | 5000 4518 868 | 0.000 % | c =============================================================================== c New solution: 1735742 c Elapsed CPU time: 71.3841 s Remaining CPU time: 108.616 s c =============================================================================== c | 20048 | 1029 1244 286201 | 5000 4520 868 | 0.000 % | c =============================================================================== c New solution: 1735706 c Elapsed CPU time: 71.5241 s Remaining CPU time: 108.476 s c =============================================================================== c | 20048 | 1029 1245 287110 | 5000 4520 868 | 0.000 % | c =============================================================================== c New solution: 1735552 c Elapsed CPU time: 71.6691 s Remaining CPU time: 108.331 s c =============================================================================== c | 20048 | 1029 1246 288019 | 5000 4520 868 | 0.000 % | c =============================================================================== c New solution: 1735327 c Elapsed CPU time: 71.8161 s Remaining CPU time: 108.184 s c =============================================================================== c | 20048 | 1029 1247 288928 | 5000 4520 868 | 0.000 % | c =============================================================================== c New solution: 1735281 c Elapsed CPU time: 71.9591 s Remaining CPU time: 108.041 s c =============================================================================== c | 20049 | 1029 1248 289837 | 5000 4521 868 | 0.000 % | c =============================================================================== c New solution: 1735248 c Elapsed CPU time: 72.112 s Remaining CPU time: 107.888 s c =============================================================================== c | 20050 | 1029 1249 290746 | 5000 4522 868 | 0.000 % | c =============================================================================== c New solution: 1735043 c Elapsed CPU time: 72.261 s Remaining CPU time: 107.739 s c =============================================================================== c | 20051 | 1029 1250 291655 | 5000 4523 868 | 0.000 % | c =============================================================================== c New solution: 1735011 c Elapsed CPU time: 72.398 s Remaining CPU time: 107.602 s c =============================================================================== c | 20051 | 1029 1251 292564 | 5000 4523 868 | 0.000 % | c =============================================================================== c New solution: 1735009 c Elapsed CPU time: 72.538 s Remaining CPU time: 107.462 s c =============================================================================== c | 20051 | 1029 1252 293473 | 5000 4523 868 | 0.000 % | c =============================================================================== c New solution: 1735002 c Elapsed CPU time: 72.683 s Remaining CPU time: 107.317 s c =============================================================================== c | 20051 | 1029 1253 294382 | 5000 4523 868 | 0.000 % | c =============================================================================== c New solution: 1734981 c Elapsed CPU time: 72.8309 s Remaining CPU time: 107.169 s c =============================================================================== c | 20051 | 1029 1254 295291 | 5000 4523 868 | 0.000 % | c =============================================================================== c New solution: 1734945 c Elapsed CPU time: 72.9779 s Remaining CPU time: 107.022 s c =============================================================================== c | 20051 | 1029 1255 296200 | 5000 4523 868 | 0.000 % | c =============================================================================== c New solution: 1734801 c Elapsed CPU time: 73.1269 s Remaining CPU time: 106.873 s c =============================================================================== c | 20051 | 1029 1256 297109 | 5000 4523 868 | 0.000 % | c =============================================================================== c New solution: 1734721 c Elapsed CPU time: 73.2759 s Remaining CPU time: 106.724 s c =============================================================================== c | 20051 | 1029 1257 298018 | 5000 4523 868 | 0.000 % | c =============================================================================== c New solution: 1734710 c Elapsed CPU time: 73.4238 s Remaining CPU time: 106.576 s c =============================================================================== c | 20052 | 1029 1258 298927 | 5000 4524 868 | 0.000 % | c =============================================================================== c New solution: 1734681 c Elapsed CPU time: 73.6408 s Remaining CPU time: 106.359 s c =============================================================================== c | 20069 | 1029 1259 299836 | 5000 4541 868 | 0.000 % | c | 20171 | 1029 1259 299836 | 5500 4643 868 | 0.000 % | c =============================================================================== c New solution: 1734552 c Elapsed CPU time: 74.3257 s Remaining CPU time: 105.674 s c =============================================================================== c | 20190 | 1029 1260 300745 | 5000 4662 868 | 0.000 % | c =============================================================================== c New solution: 1734449 c Elapsed CPU time: 74.4747 s Remaining CPU time: 105.525 s c =============================================================================== c | 20190 | 1029 1261 301654 | 5000 4662 868 | 0.000 % | c =============================================================================== c New solution: 1734429 c Elapsed CPU time: 74.6387 s Remaining CPU time: 105.361 s c =============================================================================== c | 20191 | 1029 1262 302563 | 5000 4663 868 | 0.000 % | c =============================================================================== c New solution: 1734407 c Elapsed CPU time: 74.7966 s Remaining CPU time: 105.203 s c =============================================================================== c | 20192 | 1029 1263 303472 | 5000 4664 868 | 0.000 % | c =============================================================================== c New solution: 1734345 c Elapsed CPU time: 74.9476 s Remaining CPU time: 105.052 s c =============================================================================== c | 20192 | 1029 1264 304381 | 5000 4664 868 | 0.000 % | c | 20292 | 1029 1264 304381 | 5500 4764 868 | 0.000 % | c =============================================================================== c New solution: 1734337 c Elapsed CPU time: 75.6525 s Remaining CPU time: 104.348 s c =============================================================================== c | 20350 | 1029 1265 305290 | 5000 4822 868 | 0.000 % | c =============================================================================== c New solution: 1734316 c Elapsed CPU time: 75.8335 s Remaining CPU time: 104.167 s c =============================================================================== c | 20354 | 1029 1266 306199 | 5000 4826 868 | 0.000 % | c =============================================================================== c New solution: 1734133 c Elapsed CPU time: 75.9964 s Remaining CPU time: 104.004 s c =============================================================================== c | 20356 | 1029 1267 307108 | 5000 4828 868 | 0.000 % | c | 20456 | 1029 1267 307108 | 5500 4928 867 | 0.000 % | c =============================================================================== c New solution: 1734117 c Elapsed CPU time: 76.8123 s Remaining CPU time: 103.188 s c =============================================================================== c | 20523 | 1029 1268 308017 | 5000 4995 867 | 0.000 % | c =============================================================================== c New solution: 1734094 c Elapsed CPU time: 77.2003 s Remaining CPU time: 102.8 s c =============================================================================== c | 20602 | 1029 1269 308926 | 5000 5074 867 | 0.000 % | c =============================================================================== c New solution: 1734027 c Elapsed CPU time: 77.5772 s Remaining CPU time: 102.423 s c =============================================================================== c | 20675 | 1029 1270 309835 | 5000 2610 865 | 0.000 % | c =============================================================================== c New solution: 1733976 c Elapsed CPU time: 77.9092 s Remaining CPU time: 102.091 s c =============================================================================== c | 20753 | 1029 1271 310744 | 5000 2688 865 | 0.000 % | c =============================================================================== c New solution: 1733965 c Elapsed CPU time: 78.1361 s Remaining CPU time: 101.864 s c =============================================================================== c | 20778 | 1029 1272 311653 | 5000 2713 865 | 0.000 % | c | 20879 | 1029 1272 311653 | 5500 2814 865 | 0.000 % | c =============================================================================== c New solution: 1733868 c Elapsed CPU time: 78.895 s Remaining CPU time: 101.105 s c =============================================================================== c | 20928 | 1029 1273 312562 | 5000 2863 865 | 0.000 % | c | 21030 | 1029 1273 312562 | 5500 2965 865 | 0.000 % | c | 21182 | 1029 1273 312562 | 6050 3117 864 | 0.000 % | c =============================================================================== c New solution: 1733852 c Elapsed CPU time: 80.4868 s Remaining CPU time: 99.5132 s c =============================================================================== c | 21292 | 1029 1274 313471 | 5000 3227 864 | 0.000 % | c =============================================================================== c New solution: 1733847 c Elapsed CPU time: 80.9567 s Remaining CPU time: 99.0433 s c =============================================================================== c | 21376 | 1029 1275 314380 | 5000 3311 864 | 0.000 % | c | 21476 | 1029 1275 314380 | 5500 3411 864 | 0.000 % | c =============================================================================== c New solution: 1733787 c Elapsed CPU time: 81.8586 s Remaining CPU time: 98.1414 s c =============================================================================== c | 21550 | 1029 1276 315289 | 5000 3485 864 | 0.000 % | c | 21650 | 1029 1276 315289 | 5500 3585 864 | 0.000 % | c =============================================================================== c New solution: 1733764 c Elapsed CPU time: 82.9124 s Remaining CPU time: 97.0876 s c =============================================================================== c | 21790 | 1029 1277 316198 | 5000 3725 863 | 0.000 % | c =============================================================================== c New solution: 1733673 c Elapsed CPU time: 83.2513 s Remaining CPU time: 96.7487 s c =============================================================================== c | 21836 | 1029 1278 317107 | 5000 3771 863 | 0.000 % | c | 21936 | 1029 1278 317107 | 5500 3871 863 | 0.000 % | c | 22087 | 1029 1278 317107 | 6050 4022 863 | 0.000 % | c =============================================================================== c New solution: 1733635 c Elapsed CPU time: 84.6561 s Remaining CPU time: 95.3439 s c =============================================================================== c | 22119 | 1029 1279 318016 | 5000 4054 863 | 0.000 % | c =============================================================================== c New solution: 1733507 c Elapsed CPU time: 84.8571 s Remaining CPU time: 95.1429 s c =============================================================================== c | 22120 | 1029 1280 318925 | 5000 4055 863 | 0.000 % | c | 22220 | 1029 1280 318925 | 5500 4155 863 | 0.000 % | c | 22370 | 1029 1280 318925 | 6050 4305 863 | 0.000 % | c | 22595 | 1029 1280 318925 | 6655 4530 863 | 0.000 % | c =============================================================================== c New solution: 1733495 c Elapsed CPU time: 87.1807 s Remaining CPU time: 92.8193 s c =============================================================================== c | 22658 | 1029 1281 319834 | 5000 4593 862 | 0.000 % | c =============================================================================== c New solution: 1733454 c Elapsed CPU time: 87.4227 s Remaining CPU time: 92.5773 s c =============================================================================== c | 22672 | 1029 1282 320743 | 5000 4607 862 | 0.000 % | c | 22772 | 1029 1282 320743 | 5500 4707 862 | 0.000 % | c =============================================================================== c New solution: 1733436 c Elapsed CPU time: 88.1416 s Remaining CPU time: 91.8584 s c =============================================================================== c | 22787 | 1029 1283 321652 | 5000 4722 862 | 0.000 % | c | 22889 | 1029 1283 321652 | 5500 4824 862 | 0.000 % | c | 23041 | 1029 1283 321652 | 6050 4976 862 | 0.000 % | c =============================================================================== c New solution: 1733413 c Elapsed CPU time: 89.5954 s Remaining CPU time: 90.4046 s c =============================================================================== c | 23090 | 1029 1284 322561 | 5000 5025 862 | 0.000 % | c | 23190 | 1029 1284 322561 | 5500 2613 859 | 0.000 % | c | 23340 | 1029 1284 322561 | 6050 2763 859 | 0.000 % | c =============================================================================== c New solution: 1733411 c Elapsed CPU time: 91.3151 s Remaining CPU time: 88.6849 s c =============================================================================== c | 23454 | 1029 1285 323470 | 5000 2877 859 | 0.000 % | c =============================================================================== c New solution: 1733357 c Elapsed CPU time: 91.5131 s Remaining CPU time: 88.4869 s c =============================================================================== c | 23466 | 1029 1286 324379 | 5000 2889 859 | 0.000 % | c | 23566 | 1029 1286 324379 | 5500 2989 859 | 0.000 % | c =============================================================================== c New solution: 1733333 c Elapsed CPU time: 92.274 s Remaining CPU time: 87.726 s c =============================================================================== c | 23595 | 1029 1287 325288 | 5000 3018 859 | 0.000 % | c =============================================================================== c New solution: 1733290 c Elapsed CPU time: 92.7549 s Remaining CPU time: 87.2451 s c =============================================================================== c | 23681 | 1029 1288 326197 | 5000 3104 859 | 0.000 % | c =============================================================================== c New solution: 1733275 c Elapsed CPU time: 93.1578 s Remaining CPU time: 86.8422 s c =============================================================================== c | 23756 | 1029 1289 327106 | 5000 3179 858 | 0.000 % | c | 23856 | 1029 1289 327106 | 5500 3279 858 | 0.000 % | c =============================================================================== c New solution: 1733250 c Elapsed CPU time: 94.1667 s Remaining CPU time: 85.8333 s c =============================================================================== c | 23968 | 1029 1290 328015 | 5000 3391 858 | 0.000 % | c =============================================================================== c New solution: 1733108 c Elapsed CPU time: 94.3487 s Remaining CPU time: 85.6513 s c =============================================================================== c | 23972 | 1029 1291 328924 | 5000 3395 858 | 0.000 % | c | 24072 | 1029 1291 328924 | 5500 3495 858 | 0.000 % | c =============================================================================== c New solution: 1733017 c Elapsed CPU time: 95.2435 s Remaining CPU time: 84.7565 s c =============================================================================== c | 24147 | 1029 1292 329833 | 5000 3570 858 | 0.000 % | c =============================================================================== c New solution: 1732921 c Elapsed CPU time: 95.6395 s Remaining CPU time: 84.3605 s c =============================================================================== c | 24236 | 1029 1293 330742 | 5000 3659 859 | 0.000 % | c | 24336 | 1029 1293 330742 | 5500 3759 859 | 0.000 % | c | 24486 | 1029 1293 330742 | 6050 3909 859 | 0.000 % | c =============================================================================== c New solution: 1732898 c Elapsed CPU time: 97.1522 s Remaining CPU time: 82.8478 s c =============================================================================== c | 24550 | 1029 1294 331651 | 5000 3973 859 | 0.000 % | c =============================================================================== c New solution: 1732871 c Elapsed CPU time: 97.5862 s Remaining CPU time: 82.4138 s c =============================================================================== c | 24629 | 1029 1295 332560 | 5000 4052 859 | 0.000 % | c | 24730 | 1029 1295 332560 | 5500 4153 859 | 0.000 % | c =============================================================================== c New solution: 1732865 c Elapsed CPU time: 98.393 s Remaining CPU time: 81.607 s c =============================================================================== c | 24759 | 1029 1296 333469 | 5000 4182 859 | 0.000 % | c | 24860 | 1029 1296 333469 | 5500 4283 859 | 0.000 % | c | 25011 | 1029 1296 333469 | 6050 4434 859 | 0.000 % | c =============================================================================== c New solution: 1732857 c Elapsed CPU time: 99.7158 s Remaining CPU time: 80.2842 s c =============================================================================== c | 25030 | 1029 1297 334378 | 5000 4453 859 | 0.000 % | c =============================================================================== c New solution: 1732854 c Elapsed CPU time: 100.026 s Remaining CPU time: 79.9742 s c =============================================================================== c | 25069 | 1029 1298 335287 | 5000 4492 859 | 0.000 % | c =============================================================================== c New solution: 1732689 c Elapsed CPU time: 100.221 s Remaining CPU time: 79.7792 s c =============================================================================== c | 25076 | 1029 1299 336196 | 5000 4499 859 | 0.000 % | c | 25176 | 1029 1299 336196 | 5500 4599 859 | 0.000 % | c | 25327 | 1029 1299 336196 | 6050 4750 859 | 0.000 % | c =============================================================================== c New solution: 1732671 c Elapsed CPU time: 101.953 s Remaining CPU time: 78.0475 s c =============================================================================== c | 25454 | 1029 1300 337105 | 5000 4877 859 | 0.000 % | c | 25556 | 1029 1300 337105 | 5500 4979 859 | 0.000 % | c =============================================================================== c New solution: 1732658 c Elapsed CPU time: 102.988 s Remaining CPU time: 77.0117 s c =============================================================================== c | 25664 | 1029 1301 338014 | 5000 5087 859 | 0.000 % | c | 25764 | 1029 1301 338014 | 5500 2644 859 | 0.000 % | c =============================================================================== c New solution: 1732643 c Elapsed CPU time: 103.781 s Remaining CPU time: 76.2188 s c =============================================================================== c | 25788 | 1029 1302 338923 | 5000 2668 859 | 0.000 % | c =============================================================================== c New solution: 1732633 c Elapsed CPU time: 104.127 s Remaining CPU time: 75.8728 s c =============================================================================== c | 25848 | 1029 1303 339832 | 5000 2728 859 | 0.000 % | c =============================================================================== c New solution: 1732568 c Elapsed CPU time: 104.306 s Remaining CPU time: 75.6939 s c =============================================================================== c | 25851 | 1029 1304 340741 | 5000 2731 859 | 0.000 % | c | 25951 | 1029 1304 340741 | 5500 2831 859 | 0.000 % | c | 26101 | 1029 1304 340741 | 6050 2981 859 | 0.000 % | c =============================================================================== c New solution: 1732561 c Elapsed CPU time: 106.597 s Remaining CPU time: 73.4032 s c =============================================================================== c | 26297 | 1029 1305 341650 | 5000 3177 859 | 0.000 % | c =============================================================================== c New solution: 1732441 c Elapsed CPU time: 107.113 s Remaining CPU time: 72.8873 s c =============================================================================== c | 26391 | 1029 1306 342559 | 5000 3271 859 | 0.000 % | c | 26492 | 1029 1306 342559 | 5500 3372 859 | 0.000 % | c =============================================================================== c New solution: 1732329 c Elapsed CPU time: 107.997 s Remaining CPU time: 72.0034 s c =============================================================================== c | 26543 | 1029 1307 343468 | 5000 3423 859 | 0.000 % | c =============================================================================== c New solution: 1732302 c Elapsed CPU time: 108.306 s Remaining CPU time: 71.6945 s c =============================================================================== c | 26570 | 1029 1308 344377 | 5000 3450 859 | 0.000 % | c =============================================================================== c New solution: 1732285 c Elapsed CPU time: 108.727 s Remaining CPU time: 71.2725 s c =============================================================================== c | 26621 | 1029 1309 345286 | 5000 3501 859 | 0.000 % | c =============================================================================== c New solution: 1732254 c Elapsed CPU time: 108.958 s Remaining CPU time: 71.0416 s c =============================================================================== c | 26637 | 1029 1310 346195 | 5000 3517 859 | 0.000 % | c =============================================================================== c New solution: 1732069 c Elapsed CPU time: 109.164 s Remaining CPU time: 70.8356 s c =============================================================================== c | 26639 | 1029 1311 347104 | 5000 3519 859 | 0.000 % | c =============================================================================== c New solution: 1731995 c Elapsed CPU time: 109.347 s Remaining CPU time: 70.6526 s c =============================================================================== c | 26641 | 1029 1312 348013 | 5000 3521 859 | 0.000 % | c | 26744 | 1029 1312 348013 | 5500 3624 860 | 0.000 % | c | 26896 | 1029 1312 348013 | 6050 3776 860 | 0.000 % | c =============================================================================== c New solution: 1731986 c Elapsed CPU time: 111.136 s Remaining CPU time: 68.8639 s c =============================================================================== c | 26997 | 1029 1313 348922 | 5000 3877 860 | 0.000 % | c | 27097 | 1029 1313 348922 | 5500 3977 860 | 0.000 % | c =============================================================================== c New solution: 1731967 c Elapsed CPU time: 112.136 s Remaining CPU time: 67.864 s c =============================================================================== c | 27188 | 1029 1314 349831 | 5000 4068 860 | 0.000 % | c =============================================================================== c New solution: 1731949 c Elapsed CPU time: 112.481 s Remaining CPU time: 67.5191 s c =============================================================================== c | 27237 | 1029 1315 350740 | 5000 4117 860 | 0.000 % | c | 27338 | 1029 1315 350740 | 5500 4218 860 | 0.000 % | c | 27489 | 1029 1315 350740 | 6050 4369 860 | 0.000 % | c =============================================================================== c New solution: 1731883 c Elapsed CPU time: 114.375 s Remaining CPU time: 65.6254 s c =============================================================================== c | 27615 | 1029 1316 351649 | 5000 4495 860 | 0.000 % | c =============================================================================== c New solution: 1731855 c Elapsed CPU time: 114.86 s Remaining CPU time: 65.1405 s c =============================================================================== c | 27706 | 1029 1317 352558 | 5000 4586 860 | 0.000 % | c =============================================================================== c New solution: 1731822 c Elapsed CPU time: 115.328 s Remaining CPU time: 64.6715 s c =============================================================================== c | 27793 | 1029 1318 353467 | 5000 4673 860 | 0.000 % | c =============================================================================== c New solution: 1731746 c Elapsed CPU time: 115.518 s Remaining CPU time: 64.4816 s c =============================================================================== c | 27795 | 1029 1319 354376 | 5000 4675 860 | 0.000 % | c =============================================================================== c New solution: 1731706 c Elapsed CPU time: 115.722 s Remaining CPU time: 64.2776 s c =============================================================================== c | 27795 | 1029 1320 355285 | 5000 4675 860 | 0.000 % | c =============================================================================== c New solution: 1731589 c Elapsed CPU time: 115.921 s Remaining CPU time: 64.0786 s c =============================================================================== c | 27795 | 1029 1321 356194 | 5000 4675 860 | 0.000 % | c =============================================================================== c New solution: 1731517 c Elapsed CPU time: 116.113 s Remaining CPU time: 63.8867 s c =============================================================================== c | 27795 | 1029 1322 357103 | 5000 4675 860 | 0.000 % | c =============================================================================== c New solution: 1731305 c Elapsed CPU time: 116.289 s Remaining CPU time: 63.7107 s c =============================================================================== c | 27796 | 1029 1323 358012 | 5000 4676 860 | 0.000 % | c =============================================================================== c New solution: 1731273 c Elapsed CPU time: 116.47 s Remaining CPU time: 63.5297 s c =============================================================================== c | 27796 | 1029 1324 358921 | 5000 4676 860 | 0.000 % | c =============================================================================== c New solution: 1731128 c Elapsed CPU time: 116.665 s Remaining CPU time: 63.3347 s c =============================================================================== c | 27796 | 1029 1325 359830 | 5000 4676 860 | 0.000 % | c =============================================================================== c New solution: 1731123 c Elapsed CPU time: 116.91 s Remaining CPU time: 63.0898 s c =============================================================================== c | 27804 | 1029 1326 360739 | 5000 4684 860 | 0.000 % | c =============================================================================== c New solution: 1730938 c Elapsed CPU time: 117.107 s Remaining CPU time: 62.8928 s c =============================================================================== c | 27805 | 1029 1327 361648 | 5000 4685 860 | 0.000 % | c =============================================================================== c New solution: 1730894 c Elapsed CPU time: 117.486 s Remaining CPU time: 62.5139 s c =============================================================================== c | 27856 | 1029 1328 362557 | 5000 4736 860 | 0.000 % | c =============================================================================== c New solution: 1730841 c Elapsed CPU time: 117.868 s Remaining CPU time: 62.1319 s c =============================================================================== c | 27924 | 1029 1329 363466 | 5000 4804 860 | 0.000 % | c =============================================================================== c New solution: 1730834 c Elapsed CPU time: 118.221 s Remaining CPU time: 61.779 s c =============================================================================== c | 27975 | 1029 1330 364375 | 5000 4855 860 | 0.000 % | c | 28075 | 1029 1330 364375 | 5500 4955 860 | 0.000 % | c =============================================================================== c New solution: 1730814 c Elapsed CPU time: 119.416 s Remaining CPU time: 60.5842 s c =============================================================================== c | 28187 | 1029 1331 365284 | 5000 5067 860 | 0.000 % | c | 28287 | 1029 1331 365284 | 5500 2634 861 | 0.000 % | c =============================================================================== c New solution: 1730765 c Elapsed CPU time: 120.495 s Remaining CPU time: 59.5053 s c =============================================================================== c | 28404 | 1029 1332 366193 | 5000 2751 860 | 0.000 % | c =============================================================================== c New solution: 1730617 c Elapsed CPU time: 120.711 s Remaining CPU time: 59.2894 s c =============================================================================== c | 28411 | 1029 1333 367102 | 5000 2758 860 | 0.000 % | c | 28514 | 1029 1333 367102 | 5500 2861 861 | 0.000 % | c | 28665 | 1029 1333 367102 | 6050 3012 861 | 0.000 % | c =============================================================================== c New solution: 1730609 c Elapsed CPU time: 123.023 s Remaining CPU time: 56.9767 s c =============================================================================== c | 28870 | 1029 1334 368011 | 5000 3217 861 | 0.000 % | c | 28970 | 1029 1334 368011 | 5500 3317 861 | 0.000 % | c =============================================================================== c New solution: 1730488 c Elapsed CPU time: 124.28 s Remaining CPU time: 55.7199 s c =============================================================================== c | 29102 | 1029 1335 368920 | 5000 3449 861 | 0.000 % | c | 29202 | 1029 1335 368920 | 5500 3549 861 | 0.000 % | c =============================================================================== c New solution: 1730476 c Elapsed CPU time: 125.386 s Remaining CPU time: 54.6141 s c =============================================================================== c | 29308 | 1029 1336 369829 | 5000 3655 861 | 0.000 % | c =============================================================================== c New solution: 1730320 c Elapsed CPU time: 125.583 s Remaining CPU time: 54.4171 s c =============================================================================== c | 29310 | 1029 1337 370738 | 5000 3657 861 | 0.000 % | c =============================================================================== c New solution: 1730301 c Elapsed CPU time: 125.952 s Remaining CPU time: 54.0481 s c =============================================================================== c | 29367 | 1029 1338 371647 | 5000 3714 861 | 0.000 % | c | 29469 | 1029 1338 371647 | 5500 3816 861 | 0.000 % | c =============================================================================== c New solution: 1730168 c Elapsed CPU time: 126.693 s Remaining CPU time: 53.3073 s c =============================================================================== c | 29474 | 1029 1339 372556 | 5000 3821 861 | 0.000 % | c =============================================================================== c New solution: 1730141 c Elapsed CPU time: 126.958 s Remaining CPU time: 53.0423 s c =============================================================================== c | 29494 | 1029 1340 373465 | 5000 3841 861 | 0.000 % | c =============================================================================== c New solution: 1730119 c Elapsed CPU time: 127.422 s Remaining CPU time: 52.5784 s c =============================================================================== c | 29568 | 1029 1341 374374 | 5000 3915 861 | 0.000 % | c | 29668 | 1029 1341 374374 | 5500 4015 861 | 0.000 % | c =============================================================================== c New solution: 1730083 c Elapsed CPU time: 128.638 s Remaining CPU time: 51.3616 s c =============================================================================== c | 29779 | 1029 1342 375283 | 5000 4126 861 | 0.000 % | c | 29880 | 1029 1342 375283 | 5500 4227 861 | 0.000 % | c =============================================================================== c New solution: 1730082 c Elapsed CPU time: 129.873 s Remaining CPU time: 50.1267 s c =============================================================================== c | 29996 | 1029 1343 376192 | 5000 4343 861 | 0.000 % | c | 30096 | 1029 1343 376192 | 5500 4443 861 | 0.000 % | c =============================================================================== c New solution: 1730058 c Elapsed CPU time: 130.922 s Remaining CPU time: 49.0779 s c =============================================================================== c | 30207 | 1029 1344 377101 | 5000 4554 861 | 0.000 % | c =============================================================================== c New solution: 1729982 c Elapsed CPU time: 131.141 s Remaining CPU time: 48.8589 s c =============================================================================== c | 30215 | 1029 1345 378010 | 5000 4562 861 | 0.000 % | c =============================================================================== c New solution: 1729909 c Elapsed CPU time: 131.388 s Remaining CPU time: 48.612 s c =============================================================================== c | 30227 | 1029 1346 378919 | 5000 4574 861 | 0.000 % | c =============================================================================== c New solution: 1729892 c Elapsed CPU time: 131.819 s Remaining CPU time: 48.181 s c =============================================================================== c | 30289 | 1029 1347 379828 | 5000 4636 861 | 0.000 % | c =============================================================================== c New solution: 1729675 c Elapsed CPU time: 132.191 s Remaining CPU time: 47.8091 s c =============================================================================== c | 30333 | 1029 1348 380737 | 5000 4680 861 | 0.000 % | c | 30433 | 1029 1348 380737 | 5500 4780 861 | 0.000 % | c =============================================================================== c New solution: 1729417 c Elapsed CPU time: 133.05 s Remaining CPU time: 46.9502 s c =============================================================================== c | 30452 | 1029 1349 381646 | 5000 4799 861 | 0.000 % | c =============================================================================== c New solution: 1729211 c Elapsed CPU time: 133.466 s Remaining CPU time: 46.5343 s c =============================================================================== c | 30507 | 1029 1350 382555 | 5000 4854 861 | 0.000 % | c | 30608 | 1029 1350 382555 | 5500 4955 861 | 0.000 % | c =============================================================================== c New solution: 1729193 c Elapsed CPU time: 134.792 s Remaining CPU time: 45.2085 s c =============================================================================== c | 30752 | 1029 1351 383464 | 5000 5099 860 | 0.000 % | c =============================================================================== c New solution: 1729192 c Elapsed CPU time: 135.071 s Remaining CPU time: 44.9285 s c =============================================================================== c | 30768 | 1029 1352 384373 | 5000 2566 860 | 0.000 % | c =============================================================================== c New solution: 1729066 c Elapsed CPU time: 135.318 s Remaining CPU time: 44.6816 s c =============================================================================== c | 30778 | 1029 1353 385282 | 5000 2576 860 | 0.000 % | c =============================================================================== c New solution: 1728965 c Elapsed CPU time: 135.565 s Remaining CPU time: 44.4346 s c =============================================================================== c | 30785 | 1029 1354 386191 | 5000 2583 860 | 0.000 % | c | 30886 | 1029 1354 386191 | 5500 2684 860 | 0.000 % | c | 31036 | 1029 1354 386191 | 6050 2834 860 | 0.000 % | c =============================================================================== c New solution: 1728957 c Elapsed CPU time: 137.12 s Remaining CPU time: 42.8798 s c =============================================================================== c | 31038 | 1029 1355 387100 | 5000 2836 860 | 0.000 % | c =============================================================================== c New solution: 1728924 c Elapsed CPU time: 137.64 s Remaining CPU time: 42.3599 s c =============================================================================== c | 31106 | 1029 1356 388009 | 5000 2904 860 | 0.000 % | c | 31206 | 1029 1356 388009 | 5500 3004 860 | 0.000 % | c =============================================================================== c New solution: 1728856 c Elapsed CPU time: 138.937 s Remaining CPU time: 41.0631 s c =============================================================================== c | 31337 | 1029 1357 388918 | 5000 3135 860 | 0.000 % | c =============================================================================== c New solution: 1728772 c Elapsed CPU time: 139.21 s Remaining CPU time: 40.7902 s c =============================================================================== c | 31358 | 1029 1358 389827 | 5000 3156 860 | 0.000 % | c =============================================================================== c New solution: 1728628 c Elapsed CPU time: 139.434 s Remaining CPU time: 40.5662 s c =============================================================================== c | 31361 | 1029 1359 390736 | 5000 3159 860 | 0.000 % | c | 31461 | 1029 1359 390736 | 5500 3259 860 | 0.000 % | c | 31613 | 1029 1359 390736 | 6050 3411 860 | 0.000 % | c =============================================================================== c New solution: 1728604 c Elapsed CPU time: 141.102 s Remaining CPU time: 38.8985 s c =============================================================================== c | 31640 | 1029 1360 391645 | 5000 3438 860 | 0.000 % | c | 31740 | 1029 1360 391645 | 5500 3538 860 | 0.000 % | c =============================================================================== c New solution: 1728466 c Elapsed CPU time: 141.869 s Remaining CPU time: 38.1306 s c =============================================================================== c | 31742 | 1029 1361 392554 | 5000 3540 860 | 0.000 % | c =============================================================================== c New solution: 1728346 c Elapsed CPU time: 142.172 s Remaining CPU time: 37.8276 s c =============================================================================== c | 31764 | 1029 1362 393463 | 5000 3562 860 | 0.000 % | c =============================================================================== c New solution: 1728344 c Elapsed CPU time: 142.746 s Remaining CPU time: 37.2537 s c =============================================================================== c | 31859 | 1029 1363 394372 | 5000 3657 860 | 0.000 % | c =============================================================================== c New solution: 1728195 c Elapsed CPU time: 143.134 s Remaining CPU time: 36.8658 s c =============================================================================== c | 31902 | 1029 1364 395281 | 5000 3700 860 | 0.000 % | c | 32002 | 1029 1364 395281 | 5500 3800 860 | 0.000 % | c =============================================================================== c New solution: 1728107 c Elapsed CPU time: 144.219 s Remaining CPU time: 35.7809 s c =============================================================================== c | 32081 | 1029 1365 396190 | 5000 3879 860 | 0.000 % | c =============================================================================== c New solution: 1728098 c Elapsed CPU time: 144.719 s Remaining CPU time: 35.281 s c =============================================================================== c | 32164 | 1029 1366 397099 | 5000 3962 860 | 0.000 % | c =============================================================================== c New solution: 1728013 c Elapsed CPU time: 145.068 s Remaining CPU time: 34.9321 s c =============================================================================== c | 32209 | 1029 1367 398008 | 5000 4007 860 | 0.000 % | c | 32309 | 1029 1367 398008 | 5500 4107 860 | 0.000 % | c | 32460 | 1029 1367 398008 | 6050 4258 860 | 0.000 % | c =============================================================================== c New solution: 1727991 c Elapsed CPU time: 147.229 s Remaining CPU time: 32.7714 s c =============================================================================== c | 32648 | 1029 1368 398917 | 5000 4446 860 | 0.000 % | c =============================================================================== c New solution: 1727837 c Elapsed CPU time: 147.701 s Remaining CPU time: 32.2995 s c =============================================================================== c | 32731 | 1029 1369 399826 | 5000 4529 860 | 0.000 % | c | 32831 | 1029 1369 399826 | 5500 4629 860 | 0.000 % | c =============================================================================== c New solution: 1727740 c Elapsed CPU time: 148.675 s Remaining CPU time: 31.3246 s c =============================================================================== c | 32893 | 1029 1370 400735 | 5000 4691 860 | 0.000 % | c | 32993 | 1029 1370 400735 | 5500 4791 860 | 0.000 % | c =============================================================================== c New solution: 1727707 c Elapsed CPU time: 149.85 s Remaining CPU time: 30.1498 s c =============================================================================== c | 33124 | 1029 1371 401644 | 5000 4922 860 | 0.000 % | c =============================================================================== c New solution: 1727643 c Elapsed CPU time: 150.078 s Remaining CPU time: 29.9218 s c =============================================================================== c | 33126 | 1029 1372 402553 | 5000 4924 860 | 0.000 % | c =============================================================================== c New solution: 1727583 c Elapsed CPU time: 150.313 s Remaining CPU time: 29.6869 s c =============================================================================== c | 33130 | 1029 1373 403462 | 5000 4928 860 | 0.000 % | c | 33230 | 1029 1373 403462 | 5500 5028 860 | 0.000 % | c =============================================================================== c New solution: 1727545 c Elapsed CPU time: 151.289 s Remaining CPU time: 28.711 s c =============================================================================== c | 33289 | 1029 1374 404371 | 5000 5087 860 | 0.000 % | c =============================================================================== c New solution: 1727527 c Elapsed CPU time: 151.811 s Remaining CPU time: 28.1891 s c =============================================================================== c | 33379 | 1029 1375 405280 | 5000 2634 859 | 0.000 % | c | 33479 | 1029 1375 405280 | 5500 2734 859 | 0.000 % | c | 33629 | 1029 1375 405280 | 6050 2884 859 | 0.000 % | c =============================================================================== c New solution: 1727439 c Elapsed CPU time: 153.816 s Remaining CPU time: 26.1844 s c =============================================================================== c | 33736 | 1029 1376 406189 | 5000 2991 859 | 0.000 % | c | 33836 | 1029 1376 406189 | 5500 3091 859 | 0.000 % | c =============================================================================== c New solution: 1727407 c Elapsed CPU time: 154.952 s Remaining CPU time: 25.0476 s c =============================================================================== c | 33919 | 1029 1377 407098 | 5000 3174 859 | 0.000 % | c =============================================================================== c New solution: 1727390 c Elapsed CPU time: 155.631 s Remaining CPU time: 24.3687 s c =============================================================================== c | 34011 | 1029 1378 408007 | 5000 3266 859 | 0.000 % | c =============================================================================== c New solution: 1727179 c Elapsed CPU time: 155.907 s Remaining CPU time: 24.0927 s c =============================================================================== c | 34024 | 1029 1379 408916 | 5000 3279 859 | 0.000 % | c | 34124 | 1029 1379 408916 | 5500 3379 859 | 0.000 % | c =============================================================================== c New solution: 1727149 c Elapsed CPU time: 157.286 s Remaining CPU time: 22.7139 s c =============================================================================== c | 34250 | 1029 1380 409825 | 5000 3505 859 | 0.000 % | c | 34352 | 1029 1380 409825 | 5500 3607 859 | 0.000 % | c =============================================================================== c New solution: 1727038 c Elapsed CPU time: 158.179 s Remaining CPU time: 21.821 s c =============================================================================== c | 34372 | 1029 1381 410734 | 5000 3627 859 | 0.000 % | c =============================================================================== c New solution: 1726866 c Elapsed CPU time: 158.398 s Remaining CPU time: 21.6021 s c =============================================================================== c | 34376 | 1029 1382 411643 | 5000 3631 859 | 0.000 % | c | 34477 | 1029 1382 411643 | 5500 3732 859 | 0.000 % | c =============================================================================== c New solution: 1726849 c Elapsed CPU time: 159.512 s Remaining CPU time: 20.4882 s c =============================================================================== c | 34553 | 1029 1383 412552 | 5000 3808 859 | 0.000 % | c =============================================================================== c New solution: 1726822 c Elapsed CPU time: 159.749 s Remaining CPU time: 20.2513 s c =============================================================================== c | 34558 | 1029 1384 413461 | 5000 3813 859 | 0.000 % | c =============================================================================== c New solution: 1726790 c Elapsed CPU time: 159.955 s Remaining CPU time: 20.0453 s c =============================================================================== c | 34558 | 1029 1385 414370 | 5000 3813 859 | 0.000 % | c =============================================================================== c New solution: 1726727 c Elapsed CPU time: 160.186 s Remaining CPU time: 19.8144 s c =============================================================================== c | 34559 | 1029 1386 415279 | 5000 3814 859 | 0.000 % | c =============================================================================== c New solution: 1726580 c Elapsed CPU time: 160.409 s Remaining CPU time: 19.5914 s c =============================================================================== c | 34559 | 1029 1387 416188 | 5000 3814 859 | 0.000 % | c | 34660 | 1029 1387 416188 | 5500 3915 859 | 0.000 % | c =============================================================================== c New solution: 1726563 c Elapsed CPU time: 161.768 s Remaining CPU time: 18.2316 s c =============================================================================== c | 34793 | 1029 1388 417097 | 5000 4048 859 | 0.000 % | c =============================================================================== c New solution: 1726529 c Elapsed CPU time: 162.026 s Remaining CPU time: 17.9736 s c =============================================================================== c | 34795 | 1029 1389 418006 | 5000 4050 859 | 0.000 % | c | 34895 | 1029 1389 418006 | 5500 4150 859 | 0.000 % | c =============================================================================== c New solution: 1726481 c Elapsed CPU time: 162.864 s Remaining CPU time: 17.1358 s c =============================================================================== c | 34903 | 1029 1390 418915 | 5000 4158 859 | 0.000 % | c =============================================================================== c New solution: 1726130 c Elapsed CPU time: 163.231 s Remaining CPU time: 16.7688 s c =============================================================================== c | 34937 | 1029 1391 419824 | 5000 4192 859 | 0.000 % | c | 35037 | 1029 1391 419824 | 5500 4292 859 | 0.000 % | c =============================================================================== c New solution: 1726067 c Elapsed CPU time: 164.222 s Remaining CPU time: 15.778 s c =============================================================================== c | 35070 | 1029 1392 420733 | 5000 4325 859 | 0.000 % | c =============================================================================== c New solution: 1726060 c Elapsed CPU time: 164.503 s Remaining CPU time: 15.497 s c =============================================================================== c | 35079 | 1029 1393 421642 | 5000 4334 859 | 0.000 % | c =============================================================================== c New solution: 1726022 c Elapsed CPU time: 165.121 s Remaining CPU time: 14.8791 s c =============================================================================== c | 35175 | 1029 1394 422551 | 5000 4430 859 | 0.000 % | c =============================================================================== c New solution: 1725972 c Elapsed CPU time: 165.36 s Remaining CPU time: 14.6401 s c =============================================================================== c | 35175 | 1029 1395 423460 | 5000 4430 859 | 0.000 % | c =============================================================================== c New solution: 1725967 c Elapsed CPU time: 165.614 s Remaining CPU time: 14.3862 s c =============================================================================== c | 35175 | 1029 1396 424369 | 5000 4430 859 | 0.000 % | c =============================================================================== c New solution: 1725904 c Elapsed CPU time: 165.852 s Remaining CPU time: 14.1482 s c =============================================================================== c | 35175 | 1029 1397 425278 | 5000 4430 859 | 0.000 % | c =============================================================================== c New solution: 1725802 c Elapsed CPU time: 166.373 s Remaining CPU time: 13.6273 s c =============================================================================== c | 35237 | 1029 1398 426187 | 5000 4492 859 | 0.000 % | c =============================================================================== c New solution: 1725788 c Elapsed CPU time: 166.616 s Remaining CPU time: 13.3843 s c =============================================================================== c | 35238 | 1029 1399 427096 | 5000 4493 859 | 0.000 % | c =============================================================================== c New solution: 1725775 c Elapsed CPU time: 167.156 s Remaining CPU time: 12.8444 s c =============================================================================== c | 35323 | 1029 1400 428005 | 5000 4578 859 | 0.000 % | c =============================================================================== c New solution: 1725719 c Elapsed CPU time: 167.603 s Remaining CPU time: 12.3975 s c =============================================================================== c | 35386 | 1029 1401 428914 | 5000 4641 859 | 0.000 % | c =============================================================================== c New solution: 1725694 c Elapsed CPU time: 167.884 s Remaining CPU time: 12.1155 s c =============================================================================== c | 35399 | 1029 1402 429823 | 5000 4654 859 | 0.000 % | c | 35499 | 1029 1402 429823 | 5500 4754 859 | 0.000 % | c | 35650 | 1029 1402 429823 | 6050 4905 859 | 0.000 % | c =============================================================================== c New solution: 1725684 c Elapsed CPU time: 170.185 s Remaining CPU time: 9.81487 s c =============================================================================== c | 35847 | 1029 1403 430732 | 5000 5102 859 | 0.000 % | c | 35948 | 1029 1403 430732 | 5500 2652 859 | 0.000 % | c =============================================================================== c New solution: 1725646 c Elapsed CPU time: 171.341 s Remaining CPU time: 8.65905 s c =============================================================================== c | 36008 | 1029 1404 431641 | 5000 2712 860 | 0.000 % | c =============================================================================== c New solution: 1725586 c Elapsed CPU time: 171.817 s Remaining CPU time: 8.18312 s c =============================================================================== c | 36054 | 1029 1405 432550 | 5000 2758 860 | 0.000 % | c | 36154 | 1029 1405 432550 | 5500 2858 860 | 0.000 % | c =============================================================================== c New solution: 1725480 c Elapsed CPU time: 172.806 s Remaining CPU time: 7.19427 s c =============================================================================== c | 36161 | 1029 1406 433459 | 5000 2865 860 | 0.000 % | c =============================================================================== c New solution: 1725316 c Elapsed CPU time: 173.336 s Remaining CPU time: 6.66435 s c =============================================================================== c | 36234 | 1029 1407 434368 | 5000 2938 860 | 0.000 % | c | 36334 | 1029 1407 434368 | 5500 3038 860 | 0.000 % | c =============================================================================== c New solution: 1725310 c Elapsed CPU time: 174.236 s Remaining CPU time: 5.76449 s c =============================================================================== c | 36364 | 1029 1408 435277 | 5000 3068 860 | 0.000 % | c =============================================================================== c New solution: 1725288 c Elapsed CPU time: 174.454 s Remaining CPU time: 5.54552 s c =============================================================================== c | 36364 | 1029 1409 436186 | 5000 3068 860 | 0.000 % | c =============================================================================== c New solution: 1725106 c Elapsed CPU time: 174.785 s Remaining CPU time: 5.21457 s c =============================================================================== c | 36391 | 1029 1410 437095 | 5000 3095 860 | 0.000 % | c | 36492 | 1029 1410 437095 | 5500 3196 860 | 0.000 % | c | 36642 | 1029 1410 437095 | 6050 3346 860 | 0.000 % | c =============================================================================== c New solution: 1725018 c Elapsed CPU time: 176.603 s Remaining CPU time: 3.39685 s c =============================================================================== c | 36676 | 1029 1411 438004 | 5000 3380 860 | 0.000 % | c =============================================================================== c New solution: 1724992 c Elapsed CPU time: 177.145 s Remaining CPU time: 2.85493 s c =============================================================================== c | 36772 | 1029 1412 438913 | 5000 3476 860 | 0.000 % | c | 36872 | 1029 1412 438913 | 5500 3576 860 | 0.000 % | c =============================================================================== c New solution: 1724961 c Elapsed CPU time: 178.288 s Remaining CPU time: 1.7121 s c =============================================================================== c | 36955 | 1029 1413 439822 | 5000 3659 860 | 0.000 % | c | 37056 | 1029 1413 439822 | 5500 3760 860 | 0.000 % | c =============================================================================== c New solution: 1724858 c Elapsed CPU time: 179.637 s Remaining CPU time: 0.363309 s c =============================================================================== c | 37144 | 1029 1414 440731 | 5000 3848 860 | 0.000 % | c =============================================================================== c New solution: 1724525 c Elapsed CPU time: 179.883 s Remaining CPU time: 0.117347 s c =============================================================================== c | 37146 | 1029 1415 441640 | 5000 3850 860 | 0.000 % | c There are 0 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 | 149 2379 2959 | 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 | 167 2391 3077 | 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 | 185 2408 3204 | 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 | 207 2429 3292 | 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 | 236 2457 3335 | 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 | 279 2499 3386 | 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 | 322 2541 3437 | 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 | 377 2596 3496 | 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 | 429 2647 3563 | 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 | 438 2655 3586 | 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 | 472 2669 3610 | 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 | 512 2707 3653 | 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 | 555 2749 3707 | 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 | 601 2794 3766 | 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 | 651 2843 3828 | 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 | 699 2890 3915 | 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 | 709 2899 3926 | 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 | 759 2948 4119 | 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 | 813 3001 4211 | 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 | 821 3008 4222 | 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 | 889 3075 4322 | 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 | 896 3081 4330 | 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 | 961 3145 4473 | 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 | 972 3155 4489 | 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 | 990 3172 4508 | 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 | 999 3180 4520 | 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 | 1009 3189 4533 | 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 | 1019 3198 4544 | 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 | 1047 3225 4573 | 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 | 1115 3292 4677 | 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 | 1134 3310 4714 | 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 | 1200 3375 4840 | 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 | 1212 3386 4859 | 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 | 1224 3399 4879 | 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 | 1234 3407 4894 | 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 | 1245 3417 4912 | 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 | 1256 3428 4931 | 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 | 1270 3441 4946 | 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 | 1285 3455 4972 | 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 | 1302 3471 4998 | 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 | 1316 3484 5027 | 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 | 1330 3497 5048 | 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 | 1344 3510 5067 | 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 | 1359 3524 5089 | 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 | 1375 3539 5110 | 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 | 1394 3557 5138 | 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 | 1413 3575 5168 | 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 | 1434 3595 5198 | 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 | 1443 3600 5229 | 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 | 1463 3619 5250 | 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 | 1486 3641 5288 | 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 | 1503 3657 5312 | 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 | 1521 3674 5339 | 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 | 1549 3701 5378 | 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 | 1576 3727 5407 | 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 | 1595 3746 5432 | 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 | 1621 3771 5477 | 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 | 1631 3780 5496 | 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 | 1639 3787 5505 | 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 | 1650 3797 5521 | 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 | 1662 3808 5540 | 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 | 1675 3820 5556 | 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 | 1689 3833 5579 | 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 | 1708 3851 5617 | 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 | 1730 3872 5658 | 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 | 1751 3892 5698 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1775 3915 5743 | 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 | 1802 3941 5784 | 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 | 1830 3968 5853 | 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 | 1862 3999 5921 | 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 | 1889 4025 5991 | 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 | 1928 4063 6062 | 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 | 1967 4101 6133 | 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 | 1993 4126 6164 | 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 | 2025 4157 6216 | 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 | 2049 4180 6263 | 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 | 2085 4214 6319 | 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 | 2114 4242 6394 | 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 | 2144 4273 6433 | 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 | 2183 4312 6510 | 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 | 2210 4338 6585 | 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 | 2241 4368 6671 | 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 | 2281 4407 6747 | 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 | 2306 4432 6776 | 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 | 2332 4457 6839 | 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 | 2339 4463 6847 | 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 | 2347 4470 6892 | 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 | 2374 4496 6922 | 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 | 2423 4544 7032 | 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 | 2456 4576 7076 | 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 | 2480 4598 7103 | 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 | 2489 4606 7115 | 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 | 2501 4617 7132 | 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 | 2524 4640 7173 | 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 | 2563 4679 7220 | 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 | 2576 4691 7236 | 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 | 2591 4705 7256 | 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 | 2609 4722 7285 | 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 | 2626 4738 7303 | 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 | 2645 4756 7331 | 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 | 2662 4772 7363 | 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 | 2679 4788 7389 | 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 | 2705 4808 7481 | 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 | 2728 4830 7517 | 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 | 2757 4858 7565 | 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 | 2791 4891 7604 | 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 | 2817 4916 7632 | 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 | 2848 4946 7690 | 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 | 2881 4978 7753 | 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 | 2924 5019 7808 | 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 | 2951 5045 7852 | 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 | 2991 5084 7918 | 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 | 3028 5120 8036 | 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 | 3079 5170 8112 | 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 | 3129 5219 8165 | 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 | 3153 5242 8190 | 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 | 3203 5291 8245 | 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 | 3252 5339 8301 | 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 | 3284 5370 8340 | 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 | 3338 5424 8400 | 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 | 3359 5444 8426 | 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 | 3428 5512 8497 | 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 | 3492 5575 8609 | 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 | 3543 5625 8671 | 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 | 3592 5673 8731 | 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 | 3617 5697 8761 | 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 | 3640 5719 8787 | 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 | 3662 5740 8816 | 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 | 3711 5788 8882 | 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 | 3733 5809 8911 | 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 | 3784 5859 8977 | 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 | 3839 5913 9051 | 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 | 3864 5937 9089 | 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 | 3918 5990 9145 | 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 | 3984 6055 9250 | 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 | 4042 6112 9310 | 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 | 4097 6166 9378 | 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 | 4162 6233 9467 | 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 | 4247 6317 9631 | 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 | 4346 6415 9769 | 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 | 4362 6430 9790 | 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 | 4422 6489 9881 | 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 | 4447 6513 9921 | 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 | 4499 6565 9986 | 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 | 4571 6636 10069 | 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 | 4622 6686 10149 | 5000 0 nan | 0.000 % | c ===============================================================================