c wbo 1.4 beta - 20100610 c | Number of variables: 2752 | c | Number of clauses: 9954 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 2752 | c | Number Clauses: 7202 | 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 | 2157 7525 15147 | 5000 0 nan | 0.000 % | c | 102 | 2157 7525 15147 | 5500 102 13 | 21.622 % | c | 252 | 2154 7525 15147 | 6050 246 17 | 21.730 % | c =============================================================================== c New solution: 1504 c Elapsed CPU time: 1.9857 s Remaining CPU time: 178.014 s c =============================================================================== c | 383 | 2152 7526 17507 | 5000 377 17 | 21.730 % | c | 484 | 2152 7526 17507 | 5500 476 16 | 21.806 % | c =============================================================================== c New solution: 1503 c Elapsed CPU time: 2.02969 s Remaining CPU time: 177.97 s c =============================================================================== c | 588 | 2152 7527 19867 | 5000 580 17 | 21.806 % | c | 691 | 2152 7527 19867 | 5500 683 18 | 21.802 % | c =============================================================================== c New solution: 1502 c Elapsed CPU time: 2.06369 s Remaining CPU time: 177.936 s c =============================================================================== c | 703 | 2152 7528 22227 | 5000 695 18 | 21.802 % | c =============================================================================== c New solution: 1501 c Elapsed CPU time: 2.07468 s Remaining CPU time: 177.925 s c =============================================================================== c | 714 | 2152 7529 24587 | 5000 706 18 | 21.802 % | c =============================================================================== c New solution: 1500 c Elapsed CPU time: 2.09068 s Remaining CPU time: 177.909 s c =============================================================================== c | 745 | 2151 7530 26947 | 5000 728 18 | 21.802 % | c =============================================================================== c New solution: 1499 c Elapsed CPU time: 2.10168 s Remaining CPU time: 177.898 s c =============================================================================== c | 748 | 2151 7531 29307 | 5000 731 18 | 21.802 % | c =============================================================================== c New solution: 1498 c Elapsed CPU time: 2.13267 s Remaining CPU time: 177.867 s c =============================================================================== c | 813 | 2151 7532 31667 | 5000 796 19 | 21.802 % | c =============================================================================== c New solution: 1497 c Elapsed CPU time: 2.16667 s Remaining CPU time: 177.833 s c =============================================================================== c | 869 | 2151 7533 34027 | 5000 852 19 | 21.802 % | c =============================================================================== c New solution: 1496 c Elapsed CPU time: 2.19767 s Remaining CPU time: 177.802 s c =============================================================================== c | 913 | 2151 7534 36387 | 5000 896 20 | 21.802 % | c =============================================================================== c New solution: 1486 c Elapsed CPU time: 2.21566 s Remaining CPU time: 177.784 s c =============================================================================== c | 920 | 2151 7535 38747 | 5000 903 20 | 21.802 % | c =============================================================================== c New solution: 1485 c Elapsed CPU time: 2.23866 s Remaining CPU time: 177.761 s c =============================================================================== c | 924 | 2151 7536 41107 | 5000 907 20 | 21.802 % | c =============================================================================== c New solution: 1484 c Elapsed CPU time: 2.29665 s Remaining CPU time: 177.703 s c =============================================================================== c | 1007 | 2151 7537 43467 | 5000 990 21 | 21.802 % | c =============================================================================== c New solution: 1483 c Elapsed CPU time: 2.38364 s Remaining CPU time: 177.616 s c =============================================================================== c | 1105 | 2151 7538 45827 | 5000 1088 22 | 21.802 % | c =============================================================================== c New solution: 1482 c Elapsed CPU time: 2.41263 s Remaining CPU time: 177.587 s c =============================================================================== c | 1120 | 2151 7539 48187 | 5000 1103 22 | 21.802 % | c =============================================================================== c New solution: 1481 c Elapsed CPU time: 2.43463 s Remaining CPU time: 177.565 s c =============================================================================== c | 1122 | 2151 7540 50547 | 5000 1105 22 | 21.802 % | c =============================================================================== c New solution: 1480 c Elapsed CPU time: 2.45663 s Remaining CPU time: 177.543 s c =============================================================================== c | 1123 | 2151 7541 52907 | 5000 1106 22 | 21.802 % | c =============================================================================== c New solution: 1479 c Elapsed CPU time: 2.47962 s Remaining CPU time: 177.52 s c =============================================================================== c | 1126 | 2151 7542 55267 | 5000 1109 22 | 21.802 % | c =============================================================================== c New solution: 1478 c Elapsed CPU time: 2.50262 s Remaining CPU time: 177.497 s c =============================================================================== c | 1128 | 2151 7543 57627 | 5000 1111 22 | 21.802 % | c =============================================================================== c New solution: 1477 c Elapsed CPU time: 2.52662 s Remaining CPU time: 177.473 s c =============================================================================== c | 1128 | 2151 7544 59987 | 5000 1111 22 | 21.802 % | c =============================================================================== c New solution: 1476 c Elapsed CPU time: 2.55361 s Remaining CPU time: 177.446 s c =============================================================================== c | 1128 | 2151 7545 62347 | 5000 1111 22 | 21.802 % | c =============================================================================== c New solution: 1475 c Elapsed CPU time: 2.58061 s Remaining CPU time: 177.419 s c =============================================================================== c | 1128 | 2151 7546 64707 | 5000 1111 22 | 21.802 % | c =============================================================================== c New solution: 1474 c Elapsed CPU time: 2.6076 s Remaining CPU time: 177.392 s c =============================================================================== c | 1128 | 2151 7547 67067 | 5000 1111 22 | 21.802 % | c =============================================================================== c New solution: 1473 c Elapsed CPU time: 2.6356 s Remaining CPU time: 177.364 s c =============================================================================== c | 1128 | 2151 7548 69427 | 5000 1111 22 | 21.802 % | c =============================================================================== c New solution: 1472 c Elapsed CPU time: 2.66459 s Remaining CPU time: 177.335 s c =============================================================================== c | 1128 | 2151 7549 71787 | 5000 1111 22 | 21.802 % | c =============================================================================== c New solution: 1471 c Elapsed CPU time: 2.69559 s Remaining CPU time: 177.304 s c =============================================================================== c | 1128 | 2151 7550 74147 | 5000 1111 22 | 21.802 % | c =============================================================================== c New solution: 1470 c Elapsed CPU time: 2.72659 s Remaining CPU time: 177.273 s c =============================================================================== c | 1128 | 2151 7551 76507 | 5000 1111 22 | 21.802 % | c =============================================================================== c New solution: 1469 c Elapsed CPU time: 2.75958 s Remaining CPU time: 177.24 s c =============================================================================== c | 1128 | 2151 7552 78867 | 5000 1111 22 | 21.802 % | c =============================================================================== c New solution: 1468 c Elapsed CPU time: 2.82657 s Remaining CPU time: 177.173 s c =============================================================================== c | 1142 | 2151 7553 81227 | 5000 1125 22 | 21.802 % | c =============================================================================== c New solution: 1467 c Elapsed CPU time: 2.86556 s Remaining CPU time: 177.134 s c =============================================================================== c | 1145 | 2151 7554 83587 | 5000 1128 22 | 21.802 % | c =============================================================================== c New solution: 1466 c Elapsed CPU time: 2.91656 s Remaining CPU time: 177.083 s c =============================================================================== c | 1156 | 2151 7555 85947 | 5000 1139 22 | 21.802 % | c =============================================================================== c New solution: 1465 c Elapsed CPU time: 2.96455 s Remaining CPU time: 177.035 s c =============================================================================== c | 1163 | 2151 7556 88307 | 5000 1146 22 | 21.802 % | c =============================================================================== c New solution: 1464 c Elapsed CPU time: 3.00754 s Remaining CPU time: 176.992 s c =============================================================================== c | 1165 | 2151 7557 90667 | 5000 1148 22 | 21.802 % | c =============================================================================== c New solution: 1463 c Elapsed CPU time: 3.04954 s Remaining CPU time: 176.95 s c =============================================================================== c | 1166 | 2151 7558 93027 | 5000 1149 22 | 21.802 % | c =============================================================================== c New solution: 1462 c Elapsed CPU time: 3.09153 s Remaining CPU time: 176.908 s c =============================================================================== c | 1166 | 2151 7559 95387 | 5000 1149 22 | 21.802 % | c =============================================================================== c New solution: 1461 c Elapsed CPU time: 3.13352 s Remaining CPU time: 176.866 s c =============================================================================== c | 1166 | 2151 7560 97747 | 5000 1149 22 | 21.802 % | c =============================================================================== c New solution: 1460 c Elapsed CPU time: 3.17752 s Remaining CPU time: 176.822 s c =============================================================================== c | 1166 | 2151 7561 100107 | 5000 1149 22 | 21.802 % | c =============================================================================== c New solution: 1459 c Elapsed CPU time: 3.22251 s Remaining CPU time: 176.777 s c =============================================================================== c | 1166 | 2151 7562 102467 | 5000 1149 22 | 21.802 % | c =============================================================================== c New solution: 1458 c Elapsed CPU time: 3.2695 s Remaining CPU time: 176.73 s c =============================================================================== c | 1166 | 2151 7563 104827 | 5000 1149 22 | 21.802 % | c =============================================================================== c New solution: 1457 c Elapsed CPU time: 3.3175 s Remaining CPU time: 176.683 s c =============================================================================== c | 1166 | 2151 7564 107187 | 5000 1149 22 | 21.802 % | c =============================================================================== c New solution: 1456 c Elapsed CPU time: 3.36749 s Remaining CPU time: 176.633 s c =============================================================================== c | 1166 | 2151 7565 109547 | 5000 1149 22 | 21.802 % | c =============================================================================== c New solution: 1455 c Elapsed CPU time: 3.41948 s Remaining CPU time: 176.581 s c =============================================================================== c | 1166 | 2151 7566 111907 | 5000 1149 22 | 21.802 % | c =============================================================================== c New solution: 1454 c Elapsed CPU time: 3.47247 s Remaining CPU time: 176.528 s c =============================================================================== c | 1166 | 2151 7567 114267 | 5000 1149 22 | 21.802 % | c =============================================================================== c New solution: 1453 c Elapsed CPU time: 3.52646 s Remaining CPU time: 176.474 s c =============================================================================== c | 1166 | 2151 7568 116627 | 5000 1149 22 | 21.802 % | c =============================================================================== c New solution: 1452 c Elapsed CPU time: 3.58345 s Remaining CPU time: 176.417 s c =============================================================================== c | 1166 | 2151 7569 118987 | 5000 1149 22 | 21.802 % | c =============================================================================== c New solution: 1451 c Elapsed CPU time: 3.64045 s Remaining CPU time: 176.36 s c =============================================================================== c | 1166 | 2151 7570 121347 | 5000 1149 22 | 21.802 % | c =============================================================================== c New solution: 1450 c Elapsed CPU time: 3.69644 s Remaining CPU time: 176.304 s c =============================================================================== c | 1166 | 2151 7571 123707 | 5000 1149 22 | 21.802 % | c =============================================================================== c New solution: 1449 c Elapsed CPU time: 3.75143 s Remaining CPU time: 176.249 s c =============================================================================== c | 1166 | 2151 7572 126067 | 5000 1149 22 | 21.802 % | c =============================================================================== c New solution: 1448 c Elapsed CPU time: 3.81142 s Remaining CPU time: 176.189 s c =============================================================================== c | 1166 | 2151 7573 128427 | 5000 1149 22 | 21.802 % | c =============================================================================== c New solution: 1447 c Elapsed CPU time: 3.87141 s Remaining CPU time: 176.129 s c =============================================================================== c | 1166 | 2151 7574 130787 | 5000 1149 22 | 21.802 % | c =============================================================================== c New solution: 1446 c Elapsed CPU time: 3.9324 s Remaining CPU time: 176.068 s c =============================================================================== c | 1166 | 2151 7575 133147 | 5000 1149 22 | 21.802 % | c =============================================================================== c New solution: 1445 c Elapsed CPU time: 3.99439 s Remaining CPU time: 176.006 s c =============================================================================== c | 1166 | 2151 7576 135507 | 5000 1149 22 | 21.802 % | c =============================================================================== c New solution: 1444 c Elapsed CPU time: 4.05838 s Remaining CPU time: 175.942 s c =============================================================================== c | 1166 | 2151 7577 137867 | 5000 1149 22 | 21.802 % | c =============================================================================== c New solution: 1443 c Elapsed CPU time: 4.12337 s Remaining CPU time: 175.877 s c =============================================================================== c | 1166 | 2151 7578 140227 | 5000 1149 22 | 21.802 % | c =============================================================================== c New solution: 1442 c Elapsed CPU time: 4.19236 s Remaining CPU time: 175.808 s c =============================================================================== c | 1167 | 2148 7579 142587 | 5000 1148 23 | 21.802 % | c =============================================================================== c New solution: 1441 c Elapsed CPU time: 4.25835 s Remaining CPU time: 175.742 s c =============================================================================== c | 1167 | 2148 7580 144947 | 5000 1148 23 | 21.802 % | c =============================================================================== c New solution: 1440 c Elapsed CPU time: 4.32534 s Remaining CPU time: 175.675 s c =============================================================================== c | 1167 | 2148 7581 147307 | 5000 1148 23 | 21.802 % | c =============================================================================== c New solution: 1439 c Elapsed CPU time: 4.39533 s Remaining CPU time: 175.605 s c =============================================================================== c | 1167 | 2148 7582 149667 | 5000 1148 23 | 21.802 % | c =============================================================================== c New solution: 1438 c Elapsed CPU time: 4.46532 s Remaining CPU time: 175.535 s c =============================================================================== c | 1167 | 2148 7583 152027 | 5000 1148 23 | 21.802 % | c =============================================================================== c New solution: 1437 c Elapsed CPU time: 4.54031 s Remaining CPU time: 175.46 s c =============================================================================== c | 1167 | 2148 7584 154387 | 5000 1148 23 | 21.802 % | c =============================================================================== c New solution: 1436 c Elapsed CPU time: 4.6133 s Remaining CPU time: 175.387 s c =============================================================================== c | 1167 | 2148 7585 156747 | 5000 1148 23 | 21.802 % | c =============================================================================== c New solution: 1435 c Elapsed CPU time: 4.68729 s Remaining CPU time: 175.313 s c =============================================================================== c | 1167 | 2148 7586 159107 | 5000 1148 23 | 21.802 % | c =============================================================================== c New solution: 1434 c Elapsed CPU time: 4.76228 s Remaining CPU time: 175.238 s c =============================================================================== c | 1167 | 2148 7587 161467 | 5000 1148 23 | 21.802 % | c =============================================================================== c New solution: 1433 c Elapsed CPU time: 4.83726 s Remaining CPU time: 175.163 s c =============================================================================== c | 1167 | 2148 7588 163827 | 5000 1148 23 | 21.802 % | c =============================================================================== c New solution: 1432 c Elapsed CPU time: 4.91625 s Remaining CPU time: 175.084 s c =============================================================================== c | 1167 | 2148 7589 166187 | 5000 1148 23 | 21.802 % | c =============================================================================== c New solution: 1431 c Elapsed CPU time: 4.99524 s Remaining CPU time: 175.005 s c =============================================================================== c | 1167 | 2148 7590 168547 | 5000 1148 23 | 21.802 % | c =============================================================================== c New solution: 1430 c Elapsed CPU time: 5.07423 s Remaining CPU time: 174.926 s c =============================================================================== c | 1167 | 2148 7591 170907 | 5000 1148 23 | 21.802 % | c =============================================================================== c New solution: 1429 c Elapsed CPU time: 5.15622 s Remaining CPU time: 174.844 s c =============================================================================== c | 1167 | 2148 7592 173267 | 5000 1148 23 | 21.802 % | c =============================================================================== c New solution: 1428 c Elapsed CPU time: 5.2382 s Remaining CPU time: 174.762 s c =============================================================================== c | 1167 | 2148 7593 175627 | 5000 1148 23 | 21.802 % | c =============================================================================== c New solution: 1427 c Elapsed CPU time: 5.32919 s Remaining CPU time: 174.671 s c =============================================================================== c | 1168 | 2148 7594 177987 | 5000 1149 23 | 21.802 % | c =============================================================================== c New solution: 1426 c Elapsed CPU time: 5.41218 s Remaining CPU time: 174.588 s c =============================================================================== c | 1168 | 2148 7595 180347 | 5000 1149 23 | 21.802 % | c =============================================================================== c New solution: 1425 c Elapsed CPU time: 5.49616 s Remaining CPU time: 174.504 s c =============================================================================== c | 1168 | 2148 7596 182707 | 5000 1149 23 | 21.802 % | c =============================================================================== c New solution: 1424 c Elapsed CPU time: 5.58315 s Remaining CPU time: 174.417 s c =============================================================================== c | 1168 | 2148 7597 185067 | 5000 1149 23 | 21.802 % | c =============================================================================== c New solution: 1423 c Elapsed CPU time: 5.67814 s Remaining CPU time: 174.322 s c =============================================================================== c | 1171 | 2148 7598 187427 | 5000 1152 26 | 21.802 % | c =============================================================================== c New solution: 1422 c Elapsed CPU time: 5.76612 s Remaining CPU time: 174.234 s c =============================================================================== c | 1172 | 2148 7599 189787 | 5000 1153 26 | 21.802 % | c =============================================================================== c New solution: 1421 c Elapsed CPU time: 5.85711 s Remaining CPU time: 174.143 s c =============================================================================== c | 1173 | 2148 7600 192147 | 5000 1154 26 | 21.802 % | c =============================================================================== c New solution: 1420 c Elapsed CPU time: 5.9501 s Remaining CPU time: 174.05 s c =============================================================================== c | 1173 | 2148 7601 194507 | 5000 1154 26 | 21.802 % | c =============================================================================== c New solution: 1419 c Elapsed CPU time: 6.04308 s Remaining CPU time: 173.957 s c =============================================================================== c | 1173 | 2148 7602 196867 | 5000 1154 26 | 21.802 % | c =============================================================================== c New solution: 1418 c Elapsed CPU time: 6.13807 s Remaining CPU time: 173.862 s c =============================================================================== c | 1173 | 2148 7603 199227 | 5000 1154 26 | 21.802 % | c =============================================================================== c New solution: 1417 c Elapsed CPU time: 6.23505 s Remaining CPU time: 173.765 s c =============================================================================== c | 1173 | 2148 7604 201587 | 5000 1154 26 | 21.802 % | c =============================================================================== c New solution: 1416 c Elapsed CPU time: 6.32904 s Remaining CPU time: 173.671 s c =============================================================================== c | 1173 | 2148 7605 203947 | 5000 1154 26 | 21.802 % | c =============================================================================== c New solution: 1415 c Elapsed CPU time: 6.42702 s Remaining CPU time: 173.573 s c =============================================================================== c | 1173 | 2148 7606 206307 | 5000 1154 26 | 21.802 % | c =============================================================================== c New solution: 1414 c Elapsed CPU time: 6.52601 s Remaining CPU time: 173.474 s c =============================================================================== c | 1173 | 2148 7607 208667 | 5000 1154 26 | 21.802 % | c =============================================================================== c New solution: 1413 c Elapsed CPU time: 6.62799 s Remaining CPU time: 173.372 s c =============================================================================== c | 1173 | 2148 7608 211027 | 5000 1154 26 | 21.802 % | c =============================================================================== c New solution: 1412 c Elapsed CPU time: 6.72798 s Remaining CPU time: 173.272 s c =============================================================================== c | 1173 | 2148 7609 213387 | 5000 1154 26 | 21.802 % | c =============================================================================== c New solution: 1411 c Elapsed CPU time: 6.82996 s Remaining CPU time: 173.17 s c =============================================================================== c | 1173 | 2148 7610 215747 | 5000 1154 26 | 21.802 % | c =============================================================================== c New solution: 1410 c Elapsed CPU time: 6.93295 s Remaining CPU time: 173.067 s c =============================================================================== c | 1173 | 2148 7611 218107 | 5000 1154 26 | 21.802 % | c =============================================================================== c New solution: 1409 c Elapsed CPU time: 7.03793 s Remaining CPU time: 172.962 s c =============================================================================== c | 1173 | 2148 7612 220467 | 5000 1154 26 | 21.802 % | c =============================================================================== c New solution: 1408 c Elapsed CPU time: 7.15091 s Remaining CPU time: 172.849 s c =============================================================================== c | 1176 | 2148 7613 222827 | 5000 1157 29 | 21.802 % | c =============================================================================== c New solution: 1407 c Elapsed CPU time: 7.27789 s Remaining CPU time: 172.722 s c =============================================================================== c | 1181 | 2148 7614 225187 | 5000 1162 29 | 21.802 % | c =============================================================================== c New solution: 1406 c Elapsed CPU time: 7.41287 s Remaining CPU time: 172.587 s c =============================================================================== c | 1184 | 2148 7615 227547 | 5000 1165 29 | 21.802 % | c =============================================================================== c New solution: 1405 c Elapsed CPU time: 7.56685 s Remaining CPU time: 172.433 s c =============================================================================== c | 1188 | 2148 7616 229907 | 5000 1169 29 | 21.802 % | c =============================================================================== c New solution: 1404 c Elapsed CPU time: 7.67283 s Remaining CPU time: 172.327 s c =============================================================================== c | 1188 | 2148 7617 232267 | 5000 1169 29 | 21.802 % | c =============================================================================== c New solution: 1403 c Elapsed CPU time: 7.77982 s Remaining CPU time: 172.22 s c =============================================================================== c | 1188 | 2148 7618 234627 | 5000 1169 29 | 21.802 % | c =============================================================================== c New solution: 1402 c Elapsed CPU time: 7.8898 s Remaining CPU time: 172.11 s c =============================================================================== c | 1188 | 2148 7619 236987 | 5000 1169 29 | 21.802 % | c =============================================================================== c New solution: 1401 c Elapsed CPU time: 8.00978 s Remaining CPU time: 171.99 s c =============================================================================== c | 1191 | 2148 7620 239347 | 5000 1172 32 | 21.802 % | c =============================================================================== c New solution: 1400 c Elapsed CPU time: 8.11976 s Remaining CPU time: 171.88 s c =============================================================================== c | 1191 | 2148 7621 241707 | 5000 1172 32 | 21.802 % | c =============================================================================== c New solution: 1399 c Elapsed CPU time: 8.22875 s Remaining CPU time: 171.771 s c =============================================================================== c | 1192 | 2148 7622 244067 | 5000 1173 32 | 21.802 % | c | 1292 | 2148 7622 244067 | 5500 1273 32 | 21.948 % | c =============================================================================== c New solution: 1398 c Elapsed CPU time: 9.70952 s Remaining CPU time: 170.29 s c =============================================================================== c | 1344 | 2148 7623 246427 | 5000 1325 32 | 21.948 % | c =============================================================================== c New solution: 1397 c Elapsed CPU time: 10.1335 s Remaining CPU time: 169.867 s c =============================================================================== c | 1385 | 2148 7624 248787 | 5000 1366 33 | 21.948 % | c =============================================================================== c New solution: 1396 c Elapsed CPU time: 10.3624 s Remaining CPU time: 169.638 s c =============================================================================== c | 1391 | 2148 7625 251147 | 5000 1372 33 | 21.948 % | c =============================================================================== c New solution: 1395 c Elapsed CPU time: 10.4874 s Remaining CPU time: 169.513 s c =============================================================================== c | 1392 | 2148 7626 253507 | 5000 1373 33 | 21.948 % | c =============================================================================== c New solution: 1394 c Elapsed CPU time: 10.6094 s Remaining CPU time: 169.391 s c =============================================================================== c | 1392 | 2148 7627 255867 | 5000 1373 33 | 21.948 % | c =============================================================================== c New solution: 1393 c Elapsed CPU time: 10.7334 s Remaining CPU time: 169.267 s c =============================================================================== c | 1392 | 2148 7628 258227 | 5000 1373 33 | 21.948 % | c =============================================================================== c New solution: 1392 c Elapsed CPU time: 10.8553 s Remaining CPU time: 169.145 s c =============================================================================== c | 1392 | 2148 7629 260587 | 5000 1373 33 | 21.948 % | c =============================================================================== c New solution: 1391 c Elapsed CPU time: 10.9783 s Remaining CPU time: 169.022 s c =============================================================================== c | 1392 | 2148 7630 262947 | 5000 1373 33 | 21.948 % | c =============================================================================== c New solution: 1390 c Elapsed CPU time: 11.1013 s Remaining CPU time: 168.899 s c =============================================================================== c | 1392 | 2148 7631 265307 | 5000 1373 33 | 21.948 % | c =============================================================================== c New solution: 1389 c Elapsed CPU time: 11.2303 s Remaining CPU time: 168.77 s c =============================================================================== c | 1392 | 2148 7632 267667 | 5000 1373 33 | 21.948 % | c =============================================================================== c New solution: 1388 c Elapsed CPU time: 11.3593 s Remaining CPU time: 168.641 s c =============================================================================== c | 1392 | 2148 7633 270027 | 5000 1373 33 | 21.948 % | c =============================================================================== c New solution: 1387 c Elapsed CPU time: 11.4833 s Remaining CPU time: 168.517 s c =============================================================================== c | 1392 | 2148 7634 272387 | 5000 1373 33 | 21.948 % | c =============================================================================== c New solution: 1386 c Elapsed CPU time: 11.6122 s Remaining CPU time: 168.388 s c =============================================================================== c | 1392 | 2148 7635 274747 | 5000 1373 33 | 21.948 % | c =============================================================================== c New solution: 1385 c Elapsed CPU time: 11.7472 s Remaining CPU time: 168.253 s c =============================================================================== c | 1392 | 2148 7636 277107 | 5000 1373 33 | 21.948 % | c =============================================================================== c New solution: 1384 c Elapsed CPU time: 11.8812 s Remaining CPU time: 168.119 s c =============================================================================== c | 1392 | 2148 7637 279467 | 5000 1373 33 | 21.948 % | c =============================================================================== c New solution: 1383 c Elapsed CPU time: 12.0312 s Remaining CPU time: 167.969 s c =============================================================================== c | 1397 | 2148 7638 281827 | 5000 1378 35 | 21.948 % | c =============================================================================== c New solution: 1382 c Elapsed CPU time: 12.1652 s Remaining CPU time: 167.835 s c =============================================================================== c | 1398 | 2148 7639 284187 | 5000 1379 35 | 21.948 % | c =============================================================================== c New solution: 1381 c Elapsed CPU time: 12.3231 s Remaining CPU time: 167.677 s c =============================================================================== c | 1401 | 2148 7640 286547 | 5000 1382 35 | 21.948 % | c =============================================================================== c New solution: 1380 c Elapsed CPU time: 12.4511 s Remaining CPU time: 167.549 s c =============================================================================== c | 1401 | 2148 7641 288907 | 5000 1382 35 | 21.948 % | c =============================================================================== c New solution: 1379 c Elapsed CPU time: 12.5781 s Remaining CPU time: 167.422 s c =============================================================================== c | 1401 | 2148 7642 291267 | 5000 1382 35 | 21.948 % | c =============================================================================== c New solution: 1378 c Elapsed CPU time: 12.7031 s Remaining CPU time: 167.297 s c =============================================================================== c | 1401 | 2148 7643 293627 | 5000 1382 35 | 21.948 % | c =============================================================================== c New solution: 1377 c Elapsed CPU time: 12.835 s Remaining CPU time: 167.165 s c =============================================================================== c | 1401 | 2148 7644 295987 | 5000 1382 35 | 21.948 % | c =============================================================================== c New solution: 1376 c Elapsed CPU time: 12.967 s Remaining CPU time: 167.033 s c =============================================================================== c | 1401 | 2148 7645 298347 | 5000 1382 35 | 21.948 % | c =============================================================================== c New solution: 1375 c Elapsed CPU time: 13.108 s Remaining CPU time: 166.892 s c =============================================================================== c | 1404 | 2148 7646 300707 | 5000 1385 38 | 21.948 % | c =============================================================================== c New solution: 1374 c Elapsed CPU time: 13.359 s Remaining CPU time: 166.641 s c =============================================================================== c | 1414 | 2148 7647 303067 | 5000 1395 38 | 21.948 % | c =============================================================================== c New solution: 1373 c Elapsed CPU time: 13.4989 s Remaining CPU time: 166.501 s c =============================================================================== c | 1415 | 2148 7648 305427 | 5000 1396 38 | 21.948 % | c =============================================================================== c New solution: 1372 c Elapsed CPU time: 13.6329 s Remaining CPU time: 166.367 s c =============================================================================== c | 1415 | 2148 7649 307787 | 5000 1396 38 | 21.948 % | c =============================================================================== c New solution: 1371 c Elapsed CPU time: 13.7649 s Remaining CPU time: 166.235 s c =============================================================================== c | 1415 | 2148 7650 310147 | 5000 1396 38 | 21.948 % | c =============================================================================== c New solution: 1370 c Elapsed CPU time: 13.8979 s Remaining CPU time: 166.102 s c =============================================================================== c | 1415 | 2148 7651 312507 | 5000 1396 38 | 21.948 % | c =============================================================================== c New solution: 1369 c Elapsed CPU time: 14.0309 s Remaining CPU time: 165.969 s c =============================================================================== c | 1415 | 2148 7652 314867 | 5000 1396 38 | 21.948 % | c =============================================================================== c New solution: 1368 c Elapsed CPU time: 14.1678 s Remaining CPU time: 165.832 s c =============================================================================== c | 1415 | 2148 7653 317227 | 5000 1396 38 | 21.948 % | c =============================================================================== c New solution: 1367 c Elapsed CPU time: 14.3018 s Remaining CPU time: 165.698 s c =============================================================================== c | 1415 | 2148 7654 319587 | 5000 1396 38 | 21.948 % | c =============================================================================== c New solution: 1366 c Elapsed CPU time: 14.4418 s Remaining CPU time: 165.558 s c =============================================================================== c | 1415 | 2148 7655 321947 | 5000 1396 38 | 21.948 % | c =============================================================================== c New solution: 1365 c Elapsed CPU time: 14.5918 s Remaining CPU time: 165.408 s c =============================================================================== c | 1418 | 2148 7656 324307 | 5000 1399 40 | 21.948 % | c =============================================================================== c New solution: 1364 c Elapsed CPU time: 15.1277 s Remaining CPU time: 164.872 s c =============================================================================== c | 1459 | 2148 7657 326667 | 5000 1440 40 | 21.948 % | c =============================================================================== c New solution: 1363 c Elapsed CPU time: 15.2837 s Remaining CPU time: 164.716 s c =============================================================================== c | 1461 | 2148 7658 329027 | 5000 1442 40 | 21.948 % | c =============================================================================== c New solution: 1362 c Elapsed CPU time: 15.4277 s Remaining CPU time: 164.572 s c =============================================================================== c | 1462 | 2148 7659 331387 | 5000 1443 40 | 21.948 % | c =============================================================================== c New solution: 1361 c Elapsed CPU time: 15.5786 s Remaining CPU time: 164.421 s c =============================================================================== c | 1465 | 2148 7660 333747 | 5000 1446 42 | 21.948 % | c =============================================================================== c New solution: 1360 c Elapsed CPU time: 15.7296 s Remaining CPU time: 164.27 s c =============================================================================== c | 1466 | 2148 7661 336107 | 5000 1447 42 | 21.948 % | c =============================================================================== c New solution: 1359 c Elapsed CPU time: 15.8716 s Remaining CPU time: 164.128 s c =============================================================================== c | 1466 | 2148 7662 338467 | 5000 1447 42 | 21.948 % | c =============================================================================== c New solution: 1358 c Elapsed CPU time: 16.0176 s Remaining CPU time: 163.982 s c =============================================================================== c | 1466 | 2148 7663 340827 | 5000 1447 42 | 21.948 % | c =============================================================================== c New solution: 1357 c Elapsed CPU time: 16.1615 s Remaining CPU time: 163.838 s c =============================================================================== c | 1466 | 2148 7664 343187 | 5000 1447 42 | 21.948 % | c =============================================================================== c New solution: 1356 c Elapsed CPU time: 16.3095 s Remaining CPU time: 163.69 s c =============================================================================== c | 1466 | 2148 7665 345547 | 5000 1447 42 | 21.948 % | c =============================================================================== c New solution: 1355 c Elapsed CPU time: 16.4575 s Remaining CPU time: 163.543 s c =============================================================================== c | 1466 | 2148 7666 347907 | 5000 1447 42 | 21.948 % | c =============================================================================== c New solution: 1354 c Elapsed CPU time: 16.6045 s Remaining CPU time: 163.396 s c =============================================================================== c | 1466 | 2148 7667 350267 | 5000 1447 42 | 21.948 % | c =============================================================================== c New solution: 1353 c Elapsed CPU time: 16.7515 s Remaining CPU time: 163.249 s c =============================================================================== c | 1466 | 2148 7668 352627 | 5000 1447 42 | 21.948 % | c =============================================================================== c New solution: 1352 c Elapsed CPU time: 16.9034 s Remaining CPU time: 163.097 s c =============================================================================== c | 1466 | 2148 7669 354987 | 5000 1447 42 | 21.948 % | c =============================================================================== c New solution: 1351 c Elapsed CPU time: 17.0534 s Remaining CPU time: 162.947 s c =============================================================================== c | 1466 | 2148 7670 357347 | 5000 1447 42 | 21.948 % | c =============================================================================== c New solution: 1350 c Elapsed CPU time: 17.2074 s Remaining CPU time: 162.793 s c =============================================================================== c | 1466 | 2148 7671 359707 | 5000 1447 42 | 21.948 % | c =============================================================================== c New solution: 1349 c Elapsed CPU time: 17.3584 s Remaining CPU time: 162.642 s c =============================================================================== c | 1466 | 2148 7672 362067 | 5000 1447 42 | 21.948 % | c =============================================================================== c New solution: 1348 c Elapsed CPU time: 17.5143 s Remaining CPU time: 162.486 s c =============================================================================== c | 1466 | 2148 7673 364427 | 5000 1447 42 | 21.948 % | c =============================================================================== c New solution: 1347 c Elapsed CPU time: 17.6683 s Remaining CPU time: 162.332 s c =============================================================================== c | 1466 | 2148 7674 366787 | 5000 1447 42 | 21.948 % | c =============================================================================== c New solution: 1346 c Elapsed CPU time: 17.8243 s Remaining CPU time: 162.176 s c =============================================================================== c | 1466 | 2148 7675 369147 | 5000 1447 42 | 21.948 % | c =============================================================================== c New solution: 1345 c Elapsed CPU time: 17.9793 s Remaining CPU time: 162.021 s c =============================================================================== c | 1466 | 2148 7676 371507 | 5000 1447 42 | 21.948 % | c =============================================================================== c New solution: 1344 c Elapsed CPU time: 18.1372 s Remaining CPU time: 161.863 s c =============================================================================== c | 1466 | 2148 7677 373867 | 5000 1447 42 | 21.948 % | c =============================================================================== c New solution: 1343 c Elapsed CPU time: 19.436 s Remaining CPU time: 160.564 s c =============================================================================== c | 1547 | 2148 7678 376227 | 5000 1528 42 | 21.948 % | c =============================================================================== c New solution: 1342 c Elapsed CPU time: 20.5699 s Remaining CPU time: 159.43 s c =============================================================================== c | 1607 | 2148 7679 378587 | 5000 1588 42 | 21.948 % | c =============================================================================== c New solution: 1341 c Elapsed CPU time: 20.7758 s Remaining CPU time: 159.224 s c =============================================================================== c | 1609 | 2148 7680 380947 | 5000 1590 42 | 21.948 % | c =============================================================================== c New solution: 1340 c Elapsed CPU time: 20.9598 s Remaining CPU time: 159.04 s c =============================================================================== c | 1609 | 2148 7681 383307 | 5000 1590 42 | 21.948 % | c =============================================================================== c New solution: 1339 c Elapsed CPU time: 21.1478 s Remaining CPU time: 158.852 s c =============================================================================== c | 1609 | 2148 7682 385667 | 5000 1590 42 | 21.948 % | c =============================================================================== c New solution: 1338 c Elapsed CPU time: 21.3348 s Remaining CPU time: 158.665 s c =============================================================================== c | 1609 | 2148 7683 388027 | 5000 1590 42 | 21.948 % | c =============================================================================== c New solution: 1337 c Elapsed CPU time: 21.5257 s Remaining CPU time: 158.474 s c =============================================================================== c | 1609 | 2148 7684 390387 | 5000 1590 42 | 21.948 % | c =============================================================================== c New solution: 1336 c Elapsed CPU time: 21.7127 s Remaining CPU time: 158.287 s c =============================================================================== c | 1609 | 2148 7685 392747 | 5000 1590 42 | 21.948 % | c =============================================================================== c New solution: 1335 c Elapsed CPU time: 21.9037 s Remaining CPU time: 158.096 s c =============================================================================== c | 1609 | 2148 7686 395107 | 5000 1590 42 | 21.948 % | c =============================================================================== c New solution: 1334 c Elapsed CPU time: 22.0926 s Remaining CPU time: 157.907 s c =============================================================================== c | 1609 | 2148 7687 397467 | 5000 1590 42 | 21.948 % | c =============================================================================== c New solution: 1333 c Elapsed CPU time: 22.2856 s Remaining CPU time: 157.714 s c =============================================================================== c | 1609 | 2148 7688 399827 | 5000 1590 42 | 21.948 % | c =============================================================================== c New solution: 1332 c Elapsed CPU time: 22.4766 s Remaining CPU time: 157.523 s c =============================================================================== c | 1609 | 2148 7689 402187 | 5000 1590 42 | 21.948 % | c =============================================================================== c New solution: 1331 c Elapsed CPU time: 22.6726 s Remaining CPU time: 157.327 s c =============================================================================== c | 1609 | 2148 7690 404547 | 5000 1590 42 | 21.948 % | c =============================================================================== c New solution: 1330 c Elapsed CPU time: 22.8755 s Remaining CPU time: 157.124 s c =============================================================================== c | 1611 | 2148 7691 406907 | 5000 1592 44 | 21.948 % | c =============================================================================== c New solution: 1329 c Elapsed CPU time: 23.0695 s Remaining CPU time: 156.931 s c =============================================================================== c | 1611 | 2148 7692 409267 | 5000 1592 44 | 21.948 % | c =============================================================================== c New solution: 1328 c Elapsed CPU time: 23.2635 s Remaining CPU time: 156.737 s c =============================================================================== c | 1611 | 2148 7693 411627 | 5000 1592 44 | 21.948 % | c =============================================================================== c New solution: 1327 c Elapsed CPU time: 23.4594 s Remaining CPU time: 156.541 s c =============================================================================== c | 1611 | 2148 7694 413987 | 5000 1592 44 | 21.948 % | c =============================================================================== c New solution: 1326 c Elapsed CPU time: 23.6564 s Remaining CPU time: 156.344 s c =============================================================================== c | 1611 | 2148 7695 416347 | 5000 1592 44 | 21.948 % | c =============================================================================== c New solution: 1325 c Elapsed CPU time: 23.8544 s Remaining CPU time: 156.146 s c =============================================================================== c | 1611 | 2148 7696 418707 | 5000 1592 44 | 21.948 % | c =============================================================================== c New solution: 1324 c Elapsed CPU time: 24.0523 s Remaining CPU time: 155.948 s c =============================================================================== c | 1611 | 2148 7697 421067 | 5000 1592 44 | 21.948 % | c =============================================================================== c New solution: 1323 c Elapsed CPU time: 24.2483 s Remaining CPU time: 155.752 s c =============================================================================== c | 1611 | 2148 7698 423427 | 5000 1592 44 | 21.948 % | c =============================================================================== c New solution: 1322 c Elapsed CPU time: 24.4463 s Remaining CPU time: 155.554 s c =============================================================================== c | 1611 | 2148 7699 425787 | 5000 1592 44 | 21.948 % | c | 1712 | 2148 7699 425787 | 5500 1693 44 | 21.948 % | c =============================================================================== c New solution: 1321 c Elapsed CPU time: 26.043 s Remaining CPU time: 153.957 s c =============================================================================== c | 1715 | 2148 7700 428147 | 5000 1696 44 | 21.948 % | c =============================================================================== c New solution: 1320 c Elapsed CPU time: 26.228 s Remaining CPU time: 153.772 s c =============================================================================== c | 1718 | 2148 7701 430507 | 5000 1699 46 | 21.948 % | c =============================================================================== c New solution: 1319 c Elapsed CPU time: 26.407 s Remaining CPU time: 153.593 s c =============================================================================== c | 1720 | 2148 7702 432867 | 5000 1701 46 | 21.948 % | c =============================================================================== c New solution: 1318 c Elapsed CPU time: 26.595 s Remaining CPU time: 153.405 s c =============================================================================== c | 1723 | 2148 7703 435227 | 5000 1704 48 | 21.948 % | c =============================================================================== c New solution: 1317 c Elapsed CPU time: 26.7709 s Remaining CPU time: 153.229 s c =============================================================================== c | 1723 | 2148 7704 437587 | 5000 1704 48 | 21.948 % | c =============================================================================== c New solution: 1316 c Elapsed CPU time: 27.6738 s Remaining CPU time: 152.326 s c =============================================================================== c | 1760 | 2148 7705 439947 | 5000 1741 48 | 21.948 % | c =============================================================================== c New solution: 1315 c Elapsed CPU time: 27.8488 s Remaining CPU time: 152.151 s c =============================================================================== c | 1760 | 2148 7706 442307 | 5000 1741 48 | 21.948 % | c =============================================================================== c New solution: 1314 c Elapsed CPU time: 28.0217 s Remaining CPU time: 151.978 s c =============================================================================== c | 1760 | 2148 7707 444667 | 5000 1741 48 | 21.948 % | c =============================================================================== c New solution: 1313 c Elapsed CPU time: 28.1967 s Remaining CPU time: 151.803 s c =============================================================================== c | 1760 | 2148 7708 447027 | 5000 1741 48 | 21.948 % | c =============================================================================== c New solution: 1312 c Elapsed CPU time: 28.3727 s Remaining CPU time: 151.627 s c =============================================================================== c | 1760 | 2148 7709 449387 | 5000 1741 48 | 21.948 % | c =============================================================================== c New solution: 1311 c Elapsed CPU time: 28.5517 s Remaining CPU time: 151.448 s c =============================================================================== c | 1760 | 2148 7710 451747 | 5000 1741 48 | 21.948 % | c =============================================================================== c New solution: 1310 c Elapsed CPU time: 28.7286 s Remaining CPU time: 151.271 s c =============================================================================== c | 1760 | 2148 7711 454107 | 5000 1741 48 | 21.948 % | c =============================================================================== c New solution: 1309 c Elapsed CPU time: 28.9066 s Remaining CPU time: 151.093 s c =============================================================================== c | 1760 | 2148 7712 456467 | 5000 1741 48 | 21.948 % | c =============================================================================== c New solution: 1308 c Elapsed CPU time: 29.0836 s Remaining CPU time: 150.916 s c =============================================================================== c | 1760 | 2148 7713 458827 | 5000 1741 48 | 21.948 % | c =============================================================================== c New solution: 1307 c Elapsed CPU time: 29.2636 s Remaining CPU time: 150.736 s c =============================================================================== c | 1760 | 2148 7714 461187 | 5000 1741 48 | 21.948 % | c =============================================================================== c New solution: 1306 c Elapsed CPU time: 29.4425 s Remaining CPU time: 150.557 s c =============================================================================== c | 1760 | 2148 7715 463547 | 5000 1741 48 | 21.948 % | c =============================================================================== c New solution: 1305 c Elapsed CPU time: 29.6235 s Remaining CPU time: 150.377 s c =============================================================================== c | 1760 | 2148 7716 465907 | 5000 1741 48 | 21.948 % | c =============================================================================== c New solution: 1304 c Elapsed CPU time: 29.8435 s Remaining CPU time: 150.157 s c =============================================================================== c | 1762 | 2148 7717 468267 | 5000 1743 48 | 21.948 % | c =============================================================================== c New solution: 1303 c Elapsed CPU time: 30.0294 s Remaining CPU time: 149.971 s c =============================================================================== c | 1763 | 2148 7718 470627 | 5000 1744 48 | 21.948 % | c =============================================================================== c New solution: 1302 c Elapsed CPU time: 30.2074 s Remaining CPU time: 149.793 s c =============================================================================== c | 1763 | 2148 7719 472987 | 5000 1744 48 | 21.948 % | c =============================================================================== c New solution: 1301 c Elapsed CPU time: 30.3854 s Remaining CPU time: 149.615 s c =============================================================================== c | 1763 | 2148 7720 475347 | 5000 1744 48 | 21.948 % | c =============================================================================== c New solution: 1300 c Elapsed CPU time: 30.5784 s Remaining CPU time: 149.422 s c =============================================================================== c | 1766 | 2148 7721 477707 | 5000 1747 50 | 21.948 % | c =============================================================================== c New solution: 1299 c Elapsed CPU time: 30.7573 s Remaining CPU time: 149.243 s c =============================================================================== c | 1766 | 2148 7722 480067 | 5000 1747 50 | 21.948 % | c =============================================================================== c New solution: 1298 c Elapsed CPU time: 30.9483 s Remaining CPU time: 149.052 s c =============================================================================== c | 1769 | 2148 7723 482427 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1297 c Elapsed CPU time: 31.1273 s Remaining CPU time: 148.873 s c =============================================================================== c | 1769 | 2148 7724 484787 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1296 c Elapsed CPU time: 31.3072 s Remaining CPU time: 148.693 s c =============================================================================== c | 1769 | 2148 7725 487147 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1295 c Elapsed CPU time: 31.4872 s Remaining CPU time: 148.513 s c =============================================================================== c | 1769 | 2148 7726 489507 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1294 c Elapsed CPU time: 31.6682 s Remaining CPU time: 148.332 s c =============================================================================== c | 1769 | 2148 7727 491867 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1293 c Elapsed CPU time: 31.8492 s Remaining CPU time: 148.151 s c =============================================================================== c | 1769 | 2148 7728 494227 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1292 c Elapsed CPU time: 32.0301 s Remaining CPU time: 147.97 s c =============================================================================== c | 1769 | 2148 7729 496587 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1291 c Elapsed CPU time: 32.2121 s Remaining CPU time: 147.788 s c =============================================================================== c | 1769 | 2148 7730 498947 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1290 c Elapsed CPU time: 32.3941 s Remaining CPU time: 147.606 s c =============================================================================== c | 1769 | 2148 7731 501307 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1289 c Elapsed CPU time: 32.578 s Remaining CPU time: 147.422 s c =============================================================================== c | 1769 | 2148 7732 503667 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1288 c Elapsed CPU time: 32.761 s Remaining CPU time: 147.239 s c =============================================================================== c | 1769 | 2148 7733 506027 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1287 c Elapsed CPU time: 32.943 s Remaining CPU time: 147.057 s c =============================================================================== c | 1769 | 2148 7734 508387 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1286 c Elapsed CPU time: 33.127 s Remaining CPU time: 146.873 s c =============================================================================== c | 1769 | 2148 7735 510747 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1285 c Elapsed CPU time: 33.3139 s Remaining CPU time: 146.686 s c =============================================================================== c | 1769 | 2148 7736 513107 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1284 c Elapsed CPU time: 33.4989 s Remaining CPU time: 146.501 s c =============================================================================== c | 1769 | 2148 7737 515467 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1283 c Elapsed CPU time: 33.6859 s Remaining CPU time: 146.314 s c =============================================================================== c | 1769 | 2148 7738 517827 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1282 c Elapsed CPU time: 33.8708 s Remaining CPU time: 146.129 s c =============================================================================== c | 1769 | 2148 7739 520187 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1281 c Elapsed CPU time: 34.0568 s Remaining CPU time: 145.943 s c =============================================================================== c | 1769 | 2148 7740 522547 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1280 c Elapsed CPU time: 34.2428 s Remaining CPU time: 145.757 s c =============================================================================== c | 1769 | 2148 7741 524907 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1279 c Elapsed CPU time: 34.4288 s Remaining CPU time: 145.571 s c =============================================================================== c | 1769 | 2148 7742 527267 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1278 c Elapsed CPU time: 34.6167 s Remaining CPU time: 145.383 s c =============================================================================== c | 1769 | 2148 7743 529627 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1277 c Elapsed CPU time: 34.8047 s Remaining CPU time: 145.195 s c =============================================================================== c | 1769 | 2148 7744 531987 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1276 c Elapsed CPU time: 34.9907 s Remaining CPU time: 145.009 s c =============================================================================== c | 1769 | 2148 7745 534347 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1275 c Elapsed CPU time: 35.1787 s Remaining CPU time: 144.821 s c =============================================================================== c | 1769 | 2148 7746 536707 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1274 c Elapsed CPU time: 35.3656 s Remaining CPU time: 144.634 s c =============================================================================== c | 1769 | 2148 7747 539067 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1273 c Elapsed CPU time: 35.5556 s Remaining CPU time: 144.444 s c =============================================================================== c | 1769 | 2148 7748 541427 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1272 c Elapsed CPU time: 35.7426 s Remaining CPU time: 144.257 s c =============================================================================== c | 1769 | 2148 7749 543787 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1271 c Elapsed CPU time: 35.9285 s Remaining CPU time: 144.071 s c =============================================================================== c | 1769 | 2148 7750 546147 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1270 c Elapsed CPU time: 36.1165 s Remaining CPU time: 143.883 s c =============================================================================== c | 1769 | 2148 7751 548507 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1269 c Elapsed CPU time: 36.3055 s Remaining CPU time: 143.695 s c =============================================================================== c | 1769 | 2148 7752 550867 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1268 c Elapsed CPU time: 36.4945 s Remaining CPU time: 143.506 s c =============================================================================== c | 1769 | 2148 7753 553227 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1267 c Elapsed CPU time: 36.6834 s Remaining CPU time: 143.317 s c =============================================================================== c | 1769 | 2148 7754 555587 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1266 c Elapsed CPU time: 36.8734 s Remaining CPU time: 143.127 s c =============================================================================== c | 1769 | 2148 7755 557947 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1265 c Elapsed CPU time: 37.0614 s Remaining CPU time: 142.939 s c =============================================================================== c | 1769 | 2148 7756 560307 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1264 c Elapsed CPU time: 37.2523 s Remaining CPU time: 142.748 s c =============================================================================== c | 1769 | 2148 7757 562667 | 5000 1750 52 | 21.948 % | c =============================================================================== c New solution: 1263 c Elapsed CPU time: 37.4423 s Remaining CPU time: 142.558 s c =============================================================================== c | 1769 | 2148 7758 565027 | 5000 1750 52 | 21.948 % | c | 1869 | 2148 7758 565027 | 5500 1850 51 | 21.948 % | c =============================================================================== c New solution: 1262 c Elapsed CPU time: 40.1919 s Remaining CPU time: 139.808 s c =============================================================================== c | 1873 | 2148 7759 567387 | 5000 1854 51 | 21.948 % | c =============================================================================== c New solution: 1261 c Elapsed CPU time: 40.3919 s Remaining CPU time: 139.608 s c =============================================================================== c | 1873 | 2148 7760 569747 | 5000 1854 51 | 21.948 % | c =============================================================================== c New solution: 1260 c Elapsed CPU time: 40.5908 s Remaining CPU time: 139.409 s c =============================================================================== c | 1873 | 2148 7761 572107 | 5000 1854 51 | 21.948 % | c =============================================================================== c New solution: 1259 c Elapsed CPU time: 40.7908 s Remaining CPU time: 139.209 s c =============================================================================== c | 1873 | 2148 7762 574467 | 5000 1854 51 | 21.948 % | c =============================================================================== c New solution: 1258 c Elapsed CPU time: 40.9898 s Remaining CPU time: 139.01 s c =============================================================================== c | 1873 | 2148 7763 576827 | 5000 1854 51 | 21.948 % | c =============================================================================== c New solution: 1257 c Elapsed CPU time: 41.2167 s Remaining CPU time: 138.783 s c =============================================================================== c | 1874 | 2147 7764 579187 | 5000 1854 51 | 21.948 % | c =============================================================================== c New solution: 1256 c Elapsed CPU time: 41.4167 s Remaining CPU time: 138.583 s c =============================================================================== c | 1874 | 2147 7765 581547 | 5000 1854 51 | 21.948 % | c =============================================================================== c New solution: 1255 c Elapsed CPU time: 41.6187 s Remaining CPU time: 138.381 s c =============================================================================== c | 1874 | 2147 7766 583907 | 5000 1854 51 | 21.948 % | c =============================================================================== c New solution: 1254 c Elapsed CPU time: 41.9406 s Remaining CPU time: 138.059 s c =============================================================================== c | 1882 | 2147 7767 586267 | 5000 1862 53 | 21.948 % | c =============================================================================== c New solution: 1253 c Elapsed CPU time: 42.2046 s Remaining CPU time: 137.795 s c =============================================================================== c | 1886 | 2147 7768 588627 | 5000 1866 54 | 21.948 % | c =============================================================================== c New solution: 1252 c Elapsed CPU time: 42.4705 s Remaining CPU time: 137.529 s c =============================================================================== c | 1892 | 2147 7769 590987 | 5000 1872 55 | 21.948 % | c =============================================================================== c New solution: 1251 c Elapsed CPU time: 43.1394 s Remaining CPU time: 136.861 s c =============================================================================== c | 1926 | 2147 7770 593347 | 5000 1906 55 | 21.948 % | c =============================================================================== c New solution: 1250 c Elapsed CPU time: 43.3674 s Remaining CPU time: 136.633 s c =============================================================================== c | 1928 | 2147 7771 595707 | 5000 1908 55 | 21.948 % | c =============================================================================== c New solution: 1249 c Elapsed CPU time: 43.5824 s Remaining CPU time: 136.418 s c =============================================================================== c | 1928 | 2147 7772 598067 | 5000 1908 55 | 21.948 % | c =============================================================================== c New solution: 1248 c Elapsed CPU time: 43.7963 s Remaining CPU time: 136.204 s c =============================================================================== c | 1928 | 2147 7773 600427 | 5000 1908 55 | 21.948 % | c =============================================================================== c New solution: 1247 c Elapsed CPU time: 44.0093 s Remaining CPU time: 135.991 s c =============================================================================== c | 1928 | 2147 7774 602787 | 5000 1908 55 | 21.948 % | c =============================================================================== c New solution: 1246 c Elapsed CPU time: 44.2243 s Remaining CPU time: 135.776 s c =============================================================================== c | 1928 | 2147 7775 605147 | 5000 1908 55 | 21.948 % | c =============================================================================== c New solution: 1245 c Elapsed CPU time: 46.172 s Remaining CPU time: 133.828 s c =============================================================================== c | 2013 | 2147 7776 607507 | 5000 1993 54 | 21.948 % | c =============================================================================== c New solution: 1244 c Elapsed CPU time: 46.6449 s Remaining CPU time: 133.355 s c =============================================================================== c | 2022 | 2147 7777 609867 | 5000 2002 54 | 21.948 % | c =============================================================================== c New solution: 1243 c Elapsed CPU time: 46.9109 s Remaining CPU time: 133.089 s c =============================================================================== c | 2029 | 2147 7778 612227 | 5000 2009 54 | 21.948 % | c =============================================================================== c New solution: 1242 c Elapsed CPU time: 47.1468 s Remaining CPU time: 132.853 s c =============================================================================== c | 2031 | 2147 7779 614587 | 5000 2011 54 | 21.948 % | c =============================================================================== c New solution: 1241 c Elapsed CPU time: 47.3418 s Remaining CPU time: 132.658 s c =============================================================================== c | 2031 | 2147 7780 616947 | 5000 2011 54 | 21.948 % | c =============================================================================== c New solution: 1240 c Elapsed CPU time: 47.5368 s Remaining CPU time: 132.463 s c =============================================================================== c | 2031 | 2147 7781 619307 | 5000 2011 54 | 21.948 % | c =============================================================================== c New solution: 1239 c Elapsed CPU time: 47.7327 s Remaining CPU time: 132.267 s c =============================================================================== c | 2031 | 2147 7782 621667 | 5000 2011 54 | 21.948 % | c =============================================================================== c New solution: 1238 c Elapsed CPU time: 47.9277 s Remaining CPU time: 132.072 s c =============================================================================== c | 2031 | 2147 7783 624027 | 5000 2011 54 | 21.948 % | c =============================================================================== c New solution: 1237 c Elapsed CPU time: 48.1237 s Remaining CPU time: 131.876 s c =============================================================================== c | 2031 | 2147 7784 626387 | 5000 2011 54 | 21.948 % | c =============================================================================== c New solution: 1236 c Elapsed CPU time: 48.3197 s Remaining CPU time: 131.68 s c =============================================================================== c | 2031 | 2147 7785 628747 | 5000 2011 54 | 21.948 % | c =============================================================================== c New solution: 1235 c Elapsed CPU time: 48.5176 s Remaining CPU time: 131.482 s c =============================================================================== c | 2031 | 2147 7786 631107 | 5000 2011 54 | 21.948 % | c =============================================================================== c New solution: 1234 c Elapsed CPU time: 48.7286 s Remaining CPU time: 131.271 s c =============================================================================== c | 2033 | 2147 7787 633467 | 5000 2013 55 | 21.948 % | c =============================================================================== c New solution: 1233 c Elapsed CPU time: 48.9406 s Remaining CPU time: 131.059 s c =============================================================================== c | 2036 | 2147 7788 635827 | 5000 2016 56 | 21.948 % | c =============================================================================== c New solution: 1232 c Elapsed CPU time: 49.1715 s Remaining CPU time: 130.828 s c =============================================================================== c | 2039 | 2147 7789 638187 | 5000 2019 57 | 21.948 % | c =============================================================================== c New solution: 1231 c Elapsed CPU time: 49.4835 s Remaining CPU time: 130.517 s c =============================================================================== c | 2043 | 2147 7790 640547 | 5000 2023 58 | 21.948 % | c =============================================================================== c New solution: 1230 c Elapsed CPU time: 49.7014 s Remaining CPU time: 130.299 s c =============================================================================== c | 2045 | 2147 7791 642907 | 5000 2025 59 | 21.948 % | c =============================================================================== c New solution: 1229 c Elapsed CPU time: 49.9194 s Remaining CPU time: 130.081 s c =============================================================================== c | 2048 | 2147 7792 645267 | 5000 2028 61 | 21.948 % | c =============================================================================== c New solution: 1228 c Elapsed CPU time: 50.1374 s Remaining CPU time: 129.863 s c =============================================================================== c | 2050 | 2147 7793 647627 | 5000 2030 62 | 21.948 % | c =============================================================================== c New solution: 1227 c Elapsed CPU time: 50.3563 s Remaining CPU time: 129.644 s c =============================================================================== c | 2052 | 2147 7794 649987 | 5000 2032 63 | 21.948 % | c =============================================================================== c New solution: 1226 c Elapsed CPU time: 50.5753 s Remaining CPU time: 129.425 s c =============================================================================== c | 2055 | 2147 7795 652347 | 5000 2035 64 | 21.948 % | c =============================================================================== c New solution: 1225 c Elapsed CPU time: 50.7933 s Remaining CPU time: 129.207 s c =============================================================================== c | 2057 | 2147 7796 654707 | 5000 2037 65 | 21.948 % | c =============================================================================== c New solution: 1224 c Elapsed CPU time: 51.0122 s Remaining CPU time: 128.988 s c =============================================================================== c | 2059 | 2147 7797 657067 | 5000 2039 66 | 21.948 % | c =============================================================================== c New solution: 1223 c Elapsed CPU time: 51.2302 s Remaining CPU time: 128.77 s c =============================================================================== c | 2061 | 2147 7798 659427 | 5000 2041 67 | 21.948 % | c =============================================================================== c New solution: 1222 c Elapsed CPU time: 51.4492 s Remaining CPU time: 128.551 s c =============================================================================== c | 2063 | 2147 7799 661787 | 5000 2043 68 | 21.948 % | c =============================================================================== c New solution: 1221 c Elapsed CPU time: 51.6691 s Remaining CPU time: 128.331 s c =============================================================================== c | 2065 | 2147 7800 664147 | 5000 2045 69 | 21.948 % | c =============================================================================== c New solution: 1220 c Elapsed CPU time: 51.8881 s Remaining CPU time: 128.112 s c =============================================================================== c | 2067 | 2147 7801 666507 | 5000 2047 70 | 21.948 % | c =============================================================================== c New solution: 1219 c Elapsed CPU time: 52.1061 s Remaining CPU time: 127.894 s c =============================================================================== c | 2069 | 2147 7802 668867 | 5000 2049 71 | 21.948 % | c =============================================================================== c New solution: 1218 c Elapsed CPU time: 52.365 s Remaining CPU time: 127.635 s c =============================================================================== c | 2072 | 2147 7803 671227 | 5000 2052 72 | 21.948 % | c =============================================================================== c New solution: 1217 c Elapsed CPU time: 52.581 s Remaining CPU time: 127.419 s c =============================================================================== c | 2074 | 2147 7804 673587 | 5000 2054 73 | 21.948 % | c =============================================================================== c New solution: 1216 c Elapsed CPU time: 52.799 s Remaining CPU time: 127.201 s c =============================================================================== c | 2077 | 2147 7805 675947 | 5000 2057 74 | 21.948 % | c =============================================================================== c New solution: 1215 c Elapsed CPU time: 53.0159 s Remaining CPU time: 126.984 s c =============================================================================== c | 2080 | 2147 7806 678307 | 5000 2060 75 | 21.948 % | c =============================================================================== c New solution: 1214 c Elapsed CPU time: 53.2329 s Remaining CPU time: 126.767 s c =============================================================================== c | 2082 | 2147 7807 680667 | 5000 2062 76 | 21.948 % | c =============================================================================== c New solution: 1213 c Elapsed CPU time: 53.4509 s Remaining CPU time: 126.549 s c =============================================================================== c | 2084 | 2147 7808 683027 | 5000 2064 77 | 21.948 % | c =============================================================================== c New solution: 1212 c Elapsed CPU time: 53.6708 s Remaining CPU time: 126.329 s c =============================================================================== c | 2087 | 2147 7809 685387 | 5000 2067 79 | 21.948 % | c =============================================================================== c New solution: 1211 c Elapsed CPU time: 53.8898 s Remaining CPU time: 126.11 s c =============================================================================== c | 2089 | 2147 7810 687747 | 5000 2069 80 | 21.948 % | c =============================================================================== c New solution: 1210 c Elapsed CPU time: 54.1088 s Remaining CPU time: 125.891 s c =============================================================================== c | 2091 | 2147 7811 690107 | 5000 2071 80 | 21.948 % | c =============================================================================== c New solution: 1209 c Elapsed CPU time: 54.3277 s Remaining CPU time: 125.672 s c =============================================================================== c | 2093 | 2147 7812 692467 | 5000 2073 81 | 21.948 % | c =============================================================================== c New solution: 1208 c Elapsed CPU time: 54.5467 s Remaining CPU time: 125.453 s c =============================================================================== c | 2095 | 2147 7813 694827 | 5000 2075 82 | 21.948 % | c =============================================================================== c New solution: 1207 c Elapsed CPU time: 54.8217 s Remaining CPU time: 125.178 s c =============================================================================== c | 2099 | 2147 7814 697187 | 5000 2079 83 | 21.948 % | c =============================================================================== c New solution: 1206 c Elapsed CPU time: 55.0396 s Remaining CPU time: 124.96 s c =============================================================================== c | 2101 | 2147 7815 699547 | 5000 2081 84 | 21.948 % | c =============================================================================== c New solution: 1205 c Elapsed CPU time: 55.8225 s Remaining CPU time: 124.177 s c =============================================================================== c | 2124 | 2147 7816 701907 | 5000 2104 84 | 21.948 % | c =============================================================================== c New solution: 1204 c Elapsed CPU time: 56.0455 s Remaining CPU time: 123.955 s c =============================================================================== c | 2126 | 2147 7817 704267 | 5000 2106 85 | 21.948 % | c =============================================================================== c New solution: 1203 c Elapsed CPU time: 56.2694 s Remaining CPU time: 123.731 s c =============================================================================== c | 2129 | 2147 7818 706627 | 5000 2109 86 | 21.948 % | c =============================================================================== c New solution: 1202 c Elapsed CPU time: 56.4914 s Remaining CPU time: 123.509 s c =============================================================================== c | 2131 | 2147 7819 708987 | 5000 2111 87 | 21.948 % | c =============================================================================== c New solution: 1201 c Elapsed CPU time: 56.7154 s Remaining CPU time: 123.285 s c =============================================================================== c | 2133 | 2147 7820 711347 | 5000 2113 88 | 21.948 % | c =============================================================================== c New solution: 1200 c Elapsed CPU time: 56.9383 s Remaining CPU time: 123.062 s c =============================================================================== c | 2135 | 2147 7821 713707 | 5000 2115 89 | 21.948 % | c =============================================================================== c New solution: 1199 c Elapsed CPU time: 57.1603 s Remaining CPU time: 122.84 s c =============================================================================== c | 2137 | 2147 7822 716067 | 5000 2117 90 | 21.948 % | c =============================================================================== c New solution: 1198 c Elapsed CPU time: 57.3833 s Remaining CPU time: 122.617 s c =============================================================================== c | 2140 | 2147 7823 718427 | 5000 2120 91 | 21.948 % | c =============================================================================== c New solution: 1197 c Elapsed CPU time: 57.6072 s Remaining CPU time: 122.393 s c =============================================================================== c | 2142 | 2147 7824 720787 | 5000 2122 92 | 21.948 % | c =============================================================================== c New solution: 1196 c Elapsed CPU time: 57.8292 s Remaining CPU time: 122.171 s c =============================================================================== c | 2144 | 2147 7825 723147 | 5000 2124 93 | 21.948 % | c =============================================================================== c New solution: 1195 c Elapsed CPU time: 58.0532 s Remaining CPU time: 121.947 s c =============================================================================== c | 2146 | 2147 7826 725507 | 5000 2126 94 | 21.948 % | c =============================================================================== c New solution: 1194 c Elapsed CPU time: 58.2801 s Remaining CPU time: 121.72 s c =============================================================================== c | 2148 | 2147 7827 727867 | 5000 2128 95 | 21.948 % | c =============================================================================== c New solution: 1193 c Elapsed CPU time: 58.4831 s Remaining CPU time: 121.517 s c =============================================================================== c | 2148 | 2147 7828 730227 | 5000 2128 95 | 21.948 % | c =============================================================================== c New solution: 1192 c Elapsed CPU time: 58.7031 s Remaining CPU time: 121.297 s c =============================================================================== c | 2149 | 2147 7829 732587 | 5000 2129 95 | 21.948 % | c =============================================================================== c New solution: 1191 c Elapsed CPU time: 58.957 s Remaining CPU time: 121.043 s c =============================================================================== c | 2151 | 2147 7830 734947 | 5000 2131 96 | 21.948 % | c =============================================================================== c New solution: 1190 c Elapsed CPU time: 59.161 s Remaining CPU time: 120.839 s c =============================================================================== c | 2151 | 2147 7831 737307 | 5000 2131 96 | 21.948 % | c =============================================================================== c New solution: 1189 c Elapsed CPU time: 59.515 s Remaining CPU time: 120.485 s c =============================================================================== c | 2156 | 2147 7832 739667 | 5000 2136 97 | 21.948 % | c =============================================================================== c New solution: 1188 c Elapsed CPU time: 61.8976 s Remaining CPU time: 118.102 s c =============================================================================== c | 2218 | 2147 7833 742027 | 5000 2198 102 | 21.948 % | c =============================================================================== c New solution: 1187 c Elapsed CPU time: 62.3355 s Remaining CPU time: 117.664 s c =============================================================================== c | 2230 | 2147 7834 744387 | 5000 2210 103 | 21.948 % | c =============================================================================== c New solution: 1186 c Elapsed CPU time: 62.5385 s Remaining CPU time: 117.462 s c =============================================================================== c | 2230 | 2147 7835 746747 | 5000 2210 103 | 21.948 % | c =============================================================================== c New solution: 1185 c Elapsed CPU time: 62.7395 s Remaining CPU time: 117.261 s c =============================================================================== c | 2230 | 2147 7836 749107 | 5000 2210 103 | 21.948 % | c =============================================================================== c New solution: 1184 c Elapsed CPU time: 62.9394 s Remaining CPU time: 117.061 s c =============================================================================== c | 2230 | 2147 7837 751467 | 5000 2210 103 | 21.948 % | c =============================================================================== c New solution: 1183 c Elapsed CPU time: 65.2641 s Remaining CPU time: 114.736 s c =============================================================================== c | 2288 | 2147 7838 753827 | 5000 2268 111 | 21.948 % | c =============================================================================== c New solution: 1182 c Elapsed CPU time: 65.531 s Remaining CPU time: 114.469 s c =============================================================================== c | 2289 | 2147 7839 756187 | 5000 2269 111 | 21.948 % | c =============================================================================== c New solution: 1181 c Elapsed CPU time: 65.845 s Remaining CPU time: 114.155 s c =============================================================================== c | 2291 | 2147 7840 758547 | 5000 2271 111 | 21.948 % | c =============================================================================== c New solution: 1180 c Elapsed CPU time: 66.053 s Remaining CPU time: 113.947 s c =============================================================================== c | 2291 | 2147 7841 760907 | 5000 2271 111 | 21.948 % | c =============================================================================== c New solution: 1179 c Elapsed CPU time: 66.2569 s Remaining CPU time: 113.743 s c =============================================================================== c | 2291 | 2147 7842 763267 | 5000 2271 111 | 21.948 % | c =============================================================================== c New solution: 1178 c Elapsed CPU time: 66.4599 s Remaining CPU time: 113.54 s c =============================================================================== c | 2291 | 2147 7843 765627 | 5000 2271 111 | 21.948 % | c =============================================================================== c New solution: 1177 c Elapsed CPU time: 68.2496 s Remaining CPU time: 111.75 s c =============================================================================== c | 2339 | 2147 7844 767987 | 5000 2319 121 | 21.948 % | c | 2440 | 2147 7844 767987 | 5500 2420 135 | 21.984 % | c =============================================================================== c New solution: 1176 c Elapsed CPU time: 75.0326 s Remaining CPU time: 104.967 s c =============================================================================== c | 2494 | 2147 7845 770347 | 5000 2474 139 | 21.984 % | c =============================================================================== c New solution: 1175 c Elapsed CPU time: 76.4984 s Remaining CPU time: 103.502 s c =============================================================================== c | 2516 | 2147 7846 772707 | 5000 2496 141 | 21.984 % | c =============================================================================== c New solution: 1174 c Elapsed CPU time: 76.7143 s Remaining CPU time: 103.286 s c =============================================================================== c | 2516 | 2147 7847 775067 | 5000 2496 141 | 21.984 % | c =============================================================================== c New solution: 1173 c Elapsed CPU time: 76.9293 s Remaining CPU time: 103.071 s c =============================================================================== c | 2516 | 2147 7848 777427 | 5000 2496 141 | 21.984 % | c =============================================================================== c New solution: 1172 c Elapsed CPU time: 77.1443 s Remaining CPU time: 102.856 s c =============================================================================== c | 2516 | 2147 7849 779787 | 5000 2496 141 | 21.984 % | c =============================================================================== c New solution: 1171 c Elapsed CPU time: 77.3592 s Remaining CPU time: 102.641 s c =============================================================================== c | 2516 | 2147 7850 782147 | 5000 2496 141 | 21.984 % | c | 2616 | 2147 7850 782147 | 5500 2596 150 | 21.984 % | c | 2766 | 2147 7850 782147 | 6050 2746 158 | 21.984 % | c | 2991 | 2147 7850 782147 | 6655 2971 175 | 21.984 % | c =============================================================================== c New solution: 1170 c Elapsed CPU time: 96.0914 s Remaining CPU time: 83.9086 s c =============================================================================== c | 2999 | 2147 7851 784507 | 5000 2979 175 | 21.984 % | c =============================================================================== c New solution: 1169 c Elapsed CPU time: 96.4003 s Remaining CPU time: 83.5997 s c =============================================================================== c | 3002 | 2147 7852 786867 | 5000 2982 175 | 21.984 % | c =============================================================================== c New solution: 1168 c Elapsed CPU time: 96.6313 s Remaining CPU time: 83.3687 s c =============================================================================== c | 3002 | 2147 7853 789227 | 5000 2982 175 | 21.984 % | c =============================================================================== c New solution: 1167 c Elapsed CPU time: 96.8603 s Remaining CPU time: 83.1397 s c =============================================================================== c | 3002 | 2147 7854 791587 | 5000 2982 175 | 21.984 % | c =============================================================================== c New solution: 1166 c Elapsed CPU time: 97.1342 s Remaining CPU time: 82.8658 s c =============================================================================== c | 3006 | 2147 7855 793947 | 5000 2986 176 | 21.984 % | c | 3108 | 2147 7855 793947 | 5500 3088 185 | 21.984 % | c | 3261 | 2147 7855 793947 | 6050 3241 194 | 21.984 % | c | 3486 | 2147 7855 793947 | 6655 3466 202 | 21.985 % | c | 3823 | 2147 7855 793947 | 7320 3803 216 | 21.986 % | c | 4331 | 2147 7855 793947 | 8052 4311 233 | 21.986 % | c There are 606 assigned variables. 292 in cost function.