| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | OPT | -1281 | 1.79277 | 1.80413 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543-max.opb |
| MD5SUM | faf154fe8184071c5a91832b11755d1b |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -1281 |
| Best CPU time to get the best result obtained on this benchmark | 0.038081 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 251 |
| Total number of constraints | 661 |
| Number of constraints which are clauses | 660 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 220 |
| Number of terms in the objective function | 11 |
| Biggest coefficient in the objective function | 1024 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 2047 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 536870912 |
| Number of bits of the biggest number in a constraint | 30 |
| Biggest sum of numbers in a constraint | 2147333568 |
| Number of bits of the biggest sum of numbers | 31 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.01 c #variables 251 #constraints 662 0.00/0.01 c bounds - >= -2047 @ 0.004501 0.00/0.01 c rational objective -2047 0.69/0.74 c bounds -37 >= -2047 @ 0.473331 0.69/0.74 c bounds -37 >= -2046 @ 0.475053 0.69/0.74 c bounds -37 >= -2045 @ 0.477185 0.69/0.74 c bounds -37 >= -2043 @ 0.479399 0.69/0.74 c bounds -37 >= -2039 @ 0.481602 0.69/0.74 c bounds -37 >= -2037 @ 0.483947 0.69/0.74 c bounds -37 >= -2031 @ 0.486095 0.69/0.74 c bounds -37 >= -2027 @ 0.488288 0.69/0.74 c bounds -37 >= -2015 @ 0.490273 0.69/0.74 c bounds -37 >= -1919 @ 0.492357 0.69/0.74 c bounds -37 >= -1913 @ 0.49398 0.69/0.74 c bounds -37 >= -1912 @ 0.494231 0.69/0.74 c bounds -37 >= -1911 @ 0.494409 0.69/0.74 c bounds -37 >= -1909 @ 0.494613 0.69/0.74 c bounds -37 >= -1907 @ 0.494794 0.69/0.74 c bounds -37 >= -1903 @ 0.494967 0.69/0.74 c bounds -37 >= -1902 @ 0.496854 0.69/0.74 c bounds -37 >= -1791 @ 0.498297 0.69/0.74 c bounds -37 >= -1790 @ 0.498717 0.69/0.74 c bounds -37 >= -1789 @ 0.500122 0.69/0.74 c bounds -37 >= -1783 @ 0.500471 0.69/0.74 c bounds -37 >= -1780 @ 0.500635 0.69/0.74 c bounds -37 >= -1778 @ 0.501099 0.69/0.74 c bounds -37 >= -1777 @ 0.502029 0.69/0.74 c bounds -37 >= -1776 @ 0.502267 0.69/0.74 c bounds -37 >= -1775 @ 0.502381 0.69/0.74 c bounds -37 >= -1774 @ 0.502537 0.69/0.74 c bounds -37 >= -1773 @ 0.502693 0.69/0.74 c bounds -37 >= -1772 @ 0.502825 0.69/0.74 c bounds -37 >= -1771 @ 0.502825 0.69/0.74 c bounds -37 >= -1767 @ 0.502825 0.69/0.74 c bounds -37 >= -1763 @ 0.502825 0.69/0.74 c bounds -37 >= -1761 @ 0.502825 0.69/0.74 c bounds -37 >= -1759 @ 0.502825 0.69/0.74 c bounds -37 >= -1757 @ 0.505242 0.69/0.74 c bounds -37 >= -1756 @ 0.50647 0.69/0.74 c bounds -37 >= -1755 @ 0.507692 0.69/0.74 c bounds -37 >= -1754 @ 0.509969 0.69/0.74 c bounds -37 >= -1753 @ 0.511976 0.69/0.74 c bounds -37 >= -1752 @ 0.514264 0.69/0.74 c bounds -37 >= -1751 @ 0.516394 0.69/0.74 c bounds -37 >= -1750 @ 0.518644 0.69/0.74 c bounds -37 >= -1749 @ 0.51984 0.69/0.74 c bounds -37 >= -1748 @ 0.521341 0.69/0.74 c bounds -37 >= -1747 @ 0.522755 0.69/0.74 c bounds -37 >= -1746 @ 0.524847 0.69/0.74 c bounds -37 >= -1745 @ 0.526141 0.69/0.74 c bounds -37 >= -1744 @ 0.528418 0.69/0.74 c bounds -37 >= -1743 @ 0.530491 0.69/0.74 c bounds -37 >= -1742 @ 0.532456 0.69/0.74 c bounds -37 >= -1739 @ 0.534508 0.69/0.74 c bounds -37 >= -1728 @ 0.536416 0.69/0.74 c bounds -37 >= -1727 @ 0.536706 0.69/0.74 c bounds -37 >= -1726 @ 0.5397 0.69/0.74 c bounds -37 >= -1725 @ 0.545534 0.69/0.74 c bounds -37 >= -1724 @ 0.548915 0.69/0.74 c bounds -37 >= -1723 @ 0.551948 0.69/0.74 c bounds -37 >= -1722 @ 0.553173 0.69/0.74 c bounds -37 >= -1721 @ 0.554353 0.69/0.74 c bounds -37 >= -1720 @ 0.555559 0.69/0.74 c bounds -37 >= -1719 @ 0.55807 0.69/0.74 c bounds -37 >= -1718 @ 0.56035 0.69/0.74 c bounds -37 >= -1717 @ 0.561705 0.69/0.74 c bounds -37 >= -1716 @ 0.56362 0.69/0.74 c bounds -37 >= -1715 @ 0.565228 0.69/0.74 c bounds -37 >= -1714 @ 0.567451 0.69/0.74 c bounds -37 >= -1713 @ 0.569201 0.69/0.74 c bounds -37 >= -1712 @ 0.571408 0.69/0.74 c bounds -37 >= -1711 @ 0.571426 0.69/0.74 c bounds -37 >= -1710 @ 0.573447 0.69/0.74 c bounds -37 >= -1709 @ 0.576022 0.69/0.74 c bounds -37 >= -1708 @ 0.579859 0.69/0.74 c bounds -37 >= -1707 @ 0.582186 0.69/0.74 c bounds -37 >= -1706 @ 0.584572 0.69/0.74 c bounds -37 >= -1705 @ 0.586191 0.69/0.74 c bounds -37 >= -1704 @ 0.589618 0.69/0.74 c bounds -37 >= -1703 @ 0.590583 0.69/0.74 c bounds -37 >= -1702 @ 0.592347 0.69/0.74 c bounds -37 >= -1701 @ 0.594174 0.69/0.74 c bounds -37 >= -1700 @ 0.598695 0.69/0.74 c bounds -37 >= -1699 @ 0.60458 0.69/0.74 c bounds -37 >= -1698 @ 0.60699 0.69/0.74 c bounds -37 >= -1697 @ 0.609214 0.69/0.74 c bounds -37 >= -1696 @ 0.611255 0.69/0.74 c bounds -37 >= -1695 @ 0.61268 0.69/0.74 c bounds -37 >= -1694 @ 0.614868 0.69/0.74 c bounds -37 >= -1693 @ 0.617022 0.69/0.74 c bounds -37 >= -1692 @ 0.620032 0.69/0.74 c bounds -37 >= -1691 @ 0.621614 0.69/0.74 c bounds -37 >= -1690 @ 0.623582 0.69/0.74 c bounds -37 >= -1689 @ 0.624851 0.69/0.74 c bounds -37 >= -1688 @ 0.626031 0.69/0.74 c bounds -37 >= -1687 @ 0.627523 0.69/0.74 c bounds -37 >= -1686 @ 0.6299 0.69/0.75 c bounds -37 >= -1685 @ 0.631466 0.69/0.75 c bounds -37 >= -1684 @ 0.635212 0.69/0.75 c bounds -37 >= -1683 @ 0.638858 0.69/0.75 c bounds -37 >= -1682 @ 0.641318 0.69/0.75 c bounds -37 >= -1681 @ 0.642646 0.69/0.75 c bounds -37 >= -1680 @ 0.643865 0.69/0.75 c bounds -37 >= -1679 @ 0.645158 0.69/0.75 c bounds -37 >= -1678 @ 0.647497 0.69/0.75 c bounds -37 >= -1677 @ 0.649531 0.69/0.75 c bounds -37 >= -1676 @ 0.651752 0.69/0.75 c bounds -37 >= -1675 @ 0.652289 0.69/0.75 c bounds -37 >= -1674 @ 0.654741 0.69/0.75 c bounds -37 >= -1673 @ 0.657448 0.69/0.75 c bounds -37 >= -1672 @ 0.660791 0.69/0.75 c bounds -37 >= -1671 @ 0.661914 0.69/0.75 c bounds -37 >= -1670 @ 0.663285 0.69/0.75 c bounds -37 >= -1669 @ 0.664973 0.69/0.75 c bounds -37 >= -1668 @ 0.668074 0.69/0.75 c bounds -37 >= -1667 @ 0.67087 0.69/0.75 c bounds -37 >= -1666 @ 0.672229 0.69/0.75 c bounds -37 >= -1665 @ 0.675199 0.69/0.75 c bounds -37 >= -1664 @ 0.677195 0.69/0.75 c bounds -37 >= -1663 @ 0.677439 0.69/0.75 c bounds -37 >= -1662 @ 0.67946 0.69/0.75 c bounds -37 >= -1661 @ 0.681199 0.69/0.75 c bounds -37 >= -1660 @ 0.686819 0.69/0.75 c bounds -37 >= -1659 @ 0.68829 0.69/0.75 c bounds -37 >= -1658 @ 0.689771 0.69/0.75 c #Conflicts: 1000 | #Constraints: 2625 0.69/0.75 c bounds -37 >= -1657 @ 0.689925 0.69/0.75 c bounds -37 >= -1656 @ 0.691418 1.18/1.29 c bounds -37 >= -1655 @ 0.692606 1.18/1.29 c bounds -37 >= -1654 @ 0.693769 1.18/1.29 c bounds -37 >= -1653 @ 0.695879 1.18/1.29 c bounds -37 >= -1652 @ 0.696998 1.18/1.29 c bounds -37 >= -1651 @ 0.700111 1.18/1.29 c bounds -37 >= -1650 @ 0.701281 1.18/1.29 c bounds -37 >= -1649 @ 0.703369 1.18/1.29 c bounds -37 >= -1648 @ 0.704318 1.18/1.29 c bounds -37 >= -1647 @ 0.705321 1.18/1.29 c bounds -37 >= -1646 @ 0.70627 1.18/1.29 c bounds -37 >= -1645 @ 0.708172 1.18/1.29 c bounds -37 >= -1644 @ 0.709387 1.18/1.29 c bounds -37 >= -1643 @ 0.712114 1.18/1.29 c bounds -37 >= -1642 @ 0.71417 1.18/1.29 c bounds -37 >= -1641 @ 0.717056 1.18/1.29 c bounds -37 >= -1640 @ 0.719968 1.18/1.29 c bounds -37 >= -1639 @ 0.72215 1.18/1.29 c bounds -37 >= -1638 @ 0.722685 1.18/1.29 c bounds -37 >= -1637 @ 0.723952 1.18/1.29 c bounds -37 >= -1636 @ 0.725736 1.18/1.29 c bounds -37 >= -1635 @ 0.728334 1.18/1.29 c bounds -37 >= -1634 @ 0.730787 1.18/1.29 c bounds -37 >= -1633 @ 0.732777 1.18/1.29 c bounds -37 >= -1632 @ 0.733649 1.18/1.29 c bounds -37 >= -1631 @ 0.734446 1.18/1.29 c bounds -37 >= -1630 @ 0.736232 1.18/1.29 c bounds -37 >= -1629 @ 0.740839 1.18/1.29 c bounds -37 >= -1628 @ 0.743944 1.18/1.29 c bounds -37 >= -1627 @ 0.747049 1.18/1.29 c bounds -37 >= -1626 @ 0.749676 1.18/1.29 c bounds -37 >= -1625 @ 0.751508 1.18/1.29 c bounds -37 >= -1624 @ 0.75202 1.18/1.29 c bounds -37 >= -1623 @ 0.753009 1.18/1.29 c bounds -37 >= -1622 @ 0.755221 1.18/1.29 c bounds -37 >= -1621 @ 0.758164 1.18/1.29 c bounds -37 >= -1620 @ 0.761263 1.18/1.29 c bounds -37 >= -1619 @ 0.764989 1.18/1.29 c bounds -37 >= -1618 @ 0.766862 1.18/1.29 c bounds -37 >= -1617 @ 0.769344 1.18/1.29 c bounds -37 >= -1616 @ 0.771316 1.18/1.29 c bounds -37 >= -1615 @ 0.773087 1.18/1.29 c bounds -37 >= -1614 @ 0.775333 1.18/1.29 c bounds -37 >= -1613 @ 0.778755 1.18/1.29 c bounds -111 >= -1613 @ 0.784239 1.18/1.29 c bounds -111 >= -1612 @ 0.789672 1.18/1.29 c bounds -111 >= -1611 @ 0.791551 1.18/1.29 c bounds -111 >= -1610 @ 0.79579 1.18/1.29 c bounds -133 >= -1610 @ 1.02199 1.18/1.29 c bounds -133 >= -1609 @ 1.02626 1.18/1.29 c bounds -133 >= -1608 @ 1.0278 1.18/1.29 c bounds -133 >= -1607 @ 1.03065 1.18/1.29 c bounds -133 >= -1606 @ 1.03123 1.18/1.29 c bounds -133 >= -1605 @ 1.03344 1.18/1.29 c bounds -133 >= -1604 @ 1.03621 1.18/1.29 c bounds -133 >= -1603 @ 1.03857 1.18/1.29 c bounds -133 >= -1602 @ 1.0408 1.18/1.29 c bounds -133 >= -1601 @ 1.044 1.18/1.29 c bounds -133 >= -1600 @ 1.04613 1.18/1.29 c bounds -133 >= -1599 @ 1.04758 1.18/1.29 c bounds -133 >= -1598 @ 1.05407 1.18/1.29 c bounds -133 >= -1597 @ 1.05542 1.18/1.29 c bounds -133 >= -1596 @ 1.05696 1.18/1.29 c bounds -133 >= -1595 @ 1.0591 1.18/1.29 c bounds -133 >= -1594 @ 1.0625 1.18/1.29 c bounds -133 >= -1593 @ 1.06729 1.18/1.29 c bounds -133 >= -1592 @ 1.07039 1.18/1.29 c bounds -133 >= -1591 @ 1.07329 1.18/1.29 c bounds -133 >= -1590 @ 1.07676 1.18/1.29 c bounds -133 >= -1589 @ 1.07866 1.18/1.29 c bounds -133 >= -1588 @ 1.08088 1.18/1.29 c bounds -133 >= -1587 @ 1.08181 1.18/1.29 c bounds -133 >= -1586 @ 1.08365 1.18/1.29 c bounds -133 >= -1585 @ 1.08738 1.18/1.29 c bounds -133 >= -1584 @ 1.0921 1.18/1.29 c bounds -133 >= -1583 @ 1.09515 1.18/1.29 c bounds -133 >= -1582 @ 1.09866 1.18/1.29 c bounds -133 >= -1581 @ 1.10316 1.18/1.29 c bounds -133 >= -1580 @ 1.10726 1.18/1.29 c bounds -133 >= -1579 @ 1.11032 1.18/1.29 c bounds -133 >= -1578 @ 1.11377 1.18/1.29 c bounds -133 >= -1577 @ 1.11704 1.18/1.29 c bounds -133 >= -1576 @ 1.11899 1.18/1.29 c bounds -133 >= -1575 @ 1.1209 1.18/1.29 c bounds -133 >= -1574 @ 1.12331 1.18/1.29 c bounds -133 >= -1573 @ 1.12505 1.18/1.29 c bounds -133 >= -1572 @ 1.12648 1.18/1.29 c bounds -133 >= -1571 @ 1.12881 1.18/1.29 c bounds -133 >= -1570 @ 1.12997 1.18/1.29 c bounds -133 >= -1569 @ 1.13141 1.18/1.29 c bounds -133 >= -1568 @ 1.13268 1.18/1.29 c bounds -133 >= -1567 @ 1.13417 1.18/1.29 c bounds -133 >= -1566 @ 1.13592 1.18/1.29 c bounds -133 >= -1565 @ 1.13709 1.18/1.29 c bounds -133 >= -1564 @ 1.13946 1.18/1.29 c bounds -133 >= -1563 @ 1.14256 1.18/1.29 c bounds -133 >= -1562 @ 1.14395 1.18/1.29 c bounds -133 >= -1561 @ 1.14727 1.18/1.29 c bounds -133 >= -1560 @ 1.15018 1.18/1.29 c bounds -133 >= -1559 @ 1.15155 1.18/1.29 c bounds -133 >= -1558 @ 1.15342 1.18/1.29 c bounds -133 >= -1557 @ 1.15551 1.18/1.29 c bounds -133 >= -1556 @ 1.1576 1.18/1.29 c bounds -133 >= -1555 @ 1.15961 1.18/1.29 c bounds -133 >= -1554 @ 1.16275 1.18/1.29 c bounds -133 >= -1553 @ 1.16532 1.18/1.29 c bounds -133 >= -1552 @ 1.16776 1.18/1.29 c bounds -133 >= -1551 @ 1.16912 1.18/1.29 c bounds -133 >= -1550 @ 1.17265 1.18/1.29 c bounds -133 >= -1549 @ 1.17468 1.18/1.29 c bounds -133 >= -1548 @ 1.176 1.18/1.29 c bounds -133 >= -1547 @ 1.17779 1.18/1.29 c bounds -133 >= -1546 @ 1.17925 1.18/1.29 c bounds -133 >= -1545 @ 1.18105 1.18/1.29 c bounds -133 >= -1544 @ 1.18284 1.18/1.29 c bounds -133 >= -1543 @ 1.1847 1.18/1.29 c bounds -133 >= -1542 @ 1.18637 1.18/1.29 c bounds -133 >= -1534 @ 1.188 1.18/1.29 c bounds -133 >= -1533 @ 1.19006 1.18/1.29 c bounds -133 >= -1532 @ 1.19114 1.18/1.29 c bounds -133 >= -1531 @ 1.19285 1.18/1.29 c bounds -133 >= -1530 @ 1.19429 1.18/1.29 c bounds -133 >= -1529 @ 1.19555 1.18/1.29 c bounds -133 >= -1528 @ 1.20003 1.18/1.29 c bounds -133 >= -1527 @ 1.20262 1.58/1.60 c bounds -133 >= -1526 @ 1.21118 1.58/1.60 c bounds -133 >= -1525 @ 1.21428 1.58/1.60 c bounds -133 >= -1524 @ 1.22093 1.58/1.60 c bounds -133 >= -1523 @ 1.22158 1.58/1.60 c bounds -133 >= -1522 @ 1.2231 1.58/1.60 c bounds -133 >= -1521 @ 1.22508 1.58/1.60 c bounds -133 >= -1520 @ 1.22693 1.58/1.60 c bounds -133 >= -1519 @ 1.2283 1.58/1.60 c bounds -133 >= -1518 @ 1.23284 1.58/1.60 c bounds -183 >= -1518 @ 1.25919 1.58/1.60 c bounds -183 >= -1517 @ 1.26612 1.58/1.60 c bounds -183 >= -1516 @ 1.27755 1.58/1.60 c bounds -183 >= -1515 @ 1.28337 1.58/1.60 c bounds -183 >= -1514 @ 1.28759 1.58/1.60 c bounds -427 >= -1514 @ 1.37353 1.58/1.60 c bounds -427 >= -1513 @ 1.37771 1.58/1.60 c bounds -427 >= -1512 @ 1.38526 1.58/1.60 c bounds -427 >= -1511 @ 1.38957 1.58/1.60 c bounds -427 >= -1510 @ 1.39421 1.58/1.60 c bounds -427 >= -1509 @ 1.39791 1.58/1.60 c bounds -427 >= -1508 @ 1.40564 1.58/1.60 c bounds -427 >= -1507 @ 1.41239 1.58/1.60 c bounds -427 >= -1506 @ 1.41549 1.58/1.60 c bounds -427 >= -1505 @ 1.42222 1.58/1.60 c bounds -427 >= -1504 @ 1.42426 1.58/1.60 c bounds -427 >= -1503 @ 1.42657 1.58/1.60 c bounds -427 >= -1502 @ 1.42898 1.58/1.60 c bounds -427 >= -1501 @ 1.43183 1.58/1.60 c bounds -427 >= -1500 @ 1.44086 1.58/1.60 c bounds -427 >= -1499 @ 1.44487 1.58/1.60 c bounds -427 >= -1498 @ 1.45127 1.58/1.60 c bounds -427 >= -1497 @ 1.45534 1.58/1.60 c bounds -427 >= -1496 @ 1.46388 1.58/1.60 c bounds -427 >= -1495 @ 1.46819 1.58/1.60 c #Conflicts: 2000 | #Constraints: 5331 1.58/1.60 c bounds -427 >= -1494 @ 1.47517 1.58/1.60 c INPROCESSING 1.58/1.60 c GARBAGE COLLECT 1.58/1.60 c rational objective -1494 1.78/1.80 c bounds -1159 >= -1494 @ 1.53571 1.78/1.80 c bounds -1159 >= -1493 @ 1.54141 1.78/1.80 c bounds -1159 >= -1492 @ 1.54728 1.78/1.80 c bounds -1159 >= -1491 @ 1.55061 1.78/1.80 c bounds -1159 >= -1490 @ 1.55202 1.78/1.80 c bounds -1159 >= -1489 @ 1.55441 1.78/1.80 c bounds -1159 >= -1488 @ 1.55714 1.78/1.80 c bounds -1159 >= -1487 @ 1.55945 1.78/1.80 c bounds -1159 >= -1486 @ 1.56139 1.78/1.80 c bounds -1159 >= -1485 @ 1.56428 1.78/1.80 c bounds -1159 >= -1484 @ 1.56716 1.78/1.80 c bounds -1159 >= -1483 @ 1.57031 1.78/1.80 c bounds -1159 >= -1482 @ 1.57381 1.78/1.80 c bounds -1159 >= -1481 @ 1.57636 1.78/1.80 c bounds -1159 >= -1480 @ 1.57925 1.78/1.80 c bounds -1159 >= -1479 @ 1.58012 1.78/1.80 c bounds -1281 >= -1479 @ 1.62292 1.78/1.80 c bounds -1281 >= -1425 @ 1.62318 1.78/1.80 c bounds -1281 >= -1411 @ 1.62325 1.78/1.80 c bounds -1281 >= -1408 @ 1.62327 1.78/1.80 c bounds -1281 >= -1407 @ 1.62329 1.78/1.80 c bounds -1281 >= -1406 @ 1.62405 1.78/1.80 c bounds -1281 >= -1405 @ 1.62552 1.78/1.80 c bounds -1281 >= -1404 @ 1.62617 1.78/1.80 c bounds -1281 >= -1403 @ 1.62775 1.78/1.80 c bounds -1281 >= -1402 @ 1.62812 1.78/1.80 c bounds -1281 >= -1401 @ 1.62843 1.78/1.80 c bounds -1281 >= -1400 @ 1.62878 1.78/1.80 c bounds -1281 >= -1399 @ 1.62913 1.78/1.80 c bounds -1281 >= -1398 @ 1.62972 1.78/1.80 c bounds -1281 >= -1397 @ 1.63097 1.78/1.80 c bounds -1281 >= -1396 @ 1.63191 1.78/1.80 c bounds -1281 >= -1395 @ 1.63252 1.78/1.80 c bounds -1281 >= -1394 @ 1.63332 1.78/1.80 c bounds -1281 >= -1393 @ 1.6343 1.78/1.80 c bounds -1281 >= -1392 @ 1.63471 1.78/1.80 c bounds -1281 >= -1391 @ 1.63512 1.78/1.80 c bounds -1281 >= -1390 @ 1.63549 1.78/1.80 c bounds -1281 >= -1389 @ 1.6359 1.78/1.80 c bounds -1281 >= -1388 @ 1.63661 1.78/1.80 c bounds -1281 >= -1387 @ 1.63718 1.78/1.80 c bounds -1281 >= -1386 @ 1.63794 1.78/1.80 c bounds -1281 >= -1385 @ 1.63827 1.78/1.80 c bounds -1281 >= -1384 @ 1.63861 1.78/1.80 c bounds -1281 >= -1383 @ 1.63941 1.78/1.80 c bounds -1281 >= -1382 @ 1.63968 1.78/1.80 c bounds -1281 >= -1381 @ 1.64047 1.78/1.80 c bounds -1281 >= -1380 @ 1.64114 1.78/1.80 c bounds -1281 >= -1379 @ 1.64196 1.78/1.80 c bounds -1281 >= -1378 @ 1.64258 1.78/1.80 c bounds -1281 >= -1377 @ 1.64342 1.78/1.80 c bounds -1281 >= -1376 @ 1.644 1.78/1.80 c bounds -1281 >= -1375 @ 1.6443 1.78/1.80 c bounds -1281 >= -1374 @ 1.64491 1.78/1.80 c bounds -1281 >= -1373 @ 1.64598 1.78/1.80 c bounds -1281 >= -1372 @ 1.64663 1.78/1.80 c bounds -1281 >= -1371 @ 1.64715 1.78/1.80 c bounds -1281 >= -1370 @ 1.64769 1.78/1.80 c bounds -1281 >= -1369 @ 1.64866 1.78/1.80 c bounds -1281 >= -1368 @ 1.64913 1.78/1.80 c bounds -1281 >= -1367 @ 1.64962 1.78/1.80 c bounds -1281 >= -1366 @ 1.6503 1.78/1.80 c bounds -1281 >= -1365 @ 1.65142 1.78/1.80 c bounds -1281 >= -1364 @ 1.65227 1.78/1.80 c bounds -1281 >= -1363 @ 1.6537 1.78/1.80 c bounds -1281 >= -1362 @ 1.65486 1.78/1.80 c bounds -1281 >= -1361 @ 1.65571 1.78/1.80 c bounds -1281 >= -1360 @ 1.65642 1.78/1.80 c bounds -1281 >= -1359 @ 1.65708 1.78/1.80 c bounds -1281 >= -1358 @ 1.65719 1.78/1.80 c bounds -1281 >= -1357 @ 1.65827 1.78/1.80 c bounds -1281 >= -1356 @ 1.65979 1.78/1.80 c bounds -1281 >= -1355 @ 1.66123 1.78/1.80 c bounds -1281 >= -1354 @ 1.66387 1.78/1.80 c bounds -1281 >= -1353 @ 1.66502 1.78/1.80 c bounds -1281 >= -1352 @ 1.66624 1.78/1.80 c bounds -1281 >= -1351 @ 1.66714 1.78/1.80 c bounds -1281 >= -1350 @ 1.66807 1.78/1.80 c bounds -1281 >= -1349 @ 1.66835 1.78/1.80 c bounds -1281 >= -1349 @ 1.67247 1.78/1.80 c cpu time 1.67247 s 1.78/1.80 c deterministic time 113636538 1.14e+08 1.78/1.80 c optimization time 0.024179 s 1.78/1.80 c total solve time 1.64383 s 1.78/1.80 c core-guided solve time 0.723794 s 1.78/1.80 c propagation time 1.06946 s 1.78/1.80 c conflict analysis time 0.468482 s 1.78/1.80 c propagations 535659 1.78/1.80 c resolve steps 50045 1.78/1.80 c decisions 45774 1.78/1.80 c conflicts 2368 1.78/1.80 c restarts 14 1.78/1.80 c inprocessing phases 1 1.78/1.80 c input clauses 1562 1.78/1.80 c input cardinalities 351 1.78/1.80 c input general constraints 2066 1.78/1.80 c input average constraint length 5.06 1.78/1.80 c input average constraint degree 539471.07 1.78/1.80 c learned clauses 864 1.78/1.80 c learned cardinalities 1 1.78/1.80 c learned general constraints 1595 1.78/1.80 c learned average constraint length 80.52 1.78/1.80 c learned average constraint degree 88412749.77 1.78/1.80 c watched constraints 1440 1.78/1.80 c counting constraints 2221 1.78/1.80 c gcd simplifications 406 1.78/1.80 c detected cardinalities 1 1.78/1.80 c weakened non-implied lits 19799 1.78/1.80 c weakened non-implying lits 883 1.78/1.80 c original variables 251 1.78/1.80 c clausal propagations 140309 1.78/1.80 c cardinality propagations 20235 1.78/1.80 c watched propagations 16320 1.78/1.80 c counting propagations 210629 1.78/1.80 c watch lookups 19482505 1.78/1.80 c watch backjump lookups 18225149 1.78/1.80 c watch checks 31728717 1.78/1.80 c propagation checks 41365300 1.78/1.80 c constraint additions 1668603 1.78/1.80 c trail pops 582342 1.78/1.80 c formula constraints 662 1.78/1.80 c learned constraints 2456 1.78/1.80 c bound constraints 358 1.78/1.80 c core-guided constraints 2959 1.78/1.80 c encountered formula constraints 35680 1.78/1.80 c encountered learned constraints 7097 1.78/1.80 c encountered bound constraints 244 1.78/1.80 c encountered core-guided constraints 9386 1.78/1.80 c LP total time 0.110465 s 1.78/1.80 c LP solve time 0.08 s 1.78/1.80 c LP constraints added 666 1.78/1.80 c LP constraints removed 1 1.78/1.80 c LP pivots internal 2398 1.78/1.80 c LP pivots root 90 1.78/1.80 c LP calls 77 1.78/1.80 c LP optimalities 76 1.78/1.80 c LP no pivot count 8 1.78/1.80 c LP infeasibilities 1 1.78/1.80 c LP valid Farkas constraints 1 1.78/1.80 c LP learned Farkas constraints 1 1.78/1.80 c LP basis resets 0 1.78/1.80 c LP cycling count 0 1.78/1.80 c LP singular count 0 1.78/1.80 c LP no primal count 0 1.78/1.80 c LP no farkas count 0 1.78/1.80 c LP other issue count 0 1.78/1.80 c LP Gomory cuts 2 1.78/1.80 c LP learned cuts 2 1.78/1.80 c LP deleted cuts 1 1.78/1.80 c LP encountered Gomory constraints 2 1.78/1.80 c LP encountered Farkas constraints 2 1.78/1.80 c LP encountered learned Farkas constraints 1 1.78/1.80 c CG auxiliary variables introduced 1228 1.78/1.80 c CG solutions found 7 1.78/1.80 c CG cores constructed 355 1.78/1.80 c CG core cardinality constraints returned 0 1.78/1.80 c CG unit cores 4 1.78/1.80 c CG single cores 350 1.78/1.80 c CG blocks removed during cardinality reduction 0 1.78/1.80 c CG first core best 0 1.78/1.80 c CG decision core best 0 1.78/1.80 c CG core reduction tie 1 1.78/1.80 c CG core degree average 1.00 1.78/1.80 c CG core slack average 3.70 1.78/1.80 o -1281 1.78/1.80 s OPTIMUM FOUND 1.78/1.80 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 x11 x12 x13 x14 x15 x16 x17 -x18 x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 x33 x34 x35 x36 x37 -x38 x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 x53 x54 x55 x56 x57 -x58 x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 x213 x214 x215 x216 x217 -x218 x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
OK -1281
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (63055 MiB free)
memory of node 1: 64510 MiB (62370 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455182-1721458220/watcher-4455182-1721458220 -o /tmp/evaluation-result-4455182-1721458220/solver-4455182-1721458220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721458232-1043546 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455182-1721458220.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1043587, runsolver pid=1043582
[startup+0.100163 s]*
/proc/loadavg: 1.17 2.44 3.39 5/244 1043607
/proc/meminfo: memFree=128422572/131655788 swapFree=131071996/131071996
[pid=1043587] ppid=1043582 vsize=38200 memory=9036 CPUtime=0.1 cores=5,7
/proc/1043587/stat : 1043587 (roundingsat) R 1043582 1043587 1043533 0 -1 4194304 603 0 0 0 9 1 0 0 20 0 1 0 197978916 39116800 2259 134679101440 4194304 7968373 140731675917984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17530880 140731675923388 140731675923552 140731675923552 140731675930569 0
/proc/1043587/statm: 9550 2259 1846 922 0 1502 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38200 KiB
Current children cumulated memory: 9036 KiB
[startup+0.214493 s]*
/proc/loadavg: 1.17 2.44 3.39 4/239 1043615
/proc/meminfo: memFree=128401200/131655788 swapFree=131071996/131071996
[pid=1043587] ppid=1043582 vsize=38328 memory=9232 CPUtime=0.22 cores=5,7
/proc/1043587/stat : 1043587 (roundingsat) R 1043582 1043587 1043533 0 -1 4194304 694 0 0 0 20 2 0 0 20 0 1 0 197978916 39247872 2308 134679101440 4194304 7968373 140731675917984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17530880 140731675923388 140731675923552 140731675923552 140731675930569 0
/proc/1043587/statm: 9582 2308 1846 922 0 1534 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 38328 KiB
Current children cumulated memory: 9232 KiB
[startup+0.312908 s]*
/proc/loadavg: 1.17 2.44 3.39 6/236 1043627
/proc/meminfo: memFree=128399568/131655788 swapFree=131071996/131071996
[pid=1043587] ppid=1043582 vsize=38560 memory=9632 CPUtime=0.31 cores=5,7
/proc/1043587/stat : 1043587 (roundingsat) R 1043582 1043587 1043533 0 -1 4194304 767 0 0 0 29 2 0 0 20 0 1 0 197978916 39485440 2408 134679101440 4194304 7968373 140731675917984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17530880 140731675923388 140731675923552 140731675923552 140731675930569 0
/proc/1043587/statm: 9640 2408 1846 922 0 1592 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 9632 KiB
[startup+0.700505 s]
/proc/loadavg: 1.17 2.44 3.39 6/236 1043667
/proc/meminfo: memFree=128393500/131655788 swapFree=131071996/131071996
[pid=1043587] ppid=1043582 vsize=39484 memory=10896 CPUtime=0.69 cores=5,7
/proc/1043587/stat : 1043587 (roundingsat) R 1043582 1043587 1043533 0 -1 4194304 1065 0 0 0 65 4 0 0 20 0 1 0 197978916 40431616 2724 134679101440 4194304 7968373 140731675917984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17530880 140731675923388 140731675923552 140731675923552 140731675930569 0
/proc/1043587/statm: 9871 2724 1862 922 0 1823 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39484 KiB
Current children cumulated memory: 10896 KiB
[startup+1.50028 s]
/proc/loadavg: 1.17 2.44 3.39 4/239 1043733
/proc/meminfo: memFree=128341312/131655788 swapFree=131071996/131071996
[pid=1043587] ppid=1043582 vsize=42816 memory=16604 CPUtime=1.48 cores=5,7
/proc/1043587/stat : 1043587 (roundingsat) R 1043582 1043587 1043533 0 -1 4194304 2005 0 0 0 139 9 0 0 20 0 1 0 197978916 43843584 4151 134679101440 4194304 7968373 140731675917984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17530880 140731675923388 140731675923552 140731675923552 140731675930569 0
/proc/1043587/statm: 10704 4151 1862 922 0 2656 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42816 KiB
Current children cumulated memory: 16604 KiB
[startup+1.80408 s]
# the end of solver process 1043587 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1.67441 s, system=0.118356 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60032 s]
/proc/loadavg: 1.17 2.44 3.39 4/239 1043733
/proc/meminfo: memFree=128341312/131655788 swapFree=131071996/131071996
[pid=1043587] ppid=1043582 vsize=42972 memory=16868 CPUtime=1.58 cores=5,7
/proc/1043587/stat : 1043587 (roundingsat) R 1043582 1043587 1043533 0 -1 4194304 2043 0 0 0 148 10 0 0 20 0 1 0 197978916 44003328 4217 134679101440 4194304 7968373 140731675917984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17530880 140731675923388 140731675923552 140731675923552 140731675930569 0
/proc/1043587/statm: 10743 4217 1862 922 0 2695 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 42972 KiB
Current children cumulated memory: 16868 KiB
[startup+1.80029 s]
/proc/loadavg: 1.17 2.44 3.39 4/239 1043733
/proc/meminfo: memFree=128341312/131655788 swapFree=131071996/131071996
[pid=1043587] ppid=1043582 vsize=42972 memory=16868 CPUtime=1.78 cores=5,7
/proc/1043587/stat : 1043587 (roundingsat) R 1043582 1043587 1043533 0 -1 4194304 2076 0 0 0 167 11 0 0 20 0 1 0 197978916 44003328 4217 134679101440 4194304 7968373 140731675917984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17530880 140731675923388 140731675923552 140731675923552 140731675930569 0
/proc/1043587/statm: 10743 4217 1862 922 0 2695 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 42972 KiB
Current children cumulated memory: 16868 KiB
Child status: 0
Real time (s): 1.80413
CPU time (s): 1.79277
CPU user time (s): 1.67441
CPU system time (s): 0.118356
CPU usage (%): 99.3706
Max. virtual memory (cumulated for all children) (KiB): 42972
Max. memory (cumulated for all children) (KiB): 16868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.67441
system time used= 0.118356
maximum resident set size= 17420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2086
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 8
# summary of solver processes directly reported to runsolver:
# pid: 1043587
# total CPU time (s): 1.79277
# total CPU user time (s): 1.67441
# total CPU system time (s): 0.118356
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034772 second user time and 0.077957 second system time
The end
Begin job on nodeC012 at 2024-07-20 08:50:32 IDJOB=4455182 IDBENCH=147417 IDSOLVER=3084 FILE ID=nodeC012/4455182-1721458220 RUNJOBID= nodeC012-1721458232-1043546 SLURM_JOB_ID= 7545700 Free space on /tmp= 723776 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543-max.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455182-1721458220/watcher-4455182-1721458220 -o /tmp/evaluation-result-4455182-1721458220/solver-4455182-1721458220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721458232-1043546 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455182-1721458220.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= faf154fe8184071c5a91832b11755d1b RANDOM SEED=702706300 nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.330 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3381.678 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.326 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.325 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.331 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.326 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1198.178 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1193.995 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128438068 kB MemAvailable: 129914012 kB Buffers: 551468 kB Cached: 1768668 kB SwapCached: 0 kB Active: 1120992 kB Inactive: 1540116 kB Active(anon): 1336 kB Inactive(anon): 385856 kB Active(file): 1119656 kB Inactive(file): 1154260 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 29216 kB Writeback: 16 kB AnonPages: 341392 kB Mapped: 107356 kB Shmem: 45896 kB KReclaimable: 84116 kB Slab: 186708 kB SReclaimable: 84116 kB SUnreclaim: 102592 kB KernelStack: 3744 kB PageTables: 9280 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 751604 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62048 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 312136 kB DirectMap2M: 33146880 kB DirectMap1G: 102760448 kB Free space on /tmp at the end= 723728 MiB End job on nodeC012 at 2024-07-20 08:50:34