c wbo 1.4 beta - 20100610 c | Number of variables: 137 | c | Number of clauses: 1043 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1113 | c | Number Clauses: 1021 | 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 | 1113 1021 3903 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1952581 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 1113 1022 4901 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 1952283 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 2 | 1113 1023 5899 | 5000 2 983 | 0.000 % | c =============================================================================== c New solution: 1952194 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 5 | 1113 1024 6897 | 5000 5 984 | 0.000 % | c =============================================================================== c New solution: 1951546 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 9 | 1113 1025 7895 | 5000 9 984 | 0.000 % | c =============================================================================== c New solution: 1951242 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 24 | 1113 1026 8893 | 5000 24 983 | 0.000 % | c =============================================================================== c New solution: 1951214 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 42 | 1113 1027 9891 | 5000 42 984 | 0.000 % | c =============================================================================== c New solution: 1951002 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 76 | 1113 1028 10889 | 5000 76 983 | 0.000 % | c =============================================================================== c New solution: 1950913 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 85 | 1113 1029 11887 | 5000 85 983 | 0.000 % | c =============================================================================== c New solution: 1950521 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 138 | 1113 1030 12885 | 5000 138 983 | 0.000 % | c =============================================================================== c New solution: 1950414 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 189 | 1113 1031 13883 | 5000 189 983 | 0.000 % | c | 289 | 1113 1031 13883 | 5500 289 983 | 0.000 % | c =============================================================================== c New solution: 1949936 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 313 | 1113 1032 14881 | 5000 313 983 | 0.000 % | c | 414 | 1113 1032 14881 | 5500 414 983 | 0.000 % | c =============================================================================== c New solution: 1949773 c Elapsed CPU time: 0.314952 s Remaining CPU time: 179.685 s c =============================================================================== c | 443 | 1113 1033 15879 | 5000 443 983 | 0.000 % | c =============================================================================== c New solution: 1949691 c Elapsed CPU time: 0.341948 s Remaining CPU time: 179.658 s c =============================================================================== c | 483 | 1113 1034 16877 | 5000 483 983 | 0.000 % | c =============================================================================== c New solution: 1949239 c Elapsed CPU time: 0.351946 s Remaining CPU time: 179.648 s c =============================================================================== c | 487 | 1113 1035 17875 | 5000 487 983 | 0.000 % | c =============================================================================== c New solution: 1949130 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 489 | 1113 1036 18873 | 5000 489 983 | 0.000 % | c =============================================================================== c New solution: 1948686 c Elapsed CPU time: 0.373943 s Remaining CPU time: 179.626 s c =============================================================================== c | 489 | 1113 1037 19871 | 5000 489 983 | 0.000 % | c | 589 | 1113 1037 19871 | 5500 589 983 | 0.000 % | c =============================================================================== c New solution: 1948665 c Elapsed CPU time: 0.464929 s Remaining CPU time: 179.535 s c =============================================================================== c | 612 | 1113 1038 20869 | 5000 612 983 | 0.000 % | c =============================================================================== c New solution: 1948606 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s c =============================================================================== c | 631 | 1113 1039 21867 | 5000 631 983 | 0.000 % | c =============================================================================== c New solution: 1948320 c Elapsed CPU time: 0.529919 s Remaining CPU time: 179.47 s c =============================================================================== c | 670 | 1113 1040 22865 | 5000 670 983 | 0.000 % | c =============================================================================== c New solution: 1948047 c Elapsed CPU time: 0.539917 s Remaining CPU time: 179.46 s c =============================================================================== c | 672 | 1113 1041 23863 | 5000 672 983 | 0.000 % | c =============================================================================== c New solution: 1948041 c Elapsed CPU time: 0.562914 s Remaining CPU time: 179.437 s c =============================================================================== c | 692 | 1113 1042 24861 | 5000 692 982 | 0.000 % | c =============================================================================== c New solution: 1947668 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 692 | 1113 1043 25859 | 5000 692 982 | 0.000 % | c =============================================================================== c New solution: 1947217 c Elapsed CPU time: 0.58691 s Remaining CPU time: 179.413 s c =============================================================================== c | 692 | 1113 1044 26857 | 5000 692 982 | 0.000 % | c =============================================================================== c New solution: 1947139 c Elapsed CPU time: 0.599908 s Remaining CPU time: 179.4 s c =============================================================================== c | 693 | 1113 1045 27855 | 5000 693 982 | 0.000 % | c =============================================================================== c New solution: 1946565 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s c =============================================================================== c | 693 | 1113 1046 28853 | 5000 693 982 | 0.000 % | c | 793 | 1113 1046 28853 | 5500 793 982 | 0.000 % | c | 945 | 1113 1046 28853 | 6050 945 982 | 0.000 % | c =============================================================================== c New solution: 1946548 c Elapsed CPU time: 0.863868 s Remaining CPU time: 179.136 s c =============================================================================== c | 1020 | 1113 1047 29851 | 5000 1020 982 | 0.000 % | c =============================================================================== c New solution: 1946054 c Elapsed CPU time: 0.876866 s Remaining CPU time: 179.123 s c =============================================================================== c | 1020 | 1113 1048 30849 | 5000 1020 982 | 0.000 % | c =============================================================================== c New solution: 1946006 c Elapsed CPU time: 0.936857 s Remaining CPU time: 179.063 s c =============================================================================== c | 1080 | 1113 1049 31847 | 5000 1080 982 | 0.000 % | c =============================================================================== c New solution: 1945718 c Elapsed CPU time: 0.955854 s Remaining CPU time: 179.044 s c =============================================================================== c | 1082 | 1113 1050 32845 | 5000 1082 982 | 0.000 % | c | 1183 | 1113 1050 32845 | 5500 1183 981 | 0.000 % | c | 1333 | 1113 1050 32845 | 6050 1333 981 | 0.000 % | c =============================================================================== c New solution: 1945386 c Elapsed CPU time: 1.18582 s Remaining CPU time: 178.814 s c =============================================================================== c | 1333 | 1113 1051 33843 | 5000 1333 981 | 0.000 % | c =============================================================================== c New solution: 1944384 c Elapsed CPU time: 1.20082 s Remaining CPU time: 178.799 s c =============================================================================== c | 1333 | 1113 1052 34841 | 5000 1333 981 | 0.000 % | c =============================================================================== c New solution: 1943851 c Elapsed CPU time: 1.25781 s Remaining CPU time: 178.742 s c =============================================================================== c | 1382 | 1113 1053 35839 | 5000 1382 981 | 0.000 % | c =============================================================================== c New solution: 1943680 c Elapsed CPU time: 1.2928 s Remaining CPU time: 178.707 s c =============================================================================== c | 1403 | 1113 1054 36837 | 5000 1403 981 | 0.000 % | c =============================================================================== c New solution: 1943229 c Elapsed CPU time: 1.3108 s Remaining CPU time: 178.689 s c =============================================================================== c | 1411 | 1113 1055 37835 | 5000 1411 981 | 0.000 % | c =============================================================================== c New solution: 1942945 c Elapsed CPU time: 1.3478 s Remaining CPU time: 178.652 s c =============================================================================== c | 1434 | 1113 1056 38833 | 5000 1434 981 | 0.000 % | c | 1534 | 1113 1056 38833 | 5500 1534 981 | 0.000 % | c | 1686 | 1113 1056 38833 | 6050 1686 980 | 0.000 % | c =============================================================================== c New solution: 1942797 c Elapsed CPU time: 1.76073 s Remaining CPU time: 178.239 s c =============================================================================== c | 1831 | 1113 1057 39831 | 5000 1831 980 | 0.000 % | c =============================================================================== c New solution: 1942460 c Elapsed CPU time: 1.77673 s Remaining CPU time: 178.223 s c =============================================================================== c | 1831 | 1113 1058 40829 | 5000 1831 980 | 0.000 % | c =============================================================================== c New solution: 1942302 c Elapsed CPU time: 1.79173 s Remaining CPU time: 178.208 s c =============================================================================== c | 1831 | 1113 1059 41827 | 5000 1831 980 | 0.000 % | c =============================================================================== c New solution: 1941300 c Elapsed CPU time: 1.81072 s Remaining CPU time: 178.189 s c =============================================================================== c | 1831 | 1113 1060 42825 | 5000 1831 980 | 0.000 % | c =============================================================================== c New solution: 1940849 c Elapsed CPU time: 1.82872 s Remaining CPU time: 178.171 s c =============================================================================== c | 1831 | 1113 1061 43823 | 5000 1831 980 | 0.000 % | c =============================================================================== c New solution: 1940822 c Elapsed CPU time: 1.84672 s Remaining CPU time: 178.153 s c =============================================================================== c | 1833 | 1113 1062 44821 | 5000 1833 980 | 0.000 % | c =============================================================================== c New solution: 1940774 c Elapsed CPU time: 1.86472 s Remaining CPU time: 178.135 s c =============================================================================== c | 1833 | 1113 1063 45819 | 5000 1833 980 | 0.000 % | c | 1933 | 1113 1063 45819 | 5500 1933 980 | 0.000 % | c =============================================================================== c New solution: 1940742 c Elapsed CPU time: 2.03869 s Remaining CPU time: 177.961 s c =============================================================================== c | 2028 | 1113 1064 46817 | 5000 2028 980 | 0.000 % | c =============================================================================== c New solution: 1940715 c Elapsed CPU time: 2.08168 s Remaining CPU time: 177.918 s c =============================================================================== c | 2049 | 1113 1065 47815 | 5000 2049 980 | 0.000 % | c =============================================================================== c New solution: 1940562 c Elapsed CPU time: 2.18867 s Remaining CPU time: 177.811 s c =============================================================================== c | 2138 | 1113 1066 48813 | 5000 2138 980 | 0.000 % | c =============================================================================== c New solution: 1940261 c Elapsed CPU time: 2.30465 s Remaining CPU time: 177.695 s c =============================================================================== c | 2234 | 1113 1067 49811 | 5000 2234 980 | 0.000 % | c | 2334 | 1113 1067 49811 | 5500 2334 980 | 0.000 % | c =============================================================================== c New solution: 1939870 c Elapsed CPU time: 2.43463 s Remaining CPU time: 177.565 s c =============================================================================== c | 2334 | 1113 1068 50809 | 5000 2334 980 | 0.000 % | c =============================================================================== c New solution: 1939822 c Elapsed CPU time: 2.45463 s Remaining CPU time: 177.545 s c =============================================================================== c | 2334 | 1113 1069 51807 | 5000 2334 980 | 0.000 % | c =============================================================================== c New solution: 1939541 c Elapsed CPU time: 2.48462 s Remaining CPU time: 177.515 s c =============================================================================== c | 2340 | 1113 1070 52805 | 5000 2340 980 | 0.000 % | c =============================================================================== c New solution: 1939256 c Elapsed CPU time: 2.50562 s Remaining CPU time: 177.494 s c =============================================================================== c | 2340 | 1113 1071 53803 | 5000 2340 980 | 0.000 % | c =============================================================================== c New solution: 1938805 c Elapsed CPU time: 2.52761 s Remaining CPU time: 177.472 s c =============================================================================== c | 2340 | 1113 1072 54801 | 5000 2340 980 | 0.000 % | c =============================================================================== c New solution: 1938676 c Elapsed CPU time: 2.54961 s Remaining CPU time: 177.45 s c =============================================================================== c | 2341 | 1113 1073 55799 | 5000 2341 980 | 0.000 % | c =============================================================================== c New solution: 1938231 c Elapsed CPU time: 2.57561 s Remaining CPU time: 177.424 s c =============================================================================== c | 2346 | 1113 1074 56797 | 5000 2346 980 | 0.000 % | c =============================================================================== c New solution: 1937905 c Elapsed CPU time: 2.6566 s Remaining CPU time: 177.343 s c =============================================================================== c | 2398 | 1113 1075 57795 | 5000 2398 980 | 0.000 % | c | 2499 | 1113 1075 57795 | 5500 2499 980 | 0.000 % | c | 2650 | 1113 1075 57795 | 6050 2650 979 | 0.000 % | c =============================================================================== c New solution: 1937755 c Elapsed CPU time: 2.99954 s Remaining CPU time: 177 s c =============================================================================== c | 2670 | 1113 1076 58793 | 5000 2670 979 | 0.000 % | c =============================================================================== c New solution: 1937354 c Elapsed CPU time: 3.03054 s Remaining CPU time: 176.969 s c =============================================================================== c | 2676 | 1113 1077 59791 | 5000 2676 979 | 0.000 % | c =============================================================================== c New solution: 1937277 c Elapsed CPU time: 3.13352 s Remaining CPU time: 176.866 s c =============================================================================== c | 2737 | 1113 1078 60789 | 5000 2737 979 | 0.000 % | c =============================================================================== c New solution: 1937274 c Elapsed CPU time: 3.2565 s Remaining CPU time: 176.743 s c =============================================================================== c | 2815 | 1113 1079 61787 | 5000 2815 979 | 0.000 % | c =============================================================================== c New solution: 1937255 c Elapsed CPU time: 3.35649 s Remaining CPU time: 176.644 s c =============================================================================== c | 2874 | 1113 1080 62785 | 5000 2874 979 | 0.000 % | c =============================================================================== c New solution: 1937229 c Elapsed CPU time: 3.40348 s Remaining CPU time: 176.597 s c =============================================================================== c | 2890 | 1113 1081 63783 | 5000 2890 979 | 0.000 % | c =============================================================================== c New solution: 1937100 c Elapsed CPU time: 3.44048 s Remaining CPU time: 176.56 s c =============================================================================== c | 2891 | 1113 1082 64781 | 5000 2891 979 | 0.000 % | c =============================================================================== c New solution: 1936796 c Elapsed CPU time: 3.52146 s Remaining CPU time: 176.479 s c =============================================================================== c | 2921 | 1113 1083 65779 | 5000 2921 979 | 0.000 % | c =============================================================================== c New solution: 1936748 c Elapsed CPU time: 3.56046 s Remaining CPU time: 176.44 s c =============================================================================== c | 2926 | 1113 1084 66777 | 5000 2926 979 | 0.000 % | c | 3027 | 1113 1084 66777 | 5500 3027 979 | 0.000 % | c | 3177 | 1113 1084 66777 | 6050 3177 979 | 0.000 % | c =============================================================================== c New solution: 1936640 c Elapsed CPU time: 4.02439 s Remaining CPU time: 175.976 s c =============================================================================== c | 3278 | 1113 1085 67775 | 5000 3278 979 | 0.000 % | c =============================================================================== c New solution: 1936632 c Elapsed CPU time: 4.07138 s Remaining CPU time: 175.929 s c =============================================================================== c | 3296 | 1113 1086 68773 | 5000 3296 979 | 0.000 % | c =============================================================================== c New solution: 1936584 c Elapsed CPU time: 4.12537 s Remaining CPU time: 175.875 s c =============================================================================== c | 3314 | 1113 1087 69771 | 5000 3314 979 | 0.000 % | c | 3414 | 1113 1087 69771 | 5500 3414 979 | 0.000 % | c =============================================================================== c New solution: 1936342 c Elapsed CPU time: 4.32834 s Remaining CPU time: 175.672 s c =============================================================================== c | 3436 | 1113 1088 70769 | 5000 3436 979 | 0.000 % | c | 3537 | 1113 1088 70769 | 5500 3537 979 | 0.000 % | c =============================================================================== c New solution: 1936309 c Elapsed CPU time: 4.52331 s Remaining CPU time: 175.477 s c =============================================================================== c | 3559 | 1113 1089 71767 | 5000 3559 978 | 0.000 % | c =============================================================================== c New solution: 1936273 c Elapsed CPU time: 4.5923 s Remaining CPU time: 175.408 s c =============================================================================== c | 3591 | 1113 1090 72765 | 5000 3591 978 | 0.000 % | c =============================================================================== c New solution: 1935876 c Elapsed CPU time: 4.70029 s Remaining CPU time: 175.3 s c =============================================================================== c | 3648 | 1113 1091 73763 | 5000 3648 978 | 0.000 % | c | 3748 | 1113 1091 73763 | 5500 3748 978 | 0.000 % | c | 3898 | 1113 1091 73763 | 6050 3898 978 | 0.000 % | c =============================================================================== c New solution: 1935840 c Elapsed CPU time: 5.16521 s Remaining CPU time: 174.835 s c =============================================================================== c | 3962 | 1113 1092 74761 | 5000 3962 978 | 0.000 % | c | 4062 | 1113 1092 74761 | 5500 4062 978 | 0.000 % | c =============================================================================== c New solution: 1935654 c Elapsed CPU time: 5.40718 s Remaining CPU time: 174.593 s c =============================================================================== c | 4124 | 1113 1093 75759 | 5000 4124 978 | 0.000 % | c | 4224 | 1113 1093 75759 | 5500 4224 978 | 0.000 % | c =============================================================================== c New solution: 1935598 c Elapsed CPU time: 5.71113 s Remaining CPU time: 174.289 s c =============================================================================== c | 4310 | 1113 1094 76757 | 5000 4310 978 | 0.000 % | c =============================================================================== c New solution: 1935496 c Elapsed CPU time: 5.74813 s Remaining CPU time: 174.252 s c =============================================================================== c | 4310 | 1113 1095 77755 | 5000 4310 978 | 0.000 % | c | 4413 | 1113 1095 77755 | 5500 4413 978 | 0.000 % | c =============================================================================== c New solution: 1935106 c Elapsed CPU time: 6.17506 s Remaining CPU time: 173.825 s c =============================================================================== c | 4545 | 1113 1096 78753 | 5000 4545 978 | 0.000 % | c =============================================================================== c New solution: 1934742 c Elapsed CPU time: 6.26405 s Remaining CPU time: 173.736 s c =============================================================================== c | 4562 | 1113 1097 79751 | 5000 4562 978 | 0.000 % | c =============================================================================== c New solution: 1934730 c Elapsed CPU time: 6.34603 s Remaining CPU time: 173.654 s c =============================================================================== c | 4599 | 1113 1098 80749 | 5000 4599 978 | 0.000 % | c =============================================================================== c New solution: 1934600 c Elapsed CPU time: 6.40603 s Remaining CPU time: 173.594 s c =============================================================================== c | 4606 | 1113 1099 81747 | 5000 4606 978 | 0.000 % | c =============================================================================== c New solution: 1934173 c Elapsed CPU time: 6.54401 s Remaining CPU time: 173.456 s c =============================================================================== c | 4692 | 1113 1100 82745 | 5000 4692 978 | 0.000 % | c =============================================================================== c New solution: 1933942 c Elapsed CPU time: 6.581 s Remaining CPU time: 173.419 s c =============================================================================== c | 4692 | 1113 1101 83743 | 5000 4692 978 | 0.000 % | c =============================================================================== c New solution: 1933591 c Elapsed CPU time: 6.61899 s Remaining CPU time: 173.381 s c =============================================================================== c | 4692 | 1113 1102 84741 | 5000 4692 978 | 0.000 % | c =============================================================================== c New solution: 1933345 c Elapsed CPU time: 6.74497 s Remaining CPU time: 173.255 s c =============================================================================== c | 4777 | 1113 1103 85739 | 5000 4777 977 | 0.000 % | c =============================================================================== c New solution: 1933309 c Elapsed CPU time: 6.87195 s Remaining CPU time: 173.128 s c =============================================================================== c | 4860 | 1113 1104 86737 | 5000 4860 977 | 0.000 % | c =============================================================================== c New solution: 1932638 c Elapsed CPU time: 6.91195 s Remaining CPU time: 173.088 s c =============================================================================== c | 4862 | 1113 1105 87735 | 5000 4862 977 | 0.000 % | c =============================================================================== c New solution: 1932616 c Elapsed CPU time: 6.98694 s Remaining CPU time: 173.013 s c =============================================================================== c | 4901 | 1113 1106 88733 | 5000 4901 977 | 0.000 % | c =============================================================================== c New solution: 1932237 c Elapsed CPU time: 7.09892 s Remaining CPU time: 172.901 s c =============================================================================== c | 4967 | 1113 1107 89731 | 5000 4967 977 | 0.000 % | c | 5068 | 1113 1107 89731 | 5500 5068 977 | 0.000 % | c =============================================================================== c New solution: 1932112 c Elapsed CPU time: 7.38588 s Remaining CPU time: 172.614 s c =============================================================================== c | 5148 | 1113 1108 90729 | 5000 5148 977 | 0.000 % | c =============================================================================== c New solution: 1932082 c Elapsed CPU time: 7.55985 s Remaining CPU time: 172.44 s c =============================================================================== c | 5225 | 1113 1109 91727 | 5000 2651 975 | 0.000 % | c | 5326 | 1113 1109 91727 | 5500 2752 975 | 0.000 % | c =============================================================================== c New solution: 1931751 c Elapsed CPU time: 7.78582 s Remaining CPU time: 172.214 s c =============================================================================== c | 5333 | 1113 1110 92725 | 5000 2759 975 | 0.000 % | c =============================================================================== c New solution: 1931679 c Elapsed CPU time: 7.8608 s Remaining CPU time: 172.139 s c =============================================================================== c | 5343 | 1113 1111 93723 | 5000 2769 975 | 0.000 % | c =============================================================================== c New solution: 1931676 c Elapsed CPU time: 8.02678 s Remaining CPU time: 171.973 s c =============================================================================== c | 5425 | 1113 1112 94721 | 5000 2851 975 | 0.000 % | c =============================================================================== c New solution: 1931273 c Elapsed CPU time: 8.08877 s Remaining CPU time: 171.911 s c =============================================================================== c | 5435 | 1113 1113 95719 | 5000 2861 975 | 0.000 % | c =============================================================================== c New solution: 1931088 c Elapsed CPU time: 8.18276 s Remaining CPU time: 171.817 s c =============================================================================== c | 5464 | 1113 1114 96717 | 5000 2890 975 | 0.000 % | c | 5564 | 1113 1114 96717 | 5500 2990 975 | 0.000 % | c =============================================================================== c New solution: 1930989 c Elapsed CPU time: 8.47771 s Remaining CPU time: 171.522 s c =============================================================================== c | 5604 | 1113 1115 97715 | 5000 3030 975 | 0.000 % | c =============================================================================== c New solution: 1930449 c Elapsed CPU time: 8.59069 s Remaining CPU time: 171.409 s c =============================================================================== c | 5651 | 1113 1116 98713 | 5000 3077 975 | 0.000 % | c =============================================================================== c New solution: 1929652 c Elapsed CPU time: 8.64069 s Remaining CPU time: 171.359 s c =============================================================================== c | 5652 | 1113 1117 99711 | 5000 3078 975 | 0.000 % | c =============================================================================== c New solution: 1929588 c Elapsed CPU time: 8.70168 s Remaining CPU time: 171.298 s c =============================================================================== c | 5665 | 1113 1118 100709 | 5000 3091 975 | 0.000 % | c =============================================================================== c New solution: 1929579 c Elapsed CPU time: 8.83666 s Remaining CPU time: 171.163 s c =============================================================================== c | 5720 | 1113 1119 101707 | 5000 3146 975 | 0.000 % | c | 5821 | 1113 1119 101707 | 5500 3247 975 | 0.000 % | c =============================================================================== c New solution: 1929569 c Elapsed CPU time: 9.1916 s Remaining CPU time: 170.808 s c =============================================================================== c | 5920 | 1113 1120 102705 | 5000 3346 975 | 0.000 % | c | 6021 | 1113 1120 102705 | 5500 3447 975 | 0.000 % | c | 6172 | 1113 1120 102705 | 6050 3598 975 | 0.000 % | c =============================================================================== c New solution: 1929195 c Elapsed CPU time: 9.78551 s Remaining CPU time: 170.214 s c =============================================================================== c | 6274 | 1113 1121 103703 | 5000 3700 975 | 0.000 % | c | 6374 | 1113 1121 103703 | 5500 3800 974 | 0.000 % | c | 6524 | 1113 1121 103703 | 6050 3950 974 | 0.000 % | c =============================================================================== c New solution: 1929166 c Elapsed CPU time: 10.4304 s Remaining CPU time: 169.57 s c =============================================================================== c | 6642 | 1113 1122 104701 | 5000 4068 974 | 0.000 % | c =============================================================================== c New solution: 1929059 c Elapsed CPU time: 10.5554 s Remaining CPU time: 169.445 s c =============================================================================== c | 6687 | 1113 1123 105699 | 5000 4113 974 | 0.000 % | c =============================================================================== c New solution: 1928885 c Elapsed CPU time: 10.6934 s Remaining CPU time: 169.307 s c =============================================================================== c | 6728 | 1113 1124 106697 | 5000 4154 974 | 0.000 % | c | 6829 | 1113 1124 106697 | 5500 4255 974 | 0.000 % | c =============================================================================== c New solution: 1928823 c Elapsed CPU time: 10.9433 s Remaining CPU time: 169.057 s c =============================================================================== c | 6853 | 1113 1125 107695 | 5000 4279 974 | 0.000 % | c =============================================================================== c New solution: 1928586 c Elapsed CPU time: 11.0203 s Remaining CPU time: 168.98 s c =============================================================================== c | 6865 | 1113 1126 108693 | 5000 4291 974 | 0.000 % | c =============================================================================== c New solution: 1928466 c Elapsed CPU time: 11.0783 s Remaining CPU time: 168.922 s c =============================================================================== c | 6868 | 1113 1127 109691 | 5000 4294 974 | 0.000 % | c | 6968 | 1113 1127 109691 | 5500 4394 974 | 0.000 % | c =============================================================================== c New solution: 1928302 c Elapsed CPU time: 11.4623 s Remaining CPU time: 168.538 s c =============================================================================== c | 7046 | 1113 1128 110689 | 5000 4472 974 | 0.000 % | c =============================================================================== c New solution: 1928237 c Elapsed CPU time: 11.6752 s Remaining CPU time: 168.325 s c =============================================================================== c | 7139 | 1113 1129 111687 | 5000 4565 974 | 0.000 % | c =============================================================================== c New solution: 1927451 c Elapsed CPU time: 11.8642 s Remaining CPU time: 168.136 s c =============================================================================== c | 7236 | 1113 1130 112685 | 5000 4662 974 | 0.000 % | c =============================================================================== c New solution: 1927117 c Elapsed CPU time: 11.9782 s Remaining CPU time: 168.022 s c =============================================================================== c | 7265 | 1113 1131 113683 | 5000 4691 974 | 0.000 % | c =============================================================================== c New solution: 1926826 c Elapsed CPU time: 12.0422 s Remaining CPU time: 167.958 s c =============================================================================== c | 7272 | 1113 1132 114681 | 5000 4698 974 | 0.000 % | c | 7373 | 1113 1132 114681 | 5500 4799 973 | 0.000 % | c =============================================================================== c New solution: 1926722 c Elapsed CPU time: 12.3311 s Remaining CPU time: 167.669 s c =============================================================================== c | 7394 | 1113 1133 115679 | 5000 4820 973 | 0.000 % | c =============================================================================== c New solution: 1926442 c Elapsed CPU time: 12.4471 s Remaining CPU time: 167.553 s c =============================================================================== c | 7436 | 1113 1134 116677 | 5000 4862 973 | 0.000 % | c | 7537 | 1113 1134 116677 | 5500 4963 973 | 0.000 % | c | 7688 | 1113 1134 116677 | 6050 5114 973 | 0.000 % | c =============================================================================== c New solution: 1926235 c Elapsed CPU time: 13.081 s Remaining CPU time: 166.919 s c =============================================================================== c | 7733 | 1113 1135 117675 | 5000 5159 973 | 0.000 % | c =============================================================================== c New solution: 1925608 c Elapsed CPU time: 13.17 s Remaining CPU time: 166.83 s c =============================================================================== c | 7733 | 1113 1136 118673 | 5000 2580 971 | 0.000 % | c | 7833 | 1113 1136 118673 | 5500 2680 971 | 0.000 % | c =============================================================================== c New solution: 1925455 c Elapsed CPU time: 13.5579 s Remaining CPU time: 166.442 s c =============================================================================== c | 7887 | 1113 1137 119671 | 5000 2734 971 | 0.000 % | c =============================================================================== c New solution: 1925312 c Elapsed CPU time: 13.6329 s Remaining CPU time: 166.367 s c =============================================================================== c | 7892 | 1113 1138 120669 | 5000 2739 971 | 0.000 % | c | 7993 | 1113 1138 120669 | 5500 2840 971 | 0.000 % | c =============================================================================== c New solution: 1925035 c Elapsed CPU time: 13.9209 s Remaining CPU time: 166.079 s c =============================================================================== c | 7996 | 1113 1139 121667 | 5000 2843 971 | 0.000 % | c =============================================================================== c New solution: 1924960 c Elapsed CPU time: 14.0079 s Remaining CPU time: 165.992 s c =============================================================================== c | 8007 | 1113 1140 122665 | 5000 2854 971 | 0.000 % | c | 8107 | 1113 1140 122665 | 5500 2954 971 | 0.000 % | c =============================================================================== c New solution: 1924878 c Elapsed CPU time: 14.3128 s Remaining CPU time: 165.687 s c =============================================================================== c | 8119 | 1113 1141 123663 | 5000 2966 971 | 0.000 % | c =============================================================================== c New solution: 1924857 c Elapsed CPU time: 14.5638 s Remaining CPU time: 165.436 s c =============================================================================== c | 8218 | 1113 1142 124661 | 5000 3065 971 | 0.000 % | c | 8318 | 1113 1142 124661 | 5500 3165 971 | 0.000 % | c | 8468 | 1113 1142 124661 | 6050 3315 971 | 0.000 % | c =============================================================================== c New solution: 1924846 c Elapsed CPU time: 15.4087 s Remaining CPU time: 164.591 s c =============================================================================== c | 8558 | 1113 1143 125659 | 5000 3405 971 | 0.000 % | c | 8658 | 1113 1143 125659 | 5500 3505 971 | 0.000 % | c | 8809 | 1113 1143 125659 | 6050 3656 971 | 0.000 % | c =============================================================================== c New solution: 1924790 c Elapsed CPU time: 16.1785 s Remaining CPU time: 163.821 s c =============================================================================== c | 8873 | 1113 1144 126657 | 5000 3720 971 | 0.000 % | c =============================================================================== c New solution: 1924518 c Elapsed CPU time: 16.3135 s Remaining CPU time: 163.686 s c =============================================================================== c | 8893 | 1113 1145 127655 | 5000 3740 971 | 0.000 % | c =============================================================================== c New solution: 1924501 c Elapsed CPU time: 16.4905 s Remaining CPU time: 163.51 s c =============================================================================== c | 8946 | 1113 1146 128653 | 5000 3793 971 | 0.000 % | c =============================================================================== c New solution: 1924186 c Elapsed CPU time: 16.5705 s Remaining CPU time: 163.43 s c =============================================================================== c | 8949 | 1113 1147 129651 | 5000 3796 971 | 0.000 % | c =============================================================================== c New solution: 1923799 c Elapsed CPU time: 16.6385 s Remaining CPU time: 163.362 s c =============================================================================== c | 8950 | 1113 1148 130649 | 5000 3797 971 | 0.000 % | c =============================================================================== c New solution: 1923682 c Elapsed CPU time: 16.7095 s Remaining CPU time: 163.291 s c =============================================================================== c | 8951 | 1113 1149 131647 | 5000 3798 971 | 0.000 % | c =============================================================================== c New solution: 1923403 c Elapsed CPU time: 16.9394 s Remaining CPU time: 163.061 s c =============================================================================== c | 9022 | 1113 1150 132645 | 5000 3869 970 | 0.000 % | c | 9123 | 1113 1150 132645 | 5500 3970 970 | 0.000 % | c | 9273 | 1113 1150 132645 | 6050 4120 970 | 0.000 % | c | 9499 | 1113 1150 132645 | 6655 4346 970 | 0.000 % | c =============================================================================== c New solution: 1923042 c Elapsed CPU time: 18.2002 s Remaining CPU time: 161.8 s c =============================================================================== c | 9564 | 1113 1151 133643 | 5000 4411 970 | 0.000 % | c | 9665 | 1113 1151 133643 | 5500 4512 970 | 0.000 % | c =============================================================================== c New solution: 1922736 c Elapsed CPU time: 18.5782 s Remaining CPU time: 161.422 s c =============================================================================== c | 9705 | 1113 1152 134641 | 5000 4552 970 | 0.000 % | c | 9805 | 1113 1152 134641 | 5500 4652 970 | 0.000 % | c | 9955 | 1113 1152 134641 | 6050 4802 970 | 0.000 % | c =============================================================================== c New solution: 1922727 c Elapsed CPU time: 19.452 s Remaining CPU time: 160.548 s c =============================================================================== c | 10088 | 1113 1153 135639 | 5000 4935 970 | 0.000 % | c | 10189 | 1113 1153 135639 | 5500 5036 970 | 0.000 % | c =============================================================================== c New solution: 1922374 c Elapsed CPU time: 19.903 s Remaining CPU time: 160.097 s c =============================================================================== c | 10276 | 1113 1154 136637 | 5000 5123 970 | 0.000 % | c | 10377 | 1113 1154 136637 | 5500 2663 968 | 0.000 % | c =============================================================================== c New solution: 1922309 c Elapsed CPU time: 20.2939 s Remaining CPU time: 159.706 s c =============================================================================== c | 10410 | 1113 1155 137635 | 5000 2696 968 | 0.000 % | c =============================================================================== c New solution: 1922215 c Elapsed CPU time: 20.5039 s Remaining CPU time: 159.496 s c =============================================================================== c | 10469 | 1113 1156 138633 | 5000 2755 968 | 0.000 % | c =============================================================================== c New solution: 1921807 c Elapsed CPU time: 20.6689 s Remaining CPU time: 159.331 s c =============================================================================== c | 10518 | 1113 1157 139631 | 5000 2804 968 | 0.000 % | c =============================================================================== c New solution: 1921780 c Elapsed CPU time: 20.7728 s Remaining CPU time: 159.227 s c =============================================================================== c | 10533 | 1113 1158 140629 | 5000 2819 968 | 0.000 % | c | 10633 | 1113 1158 140629 | 5500 2919 968 | 0.000 % | c =============================================================================== c New solution: 1921756 c Elapsed CPU time: 21.2058 s Remaining CPU time: 158.794 s c =============================================================================== c | 10680 | 1113 1159 141627 | 5000 2966 968 | 0.000 % | c | 10781 | 1113 1159 141627 | 5500 3067 967 | 0.000 % | c =============================================================================== c New solution: 1921498 c Elapsed CPU time: 21.5417 s Remaining CPU time: 158.458 s c =============================================================================== c | 10781 | 1113 1160 142625 | 5000 3067 967 | 0.000 % | c =============================================================================== c New solution: 1921465 c Elapsed CPU time: 21.6277 s Remaining CPU time: 158.372 s c =============================================================================== c | 10781 | 1113 1161 143623 | 5000 3067 967 | 0.000 % | c =============================================================================== c New solution: 1921287 c Elapsed CPU time: 21.7207 s Remaining CPU time: 158.279 s c =============================================================================== c | 10782 | 1113 1162 144621 | 5000 3068 967 | 0.000 % | c =============================================================================== c New solution: 1920879 c Elapsed CPU time: 21.8167 s Remaining CPU time: 158.183 s c =============================================================================== c | 10782 | 1113 1163 145619 | 5000 3068 967 | 0.000 % | c =============================================================================== c New solution: 1920627 c Elapsed CPU time: 21.9067 s Remaining CPU time: 158.093 s c =============================================================================== c | 10783 | 1113 1164 146617 | 5000 3069 967 | 0.000 % | c =============================================================================== c New solution: 1920410 c Elapsed CPU time: 21.9887 s Remaining CPU time: 158.011 s c =============================================================================== c | 10783 | 1113 1165 147615 | 5000 3069 967 | 0.000 % | c =============================================================================== c New solution: 1920022 c Elapsed CPU time: 22.1556 s Remaining CPU time: 157.844 s c =============================================================================== c | 10833 | 1113 1166 148613 | 5000 3119 967 | 0.000 % | c | 10933 | 1113 1166 148613 | 5500 3219 967 | 0.000 % | c =============================================================================== c New solution: 1919718 c Elapsed CPU time: 22.4826 s Remaining CPU time: 157.517 s c =============================================================================== c | 10946 | 1113 1167 149611 | 5000 3232 967 | 0.000 % | c =============================================================================== c New solution: 1919670 c Elapsed CPU time: 22.6676 s Remaining CPU time: 157.332 s c =============================================================================== c | 10990 | 1113 1168 150609 | 5000 3276 967 | 0.000 % | c =============================================================================== c New solution: 1919611 c Elapsed CPU time: 22.9105 s Remaining CPU time: 157.089 s c =============================================================================== c | 11082 | 1113 1169 151607 | 5000 3368 967 | 0.000 % | c =============================================================================== c New solution: 1919563 c Elapsed CPU time: 23.0435 s Remaining CPU time: 156.957 s c =============================================================================== c | 11111 | 1113 1170 152605 | 5000 3397 967 | 0.000 % | c | 11212 | 1113 1170 152605 | 5500 3498 967 | 0.000 % | c | 11363 | 1113 1170 152605 | 6050 3649 967 | 0.000 % | c | 11589 | 1113 1170 152605 | 6655 3875 967 | 0.000 % | c =============================================================================== c New solution: 1919512 c Elapsed CPU time: 24.5153 s Remaining CPU time: 155.485 s c =============================================================================== c | 11589 | 1113 1171 153603 | 5000 3875 967 | 0.000 % | c =============================================================================== c New solution: 1919479 c Elapsed CPU time: 24.6043 s Remaining CPU time: 155.396 s c =============================================================================== c | 11589 | 1113 1172 154601 | 5000 3875 967 | 0.000 % | c | 11689 | 1113 1172 154601 | 5500 3975 967 | 0.000 % | c =============================================================================== c New solution: 1919232 c Elapsed CPU time: 25.2542 s Remaining CPU time: 154.746 s c =============================================================================== c | 11779 | 1113 1173 155599 | 5000 4065 967 | 0.000 % | c | 11880 | 1113 1173 155599 | 5500 4166 967 | 0.000 % | c | 12030 | 1113 1173 155599 | 6050 4316 966 | 0.000 % | c | 12256 | 1113 1173 155599 | 6655 4542 966 | 0.000 % | c | 12594 | 1113 1173 155599 | 7320 4880 966 | 0.000 % | c =============================================================================== c New solution: 1919158 c Elapsed CPU time: 27.4968 s Remaining CPU time: 152.503 s c =============================================================================== c | 12682 | 1113 1174 156597 | 5000 4968 966 | 0.000 % | c | 12783 | 1113 1174 156597 | 5500 5069 966 | 0.000 % | c =============================================================================== c New solution: 1919124 c Elapsed CPU time: 27.8508 s Remaining CPU time: 152.149 s c =============================================================================== c | 12793 | 1113 1175 157595 | 5000 5079 966 | 0.000 % | c =============================================================================== c New solution: 1919089 c Elapsed CPU time: 27.9627 s Remaining CPU time: 152.037 s c =============================================================================== c | 12793 | 1113 1176 158593 | 5000 2540 964 | 0.000 % | c =============================================================================== c New solution: 1919003 c Elapsed CPU time: 28.0567 s Remaining CPU time: 151.943 s c =============================================================================== c | 12794 | 1113 1177 159591 | 5000 2541 964 | 0.000 % | c =============================================================================== c New solution: 1918985 c Elapsed CPU time: 28.2287 s Remaining CPU time: 151.771 s c =============================================================================== c | 12848 | 1113 1178 160589 | 5000 2595 964 | 0.000 % | c =============================================================================== c New solution: 1918905 c Elapsed CPU time: 28.4057 s Remaining CPU time: 151.594 s c =============================================================================== c | 12880 | 1113 1179 161587 | 5000 2627 964 | 0.000 % | c =============================================================================== c New solution: 1918759 c Elapsed CPU time: 28.5007 s Remaining CPU time: 151.499 s c =============================================================================== c | 12880 | 1113 1180 162585 | 5000 2627 964 | 0.000 % | c =============================================================================== c New solution: 1918713 c Elapsed CPU time: 28.5967 s Remaining CPU time: 151.403 s c =============================================================================== c | 12880 | 1113 1181 163583 | 5000 2627 964 | 0.000 % | c | 12980 | 1113 1181 163583 | 5500 2727 964 | 0.000 % | c | 13131 | 1113 1181 163583 | 6050 2878 964 | 0.000 % | c =============================================================================== c New solution: 1918516 c Elapsed CPU time: 29.6705 s Remaining CPU time: 150.33 s c =============================================================================== c | 13142 | 1113 1182 164581 | 5000 2889 964 | 0.000 % | c =============================================================================== c New solution: 1918454 c Elapsed CPU time: 29.8015 s Remaining CPU time: 150.199 s c =============================================================================== c | 13158 | 1113 1183 165579 | 5000 2905 964 | 0.000 % | c =============================================================================== c New solution: 1918348 c Elapsed CPU time: 30.0484 s Remaining CPU time: 149.952 s c =============================================================================== c | 13223 | 1113 1184 166577 | 5000 2970 964 | 0.000 % | c =============================================================================== c New solution: 1918330 c Elapsed CPU time: 30.2074 s Remaining CPU time: 149.793 s c =============================================================================== c | 13256 | 1113 1185 167575 | 5000 3003 964 | 0.000 % | c =============================================================================== c New solution: 1918329 c Elapsed CPU time: 30.4804 s Remaining CPU time: 149.52 s c =============================================================================== c | 13330 | 1113 1186 168573 | 5000 3077 964 | 0.000 % | c =============================================================================== c New solution: 1918077 c Elapsed CPU time: 30.6033 s Remaining CPU time: 149.397 s c =============================================================================== c | 13338 | 1113 1187 169571 | 5000 3085 964 | 0.000 % | c | 13439 | 1113 1187 169571 | 5500 3186 964 | 0.000 % | c =============================================================================== c New solution: 1918055 c Elapsed CPU time: 31.1793 s Remaining CPU time: 148.821 s c =============================================================================== c | 13488 | 1113 1188 170569 | 5000 3235 964 | 0.000 % | c | 13590 | 1113 1188 170569 | 5500 3337 964 | 0.000 % | c | 13740 | 1113 1188 170569 | 6050 3487 964 | 0.000 % | c =============================================================================== c New solution: 1918028 c Elapsed CPU time: 32.3291 s Remaining CPU time: 147.671 s c =============================================================================== c | 13885 | 1113 1189 171567 | 5000 3632 964 | 0.000 % | c =============================================================================== c New solution: 1917980 c Elapsed CPU time: 32.5521 s Remaining CPU time: 147.448 s c =============================================================================== c | 13955 | 1113 1190 172565 | 5000 3702 964 | 0.000 % | c | 14055 | 1113 1190 172565 | 5500 3802 964 | 0.000 % | c | 14206 | 1113 1190 172565 | 6050 3953 964 | 0.000 % | c =============================================================================== c New solution: 1917658 c Elapsed CPU time: 33.8219 s Remaining CPU time: 146.178 s c =============================================================================== c | 14343 | 1113 1191 173563 | 5000 4090 964 | 0.000 % | c | 14444 | 1113 1191 173563 | 5500 4191 964 | 0.000 % | c =============================================================================== c New solution: 1917531 c Elapsed CPU time: 34.5677 s Remaining CPU time: 145.432 s c =============================================================================== c | 14555 | 1113 1192 174561 | 5000 4302 963 | 0.000 % | c =============================================================================== c New solution: 1917485 c Elapsed CPU time: 34.8627 s Remaining CPU time: 145.137 s c =============================================================================== c | 14649 | 1113 1193 175559 | 5000 4396 963 | 0.000 % | c | 14749 | 1113 1193 175559 | 5500 4496 963 | 0.000 % | c =============================================================================== c New solution: 1917321 c Elapsed CPU time: 35.4796 s Remaining CPU time: 144.52 s c =============================================================================== c | 14828 | 1113 1194 176557 | 5000 4575 963 | 0.000 % | c | 14928 | 1113 1194 176557 | 5500 4675 963 | 0.000 % | c =============================================================================== c New solution: 1917257 c Elapsed CPU time: 35.9655 s Remaining CPU time: 144.034 s c =============================================================================== c | 14973 | 1113 1195 177555 | 5000 4720 963 | 0.000 % | c =============================================================================== c New solution: 1917117 c Elapsed CPU time: 36.1965 s Remaining CPU time: 143.804 s c =============================================================================== c | 15037 | 1113 1196 178553 | 5000 4784 963 | 0.000 % | c | 15137 | 1113 1196 178553 | 5500 4884 963 | 0.000 % | c | 15288 | 1113 1196 178553 | 6050 5035 963 | 0.000 % | c | 15513 | 1113 1196 178553 | 6655 5260 963 | 0.000 % | c =============================================================================== c New solution: 1917009 c Elapsed CPU time: 37.8802 s Remaining CPU time: 142.12 s c =============================================================================== c | 15513 | 1113 1197 179551 | 5000 5260 963 | 0.000 % | c | 15614 | 1113 1197 179551 | 5500 2731 963 | 0.000 % | c | 15764 | 1113 1197 179551 | 6050 2881 962 | 0.000 % | c =============================================================================== c New solution: 1916864 c Elapsed CPU time: 38.7611 s Remaining CPU time: 141.239 s c =============================================================================== c | 15769 | 1113 1198 180549 | 5000 2886 962 | 0.000 % | c | 15870 | 1113 1198 180549 | 5500 2987 962 | 0.000 % | c =============================================================================== c New solution: 1916863 c Elapsed CPU time: 39.396 s Remaining CPU time: 140.604 s c =============================================================================== c | 15968 | 1113 1199 181547 | 5000 3085 962 | 0.000 % | c =============================================================================== c New solution: 1916840 c Elapsed CPU time: 39.513 s Remaining CPU time: 140.487 s c =============================================================================== c | 15970 | 1113 1200 182545 | 5000 3087 962 | 0.000 % | c =============================================================================== c New solution: 1916795 c Elapsed CPU time: 39.8559 s Remaining CPU time: 140.144 s c =============================================================================== c | 16059 | 1113 1201 183543 | 5000 3176 962 | 0.000 % | c =============================================================================== c New solution: 1916793 c Elapsed CPU time: 40.0429 s Remaining CPU time: 139.957 s c =============================================================================== c | 16100 | 1113 1202 184541 | 5000 3217 962 | 0.000 % | c | 16202 | 1113 1202 184541 | 5500 3319 962 | 0.000 % | c =============================================================================== c New solution: 1916609 c Elapsed CPU time: 40.6748 s Remaining CPU time: 139.325 s c =============================================================================== c | 16303 | 1113 1203 185539 | 5000 3420 962 | 0.000 % | c | 16403 | 1113 1203 185539 | 5500 3520 962 | 0.000 % | c | 16553 | 1113 1203 185539 | 6050 3670 962 | 0.000 % | c | 16778 | 1113 1203 185539 | 6655 3895 962 | 0.000 % | c =============================================================================== c New solution: 1916589 c Elapsed CPU time: 42.4815 s Remaining CPU time: 137.518 s c =============================================================================== c | 16861 | 1113 1204 186537 | 5000 3978 962 | 0.000 % | c | 16961 | 1113 1204 186537 | 5500 4078 962 | 0.000 % | c =============================================================================== c New solution: 1916499 c Elapsed CPU time: 43.2634 s Remaining CPU time: 136.737 s c =============================================================================== c | 17087 | 1113 1205 187535 | 5000 4204 962 | 0.000 % | c | 17188 | 1113 1205 187535 | 5500 4305 962 | 0.000 % | c =============================================================================== c New solution: 1916359 c Elapsed CPU time: 43.7763 s Remaining CPU time: 136.224 s c =============================================================================== c | 17189 | 1113 1206 188533 | 5000 4306 962 | 0.000 % | c =============================================================================== c New solution: 1916196 c Elapsed CPU time: 43.9863 s Remaining CPU time: 136.014 s c =============================================================================== c | 17229 | 1113 1207 189531 | 5000 4346 962 | 0.000 % | c =============================================================================== c New solution: 1916182 c Elapsed CPU time: 44.1073 s Remaining CPU time: 135.893 s c =============================================================================== c | 17230 | 1113 1208 190529 | 5000 4347 962 | 0.000 % | c =============================================================================== c New solution: 1916023 c Elapsed CPU time: 44.2353 s Remaining CPU time: 135.765 s c =============================================================================== c | 17230 | 1113 1209 191527 | 5000 4347 962 | 0.000 % | c | 17332 | 1113 1209 191527 | 5500 4449 962 | 0.000 % | c | 17484 | 1113 1209 191527 | 6050 4601 961 | 0.000 % | c =============================================================================== c New solution: 1915772 c Elapsed CPU time: 45.6371 s Remaining CPU time: 134.363 s c =============================================================================== c | 17697 | 1113 1210 192525 | 5000 4814 961 | 0.000 % | c | 17797 | 1113 1210 192525 | 5500 4914 961 | 0.000 % | c | 17948 | 1113 1210 192525 | 6050 5065 961 | 0.000 % | c =============================================================================== c New solution: 1915732 c Elapsed CPU time: 47.1418 s Remaining CPU time: 132.858 s c =============================================================================== c | 18167 | 1113 1211 193523 | 5000 5284 961 | 0.000 % | c =============================================================================== c New solution: 1915650 c Elapsed CPU time: 47.5528 s Remaining CPU time: 132.447 s c =============================================================================== c | 18261 | 1113 1212 194521 | 5000 2736 959 | 0.000 % | c | 18362 | 1113 1212 194521 | 5500 2837 959 | 0.000 % | c | 18513 | 1113 1212 194521 | 6050 2988 959 | 0.000 % | c =============================================================================== c New solution: 1915631 c Elapsed CPU time: 48.8586 s Remaining CPU time: 131.141 s c =============================================================================== c | 18645 | 1113 1213 195519 | 5000 3120 959 | 0.000 % | c =============================================================================== c New solution: 1915605 c Elapsed CPU time: 48.9786 s Remaining CPU time: 131.021 s c =============================================================================== c | 18648 | 1113 1214 196517 | 5000 3123 959 | 0.000 % | c | 18749 | 1113 1214 196517 | 5500 3224 959 | 0.000 % | c =============================================================================== c New solution: 1915468 c Elapsed CPU time: 49.4335 s Remaining CPU time: 130.567 s c =============================================================================== c | 18749 | 1113 1215 197515 | 5000 3224 959 | 0.000 % | c =============================================================================== c New solution: 1915285 c Elapsed CPU time: 49.7504 s Remaining CPU time: 130.25 s c =============================================================================== c | 18836 | 1113 1216 198513 | 5000 3311 959 | 0.000 % | c | 18939 | 1113 1216 198513 | 5500 3414 959 | 0.000 % | c =============================================================================== c New solution: 1915247 c Elapsed CPU time: 50.3004 s Remaining CPU time: 129.7 s c =============================================================================== c | 18972 | 1113 1217 199511 | 5000 3447 959 | 0.000 % | c | 19072 | 1113 1217 199511 | 5500 3547 959 | 0.000 % | c | 19223 | 1113 1217 199511 | 6050 3698 959 | 0.000 % | c =============================================================================== c New solution: 1915159 c Elapsed CPU time: 51.2832 s Remaining CPU time: 128.717 s c =============================================================================== c | 19224 | 1113 1218 200509 | 5000 3699 959 | 0.000 % | c =============================================================================== c New solution: 1914808 c Elapsed CPU time: 51.4102 s Remaining CPU time: 128.59 s c =============================================================================== c | 19225 | 1113 1219 201507 | 5000 3700 959 | 0.000 % | c | 19326 | 1113 1219 201507 | 5500 3801 959 | 0.000 % | c =============================================================================== c New solution: 1914802 c Elapsed CPU time: 51.9171 s Remaining CPU time: 128.083 s c =============================================================================== c | 19362 | 1113 1220 202505 | 5000 3837 959 | 0.000 % | c | 19463 | 1113 1220 202505 | 5500 3938 959 | 0.000 % | c =============================================================================== c New solution: 1914791 c Elapsed CPU time: 52.629 s Remaining CPU time: 127.371 s c =============================================================================== c | 19573 | 1113 1221 203503 | 5000 4048 959 | 0.000 % | c | 19674 | 1113 1221 203503 | 5500 4149 959 | 0.000 % | c =============================================================================== c New solution: 1914668 c Elapsed CPU time: 53.1539 s Remaining CPU time: 126.846 s c =============================================================================== c | 19675 | 1113 1222 204501 | 5000 4150 959 | 0.000 % | c =============================================================================== c New solution: 1914521 c Elapsed CPU time: 53.2959 s Remaining CPU time: 126.704 s c =============================================================================== c | 19676 | 1113 1223 205499 | 5000 4151 959 | 0.000 % | c =============================================================================== c New solution: 1914517 c Elapsed CPU time: 53.5139 s Remaining CPU time: 126.486 s c =============================================================================== c | 19704 | 1113 1224 206497 | 5000 4179 959 | 0.000 % | c | 19804 | 1113 1224 206497 | 5500 4279 959 | 0.000 % | c | 19955 | 1113 1224 206497 | 6050 4430 959 | 0.000 % | c | 20180 | 1113 1224 206497 | 6655 4655 959 | 0.000 % | c =============================================================================== c New solution: 1914492 c Elapsed CPU time: 55.0886 s Remaining CPU time: 124.911 s c =============================================================================== c | 20206 | 1113 1225 207495 | 5000 4681 959 | 0.000 % | c =============================================================================== c New solution: 1914423 c Elapsed CPU time: 55.2556 s Remaining CPU time: 124.744 s c =============================================================================== c | 20215 | 1113 1226 208493 | 5000 4690 959 | 0.000 % | c =============================================================================== c New solution: 1914310 c Elapsed CPU time: 55.3906 s Remaining CPU time: 124.609 s c =============================================================================== c | 20215 | 1113 1227 209491 | 5000 4690 959 | 0.000 % | c | 20315 | 1113 1227 209491 | 5500 4790 959 | 0.000 % | c | 20466 | 1113 1227 209491 | 6050 4941 959 | 0.000 % | c =============================================================================== c New solution: 1914281 c Elapsed CPU time: 56.8284 s Remaining CPU time: 123.172 s c =============================================================================== c | 20636 | 1113 1228 210489 | 5000 5111 959 | 0.000 % | c =============================================================================== c New solution: 1914261 c Elapsed CPU time: 57.0723 s Remaining CPU time: 122.928 s c =============================================================================== c | 20664 | 1113 1229 211487 | 5000 2584 958 | 0.000 % | c | 20764 | 1113 1229 211487 | 5500 2684 958 | 0.000 % | c =============================================================================== c New solution: 1914260 c Elapsed CPU time: 57.8492 s Remaining CPU time: 122.151 s c =============================================================================== c | 20876 | 1113 1230 212485 | 5000 2796 958 | 0.000 % | c =============================================================================== c New solution: 1914194 c Elapsed CPU time: 57.9732 s Remaining CPU time: 122.027 s c =============================================================================== c | 20876 | 1113 1231 213483 | 5000 2796 958 | 0.000 % | c | 20976 | 1113 1231 213483 | 5500 2896 959 | 0.000 % | c =============================================================================== c New solution: 1914080 c Elapsed CPU time: 58.7621 s Remaining CPU time: 121.238 s c =============================================================================== c | 21112 | 1113 1232 214481 | 5000 3032 959 | 0.000 % | c =============================================================================== c New solution: 1913962 c Elapsed CPU time: 58.91 s Remaining CPU time: 121.09 s c =============================================================================== c | 21112 | 1113 1233 215479 | 5000 3032 959 | 0.000 % | c =============================================================================== c New solution: 1913832 c Elapsed CPU time: 59.052 s Remaining CPU time: 120.948 s c =============================================================================== c | 21112 | 1113 1234 216477 | 5000 3032 959 | 0.000 % | c | 21212 | 1113 1234 216477 | 5500 3132 959 | 0.000 % | c | 21362 | 1113 1234 216477 | 6050 3282 959 | 0.000 % | c =============================================================================== c New solution: 1913786 c Elapsed CPU time: 60.2508 s Remaining CPU time: 119.749 s c =============================================================================== c | 21461 | 1113 1235 217475 | 5000 3381 959 | 0.000 % | c =============================================================================== c New solution: 1913756 c Elapsed CPU time: 60.5288 s Remaining CPU time: 119.471 s c =============================================================================== c | 21518 | 1113 1236 218473 | 5000 3438 959 | 0.000 % | c | 21618 | 1113 1236 218473 | 5500 3538 959 | 0.000 % | c | 21770 | 1113 1236 218473 | 6050 3690 959 | 0.000 % | c =============================================================================== c New solution: 1913628 c Elapsed CPU time: 61.8676 s Remaining CPU time: 118.132 s c =============================================================================== c | 21899 | 1113 1237 219471 | 5000 3819 959 | 0.000 % | c | 21999 | 1113 1237 219471 | 5500 3919 959 | 0.000 % | c =============================================================================== c New solution: 1913578 c Elapsed CPU time: 62.6825 s Remaining CPU time: 117.318 s c =============================================================================== c | 22103 | 1113 1238 220469 | 5000 4023 959 | 0.000 % | c | 22204 | 1113 1238 220469 | 5500 4124 959 | 0.000 % | c =============================================================================== c New solution: 1913577 c Elapsed CPU time: 63.3624 s Remaining CPU time: 116.638 s c =============================================================================== c | 22296 | 1113 1239 221467 | 5000 4216 959 | 0.000 % | c =============================================================================== c New solution: 1913462 c Elapsed CPU time: 63.5113 s Remaining CPU time: 116.489 s c =============================================================================== c | 22298 | 1113 1240 222465 | 5000 4218 959 | 0.000 % | c =============================================================================== c New solution: 1913188 c Elapsed CPU time: 63.6593 s Remaining CPU time: 116.341 s c =============================================================================== c | 22298 | 1113 1241 223463 | 5000 4218 959 | 0.000 % | c =============================================================================== c New solution: 1913171 c Elapsed CPU time: 63.8143 s Remaining CPU time: 116.186 s c =============================================================================== c | 22298 | 1113 1242 224461 | 5000 4218 959 | 0.000 % | c =============================================================================== c New solution: 1913041 c Elapsed CPU time: 63.9643 s Remaining CPU time: 116.036 s c =============================================================================== c | 22298 | 1113 1243 225459 | 5000 4218 959 | 0.000 % | c =============================================================================== c New solution: 1913016 c Elapsed CPU time: 64.1063 s Remaining CPU time: 115.894 s c =============================================================================== c | 22298 | 1113 1244 226457 | 5000 4218 959 | 0.000 % | c =============================================================================== c New solution: 1913011 c Elapsed CPU time: 64.2532 s Remaining CPU time: 115.747 s c =============================================================================== c | 22298 | 1113 1245 227455 | 5000 4218 959 | 0.000 % | c =============================================================================== c New solution: 1912968 c Elapsed CPU time: 64.3922 s Remaining CPU time: 115.608 s c =============================================================================== c | 22298 | 1113 1246 228453 | 5000 4218 959 | 0.000 % | c =============================================================================== c New solution: 1912720 c Elapsed CPU time: 64.5292 s Remaining CPU time: 115.471 s c =============================================================================== c | 22298 | 1113 1247 229451 | 5000 4218 959 | 0.000 % | c =============================================================================== c New solution: 1912523 c Elapsed CPU time: 64.6632 s Remaining CPU time: 115.337 s c =============================================================================== c | 22298 | 1113 1248 230449 | 5000 4218 959 | 0.000 % | c =============================================================================== c New solution: 1912517 c Elapsed CPU time: 64.8191 s Remaining CPU time: 115.181 s c =============================================================================== c | 22301 | 1113 1249 231447 | 5000 4221 959 | 0.000 % | c | 22401 | 1113 1249 231447 | 5500 4321 959 | 0.000 % | c | 22551 | 1113 1249 231447 | 6050 4471 960 | 0.000 % | c =============================================================================== c New solution: 1912480 c Elapsed CPU time: 66.2029 s Remaining CPU time: 113.797 s c =============================================================================== c | 22686 | 1113 1250 232445 | 5000 4606 960 | 0.000 % | c =============================================================================== c New solution: 1912429 c Elapsed CPU time: 66.4569 s Remaining CPU time: 113.543 s c =============================================================================== c | 22750 | 1113 1251 233443 | 5000 4670 960 | 0.000 % | c | 22850 | 1113 1251 233443 | 5500 4770 960 | 0.000 % | c | 23001 | 1113 1251 233443 | 6050 4921 960 | 0.000 % | c =============================================================================== c New solution: 1912394 c Elapsed CPU time: 67.7477 s Remaining CPU time: 112.252 s c =============================================================================== c | 23106 | 1113 1252 234441 | 5000 5026 960 | 0.000 % | c =============================================================================== c New solution: 1912303 c Elapsed CPU time: 68.0966 s Remaining CPU time: 111.903 s c =============================================================================== c | 23171 | 1113 1253 235439 | 5000 2578 961 | 0.000 % | c =============================================================================== c New solution: 1912056 c Elapsed CPU time: 68.2526 s Remaining CPU time: 111.747 s c =============================================================================== c | 23171 | 1113 1254 236437 | 5000 2578 961 | 0.000 % | c =============================================================================== c New solution: 1911926 c Elapsed CPU time: 68.4096 s Remaining CPU time: 111.59 s c =============================================================================== c | 23171 | 1113 1255 237435 | 5000 2578 961 | 0.000 % | c =============================================================================== c New solution: 1911839 c Elapsed CPU time: 68.5806 s Remaining CPU time: 111.419 s c =============================================================================== c | 23182 | 1113 1256 238433 | 5000 2589 961 | 0.000 % | c | 23284 | 1113 1256 238433 | 5500 2691 961 | 0.000 % | c | 23435 | 1113 1256 238433 | 6050 2842 961 | 0.000 % | c | 23662 | 1113 1256 238433 | 6655 3069 961 | 0.000 % | c | 24000 | 1113 1256 238433 | 7320 3407 961 | 0.000 % | c =============================================================================== c New solution: 1911800 c Elapsed CPU time: 71.7221 s Remaining CPU time: 108.278 s c =============================================================================== c | 24096 | 1113 1257 239431 | 5000 3503 961 | 0.000 % | c | 24198 | 1113 1257 239431 | 5500 3605 961 | 0.000 % | c =============================================================================== c New solution: 1911560 c Elapsed CPU time: 72.612 s Remaining CPU time: 107.388 s c =============================================================================== c | 24273 | 1113 1258 240429 | 5000 3680 961 | 0.000 % | c =============================================================================== c New solution: 1911250 c Elapsed CPU time: 72.8319 s Remaining CPU time: 107.168 s c =============================================================================== c | 24299 | 1113 1259 241427 | 5000 3706 961 | 0.000 % | c =============================================================================== c New solution: 1911031 c Elapsed CPU time: 73.2569 s Remaining CPU time: 106.743 s c =============================================================================== c | 24393 | 1113 1260 242425 | 5000 3800 961 | 0.000 % | c | 24494 | 1113 1260 242425 | 5500 3901 961 | 0.000 % | c =============================================================================== c New solution: 1910929 c Elapsed CPU time: 73.8398 s Remaining CPU time: 106.16 s c =============================================================================== c | 24505 | 1113 1261 243423 | 5000 3912 961 | 0.000 % | c =============================================================================== c New solution: 1910854 c Elapsed CPU time: 74.0387 s Remaining CPU time: 105.961 s c =============================================================================== c | 24519 | 1113 1262 244421 | 5000 3926 961 | 0.000 % | c | 24619 | 1113 1262 244421 | 5500 4026 961 | 0.000 % | c =============================================================================== c New solution: 1910823 c Elapsed CPU time: 74.8236 s Remaining CPU time: 105.176 s c =============================================================================== c | 24700 | 1113 1263 245419 | 5000 4107 961 | 0.000 % | c =============================================================================== c New solution: 1910653 c Elapsed CPU time: 74.9896 s Remaining CPU time: 105.01 s c =============================================================================== c | 24701 | 1113 1264 246417 | 5000 4108 961 | 0.000 % | c =============================================================================== c New solution: 1910581 c Elapsed CPU time: 75.1516 s Remaining CPU time: 104.848 s c =============================================================================== c | 24701 | 1113 1265 247415 | 5000 4108 961 | 0.000 % | c =============================================================================== c New solution: 1910541 c Elapsed CPU time: 75.4165 s Remaining CPU time: 104.583 s c =============================================================================== c | 24738 | 1113 1266 248413 | 5000 4145 961 | 0.000 % | c | 24839 | 1113 1266 248413 | 5500 4246 961 | 0.000 % | c | 24990 | 1113 1266 248413 | 6050 4397 961 | 0.000 % | c =============================================================================== c New solution: 1910510 c Elapsed CPU time: 76.7583 s Remaining CPU time: 103.242 s c =============================================================================== c | 25099 | 1113 1267 249411 | 5000 4506 961 | 0.000 % | c =============================================================================== c New solution: 1910441 c Elapsed CPU time: 77.0683 s Remaining CPU time: 102.932 s c =============================================================================== c | 25168 | 1113 1268 250409 | 5000 4575 961 | 0.000 % | c =============================================================================== c New solution: 1910400 c Elapsed CPU time: 77.2843 s Remaining CPU time: 102.716 s c =============================================================================== c | 25193 | 1113 1269 251407 | 5000 4600 961 | 0.000 % | c =============================================================================== c New solution: 1910284 c Elapsed CPU time: 77.4422 s Remaining CPU time: 102.558 s c =============================================================================== c | 25194 | 1113 1270 252405 | 5000 4601 961 | 0.000 % | c =============================================================================== c New solution: 1910243 c Elapsed CPU time: 77.7042 s Remaining CPU time: 102.296 s c =============================================================================== c | 25219 | 1113 1271 253403 | 5000 4626 961 | 0.000 % | c =============================================================================== c New solution: 1909998 c Elapsed CPU time: 77.8902 s Remaining CPU time: 102.11 s c =============================================================================== c | 25221 | 1113 1272 254401 | 5000 4628 961 | 0.000 % | c =============================================================================== c New solution: 1909980 c Elapsed CPU time: 78.0931 s Remaining CPU time: 101.907 s c =============================================================================== c | 25225 | 1113 1273 255399 | 5000 4632 961 | 0.000 % | c =============================================================================== c New solution: 1909928 c Elapsed CPU time: 78.2741 s Remaining CPU time: 101.726 s c =============================================================================== c | 25225 | 1113 1274 256397 | 5000 4632 961 | 0.000 % | c =============================================================================== c New solution: 1909844 c Elapsed CPU time: 78.5211 s Remaining CPU time: 101.479 s c =============================================================================== c | 25255 | 1113 1275 257395 | 5000 4662 961 | 0.000 % | c | 25357 | 1113 1275 257395 | 5500 4764 961 | 0.000 % | c | 25508 | 1113 1275 257395 | 6050 4915 961 | 0.000 % | c =============================================================================== c New solution: 1909614 c Elapsed CPU time: 79.9978 s Remaining CPU time: 100.002 s c =============================================================================== c | 25609 | 1113 1276 258393 | 5000 5016 961 | 0.000 % | c | 25710 | 1113 1276 258393 | 5500 2609 961 | 0.000 % | c =============================================================================== c New solution: 1909535 c Elapsed CPU time: 80.7647 s Remaining CPU time: 99.2353 s c =============================================================================== c | 25757 | 1113 1277 259391 | 5000 2656 961 | 0.000 % | c =============================================================================== c New solution: 1909510 c Elapsed CPU time: 81.0587 s Remaining CPU time: 98.9413 s c =============================================================================== c | 25807 | 1113 1278 260389 | 5000 2706 961 | 0.000 % | c | 25907 | 1113 1278 260389 | 5500 2806 961 | 0.000 % | c =============================================================================== c New solution: 1909275 c Elapsed CPU time: 81.7466 s Remaining CPU time: 98.2534 s c =============================================================================== c | 25946 | 1113 1279 261387 | 5000 2845 961 | 0.000 % | c =============================================================================== c New solution: 1909225 c Elapsed CPU time: 81.9105 s Remaining CPU time: 98.0895 s c =============================================================================== c | 25946 | 1113 1280 262385 | 5000 2845 961 | 0.000 % | c =============================================================================== c New solution: 1908973 c Elapsed CPU time: 82.0905 s Remaining CPU time: 97.9095 s c =============================================================================== c | 25947 | 1113 1281 263383 | 5000 2846 961 | 0.000 % | c =============================================================================== c New solution: 1908843 c Elapsed CPU time: 82.2595 s Remaining CPU time: 97.7405 s c =============================================================================== c | 25947 | 1113 1282 264381 | 5000 2846 961 | 0.000 % | c =============================================================================== c New solution: 1908738 c Elapsed CPU time: 82.4205 s Remaining CPU time: 97.5795 s c =============================================================================== c | 25947 | 1113 1283 265379 | 5000 2846 961 | 0.000 % | c =============================================================================== c New solution: 1908547 c Elapsed CPU time: 82.5844 s Remaining CPU time: 97.4156 s c =============================================================================== c | 25947 | 1113 1284 266377 | 5000 2846 961 | 0.000 % | c =============================================================================== c New solution: 1908417 c Elapsed CPU time: 82.7474 s Remaining CPU time: 97.2526 s c =============================================================================== c | 25947 | 1113 1285 267375 | 5000 2846 961 | 0.000 % | c =============================================================================== c New solution: 1908413 c Elapsed CPU time: 82.9164 s Remaining CPU time: 97.0836 s c =============================================================================== c | 25947 | 1113 1286 268373 | 5000 2846 961 | 0.000 % | c =============================================================================== c New solution: 1908216 c Elapsed CPU time: 83.1034 s Remaining CPU time: 96.8966 s c =============================================================================== c | 25947 | 1113 1287 269371 | 5000 2846 961 | 0.000 % | c =============================================================================== c New solution: 1907813 c Elapsed CPU time: 83.2893 s Remaining CPU time: 96.7107 s c =============================================================================== c | 25947 | 1113 1288 270369 | 5000 2846 961 | 0.000 % | c =============================================================================== c New solution: 1907683 c Elapsed CPU time: 83.4643 s Remaining CPU time: 96.5357 s c =============================================================================== c | 25947 | 1113 1289 271367 | 5000 2846 961 | 0.000 % | c =============================================================================== c New solution: 1907657 c Elapsed CPU time: 83.7373 s Remaining CPU time: 96.2627 s c =============================================================================== c | 25976 | 1113 1290 272365 | 5000 2875 961 | 0.000 % | c | 26076 | 1113 1290 272365 | 5500 2975 961 | 0.000 % | c | 26227 | 1113 1290 272365 | 6050 3126 961 | 0.000 % | c =============================================================================== c New solution: 1907633 c Elapsed CPU time: 84.8291 s Remaining CPU time: 95.1709 s c =============================================================================== c | 26231 | 1113 1291 273363 | 5000 3130 961 | 0.000 % | c | 26332 | 1113 1291 273363 | 5500 3231 961 | 0.000 % | c =============================================================================== c New solution: 1907602 c Elapsed CPU time: 85.608 s Remaining CPU time: 94.392 s c =============================================================================== c | 26382 | 1113 1292 274361 | 5000 3281 961 | 0.000 % | c | 26483 | 1113 1292 274361 | 5500 3382 961 | 0.000 % | c | 26633 | 1113 1292 274361 | 6050 3532 961 | 0.000 % | c | 26859 | 1113 1292 274361 | 6655 3758 961 | 0.000 % | c =============================================================================== c New solution: 1907506 c Elapsed CPU time: 88.0486 s Remaining CPU time: 91.9514 s c =============================================================================== c | 27047 | 1113 1293 275359 | 5000 3946 961 | 0.000 % | c | 27148 | 1113 1293 275359 | 5500 4047 961 | 0.000 % | c | 27299 | 1113 1293 275359 | 6050 4198 961 | 0.000 % | c =============================================================================== c New solution: 1907489 c Elapsed CPU time: 89.6334 s Remaining CPU time: 90.3666 s c =============================================================================== c | 27471 | 1113 1294 276357 | 5000 4370 961 | 0.000 % | c =============================================================================== c New solution: 1907279 c Elapsed CPU time: 89.9303 s Remaining CPU time: 90.0697 s c =============================================================================== c | 27520 | 1113 1295 277355 | 5000 4419 961 | 0.000 % | c =============================================================================== c New solution: 1907077 c Elapsed CPU time: 90.1053 s Remaining CPU time: 89.8947 s c =============================================================================== c | 27520 | 1113 1296 278353 | 5000 4419 961 | 0.000 % | c =============================================================================== c New solution: 1906996 c Elapsed CPU time: 90.2923 s Remaining CPU time: 89.7077 s c =============================================================================== c | 27520 | 1113 1297 279351 | 5000 4419 961 | 0.000 % | c | 27620 | 1113 1297 279351 | 5500 4519 960 | 0.000 % | c =============================================================================== c New solution: 1906929 c Elapsed CPU time: 91.0242 s Remaining CPU time: 88.9758 s c =============================================================================== c | 27651 | 1113 1298 280349 | 5000 4550 960 | 0.000 % | c =============================================================================== c New solution: 1906913 c Elapsed CPU time: 91.4401 s Remaining CPU time: 88.5599 s c =============================================================================== c | 27738 | 1113 1299 281347 | 5000 4637 960 | 0.000 % | c =============================================================================== c New solution: 1906717 c Elapsed CPU time: 91.878 s Remaining CPU time: 88.122 s c =============================================================================== c | 27822 | 1113 1300 282345 | 5000 4721 960 | 0.000 % | c | 27923 | 1113 1300 282345 | 5500 4822 960 | 0.000 % | c =============================================================================== c New solution: 1906601 c Elapsed CPU time: 92.7509 s Remaining CPU time: 87.2491 s c =============================================================================== c | 28019 | 1113 1301 283343 | 5000 4918 960 | 0.000 % | c =============================================================================== c New solution: 1906576 c Elapsed CPU time: 92.9789 s Remaining CPU time: 87.0211 s c =============================================================================== c | 28035 | 1113 1302 284341 | 5000 4934 960 | 0.000 % | c =============================================================================== c New solution: 1906490 c Elapsed CPU time: 93.1698 s Remaining CPU time: 86.8302 s c =============================================================================== c | 28036 | 1113 1303 285339 | 5000 4935 960 | 0.000 % | c =============================================================================== c New solution: 1906458 c Elapsed CPU time: 93.3808 s Remaining CPU time: 86.6192 s c =============================================================================== c | 28046 | 1113 1304 286337 | 5000 4945 960 | 0.000 % | c | 28147 | 1113 1304 286337 | 5500 5046 960 | 0.000 % | c =============================================================================== c New solution: 1906442 c Elapsed CPU time: 94.1647 s Remaining CPU time: 85.8353 s c =============================================================================== c | 28200 | 1113 1305 287335 | 5000 5099 960 | 0.000 % | c =============================================================================== c New solution: 1906325 c Elapsed CPU time: 94.5646 s Remaining CPU time: 85.4354 s c =============================================================================== c | 28271 | 1113 1306 288333 | 5000 2621 960 | 0.000 % | c | 28371 | 1113 1306 288333 | 5500 2721 960 | 0.000 % | c =============================================================================== c New solution: 1906187 c Elapsed CPU time: 95.3905 s Remaining CPU time: 84.6095 s c =============================================================================== c | 28458 | 1113 1307 289331 | 5000 2808 960 | 0.000 % | c | 28559 | 1113 1307 289331 | 5500 2909 960 | 0.000 % | c =============================================================================== c New solution: 1906060 c Elapsed CPU time: 96.2364 s Remaining CPU time: 83.7636 s c =============================================================================== c | 28614 | 1113 1308 290329 | 5000 2964 960 | 0.000 % | c | 28716 | 1113 1308 290329 | 5500 3066 960 | 0.000 % | c | 28866 | 1113 1308 290329 | 6050 3216 960 | 0.000 % | c =============================================================================== c New solution: 1905981 c Elapsed CPU time: 97.6162 s Remaining CPU time: 82.3838 s c =============================================================================== c | 28874 | 1113 1309 291327 | 5000 3224 960 | 0.000 % | c =============================================================================== c New solution: 1905875 c Elapsed CPU time: 98.1051 s Remaining CPU time: 81.8949 s c =============================================================================== c | 28973 | 1113 1310 292325 | 5000 3323 960 | 0.000 % | c | 29074 | 1113 1310 292325 | 5500 3424 960 | 0.000 % | c =============================================================================== c New solution: 1905745 c Elapsed CPU time: 98.842 s Remaining CPU time: 81.158 s c =============================================================================== c | 29100 | 1113 1311 293323 | 5000 3450 960 | 0.000 % | c | 29200 | 1113 1311 293323 | 5500 3550 960 | 0.000 % | c =============================================================================== c New solution: 1905656 c Elapsed CPU time: 99.6479 s Remaining CPU time: 80.3521 s c =============================================================================== c | 29248 | 1113 1312 294321 | 5000 3598 960 | 0.000 % | c =============================================================================== c New solution: 1905476 c Elapsed CPU time: 99.8528 s Remaining CPU time: 80.1472 s c =============================================================================== c | 29249 | 1113 1313 295319 | 5000 3599 960 | 0.000 % | c | 29350 | 1113 1313 295319 | 5500 3700 960 | 0.000 % | c =============================================================================== c New solution: 1905092 c Elapsed CPU time: 100.525 s Remaining CPU time: 79.4753 s c =============================================================================== c | 29367 | 1113 1314 296317 | 5000 3717 960 | 0.000 % | c =============================================================================== c New solution: 1905041 c Elapsed CPU time: 100.728 s Remaining CPU time: 79.2723 s c =============================================================================== c | 29368 | 1113 1315 297315 | 5000 3718 960 | 0.000 % | c =============================================================================== c New solution: 1904996 c Elapsed CPU time: 100.931 s Remaining CPU time: 79.0693 s c =============================================================================== c | 29369 | 1113 1316 298313 | 5000 3719 960 | 0.000 % | c =============================================================================== c New solution: 1904869 c Elapsed CPU time: 101.454 s Remaining CPU time: 78.5464 s c =============================================================================== c | 29462 | 1113 1317 299311 | 5000 3812 960 | 0.000 % | c =============================================================================== c New solution: 1904753 c Elapsed CPU time: 101.641 s Remaining CPU time: 78.3595 s c =============================================================================== c | 29465 | 1113 1318 300309 | 5000 3815 960 | 0.000 % | c =============================================================================== c New solution: 1904730 c Elapsed CPU time: 101.929 s Remaining CPU time: 78.0715 s c =============================================================================== c | 29500 | 1113 1319 301307 | 5000 3850 960 | 0.000 % | c =============================================================================== c New solution: 1904702 c Elapsed CPU time: 102.389 s Remaining CPU time: 77.6106 s c =============================================================================== c | 29585 | 1113 1320 302305 | 5000 3935 960 | 0.000 % | c =============================================================================== c New solution: 1904646 c Elapsed CPU time: 102.789 s Remaining CPU time: 77.2106 s c =============================================================================== c | 29654 | 1113 1321 303303 | 5000 4004 960 | 0.000 % | c =============================================================================== c New solution: 1904388 c Elapsed CPU time: 103.316 s Remaining CPU time: 76.6837 s c =============================================================================== c | 29739 | 1113 1322 304301 | 5000 4089 960 | 0.000 % | c | 29840 | 1113 1322 304301 | 5500 4190 960 | 0.000 % | c =============================================================================== c New solution: 1904271 c Elapsed CPU time: 103.981 s Remaining CPU time: 76.0188 s c =============================================================================== c | 29847 | 1113 1323 305299 | 5000 4197 960 | 0.000 % | c =============================================================================== c New solution: 1904242 c Elapsed CPU time: 104.231 s Remaining CPU time: 75.7688 s c =============================================================================== c | 29860 | 1113 1324 306297 | 5000 4210 960 | 0.000 % | c | 29961 | 1113 1324 306297 | 5500 4311 960 | 0.000 % | c =============================================================================== c New solution: 1904213 c Elapsed CPU time: 105.306 s Remaining CPU time: 74.694 s c =============================================================================== c | 30106 | 1113 1325 307295 | 5000 4456 960 | 0.000 % | c =============================================================================== c New solution: 1904146 c Elapsed CPU time: 105.724 s Remaining CPU time: 74.2761 s c =============================================================================== c | 30176 | 1113 1326 308293 | 5000 4526 960 | 0.000 % | c =============================================================================== c New solution: 1904065 c Elapsed CPU time: 106.116 s Remaining CPU time: 73.8841 s c =============================================================================== c | 30243 | 1113 1327 309291 | 5000 4593 960 | 0.000 % | c =============================================================================== c New solution: 1903983 c Elapsed CPU time: 106.534 s Remaining CPU time: 73.4662 s c =============================================================================== c | 30290 | 1113 1328 310289 | 5000 4640 960 | 0.000 % | c =============================================================================== c New solution: 1903935 c Elapsed CPU time: 106.816 s Remaining CPU time: 73.1842 s c =============================================================================== c | 30318 | 1113 1329 311287 | 5000 4668 960 | 0.000 % | c =============================================================================== c New solution: 1903809 c Elapsed CPU time: 107.297 s Remaining CPU time: 72.7033 s c =============================================================================== c | 30416 | 1113 1330 312285 | 5000 4766 960 | 0.000 % | c | 30516 | 1113 1330 312285 | 5500 4866 960 | 0.000 % | c | 30666 | 1113 1330 312285 | 6050 5016 960 | 0.000 % | c =============================================================================== c New solution: 1903613 c Elapsed CPU time: 108.632 s Remaining CPU time: 71.3675 s c =============================================================================== c | 30666 | 1113 1331 313283 | 5000 5016 960 | 0.000 % | c =============================================================================== c New solution: 1903483 c Elapsed CPU time: 108.861 s Remaining CPU time: 71.1385 s c =============================================================================== c | 30666 | 1113 1332 314281 | 5000 2508 960 | 0.000 % | c =============================================================================== c New solution: 1903260 c Elapsed CPU time: 109.072 s Remaining CPU time: 70.9276 s c =============================================================================== c | 30666 | 1113 1333 315279 | 5000 2508 960 | 0.000 % | c =============================================================================== c New solution: 1903220 c Elapsed CPU time: 109.511 s Remaining CPU time: 70.4886 s c =============================================================================== c | 30743 | 1113 1334 316277 | 5000 2585 960 | 0.000 % | c =============================================================================== c New solution: 1903105 c Elapsed CPU time: 109.853 s Remaining CPU time: 70.1467 s c =============================================================================== c | 30772 | 1113 1335 317275 | 5000 2614 960 | 0.000 % | c | 30872 | 1113 1335 317275 | 5500 2714 960 | 0.000 % | c =============================================================================== c New solution: 1902863 c Elapsed CPU time: 110.754 s Remaining CPU time: 69.2458 s c =============================================================================== c | 30943 | 1113 1336 318273 | 5000 2785 960 | 0.000 % | c | 31045 | 1113 1336 318273 | 5500 2887 960 | 0.000 % | c =============================================================================== c New solution: 1902519 c Elapsed CPU time: 111.739 s Remaining CPU time: 68.261 s c =============================================================================== c | 31135 | 1113 1337 319271 | 5000 2977 960 | 0.000 % | c | 31235 | 1113 1337 319271 | 5500 3077 960 | 0.000 % | c =============================================================================== c New solution: 1902433 c Elapsed CPU time: 112.834 s Remaining CPU time: 67.1662 s c =============================================================================== c | 31320 | 1113 1338 320269 | 5000 3162 960 | 0.000 % | c =============================================================================== c New solution: 1902393 c Elapsed CPU time: 113.269 s Remaining CPU time: 66.7312 s c =============================================================================== c | 31392 | 1113 1339 321267 | 5000 3234 960 | 0.000 % | c =============================================================================== c New solution: 1902141 c Elapsed CPU time: 113.47 s Remaining CPU time: 66.5303 s c =============================================================================== c | 31392 | 1113 1340 322265 | 5000 3234 960 | 0.000 % | c =============================================================================== c New solution: 1902093 c Elapsed CPU time: 113.673 s Remaining CPU time: 66.3273 s c =============================================================================== c | 31392 | 1113 1341 323263 | 5000 3234 960 | 0.000 % | c =============================================================================== c New solution: 1901700 c Elapsed CPU time: 113.875 s Remaining CPU time: 66.1253 s c =============================================================================== c | 31392 | 1113 1342 324261 | 5000 3234 960 | 0.000 % | c =============================================================================== c New solution: 1901678 c Elapsed CPU time: 114.121 s Remaining CPU time: 65.8793 s c =============================================================================== c | 31407 | 1113 1343 325259 | 5000 3249 960 | 0.000 % | c =============================================================================== c New solution: 1901459 c Elapsed CPU time: 114.35 s Remaining CPU time: 65.6504 s c =============================================================================== c | 31415 | 1113 1344 326257 | 5000 3257 960 | 0.000 % | c =============================================================================== c New solution: 1901385 c Elapsed CPU time: 114.619 s Remaining CPU time: 65.3814 s c =============================================================================== c | 31421 | 1113 1345 327255 | 5000 3263 960 | 0.000 % | c =============================================================================== c New solution: 1901139 c Elapsed CPU time: 114.881 s Remaining CPU time: 65.1195 s c =============================================================================== c | 31430 | 1113 1346 328253 | 5000 3272 960 | 0.000 % | c | 31530 | 1113 1346 328253 | 5500 3372 960 | 0.000 % | c =============================================================================== c New solution: 1901134 c Elapsed CPU time: 116.151 s Remaining CPU time: 63.8487 s c =============================================================================== c | 31679 | 1113 1347 329251 | 5000 3521 960 | 0.000 % | c =============================================================================== c New solution: 1900782 c Elapsed CPU time: 116.416 s Remaining CPU time: 63.5837 s c =============================================================================== c | 31694 | 1113 1348 330249 | 5000 3536 960 | 0.000 % | c =============================================================================== c New solution: 1900677 c Elapsed CPU time: 116.669 s Remaining CPU time: 63.3307 s c =============================================================================== c | 31698 | 1113 1349 331247 | 5000 3540 960 | 0.000 % | c =============================================================================== c New solution: 1900434 c Elapsed CPU time: 117.112 s Remaining CPU time: 62.8878 s c =============================================================================== c | 31780 | 1113 1350 332245 | 5000 3622 960 | 0.000 % | c | 31881 | 1113 1350 332245 | 5500 3723 960 | 0.000 % | c | 32032 | 1113 1350 332245 | 6050 3874 960 | 0.000 % | c =============================================================================== c New solution: 1900317 c Elapsed CPU time: 118.487 s Remaining CPU time: 61.513 s c =============================================================================== c | 32034 | 1113 1351 333243 | 5000 3876 960 | 0.000 % | c | 32134 | 1113 1351 333243 | 5500 3976 960 | 0.000 % | c =============================================================================== c New solution: 1900189 c Elapsed CPU time: 119.625 s Remaining CPU time: 60.3752 s c =============================================================================== c | 32239 | 1113 1352 334241 | 5000 4081 960 | 0.000 % | c =============================================================================== c New solution: 1899924 c Elapsed CPU time: 119.894 s Remaining CPU time: 60.1062 s c =============================================================================== c | 32249 | 1113 1353 335239 | 5000 4091 960 | 0.000 % | c | 32350 | 1113 1353 335239 | 5500 4192 960 | 0.000 % | c =============================================================================== c New solution: 1899904 c Elapsed CPU time: 121.116 s Remaining CPU time: 58.8844 s c =============================================================================== c | 32465 | 1113 1354 336237 | 5000 4307 960 | 0.000 % | c | 32565 | 1113 1354 336237 | 5500 4407 960 | 0.000 % | c =============================================================================== c New solution: 1899814 c Elapsed CPU time: 122.049 s Remaining CPU time: 57.9506 s c =============================================================================== c | 32654 | 1113 1355 337235 | 5000 4496 960 | 0.000 % | c | 32754 | 1113 1355 337235 | 5500 4596 960 | 0.000 % | c =============================================================================== c New solution: 1899792 c Elapsed CPU time: 122.98 s Remaining CPU time: 57.0197 s c =============================================================================== c | 32825 | 1113 1356 338233 | 5000 4667 960 | 0.000 % | c =============================================================================== c New solution: 1899662 c Elapsed CPU time: 123.36 s Remaining CPU time: 56.6398 s c =============================================================================== c | 32870 | 1113 1357 339231 | 5000 4712 960 | 0.000 % | c | 32972 | 1113 1357 339231 | 5500 4814 960 | 0.000 % | c =============================================================================== c New solution: 1899557 c Elapsed CPU time: 124.065 s Remaining CPU time: 55.9349 s c =============================================================================== c | 32978 | 1113 1358 340229 | 5000 4820 960 | 0.000 % | c | 33078 | 1113 1358 340229 | 5500 4920 960 | 0.000 % | c | 33228 | 1113 1358 340229 | 6050 5070 960 | 0.000 % | c =============================================================================== c New solution: 1899433 c Elapsed CPU time: 125.55 s Remaining CPU time: 54.4501 s c =============================================================================== c | 33289 | 1113 1359 341227 | 5000 5131 960 | 0.000 % | c | 33390 | 1113 1359 341227 | 5500 2667 960 | 0.000 % | c =============================================================================== c New solution: 1899117 c Elapsed CPU time: 126.308 s Remaining CPU time: 53.6922 s c =============================================================================== c | 33390 | 1113 1360 342225 | 5000 2667 960 | 0.000 % | c =============================================================================== c New solution: 1899033 c Elapsed CPU time: 126.546 s Remaining CPU time: 53.4542 s c =============================================================================== c | 33392 | 1113 1361 343223 | 5000 2669 960 | 0.000 % | c =============================================================================== c New solution: 1898968 c Elapsed CPU time: 126.783 s Remaining CPU time: 53.2173 s c =============================================================================== c | 33392 | 1113 1362 344221 | 5000 2669 960 | 0.000 % | c =============================================================================== c New solution: 1898854 c Elapsed CPU time: 127.013 s Remaining CPU time: 52.9873 s c =============================================================================== c | 33394 | 1113 1363 345219 | 5000 2671 960 | 0.000 % | c =============================================================================== c New solution: 1898738 c Elapsed CPU time: 127.258 s Remaining CPU time: 52.7423 s c =============================================================================== c | 33399 | 1113 1364 346217 | 5000 2676 960 | 0.000 % | c =============================================================================== c New solution: 1898690 c Elapsed CPU time: 127.55 s Remaining CPU time: 52.4504 s c =============================================================================== c | 33418 | 1113 1365 347215 | 5000 2695 960 | 0.000 % | c =============================================================================== c New solution: 1898640 c Elapsed CPU time: 127.862 s Remaining CPU time: 52.1384 s c =============================================================================== c | 33444 | 1113 1366 348213 | 5000 2721 960 | 0.000 % | c | 33545 | 1113 1366 348213 | 5500 2822 960 | 0.000 % | c | 33696 | 1113 1366 348213 | 6050 2973 960 | 0.000 % | c =============================================================================== c New solution: 1898561 c Elapsed CPU time: 129.878 s Remaining CPU time: 50.1217 s c =============================================================================== c | 33865 | 1113 1367 349211 | 5000 3142 960 | 0.000 % | c =============================================================================== c New solution: 1898316 c Elapsed CPU time: 130.219 s Remaining CPU time: 49.7808 s c =============================================================================== c | 33888 | 1113 1368 350209 | 5000 3165 960 | 0.000 % | c | 33988 | 1113 1368 350209 | 5500 3265 960 | 0.000 % | c | 34138 | 1113 1368 350209 | 6050 3415 960 | 0.000 % | c =============================================================================== c New solution: 1898206 c Elapsed CPU time: 131.784 s Remaining CPU time: 48.216 s c =============================================================================== c | 34159 | 1113 1369 351207 | 5000 3436 960 | 0.000 % | c =============================================================================== c New solution: 1898176 c Elapsed CPU time: 132.08 s Remaining CPU time: 47.9201 s c =============================================================================== c | 34177 | 1113 1370 352205 | 5000 3454 960 | 0.000 % | c =============================================================================== c New solution: 1898058 c Elapsed CPU time: 132.516 s Remaining CPU time: 47.4841 s c =============================================================================== c | 34232 | 1113 1371 353203 | 5000 3509 960 | 0.000 % | c =============================================================================== c New solution: 1897806 c Elapsed CPU time: 132.921 s Remaining CPU time: 47.0792 s c =============================================================================== c | 34284 | 1113 1372 354201 | 5000 3561 960 | 0.000 % | c =============================================================================== c New solution: 1897740 c Elapsed CPU time: 133.201 s Remaining CPU time: 46.7993 s c =============================================================================== c | 34293 | 1113 1373 355199 | 5000 3570 960 | 0.000 % | c | 34394 | 1113 1373 355199 | 5500 3671 960 | 0.000 % | c =============================================================================== c New solution: 1897584 c Elapsed CPU time: 134.214 s Remaining CPU time: 45.7864 s c =============================================================================== c | 34433 | 1113 1374 356197 | 5000 3710 960 | 0.000 % | c | 34535 | 1113 1374 356197 | 5500 3812 960 | 0.000 % | c =============================================================================== c New solution: 1897458 c Elapsed CPU time: 135.129 s Remaining CPU time: 44.8705 s c =============================================================================== c | 34581 | 1113 1375 357195 | 5000 3858 960 | 0.000 % | c =============================================================================== c New solution: 1897262 c Elapsed CPU time: 135.581 s Remaining CPU time: 44.4186 s c =============================================================================== c | 34643 | 1113 1376 358193 | 5000 3920 960 | 0.000 % | c =============================================================================== c New solution: 1897239 c Elapsed CPU time: 136.183 s Remaining CPU time: 43.8167 s c =============================================================================== c | 34725 | 1113 1377 359191 | 5000 4002 960 | 0.000 % | c =============================================================================== c New solution: 1897087 c Elapsed CPU time: 136.458 s Remaining CPU time: 43.5417 s c =============================================================================== c | 34726 | 1113 1378 360189 | 5000 4003 960 | 0.000 % | c =============================================================================== c New solution: 1897008 c Elapsed CPU time: 136.802 s Remaining CPU time: 43.1978 s c =============================================================================== c | 34754 | 1113 1379 361187 | 5000 4031 960 | 0.000 % | c | 34854 | 1113 1379 361187 | 5500 4131 960 | 0.000 % | c | 35005 | 1113 1379 361187 | 6050 4282 960 | 0.000 % | c =============================================================================== c New solution: 1896759 c Elapsed CPU time: 138.552 s Remaining CPU time: 41.4481 s c =============================================================================== c | 35134 | 1113 1380 362185 | 5000 4411 960 | 0.000 % | c =============================================================================== c New solution: 1896758 c Elapsed CPU time: 138.812 s Remaining CPU time: 41.1881 s c =============================================================================== c | 35135 | 1113 1381 363183 | 5000 4412 960 | 0.000 % | c =============================================================================== c New solution: 1896668 c Elapsed CPU time: 139.372 s Remaining CPU time: 40.6282 s c =============================================================================== c | 35224 | 1113 1382 364181 | 5000 4501 960 | 0.000 % | c | 35324 | 1113 1382 364181 | 5500 4601 960 | 0.000 % | c =============================================================================== c New solution: 1896646 c Elapsed CPU time: 140.482 s Remaining CPU time: 39.5184 s c =============================================================================== c | 35411 | 1113 1383 365179 | 5000 4688 960 | 0.000 % | c =============================================================================== c New solution: 1896602 c Elapsed CPU time: 140.806 s Remaining CPU time: 39.1944 s c =============================================================================== c | 35436 | 1113 1384 366177 | 5000 4713 960 | 0.000 % | c =============================================================================== c New solution: 1896593 c Elapsed CPU time: 141.041 s Remaining CPU time: 38.9594 s c =============================================================================== c | 35436 | 1113 1385 367175 | 5000 4713 960 | 0.000 % | c =============================================================================== c New solution: 1896465 c Elapsed CPU time: 141.299 s Remaining CPU time: 38.7015 s c =============================================================================== c | 35436 | 1113 1386 368173 | 5000 4713 960 | 0.000 % | c =============================================================================== c New solution: 1896120 c Elapsed CPU time: 141.56 s Remaining CPU time: 38.4395 s c =============================================================================== c | 35436 | 1113 1387 369171 | 5000 4713 960 | 0.000 % | c =============================================================================== c New solution: 1896013 c Elapsed CPU time: 141.801 s Remaining CPU time: 38.1986 s c =============================================================================== c | 35436 | 1113 1388 370169 | 5000 4713 960 | 0.000 % | c =============================================================================== c New solution: 1895985 c Elapsed CPU time: 142.288 s Remaining CPU time: 37.7116 s c =============================================================================== c | 35497 | 1113 1389 371167 | 5000 4774 960 | 0.000 % | c | 35597 | 1113 1389 371167 | 5500 4874 960 | 0.000 % | c =============================================================================== c New solution: 1895661 c Elapsed CPU time: 143.156 s Remaining CPU time: 36.8438 s c =============================================================================== c | 35632 | 1113 1390 372165 | 5000 4909 960 | 0.000 % | c | 35733 | 1113 1390 372165 | 5500 5010 960 | 0.000 % | c =============================================================================== c New solution: 1895355 c Elapsed CPU time: 144.066 s Remaining CPU time: 35.9339 s c =============================================================================== c | 35749 | 1113 1391 373163 | 5000 5026 960 | 0.000 % | c =============================================================================== c New solution: 1895129 c Elapsed CPU time: 144.399 s Remaining CPU time: 35.601 s c =============================================================================== c | 35763 | 1113 1392 374161 | 5000 2527 959 | 0.000 % | c =============================================================================== c New solution: 1895044 c Elapsed CPU time: 144.714 s Remaining CPU time: 35.286 s c =============================================================================== c | 35774 | 1113 1393 375159 | 5000 2538 959 | 0.000 % | c =============================================================================== c New solution: 1895030 c Elapsed CPU time: 145.228 s Remaining CPU time: 34.7721 s c =============================================================================== c | 35835 | 1113 1394 376157 | 5000 2599 959 | 0.000 % | c =============================================================================== c New solution: 1894920 c Elapsed CPU time: 145.471 s Remaining CPU time: 34.5291 s c =============================================================================== c | 35835 | 1113 1395 377155 | 5000 2599 959 | 0.000 % | c | 35935 | 1113 1395 377155 | 5500 2699 959 | 0.000 % | c =============================================================================== c New solution: 1894893 c Elapsed CPU time: 146.716 s Remaining CPU time: 33.2843 s c =============================================================================== c | 36052 | 1113 1396 378153 | 5000 2816 959 | 0.000 % | c =============================================================================== c New solution: 1894686 c Elapsed CPU time: 146.991 s Remaining CPU time: 33.0093 s c =============================================================================== c | 36055 | 1113 1397 379151 | 5000 2819 959 | 0.000 % | c =============================================================================== c New solution: 1894441 c Elapsed CPU time: 147.257 s Remaining CPU time: 32.7434 s c =============================================================================== c | 36055 | 1113 1398 380149 | 5000 2819 959 | 0.000 % | c =============================================================================== c New solution: 1894347 c Elapsed CPU time: 147.516 s Remaining CPU time: 32.4844 s c =============================================================================== c | 36055 | 1113 1399 381147 | 5000 2819 959 | 0.000 % | c =============================================================================== c New solution: 1894197 c Elapsed CPU time: 147.762 s Remaining CPU time: 32.2385 s c =============================================================================== c | 36055 | 1113 1400 382145 | 5000 2819 959 | 0.000 % | c =============================================================================== c New solution: 1894058 c Elapsed CPU time: 148.025 s Remaining CPU time: 31.9745 s c =============================================================================== c | 36055 | 1113 1401 383143 | 5000 2819 959 | 0.000 % | c =============================================================================== c New solution: 1894018 c Elapsed CPU time: 148.278 s Remaining CPU time: 31.7215 s c =============================================================================== c | 36055 | 1113 1402 384141 | 5000 2819 959 | 0.000 % | c | 36157 | 1113 1402 384141 | 5500 2921 959 | 0.000 % | c =============================================================================== c New solution: 1894011 c Elapsed CPU time: 149.332 s Remaining CPU time: 30.6677 s c =============================================================================== c | 36254 | 1113 1403 385139 | 5000 3018 959 | 0.000 % | c | 36355 | 1113 1403 385139 | 5500 3119 959 | 0.000 % | c | 36506 | 1113 1403 385139 | 6050 3270 959 | 0.000 % | c =============================================================================== c New solution: 1893782 c Elapsed CPU time: 151.383 s Remaining CPU time: 28.617 s c =============================================================================== c | 36639 | 1113 1404 386137 | 5000 3403 959 | 0.000 % | c =============================================================================== c New solution: 1893619 c Elapsed CPU time: 151.956 s Remaining CPU time: 28.0441 s c =============================================================================== c | 36725 | 1113 1405 387135 | 5000 3489 959 | 0.000 % | c =============================================================================== c New solution: 1893615 c Elapsed CPU time: 152.21 s Remaining CPU time: 27.7901 s c =============================================================================== c | 36725 | 1113 1406 388133 | 5000 3489 959 | 0.000 % | c =============================================================================== c New solution: 1893337 c Elapsed CPU time: 152.467 s Remaining CPU time: 27.5332 s c =============================================================================== c | 36725 | 1113 1407 389131 | 5000 3489 959 | 0.000 % | c =============================================================================== c New solution: 1893106 c Elapsed CPU time: 153.081 s Remaining CPU time: 26.9193 s c =============================================================================== c | 36808 | 1113 1408 390129 | 5000 3572 959 | 0.000 % | c | 36909 | 1113 1408 390129 | 5500 3673 959 | 0.000 % | c =============================================================================== c New solution: 1893078 c Elapsed CPU time: 154.331 s Remaining CPU time: 25.6695 s c =============================================================================== c | 36998 | 1113 1409 391127 | 5000 3762 959 | 0.000 % | c =============================================================================== c New solution: 1892812 c Elapsed CPU time: 154.606 s Remaining CPU time: 25.3935 s c =============================================================================== c | 36998 | 1113 1410 392125 | 5000 3762 959 | 0.000 % | c =============================================================================== c New solution: 1892551 c Elapsed CPU time: 155.3 s Remaining CPU time: 24.6996 s c =============================================================================== c | 37096 | 1113 1411 393123 | 5000 3860 958 | 0.000 % | c =============================================================================== c New solution: 1892446 c Elapsed CPU time: 155.636 s Remaining CPU time: 24.3637 s c =============================================================================== c | 37120 | 1113 1412 394121 | 5000 3884 958 | 0.000 % | c | 37221 | 1113 1412 394121 | 5500 3985 958 | 0.000 % | c =============================================================================== c New solution: 1892383 c Elapsed CPU time: 156.768 s Remaining CPU time: 23.2318 s c =============================================================================== c | 37283 | 1113 1413 395119 | 5000 4047 958 | 0.000 % | c | 37383 | 1113 1413 395119 | 5500 4147 958 | 0.000 % | c =============================================================================== c New solution: 1892182 c Elapsed CPU time: 157.615 s Remaining CPU time: 22.385 s c =============================================================================== c | 37401 | 1113 1414 396117 | 5000 4165 958 | 0.000 % | c | 37502 | 1113 1414 396117 | 5500 4266 958 | 0.000 % | c =============================================================================== c New solution: 1892037 c Elapsed CPU time: 158.688 s Remaining CPU time: 21.3121 s c =============================================================================== c | 37569 | 1113 1415 397115 | 5000 4333 958 | 0.000 % | c | 37669 | 1113 1415 397115 | 5500 4433 958 | 0.000 % | c | 37820 | 1113 1415 397115 | 6050 4584 958 | 0.000 % | c =============================================================================== c New solution: 1891961 c Elapsed CPU time: 160.481 s Remaining CPU time: 19.5194 s c =============================================================================== c | 37860 | 1113 1416 398113 | 5000 4624 958 | 0.000 % | c | 37960 | 1113 1416 398113 | 5500 4724 958 | 0.000 % | c | 38111 | 1113 1416 398113 | 6050 4875 958 | 0.000 % | c =============================================================================== c New solution: 1891880 c Elapsed CPU time: 162.9 s Remaining CPU time: 17.0998 s c =============================================================================== c | 38264 | 1113 1417 399111 | 5000 5028 958 | 0.000 % | c =============================================================================== c New solution: 1891745 c Elapsed CPU time: 163.386 s Remaining CPU time: 16.6138 s c =============================================================================== c | 38342 | 1113 1418 400109 | 5000 2592 957 | 0.000 % | c =============================================================================== c New solution: 1891577 c Elapsed CPU time: 163.99 s Remaining CPU time: 16.0099 s c =============================================================================== c | 38418 | 1113 1419 401107 | 5000 2668 957 | 0.000 % | c =============================================================================== c New solution: 1891550 c Elapsed CPU time: 164.317 s Remaining CPU time: 15.683 s c =============================================================================== c | 38430 | 1113 1420 402105 | 5000 2680 957 | 0.000 % | c =============================================================================== c New solution: 1891192 c Elapsed CPU time: 164.659 s Remaining CPU time: 15.341 s c =============================================================================== c | 38452 | 1113 1421 403103 | 5000 2702 957 | 0.000 % | c | 38552 | 1113 1421 403103 | 5500 2802 957 | 0.000 % | c | 38702 | 1113 1421 403103 | 6050 2952 957 | 0.000 % | c =============================================================================== c New solution: 1890939 c Elapsed CPU time: 166.676 s Remaining CPU time: 13.3243 s c =============================================================================== c | 38804 | 1113 1422 404101 | 5000 3054 957 | 0.000 % | c | 38904 | 1113 1422 404101 | 5500 3154 957 | 0.000 % | c | 39054 | 1113 1422 404101 | 6050 3304 957 | 0.000 % | c =============================================================================== c New solution: 1890773 c Elapsed CPU time: 168.404 s Remaining CPU time: 11.5956 s c =============================================================================== c | 39083 | 1113 1423 405099 | 5000 3333 957 | 0.000 % | c =============================================================================== c New solution: 1890587 c Elapsed CPU time: 168.735 s Remaining CPU time: 11.2647 s c =============================================================================== c | 39101 | 1113 1424 406097 | 5000 3351 957 | 0.000 % | c | 39202 | 1113 1424 406097 | 5500 3452 957 | 0.000 % | c =============================================================================== c New solution: 1890300 c Elapsed CPU time: 169.89 s Remaining CPU time: 10.1098 s c =============================================================================== c | 39278 | 1113 1425 407095 | 5000 3528 957 | 0.000 % | c | 39379 | 1113 1425 407095 | 5500 3629 957 | 0.000 % | c =============================================================================== c New solution: 1890014 c Elapsed CPU time: 171.42 s Remaining CPU time: 8.58006 s c =============================================================================== c | 39497 | 1113 1426 408093 | 5000 3747 957 | 0.000 % | c =============================================================================== c New solution: 1889997 c Elapsed CPU time: 171.956 s Remaining CPU time: 8.04414 s c =============================================================================== c | 39550 | 1113 1427 409091 | 5000 3800 957 | 0.000 % | c =============================================================================== c New solution: 1889752 c Elapsed CPU time: 172.408 s Remaining CPU time: 7.59221 s c =============================================================================== c | 39578 | 1113 1428 410089 | 5000 3828 957 | 0.000 % | c =============================================================================== c New solution: 1889608 c Elapsed CPU time: 173.065 s Remaining CPU time: 6.93531 s c =============================================================================== c | 39644 | 1113 1429 411087 | 5000 3894 957 | 0.000 % | c =============================================================================== c New solution: 1889547 c Elapsed CPU time: 173.352 s Remaining CPU time: 6.64835 s c =============================================================================== c | 39645 | 1113 1430 412085 | 5000 3895 957 | 0.000 % | c | 39746 | 1113 1430 412085 | 5500 3996 957 | 0.000 % | c | 39896 | 1113 1430 412085 | 6050 4146 957 | 0.000 % | c =============================================================================== c New solution: 1889281 c Elapsed CPU time: 175.415 s Remaining CPU time: 4.58467 s c =============================================================================== c | 39935 | 1113 1431 413083 | 5000 4185 957 | 0.000 % | c | 40036 | 1113 1431 413083 | 5500 4286 957 | 0.000 % | c | 40186 | 1113 1431 413083 | 6050 4436 957 | 0.000 % | c | 40412 | 1113 1431 413083 | 6655 4662 956 | 0.000 % | c =============================================================================== c New solution: 1889038 c Elapsed CPU time: 178.825 s Remaining CPU time: 1.17519 s c =============================================================================== c | 40666 | 1113 1432 414081 | 5000 4916 956 | 0.000 % | c =============================================================================== c New solution: 1888979 c Elapsed CPU time: 179.296 s Remaining CPU time: 0.704258 s c =============================================================================== c | 40723 | 1113 1433 415079 | 5000 4973 956 | 0.000 % | c | 40824 | 1113 1433 415079 | 5500 5074 956 | 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 | 157 2475 3510 | 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 | 172 2489 3534 | 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 | 181 2497 3544 | 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 | 189 2504 3557 | 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 | 196 2510 3567 | 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 | 209 2519 3646 | 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 | 217 2528 3658 | 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 | 229 2538 3677 | 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 | 242 2550 3695 | 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 | 255 2562 3715 | 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 | 271 2577 3740 | 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 | 284 2589 3758 | 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 | 297 2601 3796 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 310 2613 3816 | 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 | 325 2627 3840 | 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 | 340 2641 3864 | 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 | 353 2653 3888 | 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 | 366 2665 3908 | 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 | 374 2672 3927 | 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 | 387 2684 3955 | 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 | 399 2695 3976 | 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 | 407 2702 4013 | 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 | 424 2718 4037 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 441 2734 4067 | 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 | 458 2750 4085 | 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 | 474 2765 4118 | 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 | 481 2771 4126 | 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 | 495 2784 4149 | 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 | 513 2801 4170 | 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 | 530 2817 4194 | 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 | 545 2831 4212 | 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 | 566 2851 4238 | 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 | 584 2868 4279 | 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 | 596 2879 4312 | 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 | 608 2890 4326 | 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 | 632 2913 4363 | 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 | 659 2939 4399 | 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 | 690 2967 4434 | 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 | 726 3002 4510 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 764 3039 4597 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 779 3049 4710 | 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 | 808 3077 4762 | 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 | 850 3118 4845 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 871 3138 4873 | 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 | 899 3165 4924 | 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 | 932 3197 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 | 939 3203 4980 | 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 | 969 3232 5031 | 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 | 996 3258 5059 | 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 | 1033 3293 5109 | 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 | 1067 3326 5169 | 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 | 1076 3334 5179 | 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 | 1110 3366 5216 | 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 | 1144 3399 5281 | 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 | 1182 3436 5361 | 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 | 1225 3478 5431 | 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 | 1263 3515 5518 | 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 | 1292 3543 5570 | 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 | 1309 3559 5596 | 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 | 1328 3577 5624 | 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 | 1349 3597 5648 | 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 | 1361 3608 5663 | 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 | 1376 3622 5685 | 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 | 1423 3668 5802 | 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 | 1440 3684 5820 | 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 | 1481 3724 5884 | 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 | 1502 3744 5912 | 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 | 1535 3776 5986 | 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 | 1547 3787 6001 | 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 | 1578 3817 6057 | 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 | 1637 3875 6193 | 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 | 1685 3922 6281 | 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 | 1710 3947 6312 | 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 | 1723 3959 6330 | 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 | 1743 3978 6361 | 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 | 1800 4034 6480 | 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 | 1840 4073 6573 | 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 | 1868 4100 6604 | 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 4120 6640 | 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 | 1919 4149 6687 | 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 | 1951 4180 6734 | 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 | 1974 4202 6766 | 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 | 1999 4226 6806 | 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 | 2039 4261 6877 | 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 | 2076 4297 6933 | 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 | 2096 4316 6966 | 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 | 2116 4335 6991 | 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 | 2146 4364 7050 | 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 | 2197 4414 7136 | 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 | 2223 4439 7164 | 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 | 2268 4483 7290 | 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 | 2291 4505 7315 | 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 4545 7407 | 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 | 2380 4592 7519 | 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 | 2437 4647 7618 | 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 | 2465 4674 7677 | 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 | 2510 4718 7786 | 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 | 2540 4747 7837 | 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 | 2558 4764 7956 | 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 4796 7994 | 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 | 2604 4808 8008 | 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 | 2618 4821 8037 | 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 | 2664 4866 8140 | 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 | 2708 4909 8219 | 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 | 2750 4948 8283 | 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 | 2770 4967 8312 | 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 | 2803 4999 8372 | 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 | 2875 5070 8503 | 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 | 2888 5082 8517 | 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 | 2938 5131 8581 | 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 | 2963 5155 8635 | 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 | 3020 5211 8700 | 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 | 3040 5230 8749 | 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 | 3077 5264 8818 | 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 | 3123 5309 8887 | 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 | 3175 5360 8950 | 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 | 3227 5411 9003 | 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 | 3261 5444 9053 | 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 | 3294 5476 9113 | 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 | 3304 5485 9124 | 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 | 3316 5496 9139 | 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 | 3331 5510 9159 | 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 | 3367 5545 9224 | 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 | 3404 5580 9289 | 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 | 3440 5615 9346 | 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 | 3491 5663 9425 | 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 | 3507 5678 9444 | 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 | 3523 5693 9465 | 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 | 3538 5707 9487 | 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 | 3599 5766 9585 | 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 5783 9604 | 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 | 3652 5817 9670 | 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 | 3665 5829 9684 | 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 | 3685 5848 9707 | 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 | 3723 5885 9760 | 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 | 3772 5934 9845 | 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 | 3793 5956 9872 | 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 | 3819 5981 9911 | 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 | 3857 6018 9982 | 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 | 3909 6069 10066 | 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 | 3937 6095 10119 | 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 | 3986 6143 10181 | 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 | 3999 6155 10201 | 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 | 4047 6204 10270 | 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 | 4083 6240 10322 | 5000 0 nan | 0.000 % | c ===============================================================================