c wbo 1.4 beta - 20100610 c | Number of variables: 169 | c | Number of clauses: 1200 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1285 | c | Number Clauses: 1173 | 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 | 1285 1173 4516 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2202845 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 1285 1174 5659 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2202781 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 1285 1175 6802 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2202276 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 19 | 1285 1176 7945 | 5000 19 1124 | 0.000 % | c =============================================================================== c New solution: 2200772 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 19 | 1285 1177 9088 | 5000 19 1124 | 0.000 % | c =============================================================================== c New solution: 2200708 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 19 | 1285 1178 10231 | 5000 19 1124 | 0.000 % | c =============================================================================== c New solution: 2200306 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 20 | 1285 1179 11374 | 5000 20 1124 | 0.000 % | c =============================================================================== c New solution: 2199818 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 31 | 1285 1180 12517 | 5000 31 1125 | 0.000 % | c =============================================================================== c New solution: 2199375 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 42 | 1285 1181 13660 | 5000 42 1125 | 0.000 % | c =============================================================================== c New solution: 2199040 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 73 | 1285 1182 14803 | 5000 73 1125 | 0.000 % | c =============================================================================== c New solution: 2198757 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 166 | 1285 1183 15946 | 5000 166 1125 | 0.000 % | c | 266 | 1285 1183 15946 | 5500 266 1124 | 0.000 % | c =============================================================================== c New solution: 2198564 c Elapsed CPU time: 0.278957 s Remaining CPU time: 179.721 s c =============================================================================== c | 358 | 1285 1184 17089 | 5000 358 1124 | 0.000 % | c | 458 | 1285 1184 17089 | 5500 458 1124 | 0.000 % | c =============================================================================== c New solution: 2198542 c Elapsed CPU time: 0.436933 s Remaining CPU time: 179.563 s c =============================================================================== c | 556 | 1285 1185 18232 | 5000 556 1124 | 0.000 % | c | 657 | 1285 1185 18232 | 5500 657 1124 | 0.000 % | c =============================================================================== c New solution: 2198500 c Elapsed CPU time: 0.641902 s Remaining CPU time: 179.358 s c =============================================================================== c | 781 | 1285 1186 19375 | 5000 781 1124 | 0.000 % | c | 881 | 1285 1186 19375 | 5500 881 1124 | 0.000 % | c =============================================================================== c New solution: 2197794 c Elapsed CPU time: 0.795879 s Remaining CPU time: 179.204 s c =============================================================================== c | 945 | 1285 1187 20518 | 5000 945 1124 | 0.000 % | c =============================================================================== c New solution: 2197727 c Elapsed CPU time: 0.882865 s Remaining CPU time: 179.117 s c =============================================================================== c | 1024 | 1285 1188 21661 | 5000 1024 1124 | 0.000 % | c =============================================================================== c New solution: 2197349 c Elapsed CPU time: 0.935857 s Remaining CPU time: 179.064 s c =============================================================================== c | 1075 | 1285 1189 22804 | 5000 1075 1124 | 0.000 % | c =============================================================================== c New solution: 2197320 c Elapsed CPU time: 0.993848 s Remaining CPU time: 179.006 s c =============================================================================== c | 1130 | 1285 1190 23947 | 5000 1130 1124 | 0.000 % | c | 1230 | 1285 1190 23947 | 5500 1230 1124 | 0.000 % | c =============================================================================== c New solution: 2197229 c Elapsed CPU time: 1.07883 s Remaining CPU time: 178.921 s c =============================================================================== c | 1240 | 1285 1191 25090 | 5000 1240 1124 | 0.000 % | c =============================================================================== c New solution: 2195946 c Elapsed CPU time: 1.09283 s Remaining CPU time: 178.907 s c =============================================================================== c | 1242 | 1285 1192 26233 | 5000 1242 1124 | 0.000 % | c =============================================================================== c New solution: 2195892 c Elapsed CPU time: 1.11083 s Remaining CPU time: 178.889 s c =============================================================================== c | 1252 | 1285 1193 27376 | 5000 1252 1124 | 0.000 % | c | 1352 | 1285 1193 27376 | 5500 1352 1124 | 0.000 % | c =============================================================================== c New solution: 2195584 c Elapsed CPU time: 1.23381 s Remaining CPU time: 178.766 s c =============================================================================== c | 1418 | 1285 1194 28519 | 5000 1418 1124 | 0.000 % | c | 1520 | 1285 1194 28519 | 5500 1520 1124 | 0.000 % | c =============================================================================== c New solution: 2195480 c Elapsed CPU time: 1.35579 s Remaining CPU time: 178.644 s c =============================================================================== c | 1551 | 1285 1195 29662 | 5000 1551 1124 | 0.000 % | c =============================================================================== c New solution: 2195371 c Elapsed CPU time: 1.37179 s Remaining CPU time: 178.628 s c =============================================================================== c | 1555 | 1285 1196 30805 | 5000 1555 1124 | 0.000 % | c | 1655 | 1285 1196 30805 | 5500 1655 1124 | 0.000 % | c =============================================================================== c New solution: 2195263 c Elapsed CPU time: 1.54676 s Remaining CPU time: 178.453 s c =============================================================================== c | 1753 | 1285 1197 31948 | 5000 1753 1124 | 0.000 % | c | 1855 | 1285 1197 31948 | 5500 1855 1124 | 0.000 % | c | 2006 | 1285 1197 31948 | 6050 2006 1123 | 0.000 % | c =============================================================================== c New solution: 2195151 c Elapsed CPU time: 1.9737 s Remaining CPU time: 178.026 s c =============================================================================== c | 2210 | 1285 1198 33091 | 5000 2210 1123 | 0.000 % | c =============================================================================== c New solution: 2195101 c Elapsed CPU time: 1.9927 s Remaining CPU time: 178.007 s c =============================================================================== c | 2212 | 1285 1199 34234 | 5000 2212 1123 | 0.000 % | c =============================================================================== c New solution: 2195029 c Elapsed CPU time: 2.01269 s Remaining CPU time: 177.987 s c =============================================================================== c | 2219 | 1285 1200 35377 | 5000 2219 1123 | 0.000 % | c =============================================================================== c New solution: 2194225 c Elapsed CPU time: 2.04569 s Remaining CPU time: 177.954 s c =============================================================================== c | 2242 | 1285 1201 36520 | 5000 2242 1123 | 0.000 % | c =============================================================================== c New solution: 2194179 c Elapsed CPU time: 2.12668 s Remaining CPU time: 177.873 s c =============================================================================== c | 2319 | 1285 1202 37663 | 5000 2319 1123 | 0.000 % | c | 2420 | 1285 1202 37663 | 5500 2420 1123 | 0.000 % | c =============================================================================== c New solution: 2194072 c Elapsed CPU time: 2.31265 s Remaining CPU time: 177.687 s c =============================================================================== c | 2505 | 1285 1203 38806 | 5000 2505 1123 | 0.000 % | c =============================================================================== c New solution: 2194047 c Elapsed CPU time: 2.39264 s Remaining CPU time: 177.607 s c =============================================================================== c | 2578 | 1285 1204 39949 | 5000 2578 1123 | 0.000 % | c | 2679 | 1285 1204 39949 | 5500 2679 1123 | 0.000 % | c =============================================================================== c New solution: 2194018 c Elapsed CPU time: 2.5986 s Remaining CPU time: 177.401 s c =============================================================================== c | 2726 | 1285 1205 41092 | 5000 2726 1123 | 0.000 % | c | 2827 | 1285 1205 41092 | 5500 2827 1123 | 0.000 % | c | 2977 | 1285 1205 41092 | 6050 2977 1123 | 0.000 % | c =============================================================================== c New solution: 2193868 c Elapsed CPU time: 3.33749 s Remaining CPU time: 176.663 s c =============================================================================== c | 3167 | 1285 1206 42235 | 5000 3167 1123 | 0.000 % | c =============================================================================== c New solution: 2193807 c Elapsed CPU time: 3.47447 s Remaining CPU time: 176.526 s c =============================================================================== c | 3227 | 1285 1207 43378 | 5000 3227 1123 | 0.000 % | c | 3328 | 1285 1207 43378 | 5500 3328 1123 | 0.000 % | c | 3478 | 1285 1207 43378 | 6050 3478 1123 | 0.000 % | c =============================================================================== c New solution: 2193788 c Elapsed CPU time: 3.9644 s Remaining CPU time: 176.036 s c =============================================================================== c | 3663 | 1285 1208 44521 | 5000 3663 1123 | 0.000 % | c =============================================================================== c New solution: 2193781 c Elapsed CPU time: 4.04139 s Remaining CPU time: 175.959 s c =============================================================================== c | 3708 | 1285 1209 45664 | 5000 3708 1123 | 0.000 % | c =============================================================================== c New solution: 2193553 c Elapsed CPU time: 4.07738 s Remaining CPU time: 175.923 s c =============================================================================== c | 3715 | 1285 1210 46807 | 5000 3715 1123 | 0.000 % | c =============================================================================== c New solution: 2193130 c Elapsed CPU time: 4.11737 s Remaining CPU time: 175.883 s c =============================================================================== c | 3726 | 1285 1211 47950 | 5000 3726 1123 | 0.000 % | c =============================================================================== c New solution: 2193072 c Elapsed CPU time: 4.17936 s Remaining CPU time: 175.821 s c =============================================================================== c | 3761 | 1285 1212 49093 | 5000 3761 1123 | 0.000 % | c =============================================================================== c New solution: 2192579 c Elapsed CPU time: 4.21436 s Remaining CPU time: 175.786 s c =============================================================================== c | 3774 | 1285 1213 50236 | 5000 3774 1123 | 0.000 % | c =============================================================================== c New solution: 2192521 c Elapsed CPU time: 4.27635 s Remaining CPU time: 175.724 s c =============================================================================== c | 3807 | 1285 1214 51379 | 5000 3807 1123 | 0.000 % | c =============================================================================== c New solution: 2191991 c Elapsed CPU time: 4.33334 s Remaining CPU time: 175.667 s c =============================================================================== c | 3827 | 1285 1215 52522 | 5000 3827 1123 | 0.000 % | c =============================================================================== c New solution: 2191902 c Elapsed CPU time: 4.40433 s Remaining CPU time: 175.596 s c =============================================================================== c | 3863 | 1285 1216 53665 | 5000 3863 1123 | 0.000 % | c | 3963 | 1285 1216 53665 | 5500 3963 1123 | 0.000 % | c =============================================================================== c New solution: 2191689 c Elapsed CPU time: 4.75328 s Remaining CPU time: 175.247 s c =============================================================================== c | 4106 | 1285 1217 54808 | 5000 4106 1123 | 0.000 % | c =============================================================================== c New solution: 2191603 c Elapsed CPU time: 4.87726 s Remaining CPU time: 175.123 s c =============================================================================== c | 4196 | 1285 1218 55951 | 5000 4196 1123 | 0.000 % | c =============================================================================== c New solution: 2191596 c Elapsed CPU time: 4.93025 s Remaining CPU time: 175.07 s c =============================================================================== c | 4213 | 1285 1219 57094 | 5000 4213 1123 | 0.000 % | c =============================================================================== c New solution: 2191578 c Elapsed CPU time: 5.06323 s Remaining CPU time: 174.937 s c =============================================================================== c | 4296 | 1285 1220 58237 | 5000 4296 1123 | 0.000 % | c | 4397 | 1285 1220 58237 | 5500 4397 1123 | 0.000 % | c =============================================================================== c New solution: 2191432 c Elapsed CPU time: 5.45317 s Remaining CPU time: 174.547 s c =============================================================================== c | 4520 | 1285 1221 59380 | 5000 4520 1123 | 0.000 % | c | 4620 | 1285 1221 59380 | 5500 4620 1123 | 0.000 % | c =============================================================================== c New solution: 2191397 c Elapsed CPU time: 5.69113 s Remaining CPU time: 174.309 s c =============================================================================== c | 4653 | 1285 1222 60523 | 5000 4653 1123 | 0.000 % | c | 4753 | 1285 1222 60523 | 5500 4753 1123 | 0.000 % | c =============================================================================== c New solution: 2190759 c Elapsed CPU time: 6.04808 s Remaining CPU time: 173.952 s c =============================================================================== c | 4825 | 1285 1223 61666 | 5000 4825 1123 | 0.000 % | c | 4927 | 1285 1223 61666 | 5500 4927 1123 | 0.000 % | c =============================================================================== c New solution: 2190588 c Elapsed CPU time: 6.30504 s Remaining CPU time: 173.695 s c =============================================================================== c | 4939 | 1285 1224 62809 | 5000 4939 1123 | 0.000 % | c =============================================================================== c New solution: 2190553 c Elapsed CPU time: 6.40603 s Remaining CPU time: 173.594 s c =============================================================================== c | 5009 | 1285 1225 63952 | 5000 5009 1123 | 0.000 % | c =============================================================================== c New solution: 2190524 c Elapsed CPU time: 6.49401 s Remaining CPU time: 173.506 s c =============================================================================== c | 5019 | 1285 1226 65095 | 5000 2515 1122 | 0.000 % | c =============================================================================== c New solution: 2190414 c Elapsed CPU time: 6.599 s Remaining CPU time: 173.401 s c =============================================================================== c | 5105 | 1285 1227 66238 | 5000 2601 1122 | 0.000 % | c =============================================================================== c New solution: 2189313 c Elapsed CPU time: 6.62999 s Remaining CPU time: 173.37 s c =============================================================================== c | 5106 | 1285 1228 67381 | 5000 2602 1122 | 0.000 % | c =============================================================================== c New solution: 2188570 c Elapsed CPU time: 6.65999 s Remaining CPU time: 173.34 s c =============================================================================== c | 5107 | 1285 1229 68524 | 5000 2603 1122 | 0.000 % | c =============================================================================== c New solution: 2188553 c Elapsed CPU time: 6.69798 s Remaining CPU time: 173.302 s c =============================================================================== c | 5114 | 1285 1230 69667 | 5000 2610 1122 | 0.000 % | c =============================================================================== c New solution: 2187004 c Elapsed CPU time: 6.72598 s Remaining CPU time: 173.274 s c =============================================================================== c | 5114 | 1285 1231 70810 | 5000 2610 1122 | 0.000 % | c | 5215 | 1285 1231 70810 | 5500 2711 1122 | 0.000 % | c | 5366 | 1285 1231 70810 | 6050 2862 1121 | 0.000 % | c =============================================================================== c New solution: 2187001 c Elapsed CPU time: 7.19291 s Remaining CPU time: 172.807 s c =============================================================================== c | 5442 | 1285 1232 71953 | 5000 2938 1121 | 0.000 % | c =============================================================================== c New solution: 2186904 c Elapsed CPU time: 7.2519 s Remaining CPU time: 172.748 s c =============================================================================== c | 5463 | 1285 1233 73096 | 5000 2959 1121 | 0.000 % | c =============================================================================== c New solution: 2186678 c Elapsed CPU time: 7.29089 s Remaining CPU time: 172.709 s c =============================================================================== c | 5466 | 1285 1234 74239 | 5000 2962 1121 | 0.000 % | c | 5566 | 1285 1234 74239 | 5500 3062 1121 | 0.000 % | c | 5717 | 1285 1234 74239 | 6050 3213 1121 | 0.000 % | c | 5943 | 1285 1234 74239 | 6655 3439 1121 | 0.000 % | c =============================================================================== c New solution: 2186514 c Elapsed CPU time: 8.28274 s Remaining CPU time: 171.717 s c =============================================================================== c | 6276 | 1285 1235 75382 | 5000 3772 1121 | 0.000 % | c =============================================================================== c New solution: 2186380 c Elapsed CPU time: 8.31973 s Remaining CPU time: 171.68 s c =============================================================================== c | 6277 | 1285 1236 76525 | 5000 3773 1121 | 0.000 % | c =============================================================================== c New solution: 2185746 c Elapsed CPU time: 8.35673 s Remaining CPU time: 171.643 s c =============================================================================== c | 6278 | 1285 1237 77668 | 5000 3774 1121 | 0.000 % | c =============================================================================== c New solution: 2185600 c Elapsed CPU time: 8.39172 s Remaining CPU time: 171.608 s c =============================================================================== c | 6283 | 1285 1238 78811 | 5000 3779 1121 | 0.000 % | c =============================================================================== c New solution: 2185473 c Elapsed CPU time: 8.42772 s Remaining CPU time: 171.572 s c =============================================================================== c | 6284 | 1285 1239 79954 | 5000 3780 1121 | 0.000 % | c =============================================================================== c New solution: 2184398 c Elapsed CPU time: 8.46471 s Remaining CPU time: 171.535 s c =============================================================================== c | 6284 | 1285 1240 81097 | 5000 3780 1121 | 0.000 % | c =============================================================================== c New solution: 2183954 c Elapsed CPU time: 8.49871 s Remaining CPU time: 171.501 s c =============================================================================== c | 6284 | 1285 1241 82240 | 5000 3780 1121 | 0.000 % | c =============================================================================== c New solution: 2183912 c Elapsed CPU time: 8.5447 s Remaining CPU time: 171.455 s c =============================================================================== c | 6294 | 1285 1242 83383 | 5000 3790 1121 | 0.000 % | c | 6394 | 1285 1242 83383 | 5500 3890 1120 | 0.000 % | c | 6545 | 1285 1242 83383 | 6050 4041 1120 | 0.000 % | c =============================================================================== c New solution: 2183866 c Elapsed CPU time: 8.95664 s Remaining CPU time: 171.043 s c =============================================================================== c | 6557 | 1285 1243 84526 | 5000 4053 1120 | 0.000 % | c | 6658 | 1285 1243 84526 | 5500 4154 1120 | 0.000 % | c =============================================================================== c New solution: 2183740 c Elapsed CPU time: 9.16361 s Remaining CPU time: 170.836 s c =============================================================================== c | 6660 | 1285 1244 85669 | 5000 4156 1120 | 0.000 % | c | 6761 | 1285 1244 85669 | 5500 4257 1120 | 0.000 % | c =============================================================================== c New solution: 2183668 c Elapsed CPU time: 9.42457 s Remaining CPU time: 170.575 s c =============================================================================== c | 6785 | 1285 1245 86812 | 5000 4281 1120 | 0.000 % | c =============================================================================== c New solution: 2183664 c Elapsed CPU time: 9.54255 s Remaining CPU time: 170.457 s c =============================================================================== c | 6860 | 1285 1246 87955 | 5000 4356 1120 | 0.000 % | c | 6961 | 1285 1246 87955 | 5500 4457 1120 | 0.000 % | c =============================================================================== c New solution: 2183640 c Elapsed CPU time: 9.93349 s Remaining CPU time: 170.067 s c =============================================================================== c | 7098 | 1285 1247 89098 | 5000 4594 1120 | 0.000 % | c | 7199 | 1285 1247 89098 | 5500 4695 1120 | 0.000 % | c | 7349 | 1285 1247 89098 | 6050 4845 1120 | 0.000 % | c =============================================================================== c New solution: 2183324 c Elapsed CPU time: 10.5154 s Remaining CPU time: 169.485 s c =============================================================================== c | 7371 | 1285 1248 90241 | 5000 4867 1120 | 0.000 % | c | 7471 | 1285 1248 90241 | 5500 4967 1120 | 0.000 % | c | 7621 | 1285 1248 90241 | 6050 5117 1120 | 0.000 % | c | 7847 | 1285 1248 90241 | 6655 5343 1120 | 0.000 % | c =============================================================================== c New solution: 2183017 c Elapsed CPU time: 11.8662 s Remaining CPU time: 168.134 s c =============================================================================== c | 8102 | 1285 1249 91384 | 5000 5598 1119 | 0.000 % | c | 8203 | 1285 1249 91384 | 5500 2900 1117 | 0.000 % | c =============================================================================== c New solution: 2182975 c Elapsed CPU time: 12.2091 s Remaining CPU time: 167.791 s c =============================================================================== c | 8251 | 1285 1250 92527 | 5000 2948 1117 | 0.000 % | c =============================================================================== c New solution: 2182791 c Elapsed CPU time: 12.2991 s Remaining CPU time: 167.701 s c =============================================================================== c | 8276 | 1285 1251 93670 | 5000 2973 1117 | 0.000 % | c | 8377 | 1285 1251 93670 | 5500 3074 1117 | 0.000 % | c | 8527 | 1285 1251 93670 | 6050 3224 1117 | 0.000 % | c =============================================================================== c New solution: 2182781 c Elapsed CPU time: 13.175 s Remaining CPU time: 166.825 s c =============================================================================== c | 8705 | 1285 1252 94813 | 5000 3402 1117 | 0.000 % | c | 8806 | 1285 1252 94813 | 5500 3503 1117 | 0.000 % | c =============================================================================== c New solution: 2182686 c Elapsed CPU time: 13.5799 s Remaining CPU time: 166.42 s c =============================================================================== c | 8887 | 1285 1253 95956 | 5000 3584 1117 | 0.000 % | c =============================================================================== c New solution: 2182441 c Elapsed CPU time: 13.6449 s Remaining CPU time: 166.355 s c =============================================================================== c | 8894 | 1285 1254 97099 | 5000 3591 1117 | 0.000 % | c | 8994 | 1285 1254 97099 | 5500 3691 1117 | 0.000 % | c | 9145 | 1285 1254 97099 | 6050 3842 1117 | 0.000 % | c | 9372 | 1285 1254 97099 | 6655 4069 1117 | 0.000 % | c =============================================================================== c New solution: 2182353 c Elapsed CPU time: 15.2597 s Remaining CPU time: 164.74 s c =============================================================================== c | 9625 | 1285 1255 98242 | 5000 4322 1117 | 0.000 % | c | 9725 | 1285 1255 98242 | 5500 4422 1117 | 0.000 % | c =============================================================================== c New solution: 2182305 c Elapsed CPU time: 15.5996 s Remaining CPU time: 164.4 s c =============================================================================== c | 9757 | 1285 1256 99385 | 5000 4454 1117 | 0.000 % | c =============================================================================== c New solution: 2182292 c Elapsed CPU time: 15.7176 s Remaining CPU time: 164.282 s c =============================================================================== c | 9798 | 1285 1257 100528 | 5000 4495 1117 | 0.000 % | c | 9898 | 1285 1257 100528 | 5500 4595 1117 | 0.000 % | c | 10048 | 1285 1257 100528 | 6050 4745 1117 | 0.000 % | c =============================================================================== c New solution: 2182265 c Elapsed CPU time: 16.6765 s Remaining CPU time: 163.324 s c =============================================================================== c | 10149 | 1285 1258 101671 | 5000 4846 1117 | 0.000 % | c | 10249 | 1285 1258 101671 | 5500 4946 1117 | 0.000 % | c | 10399 | 1285 1258 101671 | 6050 5096 1117 | 0.000 % | c | 10624 | 1285 1258 101671 | 6655 5321 1116 | 0.000 % | c =============================================================================== c New solution: 2182147 c Elapsed CPU time: 17.9673 s Remaining CPU time: 162.033 s c =============================================================================== c | 10682 | 1285 1259 102814 | 5000 5379 1116 | 0.000 % | c | 10783 | 1285 1259 102814 | 5500 2791 1115 | 0.000 % | c =============================================================================== c New solution: 2182128 c Elapsed CPU time: 18.5072 s Remaining CPU time: 161.493 s c =============================================================================== c | 10915 | 1285 1260 103957 | 5000 2923 1115 | 0.000 % | c =============================================================================== c New solution: 2182067 c Elapsed CPU time: 18.6702 s Remaining CPU time: 161.33 s c =============================================================================== c | 10982 | 1285 1261 105100 | 5000 2990 1115 | 0.000 % | c | 11083 | 1285 1261 105100 | 5500 3091 1115 | 0.000 % | c =============================================================================== c New solution: 2181917 c Elapsed CPU time: 19.0161 s Remaining CPU time: 160.984 s c =============================================================================== c | 11099 | 1285 1262 106243 | 5000 3107 1115 | 0.000 % | c | 11199 | 1285 1262 106243 | 5500 3207 1115 | 0.000 % | c | 11350 | 1285 1262 106243 | 6050 3358 1115 | 0.000 % | c =============================================================================== c New solution: 2181821 c Elapsed CPU time: 19.677 s Remaining CPU time: 160.323 s c =============================================================================== c | 11353 | 1285 1263 107386 | 5000 3361 1115 | 0.000 % | c | 11454 | 1285 1263 107386 | 5500 3462 1115 | 0.000 % | c | 11605 | 1285 1263 107386 | 6050 3613 1115 | 0.000 % | c | 11830 | 1285 1263 107386 | 6655 3838 1115 | 0.000 % | c | 12168 | 1285 1263 107386 | 7320 4176 1115 | 0.000 % | c | 12675 | 1285 1263 107386 | 8052 4683 1114 | 0.000 % | c =============================================================================== c New solution: 2181783 c Elapsed CPU time: 23.3504 s Remaining CPU time: 156.65 s c =============================================================================== c | 13351 | 1285 1264 108529 | 5000 5359 1114 | 0.000 % | c | 13452 | 1285 1264 108529 | 5500 2781 1113 | 0.000 % | c | 13603 | 1285 1264 108529 | 6050 2932 1113 | 0.000 % | c | 13829 | 1285 1264 108529 | 6655 3158 1113 | 0.000 % | c =============================================================================== c New solution: 2181644 c Elapsed CPU time: 24.6762 s Remaining CPU time: 155.324 s c =============================================================================== c | 14072 | 1285 1265 109672 | 5000 3401 1113 | 0.000 % | c | 14173 | 1285 1265 109672 | 5500 3502 1113 | 0.000 % | c =============================================================================== c New solution: 2181589 c Elapsed CPU time: 24.9262 s Remaining CPU time: 155.074 s c =============================================================================== c | 14178 | 1285 1266 110815 | 5000 3507 1113 | 0.000 % | c =============================================================================== c New solution: 2181571 c Elapsed CPU time: 24.9862 s Remaining CPU time: 155.014 s c =============================================================================== c | 14180 | 1285 1267 111958 | 5000 3509 1113 | 0.000 % | c =============================================================================== c New solution: 2181378 c Elapsed CPU time: 25.0432 s Remaining CPU time: 154.957 s c =============================================================================== c | 14180 | 1285 1268 113101 | 5000 3509 1113 | 0.000 % | c =============================================================================== c New solution: 2181129 c Elapsed CPU time: 25.1782 s Remaining CPU time: 154.822 s c =============================================================================== c | 14218 | 1285 1269 114244 | 5000 3547 1113 | 0.000 % | c | 14320 | 1285 1269 114244 | 5500 3649 1113 | 0.000 % | c =============================================================================== c New solution: 2180972 c Elapsed CPU time: 25.4931 s Remaining CPU time: 154.507 s c =============================================================================== c | 14335 | 1285 1270 115387 | 5000 3664 1113 | 0.000 % | c =============================================================================== c New solution: 2180721 c Elapsed CPU time: 25.7161 s Remaining CPU time: 154.284 s c =============================================================================== c | 14409 | 1285 1271 116530 | 5000 3738 1113 | 0.000 % | c | 14510 | 1285 1271 116530 | 5500 3839 1112 | 0.000 % | c =============================================================================== c New solution: 2180530 c Elapsed CPU time: 26.019 s Remaining CPU time: 153.981 s c =============================================================================== c | 14513 | 1285 1272 117673 | 5000 3842 1112 | 0.000 % | c =============================================================================== c New solution: 2180322 c Elapsed CPU time: 26.131 s Remaining CPU time: 153.869 s c =============================================================================== c | 14544 | 1285 1273 118816 | 5000 3873 1112 | 0.000 % | c | 14644 | 1285 1273 118816 | 5500 3973 1112 | 0.000 % | c =============================================================================== c New solution: 2179982 c Elapsed CPU time: 26.556 s Remaining CPU time: 153.444 s c =============================================================================== c | 14729 | 1285 1274 119959 | 5000 4058 1112 | 0.000 % | c | 14829 | 1285 1274 119959 | 5500 4158 1112 | 0.000 % | c =============================================================================== c New solution: 2179934 c Elapsed CPU time: 26.9949 s Remaining CPU time: 153.005 s c =============================================================================== c | 14926 | 1285 1275 121102 | 5000 4255 1112 | 0.000 % | c | 15026 | 1285 1275 121102 | 5500 4355 1112 | 0.000 % | c | 15176 | 1285 1275 121102 | 6050 4505 1112 | 0.000 % | c =============================================================================== c New solution: 2179553 c Elapsed CPU time: 27.7198 s Remaining CPU time: 152.28 s c =============================================================================== c | 15270 | 1285 1276 122245 | 5000 4599 1112 | 0.000 % | c | 15370 | 1285 1276 122245 | 5500 4699 1112 | 0.000 % | c =============================================================================== c New solution: 2179470 c Elapsed CPU time: 28.1937 s Remaining CPU time: 151.806 s c =============================================================================== c | 15506 | 1285 1277 123388 | 5000 4835 1112 | 0.000 % | c | 15606 | 1285 1277 123388 | 5500 4935 1112 | 0.000 % | c | 15756 | 1285 1277 123388 | 6050 5085 1112 | 0.000 % | c =============================================================================== c New solution: 2179443 c Elapsed CPU time: 28.7886 s Remaining CPU time: 151.211 s c =============================================================================== c | 15756 | 1285 1278 124531 | 5000 5085 1112 | 0.000 % | c =============================================================================== c New solution: 2179032 c Elapsed CPU time: 28.8736 s Remaining CPU time: 151.126 s c =============================================================================== c | 15756 | 1285 1279 125674 | 5000 2543 1111 | 0.000 % | c =============================================================================== c New solution: 2178904 c Elapsed CPU time: 28.9446 s Remaining CPU time: 151.055 s c =============================================================================== c | 15756 | 1285 1280 126817 | 5000 2543 1111 | 0.000 % | c =============================================================================== c New solution: 2178692 c Elapsed CPU time: 29.0136 s Remaining CPU time: 150.986 s c =============================================================================== c | 15757 | 1285 1281 127960 | 5000 2544 1111 | 0.000 % | c =============================================================================== c New solution: 2178655 c Elapsed CPU time: 29.1806 s Remaining CPU time: 150.819 s c =============================================================================== c | 15811 | 1285 1282 129103 | 5000 2598 1111 | 0.000 % | c =============================================================================== c New solution: 2178632 c Elapsed CPU time: 29.2616 s Remaining CPU time: 150.738 s c =============================================================================== c | 15816 | 1285 1283 130246 | 5000 2603 1111 | 0.000 % | c =============================================================================== c New solution: 2178456 c Elapsed CPU time: 29.3455 s Remaining CPU time: 150.654 s c =============================================================================== c | 15824 | 1285 1284 131389 | 5000 2611 1111 | 0.000 % | c =============================================================================== c New solution: 2178130 c Elapsed CPU time: 29.4225 s Remaining CPU time: 150.577 s c =============================================================================== c | 15824 | 1285 1285 132532 | 5000 2611 1111 | 0.000 % | c =============================================================================== c New solution: 2177736 c Elapsed CPU time: 29.4965 s Remaining CPU time: 150.503 s c =============================================================================== c | 15824 | 1285 1286 133675 | 5000 2611 1111 | 0.000 % | c =============================================================================== c New solution: 2177702 c Elapsed CPU time: 29.6695 s Remaining CPU time: 150.331 s c =============================================================================== c | 15875 | 1285 1287 134818 | 5000 2662 1111 | 0.000 % | c | 15975 | 1285 1287 134818 | 5500 2762 1111 | 0.000 % | c | 16126 | 1285 1287 134818 | 6050 2913 1111 | 0.000 % | c =============================================================================== c New solution: 2177472 c Elapsed CPU time: 30.5933 s Remaining CPU time: 149.407 s c =============================================================================== c | 16295 | 1285 1288 135961 | 5000 3082 1111 | 0.000 % | c | 16396 | 1285 1288 135961 | 5500 3183 1111 | 0.000 % | c | 16547 | 1285 1288 135961 | 6050 3334 1111 | 0.000 % | c =============================================================================== c New solution: 2177238 c Elapsed CPU time: 31.6882 s Remaining CPU time: 148.312 s c =============================================================================== c | 16760 | 1285 1289 137104 | 5000 3547 1111 | 0.000 % | c | 16860 | 1285 1289 137104 | 5500 3647 1111 | 0.000 % | c | 17011 | 1285 1289 137104 | 6050 3798 1111 | 0.000 % | c | 17236 | 1285 1289 137104 | 6655 4023 1111 | 0.000 % | c =============================================================================== c New solution: 2177069 c Elapsed CPU time: 33.2249 s Remaining CPU time: 146.775 s c =============================================================================== c | 17470 | 1285 1290 138247 | 5000 4257 1111 | 0.000 % | c =============================================================================== c New solution: 2176934 c Elapsed CPU time: 33.3619 s Remaining CPU time: 146.638 s c =============================================================================== c | 17511 | 1285 1291 139390 | 5000 4298 1111 | 0.000 % | c =============================================================================== c New solution: 2176900 c Elapsed CPU time: 33.4449 s Remaining CPU time: 146.555 s c =============================================================================== c | 17514 | 1285 1292 140533 | 5000 4301 1111 | 0.000 % | c =============================================================================== c New solution: 2176790 c Elapsed CPU time: 33.5979 s Remaining CPU time: 146.402 s c =============================================================================== c | 17554 | 1285 1293 141676 | 5000 4341 1111 | 0.000 % | c =============================================================================== c New solution: 2176742 c Elapsed CPU time: 33.8998 s Remaining CPU time: 146.1 s c =============================================================================== c | 17646 | 1285 1294 142819 | 5000 4433 1111 | 0.000 % | c =============================================================================== c New solution: 2176716 c Elapsed CPU time: 34.0228 s Remaining CPU time: 145.977 s c =============================================================================== c | 17673 | 1285 1295 143962 | 5000 4460 1111 | 0.000 % | c | 17773 | 1285 1295 143962 | 5500 4560 1111 | 0.000 % | c =============================================================================== c New solution: 2176653 c Elapsed CPU time: 34.5507 s Remaining CPU time: 145.449 s c =============================================================================== c | 17882 | 1285 1296 145105 | 5000 4669 1111 | 0.000 % | c =============================================================================== c New solution: 2176581 c Elapsed CPU time: 34.7747 s Remaining CPU time: 145.225 s c =============================================================================== c | 17968 | 1285 1297 146248 | 5000 4755 1111 | 0.000 % | c =============================================================================== c New solution: 2176481 c Elapsed CPU time: 34.9847 s Remaining CPU time: 145.015 s c =============================================================================== c | 18031 | 1285 1298 147391 | 5000 4818 1111 | 0.000 % | c | 18132 | 1285 1298 147391 | 5500 4919 1111 | 0.000 % | c =============================================================================== c New solution: 2176371 c Elapsed CPU time: 35.5246 s Remaining CPU time: 144.475 s c =============================================================================== c | 18239 | 1285 1299 148534 | 5000 5026 1111 | 0.000 % | c | 18341 | 1285 1299 148534 | 5500 2615 1111 | 0.000 % | c | 18493 | 1285 1299 148534 | 6050 2767 1111 | 0.000 % | c =============================================================================== c New solution: 2176353 c Elapsed CPU time: 36.4695 s Remaining CPU time: 143.531 s c =============================================================================== c | 18611 | 1285 1300 149677 | 5000 2885 1111 | 0.000 % | c =============================================================================== c New solution: 2176314 c Elapsed CPU time: 36.6954 s Remaining CPU time: 143.305 s c =============================================================================== c | 18690 | 1285 1301 150820 | 5000 2964 1111 | 0.000 % | c =============================================================================== c New solution: 2176233 c Elapsed CPU time: 36.9694 s Remaining CPU time: 143.031 s c =============================================================================== c | 18783 | 1285 1302 151963 | 5000 3057 1111 | 0.000 % | c | 18884 | 1285 1302 151963 | 5500 3158 1111 | 0.000 % | c =============================================================================== c New solution: 2176073 c Elapsed CPU time: 37.4943 s Remaining CPU time: 142.506 s c =============================================================================== c | 18961 | 1285 1303 153106 | 5000 3235 1111 | 0.000 % | c | 19063 | 1285 1303 153106 | 5500 3337 1111 | 0.000 % | c =============================================================================== c New solution: 2175932 c Elapsed CPU time: 38.0272 s Remaining CPU time: 141.973 s c =============================================================================== c | 19134 | 1285 1304 154249 | 5000 3408 1111 | 0.000 % | c =============================================================================== c New solution: 2175830 c Elapsed CPU time: 38.2362 s Remaining CPU time: 141.764 s c =============================================================================== c | 19194 | 1285 1305 155392 | 5000 3468 1111 | 0.000 % | c | 19294 | 1285 1305 155392 | 5500 3568 1111 | 0.000 % | c =============================================================================== c New solution: 2175671 c Elapsed CPU time: 38.7261 s Remaining CPU time: 141.274 s c =============================================================================== c | 19345 | 1285 1306 156535 | 5000 3619 1111 | 0.000 % | c | 19445 | 1285 1306 156535 | 5500 3719 1111 | 0.000 % | c =============================================================================== c New solution: 2175642 c Elapsed CPU time: 39.469 s Remaining CPU time: 140.531 s c =============================================================================== c | 19562 | 1285 1307 157678 | 5000 3836 1112 | 0.000 % | c | 19664 | 1285 1307 157678 | 5500 3938 1112 | 0.000 % | c | 19815 | 1285 1307 157678 | 6050 4089 1112 | 0.000 % | c | 20041 | 1285 1307 157678 | 6655 4315 1111 | 0.000 % | c =============================================================================== c New solution: 2175341 c Elapsed CPU time: 41.2667 s Remaining CPU time: 138.733 s c =============================================================================== c | 20264 | 1285 1308 158821 | 5000 4538 1111 | 0.000 % | c | 20364 | 1285 1308 158821 | 5500 4638 1111 | 0.000 % | c =============================================================================== c New solution: 2175188 c Elapsed CPU time: 41.6167 s Remaining CPU time: 138.383 s c =============================================================================== c | 20379 | 1285 1309 159964 | 5000 4653 1111 | 0.000 % | c =============================================================================== c New solution: 2174854 c Elapsed CPU time: 41.7057 s Remaining CPU time: 138.294 s c =============================================================================== c | 20379 | 1285 1310 161107 | 5000 4653 1111 | 0.000 % | c =============================================================================== c New solution: 2174790 c Elapsed CPU time: 41.8026 s Remaining CPU time: 138.197 s c =============================================================================== c | 20382 | 1285 1311 162250 | 5000 4656 1111 | 0.000 % | c =============================================================================== c New solution: 2174694 c Elapsed CPU time: 42.0616 s Remaining CPU time: 137.938 s c =============================================================================== c | 20474 | 1285 1312 163393 | 5000 4748 1112 | 0.000 % | c | 20574 | 1285 1312 163393 | 5500 4848 1112 | 0.000 % | c =============================================================================== c New solution: 2174640 c Elapsed CPU time: 42.5555 s Remaining CPU time: 137.444 s c =============================================================================== c | 20649 | 1285 1313 164536 | 5000 4923 1112 | 0.000 % | c | 20749 | 1285 1313 164536 | 5500 5023 1112 | 0.000 % | c | 20900 | 1285 1313 164536 | 6050 5174 1112 | 0.000 % | c | 21125 | 1285 1313 164536 | 6655 5399 1112 | 0.000 % | c | 21462 | 1285 1313 164536 | 7320 5736 1112 | 0.000 % | c =============================================================================== c New solution: 2174452 c Elapsed CPU time: 44.9142 s Remaining CPU time: 135.086 s c =============================================================================== c | 21618 | 1285 1314 165679 | 5000 5892 1112 | 0.000 % | c =============================================================================== c New solution: 2174286 c Elapsed CPU time: 45.2031 s Remaining CPU time: 134.797 s c =============================================================================== c | 21692 | 1285 1315 166822 | 5000 3020 1112 | 0.000 % | c | 21792 | 1285 1315 166822 | 5500 3120 1112 | 0.000 % | c =============================================================================== c New solution: 2174252 c Elapsed CPU time: 45.6391 s Remaining CPU time: 134.361 s c =============================================================================== c | 21807 | 1285 1316 167965 | 5000 3135 1112 | 0.000 % | c | 21907 | 1285 1316 167965 | 5500 3235 1112 | 0.000 % | c | 22057 | 1285 1316 167965 | 6050 3385 1112 | 0.000 % | c | 22282 | 1285 1316 167965 | 6655 3610 1112 | 0.000 % | c | 22620 | 1285 1316 167965 | 7320 3948 1112 | 0.000 % | c =============================================================================== c New solution: 2173984 c Elapsed CPU time: 47.9237 s Remaining CPU time: 132.076 s c =============================================================================== c | 22698 | 1285 1317 169108 | 5000 4026 1112 | 0.000 % | c | 22799 | 1285 1317 169108 | 5500 4127 1112 | 0.000 % | c =============================================================================== c New solution: 2173942 c Elapsed CPU time: 48.4456 s Remaining CPU time: 131.554 s c =============================================================================== c | 22878 | 1285 1318 170251 | 5000 4206 1112 | 0.000 % | c =============================================================================== c New solution: 2173837 c Elapsed CPU time: 48.6336 s Remaining CPU time: 131.366 s c =============================================================================== c | 22919 | 1285 1319 171394 | 5000 4247 1112 | 0.000 % | c =============================================================================== c New solution: 2173598 c Elapsed CPU time: 48.7666 s Remaining CPU time: 131.233 s c =============================================================================== c | 22941 | 1285 1320 172537 | 5000 4269 1112 | 0.000 % | c =============================================================================== c New solution: 2173209 c Elapsed CPU time: 48.8736 s Remaining CPU time: 131.126 s c =============================================================================== c | 22946 | 1285 1321 173680 | 5000 4274 1112 | 0.000 % | c =============================================================================== c New solution: 2173075 c Elapsed CPU time: 48.9786 s Remaining CPU time: 131.021 s c =============================================================================== c | 22947 | 1285 1322 174823 | 5000 4275 1112 | 0.000 % | c =============================================================================== c New solution: 2172700 c Elapsed CPU time: 49.0875 s Remaining CPU time: 130.912 s c =============================================================================== c | 22947 | 1285 1323 175966 | 5000 4275 1112 | 0.000 % | c =============================================================================== c New solution: 2172465 c Elapsed CPU time: 49.1865 s Remaining CPU time: 130.813 s c =============================================================================== c | 22947 | 1285 1324 177109 | 5000 4275 1112 | 0.000 % | c | 23048 | 1285 1324 177109 | 5500 4376 1112 | 0.000 % | c | 23198 | 1285 1324 177109 | 6050 4526 1112 | 0.000 % | c | 23423 | 1285 1324 177109 | 6655 4751 1112 | 0.000 % | c =============================================================================== c New solution: 2172420 c Elapsed CPU time: 50.6713 s Remaining CPU time: 129.329 s c =============================================================================== c | 23493 | 1285 1325 178252 | 5000 4821 1112 | 0.000 % | c | 23595 | 1285 1325 178252 | 5500 4923 1112 | 0.000 % | c | 23746 | 1285 1325 178252 | 6050 5074 1112 | 0.000 % | c =============================================================================== c New solution: 2172210 c Elapsed CPU time: 52.0871 s Remaining CPU time: 127.913 s c =============================================================================== c | 23962 | 1285 1326 179395 | 5000 5290 1112 | 0.000 % | c =============================================================================== c New solution: 2171961 c Elapsed CPU time: 52.2321 s Remaining CPU time: 127.768 s c =============================================================================== c | 23963 | 1285 1327 180538 | 5000 2646 1111 | 0.000 % | c =============================================================================== c New solution: 2171758 c Elapsed CPU time: 52.385 s Remaining CPU time: 127.615 s c =============================================================================== c | 23977 | 1285 1328 181681 | 5000 2660 1111 | 0.000 % | c | 24080 | 1285 1328 181681 | 5500 2763 1111 | 0.000 % | c | 24231 | 1285 1328 181681 | 6050 2914 1111 | 0.000 % | c =============================================================================== c New solution: 2171376 c Elapsed CPU time: 53.4119 s Remaining CPU time: 126.588 s c =============================================================================== c | 24276 | 1285 1329 182824 | 5000 2959 1111 | 0.000 % | c =============================================================================== c New solution: 2171279 c Elapsed CPU time: 53.5729 s Remaining CPU time: 126.427 s c =============================================================================== c | 24297 | 1285 1330 183967 | 5000 2980 1111 | 0.000 % | c | 24398 | 1285 1330 183967 | 5500 3081 1111 | 0.000 % | c =============================================================================== c New solution: 2171149 c Elapsed CPU time: 54.0408 s Remaining CPU time: 125.959 s c =============================================================================== c | 24412 | 1285 1331 185110 | 5000 3095 1111 | 0.000 % | c | 24513 | 1285 1331 185110 | 5500 3196 1111 | 0.000 % | c | 24663 | 1285 1331 185110 | 6050 3346 1111 | 0.000 % | c =============================================================================== c New solution: 2170968 c Elapsed CPU time: 55.3906 s Remaining CPU time: 124.609 s c =============================================================================== c | 24842 | 1285 1332 186253 | 5000 3525 1111 | 0.000 % | c | 24943 | 1285 1332 186253 | 5500 3626 1111 | 0.000 % | c | 25094 | 1285 1332 186253 | 6050 3777 1111 | 0.000 % | c =============================================================================== c New solution: 2170925 c Elapsed CPU time: 56.4454 s Remaining CPU time: 123.555 s c =============================================================================== c | 25230 | 1285 1333 187396 | 5000 3913 1111 | 0.000 % | c | 25330 | 1285 1333 187396 | 5500 4013 1111 | 0.000 % | c =============================================================================== c New solution: 2170857 c Elapsed CPU time: 56.8294 s Remaining CPU time: 123.171 s c =============================================================================== c | 25331 | 1285 1334 188539 | 5000 4014 1111 | 0.000 % | c =============================================================================== c New solution: 2170752 c Elapsed CPU time: 56.9413 s Remaining CPU time: 123.059 s c =============================================================================== c | 25332 | 1285 1335 189682 | 5000 4015 1111 | 0.000 % | c =============================================================================== c New solution: 2170729 c Elapsed CPU time: 57.0703 s Remaining CPU time: 122.93 s c =============================================================================== c | 25340 | 1285 1336 190825 | 5000 4023 1111 | 0.000 % | c =============================================================================== c New solution: 2170377 c Elapsed CPU time: 57.1903 s Remaining CPU time: 122.81 s c =============================================================================== c | 25347 | 1285 1337 191968 | 5000 4030 1111 | 0.000 % | c =============================================================================== c New solution: 2170287 c Elapsed CPU time: 57.3203 s Remaining CPU time: 122.68 s c =============================================================================== c | 25357 | 1285 1338 193111 | 5000 4040 1111 | 0.000 % | c =============================================================================== c New solution: 2170016 c Elapsed CPU time: 57.4323 s Remaining CPU time: 122.568 s c =============================================================================== c | 25357 | 1285 1339 194254 | 5000 4040 1111 | 0.000 % | c =============================================================================== c New solution: 2170008 c Elapsed CPU time: 57.6512 s Remaining CPU time: 122.349 s c =============================================================================== c | 25425 | 1285 1340 195397 | 5000 4108 1111 | 0.000 % | c | 25527 | 1285 1340 195397 | 5500 4210 1111 | 0.000 % | c | 25678 | 1285 1340 195397 | 6050 4361 1111 | 0.000 % | c =============================================================================== c New solution: 2169991 c Elapsed CPU time: 58.6431 s Remaining CPU time: 121.357 s c =============================================================================== c | 25743 | 1285 1341 196540 | 5000 4426 1111 | 0.000 % | c | 25845 | 1285 1341 196540 | 5500 4528 1111 | 0.000 % | c | 25995 | 1285 1341 196540 | 6050 4678 1111 | 0.000 % | c =============================================================================== c New solution: 2169961 c Elapsed CPU time: 60.0629 s Remaining CPU time: 119.937 s c =============================================================================== c | 26177 | 1285 1342 197683 | 5000 4860 1111 | 0.000 % | c | 26278 | 1285 1342 197683 | 5500 4961 1111 | 0.000 % | c | 26429 | 1285 1342 197683 | 6050 5112 1111 | 0.000 % | c | 26654 | 1285 1342 197683 | 6655 5337 1111 | 0.000 % | c =============================================================================== c New solution: 2169958 c Elapsed CPU time: 61.7126 s Remaining CPU time: 118.287 s c =============================================================================== c | 26682 | 1285 1343 198826 | 5000 5365 1111 | 0.000 % | c | 26782 | 1285 1343 198826 | 5500 2783 1110 | 0.000 % | c | 26934 | 1285 1343 198826 | 6050 2935 1110 | 0.000 % | c =============================================================================== c New solution: 2169885 c Elapsed CPU time: 62.9944 s Remaining CPU time: 117.006 s c =============================================================================== c | 27072 | 1285 1344 199969 | 5000 3073 1110 | 0.000 % | c =============================================================================== c New solution: 2169690 c Elapsed CPU time: 63.2784 s Remaining CPU time: 116.722 s c =============================================================================== c | 27117 | 1285 1345 201112 | 5000 3118 1110 | 0.000 % | c | 27218 | 1285 1345 201112 | 5500 3219 1110 | 0.000 % | c | 27369 | 1285 1345 201112 | 6050 3370 1110 | 0.000 % | c | 27596 | 1285 1345 201112 | 6655 3597 1110 | 0.000 % | c =============================================================================== c New solution: 2169516 c Elapsed CPU time: 64.9701 s Remaining CPU time: 115.03 s c =============================================================================== c | 27627 | 1285 1346 202255 | 5000 3628 1110 | 0.000 % | c | 27727 | 1285 1346 202255 | 5500 3728 1110 | 0.000 % | c =============================================================================== c New solution: 2169379 c Elapsed CPU time: 65.574 s Remaining CPU time: 114.426 s c =============================================================================== c | 27779 | 1285 1347 203398 | 5000 3780 1110 | 0.000 % | c | 27882 | 1285 1347 203398 | 5500 3883 1110 | 0.000 % | c | 28034 | 1285 1347 203398 | 6050 4035 1110 | 0.000 % | c | 28260 | 1285 1347 203398 | 6655 4261 1110 | 0.000 % | c =============================================================================== c New solution: 2169354 c Elapsed CPU time: 67.2528 s Remaining CPU time: 112.747 s c =============================================================================== c | 28374 | 1285 1348 204541 | 5000 4375 1110 | 0.000 % | c =============================================================================== c New solution: 2168990 c Elapsed CPU time: 67.3748 s Remaining CPU time: 112.625 s c =============================================================================== c | 28375 | 1285 1349 205684 | 5000 4376 1110 | 0.000 % | c =============================================================================== c New solution: 2168923 c Elapsed CPU time: 67.4937 s Remaining CPU time: 112.506 s c =============================================================================== c | 28377 | 1285 1350 206827 | 5000 4378 1110 | 0.000 % | c =============================================================================== c New solution: 2168622 c Elapsed CPU time: 67.6247 s Remaining CPU time: 112.375 s c =============================================================================== c | 28378 | 1285 1351 207970 | 5000 4379 1110 | 0.000 % | c =============================================================================== c New solution: 2168426 c Elapsed CPU time: 67.7627 s Remaining CPU time: 112.237 s c =============================================================================== c | 28378 | 1285 1352 209113 | 5000 4379 1110 | 0.000 % | c | 28481 | 1285 1352 209113 | 5500 4482 1110 | 0.000 % | c | 28631 | 1285 1352 209113 | 6050 4632 1109 | 0.000 % | c | 28856 | 1285 1352 209113 | 6655 4857 1109 | 0.000 % | c =============================================================================== c New solution: 2168274 c Elapsed CPU time: 69.6454 s Remaining CPU time: 110.355 s c =============================================================================== c | 29065 | 1285 1353 210256 | 5000 5066 1109 | 0.000 % | c =============================================================================== c New solution: 2168272 c Elapsed CPU time: 69.8024 s Remaining CPU time: 110.198 s c =============================================================================== c | 29066 | 1285 1354 211399 | 5000 2534 1108 | 0.000 % | c =============================================================================== c New solution: 2168093 c Elapsed CPU time: 69.9394 s Remaining CPU time: 110.061 s c =============================================================================== c | 29066 | 1285 1355 212542 | 5000 2534 1108 | 0.000 % | c =============================================================================== c New solution: 2167905 c Elapsed CPU time: 70.0783 s Remaining CPU time: 109.922 s c =============================================================================== c | 29066 | 1285 1356 213685 | 5000 2534 1108 | 0.000 % | c =============================================================================== c New solution: 2167494 c Elapsed CPU time: 70.2093 s Remaining CPU time: 109.791 s c =============================================================================== c | 29066 | 1285 1357 214828 | 5000 2534 1108 | 0.000 % | c =============================================================================== c New solution: 2167249 c Elapsed CPU time: 70.3433 s Remaining CPU time: 109.657 s c =============================================================================== c | 29066 | 1285 1358 215971 | 5000 2534 1108 | 0.000 % | c =============================================================================== c New solution: 2167233 c Elapsed CPU time: 70.5103 s Remaining CPU time: 109.49 s c =============================================================================== c | 29092 | 1285 1359 217114 | 5000 2560 1108 | 0.000 % | c | 29193 | 1285 1359 217114 | 5500 2661 1108 | 0.000 % | c | 29343 | 1285 1359 217114 | 6050 2811 1108 | 0.000 % | c | 29568 | 1285 1359 217114 | 6655 3036 1108 | 0.000 % | c =============================================================================== c New solution: 2167088 c Elapsed CPU time: 72.395 s Remaining CPU time: 107.605 s c =============================================================================== c | 29801 | 1285 1360 218257 | 5000 3269 1108 | 0.000 % | c | 29901 | 1285 1360 218257 | 5500 3369 1108 | 0.000 % | c | 30051 | 1285 1360 218257 | 6050 3519 1108 | 0.000 % | c =============================================================================== c New solution: 2167041 c Elapsed CPU time: 73.6478 s Remaining CPU time: 106.352 s c =============================================================================== c | 30255 | 1285 1361 219400 | 5000 3723 1108 | 0.000 % | c | 30355 | 1285 1361 219400 | 5500 3823 1108 | 0.000 % | c | 30507 | 1285 1361 219400 | 6050 3975 1108 | 0.000 % | c =============================================================================== c New solution: 2167012 c Elapsed CPU time: 74.7886 s Remaining CPU time: 105.211 s c =============================================================================== c | 30593 | 1285 1362 220543 | 5000 4061 1108 | 0.000 % | c | 30693 | 1285 1362 220543 | 5500 4161 1108 | 0.000 % | c =============================================================================== c New solution: 2166979 c Elapsed CPU time: 75.5035 s Remaining CPU time: 104.496 s c =============================================================================== c | 30764 | 1285 1363 221686 | 5000 4232 1108 | 0.000 % | c | 30865 | 1285 1363 221686 | 5500 4333 1108 | 0.000 % | c =============================================================================== c New solution: 2166817 c Elapsed CPU time: 76.4584 s Remaining CPU time: 103.542 s c =============================================================================== c | 31011 | 1285 1364 222829 | 5000 4479 1108 | 0.000 % | c | 31112 | 1285 1364 222829 | 5500 4580 1108 | 0.000 % | c =============================================================================== c New solution: 2166811 c Elapsed CPU time: 77.3272 s Remaining CPU time: 102.673 s c =============================================================================== c | 31245 | 1285 1365 223972 | 5000 4713 1108 | 0.000 % | c | 31345 | 1285 1365 223972 | 5500 4813 1108 | 0.000 % | c | 31495 | 1285 1365 223972 | 6050 4963 1108 | 0.000 % | c =============================================================================== c New solution: 2166578 c Elapsed CPU time: 78.3631 s Remaining CPU time: 101.637 s c =============================================================================== c | 31500 | 1285 1366 225115 | 5000 4968 1108 | 0.000 % | c =============================================================================== c New solution: 2166548 c Elapsed CPU time: 78.5041 s Remaining CPU time: 101.496 s c =============================================================================== c | 31500 | 1285 1367 226258 | 5000 4968 1108 | 0.000 % | c =============================================================================== c New solution: 2166515 c Elapsed CPU time: 78.643 s Remaining CPU time: 101.357 s c =============================================================================== c | 31500 | 1285 1368 227401 | 5000 4968 1108 | 0.000 % | c =============================================================================== c New solution: 2166144 c Elapsed CPU time: 79.034 s Remaining CPU time: 100.966 s c =============================================================================== c | 31595 | 1285 1369 228544 | 5000 5063 1108 | 0.000 % | c =============================================================================== c New solution: 2165912 c Elapsed CPU time: 79.204 s Remaining CPU time: 100.796 s c =============================================================================== c | 31596 | 1285 1370 229687 | 5000 2533 1108 | 0.000 % | c =============================================================================== c New solution: 2165709 c Elapsed CPU time: 79.3519 s Remaining CPU time: 100.648 s c =============================================================================== c | 31609 | 1285 1371 230830 | 5000 2546 1108 | 0.000 % | c =============================================================================== c New solution: 2165502 c Elapsed CPU time: 79.6439 s Remaining CPU time: 100.356 s c =============================================================================== c | 31681 | 1285 1372 231973 | 5000 2618 1108 | 0.000 % | c =============================================================================== c New solution: 2165305 c Elapsed CPU time: 79.7779 s Remaining CPU time: 100.222 s c =============================================================================== c | 31682 | 1285 1373 233116 | 5000 2619 1108 | 0.000 % | c | 31783 | 1285 1373 233116 | 5500 2720 1108 | 0.000 % | c | 31934 | 1285 1373 233116 | 6050 2871 1108 | 0.000 % | c =============================================================================== c New solution: 2165296 c Elapsed CPU time: 81.4876 s Remaining CPU time: 98.5124 s c =============================================================================== c | 32156 | 1285 1374 234259 | 5000 3093 1108 | 0.000 % | c =============================================================================== c New solution: 2165186 c Elapsed CPU time: 81.7686 s Remaining CPU time: 98.2314 s c =============================================================================== c | 32205 | 1285 1375 235402 | 5000 3142 1108 | 0.000 % | c | 32306 | 1285 1375 235402 | 5500 3243 1108 | 0.000 % | c =============================================================================== c New solution: 2165128 c Elapsed CPU time: 82.6924 s Remaining CPU time: 97.3076 s c =============================================================================== c | 32374 | 1285 1376 236545 | 5000 3311 1108 | 0.000 % | c =============================================================================== c New solution: 2164904 c Elapsed CPU time: 83.0764 s Remaining CPU time: 96.9236 s c =============================================================================== c | 32462 | 1285 1377 237688 | 5000 3399 1108 | 0.000 % | c | 32562 | 1285 1377 237688 | 5500 3499 1108 | 0.000 % | c | 32713 | 1285 1377 237688 | 6050 3650 1108 | 0.000 % | c =============================================================================== c New solution: 2164734 c Elapsed CPU time: 84.2022 s Remaining CPU time: 95.7978 s c =============================================================================== c | 32715 | 1285 1378 238831 | 5000 3652 1108 | 0.000 % | c | 32815 | 1285 1378 238831 | 5500 3752 1108 | 0.000 % | c =============================================================================== c New solution: 2164364 c Elapsed CPU time: 84.7751 s Remaining CPU time: 95.2249 s c =============================================================================== c | 32828 | 1285 1379 239974 | 5000 3765 1108 | 0.000 % | c | 32928 | 1285 1379 239974 | 5500 3865 1108 | 0.000 % | c =============================================================================== c New solution: 2164025 c Elapsed CPU time: 85.397 s Remaining CPU time: 94.603 s c =============================================================================== c | 32929 | 1285 1380 241117 | 5000 3866 1108 | 0.000 % | c | 33029 | 1285 1380 241117 | 5500 3966 1108 | 0.000 % | c =============================================================================== c New solution: 2163999 c Elapsed CPU time: 86.2769 s Remaining CPU time: 93.7231 s c =============================================================================== c | 33144 | 1285 1381 242260 | 5000 4081 1108 | 0.000 % | c | 33245 | 1285 1381 242260 | 5500 4182 1108 | 0.000 % | c =============================================================================== c New solution: 2163793 c Elapsed CPU time: 86.8908 s Remaining CPU time: 93.1092 s c =============================================================================== c | 33272 | 1285 1382 243403 | 5000 4209 1108 | 0.000 % | c =============================================================================== c New solution: 2163751 c Elapsed CPU time: 87.4247 s Remaining CPU time: 92.5753 s c =============================================================================== c | 33363 | 1285 1383 244546 | 5000 4300 1108 | 0.000 % | c | 33464 | 1285 1383 244546 | 5500 4401 1108 | 0.000 % | c | 33614 | 1285 1383 244546 | 6050 4551 1108 | 0.000 % | c =============================================================================== c New solution: 2163393 c Elapsed CPU time: 88.5345 s Remaining CPU time: 91.4655 s c =============================================================================== c | 33615 | 1285 1384 245689 | 5000 4552 1108 | 0.000 % | c | 33715 | 1285 1384 245689 | 5500 4652 1108 | 0.000 % | c | 33867 | 1285 1384 245689 | 6050 4804 1108 | 0.000 % | c | 34093 | 1285 1384 245689 | 6655 5030 1108 | 0.000 % | c =============================================================================== c New solution: 2163312 c Elapsed CPU time: 91.0332 s Remaining CPU time: 88.9668 s c =============================================================================== c | 34314 | 1285 1385 246832 | 5000 5251 1108 | 0.000 % | c | 34414 | 1285 1385 246832 | 5500 2726 1108 | 0.000 % | c =============================================================================== c New solution: 2163255 c Elapsed CPU time: 91.7101 s Remaining CPU time: 88.2899 s c =============================================================================== c | 34457 | 1285 1386 247975 | 5000 2769 1108 | 0.000 % | c | 34558 | 1285 1386 247975 | 5500 2870 1108 | 0.000 % | c | 34708 | 1285 1386 247975 | 6050 3020 1108 | 0.000 % | c | 34934 | 1285 1386 247975 | 6655 3246 1108 | 0.000 % | c =============================================================================== c New solution: 2162862 c Elapsed CPU time: 93.6818 s Remaining CPU time: 86.3182 s c =============================================================================== c | 35044 | 1285 1387 249118 | 5000 3356 1108 | 0.000 % | c =============================================================================== c New solution: 2162798 c Elapsed CPU time: 94.0397 s Remaining CPU time: 85.9603 s c =============================================================================== c | 35134 | 1285 1388 250261 | 5000 3446 1108 | 0.000 % | c | 35235 | 1285 1388 250261 | 5500 3547 1108 | 0.000 % | c =============================================================================== c New solution: 2162420 c Elapsed CPU time: 94.7696 s Remaining CPU time: 85.2304 s c =============================================================================== c | 35293 | 1285 1389 251404 | 5000 3605 1108 | 0.000 % | c =============================================================================== c New solution: 2162378 c Elapsed CPU time: 95.2195 s Remaining CPU time: 84.7805 s c =============================================================================== c | 35384 | 1285 1390 252547 | 5000 3696 1108 | 0.000 % | c | 35485 | 1285 1390 252547 | 5500 3797 1108 | 0.000 % | c =============================================================================== c New solution: 2162350 c Elapsed CPU time: 95.9434 s Remaining CPU time: 84.0566 s c =============================================================================== c | 35611 | 1285 1391 253690 | 5000 3923 1108 | 0.000 % | c | 35712 | 1285 1391 253690 | 5500 4024 1108 | 0.000 % | c =============================================================================== c New solution: 2162112 c Elapsed CPU time: 96.6403 s Remaining CPU time: 83.3597 s c =============================================================================== c | 35805 | 1285 1392 254833 | 5000 4117 1108 | 0.000 % | c | 35905 | 1285 1392 254833 | 5500 4217 1108 | 0.000 % | c =============================================================================== c New solution: 2162035 c Elapsed CPU time: 97.1482 s Remaining CPU time: 82.8518 s c =============================================================================== c | 35905 | 1285 1393 255976 | 5000 4217 1108 | 0.000 % | c | 36006 | 1285 1393 255976 | 5500 4318 1108 | 0.000 % | c | 36156 | 1285 1393 255976 | 6050 4468 1108 | 0.000 % | c | 36382 | 1285 1393 255976 | 6655 4694 1108 | 0.000 % | c | 36720 | 1285 1393 255976 | 7320 5032 1108 | 0.000 % | c =============================================================================== c New solution: 2161837 c Elapsed CPU time: 101.115 s Remaining CPU time: 78.8854 s c =============================================================================== c | 37225 | 1285 1394 257119 | 5000 5537 1108 | 0.000 % | c =============================================================================== c New solution: 2161526 c Elapsed CPU time: 101.554 s Remaining CPU time: 78.4464 s c =============================================================================== c | 37308 | 1285 1395 258262 | 5000 2852 1108 | 0.000 % | c | 37409 | 1285 1395 258262 | 5500 2953 1108 | 0.000 % | c | 37560 | 1285 1395 258262 | 6050 3104 1108 | 0.000 % | c =============================================================================== c New solution: 2161432 c Elapsed CPU time: 102.643 s Remaining CPU time: 77.3566 s c =============================================================================== c | 37590 | 1285 1396 259405 | 5000 3134 1108 | 0.000 % | c | 37693 | 1285 1396 259405 | 5500 3237 1108 | 0.000 % | c | 37843 | 1285 1396 259405 | 6050 3387 1108 | 0.000 % | c =============================================================================== c New solution: 2161333 c Elapsed CPU time: 103.894 s Remaining CPU time: 76.1058 s c =============================================================================== c | 37906 | 1285 1397 260548 | 5000 3450 1108 | 0.000 % | c | 38007 | 1285 1397 260548 | 5500 3551 1108 | 0.000 % | c =============================================================================== c New solution: 2161197 c Elapsed CPU time: 104.722 s Remaining CPU time: 75.2779 s c =============================================================================== c | 38083 | 1285 1398 261691 | 5000 3627 1108 | 0.000 % | c | 38183 | 1285 1398 261691 | 5500 3727 1108 | 0.000 % | c =============================================================================== c New solution: 2161181 c Elapsed CPU time: 105.573 s Remaining CPU time: 74.427 s c =============================================================================== c | 38296 | 1285 1399 262834 | 5000 3840 1108 | 0.000 % | c | 38396 | 1285 1399 262834 | 5500 3940 1108 | 0.000 % | c =============================================================================== c New solution: 2161107 c Elapsed CPU time: 106.533 s Remaining CPU time: 73.4672 s c =============================================================================== c | 38537 | 1285 1400 263977 | 5000 4081 1108 | 0.000 % | c | 38637 | 1285 1400 263977 | 5500 4181 1108 | 0.000 % | c | 38787 | 1285 1400 263977 | 6050 4331 1108 | 0.000 % | c | 39012 | 1285 1400 263977 | 6655 4556 1108 | 0.000 % | c =============================================================================== c New solution: 2160952 c Elapsed CPU time: 108.886 s Remaining CPU time: 71.1136 s c =============================================================================== c | 39264 | 1285 1401 265120 | 5000 4808 1108 | 0.000 % | c =============================================================================== c New solution: 2160917 c Elapsed CPU time: 109.056 s Remaining CPU time: 70.9436 s c =============================================================================== c | 39265 | 1285 1402 266263 | 5000 4809 1108 | 0.000 % | c =============================================================================== c New solution: 2160875 c Elapsed CPU time: 109.345 s Remaining CPU time: 70.6546 s c =============================================================================== c | 39304 | 1285 1403 267406 | 5000 4848 1108 | 0.000 % | c | 39405 | 1285 1403 267406 | 5500 4949 1108 | 0.000 % | c =============================================================================== c New solution: 2160796 c Elapsed CPU time: 110.259 s Remaining CPU time: 69.7408 s c =============================================================================== c | 39504 | 1285 1404 268549 | 5000 5048 1108 | 0.000 % | c | 39606 | 1285 1404 268549 | 5500 2626 1108 | 0.000 % | c | 39756 | 1285 1404 268549 | 6050 2776 1108 | 0.000 % | c | 39981 | 1285 1404 268549 | 6655 3001 1107 | 0.000 % | c | 40319 | 1285 1404 268549 | 7320 3339 1107 | 0.000 % | c =============================================================================== c New solution: 2160600 c Elapsed CPU time: 113.831 s Remaining CPU time: 66.1693 s c =============================================================================== c | 40576 | 1285 1405 269692 | 5000 3596 1107 | 0.000 % | c =============================================================================== c New solution: 2160283 c Elapsed CPU time: 114.184 s Remaining CPU time: 65.8164 s c =============================================================================== c | 40647 | 1285 1406 270835 | 5000 3667 1107 | 0.000 % | c =============================================================================== c New solution: 2160257 c Elapsed CPU time: 114.47 s Remaining CPU time: 65.5304 s c =============================================================================== c | 40682 | 1285 1407 271978 | 5000 3702 1107 | 0.000 % | c | 40783 | 1285 1407 271978 | 5500 3803 1107 | 0.000 % | c | 40934 | 1285 1407 271978 | 6050 3954 1107 | 0.000 % | c | 41160 | 1285 1407 271978 | 6655 4180 1107 | 0.000 % | c =============================================================================== c New solution: 2160198 c Elapsed CPU time: 116.76 s Remaining CPU time: 63.2398 s c =============================================================================== c | 41274 | 1285 1408 273121 | 5000 4294 1107 | 0.000 % | c | 41375 | 1285 1408 273121 | 5500 4395 1107 | 0.000 % | c | 41525 | 1285 1408 273121 | 6050 4545 1107 | 0.000 % | c =============================================================================== c New solution: 2160082 c Elapsed CPU time: 117.921 s Remaining CPU time: 62.0789 s c =============================================================================== c | 41528 | 1285 1409 274264 | 5000 4548 1107 | 0.000 % | c =============================================================================== c New solution: 2159845 c Elapsed CPU time: 118.116 s Remaining CPU time: 61.884 s c =============================================================================== c | 41533 | 1285 1410 275407 | 5000 4553 1107 | 0.000 % | c =============================================================================== c New solution: 2159814 c Elapsed CPU time: 118.352 s Remaining CPU time: 61.648 s c =============================================================================== c | 41552 | 1285 1411 276550 | 5000 4572 1107 | 0.000 % | c | 41652 | 1285 1411 276550 | 5500 4672 1107 | 0.000 % | c | 41803 | 1285 1411 276550 | 6050 4823 1107 | 0.000 % | c | 42028 | 1285 1411 276550 | 6655 5048 1107 | 0.000 % | c =============================================================================== c New solution: 2159672 c Elapsed CPU time: 120.165 s Remaining CPU time: 59.8353 s c =============================================================================== c | 42032 | 1285 1412 277693 | 5000 5052 1107 | 0.000 % | c =============================================================================== c New solution: 2159472 c Elapsed CPU time: 120.429 s Remaining CPU time: 59.5713 s c =============================================================================== c | 42049 | 1285 1413 278836 | 5000 2543 1105 | 0.000 % | c =============================================================================== c New solution: 2159338 c Elapsed CPU time: 120.798 s Remaining CPU time: 59.2024 s c =============================================================================== c | 42136 | 1285 1414 279979 | 5000 2630 1105 | 0.000 % | c | 42236 | 1285 1414 279979 | 5500 2730 1105 | 0.000 % | c | 42388 | 1285 1414 279979 | 6050 2882 1105 | 0.000 % | c | 42614 | 1285 1414 279979 | 6655 3108 1105 | 0.000 % | c =============================================================================== c New solution: 2159247 c Elapsed CPU time: 123.504 s Remaining CPU time: 56.4958 s c =============================================================================== c | 42905 | 1285 1415 281122 | 5000 3399 1105 | 0.000 % | c | 43005 | 1285 1415 281122 | 5500 3499 1105 | 0.000 % | c | 43155 | 1285 1415 281122 | 6050 3649 1105 | 0.000 % | c =============================================================================== c New solution: 2159222 c Elapsed CPU time: 124.732 s Remaining CPU time: 55.268 s c =============================================================================== c | 43242 | 1285 1416 282265 | 5000 3736 1105 | 0.000 % | c | 43343 | 1285 1416 282265 | 5500 3837 1105 | 0.000 % | c =============================================================================== c New solution: 2159009 c Elapsed CPU time: 125.343 s Remaining CPU time: 54.6571 s c =============================================================================== c | 43343 | 1285 1417 283408 | 5000 3837 1105 | 0.000 % | c =============================================================================== c New solution: 2158753 c Elapsed CPU time: 125.522 s Remaining CPU time: 54.4781 s c =============================================================================== c | 43343 | 1285 1418 284551 | 5000 3837 1105 | 0.000 % | c =============================================================================== c New solution: 2158593 c Elapsed CPU time: 125.702 s Remaining CPU time: 54.2981 s c =============================================================================== c | 43343 | 1285 1419 285694 | 5000 3837 1105 | 0.000 % | c | 43443 | 1285 1419 285694 | 5500 3937 1105 | 0.000 % | c | 43593 | 1285 1419 285694 | 6050 4087 1105 | 0.000 % | c =============================================================================== c New solution: 2158590 c Elapsed CPU time: 126.941 s Remaining CPU time: 53.0593 s c =============================================================================== c | 43633 | 1285 1420 286837 | 5000 4127 1105 | 0.000 % | c =============================================================================== c New solution: 2158527 c Elapsed CPU time: 127.294 s Remaining CPU time: 52.7064 s c =============================================================================== c | 43703 | 1285 1421 287980 | 5000 4197 1105 | 0.000 % | c | 43803 | 1285 1421 287980 | 5500 4297 1105 | 0.000 % | c =============================================================================== c New solution: 2158502 c Elapsed CPU time: 128.275 s Remaining CPU time: 51.7245 s c =============================================================================== c | 43912 | 1285 1422 289123 | 5000 4406 1105 | 0.000 % | c | 44012 | 1285 1422 289123 | 5500 4506 1105 | 0.000 % | c =============================================================================== c New solution: 2158224 c Elapsed CPU time: 129.164 s Remaining CPU time: 50.8356 s c =============================================================================== c | 44106 | 1285 1423 290266 | 5000 4600 1105 | 0.000 % | c | 44206 | 1285 1423 290266 | 5500 4700 1105 | 0.000 % | c | 44356 | 1285 1423 290266 | 6050 4850 1105 | 0.000 % | c | 44581 | 1285 1423 290266 | 6655 5075 1105 | 0.000 % | c | 44918 | 1285 1423 290266 | 7320 5412 1105 | 0.000 % | c =============================================================================== c New solution: 2158181 c Elapsed CPU time: 132.989 s Remaining CPU time: 47.0112 s c =============================================================================== c | 45117 | 1285 1424 291409 | 5000 5611 1105 | 0.000 % | c =============================================================================== c New solution: 2157770 c Elapsed CPU time: 133.211 s Remaining CPU time: 46.7893 s c =============================================================================== c | 45123 | 1285 1425 292552 | 5000 2812 1104 | 0.000 % | c | 45225 | 1285 1425 292552 | 5500 2914 1104 | 0.000 % | c =============================================================================== c New solution: 2157735 c Elapsed CPU time: 133.917 s Remaining CPU time: 46.0834 s c =============================================================================== c | 45260 | 1285 1426 293695 | 5000 2949 1104 | 0.000 % | c =============================================================================== c New solution: 2157465 c Elapsed CPU time: 134.121 s Remaining CPU time: 45.8794 s c =============================================================================== c | 45266 | 1285 1427 294838 | 5000 2955 1104 | 0.000 % | c =============================================================================== c New solution: 2157085 c Elapsed CPU time: 134.315 s Remaining CPU time: 45.6854 s c =============================================================================== c | 45266 | 1285 1428 295981 | 5000 2955 1104 | 0.000 % | c | 45366 | 1285 1428 295981 | 5500 3055 1104 | 0.000 % | c =============================================================================== c New solution: 2156972 c Elapsed CPU time: 135.038 s Remaining CPU time: 44.9615 s c =============================================================================== c | 45375 | 1285 1429 297124 | 5000 3064 1104 | 0.000 % | c | 45475 | 1285 1429 297124 | 5500 3164 1104 | 0.000 % | c | 45628 | 1285 1429 297124 | 6050 3317 1104 | 0.000 % | c =============================================================================== c New solution: 2156806 c Elapsed CPU time: 136.224 s Remaining CPU time: 43.7757 s c =============================================================================== c | 45629 | 1285 1430 298267 | 5000 3318 1104 | 0.000 % | c =============================================================================== c New solution: 2156795 c Elapsed CPU time: 136.419 s Remaining CPU time: 43.5807 s c =============================================================================== c | 45629 | 1285 1431 299410 | 5000 3318 1104 | 0.000 % | c =============================================================================== c New solution: 2156593 c Elapsed CPU time: 136.695 s Remaining CPU time: 43.3048 s c =============================================================================== c | 45650 | 1285 1432 300553 | 5000 3339 1104 | 0.000 % | c | 45752 | 1285 1432 300553 | 5500 3441 1104 | 0.000 % | c | 45902 | 1285 1432 300553 | 6050 3591 1104 | 0.000 % | c =============================================================================== c New solution: 2156518 c Elapsed CPU time: 138.508 s Remaining CPU time: 41.4921 s c =============================================================================== c | 46123 | 1285 1433 301696 | 5000 3812 1104 | 0.000 % | c | 46223 | 1285 1433 301696 | 5500 3912 1104 | 0.000 % | c | 46375 | 1285 1433 301696 | 6050 4064 1104 | 0.000 % | c | 46600 | 1285 1433 301696 | 6655 4289 1104 | 0.000 % | c | 46937 | 1285 1433 301696 | 7320 4626 1103 | 0.000 % | c =============================================================================== c New solution: 2156458 c Elapsed CPU time: 141.581 s Remaining CPU time: 38.4185 s c =============================================================================== c | 46939 | 1285 1434 302839 | 5000 4628 1103 | 0.000 % | c =============================================================================== c New solution: 2156443 c Elapsed CPU time: 141.764 s Remaining CPU time: 38.2356 s c =============================================================================== c | 46939 | 1285 1435 303982 | 5000 4628 1103 | 0.000 % | c =============================================================================== c New solution: 2156193 c Elapsed CPU time: 142.131 s Remaining CPU time: 37.8686 s c =============================================================================== c | 47000 | 1285 1436 305125 | 5000 4689 1103 | 0.000 % | c =============================================================================== c New solution: 2155778 c Elapsed CPU time: 142.504 s Remaining CPU time: 37.4957 s c =============================================================================== c | 47067 | 1285 1437 306268 | 5000 4756 1103 | 0.000 % | c | 47168 | 1285 1437 306268 | 5500 4857 1103 | 0.000 % | c | 47318 | 1285 1437 306268 | 6050 5007 1103 | 0.000 % | c | 47543 | 1285 1437 306268 | 6655 5232 1103 | 0.000 % | c | 47880 | 1285 1437 306268 | 7320 5569 1103 | 0.000 % | c | 48386 | 1285 1437 306268 | 8052 6075 1103 | 0.000 % | c =============================================================================== c New solution: 2155388 c Elapsed CPU time: 147.907 s Remaining CPU time: 32.0935 s c =============================================================================== c | 48630 | 1285 1438 307411 | 5000 6319 1103 | 0.000 % | c | 48731 | 1285 1438 307411 | 5500 3261 1103 | 0.000 % | c | 48881 | 1285 1438 307411 | 6050 3411 1103 | 0.000 % | c | 49106 | 1285 1438 307411 | 6655 3636 1103 | 0.000 % | c | 49443 | 1285 1438 307411 | 7320 3973 1103 | 0.000 % | c =============================================================================== c New solution: 2155374 c Elapsed CPU time: 151.597 s Remaining CPU time: 28.403 s c =============================================================================== c | 49617 | 1285 1439 308554 | 5000 4147 1103 | 0.000 % | c | 49719 | 1285 1439 308554 | 5500 4249 1103 | 0.000 % | c | 49869 | 1285 1439 308554 | 6050 4399 1103 | 0.000 % | c | 50095 | 1285 1439 308554 | 6655 4625 1103 | 0.000 % | c =============================================================================== c New solution: 2155297 c Elapsed CPU time: 154.489 s Remaining CPU time: 25.5115 s c =============================================================================== c | 50303 | 1285 1440 309697 | 5000 4833 1103 | 0.000 % | c | 50403 | 1285 1440 309697 | 5500 4933 1103 | 0.000 % | c | 50553 | 1285 1440 309697 | 6050 5083 1103 | 0.000 % | c | 50779 | 1285 1440 309697 | 6655 5309 1103 | 0.000 % | c | 51117 | 1285 1440 309697 | 7320 5647 1103 | 0.000 % | c =============================================================================== c New solution: 2154921 c Elapsed CPU time: 158.535 s Remaining CPU time: 21.4651 s c =============================================================================== c | 51402 | 1285 1441 310840 | 5000 5932 1103 | 0.000 % | c =============================================================================== c New solution: 2154611 c Elapsed CPU time: 158.862 s Remaining CPU time: 21.1382 s c =============================================================================== c | 51433 | 1285 1442 311983 | 5000 2997 1103 | 0.000 % | c | 51533 | 1285 1442 311983 | 5500 3097 1103 | 0.000 % | c =============================================================================== c New solution: 2154572 c Elapsed CPU time: 159.831 s Remaining CPU time: 20.1693 s c =============================================================================== c | 51609 | 1285 1443 313126 | 5000 3173 1103 | 0.000 % | c | 51709 | 1285 1443 313126 | 5500 3273 1103 | 0.000 % | c | 51860 | 1285 1443 313126 | 6050 3424 1103 | 0.000 % | c | 52085 | 1285 1443 313126 | 6655 3649 1103 | 0.000 % | c =============================================================================== c New solution: 2154381 c Elapsed CPU time: 161.887 s Remaining CPU time: 18.1126 s c =============================================================================== c | 52087 | 1285 1444 314269 | 5000 3651 1103 | 0.000 % | c =============================================================================== c New solution: 2154100 c Elapsed CPU time: 162.13 s Remaining CPU time: 17.8696 s c =============================================================================== c | 52096 | 1285 1445 315412 | 5000 3660 1103 | 0.000 % | c =============================================================================== c New solution: 2154093 c Elapsed CPU time: 162.34 s Remaining CPU time: 17.6597 s c =============================================================================== c | 52097 | 1285 1446 316555 | 5000 3661 1103 | 0.000 % | c | 52197 | 1285 1446 316555 | 5500 3761 1103 | 0.000 % | c | 52347 | 1285 1446 316555 | 6050 3911 1103 | 0.000 % | c | 52572 | 1285 1446 316555 | 6655 4136 1103 | 0.000 % | c =============================================================================== c New solution: 2154054 c Elapsed CPU time: 164.582 s Remaining CPU time: 15.418 s c =============================================================================== c | 52665 | 1285 1447 317698 | 5000 4229 1103 | 0.000 % | c | 52766 | 1285 1447 317698 | 5500 4330 1103 | 0.000 % | c =============================================================================== c New solution: 2153899 c Elapsed CPU time: 165.373 s Remaining CPU time: 14.6271 s c =============================================================================== c | 52781 | 1285 1448 318841 | 5000 4345 1103 | 0.000 % | c | 52881 | 1285 1448 318841 | 5500 4445 1103 | 0.000 % | c | 53032 | 1285 1448 318841 | 6050 4596 1103 | 0.000 % | c | 53259 | 1285 1448 318841 | 6655 4823 1103 | 0.000 % | c | 53596 | 1285 1448 318841 | 7320 5160 1103 | 0.000 % | c =============================================================================== c New solution: 2153879 c Elapsed CPU time: 170.365 s Remaining CPU time: 9.6349 s c =============================================================================== c | 53941 | 1285 1449 319984 | 5000 5505 1103 | 0.000 % | c =============================================================================== c New solution: 2153859 c Elapsed CPU time: 170.843 s Remaining CPU time: 9.15697 s c =============================================================================== c | 54011 | 1285 1450 321127 | 5000 2823 1102 | 0.000 % | c | 54111 | 1285 1450 321127 | 5500 2923 1102 | 0.000 % | c | 54262 | 1285 1450 321127 | 6050 3074 1102 | 0.000 % | c | 54488 | 1285 1450 321127 | 6655 3300 1102 | 0.000 % | c | 54825 | 1285 1450 321127 | 7320 3637 1102 | 0.000 % | c =============================================================================== c New solution: 2153456 c Elapsed CPU time: 174.981 s Remaining CPU time: 5.0186 s c =============================================================================== c | 54910 | 1285 1451 322270 | 5000 3722 1102 | 0.000 % | c | 55010 | 1285 1451 322270 | 5500 3822 1102 | 0.000 % | c | 55160 | 1285 1451 322270 | 6050 3972 1102 | 0.000 % | c =============================================================================== c New solution: 2153174 c Elapsed CPU time: 177.363 s Remaining CPU time: 2.63696 s c =============================================================================== c | 55374 | 1285 1452 323413 | 5000 4186 1101 | 0.000 % | c =============================================================================== c New solution: 2152881 c Elapsed CPU time: 177.689 s Remaining CPU time: 2.31101 s c =============================================================================== c | 55424 | 1285 1453 324556 | 5000 4236 1101 | 0.000 % | c =============================================================================== c New solution: 2152530 c Elapsed CPU time: 177.913 s Remaining CPU time: 2.08705 s c =============================================================================== c | 55426 | 1285 1454 325699 | 5000 4238 1101 | 0.000 % | c =============================================================================== c New solution: 2152458 c Elapsed CPU time: 178.136 s Remaining CPU time: 1.86408 s c =============================================================================== c | 55426 | 1285 1455 326842 | 5000 4238 1101 | 0.000 % | c =============================================================================== c New solution: 2152011 c Elapsed CPU time: 178.363 s Remaining CPU time: 1.63712 s c =============================================================================== c | 55426 | 1285 1456 327985 | 5000 4238 1101 | 0.000 % | c =============================================================================== c New solution: 2151840 c Elapsed CPU time: 178.573 s Remaining CPU time: 1.42715 s c =============================================================================== c | 55426 | 1285 1457 329128 | 5000 4238 1101 | 0.000 % | c | 55528 | 1285 1457 329128 | 5500 4340 1101 | 0.000 % | c | 55679 | 1285 1457 329128 | 6050 4491 1101 | 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 | 207 2668 3994 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 215 2677 4090 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 223 2684 4103 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 232 2692 4113 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 244 2703 4134 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 254 2713 4160 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 265 2723 4216 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 277 2734 4231 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 291 2747 4252 | 5000 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 2762 4281 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 327 2781 4309 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 347 2800 4337 | 5000 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 2819 4362 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 389 2840 4387 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 413 2863 4424 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 439 2888 4465 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 458 2906 4485 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 468 2915 4498 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 497 2943 4592 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 506 2951 4602 | 5000 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 2984 4667 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 573 3016 4731 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 590 3032 4751 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 608 3049 4780 | 5000 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 3080 4816 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 656 3090 4907 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 666 3099 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 | 683 3115 4944 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 717 3148 5013 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 735 3165 5033 | 5000 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 3170 5040 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 750 3178 5052 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 764 3191 5068 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 774 3202 5082 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 789 3215 5106 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 795 3220 5113 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 804 3228 5123 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 812 3235 5134 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 820 3242 5143 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 829 3250 5153 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 851 3271 5256 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 858 3277 5268 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 870 3285 5330 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 891 3305 5354 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 905 3318 5377 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 922 3334 5396 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 940 3351 5427 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 964 3374 5500 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 982 3391 5525 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 997 3405 5549 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1004 3411 5557 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1015 3417 5588 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1031 3432 5621 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1041 3441 5632 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1050 3449 5644 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1062 3460 5661 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1091 3486 5694 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1103 3497 5711 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1117 3512 5733 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1127 3521 5748 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1142 3536 5777 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1160 3553 5802 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1194 3586 5851 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1217 3608 5889 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1229 3619 5904 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1251 3641 5942 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1285 3674 5983 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1296 3684 5999 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1343 3730 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 | 1383 3769 6171 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1411 3796 6210 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1456 3840 6270 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1483 3866 6323 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1512 3895 6376 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1529 3911 6400 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1548 3929 6422 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1568 3948 6453 | 5000 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 3969 6484 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1613 3991 6512 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1636 4013 6546 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1658 4034 6585 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1693 4067 6638 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1727 4100 6689 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1761 4133 6740 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1796 4167 6815 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1837 4207 6885 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1866 4235 6916 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1891 4259 6968 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1926 4293 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 | 1939 4306 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 | 1984 4350 7125 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2010 4375 7182 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2041 4405 7246 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2069 4432 7285 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2100 4462 7349 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2116 4477 7368 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2142 4502 7433 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2227 4586 7653 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2237 4595 7664 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2266 4623 7700 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2298 4654 7773 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2385 4740 7970 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2470 4819 8147 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2481 4829 8159 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2505 4852 8192 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2517 4863 8209 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2530 4875 8229 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2541 4885 8241 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2554 4897 8263 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2581 4922 8293 | 5000 0 nan | 0.000 % | c ===============================================================================