c wbo 1.4 beta - 20100610 c | Number of variables: 161 | c | Number of clauses: 1068 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1157 | c | Number Clauses: 1051 | 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 | 1157 1051 3957 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2011139 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 1157 1052 4970 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2010882 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 1157 1053 5983 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2009975 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1157 1054 6996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2009816 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 1 | 1157 1055 8009 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 2009577 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 1 | 1157 1056 9022 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 2006911 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 1 | 1157 1057 10035 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 2006640 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 1 | 1157 1058 11048 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 2003937 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 1 | 1157 1059 12061 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 2003801 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 1 | 1157 1060 13074 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 2003522 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 1 | 1157 1061 14087 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 2003459 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 1 | 1157 1062 15100 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 2003087 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 1 | 1157 1063 16113 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 2002648 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 1 | 1157 1064 17126 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 2002436 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 1 | 1157 1065 18139 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 2002263 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 1 | 1157 1066 19152 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 2002121 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 1 | 1157 1067 20165 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 2002066 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 1 | 1157 1068 21178 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 2001602 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 1 | 1157 1069 22191 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 2001178 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 1 | 1157 1070 23204 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 2000903 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 1 | 1157 1071 24217 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 2000723 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 1 | 1157 1072 25230 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 1999575 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 1 | 1157 1073 26243 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 1999105 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 1 | 1157 1074 27256 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 1998987 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 1 | 1157 1075 28269 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 1994108 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 1 | 1157 1076 29282 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 1993764 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 1 | 1157 1077 30295 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 1993487 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 1 | 1157 1078 31308 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 1993475 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 1 | 1157 1079 32321 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 1993270 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 1 | 1157 1080 33334 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 1993158 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 1 | 1157 1081 34347 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 1993139 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 1 | 1157 1082 35360 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 1993077 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 1 | 1157 1083 36373 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 1993030 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 1 | 1157 1084 37386 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 1992917 c Elapsed CPU time: 0.315951 s Remaining CPU time: 179.684 s c =============================================================================== c | 1 | 1157 1085 38399 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 1992337 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s c =============================================================================== c | 1 | 1157 1086 39412 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 1992198 c Elapsed CPU time: 0.344947 s Remaining CPU time: 179.655 s c =============================================================================== c | 1 | 1157 1087 40425 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 1992010 c Elapsed CPU time: 0.361944 s Remaining CPU time: 179.638 s c =============================================================================== c | 1 | 1157 1088 41438 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 1991760 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s c =============================================================================== c | 1 | 1157 1089 42451 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 1991565 c Elapsed CPU time: 0.39094 s Remaining CPU time: 179.609 s c =============================================================================== c | 1 | 1157 1090 43464 | 5000 1 1002 | 0.000 % | c =============================================================================== c New solution: 1991465 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s c =============================================================================== c | 2 | 1157 1091 44477 | 5000 2 996 | 0.000 % | c =============================================================================== c New solution: 1991411 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 2 | 1157 1092 45490 | 5000 2 996 | 0.000 % | c =============================================================================== c New solution: 1991401 c Elapsed CPU time: 0.442932 s Remaining CPU time: 179.557 s c =============================================================================== c | 2 | 1157 1093 46503 | 5000 2 996 | 0.000 % | c =============================================================================== c New solution: 1991397 c Elapsed CPU time: 0.461929 s Remaining CPU time: 179.538 s c =============================================================================== c | 2 | 1157 1094 47516 | 5000 2 996 | 0.000 % | c =============================================================================== c New solution: 1991260 c Elapsed CPU time: 0.478927 s Remaining CPU time: 179.521 s c =============================================================================== c | 2 | 1157 1095 48529 | 5000 2 996 | 0.000 % | c =============================================================================== c New solution: 1991226 c Elapsed CPU time: 0.497924 s Remaining CPU time: 179.502 s c =============================================================================== c | 2 | 1157 1096 49542 | 5000 2 996 | 0.000 % | c =============================================================================== c New solution: 1991198 c Elapsed CPU time: 0.515921 s Remaining CPU time: 179.484 s c =============================================================================== c | 3 | 1157 1097 50555 | 5000 3 995 | 0.000 % | c =============================================================================== c New solution: 1991098 c Elapsed CPU time: 0.535918 s Remaining CPU time: 179.464 s c =============================================================================== c | 3 | 1157 1098 51568 | 5000 3 995 | 0.000 % | c =============================================================================== c New solution: 1990721 c Elapsed CPU time: 0.556915 s Remaining CPU time: 179.443 s c =============================================================================== c | 3 | 1157 1099 52581 | 5000 3 995 | 0.000 % | c =============================================================================== c New solution: 1990714 c Elapsed CPU time: 0.576912 s Remaining CPU time: 179.423 s c =============================================================================== c | 3 | 1157 1100 53594 | 5000 3 995 | 0.000 % | c =============================================================================== c New solution: 1990541 c Elapsed CPU time: 0.607907 s Remaining CPU time: 179.392 s c =============================================================================== c | 5 | 1157 1101 54607 | 5000 5 993 | 0.000 % | c =============================================================================== c New solution: 1990084 c Elapsed CPU time: 0.629904 s Remaining CPU time: 179.37 s c =============================================================================== c | 5 | 1157 1102 55620 | 5000 5 993 | 0.000 % | c =============================================================================== c New solution: 1989947 c Elapsed CPU time: 0.6529 s Remaining CPU time: 179.347 s c =============================================================================== c | 5 | 1157 1103 56633 | 5000 5 993 | 0.000 % | c =============================================================================== c New solution: 1989894 c Elapsed CPU time: 0.674897 s Remaining CPU time: 179.325 s c =============================================================================== c | 5 | 1157 1104 57646 | 5000 5 993 | 0.000 % | c =============================================================================== c New solution: 1989840 c Elapsed CPU time: 0.701893 s Remaining CPU time: 179.298 s c =============================================================================== c | 5 | 1157 1105 58659 | 5000 5 993 | 0.000 % | c =============================================================================== c New solution: 1989761 c Elapsed CPU time: 0.727889 s Remaining CPU time: 179.272 s c =============================================================================== c | 5 | 1157 1106 59672 | 5000 5 993 | 0.000 % | c =============================================================================== c New solution: 1989757 c Elapsed CPU time: 0.768883 s Remaining CPU time: 179.231 s c =============================================================================== c | 11 | 1157 1107 60685 | 5000 11 989 | 0.000 % | c =============================================================================== c New solution: 1989630 c Elapsed CPU time: 0.794879 s Remaining CPU time: 179.205 s c =============================================================================== c | 12 | 1157 1108 61698 | 5000 12 989 | 0.000 % | c =============================================================================== c New solution: 1989514 c Elapsed CPU time: 0.831873 s Remaining CPU time: 179.168 s c =============================================================================== c | 19 | 1157 1109 62711 | 5000 19 988 | 0.000 % | c =============================================================================== c New solution: 1989405 c Elapsed CPU time: 0.859869 s Remaining CPU time: 179.14 s c =============================================================================== c | 19 | 1157 1110 63724 | 5000 19 988 | 0.000 % | c =============================================================================== c New solution: 1989358 c Elapsed CPU time: 0.886865 s Remaining CPU time: 179.113 s c =============================================================================== c | 19 | 1157 1111 64737 | 5000 19 988 | 0.000 % | c =============================================================================== c New solution: 1988829 c Elapsed CPU time: 0.91586 s Remaining CPU time: 179.084 s c =============================================================================== c | 20 | 1157 1112 65750 | 5000 20 988 | 0.000 % | c =============================================================================== c New solution: 1988800 c Elapsed CPU time: 0.943856 s Remaining CPU time: 179.056 s c =============================================================================== c | 20 | 1157 1113 66763 | 5000 20 988 | 0.000 % | c =============================================================================== c New solution: 1988634 c Elapsed CPU time: 0.990849 s Remaining CPU time: 179.009 s c =============================================================================== c | 29 | 1157 1114 67776 | 5000 29 986 | 0.000 % | c =============================================================================== c New solution: 1988522 c Elapsed CPU time: 1.01684 s Remaining CPU time: 178.983 s c =============================================================================== c | 29 | 1157 1115 68789 | 5000 29 986 | 0.000 % | c =============================================================================== c New solution: 1988486 c Elapsed CPU time: 1.04584 s Remaining CPU time: 178.954 s c =============================================================================== c | 29 | 1157 1116 69802 | 5000 29 986 | 0.000 % | c =============================================================================== c New solution: 1988345 c Elapsed CPU time: 1.07883 s Remaining CPU time: 178.921 s c =============================================================================== c | 30 | 1157 1117 70815 | 5000 30 986 | 0.000 % | c =============================================================================== c New solution: 1988129 c Elapsed CPU time: 1.11683 s Remaining CPU time: 178.883 s c =============================================================================== c | 32 | 1157 1118 71828 | 5000 32 986 | 0.000 % | c =============================================================================== c New solution: 1987992 c Elapsed CPU time: 1.14682 s Remaining CPU time: 178.853 s c =============================================================================== c | 32 | 1157 1119 72841 | 5000 32 986 | 0.000 % | c =============================================================================== c New solution: 1987940 c Elapsed CPU time: 1.17982 s Remaining CPU time: 178.82 s c =============================================================================== c | 32 | 1157 1120 73854 | 5000 32 986 | 0.000 % | c =============================================================================== c New solution: 1987613 c Elapsed CPU time: 1.22081 s Remaining CPU time: 178.779 s c =============================================================================== c | 33 | 1157 1121 74867 | 5000 33 986 | 0.000 % | c =============================================================================== c New solution: 1987524 c Elapsed CPU time: 1.25381 s Remaining CPU time: 178.746 s c =============================================================================== c | 33 | 1157 1122 75880 | 5000 33 986 | 0.000 % | c =============================================================================== c New solution: 1987389 c Elapsed CPU time: 1.2888 s Remaining CPU time: 178.711 s c =============================================================================== c | 34 | 1157 1123 76893 | 5000 34 986 | 0.000 % | c =============================================================================== c New solution: 1987322 c Elapsed CPU time: 1.3308 s Remaining CPU time: 178.669 s c =============================================================================== c | 35 | 1157 1124 77906 | 5000 35 986 | 0.000 % | c =============================================================================== c New solution: 1987252 c Elapsed CPU time: 1.36479 s Remaining CPU time: 178.635 s c =============================================================================== c | 35 | 1157 1125 78919 | 5000 35 986 | 0.000 % | c =============================================================================== c New solution: 1987223 c Elapsed CPU time: 1.39979 s Remaining CPU time: 178.6 s c =============================================================================== c | 35 | 1157 1126 79932 | 5000 35 986 | 0.000 % | c =============================================================================== c New solution: 1987102 c Elapsed CPU time: 1.43678 s Remaining CPU time: 178.563 s c =============================================================================== c | 35 | 1157 1127 80945 | 5000 35 986 | 0.000 % | c =============================================================================== c New solution: 1987008 c Elapsed CPU time: 1.47578 s Remaining CPU time: 178.524 s c =============================================================================== c | 35 | 1157 1128 81958 | 5000 35 986 | 0.000 % | c =============================================================================== c New solution: 1986746 c Elapsed CPU time: 1.51377 s Remaining CPU time: 178.486 s c =============================================================================== c | 35 | 1157 1129 82971 | 5000 35 986 | 0.000 % | c =============================================================================== c New solution: 1986445 c Elapsed CPU time: 1.55276 s Remaining CPU time: 178.447 s c =============================================================================== c | 35 | 1157 1130 83984 | 5000 35 986 | 0.000 % | c =============================================================================== c New solution: 1986272 c Elapsed CPU time: 1.59676 s Remaining CPU time: 178.403 s c =============================================================================== c | 36 | 1157 1131 84997 | 5000 36 986 | 0.000 % | c =============================================================================== c New solution: 1986038 c Elapsed CPU time: 1.63575 s Remaining CPU time: 178.364 s c =============================================================================== c | 36 | 1157 1132 86010 | 5000 36 986 | 0.000 % | c =============================================================================== c New solution: 1985892 c Elapsed CPU time: 1.67674 s Remaining CPU time: 178.323 s c =============================================================================== c | 36 | 1157 1133 87023 | 5000 36 986 | 0.000 % | c =============================================================================== c New solution: 1985605 c Elapsed CPU time: 1.71874 s Remaining CPU time: 178.281 s c =============================================================================== c | 36 | 1157 1134 88036 | 5000 36 986 | 0.000 % | c =============================================================================== c New solution: 1985586 c Elapsed CPU time: 1.76073 s Remaining CPU time: 178.239 s c =============================================================================== c | 36 | 1157 1135 89049 | 5000 36 986 | 0.000 % | c =============================================================================== c New solution: 1985400 c Elapsed CPU time: 1.82672 s Remaining CPU time: 178.173 s c =============================================================================== c | 42 | 1157 1136 90062 | 5000 42 986 | 0.000 % | c =============================================================================== c New solution: 1985288 c Elapsed CPU time: 1.87571 s Remaining CPU time: 178.124 s c =============================================================================== c | 44 | 1157 1137 91075 | 5000 44 986 | 0.000 % | c =============================================================================== c New solution: 1985263 c Elapsed CPU time: 1.92571 s Remaining CPU time: 178.074 s c =============================================================================== c | 45 | 1157 1138 92088 | 5000 45 986 | 0.000 % | c =============================================================================== c New solution: 1985252 c Elapsed CPU time: 1.9797 s Remaining CPU time: 178.02 s c =============================================================================== c | 47 | 1157 1139 93101 | 5000 47 986 | 0.000 % | c =============================================================================== c New solution: 1985167 c Elapsed CPU time: 2.02569 s Remaining CPU time: 177.974 s c =============================================================================== c | 48 | 1157 1140 94114 | 5000 48 986 | 0.000 % | c =============================================================================== c New solution: 1985161 c Elapsed CPU time: 2.08068 s Remaining CPU time: 177.919 s c =============================================================================== c | 50 | 1157 1141 95127 | 5000 50 985 | 0.000 % | c =============================================================================== c New solution: 1985154 c Elapsed CPU time: 2.12668 s Remaining CPU time: 177.873 s c =============================================================================== c | 50 | 1157 1142 96140 | 5000 50 985 | 0.000 % | c =============================================================================== c New solution: 1985030 c Elapsed CPU time: 2.17467 s Remaining CPU time: 177.825 s c =============================================================================== c | 50 | 1157 1143 97153 | 5000 50 985 | 0.000 % | c =============================================================================== c New solution: 1984953 c Elapsed CPU time: 2.22566 s Remaining CPU time: 177.774 s c =============================================================================== c | 51 | 1157 1144 98166 | 5000 51 985 | 0.000 % | c =============================================================================== c New solution: 1984844 c Elapsed CPU time: 2.27765 s Remaining CPU time: 177.722 s c =============================================================================== c | 51 | 1157 1145 99179 | 5000 51 985 | 0.000 % | c =============================================================================== c New solution: 1984719 c Elapsed CPU time: 2.35864 s Remaining CPU time: 177.641 s c =============================================================================== c | 63 | 1157 1146 100192 | 5000 63 985 | 0.000 % | c =============================================================================== c New solution: 1984611 c Elapsed CPU time: 2.40563 s Remaining CPU time: 177.594 s c =============================================================================== c | 63 | 1157 1147 101205 | 5000 63 985 | 0.000 % | c =============================================================================== c New solution: 1984593 c Elapsed CPU time: 2.45963 s Remaining CPU time: 177.54 s c =============================================================================== c | 65 | 1157 1148 102218 | 5000 65 985 | 0.000 % | c =============================================================================== c New solution: 1984317 c Elapsed CPU time: 2.51862 s Remaining CPU time: 177.481 s c =============================================================================== c | 67 | 1157 1149 103231 | 5000 67 985 | 0.000 % | c =============================================================================== c New solution: 1984283 c Elapsed CPU time: 2.56961 s Remaining CPU time: 177.43 s c =============================================================================== c | 67 | 1157 1150 104244 | 5000 67 985 | 0.000 % | c =============================================================================== c New solution: 1984009 c Elapsed CPU time: 2.6356 s Remaining CPU time: 177.364 s c =============================================================================== c | 70 | 1157 1151 105257 | 5000 70 985 | 0.000 % | c =============================================================================== c New solution: 1983985 c Elapsed CPU time: 2.69059 s Remaining CPU time: 177.309 s c =============================================================================== c | 70 | 1157 1152 106270 | 5000 70 985 | 0.000 % | c =============================================================================== c New solution: 1983872 c Elapsed CPU time: 2.74958 s Remaining CPU time: 177.25 s c =============================================================================== c | 72 | 1157 1153 107283 | 5000 72 985 | 0.000 % | c =============================================================================== c New solution: 1983795 c Elapsed CPU time: 2.80557 s Remaining CPU time: 177.194 s c =============================================================================== c | 72 | 1157 1154 108296 | 5000 72 985 | 0.000 % | c =============================================================================== c New solution: 1983517 c Elapsed CPU time: 2.87256 s Remaining CPU time: 177.127 s c =============================================================================== c | 73 | 1157 1155 109309 | 5000 73 985 | 0.000 % | c =============================================================================== c New solution: 1983380 c Elapsed CPU time: 2.95455 s Remaining CPU time: 177.045 s c =============================================================================== c | 76 | 1157 1156 110322 | 5000 76 985 | 0.000 % | c =============================================================================== c New solution: 1983329 c Elapsed CPU time: 3.01754 s Remaining CPU time: 176.982 s c =============================================================================== c | 76 | 1157 1157 111335 | 5000 76 985 | 0.000 % | c =============================================================================== c New solution: 1982786 c Elapsed CPU time: 3.08253 s Remaining CPU time: 176.917 s c =============================================================================== c | 78 | 1157 1158 112348 | 5000 78 985 | 0.000 % | c =============================================================================== c New solution: 1982781 c Elapsed CPU time: 3.15552 s Remaining CPU time: 176.844 s c =============================================================================== c | 80 | 1157 1159 113361 | 5000 80 985 | 0.000 % | c =============================================================================== c New solution: 1982730 c Elapsed CPU time: 3.21351 s Remaining CPU time: 176.786 s c =============================================================================== c | 80 | 1157 1160 114374 | 5000 80 985 | 0.000 % | c =============================================================================== c New solution: 1982632 c Elapsed CPU time: 3.2915 s Remaining CPU time: 176.709 s c =============================================================================== c | 83 | 1157 1161 115387 | 5000 83 985 | 0.000 % | c =============================================================================== c New solution: 1982517 c Elapsed CPU time: 3.41648 s Remaining CPU time: 176.584 s c =============================================================================== c | 98 | 1157 1162 116400 | 5000 98 985 | 0.000 % | c =============================================================================== c New solution: 1982511 c Elapsed CPU time: 3.48547 s Remaining CPU time: 176.515 s c =============================================================================== c | 102 | 1157 1163 117413 | 5000 102 985 | 0.000 % | c =============================================================================== c New solution: 1982444 c Elapsed CPU time: 3.55646 s Remaining CPU time: 176.444 s c =============================================================================== c | 104 | 1157 1164 118426 | 5000 104 985 | 0.000 % | c =============================================================================== c New solution: 1982366 c Elapsed CPU time: 3.65244 s Remaining CPU time: 176.348 s c =============================================================================== c | 111 | 1157 1165 119439 | 5000 111 984 | 0.000 % | c =============================================================================== c New solution: 1982307 c Elapsed CPU time: 3.71544 s Remaining CPU time: 176.285 s c =============================================================================== c | 112 | 1157 1166 120452 | 5000 112 984 | 0.000 % | c =============================================================================== c New solution: 1982121 c Elapsed CPU time: 3.78442 s Remaining CPU time: 176.216 s c =============================================================================== c | 112 | 1157 1167 121465 | 5000 112 984 | 0.000 % | c =============================================================================== c New solution: 1982106 c Elapsed CPU time: 3.91141 s Remaining CPU time: 176.089 s c =============================================================================== c | 120 | 1157 1168 122478 | 5000 120 984 | 0.000 % | c =============================================================================== c New solution: 1982026 c Elapsed CPU time: 3.98239 s Remaining CPU time: 176.018 s c =============================================================================== c | 121 | 1157 1169 123491 | 5000 121 984 | 0.000 % | c =============================================================================== c New solution: 1981971 c Elapsed CPU time: 4.07738 s Remaining CPU time: 175.923 s c =============================================================================== c | 130 | 1157 1170 124504 | 5000 130 984 | 0.000 % | c =============================================================================== c New solution: 1981945 c Elapsed CPU time: 4.15037 s Remaining CPU time: 175.85 s c =============================================================================== c | 131 | 1157 1171 125517 | 5000 131 984 | 0.000 % | c =============================================================================== c New solution: 1981911 c Elapsed CPU time: 4.21736 s Remaining CPU time: 175.783 s c =============================================================================== c | 132 | 1157 1172 126530 | 5000 132 984 | 0.000 % | c =============================================================================== c New solution: 1981852 c Elapsed CPU time: 4.29635 s Remaining CPU time: 175.704 s c =============================================================================== c | 135 | 1157 1173 127543 | 5000 135 984 | 0.000 % | c =============================================================================== c New solution: 1981785 c Elapsed CPU time: 4.36634 s Remaining CPU time: 175.634 s c =============================================================================== c | 135 | 1157 1174 128556 | 5000 135 984 | 0.000 % | c =============================================================================== c New solution: 1981760 c Elapsed CPU time: 4.44432 s Remaining CPU time: 175.556 s c =============================================================================== c | 136 | 1157 1175 129569 | 5000 136 984 | 0.000 % | c =============================================================================== c New solution: 1981651 c Elapsed CPU time: 4.52231 s Remaining CPU time: 175.478 s c =============================================================================== c | 138 | 1157 1176 130582 | 5000 138 984 | 0.000 % | c =============================================================================== c New solution: 1981631 c Elapsed CPU time: 4.6143 s Remaining CPU time: 175.386 s c =============================================================================== c | 141 | 1157 1177 131595 | 5000 141 984 | 0.000 % | c =============================================================================== c New solution: 1981549 c Elapsed CPU time: 4.68829 s Remaining CPU time: 175.312 s c =============================================================================== c | 143 | 1157 1178 132608 | 5000 143 984 | 0.000 % | c =============================================================================== c New solution: 1981516 c Elapsed CPU time: 4.76927 s Remaining CPU time: 175.231 s c =============================================================================== c | 144 | 1157 1179 133621 | 5000 144 984 | 0.000 % | c =============================================================================== c New solution: 1981421 c Elapsed CPU time: 4.84526 s Remaining CPU time: 175.155 s c =============================================================================== c | 147 | 1157 1180 134634 | 5000 147 984 | 0.000 % | c =============================================================================== c New solution: 1981347 c Elapsed CPU time: 4.92825 s Remaining CPU time: 175.072 s c =============================================================================== c | 150 | 1157 1181 135647 | 5000 150 984 | 0.000 % | c =============================================================================== c New solution: 1981214 c Elapsed CPU time: 5.01024 s Remaining CPU time: 174.99 s c =============================================================================== c | 152 | 1157 1182 136660 | 5000 152 984 | 0.000 % | c =============================================================================== c New solution: 1981136 c Elapsed CPU time: 5.08623 s Remaining CPU time: 174.914 s c =============================================================================== c | 152 | 1157 1183 137673 | 5000 152 984 | 0.000 % | c =============================================================================== c New solution: 1981119 c Elapsed CPU time: 5.20921 s Remaining CPU time: 174.791 s c =============================================================================== c | 161 | 1157 1184 138686 | 5000 161 984 | 0.000 % | c =============================================================================== c New solution: 1981077 c Elapsed CPU time: 5.29019 s Remaining CPU time: 174.71 s c =============================================================================== c | 163 | 1157 1185 139699 | 5000 163 984 | 0.000 % | c =============================================================================== c New solution: 1981006 c Elapsed CPU time: 5.37318 s Remaining CPU time: 174.627 s c =============================================================================== c | 166 | 1157 1186 140712 | 5000 166 984 | 0.000 % | c =============================================================================== c New solution: 1980894 c Elapsed CPU time: 5.51916 s Remaining CPU time: 174.481 s c =============================================================================== c | 182 | 1157 1187 141725 | 5000 182 983 | 0.000 % | c =============================================================================== c New solution: 1980814 c Elapsed CPU time: 5.61315 s Remaining CPU time: 174.387 s c =============================================================================== c | 186 | 1157 1188 142738 | 5000 186 983 | 0.000 % | c =============================================================================== c New solution: 1980768 c Elapsed CPU time: 5.70113 s Remaining CPU time: 174.299 s c =============================================================================== c | 190 | 1157 1189 143751 | 5000 190 983 | 0.000 % | c =============================================================================== c New solution: 1980760 c Elapsed CPU time: 5.79812 s Remaining CPU time: 174.202 s c =============================================================================== c | 196 | 1157 1190 144764 | 5000 196 983 | 0.000 % | c =============================================================================== c New solution: 1980749 c Elapsed CPU time: 5.8931 s Remaining CPU time: 174.107 s c =============================================================================== c | 198 | 1157 1191 145777 | 5000 198 983 | 0.000 % | c =============================================================================== c New solution: 1980608 c Elapsed CPU time: 5.98709 s Remaining CPU time: 174.013 s c =============================================================================== c | 200 | 1157 1192 146790 | 5000 200 983 | 0.000 % | c =============================================================================== c New solution: 1980359 c Elapsed CPU time: 6.09707 s Remaining CPU time: 173.903 s c =============================================================================== c | 203 | 1157 1193 147803 | 5000 203 983 | 0.000 % | c =============================================================================== c New solution: 1980200 c Elapsed CPU time: 6.22105 s Remaining CPU time: 173.779 s c =============================================================================== c | 207 | 1157 1194 148816 | 5000 207 983 | 0.000 % | c =============================================================================== c New solution: 1980069 c Elapsed CPU time: 6.30704 s Remaining CPU time: 173.693 s c =============================================================================== c | 207 | 1157 1195 149829 | 5000 207 983 | 0.000 % | c =============================================================================== c New solution: 1980055 c Elapsed CPU time: 6.40503 s Remaining CPU time: 173.595 s c =============================================================================== c | 210 | 1157 1196 150842 | 5000 210 983 | 0.000 % | c =============================================================================== c New solution: 1979960 c Elapsed CPU time: 6.50101 s Remaining CPU time: 173.499 s c =============================================================================== c | 214 | 1157 1197 151855 | 5000 214 983 | 0.000 % | c =============================================================================== c New solution: 1979817 c Elapsed CPU time: 6.594 s Remaining CPU time: 173.406 s c =============================================================================== c | 216 | 1157 1198 152868 | 5000 216 983 | 0.000 % | c =============================================================================== c New solution: 1979797 c Elapsed CPU time: 6.68098 s Remaining CPU time: 173.319 s c =============================================================================== c | 218 | 1157 1199 153881 | 5000 218 983 | 0.000 % | c =============================================================================== c New solution: 1979766 c Elapsed CPU time: 6.84396 s Remaining CPU time: 173.156 s c =============================================================================== c | 227 | 1157 1200 154894 | 5000 227 983 | 0.000 % | c =============================================================================== c New solution: 1979755 c Elapsed CPU time: 6.93795 s Remaining CPU time: 173.062 s c =============================================================================== c | 228 | 1157 1201 155907 | 5000 228 983 | 0.000 % | c =============================================================================== c New solution: 1979714 c Elapsed CPU time: 7.03093 s Remaining CPU time: 172.969 s c =============================================================================== c | 229 | 1157 1202 156920 | 5000 229 983 | 0.000 % | c =============================================================================== c New solution: 1979709 c Elapsed CPU time: 7.12292 s Remaining CPU time: 172.877 s c =============================================================================== c | 229 | 1157 1203 157933 | 5000 229 983 | 0.000 % | c =============================================================================== c New solution: 1979660 c Elapsed CPU time: 7.2469 s Remaining CPU time: 172.753 s c =============================================================================== c | 232 | 1157 1204 158946 | 5000 232 983 | 0.000 % | c =============================================================================== c New solution: 1979493 c Elapsed CPU time: 7.34688 s Remaining CPU time: 172.653 s c =============================================================================== c | 233 | 1157 1205 159959 | 5000 233 983 | 0.000 % | c =============================================================================== c New solution: 1979482 c Elapsed CPU time: 7.44287 s Remaining CPU time: 172.557 s c =============================================================================== c | 234 | 1157 1206 160972 | 5000 234 983 | 0.000 % | c =============================================================================== c New solution: 1979477 c Elapsed CPU time: 7.55185 s Remaining CPU time: 172.448 s c =============================================================================== c | 237 | 1157 1207 161985 | 5000 237 982 | 0.000 % | c =============================================================================== c New solution: 1979417 c Elapsed CPU time: 7.66983 s Remaining CPU time: 172.33 s c =============================================================================== c | 241 | 1157 1208 162998 | 5000 241 982 | 0.000 % | c =============================================================================== c New solution: 1979281 c Elapsed CPU time: 7.81281 s Remaining CPU time: 172.187 s c =============================================================================== c | 249 | 1157 1209 164011 | 5000 249 982 | 0.000 % | c =============================================================================== c New solution: 1979181 c Elapsed CPU time: 7.93479 s Remaining CPU time: 172.065 s c =============================================================================== c | 255 | 1157 1210 165024 | 5000 255 982 | 0.000 % | c =============================================================================== c New solution: 1979068 c Elapsed CPU time: 8.02678 s Remaining CPU time: 171.973 s c =============================================================================== c | 256 | 1157 1211 166037 | 5000 256 982 | 0.000 % | c =============================================================================== c New solution: 1979014 c Elapsed CPU time: 8.15076 s Remaining CPU time: 171.849 s c =============================================================================== c | 263 | 1157 1212 167050 | 5000 263 982 | 0.000 % | c =============================================================================== c New solution: 1978935 c Elapsed CPU time: 8.26774 s Remaining CPU time: 171.732 s c =============================================================================== c | 267 | 1157 1213 168063 | 5000 267 982 | 0.000 % | c =============================================================================== c New solution: 1978773 c Elapsed CPU time: 8.37773 s Remaining CPU time: 171.622 s c =============================================================================== c | 268 | 1157 1214 169076 | 5000 268 982 | 0.000 % | c =============================================================================== c New solution: 1978636 c Elapsed CPU time: 8.47371 s Remaining CPU time: 171.526 s c =============================================================================== c | 268 | 1157 1215 170089 | 5000 268 982 | 0.000 % | c =============================================================================== c New solution: 1978574 c Elapsed CPU time: 8.5837 s Remaining CPU time: 171.416 s c =============================================================================== c | 269 | 1157 1216 171102 | 5000 269 982 | 0.000 % | c =============================================================================== c New solution: 1978570 c Elapsed CPU time: 8.70368 s Remaining CPU time: 171.296 s c =============================================================================== c | 273 | 1157 1217 172115 | 5000 273 982 | 0.000 % | c =============================================================================== c New solution: 1978475 c Elapsed CPU time: 8.89765 s Remaining CPU time: 171.102 s c =============================================================================== c | 288 | 1157 1218 173128 | 5000 288 982 | 0.000 % | c =============================================================================== c New solution: 1978439 c Elapsed CPU time: 8.99563 s Remaining CPU time: 171.004 s c =============================================================================== c | 289 | 1157 1219 174141 | 5000 289 982 | 0.000 % | c =============================================================================== c New solution: 1978339 c Elapsed CPU time: 9.14061 s Remaining CPU time: 170.859 s c =============================================================================== c | 302 | 1157 1220 175154 | 5000 302 982 | 0.000 % | c =============================================================================== c New solution: 1978148 c Elapsed CPU time: 9.25459 s Remaining CPU time: 170.745 s c =============================================================================== c | 306 | 1157 1221 176167 | 5000 306 982 | 0.000 % | c =============================================================================== c New solution: 1978117 c Elapsed CPU time: 9.35658 s Remaining CPU time: 170.643 s c =============================================================================== c | 306 | 1157 1222 177180 | 5000 306 982 | 0.000 % | c =============================================================================== c New solution: 1978096 c Elapsed CPU time: 9.46456 s Remaining CPU time: 170.535 s c =============================================================================== c | 308 | 1157 1223 178193 | 5000 308 982 | 0.000 % | c =============================================================================== c New solution: 1978038 c Elapsed CPU time: 9.56754 s Remaining CPU time: 170.432 s c =============================================================================== c | 308 | 1157 1224 179206 | 5000 308 982 | 0.000 % | c =============================================================================== c New solution: 1977795 c Elapsed CPU time: 9.68053 s Remaining CPU time: 170.319 s c =============================================================================== c | 309 | 1157 1225 180219 | 5000 309 982 | 0.000 % | c =============================================================================== c New solution: 1977790 c Elapsed CPU time: 9.78251 s Remaining CPU time: 170.217 s c =============================================================================== c | 310 | 1157 1226 181232 | 5000 310 982 | 0.000 % | c =============================================================================== c New solution: 1977725 c Elapsed CPU time: 9.8905 s Remaining CPU time: 170.11 s c =============================================================================== c | 310 | 1157 1227 182245 | 5000 310 982 | 0.000 % | c =============================================================================== c New solution: 1977588 c Elapsed CPU time: 9.99748 s Remaining CPU time: 170.003 s c =============================================================================== c | 310 | 1157 1228 183258 | 5000 310 982 | 0.000 % | c =============================================================================== c New solution: 1977575 c Elapsed CPU time: 10.1265 s Remaining CPU time: 169.874 s c =============================================================================== c | 315 | 1157 1229 184271 | 5000 315 982 | 0.000 % | c =============================================================================== c New solution: 1977303 c Elapsed CPU time: 10.2324 s Remaining CPU time: 169.768 s c =============================================================================== c | 315 | 1157 1230 185284 | 5000 315 982 | 0.000 % | c =============================================================================== c New solution: 1977166 c Elapsed CPU time: 10.3354 s Remaining CPU time: 169.665 s c =============================================================================== c | 315 | 1157 1231 186297 | 5000 315 982 | 0.000 % | c =============================================================================== c New solution: 1977088 c Elapsed CPU time: 10.4724 s Remaining CPU time: 169.528 s c =============================================================================== c | 318 | 1157 1232 187310 | 5000 318 982 | 0.000 % | c =============================================================================== c New solution: 1977002 c Elapsed CPU time: 10.5934 s Remaining CPU time: 169.407 s c =============================================================================== c | 320 | 1157 1233 188323 | 5000 320 981 | 0.000 % | c =============================================================================== c New solution: 1976877 c Elapsed CPU time: 10.7004 s Remaining CPU time: 169.3 s c =============================================================================== c | 320 | 1157 1234 189336 | 5000 320 981 | 0.000 % | c =============================================================================== c New solution: 1976767 c Elapsed CPU time: 10.8184 s Remaining CPU time: 169.182 s c =============================================================================== c | 321 | 1157 1235 190349 | 5000 321 981 | 0.000 % | c =============================================================================== c New solution: 1976724 c Elapsed CPU time: 10.9323 s Remaining CPU time: 169.068 s c =============================================================================== c | 321 | 1157 1236 191362 | 5000 321 981 | 0.000 % | c =============================================================================== c New solution: 1976664 c Elapsed CPU time: 11.0443 s Remaining CPU time: 168.956 s c =============================================================================== c | 321 | 1157 1237 192375 | 5000 321 981 | 0.000 % | c =============================================================================== c New solution: 1976556 c Elapsed CPU time: 11.1633 s Remaining CPU time: 168.837 s c =============================================================================== c | 322 | 1157 1238 193388 | 5000 322 981 | 0.000 % | c =============================================================================== c New solution: 1976544 c Elapsed CPU time: 11.2753 s Remaining CPU time: 168.725 s c =============================================================================== c | 322 | 1157 1239 194401 | 5000 322 981 | 0.000 % | c =============================================================================== c New solution: 1976412 c Elapsed CPU time: 11.3893 s Remaining CPU time: 168.611 s c =============================================================================== c | 322 | 1157 1240 195414 | 5000 322 981 | 0.000 % | c =============================================================================== c New solution: 1976334 c Elapsed CPU time: 11.5092 s Remaining CPU time: 168.491 s c =============================================================================== c | 322 | 1157 1241 196427 | 5000 322 981 | 0.000 % | c =============================================================================== c New solution: 1976260 c Elapsed CPU time: 11.6302 s Remaining CPU time: 168.37 s c =============================================================================== c | 322 | 1157 1242 197440 | 5000 322 981 | 0.000 % | c =============================================================================== c New solution: 1976123 c Elapsed CPU time: 11.7482 s Remaining CPU time: 168.252 s c =============================================================================== c | 322 | 1157 1243 198453 | 5000 322 981 | 0.000 % | c =============================================================================== c New solution: 1976002 c Elapsed CPU time: 11.8682 s Remaining CPU time: 168.132 s c =============================================================================== c | 322 | 1157 1244 199466 | 5000 322 981 | 0.000 % | c =============================================================================== c New solution: 1975901 c Elapsed CPU time: 11.9862 s Remaining CPU time: 168.014 s c =============================================================================== c | 322 | 1157 1245 200479 | 5000 322 981 | 0.000 % | c =============================================================================== c New solution: 1975835 c Elapsed CPU time: 12.1042 s Remaining CPU time: 167.896 s c =============================================================================== c | 322 | 1157 1246 201492 | 5000 322 981 | 0.000 % | c =============================================================================== c New solution: 1975616 c Elapsed CPU time: 12.2201 s Remaining CPU time: 167.78 s c =============================================================================== c | 322 | 1157 1247 202505 | 5000 322 981 | 0.000 % | c =============================================================================== c New solution: 1975549 c Elapsed CPU time: 12.3421 s Remaining CPU time: 167.658 s c =============================================================================== c | 322 | 1157 1248 203518 | 5000 322 981 | 0.000 % | c =============================================================================== c New solution: 1975507 c Elapsed CPU time: 12.4691 s Remaining CPU time: 167.531 s c =============================================================================== c | 323 | 1157 1249 204531 | 5000 323 981 | 0.000 % | c =============================================================================== c New solution: 1975466 c Elapsed CPU time: 12.6101 s Remaining CPU time: 167.39 s c =============================================================================== c | 326 | 1157 1250 205544 | 5000 326 981 | 0.000 % | c =============================================================================== c New solution: 1975296 c Elapsed CPU time: 12.7431 s Remaining CPU time: 167.257 s c =============================================================================== c | 328 | 1157 1251 206557 | 5000 328 981 | 0.000 % | c =============================================================================== c New solution: 1975077 c Elapsed CPU time: 12.879 s Remaining CPU time: 167.121 s c =============================================================================== c | 329 | 1157 1252 207570 | 5000 329 981 | 0.000 % | c =============================================================================== c New solution: 1975041 c Elapsed CPU time: 13.015 s Remaining CPU time: 166.985 s c =============================================================================== c | 331 | 1157 1253 208583 | 5000 331 981 | 0.000 % | c =============================================================================== c New solution: 1974895 c Elapsed CPU time: 13.14 s Remaining CPU time: 166.86 s c =============================================================================== c | 332 | 1157 1254 209596 | 5000 332 981 | 0.000 % | c =============================================================================== c New solution: 1974664 c Elapsed CPU time: 13.261 s Remaining CPU time: 166.739 s c =============================================================================== c | 332 | 1157 1255 210609 | 5000 332 981 | 0.000 % | c =============================================================================== c New solution: 1974558 c Elapsed CPU time: 13.382 s Remaining CPU time: 166.618 s c =============================================================================== c | 332 | 1157 1256 211622 | 5000 332 981 | 0.000 % | c =============================================================================== c New solution: 1974525 c Elapsed CPU time: 13.5249 s Remaining CPU time: 166.475 s c =============================================================================== c | 334 | 1157 1257 212635 | 5000 334 981 | 0.000 % | c =============================================================================== c New solution: 1974410 c Elapsed CPU time: 13.6909 s Remaining CPU time: 166.309 s c =============================================================================== c | 338 | 1157 1258 213648 | 5000 338 981 | 0.000 % | c =============================================================================== c New solution: 1974274 c Elapsed CPU time: 13.8329 s Remaining CPU time: 166.167 s c =============================================================================== c | 339 | 1157 1259 214661 | 5000 339 981 | 0.000 % | c =============================================================================== c New solution: 1974192 c Elapsed CPU time: 13.9549 s Remaining CPU time: 166.045 s c =============================================================================== c | 339 | 1157 1260 215674 | 5000 339 981 | 0.000 % | c =============================================================================== c New solution: 1974057 c Elapsed CPU time: 14.0999 s Remaining CPU time: 165.9 s c =============================================================================== c | 341 | 1157 1261 216687 | 5000 341 981 | 0.000 % | c =============================================================================== c New solution: 1973969 c Elapsed CPU time: 14.2398 s Remaining CPU time: 165.76 s c =============================================================================== c | 342 | 1157 1262 217700 | 5000 342 981 | 0.000 % | c =============================================================================== c New solution: 1973715 c Elapsed CPU time: 14.3768 s Remaining CPU time: 165.623 s c =============================================================================== c | 342 | 1157 1263 218713 | 5000 342 981 | 0.000 % | c =============================================================================== c New solution: 1973674 c Elapsed CPU time: 14.5278 s Remaining CPU time: 165.472 s c =============================================================================== c | 344 | 1157 1264 219726 | 5000 344 981 | 0.000 % | c =============================================================================== c New solution: 1973657 c Elapsed CPU time: 14.6588 s Remaining CPU time: 165.341 s c =============================================================================== c | 345 | 1157 1265 220739 | 5000 345 981 | 0.000 % | c =============================================================================== c New solution: 1973512 c Elapsed CPU time: 14.8107 s Remaining CPU time: 165.189 s c =============================================================================== c | 348 | 1157 1266 221752 | 5000 348 981 | 0.000 % | c =============================================================================== c New solution: 1973344 c Elapsed CPU time: 14.9447 s Remaining CPU time: 165.055 s c =============================================================================== c | 349 | 1157 1267 222765 | 5000 349 981 | 0.000 % | c =============================================================================== c New solution: 1973330 c Elapsed CPU time: 15.0897 s Remaining CPU time: 164.91 s c =============================================================================== c | 351 | 1157 1268 223778 | 5000 351 981 | 0.000 % | c =============================================================================== c New solution: 1973321 c Elapsed CPU time: 15.2197 s Remaining CPU time: 164.78 s c =============================================================================== c | 351 | 1157 1269 224791 | 5000 351 981 | 0.000 % | c =============================================================================== c New solution: 1973091 c Elapsed CPU time: 15.3917 s Remaining CPU time: 164.608 s c =============================================================================== c | 356 | 1157 1270 225804 | 5000 356 981 | 0.000 % | c =============================================================================== c New solution: 1973043 c Elapsed CPU time: 15.5396 s Remaining CPU time: 164.46 s c =============================================================================== c | 357 | 1157 1271 226817 | 5000 357 981 | 0.000 % | c =============================================================================== c New solution: 1972913 c Elapsed CPU time: 15.7116 s Remaining CPU time: 164.288 s c =============================================================================== c | 361 | 1157 1272 227830 | 5000 361 981 | 0.000 % | c =============================================================================== c New solution: 1972683 c Elapsed CPU time: 15.8656 s Remaining CPU time: 164.134 s c =============================================================================== c | 362 | 1157 1273 228843 | 5000 362 981 | 0.000 % | c =============================================================================== c New solution: 1972610 c Elapsed CPU time: 16.0196 s Remaining CPU time: 163.98 s c =============================================================================== c | 363 | 1157 1274 229856 | 5000 363 981 | 0.000 % | c =============================================================================== c New solution: 1972566 c Elapsed CPU time: 16.2245 s Remaining CPU time: 163.775 s c =============================================================================== c | 371 | 1157 1275 230869 | 5000 371 981 | 0.000 % | c =============================================================================== c New solution: 1972440 c Elapsed CPU time: 16.3895 s Remaining CPU time: 163.61 s c =============================================================================== c | 374 | 1157 1276 231882 | 5000 374 981 | 0.000 % | c =============================================================================== c New solution: 1972163 c Elapsed CPU time: 16.5585 s Remaining CPU time: 163.442 s c =============================================================================== c | 377 | 1157 1277 232895 | 5000 377 981 | 0.000 % | c =============================================================================== c New solution: 1971987 c Elapsed CPU time: 16.7065 s Remaining CPU time: 163.294 s c =============================================================================== c | 377 | 1157 1278 233908 | 5000 377 981 | 0.000 % | c =============================================================================== c New solution: 1971747 c Elapsed CPU time: 16.9354 s Remaining CPU time: 163.065 s c =============================================================================== c | 386 | 1157 1279 234921 | 5000 386 981 | 0.000 % | c =============================================================================== c New solution: 1971663 c Elapsed CPU time: 17.0854 s Remaining CPU time: 162.915 s c =============================================================================== c | 386 | 1157 1280 235934 | 5000 386 981 | 0.000 % | c =============================================================================== c New solution: 1971639 c Elapsed CPU time: 17.2494 s Remaining CPU time: 162.751 s c =============================================================================== c | 387 | 1157 1281 236947 | 5000 387 981 | 0.000 % | c =============================================================================== c New solution: 1971554 c Elapsed CPU time: 17.4004 s Remaining CPU time: 162.6 s c =============================================================================== c | 387 | 1157 1282 237960 | 5000 387 981 | 0.000 % | c =============================================================================== c New solution: 1971407 c Elapsed CPU time: 17.5493 s Remaining CPU time: 162.451 s c =============================================================================== c | 389 | 1157 1283 238973 | 5000 389 981 | 0.000 % | c =============================================================================== c New solution: 1971284 c Elapsed CPU time: 17.7283 s Remaining CPU time: 162.272 s c =============================================================================== c | 391 | 1157 1284 239986 | 5000 391 981 | 0.000 % | c =============================================================================== c New solution: 1971199 c Elapsed CPU time: 17.9443 s Remaining CPU time: 162.056 s c =============================================================================== c | 398 | 1157 1285 240999 | 5000 398 981 | 0.000 % | c =============================================================================== c New solution: 1971180 c Elapsed CPU time: 18.1932 s Remaining CPU time: 161.807 s c =============================================================================== c | 405 | 1157 1286 242012 | 5000 405 981 | 0.000 % | c =============================================================================== c New solution: 1971079 c Elapsed CPU time: 18.3602 s Remaining CPU time: 161.64 s c =============================================================================== c | 408 | 1157 1287 243025 | 5000 408 981 | 0.000 % | c =============================================================================== c New solution: 1970967 c Elapsed CPU time: 18.5612 s Remaining CPU time: 161.439 s c =============================================================================== c | 413 | 1157 1288 244038 | 5000 413 981 | 0.000 % | c =============================================================================== c New solution: 1970931 c Elapsed CPU time: 18.7252 s Remaining CPU time: 161.275 s c =============================================================================== c | 415 | 1157 1289 245051 | 5000 415 981 | 0.000 % | c =============================================================================== c New solution: 1970928 c Elapsed CPU time: 18.8941 s Remaining CPU time: 161.106 s c =============================================================================== c | 417 | 1157 1290 246064 | 5000 417 980 | 0.000 % | c =============================================================================== c New solution: 1970773 c Elapsed CPU time: 19.0521 s Remaining CPU time: 160.948 s c =============================================================================== c | 417 | 1157 1291 247077 | 5000 417 980 | 0.000 % | c =============================================================================== c New solution: 1970765 c Elapsed CPU time: 19.2231 s Remaining CPU time: 160.777 s c =============================================================================== c | 419 | 1157 1292 248090 | 5000 419 980 | 0.000 % | c =============================================================================== c New solution: 1970761 c Elapsed CPU time: 19.3771 s Remaining CPU time: 160.623 s c =============================================================================== c | 420 | 1157 1293 249103 | 5000 420 980 | 0.000 % | c =============================================================================== c New solution: 1970652 c Elapsed CPU time: 19.542 s Remaining CPU time: 160.458 s c =============================================================================== c | 422 | 1157 1294 250116 | 5000 422 980 | 0.000 % | c =============================================================================== c New solution: 1970589 c Elapsed CPU time: 19.711 s Remaining CPU time: 160.289 s c =============================================================================== c | 423 | 1157 1295 251129 | 5000 423 980 | 0.000 % | c =============================================================================== c New solution: 1970560 c Elapsed CPU time: 19.895 s Remaining CPU time: 160.105 s c =============================================================================== c | 424 | 1157 1296 252142 | 5000 424 980 | 0.000 % | c =============================================================================== c New solution: 1970485 c Elapsed CPU time: 20.058 s Remaining CPU time: 159.942 s c =============================================================================== c | 424 | 1157 1297 253155 | 5000 424 980 | 0.000 % | c =============================================================================== c New solution: 1970351 c Elapsed CPU time: 20.2289 s Remaining CPU time: 159.771 s c =============================================================================== c | 425 | 1157 1298 254168 | 5000 425 980 | 0.000 % | c =============================================================================== c New solution: 1970326 c Elapsed CPU time: 20.3979 s Remaining CPU time: 159.602 s c =============================================================================== c | 426 | 1157 1299 255181 | 5000 426 980 | 0.000 % | c =============================================================================== c New solution: 1970253 c Elapsed CPU time: 20.5709 s Remaining CPU time: 159.429 s c =============================================================================== c | 426 | 1157 1300 256194 | 5000 426 980 | 0.000 % | c =============================================================================== c New solution: 1970150 c Elapsed CPU time: 20.7428 s Remaining CPU time: 159.257 s c =============================================================================== c | 426 | 1157 1301 257207 | 5000 426 980 | 0.000 % | c =============================================================================== c New solution: 1970077 c Elapsed CPU time: 20.9218 s Remaining CPU time: 159.078 s c =============================================================================== c | 427 | 1157 1302 258220 | 5000 427 980 | 0.000 % | c =============================================================================== c New solution: 1970000 c Elapsed CPU time: 21.0968 s Remaining CPU time: 158.903 s c =============================================================================== c | 429 | 1157 1303 259233 | 5000 429 980 | 0.000 % | c =============================================================================== c New solution: 1969876 c Elapsed CPU time: 21.2728 s Remaining CPU time: 158.727 s c =============================================================================== c | 431 | 1157 1304 260246 | 5000 431 980 | 0.000 % | c =============================================================================== c New solution: 1969862 c Elapsed CPU time: 21.4347 s Remaining CPU time: 158.565 s c =============================================================================== c | 431 | 1157 1305 261259 | 5000 431 980 | 0.000 % | c =============================================================================== c New solution: 1969685 c Elapsed CPU time: 21.6137 s Remaining CPU time: 158.386 s c =============================================================================== c | 433 | 1157 1306 262272 | 5000 433 980 | 0.000 % | c =============================================================================== c New solution: 1969664 c Elapsed CPU time: 21.8037 s Remaining CPU time: 158.196 s c =============================================================================== c | 436 | 1157 1307 263285 | 5000 436 980 | 0.000 % | c =============================================================================== c New solution: 1969628 c Elapsed CPU time: 21.9737 s Remaining CPU time: 158.026 s c =============================================================================== c | 436 | 1157 1308 264298 | 5000 436 980 | 0.000 % | c =============================================================================== c New solution: 1969571 c Elapsed CPU time: 22.1416 s Remaining CPU time: 157.858 s c =============================================================================== c | 436 | 1157 1309 265311 | 5000 436 980 | 0.000 % | c =============================================================================== c New solution: 1969412 c Elapsed CPU time: 22.3186 s Remaining CPU time: 157.681 s c =============================================================================== c | 436 | 1157 1310 266324 | 5000 436 980 | 0.000 % | c =============================================================================== c New solution: 1969394 c Elapsed CPU time: 22.4876 s Remaining CPU time: 157.512 s c =============================================================================== c | 437 | 1157 1311 267337 | 5000 437 980 | 0.000 % | c =============================================================================== c New solution: 1969275 c Elapsed CPU time: 22.6726 s Remaining CPU time: 157.327 s c =============================================================================== c | 438 | 1157 1312 268350 | 5000 438 980 | 0.000 % | c =============================================================================== c New solution: 1969148 c Elapsed CPU time: 22.8425 s Remaining CPU time: 157.157 s c =============================================================================== c | 439 | 1157 1313 269363 | 5000 439 980 | 0.000 % | c =============================================================================== c New solution: 1969062 c Elapsed CPU time: 23.0175 s Remaining CPU time: 156.983 s c =============================================================================== c | 441 | 1157 1314 270376 | 5000 441 980 | 0.000 % | c =============================================================================== c New solution: 1968972 c Elapsed CPU time: 23.1905 s Remaining CPU time: 156.81 s c =============================================================================== c | 442 | 1157 1315 271389 | 5000 442 980 | 0.000 % | c =============================================================================== c New solution: 1968788 c Elapsed CPU time: 23.3724 s Remaining CPU time: 156.628 s c =============================================================================== c | 445 | 1157 1316 272402 | 5000 445 980 | 0.000 % | c =============================================================================== c New solution: 1968602 c Elapsed CPU time: 23.5514 s Remaining CPU time: 156.449 s c =============================================================================== c | 445 | 1157 1317 273415 | 5000 445 980 | 0.000 % | c =============================================================================== c New solution: 1968597 c Elapsed CPU time: 23.7264 s Remaining CPU time: 156.274 s c =============================================================================== c | 445 | 1157 1318 274428 | 5000 445 980 | 0.000 % | c =============================================================================== c New solution: 1968553 c Elapsed CPU time: 23.8994 s Remaining CPU time: 156.101 s c =============================================================================== c | 446 | 1157 1319 275441 | 5000 446 980 | 0.000 % | c =============================================================================== c New solution: 1968536 c Elapsed CPU time: 24.0853 s Remaining CPU time: 155.915 s c =============================================================================== c | 448 | 1157 1320 276454 | 5000 448 980 | 0.000 % | c =============================================================================== c New solution: 1968470 c Elapsed CPU time: 24.2703 s Remaining CPU time: 155.73 s c =============================================================================== c | 450 | 1157 1321 277467 | 5000 450 980 | 0.000 % | c =============================================================================== c New solution: 1968422 c Elapsed CPU time: 24.4663 s Remaining CPU time: 155.534 s c =============================================================================== c | 453 | 1157 1322 278480 | 5000 453 980 | 0.000 % | c =============================================================================== c New solution: 1968317 c Elapsed CPU time: 24.6453 s Remaining CPU time: 155.355 s c =============================================================================== c | 453 | 1157 1323 279493 | 5000 453 980 | 0.000 % | c =============================================================================== c New solution: 1968279 c Elapsed CPU time: 24.8492 s Remaining CPU time: 155.151 s c =============================================================================== c | 455 | 1157 1324 280506 | 5000 455 980 | 0.000 % | c =============================================================================== c New solution: 1968171 c Elapsed CPU time: 25.0602 s Remaining CPU time: 154.94 s c =============================================================================== c | 456 | 1157 1325 281519 | 5000 456 980 | 0.000 % | c =============================================================================== c New solution: 1968046 c Elapsed CPU time: 25.2402 s Remaining CPU time: 154.76 s c =============================================================================== c | 457 | 1157 1326 282532 | 5000 457 980 | 0.000 % | c =============================================================================== c New solution: 1967939 c Elapsed CPU time: 25.4331 s Remaining CPU time: 154.567 s c =============================================================================== c | 459 | 1157 1327 283545 | 5000 459 980 | 0.000 % | c =============================================================================== c New solution: 1967912 c Elapsed CPU time: 25.6201 s Remaining CPU time: 154.38 s c =============================================================================== c | 459 | 1157 1328 284558 | 5000 459 980 | 0.000 % | c =============================================================================== c New solution: 1967775 c Elapsed CPU time: 25.8001 s Remaining CPU time: 154.2 s c =============================================================================== c | 459 | 1157 1329 285571 | 5000 459 980 | 0.000 % | c =============================================================================== c New solution: 1967652 c Elapsed CPU time: 26.008 s Remaining CPU time: 153.992 s c =============================================================================== c | 461 | 1157 1330 286584 | 5000 461 980 | 0.000 % | c =============================================================================== c New solution: 1967635 c Elapsed CPU time: 26.213 s Remaining CPU time: 153.787 s c =============================================================================== c | 462 | 1157 1331 287597 | 5000 462 980 | 0.000 % | c =============================================================================== c New solution: 1967538 c Elapsed CPU time: 26.482 s Remaining CPU time: 153.518 s c =============================================================================== c | 467 | 1157 1332 288610 | 5000 467 980 | 0.000 % | c =============================================================================== c New solution: 1967489 c Elapsed CPU time: 26.7989 s Remaining CPU time: 153.201 s c =============================================================================== c | 479 | 1157 1333 289623 | 5000 479 980 | 0.000 % | c =============================================================================== c New solution: 1967461 c Elapsed CPU time: 27.0139 s Remaining CPU time: 152.986 s c =============================================================================== c | 483 | 1157 1334 290636 | 5000 483 980 | 0.000 % | c =============================================================================== c New solution: 1967299 c Elapsed CPU time: 27.2429 s Remaining CPU time: 152.757 s c =============================================================================== c | 486 | 1157 1335 291649 | 5000 486 980 | 0.000 % | c =============================================================================== c New solution: 1967243 c Elapsed CPU time: 27.4888 s Remaining CPU time: 152.511 s c =============================================================================== c | 492 | 1157 1336 292662 | 5000 492 980 | 0.000 % | c =============================================================================== c New solution: 1967139 c Elapsed CPU time: 27.6888 s Remaining CPU time: 152.311 s c =============================================================================== c | 493 | 1157 1337 293675 | 5000 493 980 | 0.000 % | c =============================================================================== c New solution: 1966844 c Elapsed CPU time: 27.9018 s Remaining CPU time: 152.098 s c =============================================================================== c | 495 | 1157 1338 294688 | 5000 495 980 | 0.000 % | c =============================================================================== c New solution: 1966680 c Elapsed CPU time: 28.1457 s Remaining CPU time: 151.854 s c =============================================================================== c | 499 | 1157 1339 295701 | 5000 499 980 | 0.000 % | c =============================================================================== c New solution: 1966603 c Elapsed CPU time: 28.4017 s Remaining CPU time: 151.598 s c =============================================================================== c | 505 | 1157 1340 296714 | 5000 505 980 | 0.000 % | c =============================================================================== c New solution: 1966243 c Elapsed CPU time: 28.6716 s Remaining CPU time: 151.328 s c =============================================================================== c | 513 | 1157 1341 297727 | 5000 513 979 | 0.000 % | c =============================================================================== c New solution: 1966183 c Elapsed CPU time: 28.8746 s Remaining CPU time: 151.125 s c =============================================================================== c | 514 | 1157 1342 298740 | 5000 514 979 | 0.000 % | c =============================================================================== c New solution: 1966084 c Elapsed CPU time: 29.0736 s Remaining CPU time: 150.926 s c =============================================================================== c | 515 | 1157 1343 299753 | 5000 515 979 | 0.000 % | c =============================================================================== c New solution: 1966046 c Elapsed CPU time: 29.2646 s Remaining CPU time: 150.735 s c =============================================================================== c | 515 | 1157 1344 300766 | 5000 515 979 | 0.000 % | c =============================================================================== c New solution: 1966025 c Elapsed CPU time: 29.4675 s Remaining CPU time: 150.532 s c =============================================================================== c | 516 | 1157 1345 301779 | 5000 516 979 | 0.000 % | c =============================================================================== c New solution: 1965603 c Elapsed CPU time: 29.6635 s Remaining CPU time: 150.337 s c =============================================================================== c | 517 | 1157 1346 302792 | 5000 517 979 | 0.000 % | c =============================================================================== c New solution: 1965596 c Elapsed CPU time: 29.9205 s Remaining CPU time: 150.08 s c =============================================================================== c | 522 | 1157 1347 303805 | 5000 522 979 | 0.000 % | c =============================================================================== c New solution: 1965308 c Elapsed CPU time: 30.1384 s Remaining CPU time: 149.862 s c =============================================================================== c | 523 | 1157 1348 304818 | 5000 523 979 | 0.000 % | c =============================================================================== c New solution: 1965191 c Elapsed CPU time: 30.3644 s Remaining CPU time: 149.636 s c =============================================================================== c | 524 | 1157 1349 305831 | 5000 524 979 | 0.000 % | c =============================================================================== c New solution: 1965071 c Elapsed CPU time: 30.6413 s Remaining CPU time: 149.359 s c =============================================================================== c | 529 | 1157 1350 306844 | 5000 529 979 | 0.000 % | c =============================================================================== c New solution: 1965062 c Elapsed CPU time: 30.8863 s Remaining CPU time: 149.114 s c =============================================================================== c | 533 | 1157 1351 307857 | 5000 533 979 | 0.000 % | c =============================================================================== c New solution: 1964989 c Elapsed CPU time: 31.0703 s Remaining CPU time: 148.93 s c =============================================================================== c | 534 | 1157 1352 308870 | 5000 534 979 | 0.000 % | c =============================================================================== c New solution: 1964982 c Elapsed CPU time: 31.2682 s Remaining CPU time: 148.732 s c =============================================================================== c | 534 | 1157 1353 309883 | 5000 534 979 | 0.000 % | c =============================================================================== c New solution: 1964961 c Elapsed CPU time: 31.4822 s Remaining CPU time: 148.518 s c =============================================================================== c | 534 | 1157 1354 310896 | 5000 534 979 | 0.000 % | c =============================================================================== c New solution: 1964889 c Elapsed CPU time: 31.7072 s Remaining CPU time: 148.293 s c =============================================================================== c | 535 | 1157 1355 311909 | 5000 535 979 | 0.000 % | c =============================================================================== c New solution: 1964704 c Elapsed CPU time: 31.9221 s Remaining CPU time: 148.078 s c =============================================================================== c | 536 | 1157 1356 312922 | 5000 536 979 | 0.000 % | c =============================================================================== c New solution: 1964659 c Elapsed CPU time: 32.1321 s Remaining CPU time: 147.868 s c =============================================================================== c | 538 | 1157 1357 313935 | 5000 538 979 | 0.000 % | c =============================================================================== c New solution: 1964535 c Elapsed CPU time: 32.3331 s Remaining CPU time: 147.667 s c =============================================================================== c | 538 | 1157 1358 314948 | 5000 538 979 | 0.000 % | c =============================================================================== c New solution: 1964457 c Elapsed CPU time: 32.5371 s Remaining CPU time: 147.463 s c =============================================================================== c | 539 | 1157 1359 315961 | 5000 539 979 | 0.000 % | c =============================================================================== c New solution: 1964324 c Elapsed CPU time: 32.74 s Remaining CPU time: 147.26 s c =============================================================================== c | 539 | 1157 1360 316974 | 5000 539 979 | 0.000 % | c =============================================================================== c New solution: 1964138 c Elapsed CPU time: 32.952 s Remaining CPU time: 147.048 s c =============================================================================== c | 540 | 1157 1361 317987 | 5000 540 977 | 0.000 % | c =============================================================================== c New solution: 1964001 c Elapsed CPU time: 33.157 s Remaining CPU time: 146.843 s c =============================================================================== c | 541 | 1157 1362 319000 | 5000 541 976 | 0.000 % | c =============================================================================== c New solution: 1963869 c Elapsed CPU time: 33.3649 s Remaining CPU time: 146.635 s c =============================================================================== c | 541 | 1157 1363 320013 | 5000 541 976 | 0.000 % | c =============================================================================== c New solution: 1963858 c Elapsed CPU time: 33.5809 s Remaining CPU time: 146.419 s c =============================================================================== c | 542 | 1157 1364 321026 | 5000 542 976 | 0.000 % | c =============================================================================== c New solution: 1963842 c Elapsed CPU time: 33.7899 s Remaining CPU time: 146.21 s c =============================================================================== c | 542 | 1157 1365 322039 | 5000 542 976 | 0.000 % | c =============================================================================== c New solution: 1963698 c Elapsed CPU time: 34.0148 s Remaining CPU time: 145.985 s c =============================================================================== c | 543 | 1157 1366 323052 | 5000 543 976 | 0.000 % | c =============================================================================== c New solution: 1963609 c Elapsed CPU time: 34.2448 s Remaining CPU time: 145.755 s c =============================================================================== c | 545 | 1157 1367 324065 | 5000 545 976 | 0.000 % | c =============================================================================== c New solution: 1963576 c Elapsed CPU time: 34.6037 s Remaining CPU time: 145.396 s c =============================================================================== c | 554 | 1157 1368 325078 | 5000 554 976 | 0.000 % | c =============================================================================== c New solution: 1963517 c Elapsed CPU time: 34.8667 s Remaining CPU time: 145.133 s c =============================================================================== c | 558 | 1157 1369 326091 | 5000 558 976 | 0.000 % | c =============================================================================== c New solution: 1963389 c Elapsed CPU time: 35.0867 s Remaining CPU time: 144.913 s c =============================================================================== c | 560 | 1157 1370 327104 | 5000 560 975 | 0.000 % | c =============================================================================== c New solution: 1963215 c Elapsed CPU time: 35.2946 s Remaining CPU time: 144.705 s c =============================================================================== c | 560 | 1157 1371 328117 | 5000 560 975 | 0.000 % | c =============================================================================== c New solution: 1963111 c Elapsed CPU time: 35.5016 s Remaining CPU time: 144.498 s c =============================================================================== c | 560 | 1157 1372 329130 | 5000 560 975 | 0.000 % | c =============================================================================== c New solution: 1963080 c Elapsed CPU time: 35.7306 s Remaining CPU time: 144.269 s c =============================================================================== c | 561 | 1157 1373 330143 | 5000 561 975 | 0.000 % | c =============================================================================== c New solution: 1962988 c Elapsed CPU time: 35.9435 s Remaining CPU time: 144.056 s c =============================================================================== c | 561 | 1157 1374 331156 | 5000 561 975 | 0.000 % | c =============================================================================== c New solution: 1962958 c Elapsed CPU time: 36.1585 s Remaining CPU time: 143.841 s c =============================================================================== c | 561 | 1157 1375 332169 | 5000 561 975 | 0.000 % | c =============================================================================== c New solution: 1962851 c Elapsed CPU time: 36.3635 s Remaining CPU time: 143.637 s c =============================================================================== c | 561 | 1157 1376 333182 | 5000 561 975 | 0.000 % | c =============================================================================== c New solution: 1962830 c Elapsed CPU time: 36.5934 s Remaining CPU time: 143.407 s c =============================================================================== c | 562 | 1157 1377 334195 | 5000 562 975 | 0.000 % | c =============================================================================== c New solution: 1962806 c Elapsed CPU time: 36.8094 s Remaining CPU time: 143.191 s c =============================================================================== c | 562 | 1157 1378 335208 | 5000 562 975 | 0.000 % | c =============================================================================== c New solution: 1962752 c Elapsed CPU time: 37.0264 s Remaining CPU time: 142.974 s c =============================================================================== c | 562 | 1157 1379 336221 | 5000 562 975 | 0.000 % | c =============================================================================== c New solution: 1962616 c Elapsed CPU time: 37.2403 s Remaining CPU time: 142.76 s c =============================================================================== c | 562 | 1157 1380 337234 | 5000 562 975 | 0.000 % | c =============================================================================== c New solution: 1962483 c Elapsed CPU time: 37.4553 s Remaining CPU time: 142.545 s c =============================================================================== c | 562 | 1157 1381 338247 | 5000 562 975 | 0.000 % | c =============================================================================== c New solution: 1962417 c Elapsed CPU time: 37.6773 s Remaining CPU time: 142.323 s c =============================================================================== c | 562 | 1157 1382 339260 | 5000 562 975 | 0.000 % | c =============================================================================== c New solution: 1962293 c Elapsed CPU time: 37.8872 s Remaining CPU time: 142.113 s c =============================================================================== c | 562 | 1157 1383 340273 | 5000 562 975 | 0.000 % | c =============================================================================== c New solution: 1962193 c Elapsed CPU time: 38.1002 s Remaining CPU time: 141.9 s c =============================================================================== c | 562 | 1157 1384 341286 | 5000 562 975 | 0.000 % | c =============================================================================== c New solution: 1962171 c Elapsed CPU time: 38.3092 s Remaining CPU time: 141.691 s c =============================================================================== c | 562 | 1157 1385 342299 | 5000 562 975 | 0.000 % | c =============================================================================== c New solution: 1962055 c Elapsed CPU time: 38.5061 s Remaining CPU time: 141.494 s c =============================================================================== c | 562 | 1157 1386 343312 | 5000 562 975 | 0.000 % | c =============================================================================== c New solution: 1961993 c Elapsed CPU time: 38.7051 s Remaining CPU time: 141.295 s c =============================================================================== c | 562 | 1157 1387 344325 | 5000 562 975 | 0.000 % | c =============================================================================== c New solution: 1961929 c Elapsed CPU time: 38.9191 s Remaining CPU time: 141.081 s c =============================================================================== c | 562 | 1157 1388 345338 | 5000 562 975 | 0.000 % | c =============================================================================== c New solution: 1961916 c Elapsed CPU time: 39.133 s Remaining CPU time: 140.867 s c =============================================================================== c | 562 | 1157 1389 346351 | 5000 562 975 | 0.000 % | c =============================================================================== c New solution: 1961815 c Elapsed CPU time: 39.344 s Remaining CPU time: 140.656 s c =============================================================================== c | 563 | 1157 1390 347364 | 5000 563 975 | 0.000 % | c =============================================================================== c New solution: 1961690 c Elapsed CPU time: 39.577 s Remaining CPU time: 140.423 s c =============================================================================== c | 565 | 1157 1391 348377 | 5000 565 975 | 0.000 % | c =============================================================================== c New solution: 1961539 c Elapsed CPU time: 39.794 s Remaining CPU time: 140.206 s c =============================================================================== c | 565 | 1157 1392 349390 | 5000 565 975 | 0.000 % | c =============================================================================== c New solution: 1961505 c Elapsed CPU time: 40.0189 s Remaining CPU time: 139.981 s c =============================================================================== c | 565 | 1157 1393 350403 | 5000 565 975 | 0.000 % | c =============================================================================== c New solution: 1961320 c Elapsed CPU time: 40.2529 s Remaining CPU time: 139.747 s c =============================================================================== c | 565 | 1157 1394 351416 | 5000 565 975 | 0.000 % | c =============================================================================== c New solution: 1961253 c Elapsed CPU time: 40.4878 s Remaining CPU time: 139.512 s c =============================================================================== c | 565 | 1157 1395 352429 | 5000 565 975 | 0.000 % | c =============================================================================== c New solution: 1961183 c Elapsed CPU time: 40.7118 s Remaining CPU time: 139.288 s c =============================================================================== c | 565 | 1157 1396 353442 | 5000 565 975 | 0.000 % | c =============================================================================== c New solution: 1961063 c Elapsed CPU time: 40.9408 s Remaining CPU time: 139.059 s c =============================================================================== c | 565 | 1157 1397 354455 | 5000 565 975 | 0.000 % | c =============================================================================== c New solution: 1960961 c Elapsed CPU time: 41.1687 s Remaining CPU time: 138.831 s c =============================================================================== c | 565 | 1157 1398 355468 | 5000 565 975 | 0.000 % | c =============================================================================== c New solution: 1960921 c Elapsed CPU time: 41.3997 s Remaining CPU time: 138.6 s c =============================================================================== c | 565 | 1157 1399 356481 | 5000 565 975 | 0.000 % | c =============================================================================== c New solution: 1960880 c Elapsed CPU time: 41.6207 s Remaining CPU time: 138.379 s c =============================================================================== c | 565 | 1157 1400 357494 | 5000 565 975 | 0.000 % | c =============================================================================== c New solution: 1960853 c Elapsed CPU time: 41.8706 s Remaining CPU time: 138.129 s c =============================================================================== c | 566 | 1157 1401 358507 | 5000 566 975 | 0.000 % | c =============================================================================== c New solution: 1960821 c Elapsed CPU time: 42.0926 s Remaining CPU time: 137.907 s c =============================================================================== c | 566 | 1157 1402 359520 | 5000 566 975 | 0.000 % | c =============================================================================== c New solution: 1960713 c Elapsed CPU time: 42.3226 s Remaining CPU time: 137.677 s c =============================================================================== c | 567 | 1157 1403 360533 | 5000 567 975 | 0.000 % | c =============================================================================== c New solution: 1960658 c Elapsed CPU time: 42.5615 s Remaining CPU time: 137.438 s c =============================================================================== c | 568 | 1157 1404 361546 | 5000 568 975 | 0.000 % | c =============================================================================== c New solution: 1960518 c Elapsed CPU time: 42.7855 s Remaining CPU time: 137.215 s c =============================================================================== c | 568 | 1157 1405 362559 | 5000 568 975 | 0.000 % | c =============================================================================== c New solution: 1960381 c Elapsed CPU time: 43.0335 s Remaining CPU time: 136.967 s c =============================================================================== c | 568 | 1157 1406 363572 | 5000 568 975 | 0.000 % | c =============================================================================== c New solution: 1960360 c Elapsed CPU time: 43.2874 s Remaining CPU time: 136.713 s c =============================================================================== c | 568 | 1157 1407 364585 | 5000 568 975 | 0.000 % | c =============================================================================== c New solution: 1960262 c Elapsed CPU time: 43.5344 s Remaining CPU time: 136.466 s c =============================================================================== c | 568 | 1157 1408 365598 | 5000 568 975 | 0.000 % | c =============================================================================== c New solution: 1960211 c Elapsed CPU time: 43.8283 s Remaining CPU time: 136.172 s c =============================================================================== c | 571 | 1157 1409 366611 | 5000 571 975 | 0.000 % | c =============================================================================== c New solution: 1960185 c Elapsed CPU time: 44.0773 s Remaining CPU time: 135.923 s c =============================================================================== c | 572 | 1157 1410 367624 | 5000 572 975 | 0.000 % | c =============================================================================== c New solution: 1960057 c Elapsed CPU time: 44.3133 s Remaining CPU time: 135.687 s c =============================================================================== c | 572 | 1157 1411 368637 | 5000 572 975 | 0.000 % | c =============================================================================== c New solution: 1959909 c Elapsed CPU time: 44.5542 s Remaining CPU time: 135.446 s c =============================================================================== c | 572 | 1157 1412 369650 | 5000 572 975 | 0.000 % | c =============================================================================== c New solution: 1959772 c Elapsed CPU time: 44.7852 s Remaining CPU time: 135.215 s c =============================================================================== c | 572 | 1157 1413 370663 | 5000 572 975 | 0.000 % | c =============================================================================== c New solution: 1959623 c Elapsed CPU time: 45.0242 s Remaining CPU time: 134.976 s c =============================================================================== c | 572 | 1157 1414 371676 | 5000 572 975 | 0.000 % | c =============================================================================== c New solution: 1959580 c Elapsed CPU time: 45.2671 s Remaining CPU time: 134.733 s c =============================================================================== c | 572 | 1157 1415 372689 | 5000 572 975 | 0.000 % | c =============================================================================== c New solution: 1959503 c Elapsed CPU time: 45.5081 s Remaining CPU time: 134.492 s c =============================================================================== c | 573 | 1157 1416 373702 | 5000 573 975 | 0.000 % | c =============================================================================== c New solution: 1959490 c Elapsed CPU time: 45.751 s Remaining CPU time: 134.249 s c =============================================================================== c | 573 | 1157 1417 374715 | 5000 573 975 | 0.000 % | c =============================================================================== c New solution: 1959382 c Elapsed CPU time: 45.992 s Remaining CPU time: 134.008 s c =============================================================================== c | 573 | 1157 1418 375728 | 5000 573 975 | 0.000 % | c =============================================================================== c New solution: 1959263 c Elapsed CPU time: 46.218 s Remaining CPU time: 133.782 s c =============================================================================== c | 573 | 1157 1419 376741 | 5000 573 975 | 0.000 % | c =============================================================================== c New solution: 1959218 c Elapsed CPU time: 46.4559 s Remaining CPU time: 133.544 s c =============================================================================== c | 573 | 1157 1420 377754 | 5000 573 975 | 0.000 % | c =============================================================================== c New solution: 1959196 c Elapsed CPU time: 46.6949 s Remaining CPU time: 133.305 s c =============================================================================== c | 573 | 1157 1421 378767 | 5000 573 975 | 0.000 % | c =============================================================================== c New solution: 1959130 c Elapsed CPU time: 46.9529 s Remaining CPU time: 133.047 s c =============================================================================== c | 573 | 1157 1422 379780 | 5000 573 975 | 0.000 % | c =============================================================================== c New solution: 1959016 c Elapsed CPU time: 47.2168 s Remaining CPU time: 132.783 s c =============================================================================== c | 573 | 1157 1423 380793 | 5000 573 975 | 0.000 % | c =============================================================================== c New solution: 1958940 c Elapsed CPU time: 47.4638 s Remaining CPU time: 132.536 s c =============================================================================== c | 573 | 1157 1424 381806 | 5000 573 975 | 0.000 % | c =============================================================================== c New solution: 1958849 c Elapsed CPU time: 47.7407 s Remaining CPU time: 132.259 s c =============================================================================== c | 574 | 1157 1425 382819 | 5000 574 975 | 0.000 % | c =============================================================================== c New solution: 1958774 c Elapsed CPU time: 47.9857 s Remaining CPU time: 132.014 s c =============================================================================== c | 574 | 1157 1426 383832 | 5000 574 975 | 0.000 % | c =============================================================================== c New solution: 1958666 c Elapsed CPU time: 48.2277 s Remaining CPU time: 131.772 s c =============================================================================== c | 574 | 1157 1427 384845 | 5000 574 975 | 0.000 % | c =============================================================================== c New solution: 1958480 c Elapsed CPU time: 48.4676 s Remaining CPU time: 131.532 s c =============================================================================== c | 574 | 1157 1428 385858 | 5000 574 975 | 0.000 % | c =============================================================================== c New solution: 1958438 c Elapsed CPU time: 48.7076 s Remaining CPU time: 131.292 s c =============================================================================== c | 574 | 1157 1429 386871 | 5000 574 975 | 0.000 % | c =============================================================================== c New solution: 1958418 c Elapsed CPU time: 48.9616 s Remaining CPU time: 131.038 s c =============================================================================== c | 574 | 1157 1430 387884 | 5000 574 975 | 0.000 % | c =============================================================================== c New solution: 1958265 c Elapsed CPU time: 49.2115 s Remaining CPU time: 130.788 s c =============================================================================== c | 574 | 1157 1431 388897 | 5000 574 975 | 0.000 % | c =============================================================================== c New solution: 1958230 c Elapsed CPU time: 49.4485 s Remaining CPU time: 130.552 s c =============================================================================== c | 574 | 1157 1432 389910 | 5000 574 975 | 0.000 % | c =============================================================================== c New solution: 1958124 c Elapsed CPU time: 49.7294 s Remaining CPU time: 130.271 s c =============================================================================== c | 578 | 1157 1433 390923 | 5000 578 975 | 0.000 % | c =============================================================================== c New solution: 1958094 c Elapsed CPU time: 49.9964 s Remaining CPU time: 130.004 s c =============================================================================== c | 579 | 1157 1434 391936 | 5000 579 975 | 0.000 % | c =============================================================================== c New solution: 1958083 c Elapsed CPU time: 50.2464 s Remaining CPU time: 129.754 s c =============================================================================== c | 579 | 1157 1435 392949 | 5000 579 975 | 0.000 % | c =============================================================================== c New solution: 1957946 c Elapsed CPU time: 50.5013 s Remaining CPU time: 129.499 s c =============================================================================== c | 579 | 1157 1436 393962 | 5000 579 975 | 0.000 % | c =============================================================================== c New solution: 1957833 c Elapsed CPU time: 50.7563 s Remaining CPU time: 129.244 s c =============================================================================== c | 579 | 1157 1437 394975 | 5000 579 975 | 0.000 % | c =============================================================================== c New solution: 1957723 c Elapsed CPU time: 51.0282 s Remaining CPU time: 128.972 s c =============================================================================== c | 579 | 1157 1438 395988 | 5000 579 975 | 0.000 % | c =============================================================================== c New solution: 1957669 c Elapsed CPU time: 51.2892 s Remaining CPU time: 128.711 s c =============================================================================== c | 579 | 1157 1439 397001 | 5000 579 975 | 0.000 % | c =============================================================================== c New solution: 1957569 c Elapsed CPU time: 51.5492 s Remaining CPU time: 128.451 s c =============================================================================== c | 579 | 1157 1440 398014 | 5000 579 975 | 0.000 % | c =============================================================================== c New solution: 1957541 c Elapsed CPU time: 51.9691 s Remaining CPU time: 128.031 s c =============================================================================== c | 591 | 1157 1441 399027 | 5000 591 975 | 0.000 % | c =============================================================================== c New solution: 1957355 c Elapsed CPU time: 52.2311 s Remaining CPU time: 127.769 s c =============================================================================== c | 591 | 1157 1442 400040 | 5000 591 975 | 0.000 % | c =============================================================================== c New solution: 1957341 c Elapsed CPU time: 52.505 s Remaining CPU time: 127.495 s c =============================================================================== c | 592 | 1157 1443 401053 | 5000 592 975 | 0.000 % | c =============================================================================== c New solution: 1957272 c Elapsed CPU time: 52.782 s Remaining CPU time: 127.218 s c =============================================================================== c | 592 | 1157 1444 402066 | 5000 592 975 | 0.000 % | c =============================================================================== c New solution: 1957230 c Elapsed CPU time: 53.0749 s Remaining CPU time: 126.925 s c =============================================================================== c | 593 | 1157 1445 403079 | 5000 593 975 | 0.000 % | c =============================================================================== c New solution: 1957053 c Elapsed CPU time: 53.4089 s Remaining CPU time: 126.591 s c =============================================================================== c | 596 | 1157 1446 404092 | 5000 596 975 | 0.000 % | c =============================================================================== c New solution: 1957047 c Elapsed CPU time: 53.7008 s Remaining CPU time: 126.299 s c =============================================================================== c | 597 | 1157 1447 405105 | 5000 597 975 | 0.000 % | c =============================================================================== c New solution: 1956998 c Elapsed CPU time: 54.0228 s Remaining CPU time: 125.977 s c =============================================================================== c | 600 | 1157 1448 406118 | 5000 600 975 | 0.000 % | c =============================================================================== c New solution: 1956942 c Elapsed CPU time: 54.3107 s Remaining CPU time: 125.689 s c =============================================================================== c | 601 | 1157 1449 407131 | 5000 601 975 | 0.000 % | c =============================================================================== c New solution: 1956816 c Elapsed CPU time: 54.5737 s Remaining CPU time: 125.426 s c =============================================================================== c | 601 | 1157 1450 408144 | 5000 601 975 | 0.000 % | c =============================================================================== c New solution: 1956782 c Elapsed CPU time: 54.8447 s Remaining CPU time: 125.155 s c =============================================================================== c | 601 | 1157 1451 409157 | 5000 601 975 | 0.000 % | c =============================================================================== c New solution: 1956686 c Elapsed CPU time: 55.1236 s Remaining CPU time: 124.876 s c =============================================================================== c | 602 | 1157 1452 410170 | 5000 602 975 | 0.000 % | c =============================================================================== c New solution: 1956660 c Elapsed CPU time: 55.4346 s Remaining CPU time: 124.565 s c =============================================================================== c | 603 | 1157 1453 411183 | 5000 603 975 | 0.000 % | c =============================================================================== c New solution: 1956475 c Elapsed CPU time: 55.7135 s Remaining CPU time: 124.286 s c =============================================================================== c | 604 | 1157 1454 412196 | 5000 604 975 | 0.000 % | c =============================================================================== c New solution: 1956289 c Elapsed CPU time: 56.0425 s Remaining CPU time: 123.958 s c =============================================================================== c | 608 | 1157 1455 413209 | 5000 608 975 | 0.000 % | c =============================================================================== c New solution: 1956224 c Elapsed CPU time: 56.3254 s Remaining CPU time: 123.675 s c =============================================================================== c | 608 | 1157 1456 414222 | 5000 608 975 | 0.000 % | c =============================================================================== c New solution: 1956160 c Elapsed CPU time: 56.6344 s Remaining CPU time: 123.366 s c =============================================================================== c | 610 | 1157 1457 415235 | 5000 610 975 | 0.000 % | c =============================================================================== c New solution: 1956147 c Elapsed CPU time: 56.9303 s Remaining CPU time: 123.07 s c =============================================================================== c | 610 | 1157 1458 416248 | 5000 610 975 | 0.000 % | c =============================================================================== c New solution: 1956066 c Elapsed CPU time: 57.2233 s Remaining CPU time: 122.777 s c =============================================================================== c | 610 | 1157 1459 417261 | 5000 610 975 | 0.000 % | c =============================================================================== c New solution: 1955975 c Elapsed CPU time: 57.5143 s Remaining CPU time: 122.486 s c =============================================================================== c | 610 | 1157 1460 418274 | 5000 610 975 | 0.000 % | c =============================================================================== c New solution: 1955912 c Elapsed CPU time: 57.7872 s Remaining CPU time: 122.213 s c =============================================================================== c | 610 | 1157 1461 419287 | 5000 610 975 | 0.000 % | c =============================================================================== c New solution: 1955834 c Elapsed CPU time: 58.1062 s Remaining CPU time: 121.894 s c =============================================================================== c | 611 | 1157 1462 420300 | 5000 611 975 | 0.000 % | c =============================================================================== c New solution: 1955654 c Elapsed CPU time: 58.3981 s Remaining CPU time: 121.602 s c =============================================================================== c | 611 | 1157 1463 421313 | 5000 611 975 | 0.000 % | c =============================================================================== c New solution: 1955612 c Elapsed CPU time: 58.7291 s Remaining CPU time: 121.271 s c =============================================================================== c | 613 | 1157 1464 422326 | 5000 613 975 | 0.000 % | c =============================================================================== c New solution: 1955492 c Elapsed CPU time: 59.015 s Remaining CPU time: 120.985 s c =============================================================================== c | 613 | 1157 1465 423339 | 5000 613 975 | 0.000 % | c =============================================================================== c New solution: 1955343 c Elapsed CPU time: 59.33 s Remaining CPU time: 120.67 s c =============================================================================== c | 615 | 1157 1466 424352 | 5000 615 975 | 0.000 % | c =============================================================================== c New solution: 1955307 c Elapsed CPU time: 59.6549 s Remaining CPU time: 120.345 s c =============================================================================== c | 617 | 1157 1467 425365 | 5000 617 975 | 0.000 % | c =============================================================================== c New solution: 1955208 c Elapsed CPU time: 59.9479 s Remaining CPU time: 120.052 s c =============================================================================== c | 617 | 1157 1468 426378 | 5000 617 975 | 0.000 % | c =============================================================================== c New solution: 1955022 c Elapsed CPU time: 60.2778 s Remaining CPU time: 119.722 s c =============================================================================== c | 619 | 1157 1469 427391 | 5000 619 975 | 0.000 % | c =============================================================================== c New solution: 1954994 c Elapsed CPU time: 60.6348 s Remaining CPU time: 119.365 s c =============================================================================== c | 623 | 1157 1470 428404 | 5000 623 975 | 0.000 % | c =============================================================================== c New solution: 1954975 c Elapsed CPU time: 61.0327 s Remaining CPU time: 118.967 s c =============================================================================== c | 632 | 1157 1471 429417 | 5000 632 975 | 0.000 % | c =============================================================================== c New solution: 1954874 c Elapsed CPU time: 61.3777 s Remaining CPU time: 118.622 s c =============================================================================== c | 637 | 1157 1472 430430 | 5000 637 975 | 0.000 % | c =============================================================================== c New solution: 1954808 c Elapsed CPU time: 61.6896 s Remaining CPU time: 118.31 s c =============================================================================== c | 640 | 1157 1473 431443 | 5000 640 975 | 0.000 % | c =============================================================================== c New solution: 1954740 c Elapsed CPU time: 62.0306 s Remaining CPU time: 117.969 s c =============================================================================== c | 642 | 1157 1474 432456 | 5000 642 975 | 0.000 % | c =============================================================================== c New solution: 1954674 c Elapsed CPU time: 62.3495 s Remaining CPU time: 117.65 s c =============================================================================== c | 644 | 1157 1475 433469 | 5000 644 975 | 0.000 % | c =============================================================================== c New solution: 1954591 c Elapsed CPU time: 62.6525 s Remaining CPU time: 117.348 s c =============================================================================== c | 646 | 1157 1476 434482 | 5000 646 975 | 0.000 % | c =============================================================================== c New solution: 1954491 c Elapsed CPU time: 62.9424 s Remaining CPU time: 117.058 s c =============================================================================== c | 646 | 1157 1477 435495 | 5000 646 975 | 0.000 % | c =============================================================================== c New solution: 1954466 c Elapsed CPU time: 63.2504 s Remaining CPU time: 116.75 s c =============================================================================== c | 648 | 1157 1478 436508 | 5000 648 975 | 0.000 % | c =============================================================================== c New solution: 1954432 c Elapsed CPU time: 63.5243 s Remaining CPU time: 116.476 s c =============================================================================== c | 648 | 1157 1479 437521 | 5000 648 975 | 0.000 % | c =============================================================================== c New solution: 1954344 c Elapsed CPU time: 63.8083 s Remaining CPU time: 116.192 s c =============================================================================== c | 648 | 1157 1480 438534 | 5000 648 975 | 0.000 % | c =============================================================================== c New solution: 1954321 c Elapsed CPU time: 64.1053 s Remaining CPU time: 115.895 s c =============================================================================== c | 648 | 1157 1481 439547 | 5000 648 975 | 0.000 % | c =============================================================================== c New solution: 1954251 c Elapsed CPU time: 64.4132 s Remaining CPU time: 115.587 s c =============================================================================== c | 648 | 1157 1482 440560 | 5000 648 975 | 0.000 % | c =============================================================================== c New solution: 1954231 c Elapsed CPU time: 64.7152 s Remaining CPU time: 115.285 s c =============================================================================== c | 648 | 1157 1483 441573 | 5000 648 975 | 0.000 % | c =============================================================================== c New solution: 1953987 c Elapsed CPU time: 65.1481 s Remaining CPU time: 114.852 s c =============================================================================== c | 651 | 1157 1484 442586 | 5000 651 975 | 0.000 % | c =============================================================================== c New solution: 1953954 c Elapsed CPU time: 65.4401 s Remaining CPU time: 114.56 s c =============================================================================== c | 651 | 1157 1485 443599 | 5000 651 975 | 0.000 % | c =============================================================================== c New solution: 1953879 c Elapsed CPU time: 65.726 s Remaining CPU time: 114.274 s c =============================================================================== c | 651 | 1157 1486 444612 | 5000 651 975 | 0.000 % | c =============================================================================== c New solution: 1953678 c Elapsed CPU time: 66.03 s Remaining CPU time: 113.97 s c =============================================================================== c | 651 | 1157 1487 445625 | 5000 651 975 | 0.000 % | c =============================================================================== c New solution: 1953637 c Elapsed CPU time: 66.3359 s Remaining CPU time: 113.664 s c =============================================================================== c | 651 | 1157 1488 446638 | 5000 651 975 | 0.000 % | c =============================================================================== c New solution: 1953414 c Elapsed CPU time: 66.6419 s Remaining CPU time: 113.358 s c =============================================================================== c | 651 | 1157 1489 447651 | 5000 651 975 | 0.000 % | c =============================================================================== c New solution: 1953407 c Elapsed CPU time: 66.9548 s Remaining CPU time: 113.045 s c =============================================================================== c | 651 | 1157 1490 448664 | 5000 651 975 | 0.000 % | c =============================================================================== c New solution: 1953378 c Elapsed CPU time: 67.2538 s Remaining CPU time: 112.746 s c =============================================================================== c | 651 | 1157 1491 449677 | 5000 651 975 | 0.000 % | c =============================================================================== c New solution: 1953300 c Elapsed CPU time: 67.5707 s Remaining CPU time: 112.429 s c =============================================================================== c | 651 | 1157 1492 450690 | 5000 651 975 | 0.000 % | c =============================================================================== c New solution: 1953284 c Elapsed CPU time: 67.8597 s Remaining CPU time: 112.14 s c =============================================================================== c | 651 | 1157 1493 451703 | 5000 651 975 | 0.000 % | c =============================================================================== c New solution: 1953241 c Elapsed CPU time: 68.1386 s Remaining CPU time: 111.861 s c =============================================================================== c | 651 | 1157 1494 452716 | 5000 651 975 | 0.000 % | c =============================================================================== c New solution: 1953091 c Elapsed CPU time: 68.4536 s Remaining CPU time: 111.546 s c =============================================================================== c | 651 | 1157 1495 453729 | 5000 651 975 | 0.000 % | c =============================================================================== c New solution: 1953086 c Elapsed CPU time: 68.8665 s Remaining CPU time: 111.133 s c =============================================================================== c | 655 | 1157 1496 454742 | 5000 655 975 | 0.000 % | c =============================================================================== c New solution: 1953024 c Elapsed CPU time: 69.1775 s Remaining CPU time: 110.823 s c =============================================================================== c | 655 | 1157 1497 455755 | 5000 655 975 | 0.000 % | c =============================================================================== c New solution: 1953011 c Elapsed CPU time: 69.4924 s Remaining CPU time: 110.508 s c =============================================================================== c | 655 | 1157 1498 456768 | 5000 655 975 | 0.000 % | c =============================================================================== c New solution: 1952965 c Elapsed CPU time: 69.7924 s Remaining CPU time: 110.208 s c =============================================================================== c | 656 | 1157 1499 457781 | 5000 656 975 | 0.000 % | c =============================================================================== c New solution: 1952780 c Elapsed CPU time: 70.1273 s Remaining CPU time: 109.873 s c =============================================================================== c | 659 | 1157 1500 458794 | 5000 659 975 | 0.000 % | c =============================================================================== c New solution: 1952750 c Elapsed CPU time: 70.4363 s Remaining CPU time: 109.564 s c =============================================================================== c | 659 | 1157 1501 459807 | 5000 659 975 | 0.000 % | c =============================================================================== c New solution: 1952738 c Elapsed CPU time: 70.7522 s Remaining CPU time: 109.248 s c =============================================================================== c | 659 | 1157 1502 460820 | 5000 659 975 | 0.000 % | c =============================================================================== c New solution: 1952701 c Elapsed CPU time: 71.0952 s Remaining CPU time: 108.905 s c =============================================================================== c | 660 | 1157 1503 461833 | 5000 660 975 | 0.000 % | c =============================================================================== c New solution: 1952675 c Elapsed CPU time: 71.4161 s Remaining CPU time: 108.584 s c =============================================================================== c | 660 | 1157 1504 462846 | 5000 660 975 | 0.000 % | c =============================================================================== c New solution: 1952637 c Elapsed CPU time: 71.7691 s Remaining CPU time: 108.231 s c =============================================================================== c | 662 | 1157 1505 463859 | 5000 662 975 | 0.000 % | c =============================================================================== c New solution: 1952539 c Elapsed CPU time: 72.076 s Remaining CPU time: 107.924 s c =============================================================================== c | 663 | 1157 1506 464872 | 5000 663 975 | 0.000 % | c =============================================================================== c New solution: 1952466 c Elapsed CPU time: 72.447 s Remaining CPU time: 107.553 s c =============================================================================== c | 666 | 1157 1507 465885 | 5000 666 975 | 0.000 % | c =============================================================================== c New solution: 1952420 c Elapsed CPU time: 72.7649 s Remaining CPU time: 107.235 s c =============================================================================== c | 667 | 1157 1508 466898 | 5000 667 975 | 0.000 % | c =============================================================================== c New solution: 1952395 c Elapsed CPU time: 73.2399 s Remaining CPU time: 106.76 s c =============================================================================== c | 672 | 1157 1509 467911 | 5000 672 975 | 0.000 % | c =============================================================================== c New solution: 1952364 c Elapsed CPU time: 73.5918 s Remaining CPU time: 106.408 s c =============================================================================== c | 673 | 1157 1510 468924 | 5000 673 975 | 0.000 % | c =============================================================================== c New solution: 1952336 c Elapsed CPU time: 74.0777 s Remaining CPU time: 105.922 s c =============================================================================== c | 688 | 1157 1511 469937 | 5000 688 975 | 0.000 % | c =============================================================================== c New solution: 1952315 c Elapsed CPU time: 74.4017 s Remaining CPU time: 105.598 s c =============================================================================== c | 689 | 1157 1512 470950 | 5000 689 975 | 0.000 % | c =============================================================================== c New solution: 1952257 c Elapsed CPU time: 74.7256 s Remaining CPU time: 105.274 s c =============================================================================== c | 690 | 1157 1513 471963 | 5000 690 975 | 0.000 % | c =============================================================================== c New solution: 1952090 c Elapsed CPU time: 75.0556 s Remaining CPU time: 104.944 s c =============================================================================== c | 692 | 1157 1514 472976 | 5000 692 975 | 0.000 % | c =============================================================================== c New solution: 1951990 c Elapsed CPU time: 75.3895 s Remaining CPU time: 104.61 s c =============================================================================== c | 693 | 1157 1515 473989 | 5000 693 975 | 0.000 % | c =============================================================================== c New solution: 1951977 c Elapsed CPU time: 75.7135 s Remaining CPU time: 104.287 s c =============================================================================== c | 694 | 1157 1516 475002 | 5000 694 975 | 0.000 % | c =============================================================================== c New solution: 1951930 c Elapsed CPU time: 76.0134 s Remaining CPU time: 103.987 s c =============================================================================== c | 695 | 1157 1517 476015 | 5000 695 975 | 0.000 % | c =============================================================================== c New solution: 1951915 c Elapsed CPU time: 76.3224 s Remaining CPU time: 103.678 s c =============================================================================== c | 695 | 1157 1518 477028 | 5000 695 975 | 0.000 % | c =============================================================================== c New solution: 1951885 c Elapsed CPU time: 76.6473 s Remaining CPU time: 103.353 s c =============================================================================== c | 696 | 1157 1519 478041 | 5000 696 975 | 0.000 % | c =============================================================================== c New solution: 1951856 c Elapsed CPU time: 76.9823 s Remaining CPU time: 103.018 s c =============================================================================== c | 696 | 1157 1520 479054 | 5000 696 975 | 0.000 % | c =============================================================================== c New solution: 1951719 c Elapsed CPU time: 77.3082 s Remaining CPU time: 102.692 s c =============================================================================== c | 696 | 1157 1521 480067 | 5000 696 975 | 0.000 % | c =============================================================================== c New solution: 1951717 c Elapsed CPU time: 77.6582 s Remaining CPU time: 102.342 s c =============================================================================== c | 698 | 1157 1522 481080 | 5000 698 975 | 0.000 % | c =============================================================================== c New solution: 1951702 c Elapsed CPU time: 78.0121 s Remaining CPU time: 101.988 s c =============================================================================== c | 701 | 1157 1523 482093 | 5000 701 975 | 0.000 % | c =============================================================================== c New solution: 1951674 c Elapsed CPU time: 78.3791 s Remaining CPU time: 101.621 s c =============================================================================== c | 703 | 1157 1524 483106 | 5000 703 975 | 0.000 % | c =============================================================================== c New solution: 1951635 c Elapsed CPU time: 78.871 s Remaining CPU time: 101.129 s c =============================================================================== c | 710 | 1157 1525 484119 | 5000 710 975 | 0.000 % | c =============================================================================== c New solution: 1951393 c Elapsed CPU time: 79.236 s Remaining CPU time: 100.764 s c =============================================================================== c | 712 | 1157 1526 485132 | 5000 712 975 | 0.000 % | c =============================================================================== c New solution: 1951377 c Elapsed CPU time: 79.6919 s Remaining CPU time: 100.308 s c =============================================================================== c | 716 | 1157 1527 486145 | 5000 716 975 | 0.000 % | c =============================================================================== c New solution: 1951373 c Elapsed CPU time: 80.0328 s Remaining CPU time: 99.9672 s c =============================================================================== c | 717 | 1157 1528 487158 | 5000 717 975 | 0.000 % | c =============================================================================== c New solution: 1951168 c Elapsed CPU time: 80.4408 s Remaining CPU time: 99.5592 s c =============================================================================== c | 721 | 1157 1529 488171 | 5000 721 974 | 0.000 % | c =============================================================================== c New solution: 1950948 c Elapsed CPU time: 80.7797 s Remaining CPU time: 99.2203 s c =============================================================================== c | 721 | 1157 1530 489184 | 5000 721 974 | 0.000 % | c =============================================================================== c New solution: 1950859 c Elapsed CPU time: 81.1157 s Remaining CPU time: 98.8843 s c =============================================================================== c | 723 | 1157 1531 490197 | 5000 723 974 | 0.000 % | c =============================================================================== c New solution: 1950850 c Elapsed CPU time: 81.4696 s Remaining CPU time: 98.5304 s c =============================================================================== c | 725 | 1157 1532 491210 | 5000 725 974 | 0.000 % | c =============================================================================== c New solution: 1950828 c Elapsed CPU time: 81.8096 s Remaining CPU time: 98.1904 s c =============================================================================== c | 725 | 1157 1533 492223 | 5000 725 974 | 0.000 % | c =============================================================================== c New solution: 1950705 c Elapsed CPU time: 82.1545 s Remaining CPU time: 97.8455 s c =============================================================================== c | 726 | 1157 1534 493236 | 5000 726 974 | 0.000 % | c =============================================================================== c New solution: 1950656 c Elapsed CPU time: 82.5165 s Remaining CPU time: 97.4835 s c =============================================================================== c | 728 | 1157 1535 494249 | 5000 728 974 | 0.000 % | c =============================================================================== c New solution: 1950629 c Elapsed CPU time: 82.9004 s Remaining CPU time: 97.0996 s c =============================================================================== c | 730 | 1157 1536 495262 | 5000 730 974 | 0.000 % | c =============================================================================== c New solution: 1950412 c Elapsed CPU time: 83.2513 s Remaining CPU time: 96.7487 s c =============================================================================== c | 732 | 1157 1537 496275 | 5000 732 974 | 0.000 % | c =============================================================================== c New solution: 1950250 c Elapsed CPU time: 83.5893 s Remaining CPU time: 96.4107 s c =============================================================================== c | 733 | 1157 1538 497288 | 5000 733 974 | 0.000 % | c =============================================================================== c New solution: 1950238 c Elapsed CPU time: 83.9372 s Remaining CPU time: 96.0628 s c =============================================================================== c | 733 | 1157 1539 498301 | 5000 733 974 | 0.000 % | c =============================================================================== c New solution: 1949935 c Elapsed CPU time: 84.2802 s Remaining CPU time: 95.7198 s c =============================================================================== c | 733 | 1157 1540 499314 | 5000 733 974 | 0.000 % | c =============================================================================== c New solution: 1949861 c Elapsed CPU time: 84.6251 s Remaining CPU time: 95.3749 s c =============================================================================== c | 733 | 1157 1541 500327 | 5000 733 974 | 0.000 % | c =============================================================================== c New solution: 1949687 c Elapsed CPU time: 84.9791 s Remaining CPU time: 95.0209 s c =============================================================================== c | 733 | 1157 1542 501340 | 5000 733 974 | 0.000 % | c =============================================================================== c New solution: 1949686 c Elapsed CPU time: 85.317 s Remaining CPU time: 94.683 s c =============================================================================== c | 733 | 1157 1543 502353 | 5000 733 974 | 0.000 % | c =============================================================================== c New solution: 1949613 c Elapsed CPU time: 85.9609 s Remaining CPU time: 94.0391 s c =============================================================================== c | 743 | 1157 1544 503366 | 5000 743 974 | 0.000 % | c =============================================================================== c New solution: 1949387 c Elapsed CPU time: 86.3669 s Remaining CPU time: 93.6331 s c =============================================================================== c | 745 | 1157 1545 504379 | 5000 745 974 | 0.000 % | c =============================================================================== c New solution: 1949107 c Elapsed CPU time: 86.8048 s Remaining CPU time: 93.1952 s c =============================================================================== c | 750 | 1157 1546 505392 | 5000 750 974 | 0.000 % | c =============================================================================== c New solution: 1948976 c Elapsed CPU time: 87.1717 s Remaining CPU time: 92.8283 s c =============================================================================== c | 753 | 1157 1547 506405 | 5000 753 974 | 0.000 % | c =============================================================================== c New solution: 1948850 c Elapsed CPU time: 87.5507 s Remaining CPU time: 92.4493 s c =============================================================================== c | 754 | 1157 1548 507418 | 5000 754 974 | 0.000 % | c =============================================================================== c New solution: 1948642 c Elapsed CPU time: 87.9396 s Remaining CPU time: 92.0604 s c =============================================================================== c | 756 | 1157 1549 508431 | 5000 756 974 | 0.000 % | c =============================================================================== c New solution: 1948540 c Elapsed CPU time: 88.2886 s Remaining CPU time: 91.7114 s c =============================================================================== c | 756 | 1157 1550 509444 | 5000 756 974 | 0.000 % | c =============================================================================== c New solution: 1948416 c Elapsed CPU time: 88.6925 s Remaining CPU time: 91.3075 s c =============================================================================== c | 759 | 1157 1551 510457 | 5000 759 974 | 0.000 % | c =============================================================================== c New solution: 1948353 c Elapsed CPU time: 89.0675 s Remaining CPU time: 90.9325 s c =============================================================================== c | 760 | 1157 1552 511470 | 5000 760 974 | 0.000 % | c =============================================================================== c New solution: 1948303 c Elapsed CPU time: 89.6964 s Remaining CPU time: 90.3036 s c =============================================================================== c | 771 | 1157 1553 512483 | 5000 771 974 | 0.000 % | c =============================================================================== c New solution: 1948175 c Elapsed CPU time: 90.1033 s Remaining CPU time: 89.8967 s c =============================================================================== c | 773 | 1157 1554 513496 | 5000 773 974 | 0.000 % | c =============================================================================== c New solution: 1948153 c Elapsed CPU time: 90.4612 s Remaining CPU time: 89.5388 s c =============================================================================== c | 773 | 1157 1555 514509 | 5000 773 974 | 0.000 % | c =============================================================================== c New solution: 1948005 c Elapsed CPU time: 90.8312 s Remaining CPU time: 89.1688 s c =============================================================================== c | 775 | 1157 1556 515522 | 5000 775 974 | 0.000 % | c =============================================================================== c New solution: 1947980 c Elapsed CPU time: 91.1821 s Remaining CPU time: 88.8179 s c =============================================================================== c | 777 | 1157 1557 516535 | 5000 777 974 | 0.000 % | c =============================================================================== c New solution: 1947866 c Elapsed CPU time: 91.7471 s Remaining CPU time: 88.2529 s c =============================================================================== c | 790 | 1157 1558 517548 | 5000 790 974 | 0.000 % | c =============================================================================== c New solution: 1947791 c Elapsed CPU time: 92.091 s Remaining CPU time: 87.909 s c =============================================================================== c | 790 | 1157 1559 518561 | 5000 790 974 | 0.000 % | c =============================================================================== c New solution: 1947738 c Elapsed CPU time: 92.4719 s Remaining CPU time: 87.5281 s c =============================================================================== c | 792 | 1157 1560 519574 | 5000 792 974 | 0.000 % | c =============================================================================== c New solution: 1947634 c Elapsed CPU time: 92.8039 s Remaining CPU time: 87.1961 s c =============================================================================== c | 792 | 1157 1561 520587 | 5000 792 974 | 0.000 % | c =============================================================================== c New solution: 1947525 c Elapsed CPU time: 93.1558 s Remaining CPU time: 86.8442 s c =============================================================================== c | 792 | 1157 1562 521600 | 5000 792 974 | 0.000 % | c =============================================================================== c New solution: 1947390 c Elapsed CPU time: 93.4848 s Remaining CPU time: 86.5152 s c =============================================================================== c | 793 | 1157 1563 522613 | 5000 793 974 | 0.000 % | c =============================================================================== c New solution: 1947275 c Elapsed CPU time: 93.8367 s Remaining CPU time: 86.1633 s c =============================================================================== c | 794 | 1157 1564 523626 | 5000 794 974 | 0.000 % | c =============================================================================== c New solution: 1947095 c Elapsed CPU time: 94.1807 s Remaining CPU time: 85.8193 s c =============================================================================== c | 794 | 1157 1565 524639 | 5000 794 974 | 0.000 % | c =============================================================================== c New solution: 1947084 c Elapsed CPU time: 94.5466 s Remaining CPU time: 85.4534 s c =============================================================================== c | 794 | 1157 1566 525652 | 5000 794 974 | 0.000 % | c =============================================================================== c New solution: 1947066 c Elapsed CPU time: 95.0346 s Remaining CPU time: 84.9654 s c =============================================================================== c | 797 | 1157 1567 526665 | 5000 797 974 | 0.000 % | c =============================================================================== c New solution: 1946930 c Elapsed CPU time: 95.4025 s Remaining CPU time: 84.5975 s c =============================================================================== c | 797 | 1157 1568 527678 | 5000 797 974 | 0.000 % | c =============================================================================== c New solution: 1946780 c Elapsed CPU time: 96.0074 s Remaining CPU time: 83.9926 s c =============================================================================== c | 810 | 1157 1569 528691 | 5000 810 974 | 0.000 % | c =============================================================================== c New solution: 1946691 c Elapsed CPU time: 96.4283 s Remaining CPU time: 83.5717 s c =============================================================================== c | 813 | 1157 1570 529704 | 5000 813 974 | 0.000 % | c =============================================================================== c New solution: 1946460 c Elapsed CPU time: 96.7963 s Remaining CPU time: 83.2037 s c =============================================================================== c | 814 | 1157 1571 530717 | 5000 814 974 | 0.000 % | c =============================================================================== c New solution: 1946397 c Elapsed CPU time: 97.1752 s Remaining CPU time: 82.8248 s c =============================================================================== c | 814 | 1157 1572 531730 | 5000 814 974 | 0.000 % | c =============================================================================== c New solution: 1946368 c Elapsed CPU time: 97.5472 s Remaining CPU time: 82.4528 s c =============================================================================== c | 816 | 1157 1573 532743 | 5000 816 972 | 0.000 % | c =============================================================================== c New solution: 1946254 c Elapsed CPU time: 97.8921 s Remaining CPU time: 82.1079 s c =============================================================================== c | 816 | 1157 1574 533756 | 5000 816 972 | 0.000 % | c =============================================================================== c New solution: 1946214 c Elapsed CPU time: 98.2541 s Remaining CPU time: 81.7459 s c =============================================================================== c | 816 | 1157 1575 534769 | 5000 816 972 | 0.000 % | c =============================================================================== c New solution: 1946178 c Elapsed CPU time: 98.604 s Remaining CPU time: 81.396 s c =============================================================================== c | 816 | 1157 1576 535782 | 5000 816 972 | 0.000 % | c =============================================================================== c New solution: 1945973 c Elapsed CPU time: 98.964 s Remaining CPU time: 81.036 s c =============================================================================== c | 817 | 1157 1577 536795 | 5000 817 972 | 0.000 % | c =============================================================================== c New solution: 1945680 c Elapsed CPU time: 99.3059 s Remaining CPU time: 80.6941 s c =============================================================================== c | 817 | 1157 1578 537808 | 5000 817 972 | 0.000 % | c =============================================================================== c New solution: 1945602 c Elapsed CPU time: 99.6568 s Remaining CPU time: 80.3432 s c =============================================================================== c | 817 | 1157 1579 538821 | 5000 817 972 | 0.000 % | c =============================================================================== c New solution: 1945568 c Elapsed CPU time: 100.02 s Remaining CPU time: 79.9802 s c =============================================================================== c | 817 | 1157 1580 539834 | 5000 817 972 | 0.000 % | c =============================================================================== c New solution: 1945436 c Elapsed CPU time: 100.378 s Remaining CPU time: 79.6223 s c =============================================================================== c | 817 | 1157 1581 540847 | 5000 817 972 | 0.000 % | c =============================================================================== c New solution: 1945318 c Elapsed CPU time: 100.726 s Remaining CPU time: 79.2743 s c =============================================================================== c | 817 | 1157 1582 541860 | 5000 817 972 | 0.000 % | c =============================================================================== c New solution: 1945229 c Elapsed CPU time: 101.066 s Remaining CPU time: 78.9344 s c =============================================================================== c | 817 | 1157 1583 542873 | 5000 817 972 | 0.000 % | c =============================================================================== c New solution: 1944978 c Elapsed CPU time: 101.436 s Remaining CPU time: 78.5644 s c =============================================================================== c | 817 | 1157 1584 543886 | 5000 817 972 | 0.000 % | c =============================================================================== c New solution: 1944904 c Elapsed CPU time: 101.817 s Remaining CPU time: 78.1835 s c =============================================================================== c | 817 | 1157 1585 544899 | 5000 817 972 | 0.000 % | c =============================================================================== c New solution: 1944851 c Elapsed CPU time: 102.204 s Remaining CPU time: 77.7955 s c =============================================================================== c | 817 | 1157 1586 545912 | 5000 817 972 | 0.000 % | c =============================================================================== c New solution: 1944764 c Elapsed CPU time: 102.62 s Remaining CPU time: 77.3796 s c =============================================================================== c | 817 | 1157 1587 546925 | 5000 817 972 | 0.000 % | c =============================================================================== c New solution: 1944749 c Elapsed CPU time: 102.989 s Remaining CPU time: 77.0107 s c =============================================================================== c | 817 | 1157 1588 547938 | 5000 817 972 | 0.000 % | c =============================================================================== c New solution: 1944550 c Elapsed CPU time: 103.367 s Remaining CPU time: 76.6327 s c =============================================================================== c | 817 | 1157 1589 548951 | 5000 817 972 | 0.000 % | c =============================================================================== c New solution: 1944530 c Elapsed CPU time: 103.812 s Remaining CPU time: 76.1878 s c =============================================================================== c | 820 | 1157 1590 549964 | 5000 820 972 | 0.000 % | c =============================================================================== c New solution: 1944422 c Elapsed CPU time: 104.241 s Remaining CPU time: 75.7588 s c =============================================================================== c | 822 | 1157 1591 550977 | 5000 822 972 | 0.000 % | c =============================================================================== c New solution: 1944328 c Elapsed CPU time: 104.623 s Remaining CPU time: 75.3769 s c =============================================================================== c | 823 | 1157 1592 551990 | 5000 823 972 | 0.000 % | c =============================================================================== c New solution: 1944326 c Elapsed CPU time: 105.015 s Remaining CPU time: 74.985 s c =============================================================================== c | 823 | 1157 1593 553003 | 5000 823 972 | 0.000 % | c =============================================================================== c New solution: 1944227 c Elapsed CPU time: 105.392 s Remaining CPU time: 74.608 s c =============================================================================== c | 823 | 1157 1594 554016 | 5000 823 972 | 0.000 % | c =============================================================================== c New solution: 1944053 c Elapsed CPU time: 105.788 s Remaining CPU time: 74.2121 s c =============================================================================== c | 825 | 1157 1595 555029 | 5000 825 972 | 0.000 % | c =============================================================================== c New solution: 1943833 c Elapsed CPU time: 106.163 s Remaining CPU time: 73.8371 s c =============================================================================== c | 825 | 1157 1596 556042 | 5000 825 972 | 0.000 % | c =============================================================================== c New solution: 1943601 c Elapsed CPU time: 106.535 s Remaining CPU time: 73.4652 s c =============================================================================== c | 825 | 1157 1597 557055 | 5000 825 972 | 0.000 % | c =============================================================================== c New solution: 1943551 c Elapsed CPU time: 107.154 s Remaining CPU time: 72.8463 s c =============================================================================== c | 836 | 1157 1598 558068 | 5000 836 972 | 0.000 % | c =============================================================================== c New solution: 1943399 c Elapsed CPU time: 107.738 s Remaining CPU time: 72.2624 s c =============================================================================== c | 844 | 1157 1599 559081 | 5000 844 972 | 0.000 % | c =============================================================================== c New solution: 1943359 c Elapsed CPU time: 108.151 s Remaining CPU time: 71.8494 s c =============================================================================== c | 847 | 1157 1600 560094 | 5000 847 972 | 0.000 % | c =============================================================================== c New solution: 1943345 c Elapsed CPU time: 108.537 s Remaining CPU time: 71.4625 s c =============================================================================== c | 848 | 1157 1601 561107 | 5000 848 972 | 0.000 % | c =============================================================================== c New solution: 1943252 c Elapsed CPU time: 108.977 s Remaining CPU time: 71.0226 s c =============================================================================== c | 852 | 1157 1602 562120 | 5000 852 972 | 0.000 % | c =============================================================================== c New solution: 1943172 c Elapsed CPU time: 109.382 s Remaining CPU time: 70.6176 s c =============================================================================== c | 852 | 1157 1603 563133 | 5000 852 972 | 0.000 % | c =============================================================================== c New solution: 1943108 c Elapsed CPU time: 109.793 s Remaining CPU time: 70.2067 s c =============================================================================== c | 852 | 1157 1604 564146 | 5000 852 972 | 0.000 % | c =============================================================================== c New solution: 1943089 c Elapsed CPU time: 110.199 s Remaining CPU time: 69.8008 s c =============================================================================== c | 852 | 1157 1605 565159 | 5000 852 972 | 0.000 % | c =============================================================================== c New solution: 1942766 c Elapsed CPU time: 110.595 s Remaining CPU time: 69.4048 s c =============================================================================== c | 852 | 1157 1606 566172 | 5000 852 972 | 0.000 % | c =============================================================================== c New solution: 1942676 c Elapsed CPU time: 110.975 s Remaining CPU time: 69.0249 s c =============================================================================== c | 852 | 1157 1607 567185 | 5000 852 972 | 0.000 % | c =============================================================================== c New solution: 1942445 c Elapsed CPU time: 111.404 s Remaining CPU time: 68.5959 s c =============================================================================== c | 856 | 1157 1608 568198 | 5000 856 972 | 0.000 % | c =============================================================================== c New solution: 1942440 c Elapsed CPU time: 111.864 s Remaining CPU time: 68.136 s c =============================================================================== c | 861 | 1157 1609 569211 | 5000 861 972 | 0.000 % | c =============================================================================== c New solution: 1942275 c Elapsed CPU time: 112.308 s Remaining CPU time: 67.6921 s c =============================================================================== c | 863 | 1157 1610 570224 | 5000 863 971 | 0.000 % | c =============================================================================== c New solution: 1942092 c Elapsed CPU time: 112.712 s Remaining CPU time: 67.2881 s c =============================================================================== c | 864 | 1157 1611 571237 | 5000 864 971 | 0.000 % | c =============================================================================== c New solution: 1941965 c Elapsed CPU time: 113.117 s Remaining CPU time: 66.8832 s c =============================================================================== c | 864 | 1157 1612 572250 | 5000 864 971 | 0.000 % | c =============================================================================== c New solution: 1941924 c Elapsed CPU time: 113.515 s Remaining CPU time: 66.4853 s c =============================================================================== c | 864 | 1157 1613 573263 | 5000 864 971 | 0.000 % | c =============================================================================== c New solution: 1941889 c Elapsed CPU time: 113.957 s Remaining CPU time: 66.0433 s c =============================================================================== c | 865 | 1157 1614 574276 | 5000 865 971 | 0.000 % | c =============================================================================== c New solution: 1941823 c Elapsed CPU time: 114.402 s Remaining CPU time: 65.5984 s c =============================================================================== c | 866 | 1157 1615 575289 | 5000 866 971 | 0.000 % | c =============================================================================== c New solution: 1941594 c Elapsed CPU time: 114.819 s Remaining CPU time: 65.1815 s c =============================================================================== c | 866 | 1157 1616 576302 | 5000 866 971 | 0.000 % | c =============================================================================== c New solution: 1941505 c Elapsed CPU time: 115.218 s Remaining CPU time: 64.7815 s c =============================================================================== c | 866 | 1157 1617 577315 | 5000 866 971 | 0.000 % | c =============================================================================== c New solution: 1941400 c Elapsed CPU time: 115.809 s Remaining CPU time: 64.1906 s c =============================================================================== c | 874 | 1157 1618 578328 | 5000 874 971 | 0.000 % | c =============================================================================== c New solution: 1941289 c Elapsed CPU time: 116.271 s Remaining CPU time: 63.7287 s c =============================================================================== c | 875 | 1157 1619 579341 | 5000 875 971 | 0.000 % | c =============================================================================== c New solution: 1941244 c Elapsed CPU time: 116.675 s Remaining CPU time: 63.3247 s c =============================================================================== c | 875 | 1157 1620 580354 | 5000 875 971 | 0.000 % | c =============================================================================== c New solution: 1941058 c Elapsed CPU time: 117.076 s Remaining CPU time: 62.9238 s c =============================================================================== c | 875 | 1157 1621 581367 | 5000 875 971 | 0.000 % | c =============================================================================== c New solution: 1940919 c Elapsed CPU time: 117.488 s Remaining CPU time: 62.5119 s c =============================================================================== c | 875 | 1157 1622 582380 | 5000 875 971 | 0.000 % | c =============================================================================== c New solution: 1940816 c Elapsed CPU time: 117.895 s Remaining CPU time: 62.1049 s c =============================================================================== c | 875 | 1157 1623 583393 | 5000 875 971 | 0.000 % | c =============================================================================== c New solution: 1940752 c Elapsed CPU time: 118.341 s Remaining CPU time: 61.659 s c =============================================================================== c | 876 | 1157 1624 584406 | 5000 876 971 | 0.000 % | c =============================================================================== c New solution: 1940516 c Elapsed CPU time: 118.764 s Remaining CPU time: 61.2361 s c =============================================================================== c | 876 | 1157 1625 585419 | 5000 876 971 | 0.000 % | c =============================================================================== c New solution: 1940484 c Elapsed CPU time: 119.193 s Remaining CPU time: 60.8071 s c =============================================================================== c | 876 | 1157 1626 586432 | 5000 876 971 | 0.000 % | c =============================================================================== c New solution: 1940249 c Elapsed CPU time: 119.619 s Remaining CPU time: 60.3812 s c =============================================================================== c | 876 | 1157 1627 587445 | 5000 876 971 | 0.000 % | c =============================================================================== c New solution: 1940196 c Elapsed CPU time: 120.407 s Remaining CPU time: 59.5933 s c =============================================================================== c | 892 | 1157 1628 588458 | 5000 892 971 | 0.000 % | c =============================================================================== c New solution: 1940055 c Elapsed CPU time: 120.827 s Remaining CPU time: 59.1734 s c =============================================================================== c | 892 | 1157 1629 589471 | 5000 892 971 | 0.000 % | c =============================================================================== c New solution: 1939904 c Elapsed CPU time: 121.343 s Remaining CPU time: 58.6574 s c =============================================================================== c | 898 | 1157 1630 590484 | 5000 898 971 | 0.000 % | c =============================================================================== c New solution: 1939901 c Elapsed CPU time: 121.763 s Remaining CPU time: 58.2365 s c =============================================================================== c | 899 | 1157 1631 591497 | 5000 899 971 | 0.000 % | c =============================================================================== c New solution: 1939861 c Elapsed CPU time: 122.183 s Remaining CPU time: 57.8166 s c =============================================================================== c | 899 | 1157 1632 592510 | 5000 899 971 | 0.000 % | c =============================================================================== c New solution: 1939773 c Elapsed CPU time: 122.589 s Remaining CPU time: 57.4106 s c =============================================================================== c | 899 | 1157 1633 593523 | 5000 899 971 | 0.000 % | c =============================================================================== c New solution: 1939587 c Elapsed CPU time: 122.989 s Remaining CPU time: 57.0107 s c =============================================================================== c | 899 | 1157 1634 594536 | 5000 899 971 | 0.000 % | c =============================================================================== c New solution: 1939544 c Elapsed CPU time: 123.41 s Remaining CPU time: 56.5898 s c =============================================================================== c | 899 | 1157 1635 595549 | 5000 899 971 | 0.000 % | c =============================================================================== c New solution: 1939530 c Elapsed CPU time: 123.856 s Remaining CPU time: 56.1438 s c =============================================================================== c | 900 | 1157 1636 596562 | 5000 900 971 | 0.000 % | c =============================================================================== c New solution: 1939521 c Elapsed CPU time: 124.596 s Remaining CPU time: 55.4039 s c =============================================================================== c | 916 | 1157 1637 597575 | 5000 916 970 | 0.000 % | c =============================================================================== c New solution: 1939365 c Elapsed CPU time: 125.029 s Remaining CPU time: 54.971 s c =============================================================================== c | 918 | 1157 1638 598588 | 5000 918 970 | 0.000 % | c =============================================================================== c New solution: 1939337 c Elapsed CPU time: 125.481 s Remaining CPU time: 54.5191 s c =============================================================================== c | 919 | 1157 1639 599601 | 5000 919 970 | 0.000 % | c =============================================================================== c New solution: 1939252 c Elapsed CPU time: 125.908 s Remaining CPU time: 54.0921 s c =============================================================================== c | 921 | 1157 1640 600614 | 5000 921 970 | 0.000 % | c =============================================================================== c New solution: 1939150 c Elapsed CPU time: 126.323 s Remaining CPU time: 53.6772 s c =============================================================================== c | 921 | 1157 1641 601627 | 5000 921 970 | 0.000 % | c =============================================================================== c New solution: 1939069 c Elapsed CPU time: 126.744 s Remaining CPU time: 53.2563 s c =============================================================================== c | 922 | 1157 1642 602640 | 5000 922 970 | 0.000 % | c =============================================================================== c New solution: 1938941 c Elapsed CPU time: 127.177 s Remaining CPU time: 52.8233 s c =============================================================================== c | 923 | 1157 1643 603653 | 5000 923 970 | 0.000 % | c =============================================================================== c New solution: 1938773 c Elapsed CPU time: 127.603 s Remaining CPU time: 52.3974 s c =============================================================================== c | 923 | 1157 1644 604666 | 5000 923 970 | 0.000 % | c =============================================================================== c New solution: 1938609 c Elapsed CPU time: 128.032 s Remaining CPU time: 51.9685 s c =============================================================================== c | 924 | 1157 1645 605679 | 5000 924 970 | 0.000 % | c =============================================================================== c New solution: 1938553 c Elapsed CPU time: 128.44 s Remaining CPU time: 51.5595 s c =============================================================================== c | 924 | 1157 1646 606692 | 5000 924 970 | 0.000 % | c =============================================================================== c New solution: 1938529 c Elapsed CPU time: 128.851 s Remaining CPU time: 51.1486 s c =============================================================================== c | 924 | 1157 1647 607705 | 5000 924 970 | 0.000 % | c =============================================================================== c New solution: 1938422 c Elapsed CPU time: 129.264 s Remaining CPU time: 50.7357 s c =============================================================================== c | 924 | 1157 1648 608718 | 5000 924 970 | 0.000 % | c =============================================================================== c New solution: 1938319 c Elapsed CPU time: 129.724 s Remaining CPU time: 50.2757 s c =============================================================================== c | 925 | 1157 1649 609731 | 5000 925 970 | 0.000 % | c =============================================================================== c New solution: 1938288 c Elapsed CPU time: 130.146 s Remaining CPU time: 49.8538 s c =============================================================================== c | 925 | 1157 1650 610744 | 5000 925 970 | 0.000 % | c =============================================================================== c New solution: 1938201 c Elapsed CPU time: 130.596 s Remaining CPU time: 49.4039 s c =============================================================================== c | 925 | 1157 1651 611757 | 5000 925 970 | 0.000 % | c =============================================================================== c New solution: 1938137 c Elapsed CPU time: 131.02 s Remaining CPU time: 48.9799 s c =============================================================================== c | 925 | 1157 1652 612770 | 5000 925 970 | 0.000 % | c =============================================================================== c New solution: 1938099 c Elapsed CPU time: 131.463 s Remaining CPU time: 48.537 s c =============================================================================== c | 925 | 1157 1653 613783 | 5000 925 970 | 0.000 % | c =============================================================================== c New solution: 1938064 c Elapsed CPU time: 131.883 s Remaining CPU time: 48.1171 s c =============================================================================== c | 925 | 1157 1654 614796 | 5000 925 970 | 0.000 % | c =============================================================================== c New solution: 1937927 c Elapsed CPU time: 132.292 s Remaining CPU time: 47.7081 s c =============================================================================== c | 925 | 1157 1655 615809 | 5000 925 970 | 0.000 % | c =============================================================================== c New solution: 1937819 c Elapsed CPU time: 132.746 s Remaining CPU time: 47.2542 s c =============================================================================== c | 925 | 1157 1656 616822 | 5000 925 970 | 0.000 % | c =============================================================================== c New solution: 1937719 c Elapsed CPU time: 133.191 s Remaining CPU time: 46.8092 s c =============================================================================== c | 926 | 1157 1657 617835 | 5000 926 969 | 0.000 % | c =============================================================================== c New solution: 1937644 c Elapsed CPU time: 133.617 s Remaining CPU time: 46.3833 s c =============================================================================== c | 926 | 1157 1658 618848 | 5000 926 969 | 0.000 % | c =============================================================================== c New solution: 1937506 c Elapsed CPU time: 134.037 s Remaining CPU time: 45.9634 s c =============================================================================== c | 926 | 1157 1659 619861 | 5000 926 969 | 0.000 % | c =============================================================================== c New solution: 1937409 c Elapsed CPU time: 134.482 s Remaining CPU time: 45.5184 s c =============================================================================== c | 926 | 1157 1660 620874 | 5000 926 969 | 0.000 % | c =============================================================================== c New solution: 1937337 c Elapsed CPU time: 134.923 s Remaining CPU time: 45.0765 s c =============================================================================== c | 926 | 1157 1661 621887 | 5000 926 969 | 0.000 % | c =============================================================================== c New solution: 1937130 c Elapsed CPU time: 135.376 s Remaining CPU time: 44.6236 s c =============================================================================== c | 926 | 1157 1662 622900 | 5000 926 969 | 0.000 % | c =============================================================================== c New solution: 1937082 c Elapsed CPU time: 135.907 s Remaining CPU time: 44.0927 s c =============================================================================== c | 929 | 1157 1663 623913 | 5000 929 969 | 0.000 % | c =============================================================================== c New solution: 1937078 c Elapsed CPU time: 136.383 s Remaining CPU time: 43.6167 s c =============================================================================== c | 929 | 1157 1664 624926 | 5000 929 969 | 0.000 % | c =============================================================================== c New solution: 1936998 c Elapsed CPU time: 136.823 s Remaining CPU time: 43.1768 s c =============================================================================== c | 929 | 1157 1665 625939 | 5000 929 969 | 0.000 % | c =============================================================================== c New solution: 1936813 c Elapsed CPU time: 137.268 s Remaining CPU time: 42.7319 s c =============================================================================== c | 929 | 1157 1666 626952 | 5000 929 969 | 0.000 % | c =============================================================================== c New solution: 1936805 c Elapsed CPU time: 138.043 s Remaining CPU time: 41.957 s c =============================================================================== c | 942 | 1157 1667 627965 | 5000 942 969 | 0.000 % | c =============================================================================== c New solution: 1936790 c Elapsed CPU time: 138.505 s Remaining CPU time: 41.4951 s c =============================================================================== c | 943 | 1157 1668 628978 | 5000 943 969 | 0.000 % | c =============================================================================== c New solution: 1936761 c Elapsed CPU time: 138.958 s Remaining CPU time: 41.0421 s c =============================================================================== c | 944 | 1157 1669 629991 | 5000 944 969 | 0.000 % | c =============================================================================== c New solution: 1936718 c Elapsed CPU time: 139.396 s Remaining CPU time: 40.6042 s c =============================================================================== c | 944 | 1157 1670 631004 | 5000 944 969 | 0.000 % | c =============================================================================== c New solution: 1936636 c Elapsed CPU time: 139.83 s Remaining CPU time: 40.1703 s c =============================================================================== c | 944 | 1157 1671 632017 | 5000 944 969 | 0.000 % | c =============================================================================== c New solution: 1936506 c Elapsed CPU time: 140.275 s Remaining CPU time: 39.7253 s c =============================================================================== c | 944 | 1157 1672 633030 | 5000 944 969 | 0.000 % | c =============================================================================== c New solution: 1936503 c Elapsed CPU time: 140.983 s Remaining CPU time: 39.0174 s c =============================================================================== c | 953 | 1157 1673 634043 | 5000 953 969 | 0.000 % | c =============================================================================== c New solution: 1936336 c Elapsed CPU time: 141.424 s Remaining CPU time: 38.5755 s c =============================================================================== c | 953 | 1157 1674 635056 | 5000 953 969 | 0.000 % | c =============================================================================== c New solution: 1936320 c Elapsed CPU time: 142.02 s Remaining CPU time: 37.9796 s c =============================================================================== c | 960 | 1157 1675 636069 | 5000 960 969 | 0.000 % | c =============================================================================== c New solution: 1936145 c Elapsed CPU time: 142.493 s Remaining CPU time: 37.5067 s c =============================================================================== c | 961 | 1157 1676 637082 | 5000 961 969 | 0.000 % | c =============================================================================== c New solution: 1936078 c Elapsed CPU time: 142.943 s Remaining CPU time: 37.0567 s c =============================================================================== c | 961 | 1157 1677 638095 | 5000 961 969 | 0.000 % | c =============================================================================== c New solution: 1936015 c Elapsed CPU time: 143.411 s Remaining CPU time: 36.5888 s c =============================================================================== c | 962 | 1157 1678 639108 | 5000 962 969 | 0.000 % | c =============================================================================== c New solution: 1935986 c Elapsed CPU time: 143.875 s Remaining CPU time: 36.1249 s c =============================================================================== c | 962 | 1157 1679 640121 | 5000 962 969 | 0.000 % | c =============================================================================== c New solution: 1935934 c Elapsed CPU time: 144.323 s Remaining CPU time: 35.6769 s c =============================================================================== c | 962 | 1157 1680 641134 | 5000 962 969 | 0.000 % | c =============================================================================== c New solution: 1935837 c Elapsed CPU time: 144.836 s Remaining CPU time: 35.164 s c =============================================================================== c | 964 | 1157 1681 642147 | 5000 964 969 | 0.000 % | c =============================================================================== c New solution: 1935676 c Elapsed CPU time: 145.32 s Remaining CPU time: 34.6801 s c =============================================================================== c | 965 | 1157 1682 643160 | 5000 965 969 | 0.000 % | c =============================================================================== c New solution: 1935577 c Elapsed CPU time: 145.771 s Remaining CPU time: 34.2292 s c =============================================================================== c | 965 | 1157 1683 644173 | 5000 965 969 | 0.000 % | c =============================================================================== c New solution: 1935491 c Elapsed CPU time: 146.22 s Remaining CPU time: 33.7802 s c =============================================================================== c | 966 | 1157 1684 645186 | 5000 966 969 | 0.000 % | c =============================================================================== c New solution: 1935408 c Elapsed CPU time: 146.672 s Remaining CPU time: 33.3283 s c =============================================================================== c | 966 | 1157 1685 646199 | 5000 966 969 | 0.000 % | c =============================================================================== c New solution: 1935370 c Elapsed CPU time: 147.26 s Remaining CPU time: 32.7404 s c =============================================================================== c | 970 | 1157 1686 647212 | 5000 970 969 | 0.000 % | c =============================================================================== c New solution: 1935367 c Elapsed CPU time: 147.731 s Remaining CPU time: 32.2695 s c =============================================================================== c | 970 | 1157 1687 648225 | 5000 970 969 | 0.000 % | c =============================================================================== c New solution: 1935303 c Elapsed CPU time: 148.235 s Remaining CPU time: 31.7645 s c =============================================================================== c | 971 | 1157 1688 649238 | 5000 971 969 | 0.000 % | c =============================================================================== c New solution: 1935253 c Elapsed CPU time: 148.76 s Remaining CPU time: 31.2396 s c =============================================================================== c | 973 | 1157 1689 650251 | 5000 973 969 | 0.000 % | c =============================================================================== c New solution: 1935143 c Elapsed CPU time: 149.28 s Remaining CPU time: 30.7197 s c =============================================================================== c | 974 | 1157 1690 651264 | 5000 974 969 | 0.000 % | c =============================================================================== c New solution: 1935130 c Elapsed CPU time: 149.793 s Remaining CPU time: 30.2068 s c =============================================================================== c | 974 | 1157 1691 652277 | 5000 974 969 | 0.000 % | c =============================================================================== c New solution: 1935069 c Elapsed CPU time: 150.279 s Remaining CPU time: 29.7208 s c =============================================================================== c | 974 | 1157 1692 653290 | 5000 974 969 | 0.000 % | c =============================================================================== c New solution: 1934903 c Elapsed CPU time: 150.763 s Remaining CPU time: 29.2369 s c =============================================================================== c | 975 | 1157 1693 654303 | 5000 975 969 | 0.000 % | c =============================================================================== c New solution: 1934873 c Elapsed CPU time: 151.243 s Remaining CPU time: 28.757 s c =============================================================================== c | 975 | 1157 1694 655316 | 5000 975 969 | 0.000 % | c =============================================================================== c New solution: 1934799 c Elapsed CPU time: 151.734 s Remaining CPU time: 28.2661 s c =============================================================================== c | 975 | 1157 1695 656329 | 5000 975 969 | 0.000 % | c =============================================================================== c New solution: 1934771 c Elapsed CPU time: 152.236 s Remaining CPU time: 27.7641 s c =============================================================================== c | 975 | 1157 1696 657342 | 5000 975 969 | 0.000 % | c =============================================================================== c New solution: 1934637 c Elapsed CPU time: 152.708 s Remaining CPU time: 27.2922 s c =============================================================================== c | 975 | 1157 1697 658355 | 5000 975 969 | 0.000 % | c =============================================================================== c New solution: 1934610 c Elapsed CPU time: 153.193 s Remaining CPU time: 26.8073 s c =============================================================================== c | 975 | 1157 1698 659368 | 5000 975 969 | 0.000 % | c =============================================================================== c New solution: 1934607 c Elapsed CPU time: 153.704 s Remaining CPU time: 26.2964 s c =============================================================================== c | 978 | 1157 1699 660381 | 5000 978 969 | 0.000 % | c =============================================================================== c New solution: 1934587 c Elapsed CPU time: 154.248 s Remaining CPU time: 25.7525 s c =============================================================================== c | 980 | 1157 1700 661394 | 5000 980 969 | 0.000 % | c =============================================================================== c New solution: 1934578 c Elapsed CPU time: 154.763 s Remaining CPU time: 25.2365 s c =============================================================================== c | 981 | 1157 1701 662407 | 5000 981 969 | 0.000 % | c =============================================================================== c New solution: 1934577 c Elapsed CPU time: 155.248 s Remaining CPU time: 24.7516 s c =============================================================================== c | 981 | 1157 1702 663420 | 5000 981 969 | 0.000 % | c =============================================================================== c New solution: 1934520 c Elapsed CPU time: 155.74 s Remaining CPU time: 24.2597 s c =============================================================================== c | 981 | 1157 1703 664433 | 5000 981 969 | 0.000 % | c =============================================================================== c New solution: 1934395 c Elapsed CPU time: 156.213 s Remaining CPU time: 23.7867 s c =============================================================================== c | 981 | 1157 1704 665446 | 5000 981 969 | 0.000 % | c =============================================================================== c New solution: 1934381 c Elapsed CPU time: 156.818 s Remaining CPU time: 23.1818 s c =============================================================================== c | 984 | 1157 1705 666459 | 5000 984 969 | 0.000 % | c =============================================================================== c New solution: 1934353 c Elapsed CPU time: 157.297 s Remaining CPU time: 22.7029 s c =============================================================================== c | 984 | 1157 1706 667472 | 5000 984 969 | 0.000 % | c =============================================================================== c New solution: 1934334 c Elapsed CPU time: 157.765 s Remaining CPU time: 22.235 s c =============================================================================== c | 984 | 1157 1707 668485 | 5000 984 969 | 0.000 % | c =============================================================================== c New solution: 1934331 c Elapsed CPU time: 158.307 s Remaining CPU time: 21.6931 s c =============================================================================== c | 986 | 1157 1708 669498 | 5000 986 969 | 0.000 % | c =============================================================================== c New solution: 1934276 c Elapsed CPU time: 159.041 s Remaining CPU time: 20.9592 s c =============================================================================== c | 993 | 1157 1709 670511 | 5000 993 968 | 0.000 % | c =============================================================================== c New solution: 1934270 c Elapsed CPU time: 159.516 s Remaining CPU time: 20.4843 s c =============================================================================== c | 995 | 1157 1710 671524 | 5000 995 968 | 0.000 % | c =============================================================================== c New solution: 1934209 c Elapsed CPU time: 160.014 s Remaining CPU time: 19.9863 s c =============================================================================== c | 995 | 1157 1711 672537 | 5000 995 968 | 0.000 % | c =============================================================================== c New solution: 1934123 c Elapsed CPU time: 160.496 s Remaining CPU time: 19.5044 s c =============================================================================== c | 995 | 1157 1712 673550 | 5000 995 968 | 0.000 % | c =============================================================================== c New solution: 1934106 c Elapsed CPU time: 160.974 s Remaining CPU time: 19.0265 s c =============================================================================== c | 995 | 1157 1713 674563 | 5000 995 968 | 0.000 % | c =============================================================================== c New solution: 1934100 c Elapsed CPU time: 161.607 s Remaining CPU time: 18.3926 s c =============================================================================== c | 1004 | 1157 1714 675576 | 5000 1004 967 | 0.000 % | c =============================================================================== c New solution: 1934010 c Elapsed CPU time: 162.082 s Remaining CPU time: 17.9176 s c =============================================================================== c | 1004 | 1157 1715 676589 | 5000 1004 967 | 0.000 % | c =============================================================================== c New solution: 1933872 c Elapsed CPU time: 162.595 s Remaining CPU time: 17.4047 s c =============================================================================== c | 1006 | 1157 1716 677602 | 5000 1006 967 | 0.000 % | c =============================================================================== c New solution: 1933816 c Elapsed CPU time: 163.087 s Remaining CPU time: 16.9128 s c =============================================================================== c | 1006 | 1157 1717 678615 | 5000 1006 967 | 0.000 % | c =============================================================================== c New solution: 1933765 c Elapsed CPU time: 163.592 s Remaining CPU time: 16.4079 s c =============================================================================== c | 1007 | 1157 1718 679628 | 5000 1007 967 | 0.000 % | c =============================================================================== c New solution: 1933690 c Elapsed CPU time: 164.178 s Remaining CPU time: 15.822 s c =============================================================================== c | 1009 | 1157 1719 680641 | 5000 1009 967 | 0.000 % | c =============================================================================== c New solution: 1933645 c Elapsed CPU time: 164.722 s Remaining CPU time: 15.278 s c =============================================================================== c | 1010 | 1157 1720 681654 | 5000 1010 967 | 0.000 % | c =============================================================================== c New solution: 1933542 c Elapsed CPU time: 165.223 s Remaining CPU time: 14.7771 s c =============================================================================== c | 1011 | 1157 1721 682667 | 5000 1011 967 | 0.000 % | c =============================================================================== c New solution: 1933416 c Elapsed CPU time: 165.72 s Remaining CPU time: 14.2802 s c =============================================================================== c | 1011 | 1157 1722 683680 | 5000 1011 967 | 0.000 % | c =============================================================================== c New solution: 1933375 c Elapsed CPU time: 166.213 s Remaining CPU time: 13.7873 s c =============================================================================== c | 1011 | 1157 1723 684693 | 5000 1011 967 | 0.000 % | c =============================================================================== c New solution: 1933363 c Elapsed CPU time: 166.709 s Remaining CPU time: 13.2913 s c =============================================================================== c | 1011 | 1157 1724 685706 | 5000 1011 967 | 0.000 % | c =============================================================================== c New solution: 1933253 c Elapsed CPU time: 167.215 s Remaining CPU time: 12.7854 s c =============================================================================== c | 1011 | 1157 1725 686719 | 5000 1011 967 | 0.000 % | c =============================================================================== c New solution: 1933088 c Elapsed CPU time: 167.73 s Remaining CPU time: 12.2705 s c =============================================================================== c | 1012 | 1157 1726 687732 | 5000 1012 967 | 0.000 % | c =============================================================================== c New solution: 1933014 c Elapsed CPU time: 168.233 s Remaining CPU time: 11.7666 s c =============================================================================== c | 1012 | 1157 1727 688745 | 5000 1012 967 | 0.000 % | c =============================================================================== c New solution: 1933013 c Elapsed CPU time: 168.734 s Remaining CPU time: 11.2657 s c =============================================================================== c | 1012 | 1157 1728 689758 | 5000 1012 967 | 0.000 % | c =============================================================================== c New solution: 1933010 c Elapsed CPU time: 169.351 s Remaining CPU time: 10.6487 s c =============================================================================== c | 1015 | 1157 1729 690771 | 5000 1015 967 | 0.000 % | c =============================================================================== c New solution: 1932982 c Elapsed CPU time: 169.83 s Remaining CPU time: 10.1698 s c =============================================================================== c | 1015 | 1157 1730 691784 | 5000 1015 967 | 0.000 % | c =============================================================================== c New solution: 1932921 c Elapsed CPU time: 170.313 s Remaining CPU time: 9.68689 s c =============================================================================== c | 1015 | 1157 1731 692797 | 5000 1015 967 | 0.000 % | c =============================================================================== c New solution: 1932892 c Elapsed CPU time: 170.791 s Remaining CPU time: 9.20897 s c =============================================================================== c | 1015 | 1157 1732 693810 | 5000 1015 967 | 0.000 % | c =============================================================================== c New solution: 1932853 c Elapsed CPU time: 171.318 s Remaining CPU time: 8.68204 s c =============================================================================== c | 1015 | 1157 1733 694823 | 5000 1015 967 | 0.000 % | c =============================================================================== c New solution: 1932744 c Elapsed CPU time: 171.821 s Remaining CPU time: 8.17912 s c =============================================================================== c | 1015 | 1157 1734 695836 | 5000 1015 967 | 0.000 % | c =============================================================================== c New solution: 1932740 c Elapsed CPU time: 172.285 s Remaining CPU time: 7.71519 s c =============================================================================== c | 1016 | 1157 1735 696849 | 5000 1016 966 | 0.000 % | c =============================================================================== c New solution: 1932598 c Elapsed CPU time: 172.791 s Remaining CPU time: 7.20927 s c =============================================================================== c | 1017 | 1157 1736 697862 | 5000 1017 966 | 0.000 % | c =============================================================================== c New solution: 1932569 c Elapsed CPU time: 173.459 s Remaining CPU time: 6.54137 s c =============================================================================== c | 1022 | 1157 1737 698875 | 5000 1022 966 | 0.000 % | c =============================================================================== c New solution: 1932515 c Elapsed CPU time: 173.993 s Remaining CPU time: 6.00745 s c =============================================================================== c | 1023 | 1157 1738 699888 | 5000 1023 966 | 0.000 % | c =============================================================================== c New solution: 1932514 c Elapsed CPU time: 174.496 s Remaining CPU time: 5.50353 s c =============================================================================== c | 1025 | 1157 1739 700901 | 5000 1025 966 | 0.000 % | c =============================================================================== c New solution: 1932507 c Elapsed CPU time: 175.18 s Remaining CPU time: 4.81963 s c =============================================================================== c | 1029 | 1157 1740 701914 | 5000 1029 966 | 0.000 % | c =============================================================================== c New solution: 1932453 c Elapsed CPU time: 175.723 s Remaining CPU time: 4.27671 s c =============================================================================== c | 1030 | 1157 1741 702927 | 5000 1030 966 | 0.000 % | c =============================================================================== c New solution: 1932427 c Elapsed CPU time: 176.233 s Remaining CPU time: 3.76679 s c =============================================================================== c | 1030 | 1157 1742 703940 | 5000 1030 966 | 0.000 % | c =============================================================================== c New solution: 1932308 c Elapsed CPU time: 176.783 s Remaining CPU time: 3.21688 s c =============================================================================== c | 1032 | 1157 1743 704953 | 5000 1032 966 | 0.000 % | c =============================================================================== c New solution: 1932279 c Elapsed CPU time: 177.333 s Remaining CPU time: 2.66696 s c =============================================================================== c | 1033 | 1157 1744 705966 | 5000 1033 966 | 0.000 % | c =============================================================================== c New solution: 1932211 c Elapsed CPU time: 178.172 s Remaining CPU time: 1.82809 s c =============================================================================== c | 1042 | 1157 1745 706979 | 5000 1042 966 | 0.000 % | c =============================================================================== c New solution: 1932149 c Elapsed CPU time: 178.677 s Remaining CPU time: 1.32316 s c =============================================================================== c | 1043 | 1157 1746 707992 | 5000 1043 966 | 0.000 % | c =============================================================================== c New solution: 1932100 c Elapsed CPU time: 179.176 s Remaining CPU time: 0.824239 s c =============================================================================== c | 1044 | 1157 1747 709005 | 5000 1044 965 | 0.000 % | c =============================================================================== c New solution: 1931963 c Elapsed CPU time: 179.649 s Remaining CPU time: 0.351311 s c =============================================================================== c | 1044 | 1157 1748 710018 | 5000 1044 965 | 0.000 % | c =============================================================================== c New solution: 1931909 c Elapsed CPU time: 180.121 s Remaining CPU time: -0.120617 s c =============================================================================== c | 1044 | 1157 1749 711031 | 5000 1044 965 | 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 | 177 2802 3562 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 183 2808 3572 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 190 2814 3582 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 199 2822 3598 | 5000 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 2831 3609 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 220 2841 3623 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 231 2853 3640 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 243 2866 3664 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 273 2894 3716 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 280 2900 3726 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 288 2907 3737 | 5000 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 2915 3751 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 307 2924 3770 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 322 2938 3802 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 330 2945 3811 | 5000 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 2954 3826 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 350 2963 3841 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 358 2970 3852 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 367 2978 3862 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 376 2986 3876 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 386 2995 3887 | 5000 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 3007 3905 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 409 3016 3916 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 423 3029 3937 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 435 3040 3952 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 446 3050 3968 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 463 3066 4000 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 473 3075 4019 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 490 3088 4078 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 499 3096 4088 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 519 3115 4131 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 540 3135 4177 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 553 3149 4198 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 568 3163 4218 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 582 3176 4233 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 600 3193 4258 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 619 3208 4313 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 624 3213 4322 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 641 3229 4350 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 658 3246 4373 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 678 3265 4400 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 700 3286 4437 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 722 3307 4461 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 741 3325 4491 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 758 3341 4515 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 781 3362 4571 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 805 3385 4600 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 832 3411 4634 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 860 3438 4685 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 869 3449 4699 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 876 3455 4717 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 895 3473 4745 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 903 3480 4756 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 912 3488 4784 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 921 3496 4794 | 5000 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 3506 4824 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 945 3518 4839 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 959 3531 4870 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 973 3544 4897 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 989 3559 4920 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1006 3573 4971 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1021 3587 4991 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1038 3603 5017 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1056 3620 5054 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1066 3629 5065 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1078 3640 5084 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1100 3661 5114 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1122 3682 5166 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1138 3697 5193 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1164 3721 5222 | 5000 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 3738 5263 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1203 3758 5286 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1220 3774 5308 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1238 3791 5331 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1254 3806 5360 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1278 3829 5401 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1306 3856 5482 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1327 3876 5505 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1350 3898 5569 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1373 3920 5611 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1389 3935 5638 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1415 3960 5683 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1464 4008 5812 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1519 4061 5943 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1533 4074 5966 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1546 4086 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 | 1590 4129 6077 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1609 4147 6103 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1629 4166 6134 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1643 4179 6151 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1668 4203 6181 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1718 4252 6305 | 5000 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 4276 6355 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1775 4307 6394 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1803 4334 6423 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1813 4343 6436 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1824 4353 6450 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1855 4383 6509 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1880 4407 6559 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1902 4428 6622 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1923 4448 6669 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1967 4491 6770 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2001 4524 6819 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2043 4565 6889 | 5000 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 4597 6937 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2085 4605 6947 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2126 4646 6998 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2137 4656 7010 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2151 4669 7025 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2164 4683 7044 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2178 4696 7061 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2202 4719 7113 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2218 4734 7134 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2261 4776 7219 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2293 4807 7298 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2309 4822 7319 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2349 4861 7380 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2376 4887 7444 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2425 4936 7503 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2466 4976 7569 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2480 4989 7590 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2498 5003 7690 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2516 5019 7725 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2534 5036 7745 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2578 5079 7810 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2595 5095 7844 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2613 5112 7881 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2661 5159 7955 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2688 5185 7984 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2709 5205 8025 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2756 5251 8093 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2779 5273 8117 | 5000 0 nan | 0.000 % | c ===============================================================================