c wbo 1.4 beta - 20100610 c | Number of variables: 173 | c | Number of clauses: 1282 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1373 | c | Number Clauses: 1257 | 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 | 1373 1257 4869 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2414690 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 1373 1258 6094 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2413547 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1373 1259 7319 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2413398 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 36 | 1373 1260 8544 | 5000 36 1207 | 0.000 % | c =============================================================================== c New solution: 2413231 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 65 | 1373 1261 9769 | 5000 65 1206 | 0.000 % | c | 165 | 1373 1261 9769 | 5500 165 1207 | 0.000 % | c =============================================================================== c New solution: 2413157 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 180 | 1373 1262 10994 | 5000 180 1207 | 0.000 % | c =============================================================================== c New solution: 2413137 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 245 | 1373 1263 12219 | 5000 245 1207 | 0.000 % | c =============================================================================== c New solution: 2412773 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s c =============================================================================== c | 344 | 1373 1264 13444 | 5000 344 1207 | 0.000 % | c =============================================================================== c New solution: 2412650 c Elapsed CPU time: 0.281957 s Remaining CPU time: 179.718 s c =============================================================================== c | 397 | 1373 1265 14669 | 5000 397 1206 | 0.000 % | c =============================================================================== c New solution: 2412398 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 405 | 1373 1266 15894 | 5000 405 1206 | 0.000 % | c =============================================================================== c New solution: 2411818 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 414 | 1373 1267 17119 | 5000 414 1206 | 0.000 % | c =============================================================================== c New solution: 2411675 c Elapsed CPU time: 0.372943 s Remaining CPU time: 179.627 s c =============================================================================== c | 489 | 1373 1268 18344 | 5000 489 1207 | 0.000 % | c =============================================================================== c New solution: 2411540 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s c =============================================================================== c | 528 | 1373 1269 19569 | 5000 528 1207 | 0.000 % | c =============================================================================== c New solution: 2411238 c Elapsed CPU time: 0.444932 s Remaining CPU time: 179.555 s c =============================================================================== c | 545 | 1373 1270 20794 | 5000 545 1207 | 0.000 % | c | 645 | 1373 1270 20794 | 5500 645 1206 | 0.000 % | c =============================================================================== c New solution: 2411147 c Elapsed CPU time: 0.6569 s Remaining CPU time: 179.343 s c =============================================================================== c | 722 | 1373 1271 22019 | 5000 722 1206 | 0.000 % | c =============================================================================== c New solution: 2411111 c Elapsed CPU time: 0.725889 s Remaining CPU time: 179.274 s c =============================================================================== c | 773 | 1373 1272 23244 | 5000 773 1206 | 0.000 % | c =============================================================================== c New solution: 2411021 c Elapsed CPU time: 0.78688 s Remaining CPU time: 179.213 s c =============================================================================== c | 800 | 1373 1273 24469 | 5000 800 1206 | 0.000 % | c =============================================================================== c New solution: 2411010 c Elapsed CPU time: 0.84987 s Remaining CPU time: 179.15 s c =============================================================================== c | 850 | 1373 1274 25694 | 5000 850 1206 | 0.000 % | c | 950 | 1373 1274 25694 | 5500 950 1205 | 0.000 % | c =============================================================================== c New solution: 2410907 c Elapsed CPU time: 1.00485 s Remaining CPU time: 178.995 s c =============================================================================== c | 1013 | 1373 1275 26919 | 5000 1013 1205 | 0.000 % | c =============================================================================== c New solution: 2410866 c Elapsed CPU time: 1.03384 s Remaining CPU time: 178.966 s c =============================================================================== c | 1029 | 1373 1276 28144 | 5000 1029 1205 | 0.000 % | c =============================================================================== c New solution: 2410752 c Elapsed CPU time: 1.04684 s Remaining CPU time: 178.953 s c =============================================================================== c | 1030 | 1373 1277 29369 | 5000 1030 1205 | 0.000 % | c =============================================================================== c New solution: 2410620 c Elapsed CPU time: 1.07883 s Remaining CPU time: 178.921 s c =============================================================================== c | 1046 | 1373 1278 30594 | 5000 1046 1205 | 0.000 % | c =============================================================================== c New solution: 2410265 c Elapsed CPU time: 1.11183 s Remaining CPU time: 178.888 s c =============================================================================== c | 1063 | 1373 1279 31819 | 5000 1063 1205 | 0.000 % | c =============================================================================== c New solution: 2410251 c Elapsed CPU time: 1.12883 s Remaining CPU time: 178.871 s c =============================================================================== c | 1063 | 1373 1280 33044 | 5000 1063 1205 | 0.000 % | c =============================================================================== c New solution: 2410247 c Elapsed CPU time: 1.15282 s Remaining CPU time: 178.847 s c =============================================================================== c | 1070 | 1373 1281 34269 | 5000 1070 1205 | 0.000 % | c =============================================================================== c New solution: 2410228 c Elapsed CPU time: 1.17482 s Remaining CPU time: 178.825 s c =============================================================================== c | 1074 | 1373 1282 35494 | 5000 1074 1205 | 0.000 % | c =============================================================================== c New solution: 2410090 c Elapsed CPU time: 1.20282 s Remaining CPU time: 178.797 s c =============================================================================== c | 1082 | 1373 1283 36719 | 5000 1082 1205 | 0.000 % | c =============================================================================== c New solution: 2410028 c Elapsed CPU time: 1.22981 s Remaining CPU time: 178.77 s c =============================================================================== c | 1087 | 1373 1284 37944 | 5000 1087 1205 | 0.000 % | c =============================================================================== c New solution: 2409985 c Elapsed CPU time: 1.26181 s Remaining CPU time: 178.738 s c =============================================================================== c | 1095 | 1373 1285 39169 | 5000 1095 1205 | 0.000 % | c =============================================================================== c New solution: 2409760 c Elapsed CPU time: 1.2918 s Remaining CPU time: 178.708 s c =============================================================================== c | 1104 | 1373 1286 40394 | 5000 1104 1205 | 0.000 % | c =============================================================================== c New solution: 2409746 c Elapsed CPU time: 1.34979 s Remaining CPU time: 178.65 s c =============================================================================== c | 1128 | 1373 1287 41619 | 5000 1128 1205 | 0.000 % | c =============================================================================== c New solution: 2409585 c Elapsed CPU time: 1.47278 s Remaining CPU time: 178.527 s c =============================================================================== c | 1222 | 1373 1288 42844 | 5000 1222 1205 | 0.000 % | c =============================================================================== c New solution: 2409498 c Elapsed CPU time: 1.50577 s Remaining CPU time: 178.494 s c =============================================================================== c | 1235 | 1373 1289 44069 | 5000 1235 1205 | 0.000 % | c =============================================================================== c New solution: 2409330 c Elapsed CPU time: 1.52577 s Remaining CPU time: 178.474 s c =============================================================================== c | 1236 | 1373 1290 45294 | 5000 1236 1205 | 0.000 % | c =============================================================================== c New solution: 2409236 c Elapsed CPU time: 1.54776 s Remaining CPU time: 178.452 s c =============================================================================== c | 1239 | 1373 1291 46519 | 5000 1239 1205 | 0.000 % | c =============================================================================== c New solution: 2409143 c Elapsed CPU time: 1.57176 s Remaining CPU time: 178.428 s c =============================================================================== c | 1241 | 1373 1292 47744 | 5000 1241 1205 | 0.000 % | c | 1341 | 1373 1292 47744 | 5500 1341 1205 | 0.000 % | c =============================================================================== c New solution: 2409126 c Elapsed CPU time: 1.72374 s Remaining CPU time: 178.276 s c =============================================================================== c | 1348 | 1373 1293 48969 | 5000 1348 1205 | 0.000 % | c =============================================================================== c New solution: 2409016 c Elapsed CPU time: 1.75773 s Remaining CPU time: 178.242 s c =============================================================================== c | 1353 | 1373 1294 50194 | 5000 1353 1205 | 0.000 % | c =============================================================================== c New solution: 2407937 c Elapsed CPU time: 1.79473 s Remaining CPU time: 178.205 s c =============================================================================== c | 1369 | 1373 1295 51419 | 5000 1369 1205 | 0.000 % | c =============================================================================== c New solution: 2407783 c Elapsed CPU time: 1.81972 s Remaining CPU time: 178.18 s c =============================================================================== c | 1372 | 1373 1296 52644 | 5000 1372 1205 | 0.000 % | c =============================================================================== c New solution: 2407772 c Elapsed CPU time: 1.85872 s Remaining CPU time: 178.141 s c =============================================================================== c | 1388 | 1373 1297 53869 | 5000 1388 1205 | 0.000 % | c | 1489 | 1373 1297 53869 | 5500 1489 1204 | 0.000 % | c =============================================================================== c New solution: 2407745 c Elapsed CPU time: 1.9977 s Remaining CPU time: 178.002 s c =============================================================================== c | 1497 | 1373 1298 55094 | 5000 1497 1204 | 0.000 % | c =============================================================================== c New solution: 2407528 c Elapsed CPU time: 2.06768 s Remaining CPU time: 177.932 s c =============================================================================== c | 1533 | 1373 1299 56319 | 5000 1533 1204 | 0.000 % | c =============================================================================== c New solution: 2407461 c Elapsed CPU time: 2.14567 s Remaining CPU time: 177.854 s c =============================================================================== c | 1581 | 1373 1300 57544 | 5000 1581 1204 | 0.000 % | c =============================================================================== c New solution: 2407332 c Elapsed CPU time: 2.19867 s Remaining CPU time: 177.801 s c =============================================================================== c | 1600 | 1373 1301 58769 | 5000 1600 1204 | 0.000 % | c | 1700 | 1373 1301 58769 | 5500 1700 1204 | 0.000 % | c =============================================================================== c New solution: 2407306 c Elapsed CPU time: 2.41663 s Remaining CPU time: 177.583 s c =============================================================================== c | 1729 | 1373 1302 59994 | 5000 1729 1204 | 0.000 % | c =============================================================================== c New solution: 2407270 c Elapsed CPU time: 2.47662 s Remaining CPU time: 177.523 s c =============================================================================== c | 1746 | 1373 1303 61219 | 5000 1746 1204 | 0.000 % | c =============================================================================== c New solution: 2407130 c Elapsed CPU time: 2.57061 s Remaining CPU time: 177.429 s c =============================================================================== c | 1800 | 1373 1304 62444 | 5000 1800 1204 | 0.000 % | c =============================================================================== c New solution: 2406966 c Elapsed CPU time: 2.6156 s Remaining CPU time: 177.384 s c =============================================================================== c | 1811 | 1373 1305 63669 | 5000 1811 1204 | 0.000 % | c =============================================================================== c New solution: 2406877 c Elapsed CPU time: 2.66859 s Remaining CPU time: 177.331 s c =============================================================================== c | 1831 | 1373 1306 64894 | 5000 1831 1204 | 0.000 % | c =============================================================================== c New solution: 2406718 c Elapsed CPU time: 2.69959 s Remaining CPU time: 177.3 s c =============================================================================== c | 1831 | 1373 1307 66119 | 5000 1831 1204 | 0.000 % | c =============================================================================== c New solution: 2406643 c Elapsed CPU time: 2.72758 s Remaining CPU time: 177.272 s c =============================================================================== c | 1831 | 1373 1308 67344 | 5000 1831 1204 | 0.000 % | c =============================================================================== c New solution: 2406417 c Elapsed CPU time: 2.75558 s Remaining CPU time: 177.244 s c =============================================================================== c | 1831 | 1373 1309 68569 | 5000 1831 1204 | 0.000 % | c =============================================================================== c New solution: 2406242 c Elapsed CPU time: 2.78558 s Remaining CPU time: 177.214 s c =============================================================================== c | 1831 | 1373 1310 69794 | 5000 1831 1204 | 0.000 % | c =============================================================================== c New solution: 2406206 c Elapsed CPU time: 2.85357 s Remaining CPU time: 177.146 s c =============================================================================== c | 1860 | 1373 1311 71019 | 5000 1860 1204 | 0.000 % | c =============================================================================== c New solution: 2406170 c Elapsed CPU time: 2.90956 s Remaining CPU time: 177.09 s c =============================================================================== c | 1878 | 1373 1312 72244 | 5000 1878 1204 | 0.000 % | c =============================================================================== c New solution: 2406013 c Elapsed CPU time: 3.09053 s Remaining CPU time: 176.909 s c =============================================================================== c | 1962 | 1373 1313 73469 | 5000 1962 1204 | 0.000 % | c =============================================================================== c New solution: 2406005 c Elapsed CPU time: 3.13152 s Remaining CPU time: 176.868 s c =============================================================================== c | 1965 | 1373 1314 74694 | 5000 1965 1204 | 0.000 % | c =============================================================================== c New solution: 2405969 c Elapsed CPU time: 3.16952 s Remaining CPU time: 176.83 s c =============================================================================== c | 1967 | 1373 1315 75919 | 5000 1967 1204 | 0.000 % | c =============================================================================== c New solution: 2405888 c Elapsed CPU time: 3.3065 s Remaining CPU time: 176.694 s c =============================================================================== c | 2059 | 1373 1316 77144 | 5000 2059 1204 | 0.000 % | c =============================================================================== c New solution: 2405800 c Elapsed CPU time: 3.38948 s Remaining CPU time: 176.611 s c =============================================================================== c | 2102 | 1373 1317 78369 | 5000 2102 1204 | 0.000 % | c =============================================================================== c New solution: 2405629 c Elapsed CPU time: 3.46747 s Remaining CPU time: 176.533 s c =============================================================================== c | 2129 | 1373 1318 79594 | 5000 2129 1204 | 0.000 % | c =============================================================================== c New solution: 2405583 c Elapsed CPU time: 3.55246 s Remaining CPU time: 176.448 s c =============================================================================== c | 2169 | 1373 1319 80819 | 5000 2169 1204 | 0.000 % | c =============================================================================== c New solution: 2405431 c Elapsed CPU time: 3.62645 s Remaining CPU time: 176.374 s c =============================================================================== c | 2183 | 1373 1320 82044 | 5000 2183 1204 | 0.000 % | c =============================================================================== c New solution: 2405225 c Elapsed CPU time: 3.68644 s Remaining CPU time: 176.314 s c =============================================================================== c | 2185 | 1373 1321 83269 | 5000 2185 1204 | 0.000 % | c =============================================================================== c New solution: 2405106 c Elapsed CPU time: 3.77942 s Remaining CPU time: 176.221 s c =============================================================================== c | 2206 | 1373 1322 84494 | 5000 2206 1204 | 0.000 % | c =============================================================================== c New solution: 2405060 c Elapsed CPU time: 3.9204 s Remaining CPU time: 176.08 s c =============================================================================== c | 2276 | 1373 1323 85719 | 5000 2276 1204 | 0.000 % | c =============================================================================== c New solution: 2404620 c Elapsed CPU time: 3.9674 s Remaining CPU time: 176.033 s c =============================================================================== c | 2276 | 1373 1324 86944 | 5000 2276 1204 | 0.000 % | c =============================================================================== c New solution: 2404294 c Elapsed CPU time: 4.01239 s Remaining CPU time: 175.988 s c =============================================================================== c | 2276 | 1373 1325 88169 | 5000 2276 1204 | 0.000 % | c =============================================================================== c New solution: 2403985 c Elapsed CPU time: 4.05738 s Remaining CPU time: 175.943 s c =============================================================================== c | 2276 | 1373 1326 89394 | 5000 2276 1204 | 0.000 % | c =============================================================================== c New solution: 2403853 c Elapsed CPU time: 4.10338 s Remaining CPU time: 175.897 s c =============================================================================== c | 2276 | 1373 1327 90619 | 5000 2276 1204 | 0.000 % | c =============================================================================== c New solution: 2403835 c Elapsed CPU time: 4.15137 s Remaining CPU time: 175.849 s c =============================================================================== c | 2276 | 1373 1328 91844 | 5000 2276 1204 | 0.000 % | c =============================================================================== c New solution: 2403743 c Elapsed CPU time: 4.21036 s Remaining CPU time: 175.79 s c =============================================================================== c | 2278 | 1373 1329 93069 | 5000 2278 1204 | 0.000 % | c =============================================================================== c New solution: 2403620 c Elapsed CPU time: 4.29835 s Remaining CPU time: 175.702 s c =============================================================================== c | 2304 | 1373 1330 94294 | 5000 2304 1204 | 0.000 % | c =============================================================================== c New solution: 2403536 c Elapsed CPU time: 4.35734 s Remaining CPU time: 175.643 s c =============================================================================== c | 2305 | 1373 1331 95519 | 5000 2305 1204 | 0.000 % | c =============================================================================== c New solution: 2403486 c Elapsed CPU time: 4.45232 s Remaining CPU time: 175.548 s c =============================================================================== c | 2333 | 1373 1332 96744 | 5000 2333 1203 | 0.000 % | c =============================================================================== c New solution: 2403480 c Elapsed CPU time: 4.55931 s Remaining CPU time: 175.441 s c =============================================================================== c | 2362 | 1373 1333 97969 | 5000 2362 1203 | 0.000 % | c =============================================================================== c New solution: 2403346 c Elapsed CPU time: 4.6213 s Remaining CPU time: 175.379 s c =============================================================================== c | 2366 | 1373 1334 99194 | 5000 2366 1203 | 0.000 % | c =============================================================================== c New solution: 2403303 c Elapsed CPU time: 4.71428 s Remaining CPU time: 175.286 s c =============================================================================== c | 2387 | 1373 1335 100419 | 5000 2387 1203 | 0.000 % | c =============================================================================== c New solution: 2403198 c Elapsed CPU time: 4.77927 s Remaining CPU time: 175.221 s c =============================================================================== c | 2389 | 1373 1336 101644 | 5000 2389 1203 | 0.000 % | c =============================================================================== c New solution: 2402706 c Elapsed CPU time: 4.83926 s Remaining CPU time: 175.161 s c =============================================================================== c | 2390 | 1373 1337 102869 | 5000 2390 1203 | 0.000 % | c =============================================================================== c New solution: 2402531 c Elapsed CPU time: 4.89825 s Remaining CPU time: 175.102 s c =============================================================================== c | 2390 | 1373 1338 104094 | 5000 2390 1203 | 0.000 % | c | 2490 | 1373 1338 104094 | 5500 2490 1203 | 0.000 % | c | 2641 | 1373 1338 104094 | 6050 2641 1203 | 0.000 % | c =============================================================================== c New solution: 2402414 c Elapsed CPU time: 5.69613 s Remaining CPU time: 174.304 s c =============================================================================== c | 2782 | 1373 1339 105319 | 5000 2782 1203 | 0.000 % | c | 2882 | 1373 1339 105319 | 5500 2882 1203 | 0.000 % | c | 3033 | 1373 1339 105319 | 6050 3033 1203 | 0.000 % | c =============================================================================== c New solution: 2402331 c Elapsed CPU time: 6.31904 s Remaining CPU time: 173.681 s c =============================================================================== c | 3043 | 1373 1340 106544 | 5000 3043 1203 | 0.000 % | c =============================================================================== c New solution: 2402313 c Elapsed CPU time: 6.38603 s Remaining CPU time: 173.614 s c =============================================================================== c | 3053 | 1373 1341 107769 | 5000 3053 1203 | 0.000 % | c =============================================================================== c New solution: 2402189 c Elapsed CPU time: 6.51501 s Remaining CPU time: 173.485 s c =============================================================================== c | 3091 | 1373 1342 108994 | 5000 3091 1203 | 0.000 % | c =============================================================================== c New solution: 2402141 c Elapsed CPU time: 6.62599 s Remaining CPU time: 173.374 s c =============================================================================== c | 3109 | 1373 1343 110219 | 5000 3109 1202 | 0.000 % | c =============================================================================== c New solution: 2402031 c Elapsed CPU time: 6.69898 s Remaining CPU time: 173.301 s c =============================================================================== c | 3112 | 1373 1344 111444 | 5000 3112 1202 | 0.000 % | c =============================================================================== c New solution: 2402024 c Elapsed CPU time: 6.80197 s Remaining CPU time: 173.198 s c =============================================================================== c | 3137 | 1373 1345 112669 | 5000 3137 1202 | 0.000 % | c =============================================================================== c New solution: 2402005 c Elapsed CPU time: 6.87695 s Remaining CPU time: 173.123 s c =============================================================================== c | 3139 | 1373 1346 113894 | 5000 3139 1202 | 0.000 % | c =============================================================================== c New solution: 2401873 c Elapsed CPU time: 6.96194 s Remaining CPU time: 173.038 s c =============================================================================== c | 3151 | 1373 1347 115119 | 5000 3151 1202 | 0.000 % | c =============================================================================== c New solution: 2401707 c Elapsed CPU time: 7.04693 s Remaining CPU time: 172.953 s c =============================================================================== c | 3158 | 1373 1348 116344 | 5000 3158 1202 | 0.000 % | c | 3258 | 1373 1348 116344 | 5500 3258 1202 | 0.000 % | c =============================================================================== c New solution: 2401705 c Elapsed CPU time: 7.33089 s Remaining CPU time: 172.669 s c =============================================================================== c | 3263 | 1373 1349 117569 | 5000 3263 1202 | 0.000 % | c =============================================================================== c New solution: 2401623 c Elapsed CPU time: 7.40487 s Remaining CPU time: 172.595 s c =============================================================================== c | 3269 | 1373 1350 118794 | 5000 3269 1202 | 0.000 % | c =============================================================================== c New solution: 2401337 c Elapsed CPU time: 7.48686 s Remaining CPU time: 172.513 s c =============================================================================== c | 3279 | 1373 1351 120019 | 5000 3279 1202 | 0.000 % | c | 3379 | 1373 1351 120019 | 5500 3379 1202 | 0.000 % | c =============================================================================== c New solution: 2401307 c Elapsed CPU time: 7.9058 s Remaining CPU time: 172.094 s c =============================================================================== c | 3427 | 1373 1352 121244 | 5000 3427 1202 | 0.000 % | c =============================================================================== c New solution: 2401221 c Elapsed CPU time: 8.05678 s Remaining CPU time: 171.943 s c =============================================================================== c | 3460 | 1373 1353 122469 | 5000 3460 1202 | 0.000 % | c =============================================================================== c New solution: 2401209 c Elapsed CPU time: 8.21675 s Remaining CPU time: 171.783 s c =============================================================================== c | 3494 | 1373 1354 123694 | 5000 3494 1202 | 0.000 % | c =============================================================================== c New solution: 2401034 c Elapsed CPU time: 8.28174 s Remaining CPU time: 171.718 s c =============================================================================== c | 3494 | 1373 1355 124919 | 5000 3494 1202 | 0.000 % | c =============================================================================== c New solution: 2400996 c Elapsed CPU time: 8.5437 s Remaining CPU time: 171.456 s c =============================================================================== c | 3572 | 1373 1356 126144 | 5000 3572 1202 | 0.000 % | c =============================================================================== c New solution: 2400987 c Elapsed CPU time: 8.75167 s Remaining CPU time: 171.248 s c =============================================================================== c | 3628 | 1373 1357 127369 | 5000 3628 1202 | 0.000 % | c | 3728 | 1373 1357 127369 | 5500 3728 1202 | 0.000 % | c =============================================================================== c New solution: 2400941 c Elapsed CPU time: 9.09262 s Remaining CPU time: 170.907 s c =============================================================================== c | 3747 | 1373 1358 128594 | 5000 3747 1202 | 0.000 % | c =============================================================================== c New solution: 2400360 c Elapsed CPU time: 9.16961 s Remaining CPU time: 170.83 s c =============================================================================== c | 3748 | 1373 1359 129819 | 5000 3748 1202 | 0.000 % | c =============================================================================== c New solution: 2400229 c Elapsed CPU time: 9.29659 s Remaining CPU time: 170.703 s c =============================================================================== c | 3772 | 1373 1360 131044 | 5000 3772 1202 | 0.000 % | c =============================================================================== c New solution: 2400201 c Elapsed CPU time: 9.61554 s Remaining CPU time: 170.384 s c =============================================================================== c | 3871 | 1373 1361 132269 | 5000 3871 1202 | 0.000 % | c =============================================================================== c New solution: 2400158 c Elapsed CPU time: 9.69153 s Remaining CPU time: 170.308 s c =============================================================================== c | 3872 | 1373 1362 133494 | 5000 3872 1202 | 0.000 % | c =============================================================================== c New solution: 2400143 c Elapsed CPU time: 9.96349 s Remaining CPU time: 170.037 s c =============================================================================== c | 3959 | 1373 1363 134719 | 5000 3959 1202 | 0.000 % | c =============================================================================== c New solution: 2400052 c Elapsed CPU time: 10.1595 s Remaining CPU time: 169.841 s c =============================================================================== c | 4028 | 1373 1364 135944 | 5000 4028 1201 | 0.000 % | c =============================================================================== c New solution: 2399960 c Elapsed CPU time: 10.3804 s Remaining CPU time: 169.62 s c =============================================================================== c | 4115 | 1373 1365 137169 | 5000 4115 1201 | 0.000 % | c =============================================================================== c New solution: 2399799 c Elapsed CPU time: 10.5004 s Remaining CPU time: 169.5 s c =============================================================================== c | 4139 | 1373 1366 138394 | 5000 4139 1201 | 0.000 % | c =============================================================================== c New solution: 2399694 c Elapsed CPU time: 10.6114 s Remaining CPU time: 169.389 s c =============================================================================== c | 4150 | 1373 1367 139619 | 5000 4150 1201 | 0.000 % | c =============================================================================== c New solution: 2399602 c Elapsed CPU time: 10.7204 s Remaining CPU time: 169.28 s c =============================================================================== c | 4169 | 1373 1368 140844 | 5000 4169 1201 | 0.000 % | c | 4269 | 1373 1368 140844 | 5500 4269 1201 | 0.000 % | c =============================================================================== c New solution: 2399600 c Elapsed CPU time: 11.0743 s Remaining CPU time: 168.926 s c =============================================================================== c | 4290 | 1373 1369 142069 | 5000 4290 1201 | 0.000 % | c =============================================================================== c New solution: 2399571 c Elapsed CPU time: 11.2673 s Remaining CPU time: 168.733 s c =============================================================================== c | 4358 | 1373 1370 143294 | 5000 4358 1201 | 0.000 % | c | 4458 | 1373 1370 143294 | 5500 4458 1201 | 0.000 % | c =============================================================================== c New solution: 2399419 c Elapsed CPU time: 11.6332 s Remaining CPU time: 168.367 s c =============================================================================== c | 4480 | 1373 1371 144519 | 5000 4480 1201 | 0.000 % | c | 4580 | 1373 1371 144519 | 5500 4580 1201 | 0.000 % | c =============================================================================== c New solution: 2399406 c Elapsed CPU time: 12.0622 s Remaining CPU time: 167.938 s c =============================================================================== c | 4613 | 1373 1372 145744 | 5000 4613 1201 | 0.000 % | c =============================================================================== c New solution: 2399350 c Elapsed CPU time: 12.2591 s Remaining CPU time: 167.741 s c =============================================================================== c | 4662 | 1373 1373 146969 | 5000 4662 1201 | 0.000 % | c =============================================================================== c New solution: 2399264 c Elapsed CPU time: 12.3731 s Remaining CPU time: 167.627 s c =============================================================================== c | 4674 | 1373 1374 148194 | 5000 4674 1201 | 0.000 % | c =============================================================================== c New solution: 2399177 c Elapsed CPU time: 12.5711 s Remaining CPU time: 167.429 s c =============================================================================== c | 4705 | 1373 1375 149419 | 5000 4705 1201 | 0.000 % | c =============================================================================== c New solution: 2399146 c Elapsed CPU time: 12.853 s Remaining CPU time: 167.147 s c =============================================================================== c | 4789 | 1373 1376 150644 | 5000 4789 1201 | 0.000 % | c =============================================================================== c New solution: 2399098 c Elapsed CPU time: 13.079 s Remaining CPU time: 166.921 s c =============================================================================== c | 4840 | 1373 1377 151869 | 5000 4840 1201 | 0.000 % | c =============================================================================== c New solution: 2398975 c Elapsed CPU time: 13.211 s Remaining CPU time: 166.789 s c =============================================================================== c | 4856 | 1373 1378 153094 | 5000 4856 1201 | 0.000 % | c =============================================================================== c New solution: 2398911 c Elapsed CPU time: 13.35 s Remaining CPU time: 166.65 s c =============================================================================== c | 4875 | 1373 1379 154319 | 5000 4875 1201 | 0.000 % | c =============================================================================== c New solution: 2398832 c Elapsed CPU time: 13.5189 s Remaining CPU time: 166.481 s c =============================================================================== c | 4903 | 1373 1380 155544 | 5000 4903 1201 | 0.000 % | c =============================================================================== c New solution: 2398706 c Elapsed CPU time: 13.8039 s Remaining CPU time: 166.196 s c =============================================================================== c | 4990 | 1373 1381 156769 | 5000 4990 1201 | 0.000 % | c | 5090 | 1373 1381 156769 | 5500 5090 1200 | 0.000 % | c =============================================================================== c New solution: 2398514 c Elapsed CPU time: 14.2378 s Remaining CPU time: 165.762 s c =============================================================================== c | 5118 | 1373 1382 157994 | 5000 5118 1200 | 0.000 % | c =============================================================================== c New solution: 2398364 c Elapsed CPU time: 14.4178 s Remaining CPU time: 165.582 s c =============================================================================== c | 5157 | 1373 1383 159219 | 5000 2598 1198 | 0.000 % | c =============================================================================== c New solution: 2398249 c Elapsed CPU time: 14.6018 s Remaining CPU time: 165.398 s c =============================================================================== c | 5188 | 1373 1384 160444 | 5000 2629 1198 | 0.000 % | c | 5288 | 1373 1384 160444 | 5500 2729 1198 | 0.000 % | c =============================================================================== c New solution: 2398236 c Elapsed CPU time: 14.9977 s Remaining CPU time: 165.002 s c =============================================================================== c | 5299 | 1373 1385 161669 | 5000 2740 1198 | 0.000 % | c =============================================================================== c New solution: 2398153 c Elapsed CPU time: 15.1377 s Remaining CPU time: 164.862 s c =============================================================================== c | 5330 | 1373 1386 162894 | 5000 2771 1198 | 0.000 % | c =============================================================================== c New solution: 2398104 c Elapsed CPU time: 15.2587 s Remaining CPU time: 164.741 s c =============================================================================== c | 5344 | 1373 1387 164119 | 5000 2785 1198 | 0.000 % | c =============================================================================== c New solution: 2397973 c Elapsed CPU time: 15.4816 s Remaining CPU time: 164.518 s c =============================================================================== c | 5407 | 1373 1388 165344 | 5000 2848 1198 | 0.000 % | c | 5508 | 1373 1388 165344 | 5500 2949 1197 | 0.000 % | c =============================================================================== c New solution: 2397944 c Elapsed CPU time: 16.2315 s Remaining CPU time: 163.768 s c =============================================================================== c | 5617 | 1373 1389 166569 | 5000 3058 1197 | 0.000 % | c =============================================================================== c New solution: 2397802 c Elapsed CPU time: 16.3985 s Remaining CPU time: 163.601 s c =============================================================================== c | 5631 | 1373 1390 167794 | 5000 3072 1197 | 0.000 % | c =============================================================================== c New solution: 2397640 c Elapsed CPU time: 16.5365 s Remaining CPU time: 163.464 s c =============================================================================== c | 5651 | 1373 1391 169019 | 5000 3092 1197 | 0.000 % | c =============================================================================== c New solution: 2397583 c Elapsed CPU time: 16.7415 s Remaining CPU time: 163.259 s c =============================================================================== c | 5699 | 1373 1392 170244 | 5000 3140 1197 | 0.000 % | c =============================================================================== c New solution: 2397467 c Elapsed CPU time: 16.8414 s Remaining CPU time: 163.159 s c =============================================================================== c | 5699 | 1373 1393 171469 | 5000 3140 1197 | 0.000 % | c =============================================================================== c New solution: 2397292 c Elapsed CPU time: 16.9434 s Remaining CPU time: 163.057 s c =============================================================================== c | 5699 | 1373 1394 172694 | 5000 3140 1197 | 0.000 % | c =============================================================================== c New solution: 2396991 c Elapsed CPU time: 17.0634 s Remaining CPU time: 162.937 s c =============================================================================== c | 5699 | 1373 1395 173919 | 5000 3140 1197 | 0.000 % | c =============================================================================== c New solution: 2396816 c Elapsed CPU time: 17.1624 s Remaining CPU time: 162.838 s c =============================================================================== c | 5699 | 1373 1396 175144 | 5000 3140 1197 | 0.000 % | c =============================================================================== c New solution: 2396682 c Elapsed CPU time: 17.2774 s Remaining CPU time: 162.723 s c =============================================================================== c | 5703 | 1373 1397 176369 | 5000 3144 1197 | 0.000 % | c =============================================================================== c New solution: 2396507 c Elapsed CPU time: 17.3824 s Remaining CPU time: 162.618 s c =============================================================================== c | 5703 | 1373 1398 177594 | 5000 3144 1197 | 0.000 % | c =============================================================================== c New solution: 2396365 c Elapsed CPU time: 17.4913 s Remaining CPU time: 162.509 s c =============================================================================== c | 5705 | 1373 1399 178819 | 5000 3146 1197 | 0.000 % | c =============================================================================== c New solution: 2396324 c Elapsed CPU time: 17.9053 s Remaining CPU time: 162.095 s c =============================================================================== c | 5784 | 1373 1400 180044 | 5000 3225 1197 | 0.000 % | c =============================================================================== c New solution: 2396318 c Elapsed CPU time: 18.0832 s Remaining CPU time: 161.917 s c =============================================================================== c | 5801 | 1373 1401 181269 | 5000 3242 1197 | 0.000 % | c =============================================================================== c New solution: 2396271 c Elapsed CPU time: 18.1902 s Remaining CPU time: 161.81 s c =============================================================================== c | 5802 | 1373 1402 182494 | 5000 3243 1197 | 0.000 % | c =============================================================================== c New solution: 2396149 c Elapsed CPU time: 18.2992 s Remaining CPU time: 161.701 s c =============================================================================== c | 5803 | 1373 1403 183719 | 5000 3244 1197 | 0.000 % | c | 5904 | 1373 1403 183719 | 5500 3345 1197 | 0.000 % | c =============================================================================== c New solution: 2396051 c Elapsed CPU time: 19.1031 s Remaining CPU time: 160.897 s c =============================================================================== c | 6035 | 1373 1404 184944 | 5000 3476 1197 | 0.000 % | c =============================================================================== c New solution: 2395919 c Elapsed CPU time: 19.2721 s Remaining CPU time: 160.728 s c =============================================================================== c | 6074 | 1373 1405 186169 | 5000 3515 1197 | 0.000 % | c =============================================================================== c New solution: 2395864 c Elapsed CPU time: 19.534 s Remaining CPU time: 160.466 s c =============================================================================== c | 6149 | 1373 1406 187394 | 5000 3590 1197 | 0.000 % | c =============================================================================== c New solution: 2395785 c Elapsed CPU time: 19.718 s Remaining CPU time: 160.282 s c =============================================================================== c | 6179 | 1373 1407 188619 | 5000 3620 1197 | 0.000 % | c =============================================================================== c New solution: 2395777 c Elapsed CPU time: 19.928 s Remaining CPU time: 160.072 s c =============================================================================== c | 6221 | 1373 1408 189844 | 5000 3662 1197 | 0.000 % | c | 6322 | 1373 1408 189844 | 5500 3763 1197 | 0.000 % | c =============================================================================== c New solution: 2395641 c Elapsed CPU time: 20.3559 s Remaining CPU time: 159.644 s c =============================================================================== c | 6325 | 1373 1409 191069 | 5000 3766 1197 | 0.000 % | c =============================================================================== c New solution: 2395528 c Elapsed CPU time: 20.4849 s Remaining CPU time: 159.515 s c =============================================================================== c | 6327 | 1373 1410 192294 | 5000 3768 1197 | 0.000 % | c =============================================================================== c New solution: 2395483 c Elapsed CPU time: 20.5999 s Remaining CPU time: 159.4 s c =============================================================================== c | 6327 | 1373 1411 193519 | 5000 3768 1197 | 0.000 % | c =============================================================================== c New solution: 2395482 c Elapsed CPU time: 20.7178 s Remaining CPU time: 159.282 s c =============================================================================== c | 6329 | 1373 1412 194744 | 5000 3770 1197 | 0.000 % | c =============================================================================== c New solution: 2395365 c Elapsed CPU time: 20.8438 s Remaining CPU time: 159.156 s c =============================================================================== c | 6331 | 1373 1413 195969 | 5000 3772 1197 | 0.000 % | c =============================================================================== c New solution: 2395297 c Elapsed CPU time: 21.0858 s Remaining CPU time: 158.914 s c =============================================================================== c | 6356 | 1373 1414 197194 | 5000 3797 1197 | 0.000 % | c =============================================================================== c New solution: 2395263 c Elapsed CPU time: 21.3288 s Remaining CPU time: 158.671 s c =============================================================================== c | 6407 | 1373 1415 198419 | 5000 3848 1197 | 0.000 % | c =============================================================================== c New solution: 2395189 c Elapsed CPU time: 21.4637 s Remaining CPU time: 158.536 s c =============================================================================== c | 6414 | 1373 1416 199644 | 5000 3855 1197 | 0.000 % | c =============================================================================== c New solution: 2395076 c Elapsed CPU time: 21.6047 s Remaining CPU time: 158.395 s c =============================================================================== c | 6416 | 1373 1417 200869 | 5000 3857 1197 | 0.000 % | c =============================================================================== c New solution: 2395025 c Elapsed CPU time: 21.7277 s Remaining CPU time: 158.272 s c =============================================================================== c | 6416 | 1373 1418 202094 | 5000 3857 1197 | 0.000 % | c =============================================================================== c New solution: 2394850 c Elapsed CPU time: 21.8577 s Remaining CPU time: 158.142 s c =============================================================================== c | 6416 | 1373 1419 203319 | 5000 3857 1197 | 0.000 % | c =============================================================================== c New solution: 2394710 c Elapsed CPU time: 21.9937 s Remaining CPU time: 158.006 s c =============================================================================== c | 6416 | 1373 1420 204544 | 5000 3857 1197 | 0.000 % | c =============================================================================== c New solution: 2394621 c Elapsed CPU time: 22.1196 s Remaining CPU time: 157.88 s c =============================================================================== c | 6416 | 1373 1421 205769 | 5000 3857 1197 | 0.000 % | c =============================================================================== c New solution: 2394616 c Elapsed CPU time: 22.2806 s Remaining CPU time: 157.719 s c =============================================================================== c | 6422 | 1373 1422 206994 | 5000 3863 1197 | 0.000 % | c =============================================================================== c New solution: 2394581 c Elapsed CPU time: 22.4186 s Remaining CPU time: 157.581 s c =============================================================================== c | 6425 | 1373 1423 208219 | 5000 3866 1197 | 0.000 % | c | 6525 | 1373 1423 208219 | 5500 3966 1196 | 0.000 % | c =============================================================================== c New solution: 2394493 c Elapsed CPU time: 23.1695 s Remaining CPU time: 156.831 s c =============================================================================== c | 6566 | 1373 1424 209444 | 5000 4007 1196 | 0.000 % | c =============================================================================== c New solution: 2394355 c Elapsed CPU time: 23.3035 s Remaining CPU time: 156.697 s c =============================================================================== c | 6566 | 1373 1425 210669 | 5000 4007 1196 | 0.000 % | c =============================================================================== c New solution: 2394258 c Elapsed CPU time: 23.4414 s Remaining CPU time: 156.559 s c =============================================================================== c | 6568 | 1373 1426 211894 | 5000 4009 1196 | 0.000 % | c =============================================================================== c New solution: 2394162 c Elapsed CPU time: 23.6774 s Remaining CPU time: 156.323 s c =============================================================================== c | 6620 | 1373 1427 213119 | 5000 4061 1196 | 0.000 % | c =============================================================================== c New solution: 2394073 c Elapsed CPU time: 23.9254 s Remaining CPU time: 156.075 s c =============================================================================== c | 6676 | 1373 1428 214344 | 5000 4117 1196 | 0.000 % | c =============================================================================== c New solution: 2393989 c Elapsed CPU time: 24.1243 s Remaining CPU time: 155.876 s c =============================================================================== c | 6708 | 1373 1429 215569 | 5000 4149 1196 | 0.000 % | c =============================================================================== c New solution: 2393890 c Elapsed CPU time: 24.4273 s Remaining CPU time: 155.573 s c =============================================================================== c | 6774 | 1373 1430 216794 | 5000 4215 1196 | 0.000 % | c =============================================================================== c New solution: 2393864 c Elapsed CPU time: 24.7122 s Remaining CPU time: 155.288 s c =============================================================================== c | 6823 | 1373 1431 218019 | 5000 4264 1196 | 0.000 % | c =============================================================================== c New solution: 2393675 c Elapsed CPU time: 25.0052 s Remaining CPU time: 154.995 s c =============================================================================== c | 6871 | 1373 1432 219244 | 5000 4312 1196 | 0.000 % | c =============================================================================== c New solution: 2393556 c Elapsed CPU time: 25.2792 s Remaining CPU time: 154.721 s c =============================================================================== c | 6918 | 1373 1433 220469 | 5000 4359 1196 | 0.000 % | c | 7020 | 1373 1433 220469 | 5500 4461 1196 | 0.000 % | c =============================================================================== c New solution: 2393514 c Elapsed CPU time: 25.9581 s Remaining CPU time: 154.042 s c =============================================================================== c | 7034 | 1373 1434 221694 | 5000 4475 1196 | 0.000 % | c =============================================================================== c New solution: 2393269 c Elapsed CPU time: 26.127 s Remaining CPU time: 153.873 s c =============================================================================== c | 7041 | 1373 1435 222919 | 5000 4482 1196 | 0.000 % | c =============================================================================== c New solution: 2392989 c Elapsed CPU time: 26.369 s Remaining CPU time: 153.631 s c =============================================================================== c | 7067 | 1373 1436 224144 | 5000 4508 1196 | 0.000 % | c =============================================================================== c New solution: 2392820 c Elapsed CPU time: 26.558 s Remaining CPU time: 153.442 s c =============================================================================== c | 7079 | 1373 1437 225369 | 5000 4520 1196 | 0.000 % | c =============================================================================== c New solution: 2392784 c Elapsed CPU time: 26.8609 s Remaining CPU time: 153.139 s c =============================================================================== c | 7123 | 1373 1438 226594 | 5000 4564 1196 | 0.000 % | c =============================================================================== c New solution: 2392776 c Elapsed CPU time: 27.1629 s Remaining CPU time: 152.837 s c =============================================================================== c | 7154 | 1373 1439 227819 | 5000 4595 1196 | 0.000 % | c =============================================================================== c New solution: 2392746 c Elapsed CPU time: 27.5988 s Remaining CPU time: 152.401 s c =============================================================================== c | 7230 | 1373 1440 229044 | 5000 4671 1196 | 0.000 % | c =============================================================================== c New solution: 2392702 c Elapsed CPU time: 27.8278 s Remaining CPU time: 152.172 s c =============================================================================== c | 7251 | 1373 1441 230269 | 5000 4692 1196 | 0.000 % | c =============================================================================== c New solution: 2392494 c Elapsed CPU time: 28.1147 s Remaining CPU time: 151.885 s c =============================================================================== c | 7298 | 1373 1442 231494 | 5000 4739 1196 | 0.000 % | c =============================================================================== c New solution: 2392441 c Elapsed CPU time: 28.3727 s Remaining CPU time: 151.627 s c =============================================================================== c | 7353 | 1373 1443 232719 | 5000 4794 1196 | 0.000 % | c =============================================================================== c New solution: 2392405 c Elapsed CPU time: 28.5687 s Remaining CPU time: 151.431 s c =============================================================================== c | 7380 | 1373 1444 233944 | 5000 4821 1196 | 0.000 % | c =============================================================================== c New solution: 2392339 c Elapsed CPU time: 28.9976 s Remaining CPU time: 151.002 s c =============================================================================== c | 7467 | 1373 1445 235169 | 5000 4908 1196 | 0.000 % | c =============================================================================== c New solution: 2392206 c Elapsed CPU time: 29.2296 s Remaining CPU time: 150.77 s c =============================================================================== c | 7520 | 1373 1446 236394 | 5000 4961 1196 | 0.000 % | c =============================================================================== c New solution: 2391949 c Elapsed CPU time: 29.3835 s Remaining CPU time: 150.616 s c =============================================================================== c | 7528 | 1373 1447 237619 | 5000 4969 1196 | 0.000 % | c =============================================================================== c New solution: 2391604 c Elapsed CPU time: 29.6805 s Remaining CPU time: 150.32 s c =============================================================================== c | 7585 | 1373 1448 238844 | 5000 5026 1196 | 0.000 % | c =============================================================================== c New solution: 2391373 c Elapsed CPU time: 29.9294 s Remaining CPU time: 150.071 s c =============================================================================== c | 7606 | 1373 1449 240069 | 5000 2534 1194 | 0.000 % | c =============================================================================== c New solution: 2391152 c Elapsed CPU time: 30.2144 s Remaining CPU time: 149.786 s c =============================================================================== c | 7668 | 1373 1450 241294 | 5000 2596 1194 | 0.000 % | c =============================================================================== c New solution: 2390983 c Elapsed CPU time: 30.5064 s Remaining CPU time: 149.494 s c =============================================================================== c | 7713 | 1373 1451 242519 | 5000 2641 1193 | 0.000 % | c | 7813 | 1373 1451 242519 | 5500 2741 1193 | 0.000 % | c =============================================================================== c New solution: 2390857 c Elapsed CPU time: 31.0903 s Remaining CPU time: 148.91 s c =============================================================================== c | 7821 | 1373 1452 243744 | 5000 2749 1193 | 0.000 % | c | 7922 | 1373 1452 243744 | 5500 2850 1193 | 0.000 % | c | 8072 | 1373 1452 243744 | 6050 3000 1193 | 0.000 % | c =============================================================================== c New solution: 2390705 c Elapsed CPU time: 32.595 s Remaining CPU time: 147.405 s c =============================================================================== c | 8130 | 1373 1453 244969 | 5000 3058 1193 | 0.000 % | c =============================================================================== c New solution: 2390585 c Elapsed CPU time: 32.97 s Remaining CPU time: 147.03 s c =============================================================================== c | 8204 | 1373 1454 246194 | 5000 3132 1193 | 0.000 % | c =============================================================================== c New solution: 2390512 c Elapsed CPU time: 33.14 s Remaining CPU time: 146.86 s c =============================================================================== c | 8204 | 1373 1455 247419 | 5000 3132 1193 | 0.000 % | c =============================================================================== c New solution: 2390036 c Elapsed CPU time: 33.3169 s Remaining CPU time: 146.683 s c =============================================================================== c | 8204 | 1373 1456 248644 | 5000 3132 1193 | 0.000 % | c =============================================================================== c New solution: 2389786 c Elapsed CPU time: 33.5029 s Remaining CPU time: 146.497 s c =============================================================================== c | 8208 | 1373 1457 249869 | 5000 3136 1193 | 0.000 % | c =============================================================================== c New solution: 2389427 c Elapsed CPU time: 33.6589 s Remaining CPU time: 146.341 s c =============================================================================== c | 8208 | 1373 1458 251094 | 5000 3136 1193 | 0.000 % | c =============================================================================== c New solution: 2388985 c Elapsed CPU time: 33.8229 s Remaining CPU time: 146.177 s c =============================================================================== c | 8208 | 1373 1459 252319 | 5000 3136 1193 | 0.000 % | c =============================================================================== c New solution: 2388832 c Elapsed CPU time: 33.9998 s Remaining CPU time: 146 s c =============================================================================== c | 8208 | 1373 1460 253544 | 5000 3136 1193 | 0.000 % | c =============================================================================== c New solution: 2388676 c Elapsed CPU time: 34.1898 s Remaining CPU time: 145.81 s c =============================================================================== c | 8209 | 1373 1461 254769 | 5000 3137 1193 | 0.000 % | c =============================================================================== c New solution: 2388489 c Elapsed CPU time: 34.3468 s Remaining CPU time: 145.653 s c =============================================================================== c | 8209 | 1373 1462 255994 | 5000 3137 1193 | 0.000 % | c =============================================================================== c New solution: 2388286 c Elapsed CPU time: 34.5108 s Remaining CPU time: 145.489 s c =============================================================================== c | 8209 | 1373 1463 257219 | 5000 3137 1193 | 0.000 % | c =============================================================================== c New solution: 2388014 c Elapsed CPU time: 34.9837 s Remaining CPU time: 145.016 s c =============================================================================== c | 8292 | 1373 1464 258444 | 5000 3220 1193 | 0.000 % | c =============================================================================== c New solution: 2388006 c Elapsed CPU time: 35.2546 s Remaining CPU time: 144.745 s c =============================================================================== c | 8334 | 1373 1465 259669 | 5000 3262 1193 | 0.000 % | c =============================================================================== c New solution: 2387996 c Elapsed CPU time: 35.5116 s Remaining CPU time: 144.488 s c =============================================================================== c | 8386 | 1373 1466 260894 | 5000 3314 1193 | 0.000 % | c =============================================================================== c New solution: 2387973 c Elapsed CPU time: 36.0265 s Remaining CPU time: 143.973 s c =============================================================================== c | 8470 | 1373 1467 262119 | 5000 3398 1193 | 0.000 % | c =============================================================================== c New solution: 2387669 c Elapsed CPU time: 36.3715 s Remaining CPU time: 143.629 s c =============================================================================== c | 8541 | 1373 1468 263344 | 5000 3469 1193 | 0.000 % | c =============================================================================== c New solution: 2387144 c Elapsed CPU time: 36.7264 s Remaining CPU time: 143.274 s c =============================================================================== c | 8609 | 1373 1469 264569 | 5000 3537 1193 | 0.000 % | c =============================================================================== c New solution: 2386861 c Elapsed CPU time: 36.9294 s Remaining CPU time: 143.071 s c =============================================================================== c | 8624 | 1373 1470 265794 | 5000 3552 1193 | 0.000 % | c =============================================================================== c New solution: 2386409 c Elapsed CPU time: 37.3393 s Remaining CPU time: 142.661 s c =============================================================================== c | 8693 | 1373 1471 267019 | 5000 3621 1193 | 0.000 % | c =============================================================================== c New solution: 2386056 c Elapsed CPU time: 37.6923 s Remaining CPU time: 142.308 s c =============================================================================== c | 8772 | 1373 1472 268244 | 5000 3700 1193 | 0.000 % | c =============================================================================== c New solution: 2385813 c Elapsed CPU time: 38.0822 s Remaining CPU time: 141.918 s c =============================================================================== c | 8845 | 1373 1473 269469 | 5000 3773 1193 | 0.000 % | c =============================================================================== c New solution: 2385586 c Elapsed CPU time: 38.3602 s Remaining CPU time: 141.64 s c =============================================================================== c | 8894 | 1373 1474 270694 | 5000 3822 1193 | 0.000 % | c =============================================================================== c New solution: 2385583 c Elapsed CPU time: 38.6301 s Remaining CPU time: 141.37 s c =============================================================================== c | 8926 | 1373 1475 271919 | 5000 3854 1193 | 0.000 % | c =============================================================================== c New solution: 2385496 c Elapsed CPU time: 38.8191 s Remaining CPU time: 141.181 s c =============================================================================== c | 8931 | 1373 1476 273144 | 5000 3859 1193 | 0.000 % | c | 9031 | 1373 1476 273144 | 5500 3959 1193 | 0.000 % | c =============================================================================== c New solution: 2385292 c Elapsed CPU time: 39.8719 s Remaining CPU time: 140.128 s c =============================================================================== c | 9131 | 1373 1477 274369 | 5000 4059 1193 | 0.000 % | c =============================================================================== c New solution: 2385265 c Elapsed CPU time: 40.1489 s Remaining CPU time: 139.851 s c =============================================================================== c | 9165 | 1373 1478 275594 | 5000 4093 1193 | 0.000 % | c =============================================================================== c New solution: 2385064 c Elapsed CPU time: 40.3579 s Remaining CPU time: 139.642 s c =============================================================================== c | 9174 | 1373 1479 276819 | 5000 4102 1193 | 0.000 % | c =============================================================================== c New solution: 2384922 c Elapsed CPU time: 40.7408 s Remaining CPU time: 139.259 s c =============================================================================== c | 9235 | 1373 1480 278044 | 5000 4163 1193 | 0.000 % | c =============================================================================== c New solution: 2384454 c Elapsed CPU time: 41.0838 s Remaining CPU time: 138.916 s c =============================================================================== c | 9300 | 1373 1481 279269 | 5000 4228 1193 | 0.000 % | c =============================================================================== c New solution: 2384285 c Elapsed CPU time: 41.2967 s Remaining CPU time: 138.703 s c =============================================================================== c | 9314 | 1373 1482 280494 | 5000 4242 1193 | 0.000 % | c =============================================================================== c New solution: 2383986 c Elapsed CPU time: 41.6267 s Remaining CPU time: 138.373 s c =============================================================================== c | 9359 | 1373 1483 281719 | 5000 4287 1193 | 0.000 % | c =============================================================================== c New solution: 2383935 c Elapsed CPU time: 42.0026 s Remaining CPU time: 137.997 s c =============================================================================== c | 9430 | 1373 1484 282944 | 5000 4358 1193 | 0.000 % | c | 9530 | 1373 1484 282944 | 5500 4458 1193 | 0.000 % | c =============================================================================== c New solution: 2383473 c Elapsed CPU time: 42.6255 s Remaining CPU time: 137.374 s c =============================================================================== c | 9531 | 1373 1485 284169 | 5000 4459 1193 | 0.000 % | c =============================================================================== c New solution: 2383340 c Elapsed CPU time: 42.8095 s Remaining CPU time: 137.191 s c =============================================================================== c | 9532 | 1373 1486 285394 | 5000 4460 1193 | 0.000 % | c | 9633 | 1373 1486 285394 | 5500 4561 1193 | 0.000 % | c =============================================================================== c New solution: 2383265 c Elapsed CPU time: 43.7214 s Remaining CPU time: 136.279 s c =============================================================================== c | 9749 | 1373 1487 286619 | 5000 4677 1193 | 0.000 % | c =============================================================================== c New solution: 2383256 c Elapsed CPU time: 44.0473 s Remaining CPU time: 135.953 s c =============================================================================== c | 9807 | 1373 1488 287844 | 5000 4735 1193 | 0.000 % | c =============================================================================== c New solution: 2382970 c Elapsed CPU time: 44.4342 s Remaining CPU time: 135.566 s c =============================================================================== c | 9894 | 1373 1489 289069 | 5000 4822 1192 | 0.000 % | c =============================================================================== c New solution: 2382811 c Elapsed CPU time: 44.6942 s Remaining CPU time: 135.306 s c =============================================================================== c | 9913 | 1373 1490 290294 | 5000 4841 1192 | 0.000 % | c =============================================================================== c New solution: 2382566 c Elapsed CPU time: 44.9212 s Remaining CPU time: 135.079 s c =============================================================================== c | 9924 | 1373 1491 291519 | 5000 4852 1192 | 0.000 % | c =============================================================================== c New solution: 2382375 c Elapsed CPU time: 45.2021 s Remaining CPU time: 134.798 s c =============================================================================== c | 9953 | 1373 1492 292744 | 5000 4881 1192 | 0.000 % | c =============================================================================== c New solution: 2382186 c Elapsed CPU time: 45.4611 s Remaining CPU time: 134.539 s c =============================================================================== c | 9991 | 1373 1493 293969 | 5000 4919 1192 | 0.000 % | c =============================================================================== c New solution: 2382057 c Elapsed CPU time: 45.809 s Remaining CPU time: 134.191 s c =============================================================================== c | 10045 | 1373 1494 295194 | 5000 4973 1192 | 0.000 % | c | 10146 | 1373 1494 295194 | 5500 5074 1192 | 0.000 % | c =============================================================================== c New solution: 2382055 c Elapsed CPU time: 46.7529 s Remaining CPU time: 133.247 s c =============================================================================== c | 10235 | 1373 1495 296419 | 5000 5163 1192 | 0.000 % | c =============================================================================== c New solution: 2382019 c Elapsed CPU time: 47.0079 s Remaining CPU time: 132.992 s c =============================================================================== c | 10240 | 1373 1496 297644 | 5000 2587 1191 | 0.000 % | c =============================================================================== c New solution: 2381900 c Elapsed CPU time: 47.3698 s Remaining CPU time: 132.63 s c =============================================================================== c | 10303 | 1373 1497 298869 | 5000 2650 1191 | 0.000 % | c | 10404 | 1373 1497 298869 | 5500 2751 1191 | 0.000 % | c | 10556 | 1373 1497 298869 | 6050 2903 1191 | 0.000 % | c =============================================================================== c New solution: 2381866 c Elapsed CPU time: 48.7526 s Remaining CPU time: 131.247 s c =============================================================================== c | 10563 | 1373 1498 300094 | 5000 2910 1191 | 0.000 % | c =============================================================================== c New solution: 2381688 c Elapsed CPU time: 48.9556 s Remaining CPU time: 131.044 s c =============================================================================== c | 10563 | 1373 1499 301319 | 5000 2910 1191 | 0.000 % | c =============================================================================== c New solution: 2381677 c Elapsed CPU time: 49.1545 s Remaining CPU time: 130.845 s c =============================================================================== c | 10566 | 1373 1500 302544 | 5000 2913 1191 | 0.000 % | c =============================================================================== c New solution: 2381641 c Elapsed CPU time: 49.6894 s Remaining CPU time: 130.311 s c =============================================================================== c | 10649 | 1373 1501 303769 | 5000 2996 1191 | 0.000 % | c =============================================================================== c New solution: 2381524 c Elapsed CPU time: 49.9684 s Remaining CPU time: 130.032 s c =============================================================================== c | 10679 | 1373 1502 304994 | 5000 3026 1191 | 0.000 % | c | 10779 | 1373 1502 304994 | 5500 3126 1191 | 0.000 % | c | 10929 | 1373 1502 304994 | 6050 3276 1191 | 0.000 % | c =============================================================================== c New solution: 2381457 c Elapsed CPU time: 51.4832 s Remaining CPU time: 128.517 s c =============================================================================== c | 10976 | 1373 1503 306219 | 5000 3323 1191 | 0.000 % | c | 11076 | 1373 1503 306219 | 5500 3423 1191 | 0.000 % | c =============================================================================== c New solution: 2381429 c Elapsed CPU time: 52.2321 s Remaining CPU time: 127.768 s c =============================================================================== c | 11083 | 1373 1504 307444 | 5000 3430 1191 | 0.000 % | c =============================================================================== c New solution: 2381402 c Elapsed CPU time: 52.656 s Remaining CPU time: 127.344 s c =============================================================================== c | 11134 | 1373 1505 308669 | 5000 3481 1191 | 0.000 % | c =============================================================================== c New solution: 2381125 c Elapsed CPU time: 53.2079 s Remaining CPU time: 126.792 s c =============================================================================== c | 11198 | 1373 1506 309894 | 5000 3545 1191 | 0.000 % | c | 11298 | 1373 1506 309894 | 5500 3645 1191 | 0.000 % | c | 11449 | 1373 1506 309894 | 6050 3796 1191 | 0.000 % | c =============================================================================== c New solution: 2381000 c Elapsed CPU time: 54.8117 s Remaining CPU time: 125.188 s c =============================================================================== c | 11462 | 1373 1507 311119 | 5000 3809 1191 | 0.000 % | c | 11564 | 1373 1507 311119 | 5500 3911 1191 | 0.000 % | c =============================================================================== c New solution: 2380826 c Elapsed CPU time: 55.6225 s Remaining CPU time: 124.377 s c =============================================================================== c | 11564 | 1373 1508 312344 | 5000 3911 1191 | 0.000 % | c =============================================================================== c New solution: 2380552 c Elapsed CPU time: 55.8235 s Remaining CPU time: 124.176 s c =============================================================================== c | 11564 | 1373 1509 313569 | 5000 3911 1191 | 0.000 % | c =============================================================================== c New solution: 2380243 c Elapsed CPU time: 56.0995 s Remaining CPU time: 123.901 s c =============================================================================== c | 11569 | 1373 1510 314794 | 5000 3916 1191 | 0.000 % | c =============================================================================== c New solution: 2379907 c Elapsed CPU time: 56.2984 s Remaining CPU time: 123.702 s c =============================================================================== c | 11569 | 1373 1511 316019 | 5000 3916 1191 | 0.000 % | c =============================================================================== c New solution: 2379506 c Elapsed CPU time: 56.5254 s Remaining CPU time: 123.475 s c =============================================================================== c | 11570 | 1373 1512 317244 | 5000 3917 1191 | 0.000 % | c =============================================================================== c New solution: 2379100 c Elapsed CPU time: 56.7494 s Remaining CPU time: 123.251 s c =============================================================================== c | 11574 | 1373 1513 318469 | 5000 3921 1191 | 0.000 % | c =============================================================================== c New solution: 2379000 c Elapsed CPU time: 57.0813 s Remaining CPU time: 122.919 s c =============================================================================== c | 11594 | 1373 1514 319694 | 5000 3941 1191 | 0.000 % | c | 11695 | 1373 1514 319694 | 5500 4042 1190 | 0.000 % | c =============================================================================== c New solution: 2378869 c Elapsed CPU time: 58.3341 s Remaining CPU time: 121.666 s c =============================================================================== c | 11831 | 1373 1515 320919 | 5000 4178 1190 | 0.000 % | c | 11931 | 1373 1515 320919 | 5500 4278 1190 | 0.000 % | c =============================================================================== c New solution: 2378498 c Elapsed CPU time: 59.289 s Remaining CPU time: 120.711 s c =============================================================================== c | 11984 | 1373 1516 322144 | 5000 4331 1190 | 0.000 % | c =============================================================================== c New solution: 2378288 c Elapsed CPU time: 59.5249 s Remaining CPU time: 120.475 s c =============================================================================== c | 12008 | 1373 1517 323369 | 5000 4355 1190 | 0.000 % | c =============================================================================== c New solution: 2378277 c Elapsed CPU time: 59.8509 s Remaining CPU time: 120.149 s c =============================================================================== c | 12039 | 1373 1518 324594 | 5000 4386 1190 | 0.000 % | c =============================================================================== c New solution: 2378012 c Elapsed CPU time: 60.1119 s Remaining CPU time: 119.888 s c =============================================================================== c | 12055 | 1373 1519 325819 | 5000 4402 1190 | 0.000 % | c | 12156 | 1373 1519 325819 | 5500 4503 1190 | 0.000 % | c =============================================================================== c New solution: 2377746 c Elapsed CPU time: 60.9537 s Remaining CPU time: 119.046 s c =============================================================================== c | 12174 | 1373 1520 327044 | 5000 4521 1190 | 0.000 % | c =============================================================================== c New solution: 2377651 c Elapsed CPU time: 61.2337 s Remaining CPU time: 118.766 s c =============================================================================== c | 12199 | 1373 1521 328269 | 5000 4546 1190 | 0.000 % | c | 12299 | 1373 1521 328269 | 5500 4646 1190 | 0.000 % | c =============================================================================== c New solution: 2377428 c Elapsed CPU time: 62.0906 s Remaining CPU time: 117.909 s c =============================================================================== c | 12336 | 1373 1522 329494 | 5000 4683 1190 | 0.000 % | c =============================================================================== c New solution: 2377410 c Elapsed CPU time: 62.3395 s Remaining CPU time: 117.66 s c =============================================================================== c | 12344 | 1373 1523 330719 | 5000 4691 1190 | 0.000 % | c =============================================================================== c New solution: 2377214 c Elapsed CPU time: 62.7765 s Remaining CPU time: 117.224 s c =============================================================================== c | 12398 | 1373 1524 331944 | 5000 4745 1190 | 0.000 % | c =============================================================================== c New solution: 2377007 c Elapsed CPU time: 62.9954 s Remaining CPU time: 117.005 s c =============================================================================== c | 12398 | 1373 1525 333169 | 5000 4745 1190 | 0.000 % | c =============================================================================== c New solution: 2376999 c Elapsed CPU time: 63.2274 s Remaining CPU time: 116.773 s c =============================================================================== c | 12399 | 1373 1526 334394 | 5000 4746 1190 | 0.000 % | c =============================================================================== c New solution: 2376875 c Elapsed CPU time: 63.4644 s Remaining CPU time: 116.536 s c =============================================================================== c | 12400 | 1373 1527 335619 | 5000 4747 1190 | 0.000 % | c =============================================================================== c New solution: 2376853 c Elapsed CPU time: 63.7473 s Remaining CPU time: 116.253 s c =============================================================================== c | 12413 | 1373 1528 336844 | 5000 4760 1190 | 0.000 % | c =============================================================================== c New solution: 2376423 c Elapsed CPU time: 64.0113 s Remaining CPU time: 115.989 s c =============================================================================== c | 12421 | 1373 1529 338069 | 5000 4768 1190 | 0.000 % | c =============================================================================== c New solution: 2376285 c Elapsed CPU time: 64.2802 s Remaining CPU time: 115.72 s c =============================================================================== c | 12431 | 1373 1530 339294 | 5000 4778 1190 | 0.000 % | c =============================================================================== c New solution: 2376201 c Elapsed CPU time: 64.8221 s Remaining CPU time: 115.178 s c =============================================================================== c | 12498 | 1373 1531 340519 | 5000 4845 1190 | 0.000 % | c =============================================================================== c New solution: 2375878 c Elapsed CPU time: 65.3731 s Remaining CPU time: 114.627 s c =============================================================================== c | 12555 | 1373 1532 341744 | 5000 4902 1190 | 0.000 % | c =============================================================================== c New solution: 2375729 c Elapsed CPU time: 65.999 s Remaining CPU time: 114.001 s c =============================================================================== c | 12648 | 1373 1533 342969 | 5000 4995 1190 | 0.000 % | c =============================================================================== c New solution: 2375568 c Elapsed CPU time: 66.5289 s Remaining CPU time: 113.471 s c =============================================================================== c | 12685 | 1373 1534 344194 | 5000 5032 1190 | 0.000 % | c =============================================================================== c New solution: 2375559 c Elapsed CPU time: 67.1158 s Remaining CPU time: 112.884 s c =============================================================================== c | 12748 | 1373 1535 345419 | 5000 2579 1189 | 0.000 % | c =============================================================================== c New solution: 2375395 c Elapsed CPU time: 67.6307 s Remaining CPU time: 112.369 s c =============================================================================== c | 12807 | 1373 1536 346644 | 5000 2638 1188 | 0.000 % | c =============================================================================== c New solution: 2375201 c Elapsed CPU time: 68.1366 s Remaining CPU time: 111.863 s c =============================================================================== c | 12882 | 1373 1537 347869 | 5000 2713 1188 | 0.000 % | c =============================================================================== c New solution: 2375069 c Elapsed CPU time: 68.4066 s Remaining CPU time: 111.593 s c =============================================================================== c | 12892 | 1373 1538 349094 | 5000 2723 1188 | 0.000 % | c =============================================================================== c New solution: 2374938 c Elapsed CPU time: 68.9155 s Remaining CPU time: 111.084 s c =============================================================================== c | 12951 | 1373 1539 350319 | 5000 2782 1188 | 0.000 % | c =============================================================================== c New solution: 2374833 c Elapsed CPU time: 69.2755 s Remaining CPU time: 110.725 s c =============================================================================== c | 12979 | 1373 1540 351544 | 5000 2810 1188 | 0.000 % | c =============================================================================== c New solution: 2374594 c Elapsed CPU time: 69.5454 s Remaining CPU time: 110.455 s c =============================================================================== c | 12986 | 1373 1541 352769 | 5000 2817 1188 | 0.000 % | c =============================================================================== c New solution: 2374565 c Elapsed CPU time: 69.8694 s Remaining CPU time: 110.131 s c =============================================================================== c | 13003 | 1373 1542 353994 | 5000 2834 1188 | 0.000 % | c =============================================================================== c New solution: 2374002 c Elapsed CPU time: 70.0963 s Remaining CPU time: 109.904 s c =============================================================================== c | 13004 | 1373 1543 355219 | 5000 2835 1188 | 0.000 % | c =============================================================================== c New solution: 2373954 c Elapsed CPU time: 70.3403 s Remaining CPU time: 109.66 s c =============================================================================== c | 13005 | 1373 1544 356444 | 5000 2836 1188 | 0.000 % | c =============================================================================== c New solution: 2373867 c Elapsed CPU time: 70.6293 s Remaining CPU time: 109.371 s c =============================================================================== c | 13009 | 1373 1545 357669 | 5000 2840 1188 | 0.000 % | c | 13109 | 1373 1545 357669 | 5500 2940 1188 | 0.000 % | c =============================================================================== c New solution: 2373802 c Elapsed CPU time: 71.9021 s Remaining CPU time: 108.098 s c =============================================================================== c | 13203 | 1373 1546 358894 | 5000 3034 1188 | 0.000 % | c | 13304 | 1373 1546 358894 | 5500 3135 1188 | 0.000 % | c =============================================================================== c New solution: 2373620 c Elapsed CPU time: 73.0819 s Remaining CPU time: 106.918 s c =============================================================================== c | 13375 | 1373 1547 360119 | 5000 3206 1188 | 0.000 % | c =============================================================================== c New solution: 2373604 c Elapsed CPU time: 73.3409 s Remaining CPU time: 106.659 s c =============================================================================== c | 13376 | 1373 1548 361344 | 5000 3207 1188 | 0.000 % | c | 13476 | 1373 1548 361344 | 5500 3307 1188 | 0.000 % | c =============================================================================== c New solution: 2373567 c Elapsed CPU time: 74.7126 s Remaining CPU time: 105.287 s c =============================================================================== c | 13571 | 1373 1549 362569 | 5000 3402 1187 | 0.000 % | c =============================================================================== c New solution: 2373232 c Elapsed CPU time: 74.9886 s Remaining CPU time: 105.011 s c =============================================================================== c | 13588 | 1373 1550 363794 | 5000 3419 1187 | 0.000 % | c =============================================================================== c New solution: 2373131 c Elapsed CPU time: 75.5165 s Remaining CPU time: 104.483 s c =============================================================================== c | 13665 | 1373 1551 365019 | 5000 3496 1187 | 0.000 % | c | 13766 | 1373 1551 365019 | 5500 3597 1187 | 0.000 % | c =============================================================================== c New solution: 2372999 c Elapsed CPU time: 76.6443 s Remaining CPU time: 103.356 s c =============================================================================== c | 13834 | 1373 1552 366244 | 5000 3665 1187 | 0.000 % | c =============================================================================== c New solution: 2372894 c Elapsed CPU time: 76.9213 s Remaining CPU time: 103.079 s c =============================================================================== c | 13838 | 1373 1553 367469 | 5000 3669 1187 | 0.000 % | c =============================================================================== c New solution: 2372851 c Elapsed CPU time: 77.1823 s Remaining CPU time: 102.818 s c =============================================================================== c | 13842 | 1373 1554 368694 | 5000 3673 1187 | 0.000 % | c =============================================================================== c New solution: 2372673 c Elapsed CPU time: 78.0211 s Remaining CPU time: 101.979 s c =============================================================================== c | 13933 | 1373 1555 369919 | 5000 3764 1187 | 0.000 % | c =============================================================================== c New solution: 2372571 c Elapsed CPU time: 78.2891 s Remaining CPU time: 101.711 s c =============================================================================== c | 13933 | 1373 1556 371144 | 5000 3764 1187 | 0.000 % | c =============================================================================== c New solution: 2371791 c Elapsed CPU time: 78.5251 s Remaining CPU time: 101.475 s c =============================================================================== c | 13933 | 1373 1557 372369 | 5000 3764 1187 | 0.000 % | c =============================================================================== c New solution: 2371774 c Elapsed CPU time: 78.906 s Remaining CPU time: 101.094 s c =============================================================================== c | 13960 | 1373 1558 373594 | 5000 3791 1187 | 0.000 % | c | 14062 | 1373 1558 373594 | 5500 3893 1187 | 0.000 % | c =============================================================================== c New solution: 2371502 c Elapsed CPU time: 79.9358 s Remaining CPU time: 100.064 s c =============================================================================== c | 14104 | 1373 1559 374819 | 5000 3935 1187 | 0.000 % | c =============================================================================== c New solution: 2371424 c Elapsed CPU time: 80.4978 s Remaining CPU time: 99.5022 s c =============================================================================== c | 14167 | 1373 1560 376044 | 5000 3998 1187 | 0.000 % | c =============================================================================== c New solution: 2371187 c Elapsed CPU time: 81.1367 s Remaining CPU time: 98.8633 s c =============================================================================== c | 14264 | 1373 1561 377269 | 5000 4095 1187 | 0.000 % | c | 14365 | 1373 1561 377269 | 5500 4196 1187 | 0.000 % | c =============================================================================== c New solution: 2371093 c Elapsed CPU time: 82.3235 s Remaining CPU time: 97.6765 s c =============================================================================== c | 14478 | 1373 1562 378494 | 5000 4309 1187 | 0.000 % | c =============================================================================== c New solution: 2370966 c Elapsed CPU time: 82.7614 s Remaining CPU time: 97.2386 s c =============================================================================== c | 14528 | 1373 1563 379719 | 5000 4359 1187 | 0.000 % | c =============================================================================== c New solution: 2370755 c Elapsed CPU time: 83.1984 s Remaining CPU time: 96.8016 s c =============================================================================== c | 14565 | 1373 1564 380944 | 5000 4396 1186 | 0.000 % | c =============================================================================== c New solution: 2370697 c Elapsed CPU time: 83.7433 s Remaining CPU time: 96.2567 s c =============================================================================== c | 14650 | 1373 1565 382169 | 5000 4481 1186 | 0.000 % | c =============================================================================== c New solution: 2370637 c Elapsed CPU time: 84.3202 s Remaining CPU time: 95.6798 s c =============================================================================== c | 14740 | 1373 1566 383394 | 5000 4571 1186 | 0.000 % | c | 14841 | 1373 1566 383394 | 5500 4672 1186 | 0.000 % | c =============================================================================== c New solution: 2370621 c Elapsed CPU time: 85.242 s Remaining CPU time: 94.758 s c =============================================================================== c | 14875 | 1373 1567 384619 | 5000 4706 1186 | 0.000 % | c =============================================================================== c New solution: 2370427 c Elapsed CPU time: 85.619 s Remaining CPU time: 94.381 s c =============================================================================== c | 14900 | 1373 1568 385844 | 5000 4731 1186 | 0.000 % | c | 15001 | 1373 1568 385844 | 5500 4832 1186 | 0.000 % | c =============================================================================== c New solution: 2370101 c Elapsed CPU time: 86.5588 s Remaining CPU time: 93.4412 s c =============================================================================== c | 15011 | 1373 1569 387069 | 5000 4842 1186 | 0.000 % | c =============================================================================== c New solution: 2369882 c Elapsed CPU time: 86.8498 s Remaining CPU time: 93.1502 s c =============================================================================== c | 15021 | 1373 1570 388294 | 5000 4852 1186 | 0.000 % | c =============================================================================== c New solution: 2369659 c Elapsed CPU time: 87.1458 s Remaining CPU time: 92.8542 s c =============================================================================== c | 15026 | 1373 1571 389519 | 5000 4857 1186 | 0.000 % | c =============================================================================== c New solution: 2369625 c Elapsed CPU time: 87.6757 s Remaining CPU time: 92.3243 s c =============================================================================== c | 15098 | 1373 1572 390744 | 5000 4929 1186 | 0.000 % | c =============================================================================== c New solution: 2369588 c Elapsed CPU time: 88.1216 s Remaining CPU time: 91.8784 s c =============================================================================== c | 15147 | 1373 1573 391969 | 5000 4978 1186 | 0.000 % | c | 15247 | 1373 1573 391969 | 5500 5078 1186 | 0.000 % | c =============================================================================== c New solution: 2369412 c Elapsed CPU time: 89.2454 s Remaining CPU time: 90.7546 s c =============================================================================== c | 15294 | 1373 1574 393194 | 5000 5125 1186 | 0.000 % | c =============================================================================== c New solution: 2369122 c Elapsed CPU time: 89.6944 s Remaining CPU time: 90.3056 s c =============================================================================== c | 15325 | 1373 1575 394419 | 5000 2594 1184 | 0.000 % | c | 15425 | 1373 1575 394419 | 5500 2694 1184 | 0.000 % | c =============================================================================== c New solution: 2368991 c Elapsed CPU time: 90.8902 s Remaining CPU time: 89.1098 s c =============================================================================== c | 15505 | 1373 1576 395644 | 5000 2774 1184 | 0.000 % | c =============================================================================== c New solution: 2368835 c Elapsed CPU time: 91.4391 s Remaining CPU time: 88.5609 s c =============================================================================== c | 15565 | 1373 1577 396869 | 5000 2834 1184 | 0.000 % | c | 15665 | 1373 1577 396869 | 5500 2934 1184 | 0.000 % | c =============================================================================== c New solution: 2368582 c Elapsed CPU time: 92.4749 s Remaining CPU time: 87.5251 s c =============================================================================== c | 15680 | 1373 1578 398094 | 5000 2949 1184 | 0.000 % | c =============================================================================== c New solution: 2368395 c Elapsed CPU time: 92.7889 s Remaining CPU time: 87.2111 s c =============================================================================== c | 15688 | 1373 1579 399319 | 5000 2957 1184 | 0.000 % | c =============================================================================== c New solution: 2368052 c Elapsed CPU time: 93.3428 s Remaining CPU time: 86.6572 s c =============================================================================== c | 15749 | 1373 1580 400544 | 5000 3018 1184 | 0.000 % | c =============================================================================== c New solution: 2367775 c Elapsed CPU time: 93.7607 s Remaining CPU time: 86.2393 s c =============================================================================== c | 15796 | 1373 1581 401769 | 5000 3065 1184 | 0.000 % | c =============================================================================== c New solution: 2367107 c Elapsed CPU time: 94.3437 s Remaining CPU time: 85.6563 s c =============================================================================== c | 15882 | 1373 1582 402994 | 5000 3151 1184 | 0.000 % | c | 15982 | 1373 1582 402994 | 5500 3251 1184 | 0.000 % | c =============================================================================== c New solution: 2367046 c Elapsed CPU time: 95.6325 s Remaining CPU time: 84.3675 s c =============================================================================== c | 16091 | 1373 1583 404219 | 5000 3360 1184 | 0.000 % | c =============================================================================== c New solution: 2367039 c Elapsed CPU time: 96.3354 s Remaining CPU time: 83.6646 s c =============================================================================== c | 16160 | 1373 1584 405444 | 5000 3429 1184 | 0.000 % | c =============================================================================== c New solution: 2367019 c Elapsed CPU time: 96.7603 s Remaining CPU time: 83.2397 s c =============================================================================== c | 16220 | 1373 1585 406669 | 5000 3489 1184 | 0.000 % | c | 16320 | 1373 1585 406669 | 5500 3589 1184 | 0.000 % | c =============================================================================== c New solution: 2366854 c Elapsed CPU time: 98.0141 s Remaining CPU time: 81.9859 s c =============================================================================== c | 16414 | 1373 1586 407894 | 5000 3683 1184 | 0.000 % | c | 16514 | 1373 1586 407894 | 5500 3783 1184 | 0.000 % | c =============================================================================== c New solution: 2366780 c Elapsed CPU time: 99.5129 s Remaining CPU time: 80.4871 s c =============================================================================== c | 16628 | 1373 1587 409119 | 5000 3897 1184 | 0.000 % | c | 16728 | 1373 1587 409119 | 5500 3997 1184 | 0.000 % | c =============================================================================== c New solution: 2366702 c Elapsed CPU time: 100.837 s Remaining CPU time: 79.1633 s c =============================================================================== c | 16824 | 1373 1588 410344 | 5000 4093 1184 | 0.000 % | c | 16925 | 1373 1588 410344 | 5500 4194 1184 | 0.000 % | c | 17077 | 1373 1588 410344 | 6050 4346 1183 | 0.000 % | c =============================================================================== c New solution: 2366503 c Elapsed CPU time: 103.522 s Remaining CPU time: 76.4777 s c =============================================================================== c | 17190 | 1373 1589 411569 | 5000 4459 1183 | 0.000 % | c | 17291 | 1373 1589 411569 | 5500 4560 1183 | 0.000 % | c | 17441 | 1373 1589 411569 | 6050 4710 1183 | 0.000 % | c =============================================================================== c New solution: 2366418 c Elapsed CPU time: 105.346 s Remaining CPU time: 74.654 s c =============================================================================== c | 17446 | 1373 1590 412794 | 5000 4715 1183 | 0.000 % | c =============================================================================== c New solution: 2366346 c Elapsed CPU time: 105.877 s Remaining CPU time: 74.1231 s c =============================================================================== c | 17490 | 1373 1591 414019 | 5000 4759 1183 | 0.000 % | c =============================================================================== c New solution: 2366298 c Elapsed CPU time: 106.279 s Remaining CPU time: 73.7212 s c =============================================================================== c | 17524 | 1373 1592 415244 | 5000 4793 1183 | 0.000 % | c =============================================================================== c New solution: 2366221 c Elapsed CPU time: 107.043 s Remaining CPU time: 72.9573 s c =============================================================================== c | 17605 | 1373 1593 416469 | 5000 4874 1183 | 0.000 % | c =============================================================================== c New solution: 2365953 c Elapsed CPU time: 107.529 s Remaining CPU time: 72.4713 s c =============================================================================== c | 17654 | 1373 1594 417694 | 5000 4923 1183 | 0.000 % | c | 17755 | 1373 1594 417694 | 5500 5024 1183 | 0.000 % | c =============================================================================== c New solution: 2365801 c Elapsed CPU time: 109.282 s Remaining CPU time: 70.7176 s c =============================================================================== c | 17848 | 1373 1595 418919 | 5000 5117 1183 | 0.000 % | c | 17948 | 1373 1595 418919 | 5500 2659 1182 | 0.000 % | c =============================================================================== c New solution: 2365501 c Elapsed CPU time: 110.261 s Remaining CPU time: 69.7388 s c =============================================================================== c | 17973 | 1373 1596 420144 | 5000 2684 1182 | 0.000 % | c | 18073 | 1373 1596 420144 | 5500 2784 1182 | 0.000 % | c =============================================================================== c New solution: 2365389 c Elapsed CPU time: 111.605 s Remaining CPU time: 68.395 s c =============================================================================== c | 18117 | 1373 1597 421369 | 5000 2828 1182 | 0.000 % | c =============================================================================== c New solution: 2365322 c Elapsed CPU time: 112.076 s Remaining CPU time: 67.924 s c =============================================================================== c | 18156 | 1373 1598 422594 | 5000 2867 1182 | 0.000 % | c =============================================================================== c New solution: 2365213 c Elapsed CPU time: 112.452 s Remaining CPU time: 67.5481 s c =============================================================================== c | 18198 | 1373 1599 423819 | 5000 2909 1182 | 0.000 % | c =============================================================================== c New solution: 2364880 c Elapsed CPU time: 112.736 s Remaining CPU time: 67.2641 s c =============================================================================== c | 18201 | 1373 1600 425044 | 5000 2912 1182 | 0.000 % | c =============================================================================== c New solution: 2364505 c Elapsed CPU time: 113.081 s Remaining CPU time: 66.9192 s c =============================================================================== c | 18214 | 1373 1601 426269 | 5000 2925 1182 | 0.000 % | c =============================================================================== c New solution: 2364071 c Elapsed CPU time: 113.405 s Remaining CPU time: 66.5952 s c =============================================================================== c | 18217 | 1373 1602 427494 | 5000 2928 1182 | 0.000 % | c =============================================================================== c New solution: 2363768 c Elapsed CPU time: 113.834 s Remaining CPU time: 66.1663 s c =============================================================================== c | 18238 | 1373 1603 428719 | 5000 2949 1182 | 0.000 % | c =============================================================================== c New solution: 2363551 c Elapsed CPU time: 114.428 s Remaining CPU time: 65.5724 s c =============================================================================== c | 18294 | 1373 1604 429944 | 5000 3005 1182 | 0.000 % | c =============================================================================== c New solution: 2363548 c Elapsed CPU time: 115.169 s Remaining CPU time: 64.8305 s c =============================================================================== c | 18353 | 1373 1605 431169 | 5000 3064 1182 | 0.000 % | c | 18453 | 1373 1605 431169 | 5500 3164 1182 | 0.000 % | c =============================================================================== c New solution: 2363413 c Elapsed CPU time: 116.231 s Remaining CPU time: 63.7687 s c =============================================================================== c | 18458 | 1373 1606 432394 | 5000 3169 1182 | 0.000 % | c | 18560 | 1373 1606 432394 | 5500 3271 1182 | 0.000 % | c =============================================================================== c New solution: 2363235 c Elapsed CPU time: 117.565 s Remaining CPU time: 62.4349 s c =============================================================================== c | 18598 | 1373 1607 433619 | 5000 3309 1182 | 0.000 % | c =============================================================================== c New solution: 2363094 c Elapsed CPU time: 118.13 s Remaining CPU time: 61.87 s c =============================================================================== c | 18664 | 1373 1608 434844 | 5000 3375 1182 | 0.000 % | c =============================================================================== c New solution: 2362799 c Elapsed CPU time: 118.432 s Remaining CPU time: 61.568 s c =============================================================================== c | 18665 | 1373 1609 436069 | 5000 3376 1182 | 0.000 % | c =============================================================================== c New solution: 2362519 c Elapsed CPU time: 118.787 s Remaining CPU time: 61.2131 s c =============================================================================== c | 18667 | 1373 1610 437294 | 5000 3378 1182 | 0.000 % | c =============================================================================== c New solution: 2362433 c Elapsed CPU time: 119.129 s Remaining CPU time: 60.8711 s c =============================================================================== c | 18668 | 1373 1611 438519 | 5000 3379 1182 | 0.000 % | c =============================================================================== c New solution: 2362419 c Elapsed CPU time: 119.454 s Remaining CPU time: 60.5462 s c =============================================================================== c | 18668 | 1373 1612 439744 | 5000 3379 1182 | 0.000 % | c | 18769 | 1373 1612 439744 | 5500 3480 1182 | 0.000 % | c =============================================================================== c New solution: 2362313 c Elapsed CPU time: 120.632 s Remaining CPU time: 59.3683 s c =============================================================================== c | 18772 | 1373 1613 440969 | 5000 3483 1182 | 0.000 % | c | 18873 | 1373 1613 440969 | 5500 3584 1182 | 0.000 % | c =============================================================================== c New solution: 2362103 c Elapsed CPU time: 121.885 s Remaining CPU time: 58.1145 s c =============================================================================== c | 18924 | 1373 1614 442194 | 5000 3635 1182 | 0.000 % | c =============================================================================== c New solution: 2362006 c Elapsed CPU time: 122.229 s Remaining CPU time: 57.7706 s c =============================================================================== c | 18927 | 1373 1615 443419 | 5000 3638 1182 | 0.000 % | c =============================================================================== c New solution: 2361680 c Elapsed CPU time: 122.541 s Remaining CPU time: 57.4586 s c =============================================================================== c | 18929 | 1373 1616 444644 | 5000 3640 1182 | 0.000 % | c =============================================================================== c New solution: 2361570 c Elapsed CPU time: 122.86 s Remaining CPU time: 57.1397 s c =============================================================================== c | 18931 | 1373 1617 445869 | 5000 3642 1182 | 0.000 % | c =============================================================================== c New solution: 2361519 c Elapsed CPU time: 123.383 s Remaining CPU time: 56.6168 s c =============================================================================== c | 18976 | 1373 1618 447094 | 5000 3687 1182 | 0.000 % | c | 19077 | 1373 1618 447094 | 5500 3788 1182 | 0.000 % | c =============================================================================== c New solution: 2361506 c Elapsed CPU time: 125.298 s Remaining CPU time: 54.702 s c =============================================================================== c | 19186 | 1373 1619 448319 | 5000 3897 1181 | 0.000 % | c =============================================================================== c New solution: 2361376 c Elapsed CPU time: 125.959 s Remaining CPU time: 54.0411 s c =============================================================================== c | 19256 | 1373 1620 449544 | 5000 3967 1181 | 0.000 % | c =============================================================================== c New solution: 2361373 c Elapsed CPU time: 126.881 s Remaining CPU time: 53.1193 s c =============================================================================== c | 19347 | 1373 1621 450769 | 5000 4058 1181 | 0.000 % | c | 19447 | 1373 1621 450769 | 5500 4158 1181 | 0.000 % | c | 19600 | 1373 1621 450769 | 6050 4311 1181 | 0.000 % | c =============================================================================== c New solution: 2361215 c Elapsed CPU time: 129.802 s Remaining CPU time: 50.1977 s c =============================================================================== c | 19782 | 1373 1622 451994 | 5000 4493 1181 | 0.000 % | c | 19882 | 1373 1622 451994 | 5500 4593 1181 | 0.000 % | c =============================================================================== c New solution: 2360919 c Elapsed CPU time: 131.216 s Remaining CPU time: 48.7839 s c =============================================================================== c | 19916 | 1373 1623 453219 | 5000 4627 1181 | 0.000 % | c | 20016 | 1373 1623 453219 | 5500 4727 1181 | 0.000 % | c =============================================================================== c New solution: 2360899 c Elapsed CPU time: 132.404 s Remaining CPU time: 47.5961 s c =============================================================================== c | 20034 | 1373 1624 454444 | 5000 4745 1181 | 0.000 % | c =============================================================================== c New solution: 2360592 c Elapsed CPU time: 133.247 s Remaining CPU time: 46.7533 s c =============================================================================== c | 20105 | 1373 1625 455669 | 5000 4816 1181 | 0.000 % | c =============================================================================== c New solution: 2360433 c Elapsed CPU time: 133.916 s Remaining CPU time: 46.0844 s c =============================================================================== c | 20173 | 1373 1626 456894 | 5000 4884 1181 | 0.000 % | c =============================================================================== c New solution: 2360323 c Elapsed CPU time: 134.594 s Remaining CPU time: 45.4065 s c =============================================================================== c | 20245 | 1373 1627 458119 | 5000 4956 1181 | 0.000 % | c | 20346 | 1373 1627 458119 | 5500 5057 1181 | 0.000 % | c =============================================================================== c New solution: 2360092 c Elapsed CPU time: 136.382 s Remaining CPU time: 43.6177 s c =============================================================================== c | 20428 | 1373 1628 459344 | 5000 5139 1181 | 0.000 % | c =============================================================================== c New solution: 2359755 c Elapsed CPU time: 137.3 s Remaining CPU time: 42.6999 s c =============================================================================== c | 20517 | 1373 1629 460569 | 5000 2659 1179 | 0.000 % | c | 20618 | 1373 1629 460569 | 5500 2760 1179 | 0.000 % | c | 20770 | 1373 1629 460569 | 6050 2912 1179 | 0.000 % | c =============================================================================== c New solution: 2359558 c Elapsed CPU time: 140.826 s Remaining CPU time: 39.1744 s c =============================================================================== c | 20869 | 1373 1630 461794 | 5000 3011 1179 | 0.000 % | c | 20969 | 1373 1630 461794 | 5500 3111 1179 | 0.000 % | c =============================================================================== c New solution: 2359509 c Elapsed CPU time: 142.544 s Remaining CPU time: 37.4557 s c =============================================================================== c | 21112 | 1373 1631 463019 | 5000 3254 1179 | 0.000 % | c | 21212 | 1373 1631 463019 | 5500 3354 1179 | 0.000 % | c =============================================================================== c New solution: 2359327 c Elapsed CPU time: 143.651 s Remaining CPU time: 36.3488 s c =============================================================================== c | 21269 | 1373 1632 464244 | 5000 3411 1179 | 0.000 % | c =============================================================================== c New solution: 2359054 c Elapsed CPU time: 144.037 s Remaining CPU time: 35.9629 s c =============================================================================== c | 21283 | 1373 1633 465469 | 5000 3425 1179 | 0.000 % | c =============================================================================== c New solution: 2358745 c Elapsed CPU time: 144.519 s Remaining CPU time: 35.481 s c =============================================================================== c | 21323 | 1373 1634 466694 | 5000 3465 1179 | 0.000 % | c =============================================================================== c New solution: 2358647 c Elapsed CPU time: 144.844 s Remaining CPU time: 35.156 s c =============================================================================== c | 21325 | 1373 1635 467919 | 5000 3467 1179 | 0.000 % | c | 21427 | 1373 1635 467919 | 5500 3569 1179 | 0.000 % | c | 21578 | 1373 1635 467919 | 6050 3720 1179 | 0.000 % | c =============================================================================== c New solution: 2358535 c Elapsed CPU time: 148.104 s Remaining CPU time: 31.8955 s c =============================================================================== c | 21707 | 1373 1636 469144 | 5000 3849 1179 | 0.000 % | c | 21807 | 1373 1636 469144 | 5500 3949 1179 | 0.000 % | c =============================================================================== c New solution: 2358252 c Elapsed CPU time: 149.207 s Remaining CPU time: 30.7927 s c =============================================================================== c | 21814 | 1373 1637 470369 | 5000 3956 1179 | 0.000 % | c =============================================================================== c New solution: 2358102 c Elapsed CPU time: 150.044 s Remaining CPU time: 29.9558 s c =============================================================================== c | 21889 | 1373 1638 471594 | 5000 4031 1179 | 0.000 % | c | 21990 | 1373 1638 471594 | 5500 4132 1179 | 0.000 % | c =============================================================================== c New solution: 2358079 c Elapsed CPU time: 151.549 s Remaining CPU time: 28.451 s c =============================================================================== c | 22055 | 1373 1639 472819 | 5000 4197 1179 | 0.000 % | c | 22155 | 1373 1639 472819 | 5500 4297 1179 | 0.000 % | c | 22306 | 1373 1639 472819 | 6050 4448 1179 | 0.000 % | c =============================================================================== c New solution: 2357999 c Elapsed CPU time: 153.589 s Remaining CPU time: 26.4113 s c =============================================================================== c | 22315 | 1373 1640 474044 | 5000 4457 1179 | 0.000 % | c =============================================================================== c New solution: 2357884 c Elapsed CPU time: 154.026 s Remaining CPU time: 25.9744 s c =============================================================================== c | 22340 | 1373 1641 475269 | 5000 4482 1179 | 0.000 % | c | 22443 | 1373 1641 475269 | 5500 4585 1178 | 0.000 % | c | 22594 | 1373 1641 475269 | 6050 4736 1178 | 0.000 % | c | 22819 | 1373 1641 475269 | 6655 4961 1178 | 0.000 % | c =============================================================================== c New solution: 2357421 c Elapsed CPU time: 157.329 s Remaining CPU time: 22.6709 s c =============================================================================== c | 22833 | 1373 1642 476494 | 5000 4975 1178 | 0.000 % | c =============================================================================== c New solution: 2357136 c Elapsed CPU time: 158.076 s Remaining CPU time: 21.924 s c =============================================================================== c | 22928 | 1373 1643 477719 | 5000 5070 1178 | 0.000 % | c =============================================================================== c New solution: 2357106 c Elapsed CPU time: 159.058 s Remaining CPU time: 20.9422 s c =============================================================================== c | 22998 | 1373 1644 478944 | 5000 2605 1177 | 0.000 % | c | 23099 | 1373 1644 478944 | 5500 2706 1177 | 0.000 % | c =============================================================================== c New solution: 2357008 c Elapsed CPU time: 160.949 s Remaining CPU time: 19.0515 s c =============================================================================== c | 23196 | 1373 1645 480169 | 5000 2803 1177 | 0.000 % | c =============================================================================== c New solution: 2356661 c Elapsed CPU time: 161.574 s Remaining CPU time: 18.4256 s c =============================================================================== c | 23245 | 1373 1646 481394 | 5000 2852 1177 | 0.000 % | c | 23347 | 1373 1646 481394 | 5500 2954 1177 | 0.000 % | c =============================================================================== c New solution: 2356380 c Elapsed CPU time: 163.209 s Remaining CPU time: 16.7908 s c =============================================================================== c | 23422 | 1373 1647 482619 | 5000 3029 1177 | 0.000 % | c =============================================================================== c New solution: 2356218 c Elapsed CPU time: 163.865 s Remaining CPU time: 16.1349 s c =============================================================================== c | 23462 | 1373 1648 483844 | 5000 3069 1176 | 0.000 % | c =============================================================================== c New solution: 2356118 c Elapsed CPU time: 164.368 s Remaining CPU time: 15.632 s c =============================================================================== c | 23501 | 1373 1649 485069 | 5000 3108 1176 | 0.000 % | c =============================================================================== c New solution: 2356074 c Elapsed CPU time: 164.881 s Remaining CPU time: 15.1191 s c =============================================================================== c | 23527 | 1373 1650 486294 | 5000 3134 1176 | 0.000 % | c | 23627 | 1373 1650 486294 | 5500 3234 1176 | 0.000 % | c =============================================================================== c New solution: 2355965 c Elapsed CPU time: 165.869 s Remaining CPU time: 14.1312 s c =============================================================================== c | 23639 | 1373 1651 487519 | 5000 3246 1176 | 0.000 % | c | 23739 | 1373 1651 487519 | 5500 3346 1176 | 0.000 % | c | 23890 | 1373 1651 487519 | 6050 3497 1176 | 0.000 % | c =============================================================================== c New solution: 2355817 c Elapsed CPU time: 169.098 s Remaining CPU time: 10.9017 s c =============================================================================== c | 24023 | 1373 1652 488744 | 5000 3630 1176 | 0.000 % | c | 24123 | 1373 1652 488744 | 5500 3730 1176 | 0.000 % | c =============================================================================== c New solution: 2355682 c Elapsed CPU time: 170.619 s Remaining CPU time: 9.38094 s c =============================================================================== c | 24162 | 1373 1653 489969 | 5000 3769 1176 | 0.000 % | c | 24262 | 1373 1653 489969 | 5500 3869 1176 | 0.000 % | c | 24412 | 1373 1653 489969 | 6050 4019 1176 | 0.000 % | c =============================================================================== c New solution: 2355500 c Elapsed CPU time: 173.518 s Remaining CPU time: 6.48238 s c =============================================================================== c | 24477 | 1373 1654 491194 | 5000 4084 1176 | 0.000 % | c =============================================================================== c New solution: 2355361 c Elapsed CPU time: 174.407 s Remaining CPU time: 5.59251 s c =============================================================================== c | 24570 | 1373 1655 492419 | 5000 4177 1176 | 0.000 % | c | 24670 | 1373 1655 492419 | 5500 4277 1176 | 0.000 % | c =============================================================================== c New solution: 2355249 c Elapsed CPU time: 175.605 s Remaining CPU time: 4.3947 s c =============================================================================== c | 24696 | 1373 1656 493644 | 5000 4303 1176 | 0.000 % | c =============================================================================== c New solution: 2355243 c Elapsed CPU time: 176.351 s Remaining CPU time: 3.64881 s c =============================================================================== c | 24759 | 1373 1657 494869 | 5000 4366 1176 | 0.000 % | c | 24859 | 1373 1657 494869 | 5500 4466 1176 | 0.000 % | c =============================================================================== c New solution: 2355039 c Elapsed CPU time: 177.912 s Remaining CPU time: 2.08805 s c =============================================================================== c | 24912 | 1373 1658 496094 | 5000 4519 1176 | 0.000 % | c =============================================================================== c New solution: 2354773 c Elapsed CPU time: 178.539 s Remaining CPU time: 1.46114 s c =============================================================================== c | 24987 | 1373 1659 497319 | 5000 4594 1176 | 0.000 % | c | 25088 | 1373 1659 497319 | 5500 4695 1176 | 0.000 % | c =============================================================================== c New solution: 2354383 c Elapsed CPU time: 179.726 s Remaining CPU time: 0.274323 s c =============================================================================== c | 25095 | 1373 1660 498544 | 5000 4702 1176 | 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 | 170 2923 3989 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 179 2931 4001 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 190 2941 4015 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 203 2953 4033 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 218 2967 4057 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 235 2983 4085 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 254 3001 4111 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 276 3022 4138 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 301 3046 4176 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 329 3073 4221 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 335 3078 4228 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 340 3083 4237 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 354 3096 4260 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 361 3102 4274 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 370 3110 4288 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 382 3121 4307 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 395 3133 4325 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 405 3144 4341 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 416 3154 4353 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 429 3166 4371 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 441 3177 4388 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 454 3189 4408 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 463 3197 4418 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 475 3208 4433 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 489 3221 4460 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 503 3234 4475 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 536 3266 4528 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 580 3304 4717 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 616 3339 4777 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 658 3380 4836 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 680 3401 4865 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 701 3421 4889 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 725 3444 5058 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 749 3467 5095 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 775 3492 5138 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 801 3520 5185 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 831 3549 5238 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 863 3580 5297 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 897 3613 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 | 950 3663 5411 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 987 3696 5516 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1039 3746 5571 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1118 3823 5737 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1157 3860 5782 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1210 3911 5850 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1268 3968 5933 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1323 4022 5989 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1366 4064 6076 | 5000 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 4109 6143 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1461 4158 6196 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1508 4205 6300 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1557 4253 6378 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1603 4298 6465 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1653 4347 6540 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1716 4410 6637 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1766 4459 6722 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1826 4518 6789 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1835 4526 6799 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1895 4585 6888 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1927 4616 6939 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1933 4623 6947 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1944 4633 7007 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1992 4680 7096 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2051 4738 7192 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2115 4802 7326 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2165 4852 7405 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2218 4904 7523 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2288 4973 7607 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2352 5037 7681 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2417 5101 7770 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2487 5170 7842 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2500 5179 7921 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2507 5185 7929 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2516 5193 7943 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2594 5271 8064 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2607 5283 8078 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2624 5299 8098 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2691 5365 8190 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2753 5426 8323 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2810 5482 8417 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2883 5554 8504 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2892 5562 8520 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2901 5570 8532 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2911 5578 8551 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2988 5651 8654 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3005 5667 8672 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3024 5685 8698 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3044 5704 8719 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3055 5714 8733 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3125 5783 8888 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3141 5798 8907 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3152 5808 8919 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3185 5840 8953 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3195 5850 8975 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3212 5867 9003 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3230 5885 9040 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3241 5896 9063 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3254 5909 9090 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3267 5922 9117 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3290 5939 9178 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3310 5958 9211 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3333 5980 9236 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3353 5999 9259 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3374 6019 9299 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3399 6042 9327 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3421 6063 9350 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3443 6084 9381 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3465 6105 9408 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3487 6126 9449 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3514 6152 9511 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3536 6173 9548 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3561 6197 9636 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3601 6235 9685 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3639 6272 9728 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3671 6303 9769 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3707 6338 9807 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3742 6372 9857 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3776 6405 9906 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3817 6445 9965 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3858 6482 10017 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3899 6522 10078 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3940 6560 10132 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3991 6609 10200 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4029 6645 10241 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4066 6681 10280 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4102 6714 10386 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4139 6750 10476 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4180 6790 10525 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4222 6831 10626 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4254 6862 10703 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4310 6917 10832 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4351 6957 10896 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4414 7019 10996 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4448 7052 11047 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4481 7084 11189 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4505 7107 11232 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4530 7131 11300 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4554 7156 11378 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4623 7224 11516 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4647 7246 11551 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4672 7270 11603 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4703 7300 11657 | 5000 0 nan | 0.000 % | c ===============================================================================