c wbo 1.4 beta - 20100610 c | Number of variables: 175 | c | Number of clauses: 1400 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1502 | c | Number Clauses: 1384 | 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 | 1502 1384 5356 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2592769 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 1502 1385 6699 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2592377 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1502 1386 8042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2591883 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 5 | 1502 1387 9385 | 5000 5 1332 | 0.000 % | c =============================================================================== c New solution: 2591146 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 5 | 1502 1388 10728 | 5000 5 1332 | 0.000 % | c =============================================================================== c New solution: 2589944 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 5 | 1502 1389 12071 | 5000 5 1332 | 0.000 % | c =============================================================================== c New solution: 2589700 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 18 | 1502 1390 13414 | 5000 18 1332 | 0.000 % | c =============================================================================== c New solution: 2589628 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 47 | 1502 1391 14757 | 5000 47 1332 | 0.000 % | c =============================================================================== c New solution: 2589590 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 51 | 1502 1392 16100 | 5000 51 1332 | 0.000 % | c =============================================================================== c New solution: 2589264 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 59 | 1502 1393 17443 | 5000 59 1332 | 0.000 % | c =============================================================================== c New solution: 2589041 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 76 | 1502 1394 18786 | 5000 76 1331 | 0.000 % | c =============================================================================== c New solution: 2588728 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 82 | 1502 1395 20129 | 5000 82 1332 | 0.000 % | c =============================================================================== c New solution: 2588543 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 83 | 1502 1396 21472 | 5000 83 1332 | 0.000 % | c =============================================================================== c New solution: 2588505 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 89 | 1502 1397 22815 | 5000 89 1331 | 0.000 % | c =============================================================================== c New solution: 2588299 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s c =============================================================================== c | 102 | 1502 1398 24158 | 5000 102 1331 | 0.000 % | c =============================================================================== c New solution: 2588261 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 106 | 1502 1399 25501 | 5000 106 1331 | 0.000 % | c =============================================================================== c New solution: 2587948 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 115 | 1502 1400 26844 | 5000 115 1331 | 0.000 % | c =============================================================================== c New solution: 2586911 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 135 | 1502 1401 28187 | 5000 135 1331 | 0.000 % | c =============================================================================== c New solution: 2586818 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 182 | 1502 1402 29530 | 5000 182 1330 | 0.000 % | c =============================================================================== c New solution: 2586404 c Elapsed CPU time: 0.328949 s Remaining CPU time: 179.671 s c =============================================================================== c | 182 | 1502 1403 30873 | 5000 182 1330 | 0.000 % | c =============================================================================== c New solution: 2586366 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 182 | 1502 1404 32216 | 5000 182 1330 | 0.000 % | c =============================================================================== c New solution: 2586100 c Elapsed CPU time: 0.367944 s Remaining CPU time: 179.632 s c =============================================================================== c | 196 | 1502 1405 33559 | 5000 196 1330 | 0.000 % | c =============================================================================== c New solution: 2585633 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s c =============================================================================== c | 196 | 1502 1406 34902 | 5000 196 1330 | 0.000 % | c =============================================================================== c New solution: 2585564 c Elapsed CPU time: 0.407937 s Remaining CPU time: 179.592 s c =============================================================================== c | 199 | 1502 1407 36245 | 5000 199 1330 | 0.000 % | c =============================================================================== c New solution: 2585303 c Elapsed CPU time: 0.430934 s Remaining CPU time: 179.569 s c =============================================================================== c | 205 | 1502 1408 37588 | 5000 205 1330 | 0.000 % | c =============================================================================== c New solution: 2584969 c Elapsed CPU time: 0.45993 s Remaining CPU time: 179.54 s c =============================================================================== c | 225 | 1502 1409 38931 | 5000 225 1330 | 0.000 % | c =============================================================================== c New solution: 2584931 c Elapsed CPU time: 0.485926 s Remaining CPU time: 179.514 s c =============================================================================== c | 235 | 1502 1410 40274 | 5000 235 1330 | 0.000 % | c =============================================================================== c New solution: 2584687 c Elapsed CPU time: 0.514921 s Remaining CPU time: 179.485 s c =============================================================================== c | 246 | 1502 1411 41617 | 5000 246 1330 | 0.000 % | c =============================================================================== c New solution: 2584657 c Elapsed CPU time: 0.552915 s Remaining CPU time: 179.447 s c =============================================================================== c | 272 | 1502 1412 42960 | 5000 272 1330 | 0.000 % | c =============================================================================== c New solution: 2584509 c Elapsed CPU time: 0.577912 s Remaining CPU time: 179.422 s c =============================================================================== c | 276 | 1502 1413 44303 | 5000 276 1330 | 0.000 % | c =============================================================================== c New solution: 2584024 c Elapsed CPU time: 0.606907 s Remaining CPU time: 179.393 s c =============================================================================== c | 288 | 1502 1414 45646 | 5000 288 1330 | 0.000 % | c =============================================================================== c New solution: 2583594 c Elapsed CPU time: 0.630904 s Remaining CPU time: 179.369 s c =============================================================================== c | 294 | 1502 1415 46989 | 5000 294 1330 | 0.000 % | c =============================================================================== c New solution: 2583409 c Elapsed CPU time: 0.657899 s Remaining CPU time: 179.342 s c =============================================================================== c | 303 | 1502 1416 48332 | 5000 303 1330 | 0.000 % | c =============================================================================== c New solution: 2583371 c Elapsed CPU time: 0.681896 s Remaining CPU time: 179.318 s c =============================================================================== c | 309 | 1502 1417 49675 | 5000 309 1330 | 0.000 % | c =============================================================================== c New solution: 2583165 c Elapsed CPU time: 0.710891 s Remaining CPU time: 179.289 s c =============================================================================== c | 317 | 1502 1418 51018 | 5000 317 1330 | 0.000 % | c =============================================================================== c New solution: 2583127 c Elapsed CPU time: 0.737887 s Remaining CPU time: 179.262 s c =============================================================================== c | 322 | 1502 1419 52361 | 5000 322 1330 | 0.000 % | c =============================================================================== c New solution: 2582737 c Elapsed CPU time: 0.771882 s Remaining CPU time: 179.228 s c =============================================================================== c | 336 | 1502 1420 53704 | 5000 336 1329 | 0.000 % | c =============================================================================== c New solution: 2582516 c Elapsed CPU time: 0.826874 s Remaining CPU time: 179.173 s c =============================================================================== c | 371 | 1502 1421 55047 | 5000 371 1329 | 0.000 % | c =============================================================================== c New solution: 2582448 c Elapsed CPU time: 0.85187 s Remaining CPU time: 179.148 s c =============================================================================== c | 371 | 1502 1422 56390 | 5000 371 1329 | 0.000 % | c =============================================================================== c New solution: 2581355 c Elapsed CPU time: 0.871867 s Remaining CPU time: 179.128 s c =============================================================================== c | 371 | 1502 1423 57733 | 5000 371 1329 | 0.000 % | c =============================================================================== c New solution: 2581111 c Elapsed CPU time: 0.923859 s Remaining CPU time: 179.076 s c =============================================================================== c | 404 | 1502 1424 59076 | 5000 404 1329 | 0.000 % | c =============================================================================== c New solution: 2581029 c Elapsed CPU time: 0.949855 s Remaining CPU time: 179.05 s c =============================================================================== c | 407 | 1502 1425 60419 | 5000 407 1329 | 0.000 % | c =============================================================================== c New solution: 2580913 c Elapsed CPU time: 1.00185 s Remaining CPU time: 178.998 s c =============================================================================== c | 426 | 1502 1426 61762 | 5000 426 1329 | 0.000 % | c =============================================================================== c New solution: 2580562 c Elapsed CPU time: 1.03584 s Remaining CPU time: 178.964 s c =============================================================================== c | 431 | 1502 1427 63105 | 5000 431 1329 | 0.000 % | c =============================================================================== c New solution: 2580179 c Elapsed CPU time: 1.07584 s Remaining CPU time: 178.924 s c =============================================================================== c | 446 | 1502 1428 64448 | 5000 446 1329 | 0.000 % | c =============================================================================== c New solution: 2579643 c Elapsed CPU time: 1.11583 s Remaining CPU time: 178.884 s c =============================================================================== c | 455 | 1502 1429 65791 | 5000 455 1329 | 0.000 % | c =============================================================================== c New solution: 2579593 c Elapsed CPU time: 1.17982 s Remaining CPU time: 178.82 s c =============================================================================== c | 497 | 1502 1430 67134 | 5000 497 1328 | 0.000 % | c =============================================================================== c New solution: 2579510 c Elapsed CPU time: 1.21981 s Remaining CPU time: 178.78 s c =============================================================================== c | 509 | 1502 1431 68477 | 5000 509 1328 | 0.000 % | c =============================================================================== c New solution: 2579402 c Elapsed CPU time: 1.26481 s Remaining CPU time: 178.735 s c =============================================================================== c | 517 | 1502 1432 69820 | 5000 517 1328 | 0.000 % | c =============================================================================== c New solution: 2579258 c Elapsed CPU time: 1.2988 s Remaining CPU time: 178.701 s c =============================================================================== c | 521 | 1502 1433 71163 | 5000 521 1328 | 0.000 % | c =============================================================================== c New solution: 2578957 c Elapsed CPU time: 1.34879 s Remaining CPU time: 178.651 s c =============================================================================== c | 529 | 1502 1434 72506 | 5000 529 1328 | 0.000 % | c =============================================================================== c New solution: 2578632 c Elapsed CPU time: 1.39379 s Remaining CPU time: 178.606 s c =============================================================================== c | 535 | 1502 1435 73849 | 5000 535 1328 | 0.000 % | c =============================================================================== c New solution: 2577986 c Elapsed CPU time: 1.45578 s Remaining CPU time: 178.544 s c =============================================================================== c | 564 | 1502 1436 75192 | 5000 564 1328 | 0.000 % | c =============================================================================== c New solution: 2577086 c Elapsed CPU time: 1.48977 s Remaining CPU time: 178.51 s c =============================================================================== c | 565 | 1502 1437 76535 | 5000 565 1328 | 0.000 % | c =============================================================================== c New solution: 2576639 c Elapsed CPU time: 1.56776 s Remaining CPU time: 178.432 s c =============================================================================== c | 602 | 1502 1438 77878 | 5000 602 1328 | 0.000 % | c =============================================================================== c New solution: 2576147 c Elapsed CPU time: 1.61175 s Remaining CPU time: 178.388 s c =============================================================================== c | 617 | 1502 1439 79221 | 5000 617 1328 | 0.000 % | c =============================================================================== c New solution: 2575896 c Elapsed CPU time: 1.64675 s Remaining CPU time: 178.353 s c =============================================================================== c | 618 | 1502 1440 80564 | 5000 618 1328 | 0.000 % | c =============================================================================== c New solution: 2575154 c Elapsed CPU time: 1.68174 s Remaining CPU time: 178.318 s c =============================================================================== c | 618 | 1502 1441 81907 | 5000 618 1328 | 0.000 % | c =============================================================================== c New solution: 2575129 c Elapsed CPU time: 1.74373 s Remaining CPU time: 178.256 s c =============================================================================== c | 641 | 1502 1442 83250 | 5000 641 1328 | 0.000 % | c =============================================================================== c New solution: 2575043 c Elapsed CPU time: 1.81372 s Remaining CPU time: 178.186 s c =============================================================================== c | 669 | 1502 1443 84593 | 5000 669 1327 | 0.000 % | c =============================================================================== c New solution: 2574507 c Elapsed CPU time: 1.85572 s Remaining CPU time: 178.144 s c =============================================================================== c | 669 | 1502 1444 85936 | 5000 669 1327 | 0.000 % | c =============================================================================== c New solution: 2574469 c Elapsed CPU time: 1.89071 s Remaining CPU time: 178.109 s c =============================================================================== c | 669 | 1502 1445 87279 | 5000 669 1327 | 0.000 % | c =============================================================================== c New solution: 2574331 c Elapsed CPU time: 1.93771 s Remaining CPU time: 178.062 s c =============================================================================== c | 680 | 1502 1446 88622 | 5000 680 1327 | 0.000 % | c =============================================================================== c New solution: 2573989 c Elapsed CPU time: 1.9867 s Remaining CPU time: 178.013 s c =============================================================================== c | 699 | 1502 1447 89965 | 5000 699 1327 | 0.000 % | c =============================================================================== c New solution: 2572926 c Elapsed CPU time: 2.03169 s Remaining CPU time: 177.968 s c =============================================================================== c | 705 | 1502 1448 91308 | 5000 705 1327 | 0.000 % | c =============================================================================== c New solution: 2572652 c Elapsed CPU time: 2.11468 s Remaining CPU time: 177.885 s c =============================================================================== c | 736 | 1502 1449 92651 | 5000 736 1327 | 0.000 % | c =============================================================================== c New solution: 2572570 c Elapsed CPU time: 2.15667 s Remaining CPU time: 177.843 s c =============================================================================== c | 738 | 1502 1450 93994 | 5000 738 1327 | 0.000 % | c =============================================================================== c New solution: 2571932 c Elapsed CPU time: 2.23266 s Remaining CPU time: 177.767 s c =============================================================================== c | 776 | 1502 1451 95337 | 5000 776 1327 | 0.000 % | c =============================================================================== c New solution: 2571905 c Elapsed CPU time: 2.32165 s Remaining CPU time: 177.678 s c =============================================================================== c | 818 | 1502 1452 96680 | 5000 818 1327 | 0.000 % | c =============================================================================== c New solution: 2571600 c Elapsed CPU time: 2.37264 s Remaining CPU time: 177.627 s c =============================================================================== c | 826 | 1502 1453 98023 | 5000 826 1326 | 0.000 % | c =============================================================================== c New solution: 2571356 c Elapsed CPU time: 2.44163 s Remaining CPU time: 177.558 s c =============================================================================== c | 841 | 1502 1454 99366 | 5000 841 1326 | 0.000 % | c =============================================================================== c New solution: 2570820 c Elapsed CPU time: 2.50762 s Remaining CPU time: 177.492 s c =============================================================================== c | 859 | 1502 1455 100709 | 5000 859 1326 | 0.000 % | c =============================================================================== c New solution: 2570421 c Elapsed CPU time: 2.56761 s Remaining CPU time: 177.432 s c =============================================================================== c | 870 | 1502 1456 102052 | 5000 870 1326 | 0.000 % | c =============================================================================== c New solution: 2570310 c Elapsed CPU time: 2.6126 s Remaining CPU time: 177.387 s c =============================================================================== c | 870 | 1502 1457 103395 | 5000 870 1326 | 0.000 % | c =============================================================================== c New solution: 2570066 c Elapsed CPU time: 2.66659 s Remaining CPU time: 177.333 s c =============================================================================== c | 877 | 1502 1458 104738 | 5000 877 1326 | 0.000 % | c =============================================================================== c New solution: 2570025 c Elapsed CPU time: 2.72559 s Remaining CPU time: 177.274 s c =============================================================================== c | 889 | 1502 1459 106081 | 5000 889 1326 | 0.000 % | c =============================================================================== c New solution: 2569908 c Elapsed CPU time: 2.80457 s Remaining CPU time: 177.195 s c =============================================================================== c | 925 | 1502 1460 107424 | 5000 925 1326 | 0.000 % | c =============================================================================== c New solution: 2569870 c Elapsed CPU time: 2.86556 s Remaining CPU time: 177.134 s c =============================================================================== c | 937 | 1502 1461 108767 | 5000 937 1326 | 0.000 % | c =============================================================================== c New solution: 2569801 c Elapsed CPU time: 2.92156 s Remaining CPU time: 177.078 s c =============================================================================== c | 942 | 1502 1462 110110 | 5000 942 1326 | 0.000 % | c =============================================================================== c New solution: 2569720 c Elapsed CPU time: 3.01254 s Remaining CPU time: 176.987 s c =============================================================================== c | 987 | 1502 1463 111453 | 5000 987 1326 | 0.000 % | c =============================================================================== c New solution: 2569553 c Elapsed CPU time: 3.16552 s Remaining CPU time: 176.834 s c =============================================================================== c | 1066 | 1502 1464 112796 | 5000 1066 1325 | 0.000 % | c =============================================================================== c New solution: 2569070 c Elapsed CPU time: 3.2545 s Remaining CPU time: 176.745 s c =============================================================================== c | 1102 | 1502 1465 114139 | 5000 1102 1325 | 0.000 % | c =============================================================================== c New solution: 2568351 c Elapsed CPU time: 3.34649 s Remaining CPU time: 176.654 s c =============================================================================== c | 1132 | 1502 1466 115482 | 5000 1132 1325 | 0.000 % | c =============================================================================== c New solution: 2568338 c Elapsed CPU time: 3.43448 s Remaining CPU time: 176.566 s c =============================================================================== c | 1161 | 1502 1467 116825 | 5000 1161 1325 | 0.000 % | c =============================================================================== c New solution: 2568325 c Elapsed CPU time: 3.50147 s Remaining CPU time: 176.499 s c =============================================================================== c | 1164 | 1502 1468 118168 | 5000 1164 1325 | 0.000 % | c =============================================================================== c New solution: 2567846 c Elapsed CPU time: 3.58745 s Remaining CPU time: 176.413 s c =============================================================================== c | 1184 | 1502 1469 119511 | 5000 1184 1325 | 0.000 % | c =============================================================================== c New solution: 2567495 c Elapsed CPU time: 3.64245 s Remaining CPU time: 176.358 s c =============================================================================== c | 1185 | 1502 1470 120854 | 5000 1185 1325 | 0.000 % | c =============================================================================== c New solution: 2567479 c Elapsed CPU time: 3.70244 s Remaining CPU time: 176.298 s c =============================================================================== c | 1187 | 1502 1471 122197 | 5000 1187 1324 | 0.000 % | c =============================================================================== c New solution: 2567473 c Elapsed CPU time: 3.76643 s Remaining CPU time: 176.234 s c =============================================================================== c | 1191 | 1502 1472 123540 | 5000 1191 1324 | 0.000 % | c =============================================================================== c New solution: 2567446 c Elapsed CPU time: 3.9144 s Remaining CPU time: 176.086 s c =============================================================================== c | 1258 | 1502 1473 124883 | 5000 1258 1323 | 0.000 % | c =============================================================================== c New solution: 2567223 c Elapsed CPU time: 3.9764 s Remaining CPU time: 176.024 s c =============================================================================== c | 1260 | 1502 1474 126226 | 5000 1260 1323 | 0.000 % | c =============================================================================== c New solution: 2566911 c Elapsed CPU time: 4.06738 s Remaining CPU time: 175.933 s c =============================================================================== c | 1283 | 1502 1475 127569 | 5000 1283 1323 | 0.000 % | c =============================================================================== c New solution: 2566384 c Elapsed CPU time: 4.13737 s Remaining CPU time: 175.863 s c =============================================================================== c | 1290 | 1502 1476 128912 | 5000 1290 1323 | 0.000 % | c =============================================================================== c New solution: 2566186 c Elapsed CPU time: 4.22936 s Remaining CPU time: 175.771 s c =============================================================================== c | 1322 | 1502 1477 130255 | 5000 1322 1323 | 0.000 % | c =============================================================================== c New solution: 2566170 c Elapsed CPU time: 4.29235 s Remaining CPU time: 175.708 s c =============================================================================== c | 1322 | 1502 1478 131598 | 5000 1322 1323 | 0.000 % | c =============================================================================== c New solution: 2566158 c Elapsed CPU time: 4.38033 s Remaining CPU time: 175.62 s c =============================================================================== c | 1345 | 1502 1479 132941 | 5000 1345 1323 | 0.000 % | c =============================================================================== c New solution: 2566076 c Elapsed CPU time: 4.45332 s Remaining CPU time: 175.547 s c =============================================================================== c | 1354 | 1502 1480 134284 | 5000 1354 1323 | 0.000 % | c =============================================================================== c New solution: 2566063 c Elapsed CPU time: 4.53231 s Remaining CPU time: 175.468 s c =============================================================================== c | 1374 | 1502 1481 135627 | 5000 1374 1323 | 0.000 % | c =============================================================================== c New solution: 2566038 c Elapsed CPU time: 4.5963 s Remaining CPU time: 175.404 s c =============================================================================== c | 1377 | 1502 1482 136970 | 5000 1377 1323 | 0.000 % | c =============================================================================== c New solution: 2565794 c Elapsed CPU time: 4.66229 s Remaining CPU time: 175.338 s c =============================================================================== c | 1379 | 1502 1483 138313 | 5000 1379 1323 | 0.000 % | c =============================================================================== c New solution: 2565788 c Elapsed CPU time: 4.76527 s Remaining CPU time: 175.235 s c =============================================================================== c | 1409 | 1502 1484 139656 | 5000 1409 1323 | 0.000 % | c =============================================================================== c New solution: 2565770 c Elapsed CPU time: 4.86626 s Remaining CPU time: 175.134 s c =============================================================================== c | 1439 | 1502 1485 140999 | 5000 1439 1322 | 0.000 % | c =============================================================================== c New solution: 2565654 c Elapsed CPU time: 4.97324 s Remaining CPU time: 175.027 s c =============================================================================== c | 1473 | 1502 1486 142342 | 5000 1473 1322 | 0.000 % | c =============================================================================== c New solution: 2565640 c Elapsed CPU time: 5.08123 s Remaining CPU time: 174.919 s c =============================================================================== c | 1500 | 1502 1487 143685 | 5000 1500 1322 | 0.000 % | c =============================================================================== c New solution: 2565203 c Elapsed CPU time: 5.17321 s Remaining CPU time: 174.827 s c =============================================================================== c | 1515 | 1502 1488 145028 | 5000 1515 1322 | 0.000 % | c =============================================================================== c New solution: 2564783 c Elapsed CPU time: 5.2392 s Remaining CPU time: 174.761 s c =============================================================================== c | 1516 | 1502 1489 146371 | 5000 1516 1322 | 0.000 % | c =============================================================================== c New solution: 2564247 c Elapsed CPU time: 5.34619 s Remaining CPU time: 174.654 s c =============================================================================== c | 1539 | 1502 1490 147714 | 5000 1539 1322 | 0.000 % | c =============================================================================== c New solution: 2563887 c Elapsed CPU time: 5.47317 s Remaining CPU time: 174.527 s c =============================================================================== c | 1577 | 1502 1491 149057 | 5000 1577 1322 | 0.000 % | c =============================================================================== c New solution: 2563849 c Elapsed CPU time: 5.55715 s Remaining CPU time: 174.443 s c =============================================================================== c | 1588 | 1502 1492 150400 | 5000 1588 1322 | 0.000 % | c =============================================================================== c New solution: 2563835 c Elapsed CPU time: 5.63214 s Remaining CPU time: 174.368 s c =============================================================================== c | 1593 | 1502 1493 151743 | 5000 1593 1322 | 0.000 % | c =============================================================================== c New solution: 2563369 c Elapsed CPU time: 5.70013 s Remaining CPU time: 174.3 s c =============================================================================== c | 1593 | 1502 1494 153086 | 5000 1593 1322 | 0.000 % | c =============================================================================== c New solution: 2562842 c Elapsed CPU time: 5.77112 s Remaining CPU time: 174.229 s c =============================================================================== c | 1593 | 1502 1495 154429 | 5000 1593 1322 | 0.000 % | c =============================================================================== c New solution: 2562698 c Elapsed CPU time: 5.87311 s Remaining CPU time: 174.127 s c =============================================================================== c | 1610 | 1502 1496 155772 | 5000 1610 1321 | 0.000 % | c =============================================================================== c New solution: 2562453 c Elapsed CPU time: 5.95909 s Remaining CPU time: 174.041 s c =============================================================================== c | 1622 | 1502 1497 157115 | 5000 1622 1321 | 0.000 % | c =============================================================================== c New solution: 2561955 c Elapsed CPU time: 6.05208 s Remaining CPU time: 173.948 s c =============================================================================== c | 1631 | 1502 1498 158458 | 5000 1631 1321 | 0.000 % | c =============================================================================== c New solution: 2561857 c Elapsed CPU time: 6.15406 s Remaining CPU time: 173.846 s c =============================================================================== c | 1646 | 1502 1499 159801 | 5000 1646 1321 | 0.000 % | c =============================================================================== c New solution: 2561775 c Elapsed CPU time: 6.25305 s Remaining CPU time: 173.747 s c =============================================================================== c | 1658 | 1502 1500 161144 | 5000 1658 1321 | 0.000 % | c =============================================================================== c New solution: 2561704 c Elapsed CPU time: 6.33904 s Remaining CPU time: 173.661 s c =============================================================================== c | 1665 | 1502 1501 162487 | 5000 1665 1321 | 0.000 % | c =============================================================================== c New solution: 2561610 c Elapsed CPU time: 6.41902 s Remaining CPU time: 173.581 s c =============================================================================== c | 1670 | 1502 1502 163830 | 5000 1670 1321 | 0.000 % | c =============================================================================== c New solution: 2561447 c Elapsed CPU time: 6.51201 s Remaining CPU time: 173.488 s c =============================================================================== c | 1678 | 1502 1503 165173 | 5000 1678 1321 | 0.000 % | c =============================================================================== c New solution: 2561444 c Elapsed CPU time: 6.60699 s Remaining CPU time: 173.393 s c =============================================================================== c | 1678 | 1502 1504 166516 | 5000 1678 1321 | 0.000 % | c =============================================================================== c New solution: 2561044 c Elapsed CPU time: 6.69998 s Remaining CPU time: 173.3 s c =============================================================================== c | 1678 | 1502 1505 167859 | 5000 1678 1321 | 0.000 % | c =============================================================================== c New solution: 2560514 c Elapsed CPU time: 6.78897 s Remaining CPU time: 173.211 s c =============================================================================== c | 1678 | 1502 1506 169202 | 5000 1678 1321 | 0.000 % | c =============================================================================== c New solution: 2560467 c Elapsed CPU time: 6.95694 s Remaining CPU time: 173.043 s c =============================================================================== c | 1733 | 1502 1507 170545 | 5000 1733 1321 | 0.000 % | c =============================================================================== c New solution: 2560116 c Elapsed CPU time: 7.04293 s Remaining CPU time: 172.957 s c =============================================================================== c | 1735 | 1502 1508 171888 | 5000 1735 1321 | 0.000 % | c =============================================================================== c New solution: 2559769 c Elapsed CPU time: 7.18391 s Remaining CPU time: 172.816 s c =============================================================================== c | 1775 | 1502 1509 173231 | 5000 1775 1321 | 0.000 % | c =============================================================================== c New solution: 2559731 c Elapsed CPU time: 7.27789 s Remaining CPU time: 172.722 s c =============================================================================== c | 1789 | 1502 1510 174574 | 5000 1789 1321 | 0.000 % | c =============================================================================== c New solution: 2559220 c Elapsed CPU time: 7.38088 s Remaining CPU time: 172.619 s c =============================================================================== c | 1807 | 1502 1511 175917 | 5000 1807 1321 | 0.000 % | c =============================================================================== c New solution: 2559182 c Elapsed CPU time: 7.46786 s Remaining CPU time: 172.532 s c =============================================================================== c | 1813 | 1502 1512 177260 | 5000 1813 1321 | 0.000 % | c =============================================================================== c New solution: 2558935 c Elapsed CPU time: 7.58285 s Remaining CPU time: 172.417 s c =============================================================================== c | 1833 | 1502 1513 178603 | 5000 1833 1321 | 0.000 % | c =============================================================================== c New solution: 2558601 c Elapsed CPU time: 7.73882 s Remaining CPU time: 172.261 s c =============================================================================== c | 1884 | 1502 1514 179946 | 5000 1884 1321 | 0.000 % | c =============================================================================== c New solution: 2558333 c Elapsed CPU time: 7.84181 s Remaining CPU time: 172.158 s c =============================================================================== c | 1891 | 1502 1515 181289 | 5000 1891 1321 | 0.000 % | c =============================================================================== c New solution: 2557998 c Elapsed CPU time: 7.99478 s Remaining CPU time: 172.005 s c =============================================================================== c | 1923 | 1502 1516 182632 | 5000 1923 1321 | 0.000 % | c =============================================================================== c New solution: 2557960 c Elapsed CPU time: 8.09877 s Remaining CPU time: 171.901 s c =============================================================================== c | 1933 | 1502 1517 183975 | 5000 1933 1321 | 0.000 % | c =============================================================================== c New solution: 2557691 c Elapsed CPU time: 8.22675 s Remaining CPU time: 171.773 s c =============================================================================== c | 1952 | 1502 1518 185318 | 5000 1952 1321 | 0.000 % | c =============================================================================== c New solution: 2557681 c Elapsed CPU time: 8.31574 s Remaining CPU time: 171.684 s c =============================================================================== c | 1953 | 1502 1519 186661 | 5000 1953 1321 | 0.000 % | c =============================================================================== c New solution: 2557385 c Elapsed CPU time: 8.40472 s Remaining CPU time: 171.595 s c =============================================================================== c | 1954 | 1502 1520 188004 | 5000 1954 1321 | 0.000 % | c =============================================================================== c New solution: 2556889 c Elapsed CPU time: 8.49671 s Remaining CPU time: 171.503 s c =============================================================================== c | 1955 | 1502 1521 189347 | 5000 1955 1321 | 0.000 % | c =============================================================================== c New solution: 2556492 c Elapsed CPU time: 8.60469 s Remaining CPU time: 171.395 s c =============================================================================== c | 1955 | 1502 1522 190690 | 5000 1955 1321 | 0.000 % | c =============================================================================== c New solution: 2555962 c Elapsed CPU time: 8.72267 s Remaining CPU time: 171.277 s c =============================================================================== c | 1957 | 1502 1523 192033 | 5000 1957 1321 | 0.000 % | c =============================================================================== c New solution: 2555937 c Elapsed CPU time: 8.85865 s Remaining CPU time: 171.141 s c =============================================================================== c | 1980 | 1502 1524 193376 | 5000 1980 1320 | 0.000 % | c =============================================================================== c New solution: 2555929 c Elapsed CPU time: 9.00263 s Remaining CPU time: 170.997 s c =============================================================================== c | 2017 | 1502 1525 194719 | 5000 2017 1320 | 0.000 % | c =============================================================================== c New solution: 2555523 c Elapsed CPU time: 9.2096 s Remaining CPU time: 170.79 s c =============================================================================== c | 2110 | 1502 1526 196062 | 5000 2110 1320 | 0.000 % | c =============================================================================== c New solution: 2555374 c Elapsed CPU time: 9.32558 s Remaining CPU time: 170.674 s c =============================================================================== c | 2131 | 1502 1527 197405 | 5000 2131 1320 | 0.000 % | c =============================================================================== c New solution: 2555306 c Elapsed CPU time: 9.43857 s Remaining CPU time: 170.561 s c =============================================================================== c | 2145 | 1502 1528 198748 | 5000 2145 1320 | 0.000 % | c =============================================================================== c New solution: 2554866 c Elapsed CPU time: 9.53555 s Remaining CPU time: 170.464 s c =============================================================================== c | 2145 | 1502 1529 200091 | 5000 2145 1320 | 0.000 % | c =============================================================================== c New solution: 2554844 c Elapsed CPU time: 9.64253 s Remaining CPU time: 170.357 s c =============================================================================== c | 2149 | 1502 1530 201434 | 5000 2149 1320 | 0.000 % | c =============================================================================== c New solution: 2554496 c Elapsed CPU time: 9.74952 s Remaining CPU time: 170.25 s c =============================================================================== c | 2150 | 1502 1531 202777 | 5000 2150 1320 | 0.000 % | c =============================================================================== c New solution: 2554208 c Elapsed CPU time: 9.8775 s Remaining CPU time: 170.123 s c =============================================================================== c | 2162 | 1502 1532 204120 | 5000 2162 1320 | 0.000 % | c =============================================================================== c New solution: 2554192 c Elapsed CPU time: 10.0135 s Remaining CPU time: 169.987 s c =============================================================================== c | 2173 | 1502 1533 205463 | 5000 2173 1320 | 0.000 % | c =============================================================================== c New solution: 2553861 c Elapsed CPU time: 10.1555 s Remaining CPU time: 169.845 s c =============================================================================== c | 2187 | 1502 1534 206806 | 5000 2187 1320 | 0.000 % | c =============================================================================== c New solution: 2553674 c Elapsed CPU time: 10.3024 s Remaining CPU time: 169.698 s c =============================================================================== c | 2209 | 1502 1535 208149 | 5000 2209 1320 | 0.000 % | c =============================================================================== c New solution: 2553468 c Elapsed CPU time: 10.4364 s Remaining CPU time: 169.564 s c =============================================================================== c | 2226 | 1502 1536 209492 | 5000 2226 1320 | 0.000 % | c =============================================================================== c New solution: 2553430 c Elapsed CPU time: 10.5524 s Remaining CPU time: 169.448 s c =============================================================================== c | 2227 | 1502 1537 210835 | 5000 2227 1320 | 0.000 % | c =============================================================================== c New solution: 2552977 c Elapsed CPU time: 10.6594 s Remaining CPU time: 169.341 s c =============================================================================== c | 2228 | 1502 1538 212178 | 5000 2228 1320 | 0.000 % | c =============================================================================== c New solution: 2552894 c Elapsed CPU time: 10.7744 s Remaining CPU time: 169.226 s c =============================================================================== c | 2228 | 1502 1539 213521 | 5000 2228 1320 | 0.000 % | c =============================================================================== c New solution: 2552425 c Elapsed CPU time: 10.8823 s Remaining CPU time: 169.118 s c =============================================================================== c | 2228 | 1502 1540 214864 | 5000 2228 1320 | 0.000 % | c =============================================================================== c New solution: 2551929 c Elapsed CPU time: 10.9893 s Remaining CPU time: 169.011 s c =============================================================================== c | 2228 | 1502 1541 216207 | 5000 2228 1320 | 0.000 % | c =============================================================================== c New solution: 2551572 c Elapsed CPU time: 11.1023 s Remaining CPU time: 168.898 s c =============================================================================== c | 2228 | 1502 1542 217550 | 5000 2228 1320 | 0.000 % | c =============================================================================== c New solution: 2551554 c Elapsed CPU time: 11.2103 s Remaining CPU time: 168.79 s c =============================================================================== c | 2228 | 1502 1543 218893 | 5000 2228 1320 | 0.000 % | c =============================================================================== c New solution: 2551042 c Elapsed CPU time: 11.3253 s Remaining CPU time: 168.675 s c =============================================================================== c | 2228 | 1502 1544 220236 | 5000 2228 1320 | 0.000 % | c =============================================================================== c New solution: 2551033 c Elapsed CPU time: 11.4543 s Remaining CPU time: 168.546 s c =============================================================================== c | 2239 | 1502 1545 221579 | 5000 2239 1320 | 0.000 % | c =============================================================================== c New solution: 2550605 c Elapsed CPU time: 11.5912 s Remaining CPU time: 168.409 s c =============================================================================== c | 2255 | 1502 1546 222922 | 5000 2255 1320 | 0.000 % | c =============================================================================== c New solution: 2550096 c Elapsed CPU time: 11.7262 s Remaining CPU time: 168.274 s c =============================================================================== c | 2261 | 1502 1547 224265 | 5000 2261 1320 | 0.000 % | c =============================================================================== c New solution: 2550058 c Elapsed CPU time: 11.8832 s Remaining CPU time: 168.117 s c =============================================================================== c | 2293 | 1502 1548 225608 | 5000 2293 1319 | 0.000 % | c =============================================================================== c New solution: 2549894 c Elapsed CPU time: 12.0222 s Remaining CPU time: 167.978 s c =============================================================================== c | 2306 | 1502 1549 226951 | 5000 2306 1319 | 0.000 % | c =============================================================================== c New solution: 2549741 c Elapsed CPU time: 12.1452 s Remaining CPU time: 167.855 s c =============================================================================== c | 2315 | 1502 1550 228294 | 5000 2315 1319 | 0.000 % | c =============================================================================== c New solution: 2549654 c Elapsed CPU time: 12.2941 s Remaining CPU time: 167.706 s c =============================================================================== c | 2340 | 1502 1551 229637 | 5000 2340 1319 | 0.000 % | c =============================================================================== c New solution: 2549471 c Elapsed CPU time: 12.5151 s Remaining CPU time: 167.485 s c =============================================================================== c | 2391 | 1502 1552 230980 | 5000 2391 1319 | 0.000 % | c =============================================================================== c New solution: 2549276 c Elapsed CPU time: 12.6801 s Remaining CPU time: 167.32 s c =============================================================================== c | 2410 | 1502 1553 232323 | 5000 2410 1319 | 0.000 % | c =============================================================================== c New solution: 2549123 c Elapsed CPU time: 12.7961 s Remaining CPU time: 167.204 s c =============================================================================== c | 2410 | 1502 1554 233666 | 5000 2410 1319 | 0.000 % | c =============================================================================== c New solution: 2549064 c Elapsed CPU time: 12.994 s Remaining CPU time: 167.006 s c =============================================================================== c | 2444 | 1502 1555 235009 | 5000 2444 1319 | 0.000 % | c =============================================================================== c New solution: 2548938 c Elapsed CPU time: 13.267 s Remaining CPU time: 166.733 s c =============================================================================== c | 2527 | 1502 1556 236352 | 5000 2527 1319 | 0.000 % | c =============================================================================== c New solution: 2548630 c Elapsed CPU time: 13.372 s Remaining CPU time: 166.628 s c =============================================================================== c | 2527 | 1502 1557 237695 | 5000 2527 1319 | 0.000 % | c =============================================================================== c New solution: 2548485 c Elapsed CPU time: 13.5119 s Remaining CPU time: 166.488 s c =============================================================================== c | 2543 | 1502 1558 239038 | 5000 2543 1318 | 0.000 % | c =============================================================================== c New solution: 2548268 c Elapsed CPU time: 13.7169 s Remaining CPU time: 166.283 s c =============================================================================== c | 2581 | 1502 1559 240381 | 5000 2581 1318 | 0.000 % | c =============================================================================== c New solution: 2547874 c Elapsed CPU time: 13.8659 s Remaining CPU time: 166.134 s c =============================================================================== c | 2585 | 1502 1560 241724 | 5000 2585 1318 | 0.000 % | c =============================================================================== c New solution: 2547768 c Elapsed CPU time: 14.0989 s Remaining CPU time: 165.901 s c =============================================================================== c | 2634 | 1502 1561 243067 | 5000 2634 1318 | 0.000 % | c =============================================================================== c New solution: 2547684 c Elapsed CPU time: 14.2198 s Remaining CPU time: 165.78 s c =============================================================================== c | 2636 | 1502 1562 244410 | 5000 2636 1318 | 0.000 % | c =============================================================================== c New solution: 2547373 c Elapsed CPU time: 14.4278 s Remaining CPU time: 165.572 s c =============================================================================== c | 2672 | 1502 1563 245753 | 5000 2672 1318 | 0.000 % | c =============================================================================== c New solution: 2547223 c Elapsed CPU time: 14.5888 s Remaining CPU time: 165.411 s c =============================================================================== c | 2701 | 1502 1564 247096 | 5000 2701 1318 | 0.000 % | c =============================================================================== c New solution: 2547173 c Elapsed CPU time: 14.7328 s Remaining CPU time: 165.267 s c =============================================================================== c | 2711 | 1502 1565 248439 | 5000 2711 1318 | 0.000 % | c =============================================================================== c New solution: 2547031 c Elapsed CPU time: 14.9047 s Remaining CPU time: 165.095 s c =============================================================================== c | 2724 | 1502 1566 249782 | 5000 2724 1318 | 0.000 % | c =============================================================================== c New solution: 2546613 c Elapsed CPU time: 15.0737 s Remaining CPU time: 164.926 s c =============================================================================== c | 2735 | 1502 1567 251125 | 5000 2735 1318 | 0.000 % | c =============================================================================== c New solution: 2546378 c Elapsed CPU time: 15.2357 s Remaining CPU time: 164.764 s c =============================================================================== c | 2748 | 1502 1568 252468 | 5000 2748 1318 | 0.000 % | c =============================================================================== c New solution: 2546103 c Elapsed CPU time: 15.4507 s Remaining CPU time: 164.549 s c =============================================================================== c | 2781 | 1502 1569 253811 | 5000 2781 1318 | 0.000 % | c =============================================================================== c New solution: 2546091 c Elapsed CPU time: 15.7186 s Remaining CPU time: 164.281 s c =============================================================================== c | 2858 | 1502 1570 255154 | 5000 2858 1317 | 0.000 % | c =============================================================================== c New solution: 2545997 c Elapsed CPU time: 15.9796 s Remaining CPU time: 164.02 s c =============================================================================== c | 2944 | 1502 1571 256497 | 5000 2944 1317 | 0.000 % | c =============================================================================== c New solution: 2545994 c Elapsed CPU time: 16.1295 s Remaining CPU time: 163.87 s c =============================================================================== c | 2957 | 1502 1572 257840 | 5000 2957 1317 | 0.000 % | c =============================================================================== c New solution: 2545966 c Elapsed CPU time: 16.2905 s Remaining CPU time: 163.709 s c =============================================================================== c | 2977 | 1502 1573 259183 | 5000 2977 1317 | 0.000 % | c =============================================================================== c New solution: 2545887 c Elapsed CPU time: 16.4495 s Remaining CPU time: 163.551 s c =============================================================================== c | 2990 | 1502 1574 260526 | 5000 2990 1317 | 0.000 % | c =============================================================================== c New solution: 2545877 c Elapsed CPU time: 16.6215 s Remaining CPU time: 163.379 s c =============================================================================== c | 3004 | 1502 1575 261869 | 5000 3004 1317 | 0.000 % | c =============================================================================== c New solution: 2545640 c Elapsed CPU time: 16.8424 s Remaining CPU time: 163.158 s c =============================================================================== c | 3029 | 1502 1576 263212 | 5000 3029 1317 | 0.000 % | c =============================================================================== c New solution: 2545336 c Elapsed CPU time: 17.0014 s Remaining CPU time: 162.999 s c =============================================================================== c | 3048 | 1502 1577 264555 | 5000 3048 1317 | 0.000 % | c =============================================================================== c New solution: 2545292 c Elapsed CPU time: 17.2034 s Remaining CPU time: 162.797 s c =============================================================================== c | 3072 | 1502 1578 265898 | 5000 3072 1317 | 0.000 % | c =============================================================================== c New solution: 2545199 c Elapsed CPU time: 17.3894 s Remaining CPU time: 162.611 s c =============================================================================== c | 3086 | 1502 1579 267241 | 5000 3086 1317 | 0.000 % | c =============================================================================== c New solution: 2544933 c Elapsed CPU time: 17.5443 s Remaining CPU time: 162.456 s c =============================================================================== c | 3092 | 1502 1580 268584 | 5000 3092 1317 | 0.000 % | c =============================================================================== c New solution: 2544886 c Elapsed CPU time: 17.7553 s Remaining CPU time: 162.245 s c =============================================================================== c | 3114 | 1502 1581 269927 | 5000 3114 1316 | 0.000 % | c =============================================================================== c New solution: 2544873 c Elapsed CPU time: 17.9763 s Remaining CPU time: 162.024 s c =============================================================================== c | 3140 | 1502 1582 271270 | 5000 3140 1316 | 0.000 % | c =============================================================================== c New solution: 2544803 c Elapsed CPU time: 18.1642 s Remaining CPU time: 161.836 s c =============================================================================== c | 3146 | 1502 1583 272613 | 5000 3146 1316 | 0.000 % | c =============================================================================== c New solution: 2544718 c Elapsed CPU time: 18.3182 s Remaining CPU time: 161.682 s c =============================================================================== c | 3152 | 1502 1584 273956 | 5000 3152 1316 | 0.000 % | c =============================================================================== c New solution: 2544581 c Elapsed CPU time: 18.4862 s Remaining CPU time: 161.514 s c =============================================================================== c | 3164 | 1502 1585 275299 | 5000 3164 1316 | 0.000 % | c =============================================================================== c New solution: 2544219 c Elapsed CPU time: 18.6342 s Remaining CPU time: 161.366 s c =============================================================================== c | 3166 | 1502 1586 276642 | 5000 3166 1316 | 0.000 % | c =============================================================================== c New solution: 2544167 c Elapsed CPU time: 18.7871 s Remaining CPU time: 161.213 s c =============================================================================== c | 3171 | 1502 1587 277985 | 5000 3171 1316 | 0.000 % | c =============================================================================== c New solution: 2544029 c Elapsed CPU time: 18.9561 s Remaining CPU time: 161.044 s c =============================================================================== c | 3183 | 1502 1588 279328 | 5000 3183 1316 | 0.000 % | c =============================================================================== c New solution: 2543998 c Elapsed CPU time: 19.1401 s Remaining CPU time: 160.86 s c =============================================================================== c | 3204 | 1502 1589 280671 | 5000 3204 1316 | 0.000 % | c =============================================================================== c New solution: 2543970 c Elapsed CPU time: 19.2971 s Remaining CPU time: 160.703 s c =============================================================================== c | 3211 | 1502 1590 282014 | 5000 3211 1316 | 0.000 % | c =============================================================================== c New solution: 2543784 c Elapsed CPU time: 19.462 s Remaining CPU time: 160.538 s c =============================================================================== c | 3218 | 1502 1591 283357 | 5000 3218 1316 | 0.000 % | c =============================================================================== c New solution: 2543759 c Elapsed CPU time: 19.684 s Remaining CPU time: 160.316 s c =============================================================================== c | 3263 | 1502 1592 284700 | 5000 3263 1316 | 0.000 % | c =============================================================================== c New solution: 2543623 c Elapsed CPU time: 19.941 s Remaining CPU time: 160.059 s c =============================================================================== c | 3299 | 1502 1593 286043 | 5000 3299 1316 | 0.000 % | c =============================================================================== c New solution: 2543509 c Elapsed CPU time: 20.1139 s Remaining CPU time: 159.886 s c =============================================================================== c | 3317 | 1502 1594 287386 | 5000 3317 1316 | 0.000 % | c =============================================================================== c New solution: 2543302 c Elapsed CPU time: 20.2739 s Remaining CPU time: 159.726 s c =============================================================================== c | 3325 | 1502 1595 288729 | 5000 3325 1316 | 0.000 % | c =============================================================================== c New solution: 2542885 c Elapsed CPU time: 20.4259 s Remaining CPU time: 159.574 s c =============================================================================== c | 3325 | 1502 1596 290072 | 5000 3325 1316 | 0.000 % | c =============================================================================== c New solution: 2542713 c Elapsed CPU time: 20.6179 s Remaining CPU time: 159.382 s c =============================================================================== c | 3335 | 1502 1597 291415 | 5000 3335 1316 | 0.000 % | c =============================================================================== c New solution: 2542555 c Elapsed CPU time: 20.8448 s Remaining CPU time: 159.155 s c =============================================================================== c | 3367 | 1502 1598 292758 | 5000 3367 1316 | 0.000 % | c =============================================================================== c New solution: 2542407 c Elapsed CPU time: 21.0798 s Remaining CPU time: 158.92 s c =============================================================================== c | 3411 | 1502 1599 294101 | 5000 3411 1316 | 0.000 % | c =============================================================================== c New solution: 2542297 c Elapsed CPU time: 21.3068 s Remaining CPU time: 158.693 s c =============================================================================== c | 3445 | 1502 1600 295444 | 5000 3445 1316 | 0.000 % | c =============================================================================== c New solution: 2541974 c Elapsed CPU time: 21.5167 s Remaining CPU time: 158.483 s c =============================================================================== c | 3465 | 1502 1601 296787 | 5000 3465 1316 | 0.000 % | c =============================================================================== c New solution: 2541783 c Elapsed CPU time: 21.7107 s Remaining CPU time: 158.289 s c =============================================================================== c | 3486 | 1502 1602 298130 | 5000 3486 1315 | 0.000 % | c =============================================================================== c New solution: 2541782 c Elapsed CPU time: 21.9037 s Remaining CPU time: 158.096 s c =============================================================================== c | 3506 | 1502 1603 299473 | 5000 3506 1315 | 0.000 % | c =============================================================================== c New solution: 2541717 c Elapsed CPU time: 22.1366 s Remaining CPU time: 157.863 s c =============================================================================== c | 3544 | 1502 1604 300816 | 5000 3544 1315 | 0.000 % | c =============================================================================== c New solution: 2541484 c Elapsed CPU time: 22.3216 s Remaining CPU time: 157.678 s c =============================================================================== c | 3562 | 1502 1605 302159 | 5000 3562 1315 | 0.000 % | c =============================================================================== c New solution: 2541445 c Elapsed CPU time: 22.5506 s Remaining CPU time: 157.449 s c =============================================================================== c | 3595 | 1502 1606 303502 | 5000 3595 1315 | 0.000 % | c =============================================================================== c New solution: 2541429 c Elapsed CPU time: 22.7185 s Remaining CPU time: 157.281 s c =============================================================================== c | 3601 | 1502 1607 304845 | 5000 3601 1315 | 0.000 % | c =============================================================================== c New solution: 2541392 c Elapsed CPU time: 22.8775 s Remaining CPU time: 157.122 s c =============================================================================== c | 3601 | 1502 1608 306188 | 5000 3601 1315 | 0.000 % | c =============================================================================== c New solution: 2541379 c Elapsed CPU time: 23.1355 s Remaining CPU time: 156.865 s c =============================================================================== c | 3645 | 1502 1609 307531 | 5000 3645 1315 | 0.000 % | c =============================================================================== c New solution: 2541050 c Elapsed CPU time: 23.4014 s Remaining CPU time: 156.599 s c =============================================================================== c | 3688 | 1502 1610 308874 | 5000 3688 1315 | 0.000 % | c =============================================================================== c New solution: 2540870 c Elapsed CPU time: 23.6704 s Remaining CPU time: 156.33 s c =============================================================================== c | 3739 | 1502 1611 310217 | 5000 3739 1315 | 0.000 % | c =============================================================================== c New solution: 2540769 c Elapsed CPU time: 23.8714 s Remaining CPU time: 156.129 s c =============================================================================== c | 3762 | 1502 1612 311560 | 5000 3762 1315 | 0.000 % | c =============================================================================== c New solution: 2540572 c Elapsed CPU time: 24.0193 s Remaining CPU time: 155.981 s c =============================================================================== c | 3762 | 1502 1613 312903 | 5000 3762 1315 | 0.000 % | c =============================================================================== c New solution: 2540217 c Elapsed CPU time: 24.2053 s Remaining CPU time: 155.795 s c =============================================================================== c | 3762 | 1502 1614 314246 | 5000 3762 1315 | 0.000 % | c =============================================================================== c New solution: 2539829 c Elapsed CPU time: 24.4953 s Remaining CPU time: 155.505 s c =============================================================================== c | 3821 | 1502 1615 315589 | 5000 3821 1315 | 0.000 % | c =============================================================================== c New solution: 2539781 c Elapsed CPU time: 24.7262 s Remaining CPU time: 155.274 s c =============================================================================== c | 3853 | 1502 1616 316932 | 5000 3853 1315 | 0.000 % | c =============================================================================== c New solution: 2539737 c Elapsed CPU time: 24.9282 s Remaining CPU time: 155.072 s c =============================================================================== c | 3870 | 1502 1617 318275 | 5000 3870 1314 | 0.000 % | c =============================================================================== c New solution: 2539718 c Elapsed CPU time: 25.1612 s Remaining CPU time: 154.839 s c =============================================================================== c | 3904 | 1502 1618 319618 | 5000 3904 1314 | 0.000 % | c =============================================================================== c New solution: 2539500 c Elapsed CPU time: 25.3581 s Remaining CPU time: 154.642 s c =============================================================================== c | 3928 | 1502 1619 320961 | 5000 3928 1314 | 0.000 % | c =============================================================================== c New solution: 2539405 c Elapsed CPU time: 25.5671 s Remaining CPU time: 154.433 s c =============================================================================== c | 3945 | 1502 1620 322304 | 5000 3945 1314 | 0.000 % | c =============================================================================== c New solution: 2539285 c Elapsed CPU time: 25.8211 s Remaining CPU time: 154.179 s c =============================================================================== c | 3976 | 1502 1621 323647 | 5000 3976 1314 | 0.000 % | c =============================================================================== c New solution: 2539071 c Elapsed CPU time: 26.05 s Remaining CPU time: 153.95 s c =============================================================================== c | 4003 | 1502 1622 324990 | 5000 4003 1314 | 0.000 % | c =============================================================================== c New solution: 2538898 c Elapsed CPU time: 26.328 s Remaining CPU time: 153.672 s c =============================================================================== c | 4066 | 1502 1623 326333 | 5000 4066 1314 | 0.000 % | c =============================================================================== c New solution: 2538835 c Elapsed CPU time: 26.494 s Remaining CPU time: 153.506 s c =============================================================================== c | 4066 | 1502 1624 327676 | 5000 4066 1314 | 0.000 % | c =============================================================================== c New solution: 2538564 c Elapsed CPU time: 26.7529 s Remaining CPU time: 153.247 s c =============================================================================== c | 4101 | 1502 1625 329019 | 5000 4101 1314 | 0.000 % | c =============================================================================== c New solution: 2538350 c Elapsed CPU time: 26.9809 s Remaining CPU time: 153.019 s c =============================================================================== c | 4119 | 1502 1626 330362 | 5000 4119 1314 | 0.000 % | c =============================================================================== c New solution: 2538105 c Elapsed CPU time: 27.2099 s Remaining CPU time: 152.79 s c =============================================================================== c | 4152 | 1502 1627 331705 | 5000 4152 1314 | 0.000 % | c =============================================================================== c New solution: 2538090 c Elapsed CPU time: 27.5008 s Remaining CPU time: 152.499 s c =============================================================================== c | 4186 | 1502 1628 333048 | 5000 4186 1314 | 0.000 % | c =============================================================================== c New solution: 2537716 c Elapsed CPU time: 27.7018 s Remaining CPU time: 152.298 s c =============================================================================== c | 4199 | 1502 1629 334391 | 5000 4199 1314 | 0.000 % | c =============================================================================== c New solution: 2537449 c Elapsed CPU time: 27.9597 s Remaining CPU time: 152.04 s c =============================================================================== c | 4233 | 1502 1630 335734 | 5000 4233 1314 | 0.000 % | c =============================================================================== c New solution: 2537369 c Elapsed CPU time: 28.2467 s Remaining CPU time: 151.753 s c =============================================================================== c | 4276 | 1502 1631 337077 | 5000 4276 1314 | 0.000 % | c =============================================================================== c New solution: 2537140 c Elapsed CPU time: 28.4917 s Remaining CPU time: 151.508 s c =============================================================================== c | 4303 | 1502 1632 338420 | 5000 4303 1313 | 0.000 % | c =============================================================================== c New solution: 2536915 c Elapsed CPU time: 28.6916 s Remaining CPU time: 151.308 s c =============================================================================== c | 4316 | 1502 1633 339763 | 5000 4316 1313 | 0.000 % | c =============================================================================== c New solution: 2536695 c Elapsed CPU time: 28.8756 s Remaining CPU time: 151.124 s c =============================================================================== c | 4318 | 1502 1634 341106 | 5000 4318 1313 | 0.000 % | c =============================================================================== c New solution: 2536656 c Elapsed CPU time: 29.2176 s Remaining CPU time: 150.782 s c =============================================================================== c | 4390 | 1502 1635 342449 | 5000 4390 1313 | 0.000 % | c =============================================================================== c New solution: 2536594 c Elapsed CPU time: 29.4655 s Remaining CPU time: 150.534 s c =============================================================================== c | 4424 | 1502 1636 343792 | 5000 4424 1313 | 0.000 % | c =============================================================================== c New solution: 2536508 c Elapsed CPU time: 29.8395 s Remaining CPU time: 150.161 s c =============================================================================== c | 4496 | 1502 1637 345135 | 5000 4496 1313 | 0.000 % | c =============================================================================== c New solution: 2536320 c Elapsed CPU time: 30.0474 s Remaining CPU time: 149.953 s c =============================================================================== c | 4503 | 1502 1638 346478 | 5000 4503 1313 | 0.000 % | c =============================================================================== c New solution: 2536178 c Elapsed CPU time: 30.2494 s Remaining CPU time: 149.751 s c =============================================================================== c | 4510 | 1502 1639 347821 | 5000 4510 1313 | 0.000 % | c =============================================================================== c New solution: 2536049 c Elapsed CPU time: 30.5704 s Remaining CPU time: 149.43 s c =============================================================================== c | 4559 | 1502 1640 349164 | 5000 4559 1313 | 0.000 % | c =============================================================================== c New solution: 2536022 c Elapsed CPU time: 30.8643 s Remaining CPU time: 149.136 s c =============================================================================== c | 4623 | 1502 1641 350507 | 5000 4623 1313 | 0.000 % | c =============================================================================== c New solution: 2535956 c Elapsed CPU time: 31.0673 s Remaining CPU time: 148.933 s c =============================================================================== c | 4643 | 1502 1642 351850 | 5000 4643 1313 | 0.000 % | c =============================================================================== c New solution: 2535821 c Elapsed CPU time: 31.2572 s Remaining CPU time: 148.743 s c =============================================================================== c | 4644 | 1502 1643 353193 | 5000 4644 1313 | 0.000 % | c =============================================================================== c New solution: 2535791 c Elapsed CPU time: 31.4562 s Remaining CPU time: 148.544 s c =============================================================================== c | 4644 | 1502 1644 354536 | 5000 4644 1313 | 0.000 % | c =============================================================================== c New solution: 2535690 c Elapsed CPU time: 31.7172 s Remaining CPU time: 148.283 s c =============================================================================== c | 4673 | 1502 1645 355879 | 5000 4673 1313 | 0.000 % | c =============================================================================== c New solution: 2535611 c Elapsed CPU time: 31.9261 s Remaining CPU time: 148.074 s c =============================================================================== c | 4690 | 1502 1646 357222 | 5000 4690 1313 | 0.000 % | c =============================================================================== c New solution: 2535404 c Elapsed CPU time: 32.2381 s Remaining CPU time: 147.762 s c =============================================================================== c | 4742 | 1502 1647 358565 | 5000 4742 1313 | 0.000 % | c =============================================================================== c New solution: 2535325 c Elapsed CPU time: 32.4581 s Remaining CPU time: 147.542 s c =============================================================================== c | 4760 | 1502 1648 359908 | 5000 4760 1313 | 0.000 % | c =============================================================================== c New solution: 2535237 c Elapsed CPU time: 32.681 s Remaining CPU time: 147.319 s c =============================================================================== c | 4774 | 1502 1649 361251 | 5000 4774 1313 | 0.000 % | c =============================================================================== c New solution: 2535144 c Elapsed CPU time: 32.895 s Remaining CPU time: 147.105 s c =============================================================================== c | 4782 | 1502 1650 362594 | 5000 4782 1312 | 0.000 % | c =============================================================================== c New solution: 2535115 c Elapsed CPU time: 33.094 s Remaining CPU time: 146.906 s c =============================================================================== c | 4784 | 1502 1651 363937 | 5000 4784 1312 | 0.000 % | c =============================================================================== c New solution: 2535017 c Elapsed CPU time: 33.2759 s Remaining CPU time: 146.724 s c =============================================================================== c | 4784 | 1502 1652 365280 | 5000 4784 1312 | 0.000 % | c =============================================================================== c New solution: 2534696 c Elapsed CPU time: 33.5879 s Remaining CPU time: 146.412 s c =============================================================================== c | 4828 | 1502 1653 366623 | 5000 4828 1312 | 0.000 % | c =============================================================================== c New solution: 2534470 c Elapsed CPU time: 34.0208 s Remaining CPU time: 145.979 s c =============================================================================== c | 4916 | 1502 1654 367966 | 5000 4916 1312 | 0.000 % | c =============================================================================== c New solution: 2534199 c Elapsed CPU time: 34.2168 s Remaining CPU time: 145.783 s c =============================================================================== c | 4916 | 1502 1655 369309 | 5000 4916 1312 | 0.000 % | c =============================================================================== c New solution: 2534135 c Elapsed CPU time: 34.4268 s Remaining CPU time: 145.573 s c =============================================================================== c | 4921 | 1502 1656 370652 | 5000 4921 1312 | 0.000 % | c =============================================================================== c New solution: 2534101 c Elapsed CPU time: 34.6697 s Remaining CPU time: 145.33 s c =============================================================================== c | 4943 | 1502 1657 371995 | 5000 4943 1312 | 0.000 % | c =============================================================================== c New solution: 2534010 c Elapsed CPU time: 34.9187 s Remaining CPU time: 145.081 s c =============================================================================== c | 4975 | 1502 1658 373338 | 5000 4975 1312 | 0.000 % | c =============================================================================== c New solution: 2533958 c Elapsed CPU time: 35.1956 s Remaining CPU time: 144.804 s c =============================================================================== c | 5001 | 1502 1659 374681 | 5000 5001 1312 | 0.000 % | c =============================================================================== c New solution: 2533767 c Elapsed CPU time: 35.4716 s Remaining CPU time: 144.528 s c =============================================================================== c | 5018 | 1502 1660 376024 | 5000 2518 1306 | 0.000 % | c =============================================================================== c New solution: 2533754 c Elapsed CPU time: 35.7806 s Remaining CPU time: 144.219 s c =============================================================================== c | 5059 | 1502 1661 377367 | 5000 2559 1306 | 0.000 % | c =============================================================================== c New solution: 2533647 c Elapsed CPU time: 36.0585 s Remaining CPU time: 143.941 s c =============================================================================== c | 5086 | 1502 1662 378710 | 5000 2586 1306 | 0.000 % | c =============================================================================== c New solution: 2533352 c Elapsed CPU time: 36.2975 s Remaining CPU time: 143.703 s c =============================================================================== c | 5104 | 1502 1663 380053 | 5000 2604 1305 | 0.000 % | c =============================================================================== c New solution: 2533249 c Elapsed CPU time: 36.5404 s Remaining CPU time: 143.46 s c =============================================================================== c | 5118 | 1502 1664 381396 | 5000 2618 1305 | 0.000 % | c =============================================================================== c New solution: 2533065 c Elapsed CPU time: 36.8304 s Remaining CPU time: 143.17 s c =============================================================================== c | 5131 | 1502 1665 382739 | 5000 2631 1305 | 0.000 % | c =============================================================================== c New solution: 2532868 c Elapsed CPU time: 37.2173 s Remaining CPU time: 142.783 s c =============================================================================== c | 5171 | 1502 1666 384082 | 5000 2671 1305 | 0.000 % | c =============================================================================== c New solution: 2532693 c Elapsed CPU time: 37.4673 s Remaining CPU time: 142.533 s c =============================================================================== c | 5185 | 1502 1667 385425 | 5000 2685 1305 | 0.000 % | c =============================================================================== c New solution: 2532637 c Elapsed CPU time: 37.7803 s Remaining CPU time: 142.22 s c =============================================================================== c | 5226 | 1502 1668 386768 | 5000 2726 1305 | 0.000 % | c =============================================================================== c New solution: 2532239 c Elapsed CPU time: 37.9942 s Remaining CPU time: 142.006 s c =============================================================================== c | 5227 | 1502 1669 388111 | 5000 2727 1305 | 0.000 % | c =============================================================================== c New solution: 2532128 c Elapsed CPU time: 38.2132 s Remaining CPU time: 141.787 s c =============================================================================== c | 5227 | 1502 1670 389454 | 5000 2727 1305 | 0.000 % | c =============================================================================== c New solution: 2531709 c Elapsed CPU time: 38.4202 s Remaining CPU time: 141.58 s c =============================================================================== c | 5227 | 1502 1671 390797 | 5000 2727 1305 | 0.000 % | c =============================================================================== c New solution: 2531343 c Elapsed CPU time: 38.6571 s Remaining CPU time: 141.343 s c =============================================================================== c | 5243 | 1502 1672 392140 | 5000 2743 1305 | 0.000 % | c =============================================================================== c New solution: 2531251 c Elapsed CPU time: 38.9401 s Remaining CPU time: 141.06 s c =============================================================================== c | 5279 | 1502 1673 393483 | 5000 2779 1305 | 0.000 % | c =============================================================================== c New solution: 2531151 c Elapsed CPU time: 39.17 s Remaining CPU time: 140.83 s c =============================================================================== c | 5290 | 1502 1674 394826 | 5000 2790 1305 | 0.000 % | c =============================================================================== c New solution: 2531088 c Elapsed CPU time: 39.418 s Remaining CPU time: 140.582 s c =============================================================================== c | 5306 | 1502 1675 396169 | 5000 2806 1305 | 0.000 % | c =============================================================================== c New solution: 2530883 c Elapsed CPU time: 39.728 s Remaining CPU time: 140.272 s c =============================================================================== c | 5346 | 1502 1676 397512 | 5000 2846 1305 | 0.000 % | c =============================================================================== c New solution: 2530835 c Elapsed CPU time: 40.0119 s Remaining CPU time: 139.988 s c =============================================================================== c | 5385 | 1502 1677 398855 | 5000 2885 1305 | 0.000 % | c =============================================================================== c New solution: 2530818 c Elapsed CPU time: 40.3079 s Remaining CPU time: 139.692 s c =============================================================================== c | 5424 | 1502 1678 400198 | 5000 2924 1305 | 0.000 % | c =============================================================================== c New solution: 2530578 c Elapsed CPU time: 40.5588 s Remaining CPU time: 139.441 s c =============================================================================== c | 5434 | 1502 1679 401541 | 5000 2934 1305 | 0.000 % | c =============================================================================== c New solution: 2530540 c Elapsed CPU time: 40.8028 s Remaining CPU time: 139.197 s c =============================================================================== c | 5444 | 1502 1680 402884 | 5000 2944 1305 | 0.000 % | c =============================================================================== c New solution: 2530467 c Elapsed CPU time: 41.0418 s Remaining CPU time: 138.958 s c =============================================================================== c | 5444 | 1502 1681 404227 | 5000 2944 1305 | 0.000 % | c =============================================================================== c New solution: 2530416 c Elapsed CPU time: 41.4347 s Remaining CPU time: 138.565 s c =============================================================================== c | 5509 | 1502 1682 405570 | 5000 3009 1305 | 0.000 % | c =============================================================================== c New solution: 2530374 c Elapsed CPU time: 41.6977 s Remaining CPU time: 138.302 s c =============================================================================== c | 5526 | 1502 1683 406913 | 5000 3026 1305 | 0.000 % | c =============================================================================== c New solution: 2530302 c Elapsed CPU time: 42.0676 s Remaining CPU time: 137.932 s c =============================================================================== c | 5589 | 1502 1684 408256 | 5000 3089 1304 | 0.000 % | c =============================================================================== c New solution: 2530264 c Elapsed CPU time: 42.2966 s Remaining CPU time: 137.703 s c =============================================================================== c | 5593 | 1502 1685 409599 | 5000 3093 1304 | 0.000 % | c =============================================================================== c New solution: 2530194 c Elapsed CPU time: 42.6425 s Remaining CPU time: 137.357 s c =============================================================================== c | 5640 | 1502 1686 410942 | 5000 3140 1304 | 0.000 % | c =============================================================================== c New solution: 2530026 c Elapsed CPU time: 43.0225 s Remaining CPU time: 136.978 s c =============================================================================== c | 5697 | 1502 1687 412285 | 5000 3197 1304 | 0.000 % | c =============================================================================== c New solution: 2530016 c Elapsed CPU time: 43.3154 s Remaining CPU time: 136.685 s c =============================================================================== c | 5720 | 1502 1688 413628 | 5000 3220 1304 | 0.000 % | c =============================================================================== c New solution: 2529676 c Elapsed CPU time: 43.5494 s Remaining CPU time: 136.451 s c =============================================================================== c | 5727 | 1502 1689 414971 | 5000 3227 1304 | 0.000 % | c =============================================================================== c New solution: 2529667 c Elapsed CPU time: 43.7853 s Remaining CPU time: 136.215 s c =============================================================================== c | 5740 | 1502 1690 416314 | 5000 3240 1304 | 0.000 % | c =============================================================================== c New solution: 2529496 c Elapsed CPU time: 44.0393 s Remaining CPU time: 135.961 s c =============================================================================== c | 5751 | 1502 1691 417657 | 5000 3251 1304 | 0.000 % | c =============================================================================== c New solution: 2529495 c Elapsed CPU time: 44.4742 s Remaining CPU time: 135.526 s c =============================================================================== c | 5791 | 1502 1692 419000 | 5000 3291 1304 | 0.000 % | c =============================================================================== c New solution: 2529442 c Elapsed CPU time: 44.7072 s Remaining CPU time: 135.293 s c =============================================================================== c | 5792 | 1502 1693 420343 | 5000 3292 1304 | 0.000 % | c =============================================================================== c New solution: 2529430 c Elapsed CPU time: 45.0302 s Remaining CPU time: 134.97 s c =============================================================================== c | 5822 | 1502 1694 421686 | 5000 3322 1304 | 0.000 % | c =============================================================================== c New solution: 2529368 c Elapsed CPU time: 45.4541 s Remaining CPU time: 134.546 s c =============================================================================== c | 5854 | 1502 1695 423029 | 5000 3354 1304 | 0.000 % | c =============================================================================== c New solution: 2529307 c Elapsed CPU time: 45.757 s Remaining CPU time: 134.243 s c =============================================================================== c | 5876 | 1502 1696 424372 | 5000 3376 1304 | 0.000 % | c =============================================================================== c New solution: 2529263 c Elapsed CPU time: 45.993 s Remaining CPU time: 134.007 s c =============================================================================== c | 5877 | 1502 1697 425715 | 5000 3377 1304 | 0.000 % | c =============================================================================== c New solution: 2529245 c Elapsed CPU time: 46.246 s Remaining CPU time: 133.754 s c =============================================================================== c | 5877 | 1502 1698 427058 | 5000 3377 1304 | 0.000 % | c =============================================================================== c New solution: 2529140 c Elapsed CPU time: 46.6029 s Remaining CPU time: 133.397 s c =============================================================================== c | 5919 | 1502 1699 428401 | 5000 3419 1304 | 0.000 % | c =============================================================================== c New solution: 2529057 c Elapsed CPU time: 46.9219 s Remaining CPU time: 133.078 s c =============================================================================== c | 5934 | 1502 1700 429744 | 5000 3434 1304 | 0.000 % | c =============================================================================== c New solution: 2528958 c Elapsed CPU time: 47.1658 s Remaining CPU time: 132.834 s c =============================================================================== c | 5942 | 1502 1701 431087 | 5000 3442 1304 | 0.000 % | c =============================================================================== c New solution: 2528717 c Elapsed CPU time: 47.5398 s Remaining CPU time: 132.46 s c =============================================================================== c | 5992 | 1502 1702 432430 | 5000 3492 1304 | 0.000 % | c =============================================================================== c New solution: 2528658 c Elapsed CPU time: 47.9397 s Remaining CPU time: 132.06 s c =============================================================================== c | 6057 | 1502 1703 433773 | 5000 3557 1304 | 0.000 % | c =============================================================================== c New solution: 2528470 c Elapsed CPU time: 48.3496 s Remaining CPU time: 131.65 s c =============================================================================== c | 6107 | 1502 1704 435116 | 5000 3607 1304 | 0.000 % | c =============================================================================== c New solution: 2528366 c Elapsed CPU time: 48.7516 s Remaining CPU time: 131.248 s c =============================================================================== c | 6152 | 1502 1705 436459 | 5000 3652 1304 | 0.000 % | c =============================================================================== c New solution: 2528293 c Elapsed CPU time: 49.1055 s Remaining CPU time: 130.894 s c =============================================================================== c | 6170 | 1502 1706 437802 | 5000 3670 1303 | 0.000 % | c =============================================================================== c New solution: 2528255 c Elapsed CPU time: 49.3785 s Remaining CPU time: 130.622 s c =============================================================================== c | 6179 | 1502 1707 439145 | 5000 3679 1303 | 0.000 % | c =============================================================================== c New solution: 2528149 c Elapsed CPU time: 49.7794 s Remaining CPU time: 130.221 s c =============================================================================== c | 6239 | 1502 1708 440488 | 5000 3739 1303 | 0.000 % | c =============================================================================== c New solution: 2527862 c Elapsed CPU time: 50.1654 s Remaining CPU time: 129.835 s c =============================================================================== c | 6283 | 1502 1709 441831 | 5000 3783 1303 | 0.000 % | c =============================================================================== c New solution: 2527847 c Elapsed CPU time: 50.4993 s Remaining CPU time: 129.501 s c =============================================================================== c | 6324 | 1502 1710 443174 | 5000 3824 1303 | 0.000 % | c =============================================================================== c New solution: 2527692 c Elapsed CPU time: 50.7683 s Remaining CPU time: 129.232 s c =============================================================================== c | 6330 | 1502 1711 444517 | 5000 3830 1303 | 0.000 % | c =============================================================================== c New solution: 2527633 c Elapsed CPU time: 51.2212 s Remaining CPU time: 128.779 s c =============================================================================== c | 6385 | 1502 1712 445860 | 5000 3885 1303 | 0.000 % | c =============================================================================== c New solution: 2527579 c Elapsed CPU time: 51.5732 s Remaining CPU time: 128.427 s c =============================================================================== c | 6422 | 1502 1713 447203 | 5000 3922 1303 | 0.000 % | c =============================================================================== c New solution: 2527510 c Elapsed CPU time: 51.8911 s Remaining CPU time: 128.109 s c =============================================================================== c | 6440 | 1502 1714 448546 | 5000 3940 1303 | 0.000 % | c =============================================================================== c New solution: 2527377 c Elapsed CPU time: 52.1621 s Remaining CPU time: 127.838 s c =============================================================================== c | 6442 | 1502 1715 449889 | 5000 3942 1303 | 0.000 % | c =============================================================================== c New solution: 2527257 c Elapsed CPU time: 52.49 s Remaining CPU time: 127.51 s c =============================================================================== c | 6471 | 1502 1716 451232 | 5000 3971 1303 | 0.000 % | c =============================================================================== c New solution: 2527225 c Elapsed CPU time: 52.888 s Remaining CPU time: 127.112 s c =============================================================================== c | 6513 | 1502 1717 452575 | 5000 4013 1303 | 0.000 % | c =============================================================================== c New solution: 2527056 c Elapsed CPU time: 53.3929 s Remaining CPU time: 126.607 s c =============================================================================== c | 6571 | 1502 1718 453918 | 5000 4071 1303 | 0.000 % | c =============================================================================== c New solution: 2526982 c Elapsed CPU time: 53.7158 s Remaining CPU time: 126.284 s c =============================================================================== c | 6586 | 1502 1719 455261 | 5000 4086 1303 | 0.000 % | c =============================================================================== c New solution: 2526871 c Elapsed CPU time: 54.0018 s Remaining CPU time: 125.998 s c =============================================================================== c | 6589 | 1502 1720 456604 | 5000 4089 1303 | 0.000 % | c =============================================================================== c New solution: 2526802 c Elapsed CPU time: 54.3297 s Remaining CPU time: 125.67 s c =============================================================================== c | 6607 | 1502 1721 457947 | 5000 4107 1303 | 0.000 % | c =============================================================================== c New solution: 2526744 c Elapsed CPU time: 54.6987 s Remaining CPU time: 125.301 s c =============================================================================== c | 6649 | 1502 1722 459290 | 5000 4149 1303 | 0.000 % | c =============================================================================== c New solution: 2526697 c Elapsed CPU time: 55.0876 s Remaining CPU time: 124.912 s c =============================================================================== c | 6680 | 1502 1723 460633 | 5000 4180 1303 | 0.000 % | c =============================================================================== c New solution: 2526692 c Elapsed CPU time: 55.3656 s Remaining CPU time: 124.634 s c =============================================================================== c | 6692 | 1502 1724 461976 | 5000 4192 1303 | 0.000 % | c =============================================================================== c New solution: 2526684 c Elapsed CPU time: 55.6675 s Remaining CPU time: 124.332 s c =============================================================================== c | 6702 | 1502 1725 463319 | 5000 4202 1303 | 0.000 % | c =============================================================================== c New solution: 2526581 c Elapsed CPU time: 55.9165 s Remaining CPU time: 124.084 s c =============================================================================== c | 6703 | 1502 1726 464662 | 5000 4203 1303 | 0.000 % | c =============================================================================== c New solution: 2526545 c Elapsed CPU time: 56.4054 s Remaining CPU time: 123.595 s c =============================================================================== c | 6779 | 1502 1727 466005 | 5000 4279 1303 | 0.000 % | c =============================================================================== c New solution: 2526519 c Elapsed CPU time: 56.7094 s Remaining CPU time: 123.291 s c =============================================================================== c | 6796 | 1502 1728 467348 | 5000 4296 1303 | 0.000 % | c =============================================================================== c New solution: 2526501 c Elapsed CPU time: 57.0013 s Remaining CPU time: 122.999 s c =============================================================================== c | 6808 | 1502 1729 468691 | 5000 4308 1303 | 0.000 % | c =============================================================================== c New solution: 2526463 c Elapsed CPU time: 57.2703 s Remaining CPU time: 122.73 s c =============================================================================== c | 6813 | 1502 1730 470034 | 5000 4313 1303 | 0.000 % | c =============================================================================== c New solution: 2526358 c Elapsed CPU time: 57.5532 s Remaining CPU time: 122.447 s c =============================================================================== c | 6816 | 1502 1731 471377 | 5000 4316 1303 | 0.000 % | c =============================================================================== c New solution: 2526319 c Elapsed CPU time: 57.9772 s Remaining CPU time: 122.023 s c =============================================================================== c | 6866 | 1502 1732 472720 | 5000 4366 1303 | 0.000 % | c =============================================================================== c New solution: 2526265 c Elapsed CPU time: 58.2551 s Remaining CPU time: 121.745 s c =============================================================================== c | 6877 | 1502 1733 474063 | 5000 4377 1303 | 0.000 % | c =============================================================================== c New solution: 2526088 c Elapsed CPU time: 58.5571 s Remaining CPU time: 121.443 s c =============================================================================== c | 6895 | 1502 1734 475406 | 5000 4395 1303 | 0.000 % | c =============================================================================== c New solution: 2526026 c Elapsed CPU time: 58.921 s Remaining CPU time: 121.079 s c =============================================================================== c | 6932 | 1502 1735 476749 | 5000 4432 1303 | 0.000 % | c =============================================================================== c New solution: 2525986 c Elapsed CPU time: 59.25 s Remaining CPU time: 120.75 s c =============================================================================== c | 6953 | 1502 1736 478092 | 5000 4453 1303 | 0.000 % | c =============================================================================== c New solution: 2525964 c Elapsed CPU time: 59.5709 s Remaining CPU time: 120.429 s c =============================================================================== c | 6970 | 1502 1737 479435 | 5000 4470 1303 | 0.000 % | c =============================================================================== c New solution: 2525887 c Elapsed CPU time: 60.0069 s Remaining CPU time: 119.993 s c =============================================================================== c | 7010 | 1502 1738 480778 | 5000 4510 1303 | 0.000 % | c =============================================================================== c New solution: 2525791 c Elapsed CPU time: 60.3208 s Remaining CPU time: 119.679 s c =============================================================================== c | 7016 | 1502 1739 482121 | 5000 4516 1303 | 0.000 % | c =============================================================================== c New solution: 2525786 c Elapsed CPU time: 60.6938 s Remaining CPU time: 119.306 s c =============================================================================== c | 7045 | 1502 1740 483464 | 5000 4545 1303 | 0.000 % | c =============================================================================== c New solution: 2525726 c Elapsed CPU time: 61.0527 s Remaining CPU time: 118.947 s c =============================================================================== c | 7071 | 1502 1741 484807 | 5000 4571 1303 | 0.000 % | c =============================================================================== c New solution: 2525594 c Elapsed CPU time: 61.4317 s Remaining CPU time: 118.568 s c =============================================================================== c | 7100 | 1502 1742 486150 | 5000 4600 1303 | 0.000 % | c =============================================================================== c New solution: 2525591 c Elapsed CPU time: 61.8956 s Remaining CPU time: 118.104 s c =============================================================================== c | 7134 | 1502 1743 487493 | 5000 4634 1302 | 0.000 % | c =============================================================================== c New solution: 2525523 c Elapsed CPU time: 62.4625 s Remaining CPU time: 117.537 s c =============================================================================== c | 7221 | 1502 1744 488836 | 5000 4721 1302 | 0.000 % | c =============================================================================== c New solution: 2525460 c Elapsed CPU time: 62.8734 s Remaining CPU time: 117.127 s c =============================================================================== c | 7264 | 1502 1745 490179 | 5000 4764 1302 | 0.000 % | c =============================================================================== c New solution: 2525414 c Elapsed CPU time: 63.3374 s Remaining CPU time: 116.663 s c =============================================================================== c | 7317 | 1502 1746 491522 | 5000 4817 1302 | 0.000 % | c =============================================================================== c New solution: 2525369 c Elapsed CPU time: 63.7433 s Remaining CPU time: 116.257 s c =============================================================================== c | 7348 | 1502 1747 492865 | 5000 4848 1302 | 0.000 % | c =============================================================================== c New solution: 2525262 c Elapsed CPU time: 64.1292 s Remaining CPU time: 115.871 s c =============================================================================== c | 7377 | 1502 1748 494208 | 5000 4877 1302 | 0.000 % | c =============================================================================== c New solution: 2525181 c Elapsed CPU time: 64.5232 s Remaining CPU time: 115.477 s c =============================================================================== c | 7406 | 1502 1749 495551 | 5000 4906 1302 | 0.000 % | c =============================================================================== c New solution: 2525144 c Elapsed CPU time: 64.8071 s Remaining CPU time: 115.193 s c =============================================================================== c | 7411 | 1502 1750 496894 | 5000 4911 1302 | 0.000 % | c =============================================================================== c New solution: 2525042 c Elapsed CPU time: 65.0681 s Remaining CPU time: 114.932 s c =============================================================================== c | 7412 | 1502 1751 498237 | 5000 4912 1302 | 0.000 % | c =============================================================================== c New solution: 2525008 c Elapsed CPU time: 65.518 s Remaining CPU time: 114.482 s c =============================================================================== c | 7457 | 1502 1752 499580 | 5000 4957 1302 | 0.000 % | c =============================================================================== c New solution: 2524925 c Elapsed CPU time: 65.841 s Remaining CPU time: 114.159 s c =============================================================================== c | 7462 | 1502 1753 500923 | 5000 4962 1302 | 0.000 % | c =============================================================================== c New solution: 2524814 c Elapsed CPU time: 66.1679 s Remaining CPU time: 113.832 s c =============================================================================== c | 7469 | 1502 1754 502266 | 5000 4969 1302 | 0.000 % | c =============================================================================== c New solution: 2524739 c Elapsed CPU time: 66.4909 s Remaining CPU time: 113.509 s c =============================================================================== c | 7480 | 1502 1755 503609 | 5000 4980 1302 | 0.000 % | c =============================================================================== c New solution: 2524618 c Elapsed CPU time: 66.8698 s Remaining CPU time: 113.13 s c =============================================================================== c | 7506 | 1502 1756 504952 | 5000 5006 1302 | 0.000 % | c =============================================================================== c New solution: 2524570 c Elapsed CPU time: 67.2938 s Remaining CPU time: 112.706 s c =============================================================================== c | 7569 | 1502 1757 506295 | 5000 2566 1299 | 0.000 % | c =============================================================================== c New solution: 2524463 c Elapsed CPU time: 67.5847 s Remaining CPU time: 112.415 s c =============================================================================== c | 7569 | 1502 1758 507638 | 5000 2566 1299 | 0.000 % | c =============================================================================== c New solution: 2524400 c Elapsed CPU time: 67.9677 s Remaining CPU time: 112.032 s c =============================================================================== c | 7599 | 1502 1759 508981 | 5000 2596 1299 | 0.000 % | c =============================================================================== c New solution: 2524324 c Elapsed CPU time: 68.3566 s Remaining CPU time: 111.643 s c =============================================================================== c | 7639 | 1502 1760 510324 | 5000 2636 1299 | 0.000 % | c =============================================================================== c New solution: 2524203 c Elapsed CPU time: 68.7006 s Remaining CPU time: 111.299 s c =============================================================================== c | 7652 | 1502 1761 511667 | 5000 2649 1299 | 0.000 % | c =============================================================================== c New solution: 2524068 c Elapsed CPU time: 69.1285 s Remaining CPU time: 110.872 s c =============================================================================== c | 7672 | 1502 1762 513010 | 5000 2669 1299 | 0.000 % | c =============================================================================== c New solution: 2524055 c Elapsed CPU time: 69.5624 s Remaining CPU time: 110.438 s c =============================================================================== c | 7723 | 1502 1763 514353 | 5000 2720 1299 | 0.000 % | c =============================================================================== c New solution: 2523900 c Elapsed CPU time: 70.0204 s Remaining CPU time: 109.98 s c =============================================================================== c | 7760 | 1502 1764 515696 | 5000 2757 1299 | 0.000 % | c =============================================================================== c New solution: 2523858 c Elapsed CPU time: 70.3323 s Remaining CPU time: 109.668 s c =============================================================================== c | 7777 | 1502 1765 517039 | 5000 2774 1299 | 0.000 % | c =============================================================================== c New solution: 2523732 c Elapsed CPU time: 70.7842 s Remaining CPU time: 109.216 s c =============================================================================== c | 7835 | 1502 1766 518382 | 5000 2832 1299 | 0.000 % | c =============================================================================== c New solution: 2523724 c Elapsed CPU time: 71.1212 s Remaining CPU time: 108.879 s c =============================================================================== c | 7855 | 1502 1767 519725 | 5000 2852 1299 | 0.000 % | c =============================================================================== c New solution: 2523364 c Elapsed CPU time: 71.5981 s Remaining CPU time: 108.402 s c =============================================================================== c | 7896 | 1502 1768 521068 | 5000 2893 1299 | 0.000 % | c =============================================================================== c New solution: 2523340 c Elapsed CPU time: 71.8861 s Remaining CPU time: 108.114 s c =============================================================================== c | 7900 | 1502 1769 522411 | 5000 2897 1299 | 0.000 % | c =============================================================================== c New solution: 2523249 c Elapsed CPU time: 72.237 s Remaining CPU time: 107.763 s c =============================================================================== c | 7916 | 1502 1770 523754 | 5000 2913 1299 | 0.000 % | c =============================================================================== c New solution: 2523149 c Elapsed CPU time: 72.627 s Remaining CPU time: 107.373 s c =============================================================================== c | 7937 | 1502 1771 525097 | 5000 2934 1299 | 0.000 % | c =============================================================================== c New solution: 2523145 c Elapsed CPU time: 73.0969 s Remaining CPU time: 106.903 s c =============================================================================== c | 7982 | 1502 1772 526440 | 5000 2979 1299 | 0.000 % | c =============================================================================== c New solution: 2523102 c Elapsed CPU time: 73.5578 s Remaining CPU time: 106.442 s c =============================================================================== c | 8038 | 1502 1773 527783 | 5000 3035 1299 | 0.000 % | c =============================================================================== c New solution: 2523005 c Elapsed CPU time: 73.9977 s Remaining CPU time: 106.002 s c =============================================================================== c | 8080 | 1502 1774 529126 | 5000 3077 1299 | 0.000 % | c =============================================================================== c New solution: 2522974 c Elapsed CPU time: 74.3807 s Remaining CPU time: 105.619 s c =============================================================================== c | 8097 | 1502 1775 530469 | 5000 3094 1299 | 0.000 % | c =============================================================================== c New solution: 2522971 c Elapsed CPU time: 74.8986 s Remaining CPU time: 105.101 s c =============================================================================== c | 8151 | 1502 1776 531812 | 5000 3148 1299 | 0.000 % | c =============================================================================== c New solution: 2522922 c Elapsed CPU time: 75.3016 s Remaining CPU time: 104.698 s c =============================================================================== c | 8177 | 1502 1777 533155 | 5000 3174 1299 | 0.000 % | c =============================================================================== c New solution: 2522758 c Elapsed CPU time: 75.9685 s Remaining CPU time: 104.032 s c =============================================================================== c | 8269 | 1502 1778 534498 | 5000 3266 1299 | 0.000 % | c =============================================================================== c New solution: 2522692 c Elapsed CPU time: 76.3604 s Remaining CPU time: 103.64 s c =============================================================================== c | 8294 | 1502 1779 535841 | 5000 3291 1299 | 0.000 % | c =============================================================================== c New solution: 2522591 c Elapsed CPU time: 76.7853 s Remaining CPU time: 103.215 s c =============================================================================== c | 8328 | 1502 1780 537184 | 5000 3325 1299 | 0.000 % | c =============================================================================== c New solution: 2522572 c Elapsed CPU time: 77.2703 s Remaining CPU time: 102.73 s c =============================================================================== c | 8362 | 1502 1781 538527 | 5000 3359 1299 | 0.000 % | c =============================================================================== c New solution: 2522534 c Elapsed CPU time: 77.5832 s Remaining CPU time: 102.417 s c =============================================================================== c | 8368 | 1502 1782 539870 | 5000 3365 1299 | 0.000 % | c =============================================================================== c New solution: 2522521 c Elapsed CPU time: 78.0671 s Remaining CPU time: 101.933 s c =============================================================================== c | 8421 | 1502 1783 541213 | 5000 3418 1298 | 0.000 % | c =============================================================================== c New solution: 2522360 c Elapsed CPU time: 78.4111 s Remaining CPU time: 101.589 s c =============================================================================== c | 8432 | 1502 1784 542556 | 5000 3429 1298 | 0.000 % | c =============================================================================== c New solution: 2522221 c Elapsed CPU time: 78.79 s Remaining CPU time: 101.21 s c =============================================================================== c | 8456 | 1502 1785 543899 | 5000 3453 1298 | 0.000 % | c =============================================================================== c New solution: 2522054 c Elapsed CPU time: 79.148 s Remaining CPU time: 100.852 s c =============================================================================== c | 8469 | 1502 1786 545242 | 5000 3466 1298 | 0.000 % | c =============================================================================== c New solution: 2521910 c Elapsed CPU time: 79.5189 s Remaining CPU time: 100.481 s c =============================================================================== c | 8487 | 1502 1787 546585 | 5000 3484 1298 | 0.000 % | c =============================================================================== c New solution: 2521877 c Elapsed CPU time: 79.8279 s Remaining CPU time: 100.172 s c =============================================================================== c | 8493 | 1502 1788 547928 | 5000 3490 1298 | 0.000 % | c =============================================================================== c New solution: 2521811 c Elapsed CPU time: 80.2138 s Remaining CPU time: 99.7862 s c =============================================================================== c | 8507 | 1502 1789 549271 | 5000 3504 1298 | 0.000 % | c =============================================================================== c New solution: 2521633 c Elapsed CPU time: 80.5278 s Remaining CPU time: 99.4722 s c =============================================================================== c | 8509 | 1502 1790 550614 | 5000 3506 1298 | 0.000 % | c =============================================================================== c New solution: 2521628 c Elapsed CPU time: 80.8707 s Remaining CPU time: 99.1293 s c =============================================================================== c | 8527 | 1502 1791 551957 | 5000 3524 1298 | 0.000 % | c =============================================================================== c New solution: 2521576 c Elapsed CPU time: 81.2766 s Remaining CPU time: 98.7234 s c =============================================================================== c | 8551 | 1502 1792 553300 | 5000 3548 1298 | 0.000 % | c =============================================================================== c New solution: 2521456 c Elapsed CPU time: 81.8386 s Remaining CPU time: 98.1614 s c =============================================================================== c | 8623 | 1502 1793 554643 | 5000 3620 1298 | 0.000 % | c =============================================================================== c New solution: 2521356 c Elapsed CPU time: 82.1625 s Remaining CPU time: 97.8375 s c =============================================================================== c | 8636 | 1502 1794 555986 | 5000 3633 1298 | 0.000 % | c =============================================================================== c New solution: 2521343 c Elapsed CPU time: 82.6644 s Remaining CPU time: 97.3356 s c =============================================================================== c | 8702 | 1502 1795 557329 | 5000 3699 1298 | 0.000 % | c =============================================================================== c New solution: 2521210 c Elapsed CPU time: 82.9664 s Remaining CPU time: 97.0336 s c =============================================================================== c | 8703 | 1502 1796 558672 | 5000 3700 1298 | 0.000 % | c =============================================================================== c New solution: 2521099 c Elapsed CPU time: 83.2543 s Remaining CPU time: 96.7457 s c =============================================================================== c | 8703 | 1502 1797 560015 | 5000 3700 1298 | 0.000 % | c =============================================================================== c New solution: 2520997 c Elapsed CPU time: 83.6313 s Remaining CPU time: 96.3687 s c =============================================================================== c | 8738 | 1502 1798 561358 | 5000 3735 1298 | 0.000 % | c =============================================================================== c New solution: 2520868 c Elapsed CPU time: 84.3142 s Remaining CPU time: 95.6858 s c =============================================================================== c | 8813 | 1502 1799 562701 | 5000 3810 1298 | 0.000 % | c =============================================================================== c New solution: 2520762 c Elapsed CPU time: 84.6381 s Remaining CPU time: 95.3619 s c =============================================================================== c | 8819 | 1502 1800 564044 | 5000 3816 1298 | 0.000 % | c =============================================================================== c New solution: 2520705 c Elapsed CPU time: 84.9411 s Remaining CPU time: 95.0589 s c =============================================================================== c | 8820 | 1502 1801 565387 | 5000 3817 1298 | 0.000 % | c =============================================================================== c New solution: 2520562 c Elapsed CPU time: 85.266 s Remaining CPU time: 94.734 s c =============================================================================== c | 8823 | 1502 1802 566730 | 5000 3820 1298 | 0.000 % | c =============================================================================== c New solution: 2520381 c Elapsed CPU time: 85.618 s Remaining CPU time: 94.382 s c =============================================================================== c | 8823 | 1502 1803 568073 | 5000 3820 1298 | 0.000 % | c =============================================================================== c New solution: 2520370 c Elapsed CPU time: 85.9749 s Remaining CPU time: 94.0251 s c =============================================================================== c | 8827 | 1502 1804 569416 | 5000 3824 1298 | 0.000 % | c =============================================================================== c New solution: 2520255 c Elapsed CPU time: 86.3199 s Remaining CPU time: 93.6801 s c =============================================================================== c | 8827 | 1502 1805 570759 | 5000 3824 1298 | 0.000 % | c =============================================================================== c New solution: 2520093 c Elapsed CPU time: 86.6508 s Remaining CPU time: 93.3492 s c =============================================================================== c | 8827 | 1502 1806 572102 | 5000 3824 1298 | 0.000 % | c =============================================================================== c New solution: 2520024 c Elapsed CPU time: 87.1917 s Remaining CPU time: 92.8083 s c =============================================================================== c | 8886 | 1502 1807 573445 | 5000 3883 1298 | 0.000 % | c =============================================================================== c New solution: 2519826 c Elapsed CPU time: 87.5137 s Remaining CPU time: 92.4863 s c =============================================================================== c | 8887 | 1502 1808 574788 | 5000 3884 1298 | 0.000 % | c =============================================================================== c New solution: 2519780 c Elapsed CPU time: 88.0266 s Remaining CPU time: 91.9734 s c =============================================================================== c | 8932 | 1502 1809 576131 | 5000 3929 1298 | 0.000 % | c =============================================================================== c New solution: 2519761 c Elapsed CPU time: 88.4626 s Remaining CPU time: 91.5374 s c =============================================================================== c | 8963 | 1502 1810 577474 | 5000 3960 1298 | 0.000 % | c =============================================================================== c New solution: 2519723 c Elapsed CPU time: 88.8095 s Remaining CPU time: 91.1905 s c =============================================================================== c | 8969 | 1502 1811 578817 | 5000 3966 1298 | 0.000 % | c =============================================================================== c New solution: 2519618 c Elapsed CPU time: 89.4214 s Remaining CPU time: 90.5786 s c =============================================================================== c | 9038 | 1502 1812 580160 | 5000 4035 1298 | 0.000 % | c =============================================================================== c New solution: 2519545 c Elapsed CPU time: 89.8923 s Remaining CPU time: 90.1077 s c =============================================================================== c | 9067 | 1502 1813 581503 | 5000 4064 1298 | 0.000 % | c =============================================================================== c New solution: 2519467 c Elapsed CPU time: 90.2283 s Remaining CPU time: 89.7717 s c =============================================================================== c | 9068 | 1502 1814 582846 | 5000 4065 1298 | 0.000 % | c =============================================================================== c New solution: 2519441 c Elapsed CPU time: 90.6612 s Remaining CPU time: 89.3388 s c =============================================================================== c | 9098 | 1502 1815 584189 | 5000 4095 1298 | 0.000 % | c =============================================================================== c New solution: 2519239 c Elapsed CPU time: 91.0712 s Remaining CPU time: 88.9288 s c =============================================================================== c | 9118 | 1502 1816 585532 | 5000 4115 1298 | 0.000 % | c =============================================================================== c New solution: 2519075 c Elapsed CPU time: 91.5241 s Remaining CPU time: 88.4759 s c =============================================================================== c | 9154 | 1502 1817 586875 | 5000 4151 1298 | 0.000 % | c =============================================================================== c New solution: 2519058 c Elapsed CPU time: 92.089 s Remaining CPU time: 87.911 s c =============================================================================== c | 9198 | 1502 1818 588218 | 5000 4195 1298 | 0.000 % | c =============================================================================== c New solution: 2519020 c Elapsed CPU time: 92.6909 s Remaining CPU time: 87.3091 s c =============================================================================== c | 9266 | 1502 1819 589561 | 5000 4263 1298 | 0.000 % | c =============================================================================== c New solution: 2518909 c Elapsed CPU time: 93.2378 s Remaining CPU time: 86.7622 s c =============================================================================== c | 9328 | 1502 1820 590904 | 5000 4325 1297 | 0.000 % | c =============================================================================== c New solution: 2518869 c Elapsed CPU time: 93.7447 s Remaining CPU time: 86.2553 s c =============================================================================== c | 9370 | 1502 1821 592247 | 5000 4367 1297 | 0.000 % | c =============================================================================== c New solution: 2518574 c Elapsed CPU time: 94.2197 s Remaining CPU time: 85.7803 s c =============================================================================== c | 9402 | 1502 1822 593590 | 5000 4399 1297 | 0.000 % | c =============================================================================== c New solution: 2518523 c Elapsed CPU time: 94.5736 s Remaining CPU time: 85.4264 s c =============================================================================== c | 9407 | 1502 1823 594933 | 5000 4404 1297 | 0.000 % | c =============================================================================== c New solution: 2518521 c Elapsed CPU time: 95.0985 s Remaining CPU time: 84.9015 s c =============================================================================== c | 9448 | 1502 1824 596276 | 5000 4445 1297 | 0.000 % | c =============================================================================== c New solution: 2518410 c Elapsed CPU time: 95.4285 s Remaining CPU time: 84.5715 s c =============================================================================== c | 9449 | 1502 1825 597619 | 5000 4446 1297 | 0.000 % | c =============================================================================== c New solution: 2518331 c Elapsed CPU time: 95.8814 s Remaining CPU time: 84.1186 s c =============================================================================== c | 9475 | 1502 1826 598962 | 5000 4472 1297 | 0.000 % | c =============================================================================== c New solution: 2518314 c Elapsed CPU time: 96.2434 s Remaining CPU time: 83.7566 s c =============================================================================== c | 9482 | 1502 1827 600305 | 5000 4479 1297 | 0.000 % | c =============================================================================== c New solution: 2518237 c Elapsed CPU time: 96.5593 s Remaining CPU time: 83.4407 s c =============================================================================== c | 9485 | 1502 1828 601648 | 5000 4482 1297 | 0.000 % | c =============================================================================== c New solution: 2518185 c Elapsed CPU time: 96.9163 s Remaining CPU time: 83.0837 s c =============================================================================== c | 9495 | 1502 1829 602991 | 5000 4492 1297 | 0.000 % | c =============================================================================== c New solution: 2518112 c Elapsed CPU time: 97.3452 s Remaining CPU time: 82.6548 s c =============================================================================== c | 9524 | 1502 1830 604334 | 5000 4521 1297 | 0.000 % | c =============================================================================== c New solution: 2517927 c Elapsed CPU time: 97.6971 s Remaining CPU time: 82.3029 s c =============================================================================== c | 9524 | 1502 1831 605677 | 5000 4521 1297 | 0.000 % | c =============================================================================== c New solution: 2517739 c Elapsed CPU time: 98.2211 s Remaining CPU time: 81.7789 s c =============================================================================== c | 9562 | 1502 1832 607020 | 5000 4559 1297 | 0.000 % | c =============================================================================== c New solution: 2517730 c Elapsed CPU time: 98.685 s Remaining CPU time: 81.315 s c =============================================================================== c | 9597 | 1502 1833 608363 | 5000 4594 1297 | 0.000 % | c =============================================================================== c New solution: 2517638 c Elapsed CPU time: 99.2249 s Remaining CPU time: 80.7751 s c =============================================================================== c | 9649 | 1502 1834 609706 | 5000 4646 1297 | 0.000 % | c =============================================================================== c New solution: 2517628 c Elapsed CPU time: 99.7888 s Remaining CPU time: 80.2112 s c =============================================================================== c | 9694 | 1502 1835 611049 | 5000 4691 1297 | 0.000 % | c =============================================================================== c New solution: 2517624 c Elapsed CPU time: 100.213 s Remaining CPU time: 79.7872 s c =============================================================================== c | 9712 | 1502 1836 612392 | 5000 4709 1297 | 0.000 % | c =============================================================================== c New solution: 2517604 c Elapsed CPU time: 100.722 s Remaining CPU time: 79.2783 s c =============================================================================== c | 9743 | 1502 1837 613735 | 5000 4740 1297 | 0.000 % | c =============================================================================== c New solution: 2517570 c Elapsed CPU time: 101.388 s Remaining CPU time: 78.6124 s c =============================================================================== c | 9794 | 1502 1838 615078 | 5000 4791 1297 | 0.000 % | c =============================================================================== c New solution: 2517536 c Elapsed CPU time: 101.977 s Remaining CPU time: 78.0225 s c =============================================================================== c | 9850 | 1502 1839 616421 | 5000 4847 1297 | 0.000 % | c =============================================================================== c New solution: 2517533 c Elapsed CPU time: 102.512 s Remaining CPU time: 77.4876 s c =============================================================================== c | 9900 | 1502 1840 617764 | 5000 4897 1297 | 0.000 % | c =============================================================================== c New solution: 2517473 c Elapsed CPU time: 102.965 s Remaining CPU time: 77.0347 s c =============================================================================== c | 9921 | 1502 1841 619107 | 5000 4918 1297 | 0.000 % | c =============================================================================== c New solution: 2517318 c Elapsed CPU time: 103.609 s Remaining CPU time: 76.3908 s c =============================================================================== c | 9968 | 1502 1842 620450 | 5000 4965 1297 | 0.000 % | c =============================================================================== c New solution: 2517245 c Elapsed CPU time: 104.032 s Remaining CPU time: 75.9678 s c =============================================================================== c | 9977 | 1502 1843 621793 | 5000 4974 1297 | 0.000 % | c =============================================================================== c New solution: 2517175 c Elapsed CPU time: 104.511 s Remaining CPU time: 75.4889 s c =============================================================================== c | 10005 | 1502 1844 623136 | 5000 5002 1297 | 0.000 % | c =============================================================================== c New solution: 2517174 c Elapsed CPU time: 105.122 s Remaining CPU time: 74.878 s c =============================================================================== c | 10049 | 1502 1845 624479 | 5000 2545 1295 | 0.000 % | c =============================================================================== c New solution: 2517085 c Elapsed CPU time: 105.552 s Remaining CPU time: 74.448 s c =============================================================================== c | 10068 | 1502 1846 625822 | 5000 2564 1295 | 0.000 % | c =============================================================================== c New solution: 2516998 c Elapsed CPU time: 106.217 s Remaining CPU time: 73.7831 s c =============================================================================== c | 10147 | 1502 1847 627165 | 5000 2643 1294 | 0.000 % | c =============================================================================== c New solution: 2516887 c Elapsed CPU time: 106.557 s Remaining CPU time: 73.4432 s c =============================================================================== c | 10147 | 1502 1848 628508 | 5000 2643 1294 | 0.000 % | c =============================================================================== c New solution: 2516873 c Elapsed CPU time: 107.061 s Remaining CPU time: 72.9393 s c =============================================================================== c | 10167 | 1502 1849 629851 | 5000 2663 1294 | 0.000 % | c =============================================================================== c New solution: 2516838 c Elapsed CPU time: 107.563 s Remaining CPU time: 72.4374 s c =============================================================================== c | 10195 | 1502 1850 631194 | 5000 2691 1294 | 0.000 % | c =============================================================================== c New solution: 2516805 c Elapsed CPU time: 107.936 s Remaining CPU time: 72.0644 s c =============================================================================== c | 10196 | 1502 1851 632537 | 5000 2692 1294 | 0.000 % | c =============================================================================== c New solution: 2516651 c Elapsed CPU time: 108.552 s Remaining CPU time: 71.4475 s c =============================================================================== c | 10231 | 1502 1852 633880 | 5000 2727 1294 | 0.000 % | c =============================================================================== c New solution: 2516628 c Elapsed CPU time: 109.189 s Remaining CPU time: 70.8106 s c =============================================================================== c | 10261 | 1502 1853 635223 | 5000 2757 1294 | 0.000 % | c =============================================================================== c New solution: 2516505 c Elapsed CPU time: 109.603 s Remaining CPU time: 70.3967 s c =============================================================================== c | 10265 | 1502 1854 636566 | 5000 2761 1294 | 0.000 % | c =============================================================================== c New solution: 2516446 c Elapsed CPU time: 110.288 s Remaining CPU time: 69.7118 s c =============================================================================== c | 10323 | 1502 1855 637909 | 5000 2819 1294 | 0.000 % | c =============================================================================== c New solution: 2516428 c Elapsed CPU time: 110.737 s Remaining CPU time: 69.2628 s c =============================================================================== c | 10336 | 1502 1856 639252 | 5000 2832 1294 | 0.000 % | c =============================================================================== c New solution: 2516338 c Elapsed CPU time: 111.246 s Remaining CPU time: 68.7539 s c =============================================================================== c | 10343 | 1502 1857 640595 | 5000 2839 1294 | 0.000 % | c =============================================================================== c New solution: 2516233 c Elapsed CPU time: 111.725 s Remaining CPU time: 68.275 s c =============================================================================== c | 10353 | 1502 1858 641938 | 5000 2849 1294 | 0.000 % | c =============================================================================== c New solution: 2515918 c Elapsed CPU time: 112.137 s Remaining CPU time: 67.863 s c =============================================================================== c | 10361 | 1502 1859 643281 | 5000 2857 1294 | 0.000 % | c =============================================================================== c New solution: 2515846 c Elapsed CPU time: 112.554 s Remaining CPU time: 67.4461 s c =============================================================================== c | 10374 | 1502 1860 644624 | 5000 2870 1294 | 0.000 % | c =============================================================================== c New solution: 2515767 c Elapsed CPU time: 113.028 s Remaining CPU time: 66.9722 s c =============================================================================== c | 10400 | 1502 1861 645967 | 5000 2896 1294 | 0.000 % | c =============================================================================== c New solution: 2515686 c Elapsed CPU time: 113.538 s Remaining CPU time: 66.4623 s c =============================================================================== c | 10437 | 1502 1862 647310 | 5000 2933 1294 | 0.000 % | c =============================================================================== c New solution: 2515500 c Elapsed CPU time: 113.948 s Remaining CPU time: 66.0523 s c =============================================================================== c | 10458 | 1502 1863 648653 | 5000 2954 1294 | 0.000 % | c =============================================================================== c New solution: 2515193 c Elapsed CPU time: 114.388 s Remaining CPU time: 65.6124 s c =============================================================================== c | 10475 | 1502 1864 649996 | 5000 2971 1294 | 0.000 % | c =============================================================================== c New solution: 2514905 c Elapsed CPU time: 114.923 s Remaining CPU time: 65.0775 s c =============================================================================== c | 10500 | 1502 1865 651339 | 5000 2996 1294 | 0.000 % | c =============================================================================== c New solution: 2514894 c Elapsed CPU time: 115.388 s Remaining CPU time: 64.6115 s c =============================================================================== c | 10512 | 1502 1866 652682 | 5000 3008 1294 | 0.000 % | c =============================================================================== c New solution: 2514865 c Elapsed CPU time: 115.859 s Remaining CPU time: 64.1406 s c =============================================================================== c | 10532 | 1502 1867 654025 | 5000 3028 1294 | 0.000 % | c =============================================================================== c New solution: 2514706 c Elapsed CPU time: 116.299 s Remaining CPU time: 63.7007 s c =============================================================================== c | 10548 | 1502 1868 655368 | 5000 3044 1294 | 0.000 % | c =============================================================================== c New solution: 2514621 c Elapsed CPU time: 116.714 s Remaining CPU time: 63.2857 s c =============================================================================== c | 10556 | 1502 1869 656711 | 5000 3052 1294 | 0.000 % | c =============================================================================== c New solution: 2514580 c Elapsed CPU time: 117.118 s Remaining CPU time: 62.8818 s c =============================================================================== c | 10564 | 1502 1870 658054 | 5000 3060 1294 | 0.000 % | c =============================================================================== c New solution: 2514362 c Elapsed CPU time: 117.479 s Remaining CPU time: 62.5209 s c =============================================================================== c | 10565 | 1502 1871 659397 | 5000 3061 1294 | 0.000 % | c =============================================================================== c New solution: 2514337 c Elapsed CPU time: 117.897 s Remaining CPU time: 62.1029 s c =============================================================================== c | 10579 | 1502 1872 660740 | 5000 3075 1294 | 0.000 % | c =============================================================================== c New solution: 2514297 c Elapsed CPU time: 118.299 s Remaining CPU time: 61.701 s c =============================================================================== c | 10581 | 1502 1873 662083 | 5000 3077 1294 | 0.000 % | c =============================================================================== c New solution: 2514292 c Elapsed CPU time: 118.739 s Remaining CPU time: 61.2611 s c =============================================================================== c | 10585 | 1502 1874 663426 | 5000 3081 1294 | 0.000 % | c =============================================================================== c New solution: 2514259 c Elapsed CPU time: 119.102 s Remaining CPU time: 60.8981 s c =============================================================================== c | 10586 | 1502 1875 664769 | 5000 3082 1294 | 0.000 % | c =============================================================================== c New solution: 2514189 c Elapsed CPU time: 119.596 s Remaining CPU time: 60.4042 s c =============================================================================== c | 10616 | 1502 1876 666112 | 5000 3112 1294 | 0.000 % | c =============================================================================== c New solution: 2514172 c Elapsed CPU time: 120.06 s Remaining CPU time: 59.9403 s c =============================================================================== c | 10633 | 1502 1877 667455 | 5000 3129 1294 | 0.000 % | c =============================================================================== c New solution: 2514142 c Elapsed CPU time: 120.668 s Remaining CPU time: 59.3323 s c =============================================================================== c | 10685 | 1502 1878 668798 | 5000 3181 1294 | 0.000 % | c =============================================================================== c New solution: 2514141 c Elapsed CPU time: 121.125 s Remaining CPU time: 58.8754 s c =============================================================================== c | 10703 | 1502 1879 670141 | 5000 3199 1294 | 0.000 % | c =============================================================================== c New solution: 2514051 c Elapsed CPU time: 121.608 s Remaining CPU time: 58.3925 s c =============================================================================== c | 10729 | 1502 1880 671484 | 5000 3225 1294 | 0.000 % | c =============================================================================== c New solution: 2513987 c Elapsed CPU time: 122.053 s Remaining CPU time: 57.9466 s c =============================================================================== c | 10743 | 1502 1881 672827 | 5000 3239 1294 | 0.000 % | c =============================================================================== c New solution: 2513980 c Elapsed CPU time: 122.452 s Remaining CPU time: 57.5476 s c =============================================================================== c | 10749 | 1502 1882 674170 | 5000 3245 1294 | 0.000 % | c =============================================================================== c New solution: 2513944 c Elapsed CPU time: 122.96 s Remaining CPU time: 57.0397 s c =============================================================================== c | 10788 | 1502 1883 675513 | 5000 3284 1294 | 0.000 % | c =============================================================================== c New solution: 2513896 c Elapsed CPU time: 123.534 s Remaining CPU time: 56.4658 s c =============================================================================== c | 10820 | 1502 1884 676856 | 5000 3316 1294 | 0.000 % | c =============================================================================== c New solution: 2513797 c Elapsed CPU time: 124.074 s Remaining CPU time: 55.9259 s c =============================================================================== c | 10846 | 1502 1885 678199 | 5000 3342 1294 | 0.000 % | c =============================================================================== c New solution: 2513664 c Elapsed CPU time: 124.634 s Remaining CPU time: 55.3659 s c =============================================================================== c | 10883 | 1502 1886 679542 | 5000 3379 1293 | 0.000 % | c =============================================================================== c New solution: 2513588 c Elapsed CPU time: 125.017 s Remaining CPU time: 54.983 s c =============================================================================== c | 10891 | 1502 1887 680885 | 5000 3387 1293 | 0.000 % | c =============================================================================== c New solution: 2513583 c Elapsed CPU time: 125.53 s Remaining CPU time: 54.4701 s c =============================================================================== c | 10913 | 1502 1888 682228 | 5000 3409 1293 | 0.000 % | c =============================================================================== c New solution: 2513488 c Elapsed CPU time: 126.092 s Remaining CPU time: 53.9082 s c =============================================================================== c | 10951 | 1502 1889 683571 | 5000 3447 1293 | 0.000 % | c =============================================================================== c New solution: 2513467 c Elapsed CPU time: 126.781 s Remaining CPU time: 53.2193 s c =============================================================================== c | 10987 | 1502 1890 684914 | 5000 3483 1293 | 0.000 % | c =============================================================================== c New solution: 2513456 c Elapsed CPU time: 127.388 s Remaining CPU time: 52.6124 s c =============================================================================== c | 11025 | 1502 1891 686257 | 5000 3521 1293 | 0.000 % | c =============================================================================== c New solution: 2513349 c Elapsed CPU time: 127.829 s Remaining CPU time: 52.1714 s c =============================================================================== c | 11027 | 1502 1892 687600 | 5000 3523 1293 | 0.000 % | c =============================================================================== c New solution: 2513341 c Elapsed CPU time: 128.436 s Remaining CPU time: 51.5635 s c =============================================================================== c | 11079 | 1502 1893 688943 | 5000 3575 1293 | 0.000 % | c =============================================================================== c New solution: 2513247 c Elapsed CPU time: 128.994 s Remaining CPU time: 51.0056 s c =============================================================================== c | 11123 | 1502 1894 690286 | 5000 3619 1293 | 0.000 % | c =============================================================================== c New solution: 2513186 c Elapsed CPU time: 129.494 s Remaining CPU time: 50.5057 s c =============================================================================== c | 11145 | 1502 1895 691629 | 5000 3641 1293 | 0.000 % | c =============================================================================== c New solution: 2513152 c Elapsed CPU time: 130.024 s Remaining CPU time: 49.9758 s c =============================================================================== c | 11185 | 1502 1896 692972 | 5000 3681 1293 | 0.000 % | c =============================================================================== c New solution: 2513078 c Elapsed CPU time: 130.577 s Remaining CPU time: 49.4229 s c =============================================================================== c | 11216 | 1502 1897 694315 | 5000 3712 1293 | 0.000 % | c =============================================================================== c New solution: 2513067 c Elapsed CPU time: 131.053 s Remaining CPU time: 48.9469 s c =============================================================================== c | 11234 | 1502 1898 695658 | 5000 3730 1293 | 0.000 % | c =============================================================================== c New solution: 2513041 c Elapsed CPU time: 131.526 s Remaining CPU time: 48.474 s c =============================================================================== c | 11241 | 1502 1899 697001 | 5000 3737 1293 | 0.000 % | c =============================================================================== c New solution: 2512956 c Elapsed CPU time: 132.038 s Remaining CPU time: 47.9621 s c =============================================================================== c | 11275 | 1502 1900 698344 | 5000 3771 1293 | 0.000 % | c =============================================================================== c New solution: 2512816 c Elapsed CPU time: 132.647 s Remaining CPU time: 47.3532 s c =============================================================================== c | 11322 | 1502 1901 699687 | 5000 3818 1293 | 0.000 % | c =============================================================================== c New solution: 2512759 c Elapsed CPU time: 133.224 s Remaining CPU time: 46.7763 s c =============================================================================== c | 11366 | 1502 1902 701030 | 5000 3862 1293 | 0.000 % | c =============================================================================== c New solution: 2512707 c Elapsed CPU time: 133.897 s Remaining CPU time: 46.1034 s c =============================================================================== c | 11427 | 1502 1903 702373 | 5000 3923 1293 | 0.000 % | c =============================================================================== c New solution: 2512699 c Elapsed CPU time: 134.264 s Remaining CPU time: 45.7364 s c =============================================================================== c | 11428 | 1502 1904 703716 | 5000 3924 1293 | 0.000 % | c =============================================================================== c New solution: 2512605 c Elapsed CPU time: 134.871 s Remaining CPU time: 45.1285 s c =============================================================================== c | 11459 | 1502 1905 705059 | 5000 3955 1293 | 0.000 % | c =============================================================================== c New solution: 2512435 c Elapsed CPU time: 135.45 s Remaining CPU time: 44.5496 s c =============================================================================== c | 11492 | 1502 1906 706402 | 5000 3988 1293 | 0.000 % | c =============================================================================== c New solution: 2512363 c Elapsed CPU time: 136.003 s Remaining CPU time: 43.9967 s c =============================================================================== c | 11522 | 1502 1907 707745 | 5000 4018 1293 | 0.000 % | c =============================================================================== c New solution: 2512310 c Elapsed CPU time: 136.474 s Remaining CPU time: 43.5257 s c =============================================================================== c | 11536 | 1502 1908 709088 | 5000 4032 1293 | 0.000 % | c =============================================================================== c New solution: 2512199 c Elapsed CPU time: 137.035 s Remaining CPU time: 42.9648 s c =============================================================================== c | 11549 | 1502 1909 710431 | 5000 4045 1293 | 0.000 % | c =============================================================================== c New solution: 2512163 c Elapsed CPU time: 137.669 s Remaining CPU time: 42.3309 s c =============================================================================== c | 11593 | 1502 1910 711774 | 5000 4089 1293 | 0.000 % | c =============================================================================== c New solution: 2512117 c Elapsed CPU time: 138.096 s Remaining CPU time: 41.904 s c =============================================================================== c | 11604 | 1502 1911 713117 | 5000 4100 1293 | 0.000 % | c =============================================================================== c New solution: 2512053 c Elapsed CPU time: 138.623 s Remaining CPU time: 41.3771 s c =============================================================================== c | 11621 | 1502 1912 714460 | 5000 4117 1293 | 0.000 % | c =============================================================================== c New solution: 2511909 c Elapsed CPU time: 139.11 s Remaining CPU time: 40.8901 s c =============================================================================== c | 11632 | 1502 1913 715803 | 5000 4128 1293 | 0.000 % | c =============================================================================== c New solution: 2511787 c Elapsed CPU time: 139.79 s Remaining CPU time: 40.2103 s c =============================================================================== c | 11683 | 1502 1914 717146 | 5000 4179 1293 | 0.000 % | c =============================================================================== c New solution: 2511696 c Elapsed CPU time: 140.296 s Remaining CPU time: 39.7043 s c =============================================================================== c | 11697 | 1502 1915 718489 | 5000 4193 1293 | 0.000 % | c =============================================================================== c New solution: 2511653 c Elapsed CPU time: 140.712 s Remaining CPU time: 39.2884 s c =============================================================================== c | 11697 | 1502 1916 719832 | 5000 4193 1293 | 0.000 % | c =============================================================================== c New solution: 2511603 c Elapsed CPU time: 141.134 s Remaining CPU time: 38.8665 s c =============================================================================== c | 11698 | 1502 1917 721175 | 5000 4194 1293 | 0.000 % | c =============================================================================== c New solution: 2511532 c Elapsed CPU time: 141.754 s Remaining CPU time: 38.2456 s c =============================================================================== c | 11757 | 1502 1918 722518 | 5000 4253 1293 | 0.000 % | c =============================================================================== c New solution: 2511515 c Elapsed CPU time: 142.21 s Remaining CPU time: 37.7896 s c =============================================================================== c | 11773 | 1502 1919 723861 | 5000 4269 1293 | 0.000 % | c =============================================================================== c New solution: 2511484 c Elapsed CPU time: 142.714 s Remaining CPU time: 37.2857 s c =============================================================================== c | 11787 | 1502 1920 725204 | 5000 4283 1293 | 0.000 % | c =============================================================================== c New solution: 2511445 c Elapsed CPU time: 143.271 s Remaining CPU time: 36.7288 s c =============================================================================== c | 11811 | 1502 1921 726547 | 5000 4307 1293 | 0.000 % | c =============================================================================== c New solution: 2511326 c Elapsed CPU time: 143.867 s Remaining CPU time: 36.1329 s c =============================================================================== c | 11856 | 1502 1922 727890 | 5000 4352 1293 | 0.000 % | c =============================================================================== c New solution: 2511289 c Elapsed CPU time: 144.425 s Remaining CPU time: 35.575 s c =============================================================================== c | 11898 | 1502 1923 729233 | 5000 4394 1293 | 0.000 % | c =============================================================================== c New solution: 2511194 c Elapsed CPU time: 144.869 s Remaining CPU time: 35.131 s c =============================================================================== c | 11909 | 1502 1924 730576 | 5000 4405 1293 | 0.000 % | c =============================================================================== c New solution: 2511078 c Elapsed CPU time: 145.565 s Remaining CPU time: 34.4351 s c =============================================================================== c | 11965 | 1502 1925 731919 | 5000 4461 1293 | 0.000 % | c =============================================================================== c New solution: 2511075 c Elapsed CPU time: 146.13 s Remaining CPU time: 33.8702 s c =============================================================================== c | 11999 | 1502 1926 733262 | 5000 4495 1293 | 0.000 % | c =============================================================================== c New solution: 2511006 c Elapsed CPU time: 146.592 s Remaining CPU time: 33.4083 s c =============================================================================== c | 12015 | 1502 1927 734605 | 5000 4511 1293 | 0.000 % | c =============================================================================== c New solution: 2510964 c Elapsed CPU time: 147.145 s Remaining CPU time: 32.8554 s c =============================================================================== c | 12043 | 1502 1928 735948 | 5000 4539 1293 | 0.000 % | c =============================================================================== c New solution: 2510949 c Elapsed CPU time: 147.703 s Remaining CPU time: 32.2975 s c =============================================================================== c | 12067 | 1502 1929 737291 | 5000 4563 1293 | 0.000 % | c =============================================================================== c New solution: 2510934 c Elapsed CPU time: 148.218 s Remaining CPU time: 31.7815 s c =============================================================================== c | 12092 | 1502 1930 738634 | 5000 4588 1292 | 0.000 % | c =============================================================================== c New solution: 2510838 c Elapsed CPU time: 148.672 s Remaining CPU time: 31.3276 s c =============================================================================== c | 12107 | 1502 1931 739977 | 5000 4603 1292 | 0.000 % | c =============================================================================== c New solution: 2510677 c Elapsed CPU time: 149.385 s Remaining CPU time: 30.6147 s c =============================================================================== c | 12144 | 1502 1932 741320 | 5000 4640 1292 | 0.000 % | c =============================================================================== c New solution: 2510465 c Elapsed CPU time: 150.181 s Remaining CPU time: 29.8188 s c =============================================================================== c | 12193 | 1502 1933 742663 | 5000 4689 1292 | 0.000 % | c =============================================================================== c New solution: 2510454 c Elapsed CPU time: 150.622 s Remaining CPU time: 29.3779 s c =============================================================================== c | 12197 | 1502 1934 744006 | 5000 4693 1292 | 0.000 % | c =============================================================================== c New solution: 2510394 c Elapsed CPU time: 151.032 s Remaining CPU time: 28.968 s c =============================================================================== c | 12198 | 1502 1935 745349 | 5000 4694 1292 | 0.000 % | c =============================================================================== c New solution: 2510343 c Elapsed CPU time: 151.464 s Remaining CPU time: 28.536 s c =============================================================================== c | 12199 | 1502 1936 746692 | 5000 4695 1292 | 0.000 % | c =============================================================================== c New solution: 2510192 c Elapsed CPU time: 152.033 s Remaining CPU time: 27.9671 s c =============================================================================== c | 12218 | 1502 1937 748035 | 5000 4714 1292 | 0.000 % | c =============================================================================== c New solution: 2510188 c Elapsed CPU time: 152.472 s Remaining CPU time: 27.5282 s c =============================================================================== c | 12222 | 1502 1938 749378 | 5000 4718 1292 | 0.000 % | c =============================================================================== c New solution: 2510179 c Elapsed CPU time: 153.29 s Remaining CPU time: 26.7103 s c =============================================================================== c | 12296 | 1502 1939 750721 | 5000 4792 1292 | 0.000 % | c =============================================================================== c New solution: 2510111 c Elapsed CPU time: 153.745 s Remaining CPU time: 26.2554 s c =============================================================================== c | 12311 | 1502 1940 752064 | 5000 4807 1292 | 0.000 % | c =============================================================================== c New solution: 2510000 c Elapsed CPU time: 154.142 s Remaining CPU time: 25.8584 s c =============================================================================== c | 12311 | 1502 1941 753407 | 5000 4807 1292 | 0.000 % | c =============================================================================== c New solution: 2509957 c Elapsed CPU time: 154.873 s Remaining CPU time: 25.1265 s c =============================================================================== c | 12359 | 1502 1942 754750 | 5000 4855 1292 | 0.000 % | c =============================================================================== c New solution: 2509956 c Elapsed CPU time: 155.374 s Remaining CPU time: 24.6256 s c =============================================================================== c | 12363 | 1502 1943 756093 | 5000 4859 1292 | 0.000 % | c =============================================================================== c New solution: 2509910 c Elapsed CPU time: 155.86 s Remaining CPU time: 24.1397 s c =============================================================================== c | 12368 | 1502 1944 757436 | 5000 4864 1292 | 0.000 % | c =============================================================================== c New solution: 2509648 c Elapsed CPU time: 156.379 s Remaining CPU time: 23.6208 s c =============================================================================== c | 12375 | 1502 1945 758779 | 5000 4871 1292 | 0.000 % | c =============================================================================== c New solution: 2509574 c Elapsed CPU time: 156.989 s Remaining CPU time: 23.0109 s c =============================================================================== c | 12400 | 1502 1946 760122 | 5000 4896 1292 | 0.000 % | c =============================================================================== c New solution: 2509518 c Elapsed CPU time: 157.54 s Remaining CPU time: 22.4599 s c =============================================================================== c | 12429 | 1502 1947 761465 | 5000 4925 1292 | 0.000 % | c =============================================================================== c New solution: 2509224 c Elapsed CPU time: 158.086 s Remaining CPU time: 21.914 s c =============================================================================== c | 12450 | 1502 1948 762808 | 5000 4946 1292 | 0.000 % | c =============================================================================== c New solution: 2509187 c Elapsed CPU time: 158.969 s Remaining CPU time: 21.0312 s c =============================================================================== c | 12516 | 1502 1949 764151 | 5000 5012 1292 | 0.000 % | c =============================================================================== c New solution: 2508893 c Elapsed CPU time: 159.601 s Remaining CPU time: 20.3993 s c =============================================================================== c | 12531 | 1502 1950 765494 | 5000 2521 1290 | 0.000 % | c =============================================================================== c New solution: 2508783 c Elapsed CPU time: 160.233 s Remaining CPU time: 19.7674 s c =============================================================================== c | 12562 | 1502 1951 766837 | 5000 2552 1290 | 0.000 % | c =============================================================================== c New solution: 2508769 c Elapsed CPU time: 160.784 s Remaining CPU time: 19.2164 s c =============================================================================== c | 12576 | 1502 1952 768180 | 5000 2566 1290 | 0.000 % | c =============================================================================== c New solution: 2508707 c Elapsed CPU time: 161.261 s Remaining CPU time: 18.7385 s c =============================================================================== c | 12589 | 1502 1953 769523 | 5000 2579 1290 | 0.000 % | c =============================================================================== c New solution: 2508555 c Elapsed CPU time: 161.698 s Remaining CPU time: 18.3016 s c =============================================================================== c | 12596 | 1502 1954 770866 | 5000 2586 1290 | 0.000 % | c =============================================================================== c New solution: 2508521 c Elapsed CPU time: 162.183 s Remaining CPU time: 17.8167 s c =============================================================================== c | 12611 | 1502 1955 772209 | 5000 2601 1290 | 0.000 % | c =============================================================================== c New solution: 2508399 c Elapsed CPU time: 162.716 s Remaining CPU time: 17.2837 s c =============================================================================== c | 12630 | 1502 1956 773552 | 5000 2620 1290 | 0.000 % | c =============================================================================== c New solution: 2508187 c Elapsed CPU time: 163.208 s Remaining CPU time: 16.7918 s c =============================================================================== c | 12655 | 1502 1957 774895 | 5000 2645 1290 | 0.000 % | c =============================================================================== c New solution: 2508149 c Elapsed CPU time: 163.716 s Remaining CPU time: 16.2839 s c =============================================================================== c | 12664 | 1502 1958 776238 | 5000 2654 1290 | 0.000 % | c =============================================================================== c New solution: 2508090 c Elapsed CPU time: 164.312 s Remaining CPU time: 15.688 s c =============================================================================== c | 12693 | 1502 1959 777581 | 5000 2683 1290 | 0.000 % | c =============================================================================== c New solution: 2507982 c Elapsed CPU time: 164.862 s Remaining CPU time: 15.1381 s c =============================================================================== c | 12706 | 1502 1960 778924 | 5000 2696 1290 | 0.000 % | c =============================================================================== c New solution: 2507947 c Elapsed CPU time: 165.395 s Remaining CPU time: 14.6051 s c =============================================================================== c | 12731 | 1502 1961 780267 | 5000 2721 1290 | 0.000 % | c =============================================================================== c New solution: 2507840 c Elapsed CPU time: 165.868 s Remaining CPU time: 14.1322 s c =============================================================================== c | 12747 | 1502 1962 781610 | 5000 2737 1290 | 0.000 % | c =============================================================================== c New solution: 2507572 c Elapsed CPU time: 166.72 s Remaining CPU time: 13.2803 s c =============================================================================== c | 12808 | 1502 1963 782953 | 5000 2798 1290 | 0.000 % | c =============================================================================== c New solution: 2507553 c Elapsed CPU time: 167.433 s Remaining CPU time: 12.5675 s c =============================================================================== c | 12848 | 1502 1964 784296 | 5000 2838 1290 | 0.000 % | c =============================================================================== c New solution: 2507538 c Elapsed CPU time: 168.049 s Remaining CPU time: 11.9505 s c =============================================================================== c | 12879 | 1502 1965 785639 | 5000 2869 1290 | 0.000 % | c =============================================================================== c New solution: 2507478 c Elapsed CPU time: 168.718 s Remaining CPU time: 11.2817 s c =============================================================================== c | 12924 | 1502 1966 786982 | 5000 2914 1290 | 0.000 % | c =============================================================================== c New solution: 2507356 c Elapsed CPU time: 169.433 s Remaining CPU time: 10.5668 s c =============================================================================== c | 12982 | 1502 1967 788325 | 5000 2972 1290 | 0.000 % | c =============================================================================== c New solution: 2507301 c Elapsed CPU time: 170.014 s Remaining CPU time: 9.98585 s c =============================================================================== c | 12996 | 1502 1968 789668 | 5000 2986 1290 | 0.000 % | c =============================================================================== c New solution: 2507148 c Elapsed CPU time: 170.489 s Remaining CPU time: 9.51092 s c =============================================================================== c | 13000 | 1502 1969 791011 | 5000 2990 1290 | 0.000 % | c =============================================================================== c New solution: 2507131 c Elapsed CPU time: 170.999 s Remaining CPU time: 9.001 s c =============================================================================== c | 13022 | 1502 1970 792354 | 5000 3012 1290 | 0.000 % | c =============================================================================== c New solution: 2507018 c Elapsed CPU time: 171.584 s Remaining CPU time: 8.41609 s c =============================================================================== c | 13063 | 1502 1971 793697 | 5000 3053 1290 | 0.000 % | c =============================================================================== c New solution: 2506953 c Elapsed CPU time: 172.133 s Remaining CPU time: 7.86717 s c =============================================================================== c | 13091 | 1502 1972 795040 | 5000 3081 1290 | 0.000 % | c =============================================================================== c New solution: 2506922 c Elapsed CPU time: 172.904 s Remaining CPU time: 7.09629 s c =============================================================================== c | 13165 | 1502 1973 796383 | 5000 3155 1289 | 0.000 % | c =============================================================================== c New solution: 2506735 c Elapsed CPU time: 173.434 s Remaining CPU time: 6.56637 s c =============================================================================== c | 13179 | 1502 1974 797726 | 5000 3169 1289 | 0.000 % | c =============================================================================== c New solution: 2506662 c Elapsed CPU time: 174.003 s Remaining CPU time: 5.99745 s c =============================================================================== c | 13196 | 1502 1975 799069 | 5000 3186 1289 | 0.000 % | c =============================================================================== c New solution: 2506657 c Elapsed CPU time: 174.54 s Remaining CPU time: 5.45953 s c =============================================================================== c | 13204 | 1502 1976 800412 | 5000 3194 1289 | 0.000 % | c =============================================================================== c New solution: 2506601 c Elapsed CPU time: 175.195 s Remaining CPU time: 4.80463 s c =============================================================================== c | 13247 | 1502 1977 801755 | 5000 3237 1289 | 0.000 % | c =============================================================================== c New solution: 2506516 c Elapsed CPU time: 175.716 s Remaining CPU time: 4.28371 s c =============================================================================== c | 13258 | 1502 1978 803098 | 5000 3248 1289 | 0.000 % | c =============================================================================== c New solution: 2506328 c Elapsed CPU time: 176.178 s Remaining CPU time: 3.82178 s c =============================================================================== c | 13265 | 1502 1979 804441 | 5000 3255 1289 | 0.000 % | c =============================================================================== c New solution: 2506254 c Elapsed CPU time: 176.709 s Remaining CPU time: 3.29086 s c =============================================================================== c | 13279 | 1502 1980 805784 | 5000 3269 1289 | 0.000 % | c =============================================================================== c New solution: 2506104 c Elapsed CPU time: 177.226 s Remaining CPU time: 2.77394 s c =============================================================================== c | 13281 | 1502 1981 807127 | 5000 3271 1289 | 0.000 % | c =============================================================================== c New solution: 2506004 c Elapsed CPU time: 177.729 s Remaining CPU time: 2.27102 s c =============================================================================== c | 13287 | 1502 1982 808470 | 5000 3277 1289 | 0.000 % | c =============================================================================== c New solution: 2505936 c Elapsed CPU time: 178.262 s Remaining CPU time: 1.7381 s c =============================================================================== c | 13292 | 1502 1983 809813 | 5000 3282 1289 | 0.000 % | c =============================================================================== c New solution: 2505770 c Elapsed CPU time: 178.758 s Remaining CPU time: 1.24218 s c =============================================================================== c | 13296 | 1502 1984 811156 | 5000 3286 1289 | 0.000 % | c =============================================================================== c New solution: 2505621 c Elapsed CPU time: 179.209 s Remaining CPU time: 0.791244 s c =============================================================================== c | 13297 | 1502 1985 812499 | 5000 3287 1289 | 0.000 % | c =============================================================================== c New solution: 2505310 c Elapsed CPU time: 179.776 s Remaining CPU time: 0.224331 s c =============================================================================== c | 13327 | 1502 1986 813842 | 5000 3317 1289 | 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 3351 4729 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 176 3358 4759 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 184 3366 4775 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 196 3377 4814 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 210 3391 4844 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 223 3404 4863 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 244 3419 4986 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 267 3440 5012 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 291 3463 5038 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 318 3489 5174 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 324 3497 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 | 331 3514 5218 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 360 3531 5244 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 388 3558 5387 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 425 3591 5435 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 464 3629 5510 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 502 3666 5566 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 539 3703 5627 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 546 3709 5639 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 555 3717 5651 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 563 3724 5662 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 570 3730 5670 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 583 3742 5688 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 628 3786 5751 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 666 3821 5815 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 708 3862 5864 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 753 3905 5934 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 805 3956 5988 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 864 4012 6054 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 884 4026 6170 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 894 4035 6181 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 899 4040 6190 | 5000 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 4100 6288 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 962 4111 6307 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 971 4119 6319 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 981 4128 6332 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 994 4140 6350 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1008 4153 6369 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1030 4174 6398 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1060 4203 6439 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1093 4235 6487 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1134 4275 6536 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1176 4316 6579 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1220 4359 6636 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1270 4408 6709 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1325 4461 6773 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1388 4523 6870 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1462 4593 6967 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1516 4648 7041 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1589 4720 7137 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1660 4789 7223 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1668 4797 7243 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1678 4806 7264 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1688 4815 7281 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1701 4827 7303 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1717 4842 7324 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1738 4862 7346 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1751 4874 7368 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1764 4886 7388 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1840 4961 7501 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1847 4972 7514 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1860 4999 7546 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1879 5016 7600 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1912 5033 7630 | 5000 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 5053 7662 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1965 5084 7705 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2004 5122 7755 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2043 5160 7805 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2081 5197 7885 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2131 5247 7951 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2180 5295 8031 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2229 5343 8089 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2252 5365 8114 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2267 5379 8136 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2321 5432 8208 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2370 5480 8294 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2400 5509 8356 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2426 5536 8509 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2478 5586 8564 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2495 5603 8595 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2514 5621 8627 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2550 5656 8664 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2570 5666 8681 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2591 5686 8715 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2612 5706 8737 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2629 5722 8759 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2652 5744 8793 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2677 5768 8835 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2706 5796 8889 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2735 5824 8935 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2768 5856 8985 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2777 5864 8995 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2793 5874 9037 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2804 5884 9053 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2817 5896 9073 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2849 5927 9120 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2878 5952 9172 | 5000 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 5984 9206 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2943 6014 9262 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2953 6023 9273 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2963 6032 9284 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2995 6063 9337 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3010 6077 9355 | 5000 0 nan | 0.000 % | c ===============================================================================