| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3602.02 | 3616.3 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/ normalized-maxcut_opt_complete_6-partite_inlv_nvert_66.opb |
| MD5SUM | 7cbab653d296f81eb095bf1f983193d8 |
| 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 | -1089 |
| Best CPU time to get the best result obtained on this benchmark | 2062.74 |
| 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 | 2145 |
| Total number of constraints | 183040 |
| Number of constraints which are clauses | 183040 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 1815 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1815 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1815 |
| Number of bits of the biggest sum of numbers | 11 |
| 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 1.42/1.53 c #variables 2145 #constraints 183040 7.50/7.64 c bounds - >= -1815 @ 1.09428 7.50/7.64 c bounds 0 >= -1815 @ 7.021 7.50/7.64 c bounds 0 >= -1814 @ 7.02184 7.50/7.64 c bounds 0 >= -1813 @ 7.02251 7.50/7.64 c bounds 0 >= -1812 @ 7.02316 7.50/7.64 c bounds 0 >= -1811 @ 7.0238 7.50/7.64 c bounds 0 >= -1810 @ 7.02444 7.50/7.64 c bounds 0 >= -1809 @ 7.02509 7.50/7.64 c bounds 0 >= -1808 @ 7.02573 7.50/7.64 c bounds 0 >= -1807 @ 7.02638 7.50/7.64 c bounds 0 >= -1806 @ 7.02706 7.50/7.64 c bounds 0 >= -1805 @ 7.02771 7.50/7.64 c bounds 0 >= -1804 @ 7.02838 7.50/7.64 c bounds 0 >= -1803 @ 7.02906 7.50/7.64 c bounds 0 >= -1802 @ 7.02972 7.50/7.64 c bounds 0 >= -1801 @ 7.03039 7.50/7.64 c bounds 0 >= -1800 @ 7.03104 7.50/7.64 c bounds 0 >= -1799 @ 7.03169 7.50/7.64 c bounds 0 >= -1798 @ 7.03233 7.50/7.64 c bounds 0 >= -1797 @ 7.03297 7.50/7.64 c bounds 0 >= -1796 @ 7.03362 7.50/7.64 c bounds 0 >= -1795 @ 7.03427 7.50/7.64 c bounds 0 >= -1794 @ 7.03496 7.50/7.64 c bounds 0 >= -1793 @ 7.0356 7.50/7.64 c bounds 0 >= -1792 @ 7.03628 7.50/7.64 c bounds 0 >= -1791 @ 7.03698 7.50/7.64 c bounds 0 >= -1790 @ 7.03764 7.50/7.64 c bounds 0 >= -1789 @ 7.03831 7.50/7.64 c bounds 0 >= -1788 @ 7.03896 7.50/7.64 c bounds 0 >= -1787 @ 7.03964 7.50/7.64 c bounds 0 >= -1786 @ 7.04031 7.50/7.64 c bounds 0 >= -1785 @ 7.041 7.50/7.64 c bounds 0 >= -1784 @ 7.04165 7.50/7.64 c bounds 0 >= -1783 @ 7.04229 7.50/7.64 c bounds 0 >= -1782 @ 7.04298 7.50/7.64 c bounds 0 >= -1781 @ 7.04359 7.50/7.64 c bounds 0 >= -1780 @ 7.04359 7.50/7.64 c bounds 0 >= -1779 @ 7.04403 7.50/7.64 c bounds 0 >= -1778 @ 7.04468 7.50/7.64 c bounds 0 >= -1777 @ 7.04535 7.50/7.64 c bounds 0 >= -1776 @ 7.04598 7.50/7.64 c bounds 0 >= -1775 @ 7.04664 7.50/7.64 c bounds 0 >= -1774 @ 7.04727 7.50/7.64 c bounds 0 >= -1773 @ 7.04793 7.50/7.64 c bounds 0 >= -1772 @ 7.04854 7.50/7.64 c bounds 0 >= -1771 @ 7.04854 7.50/7.64 c bounds 0 >= -1770 @ 7.04895 7.50/7.64 c bounds 0 >= -1769 @ 7.04955 7.50/7.64 c bounds 0 >= -1768 @ 7.0502 7.50/7.64 c bounds 0 >= -1767 @ 7.0509 7.50/7.64 c bounds 0 >= -1766 @ 7.05153 7.50/7.64 c bounds 0 >= -1765 @ 7.05223 7.50/7.64 c bounds 0 >= -1764 @ 7.05286 7.50/7.64 c bounds 0 >= -1763 @ 7.05351 7.50/7.64 c bounds 0 >= -1762 @ 7.05417 7.50/7.64 c bounds 0 >= -1761 @ 7.05483 7.50/7.64 c bounds 0 >= -1760 @ 7.05547 7.50/7.64 c bounds 0 >= -1759 @ 7.05612 7.50/7.64 c bounds 0 >= -1758 @ 7.0568 7.50/7.64 c bounds 0 >= -1757 @ 7.05745 7.50/7.64 c bounds 0 >= -1756 @ 7.05811 7.50/7.64 c bounds 0 >= -1755 @ 7.05877 7.50/7.64 c bounds 0 >= -1754 @ 7.05944 7.50/7.64 c bounds 0 >= -1753 @ 7.06013 7.50/7.64 c bounds 0 >= -1752 @ 7.06077 7.50/7.64 c bounds 0 >= -1751 @ 7.06143 7.50/7.64 c bounds 0 >= -1750 @ 7.06207 7.50/7.64 c bounds 0 >= -1749 @ 7.06272 7.50/7.64 c bounds 0 >= -1748 @ 7.06338 7.50/7.64 c bounds 0 >= -1747 @ 7.06401 7.50/7.64 c bounds 0 >= -1746 @ 7.06469 7.50/7.64 c bounds 0 >= -1745 @ 7.06535 7.50/7.64 c bounds 0 >= -1744 @ 7.066 7.50/7.64 c bounds 0 >= -1743 @ 7.06668 7.50/7.64 c bounds 0 >= -1742 @ 7.06734 7.50/7.64 c bounds 0 >= -1741 @ 7.06803 7.50/7.64 c bounds 0 >= -1740 @ 7.0687 7.50/7.64 c bounds 0 >= -1739 @ 7.06937 7.50/7.64 c bounds 0 >= -1738 @ 7.07006 7.50/7.64 c bounds 0 >= -1737 @ 7.07071 7.50/7.64 c bounds 0 >= -1736 @ 7.07139 7.50/7.64 c bounds 0 >= -1735 @ 7.07208 7.50/7.64 c bounds 0 >= -1734 @ 7.07276 7.50/7.64 c bounds 0 >= -1733 @ 7.07341 7.50/7.64 c bounds 0 >= -1732 @ 7.07409 7.50/7.64 c bounds 0 >= -1731 @ 7.07478 7.50/7.64 c bounds 0 >= -1730 @ 7.07543 7.50/7.64 c bounds 0 >= -1729 @ 7.07612 7.50/7.64 c bounds 0 >= -1728 @ 7.07679 7.50/7.64 c bounds 0 >= -1727 @ 7.07746 7.50/7.64 c bounds 0 >= -1726 @ 7.07814 7.50/7.64 c bounds 0 >= -1725 @ 7.07883 7.50/7.64 c bounds 0 >= -1724 @ 7.07947 7.50/7.64 c bounds 0 >= -1723 @ 7.08016 7.50/7.64 c bounds 0 >= -1722 @ 7.08085 7.50/7.64 c bounds 0 >= -1721 @ 7.08152 7.50/7.64 c bounds 0 >= -1720 @ 7.08218 7.50/7.64 c bounds 0 >= -1719 @ 7.08287 7.50/7.64 c bounds 0 >= -1718 @ 7.08353 7.50/7.64 c bounds 0 >= -1717 @ 7.08419 7.50/7.64 c bounds 0 >= -1716 @ 7.08484 7.50/7.64 c bounds 0 >= -1715 @ 7.08549 7.50/7.64 c bounds 0 >= -1714 @ 7.08613 7.50/7.64 c bounds 0 >= -1713 @ 7.08681 7.50/7.64 c bounds 0 >= -1712 @ 7.08749 7.50/7.64 c bounds 0 >= -1711 @ 7.08817 7.50/7.64 c bounds 0 >= -1710 @ 7.08884 7.50/7.64 c bounds 0 >= -1709 @ 7.08949 7.50/7.64 c bounds 0 >= -1708 @ 7.09012 7.50/7.64 c bounds 0 >= -1707 @ 7.09082 7.50/7.64 c bounds 0 >= -1706 @ 7.09147 7.50/7.64 c bounds 0 >= -1705 @ 7.09214 7.50/7.64 c bounds 0 >= -1704 @ 7.09279 7.50/7.64 c bounds 0 >= -1703 @ 7.09343 7.50/7.64 c bounds 0 >= -1702 @ 7.09409 7.50/7.64 c bounds 0 >= -1701 @ 7.09473 7.50/7.64 c bounds 0 >= -1700 @ 7.09538 7.50/7.64 c bounds 0 >= -1699 @ 7.09603 7.50/7.64 c bounds 0 >= -1698 @ 7.0967 7.50/7.64 c bounds 0 >= -1697 @ 7.09737 7.50/7.64 c bounds 0 >= -1696 @ 7.09801 7.50/7.64 c bounds 0 >= -1695 @ 7.09868 7.50/7.64 c bounds 0 >= -1694 @ 7.09934 7.50/7.64 c bounds 0 >= -1693 @ 7.10002 7.50/7.64 c bounds 0 >= -1692 @ 7.10069 7.50/7.64 c bounds 0 >= -1691 @ 7.10132 7.50/7.64 c bounds 0 >= -1690 @ 7.10197 7.50/7.64 c bounds 0 >= -1689 @ 7.10267 7.50/7.64 c bounds 0 >= -1688 @ 7.10282 7.50/7.64 c bounds 0 >= -1687 @ 7.10352 7.50/7.64 c bounds 0 >= -1686 @ 7.10417 7.50/7.64 c bounds 0 >= -1685 @ 7.10483 7.50/7.64 c bounds 0 >= -1684 @ 7.10549 7.50/7.64 c bounds 0 >= -1683 @ 7.10615 7.50/7.64 c bounds 0 >= -1682 @ 7.10682 7.50/7.64 c bounds 0 >= -1681 @ 7.10744 7.50/7.64 c bounds 0 >= -1680 @ 7.1081 7.60/7.73 c bounds 0 >= -1679 @ 7.10875 7.60/7.73 c bounds 0 >= -1678 @ 7.10942 7.60/7.73 c bounds 0 >= -1677 @ 7.11009 7.60/7.73 c bounds 0 >= -1676 @ 7.11073 7.60/7.73 c bounds 0 >= -1675 @ 7.11137 7.60/7.73 c bounds 0 >= -1674 @ 7.11205 7.60/7.73 c bounds 0 >= -1673 @ 7.11269 7.60/7.73 c bounds 0 >= -1672 @ 7.11334 7.60/7.73 c bounds 0 >= -1671 @ 7.114 7.60/7.73 c bounds 0 >= -1670 @ 7.11468 7.60/7.73 c bounds 0 >= -1669 @ 7.11533 7.60/7.73 c bounds 0 >= -1668 @ 7.11598 7.60/7.73 c bounds 0 >= -1667 @ 7.11663 7.60/7.73 c bounds 0 >= -1666 @ 7.11726 7.60/7.73 c bounds 0 >= -1665 @ 7.11794 7.60/7.73 c bounds 0 >= -1664 @ 7.11858 7.60/7.73 c bounds 0 >= -1663 @ 7.11923 7.60/7.73 c bounds 0 >= -1662 @ 7.11994 7.60/7.73 c bounds 0 >= -1661 @ 7.12058 7.60/7.73 c bounds 0 >= -1660 @ 7.12121 7.60/7.73 c bounds 0 >= -1659 @ 7.12191 7.60/7.73 c bounds 0 >= -1658 @ 7.12256 7.60/7.73 c bounds 0 >= -1657 @ 7.12321 7.60/7.73 c bounds 0 >= -1656 @ 7.12388 7.60/7.73 c bounds 0 >= -1655 @ 7.12451 7.60/7.73 c bounds 0 >= -1654 @ 7.12514 7.60/7.73 c bounds 0 >= -1653 @ 7.12581 7.60/7.73 c bounds 0 >= -1652 @ 7.12645 7.60/7.73 c bounds 0 >= -1651 @ 7.12707 7.60/7.73 c bounds 0 >= -1650 @ 7.12777 7.60/7.73 c bounds 0 >= -1649 @ 7.12841 7.60/7.73 c bounds 0 >= -1648 @ 7.12904 7.60/7.73 c bounds 0 >= -1647 @ 7.12916 7.60/7.73 c bounds 0 >= -1646 @ 7.12939 7.60/7.73 c bounds 0 >= -1645 @ 7.13005 7.60/7.73 c bounds 0 >= -1644 @ 7.13071 7.60/7.73 c bounds 0 >= -1643 @ 7.13134 7.60/7.73 c bounds 0 >= -1642 @ 7.13201 7.60/7.73 c bounds 0 >= -1641 @ 7.13271 7.60/7.73 c bounds 0 >= -1640 @ 7.13335 7.60/7.73 c bounds 0 >= -1639 @ 7.134 7.60/7.73 c bounds 0 >= -1638 @ 7.13471 7.60/7.73 c bounds 0 >= -1637 @ 7.13535 7.60/7.73 c bounds 0 >= -1636 @ 7.13604 7.60/7.73 c bounds 0 >= -1635 @ 7.13671 7.60/7.73 c bounds 0 >= -1634 @ 7.13736 7.60/7.73 c bounds 0 >= -1633 @ 7.13804 7.60/7.73 c bounds 0 >= -1632 @ 7.13868 7.60/7.73 c bounds 0 >= -1631 @ 7.13934 7.60/7.73 c bounds 0 >= -1630 @ 7.13999 7.60/7.73 c bounds 0 >= -1629 @ 7.14066 7.60/7.73 c bounds 0 >= -1628 @ 7.1413 7.60/7.73 c bounds 0 >= -1627 @ 7.14194 7.60/7.73 c bounds 0 >= -1626 @ 7.14261 7.60/7.73 c bounds 0 >= -1625 @ 7.14326 7.60/7.73 c bounds 0 >= -1624 @ 7.14394 7.60/7.73 c bounds 0 >= -1623 @ 7.14461 7.60/7.73 c bounds 0 >= -1622 @ 7.14526 7.60/7.73 c bounds 0 >= -1621 @ 7.14593 7.60/7.73 c bounds 0 >= -1620 @ 7.14657 7.60/7.73 c bounds 0 >= -1619 @ 7.14722 7.60/7.73 c bounds 0 >= -1618 @ 7.14788 7.60/7.73 c bounds 0 >= -1617 @ 7.14856 7.60/7.73 c bounds 0 >= -1616 @ 7.14924 7.60/7.73 c bounds 0 >= -1615 @ 7.14988 7.60/7.73 c bounds 0 >= -1614 @ 7.15056 7.60/7.73 c bounds 0 >= -1613 @ 7.15121 7.60/7.73 c bounds 0 >= -1612 @ 7.15184 7.60/7.73 c bounds 0 >= -1611 @ 7.15251 7.60/7.73 c bounds 0 >= -1610 @ 7.15316 7.60/7.73 c bounds 0 >= -1609 @ 7.15385 7.60/7.73 c bounds 0 >= -1608 @ 7.15449 7.60/7.73 c bounds 0 >= -1607 @ 7.15513 7.60/7.73 c bounds 0 >= -1606 @ 7.15579 7.60/7.73 c bounds 0 >= -1605 @ 7.15643 7.60/7.73 c bounds 0 >= -1604 @ 7.15711 7.60/7.73 c bounds 0 >= -1603 @ 7.15775 7.60/7.73 c bounds 0 >= -1602 @ 7.15839 7.60/7.73 c bounds 0 >= -1601 @ 7.15908 7.60/7.73 c bounds 0 >= -1600 @ 7.15971 7.60/7.73 c bounds 0 >= -1599 @ 7.16039 7.60/7.73 c bounds 0 >= -1598 @ 7.16105 7.60/7.73 c bounds 0 >= -1597 @ 7.16172 7.60/7.73 c bounds 0 >= -1596 @ 7.16241 7.60/7.73 c bounds 0 >= -1595 @ 7.16307 7.60/7.73 c bounds 0 >= -1594 @ 7.16373 7.60/7.73 c bounds 0 >= -1593 @ 7.1644 7.60/7.73 c bounds 0 >= -1592 @ 7.16505 7.60/7.73 c bounds 0 >= -1591 @ 7.16568 7.60/7.73 c bounds 0 >= -1590 @ 7.16637 7.60/7.73 c bounds 0 >= -1589 @ 7.16704 7.60/7.73 c bounds 0 >= -1588 @ 7.16773 7.60/7.73 c bounds 0 >= -1587 @ 7.1684 7.60/7.73 c bounds 0 >= -1586 @ 7.16906 7.60/7.73 c bounds 0 >= -1585 @ 7.16918 7.60/7.73 c bounds 0 >= -1584 @ 7.16949 7.60/7.73 c bounds 0 >= -1583 @ 7.17011 7.60/7.73 c bounds 0 >= -1582 @ 7.17078 7.60/7.73 c bounds 0 >= -1581 @ 7.17144 7.60/7.73 c bounds 0 >= -1580 @ 7.17212 7.60/7.73 c bounds 0 >= -1579 @ 7.17279 7.60/7.73 c bounds 0 >= -1578 @ 7.17345 7.60/7.73 c bounds 0 >= -1577 @ 7.17413 7.60/7.73 c bounds 0 >= -1576 @ 7.1748 7.60/7.73 c bounds 0 >= -1575 @ 7.17501 7.60/7.73 c bounds 0 >= -1574 @ 7.17538 7.60/7.73 c bounds 0 >= -1573 @ 7.17601 7.60/7.73 c bounds 0 >= -1572 @ 7.17668 7.60/7.73 c bounds 0 >= -1571 @ 7.17735 7.60/7.73 c bounds 0 >= -1570 @ 7.17804 7.60/7.73 c bounds 0 >= -1569 @ 7.1787 7.60/7.73 c bounds 0 >= -1568 @ 7.17938 7.60/7.73 c bounds 0 >= -1567 @ 7.18003 7.60/7.73 c bounds 0 >= -1566 @ 7.18066 7.60/7.73 c bounds 0 >= -1565 @ 7.18134 7.60/7.73 c bounds 0 >= -1564 @ 7.18205 7.60/7.73 c bounds 0 >= -1563 @ 7.18274 7.60/7.73 c bounds 0 >= -1562 @ 7.18342 7.60/7.73 c bounds 0 >= -1561 @ 7.18405 7.60/7.73 c bounds 0 >= -1560 @ 7.18469 7.60/7.73 c bounds 0 >= -1559 @ 7.18539 7.60/7.73 c bounds 0 >= -1558 @ 7.18604 7.60/7.73 c bounds 0 >= -1557 @ 7.18679 7.60/7.73 c bounds 0 >= -1556 @ 7.18743 7.60/7.73 c bounds 0 >= -1555 @ 7.18809 7.60/7.73 c bounds 0 >= -1554 @ 7.18879 7.60/7.73 c bounds 0 >= -1553 @ 7.18953 7.60/7.73 c bounds 0 >= -1552 @ 7.1902 7.60/7.73 c bounds 0 >= -1551 @ 7.19086 7.60/7.73 c bounds 0 >= -1550 @ 7.19153 7.60/7.73 c bounds 0 >= -1549 @ 7.19165 7.60/7.73 c bounds 0 >= -1548 @ 7.19184 7.60/7.73 c bounds 0 >= -1547 @ 7.19249 7.60/7.73 c bounds 0 >= -1546 @ 7.19316 7.60/7.73 c bounds 0 >= -1545 @ 7.19381 7.60/7.73 c bounds 0 >= -1544 @ 7.19452 7.60/7.73 c bounds 0 >= -1543 @ 7.19516 7.70/7.82 c bounds 0 >= -1542 @ 7.19585 7.70/7.82 c bounds 0 >= -1541 @ 7.19651 7.70/7.82 c bounds 0 >= -1540 @ 7.19725 7.70/7.82 c bounds 0 >= -1539 @ 7.1979 7.70/7.82 c bounds 0 >= -1538 @ 7.19857 7.70/7.82 c bounds 0 >= -1537 @ 7.19921 7.70/7.82 c bounds 0 >= -1536 @ 7.1999 7.70/7.82 c bounds 0 >= -1535 @ 7.20067 7.70/7.82 c bounds 0 >= -1534 @ 7.20136 7.70/7.82 c bounds 0 >= -1533 @ 7.20202 7.70/7.82 c bounds 0 >= -1532 @ 7.20267 7.70/7.82 c bounds 0 >= -1531 @ 7.20334 7.70/7.82 c bounds 0 >= -1530 @ 7.20397 7.70/7.82 c bounds 0 >= -1529 @ 7.20463 7.70/7.82 c bounds 0 >= -1528 @ 7.20532 7.70/7.82 c bounds 0 >= -1527 @ 7.20599 7.70/7.82 c bounds 0 >= -1526 @ 7.20667 7.70/7.82 c bounds 0 >= -1525 @ 7.20731 7.70/7.82 c bounds 0 >= -1524 @ 7.20798 7.70/7.82 c bounds 0 >= -1523 @ 7.20862 7.70/7.82 c bounds 0 >= -1522 @ 7.20933 7.70/7.82 c bounds 0 >= -1521 @ 7.20998 7.70/7.82 c bounds 0 >= -1520 @ 7.21061 7.70/7.82 c bounds 0 >= -1519 @ 7.21128 7.70/7.82 c bounds 0 >= -1518 @ 7.21203 7.70/7.82 c bounds 0 >= -1517 @ 7.21267 7.70/7.82 c bounds 0 >= -1516 @ 7.21334 7.70/7.82 c bounds 0 >= -1515 @ 7.21403 7.70/7.82 c bounds 0 >= -1514 @ 7.21471 7.70/7.82 c bounds 0 >= -1513 @ 7.21541 7.70/7.82 c bounds 0 >= -1512 @ 7.21553 7.70/7.82 c bounds 0 >= -1511 @ 7.21572 7.70/7.82 c bounds 0 >= -1510 @ 7.21634 7.70/7.82 c bounds 0 >= -1509 @ 7.21696 7.70/7.82 c bounds 0 >= -1508 @ 7.2176 7.70/7.82 c bounds 0 >= -1507 @ 7.21828 7.70/7.82 c bounds 0 >= -1506 @ 7.21891 7.70/7.82 c bounds 0 >= -1505 @ 7.21953 7.70/7.82 c bounds 0 >= -1504 @ 7.22021 7.70/7.82 c bounds 0 >= -1503 @ 7.22083 7.70/7.82 c bounds 0 >= -1502 @ 7.22152 7.70/7.82 c bounds 0 >= -1501 @ 7.22217 7.70/7.82 c bounds 0 >= -1500 @ 7.2228 7.70/7.82 c bounds 0 >= -1499 @ 7.22285 7.70/7.82 c bounds 0 >= -1498 @ 7.22319 7.70/7.82 c bounds 0 >= -1497 @ 7.22386 7.70/7.82 c bounds 0 >= -1496 @ 7.22449 7.70/7.82 c bounds 0 >= -1495 @ 7.2251 7.70/7.82 c bounds 0 >= -1494 @ 7.2258 7.70/7.82 c bounds 0 >= -1493 @ 7.22584 7.70/7.82 c bounds 0 >= -1492 @ 7.22618 7.70/7.82 c bounds 0 >= -1491 @ 7.22679 7.70/7.82 c bounds 0 >= -1490 @ 7.22684 7.70/7.82 c bounds 0 >= -1489 @ 7.22712 7.70/7.82 c bounds 0 >= -1488 @ 7.22772 7.70/7.82 c bounds 0 >= -1487 @ 7.22843 7.70/7.82 c bounds 0 >= -1486 @ 7.22907 7.70/7.82 c bounds 0 >= -1485 @ 7.22969 7.70/7.82 c bounds 0 >= -1484 @ 7.23033 7.70/7.82 c bounds 0 >= -1483 @ 7.23097 7.70/7.82 c bounds 0 >= -1482 @ 7.23162 7.70/7.82 c bounds 0 >= -1481 @ 7.23174 7.70/7.82 c bounds 0 >= -1480 @ 7.23204 7.70/7.82 c bounds 0 >= -1479 @ 7.23268 7.70/7.82 c bounds 0 >= -1478 @ 7.23337 7.70/7.82 c bounds 0 >= -1477 @ 7.23399 7.70/7.82 c bounds 0 >= -1476 @ 7.23465 7.70/7.82 c bounds 0 >= -1475 @ 7.2354 7.70/7.82 c bounds 0 >= -1474 @ 7.23609 7.70/7.82 c bounds 0 >= -1473 @ 7.23674 7.70/7.82 c bounds 0 >= -1472 @ 7.23737 7.70/7.82 c bounds 0 >= -1471 @ 7.23746 7.70/7.82 c bounds 0 >= -1470 @ 7.23764 7.70/7.82 c bounds 0 >= -1469 @ 7.23833 7.70/7.82 c bounds 0 >= -1468 @ 7.23901 7.70/7.82 c bounds 0 >= -1467 @ 7.23967 7.70/7.82 c bounds 0 >= -1466 @ 7.24035 7.70/7.82 c bounds 0 >= -1465 @ 7.241 7.70/7.82 c bounds 0 >= -1464 @ 7.24165 7.70/7.82 c bounds 0 >= -1463 @ 7.24229 7.70/7.82 c bounds 0 >= -1462 @ 7.24302 7.70/7.82 c bounds 0 >= -1461 @ 7.24367 7.70/7.82 c bounds 0 >= -1460 @ 7.24435 7.70/7.82 c bounds 0 >= -1459 @ 7.2451 7.70/7.82 c bounds 0 >= -1458 @ 7.24575 7.70/7.82 c bounds 0 >= -1457 @ 7.2464 7.70/7.82 c bounds 0 >= -1456 @ 7.24706 7.70/7.82 c bounds 0 >= -1455 @ 7.24771 7.70/7.82 c bounds 0 >= -1454 @ 7.24838 7.70/7.82 c bounds 0 >= -1453 @ 7.24901 7.70/7.82 c bounds 0 >= -1452 @ 7.24963 7.70/7.82 c bounds 0 >= -1451 @ 7.25035 7.70/7.82 c bounds 0 >= -1450 @ 7.25102 7.70/7.82 c bounds 0 >= -1449 @ 7.25169 7.70/7.82 c bounds 0 >= -1448 @ 7.25234 7.70/7.82 c bounds 0 >= -1447 @ 7.25298 7.70/7.82 c bounds 0 >= -1446 @ 7.25362 7.70/7.82 c bounds 0 >= -1445 @ 7.25427 7.70/7.82 c bounds 0 >= -1444 @ 7.255 7.70/7.82 c bounds 0 >= -1443 @ 7.25575 7.70/7.82 c bounds 0 >= -1442 @ 7.25646 7.70/7.82 c bounds 0 >= -1441 @ 7.25712 7.70/7.82 c bounds 0 >= -1440 @ 7.25781 7.70/7.82 c bounds 0 >= -1439 @ 7.25846 7.70/7.82 c bounds 0 >= -1438 @ 7.25916 7.70/7.82 c bounds 0 >= -1437 @ 7.25981 7.70/7.82 c bounds 0 >= -1436 @ 7.26048 7.70/7.82 c bounds 0 >= -1435 @ 7.2612 7.70/7.82 c bounds 0 >= -1434 @ 7.26186 7.70/7.82 c bounds 0 >= -1433 @ 7.26252 7.70/7.82 c bounds 0 >= -1432 @ 7.26321 7.70/7.82 c bounds 0 >= -1431 @ 7.26397 7.70/7.82 c bounds 0 >= -1430 @ 7.26463 7.70/7.82 c bounds 0 >= -1429 @ 7.26534 7.70/7.82 c bounds 0 >= -1428 @ 7.26609 7.70/7.82 c bounds 0 >= -1427 @ 7.26683 7.70/7.82 c bounds 0 >= -1426 @ 7.26749 7.70/7.82 c bounds 0 >= -1425 @ 7.26818 7.70/7.82 c bounds 0 >= -1424 @ 7.26884 7.70/7.82 c bounds 0 >= -1423 @ 7.26949 7.70/7.82 c bounds 0 >= -1422 @ 7.27016 7.70/7.82 c bounds 0 >= -1421 @ 7.27079 7.70/7.82 c bounds 0 >= -1420 @ 7.27144 7.70/7.82 c bounds 0 >= -1419 @ 7.27218 7.70/7.82 c bounds 0 >= -1418 @ 7.27285 7.70/7.82 c bounds 0 >= -1417 @ 7.2735 7.70/7.82 c bounds 0 >= -1416 @ 7.27413 7.70/7.82 c bounds 0 >= -1415 @ 7.27477 7.70/7.82 c bounds 0 >= -1414 @ 7.27541 7.70/7.82 c bounds 0 >= -1413 @ 7.27617 7.70/7.82 c bounds 0 >= -1412 @ 7.27685 7.70/7.82 c bounds 0 >= -1411 @ 7.27751 7.70/7.82 c bounds 0 >= -1410 @ 7.27816 7.70/7.82 c bounds 0 >= -1409 @ 7.27883 7.70/7.82 c bounds 0 >= -1408 @ 7.27949 7.70/7.82 c bounds 0 >= -1407 @ 7.28018 7.70/7.82 c bounds 0 >= -1406 @ 7.28083 7.80/7.93 c bounds 0 >= -1405 @ 7.28151 7.80/7.93 c bounds 0 >= -1404 @ 7.28215 7.80/7.93 c bounds 0 >= -1403 @ 7.2829 7.80/7.93 c bounds 0 >= -1402 @ 7.28365 7.80/7.93 c bounds 0 >= -1401 @ 7.28439 7.80/7.93 c bounds 0 >= -1400 @ 7.28512 7.80/7.93 c bounds 0 >= -1399 @ 7.28578 7.80/7.93 c bounds 0 >= -1398 @ 7.28642 7.80/7.93 c bounds 0 >= -1397 @ 7.28652 7.80/7.93 c bounds 0 >= -1396 @ 7.28652 7.80/7.93 c bounds 0 >= -1395 @ 7.28652 7.80/7.93 c bounds 0 >= -1394 @ 7.28706 7.80/7.93 c bounds 0 >= -1393 @ 7.28767 7.80/7.93 c bounds 0 >= -1392 @ 7.28835 7.80/7.93 c bounds 0 >= -1391 @ 7.2892 7.80/7.93 c bounds 0 >= -1390 @ 7.28986 7.80/7.93 c bounds 0 >= -1389 @ 7.29049 7.80/7.93 c bounds 0 >= -1388 @ 7.29116 7.80/7.93 c bounds 0 >= -1387 @ 7.29179 7.80/7.93 c bounds 0 >= -1386 @ 7.29245 7.80/7.93 c bounds 0 >= -1385 @ 7.29327 7.80/7.93 c bounds 0 >= -1384 @ 7.29393 7.80/7.93 c bounds 0 >= -1383 @ 7.29461 7.80/7.93 c bounds 0 >= -1382 @ 7.29465 7.80/7.93 c bounds 0 >= -1381 @ 7.29493 7.80/7.93 c bounds 0 >= -1380 @ 7.29555 7.80/7.93 c bounds 0 >= -1379 @ 7.29621 7.80/7.93 c bounds 0 >= -1378 @ 7.29684 7.80/7.93 c bounds 0 >= -1377 @ 7.29753 7.80/7.93 c bounds 0 >= -1376 @ 7.29827 7.80/7.93 c bounds -55 >= -1376 @ 7.30548 7.80/7.93 c bounds -55 >= -1375 @ 7.30645 7.80/7.93 c bounds -55 >= -1374 @ 7.30719 7.80/7.93 c bounds -55 >= -1373 @ 7.30751 7.80/7.93 c bounds -55 >= -1372 @ 7.30795 7.80/7.93 c bounds -55 >= -1371 @ 7.30861 7.80/7.93 c bounds -55 >= -1370 @ 7.30861 7.80/7.93 c bounds -55 >= -1369 @ 7.309 7.80/7.93 c bounds -55 >= -1368 @ 7.30964 7.80/7.93 c bounds -55 >= -1367 @ 7.31034 7.80/7.93 c bounds -55 >= -1366 @ 7.311 7.80/7.93 c bounds -55 >= -1365 @ 7.31163 7.80/7.93 c bounds -55 >= -1364 @ 7.3124 7.80/7.93 c bounds -55 >= -1363 @ 7.31302 7.80/7.93 c bounds -55 >= -1362 @ 7.31385 7.80/7.93 c bounds -55 >= -1361 @ 7.31481 7.80/7.93 c bounds -55 >= -1360 @ 7.31549 7.80/7.93 c bounds -55 >= -1359 @ 7.31618 7.80/7.93 c bounds -55 >= -1358 @ 7.31687 7.80/7.93 c bounds -55 >= -1357 @ 7.31755 7.80/7.93 c bounds -55 >= -1356 @ 7.31759 7.80/7.93 c bounds -55 >= -1355 @ 7.31793 7.80/7.93 c bounds -55 >= -1354 @ 7.31855 7.80/7.93 c bounds -55 >= -1353 @ 7.3192 7.80/7.93 c bounds -55 >= -1352 @ 7.32006 7.80/7.93 c bounds -55 >= -1351 @ 7.32071 7.80/7.93 c bounds -55 >= -1350 @ 7.32172 7.80/7.93 c bounds -55 >= -1349 @ 7.32241 7.80/7.93 c bounds -55 >= -1348 @ 7.3231 7.80/7.93 c bounds -55 >= -1347 @ 7.32381 7.80/7.93 c bounds -55 >= -1346 @ 7.32451 7.80/7.93 c bounds -55 >= -1345 @ 7.32457 7.80/7.93 c bounds -55 >= -1344 @ 7.32538 7.80/7.93 c bounds -55 >= -1343 @ 7.32603 7.80/7.93 c bounds -55 >= -1342 @ 7.3267 7.80/7.93 c bounds -55 >= -1341 @ 7.32734 7.80/7.93 c bounds -55 >= -1340 @ 7.32802 7.80/7.93 c bounds -55 >= -1339 @ 7.32892 7.80/7.93 c bounds -55 >= -1338 @ 7.32963 7.80/7.93 c bounds -55 >= -1337 @ 7.33032 7.80/7.93 c bounds -55 >= -1336 @ 7.33106 7.80/7.93 c bounds -55 >= -1335 @ 7.33218 7.80/7.93 c bounds -55 >= -1334 @ 7.33287 7.80/7.93 c bounds -55 >= -1333 @ 7.33355 7.80/7.93 c bounds -55 >= -1332 @ 7.33423 7.80/7.93 c bounds -55 >= -1331 @ 7.33489 7.80/7.93 c bounds -55 >= -1330 @ 7.33557 7.80/7.93 c bounds -55 >= -1329 @ 7.33625 7.80/7.93 c bounds -55 >= -1328 @ 7.33711 7.80/7.93 c bounds -55 >= -1327 @ 7.33787 7.80/7.93 c bounds -55 >= -1326 @ 7.33908 7.80/7.93 c bounds -110 >= -1326 @ 7.34439 7.80/7.93 c bounds -110 >= -1325 @ 7.34575 7.80/7.93 c bounds -110 >= -1324 @ 7.3468 7.80/7.93 c bounds -110 >= -1323 @ 7.3475 7.80/7.93 c bounds -110 >= -1322 @ 7.34827 7.80/7.93 c bounds -110 >= -1321 @ 7.34896 7.80/7.93 c bounds -110 >= -1320 @ 7.34967 7.80/7.93 c bounds -110 >= -1319 @ 7.35035 7.80/7.93 c bounds -110 >= -1318 @ 7.35104 7.80/7.93 c bounds -110 >= -1317 @ 7.35173 7.80/7.93 c bounds -110 >= -1316 @ 7.35275 7.80/7.93 c bounds -110 >= -1315 @ 7.35399 7.80/7.93 c bounds -110 >= -1314 @ 7.35473 7.80/7.93 c bounds -110 >= -1313 @ 7.35553 7.80/7.93 c bounds -110 >= -1312 @ 7.35625 7.80/7.93 c bounds -110 >= -1311 @ 7.35701 7.80/7.93 c bounds -110 >= -1310 @ 7.3577 7.80/7.93 c bounds -110 >= -1309 @ 7.35837 7.80/7.93 c bounds -110 >= -1308 @ 7.35905 7.80/7.93 c bounds -110 >= -1307 @ 7.35972 7.80/7.93 c bounds -110 >= -1306 @ 7.36037 7.80/7.93 c bounds -110 >= -1305 @ 7.36044 7.80/7.93 c bounds -110 >= -1304 @ 7.36111 7.80/7.93 c bounds -110 >= -1303 @ 7.36191 7.80/7.93 c bounds -110 >= -1302 @ 7.36289 7.80/7.93 c bounds -110 >= -1301 @ 7.36362 7.80/7.93 c bounds -110 >= -1300 @ 7.36431 7.80/7.93 c bounds -165 >= -1300 @ 7.36993 7.80/7.93 c bounds -165 >= -1299 @ 7.37152 7.80/7.93 c bounds -165 >= -1298 @ 7.37231 7.80/7.93 c bounds -165 >= -1297 @ 7.37302 7.80/7.93 c bounds -165 >= -1296 @ 7.37369 7.80/7.93 c bounds -165 >= -1295 @ 7.3748 7.80/7.93 c bounds -165 >= -1294 @ 7.37594 7.80/7.93 c bounds -165 >= -1293 @ 7.37666 7.80/7.93 c bounds -165 >= -1292 @ 7.37737 7.80/7.93 c bounds -165 >= -1291 @ 7.37802 7.80/7.93 c bounds -165 >= -1290 @ 7.37869 7.80/7.93 c bounds -165 >= -1289 @ 7.37934 7.80/7.93 c bounds -165 >= -1288 @ 7.37999 7.80/7.93 c bounds -165 >= -1287 @ 7.38098 7.80/7.93 c bounds -165 >= -1286 @ 7.38217 7.80/7.93 c bounds -165 >= -1285 @ 7.38293 7.80/7.93 c bounds -165 >= -1284 @ 7.38368 7.80/7.93 c bounds -165 >= -1283 @ 7.38434 7.80/7.93 c bounds -165 >= -1282 @ 7.3851 7.80/7.93 c bounds -165 >= -1281 @ 7.38577 7.80/7.93 c bounds -165 >= -1280 @ 7.38646 303.99/305.34 c bounds -165 >= -1279 @ 7.38759 303.99/305.34 c bounds -220 >= -1279 @ 7.39284 303.99/305.34 c bounds -220 >= -1278 @ 7.39434 303.99/305.34 c bounds -220 >= -1277 @ 7.39574 303.99/305.34 c bounds -220 >= -1276 @ 7.39671 303.99/305.34 c bounds -220 >= -1275 @ 7.39786 303.99/305.34 c bounds -220 >= -1274 @ 7.39912 303.99/305.34 c bounds -220 >= -1273 @ 7.40056 303.99/305.34 c bounds -275 >= -1273 @ 7.40561 303.99/305.34 c bounds -275 >= -1272 @ 7.40813 303.99/305.34 c bounds -275 >= -1271 @ 7.40912 303.99/305.34 c bounds -275 >= -1270 @ 7.41038 303.99/305.34 c bounds -275 >= -1269 @ 7.41129 303.99/305.34 c bounds -275 >= -1268 @ 7.41263 303.99/305.34 c bounds -330 >= -1268 @ 7.41655 303.99/305.34 c bounds -330 >= -1267 @ 7.41868 303.99/305.34 c bounds -330 >= -1266 @ 7.41967 303.99/305.34 c bounds -330 >= -1265 @ 7.42053 303.99/305.34 c bounds -330 >= -1264 @ 7.42141 303.99/305.34 c bounds -330 >= -1263 @ 7.42224 303.99/305.34 c bounds -330 >= -1262 @ 7.42307 303.99/305.34 c bounds -330 >= -1261 @ 7.42418 303.99/305.34 c bounds -330 >= -1260 @ 7.42517 303.99/305.34 c bounds -385 >= -1260 @ 7.42952 303.99/305.34 c bounds -385 >= -1259 @ 7.43132 303.99/305.34 c bounds -385 >= -1258 @ 7.43218 303.99/305.34 c bounds -385 >= -1257 @ 7.43292 303.99/305.34 c bounds -385 >= -1256 @ 7.43303 303.99/305.34 c bounds -385 >= -1255 @ 7.43372 303.99/305.34 c bounds -385 >= -1254 @ 7.4345 303.99/305.34 c bounds -385 >= -1253 @ 7.43524 303.99/305.34 c bounds -385 >= -1252 @ 7.43644 303.99/305.34 c bounds -385 >= -1251 @ 7.43795 303.99/305.34 c bounds -440 >= -1251 @ 7.44256 303.99/305.34 c bounds -440 >= -1250 @ 7.44503 303.99/305.34 c bounds -440 >= -1249 @ 7.44887 303.99/305.34 c bounds -440 >= -1248 @ 7.45305 303.99/305.34 c bounds -495 >= -1248 @ 7.46391 303.99/305.34 c bounds -495 >= -1247 @ 7.46628 303.99/305.34 c bounds -495 >= -1246 @ 7.46893 303.99/305.34 c bounds -495 >= -1245 @ 7.47517 303.99/305.34 c bounds -532 >= -1245 @ 7.48782 303.99/305.34 c bounds -532 >= -1244 @ 7.49198 303.99/305.34 c bounds -532 >= -1243 @ 7.50197 303.99/305.34 c bounds -567 >= -1243 @ 7.51061 303.99/305.34 c bounds -567 >= -1242 @ 7.51763 303.99/305.34 c bounds -602 >= -1242 @ 7.52569 303.99/305.34 c bounds -602 >= -1241 @ 7.53047 303.99/305.34 c bounds -602 >= -1240 @ 7.53446 303.99/305.34 c bounds -751 >= -1240 @ 7.54197 303.99/305.34 c bounds -751 >= -1239 @ 7.55476 303.99/305.34 c bounds -776 >= -1239 @ 7.56285 303.99/305.34 c bounds -801 >= -1239 @ 7.57305 303.99/305.34 c bounds -801 >= -1238 @ 7.58251 303.99/305.34 c bounds -826 >= -1238 @ 7.5938 303.99/305.34 c bounds -826 >= -1237 @ 7.6013 303.99/305.34 c bounds -851 >= -1237 @ 7.60672 303.99/305.34 c bounds -851 >= -1236 @ 7.61866 303.99/305.34 c bounds -882 >= -1236 @ 7.63596 303.99/305.34 c bounds -882 >= -1235 @ 7.66068 303.99/305.34 c bounds -901 >= -1235 @ 7.67066 303.99/305.34 c bounds -930 >= -1235 @ 7.69641 303.99/305.34 c bounds -947 >= -1235 @ 8.01897 303.99/305.34 c bounds -947 >= -1234 @ 8.03571 303.99/305.34 c #Conflicts: 1000 | #Constraints: 187566 303.99/305.34 c bounds -947 >= -1233 @ 8.105 303.99/305.34 c bounds -956 >= -1233 @ 8.12185 303.99/305.34 c bounds -965 >= -1233 @ 8.12844 303.99/305.34 c bounds -965 >= -1232 @ 8.14677 303.99/305.34 c bounds -978 >= -1232 @ 8.26466 303.99/305.34 c bounds -978 >= -1231 @ 8.32013 303.99/305.34 c bounds -991 >= -1231 @ 8.33531 303.99/305.34 c bounds -1004 >= -1231 @ 8.3415 303.99/305.34 c bounds -1017 >= -1231 @ 8.34808 303.99/305.34 c bounds -1030 >= -1231 @ 8.35519 303.99/305.34 c bounds -1031 >= -1231 @ 8.36098 303.99/305.34 c bounds -1032 >= -1231 @ 8.3665 303.99/305.34 c bounds -1039 >= -1231 @ 8.3705 303.99/305.34 c #Conflicts: 2000 | #Constraints: 188750 303.99/305.34 c INPROCESSING 303.99/305.34 c GARBAGE COLLECT 303.99/305.34 c bounds -1042 >= -1231 @ 74.1215 303.99/305.34 c bounds -1042 >= -1230 @ 74.136 303.99/305.34 c bounds -1042 >= -1229 @ 74.239 303.99/305.34 c #Conflicts: 3000 | #Constraints: 188204 303.99/305.34 c bounds -1045 >= -1229 @ 74.4288 303.99/305.34 c #Conflicts: 4000 | #Constraints: 189205 303.99/305.34 c INPROCESSING 303.99/305.34 c GARBAGE COLLECT 303.99/305.34 c bounds -1045 >= -1228 @ 76.0324 303.99/305.34 c #Conflicts: 5000 | #Constraints: 188597 303.99/305.34 c bounds -1045 >= -1227 @ 76.105 303.99/305.34 c #Conflicts: 6000 | #Constraints: 189621 303.99/305.34 c INPROCESSING 303.99/305.34 c bounds -1056 >= -1227 @ 174.37 303.99/305.34 c #Conflicts: 7000 | #Constraints: 188668 303.99/305.34 c #Conflicts: 8000 | #Constraints: 189668 303.99/305.34 c bounds -1067 >= -1227 @ 176.721 303.99/305.34 c #Conflicts: 9000 | #Constraints: 190669 303.99/305.34 c bounds -1067 >= -1226 @ 177.122 303.99/305.34 c #Conflicts: 10000 | #Constraints: 191684 303.99/305.34 c #Conflicts: 11000 | #Constraints: 192684 303.99/305.34 c bounds -1078 >= -1226 @ 179.257 303.99/305.34 c #Conflicts: 12000 | #Constraints: 193685 303.99/305.34 c INPROCESSING 303.99/305.34 c GARBAGE COLLECT 303.99/305.34 WSVECS04 Frhs2[560]: 6 0 1.00002 shouldn't be 303.99/305.34 WSVECS04 Frhs2[665]: 6 0 1.00003 shouldn't be 321.20/322.65 WSVECS04 Frhs2[933]: 6 0 1.00007 shouldn't be 1086.57/1091.01 c #Conflicts: 13000 | #Constraints: 190602 1086.57/1091.01 c bounds -1089 >= -1226 @ 408.439 1086.57/1091.01 c #Conflicts: 14000 | #Constraints: 191603 1086.57/1091.01 c #Conflicts: 15000 | #Constraints: 192603 1086.57/1091.01 c #Conflicts: 16000 | #Constraints: 193603 1086.57/1091.01 c INPROCESSING 1086.57/1091.01 c GARBAGE COLLECT 1086.57/1091.01 c bounds -1089 >= -1225 @ 412.683 1086.57/1091.01 c #Conflicts: 17000 | #Constraints: 190733 1086.57/1091.01 c #Conflicts: 18000 | #Constraints: 191733 1086.57/1091.01 c #Conflicts: 19000 | #Constraints: 192733 1086.57/1091.01 c bounds -1089 >= -1224 @ 413.607 1086.57/1091.01 c #Conflicts: 20000 | #Constraints: 193805 1086.57/1091.01 c INPROCESSING 1086.57/1091.01 c GARBAGE COLLECT 1086.57/1091.01 c #Conflicts: 21000 | #Constraints: 190909 1086.57/1091.01 c #Conflicts: 22000 | #Constraints: 191909 1086.57/1091.01 c #Conflicts: 23000 | #Constraints: 192914 1086.57/1091.01 c #Conflicts: 24000 | #Constraints: 193916 1086.57/1091.01 c #Conflicts: 25000 | #Constraints: 194917 1086.57/1091.01 c #Conflicts: 26000 | #Constraints: 195921 1086.57/1091.01 c #Conflicts: 27000 | #Constraints: 196925 1086.57/1091.01 c #Conflicts: 28000 | #Constraints: 197927 1086.57/1091.01 c #Conflicts: 29000 | #Constraints: 198929 1086.57/1091.01 c #Conflicts: 30000 | #Constraints: 199931 1086.57/1091.01 c INPROCESSING 1086.57/1091.01 c GARBAGE COLLECT 1086.57/1091.01 c #Conflicts: 31000 | #Constraints: 193766 1086.57/1091.01 c #Conflicts: 32000 | #Constraints: 194766 1086.57/1091.01 c #Conflicts: 33000 | #Constraints: 195766 1086.57/1091.01 c #Conflicts: 34000 | #Constraints: 196766 1086.57/1091.01 c #Conflicts: 35000 | #Constraints: 197766 1086.57/1091.01 c #Conflicts: 36000 | #Constraints: 198766 1086.57/1091.01 c INPROCESSING 1086.57/1091.01 c GARBAGE COLLECT 1086.57/1091.01 c #Conflicts: 37000 | #Constraints: 193627 1086.57/1091.01 c #Conflicts: 38000 | #Constraints: 194627 1086.57/1091.01 c #Conflicts: 39000 | #Constraints: 195627 1086.57/1091.01 c bounds -1089 >= -1223 @ 939.227 1086.57/1091.01 c #Conflicts: 40000 | #Constraints: 196705 1086.57/1091.01 c #Conflicts: 41000 | #Constraints: 197705 1086.57/1091.01 c INPROCESSING 1086.57/1091.01 c GARBAGE COLLECT 1086.57/1091.01 WSVECS04 Frhs2[1670]: 6 0 1.00003 shouldn't be 2841.57/2852.90 c #Conflicts: 42000 | #Constraints: 192918 2841.57/2852.90 c #Conflicts: 43000 | #Constraints: 193918 2841.57/2852.90 c #Conflicts: 44000 | #Constraints: 194918 2841.57/2852.90 c #Conflicts: 45000 | #Constraints: 195918 2841.57/2852.90 c #Conflicts: 46000 | #Constraints: 196918 2841.57/2852.90 c #Conflicts: 47000 | #Constraints: 197918 2841.57/2852.90 c #Conflicts: 48000 | #Constraints: 198918 2841.57/2852.90 c #Conflicts: 49000 | #Constraints: 199918 2841.57/2852.90 c #Conflicts: 50000 | #Constraints: 200918 2841.57/2852.90 c #Conflicts: 51000 | #Constraints: 201918 2841.57/2852.90 c #Conflicts: 52000 | #Constraints: 202918 2841.57/2852.90 c #Conflicts: 53000 | #Constraints: 203918 2841.57/2852.90 c #Conflicts: 54000 | #Constraints: 204918 2841.57/2852.90 c #Conflicts: 55000 | #Constraints: 205918 2841.57/2852.90 c #Conflicts: 56000 | #Constraints: 206918 2841.57/2852.90 c INPROCESSING 2841.57/2852.90 c GARBAGE COLLECT 2841.57/2852.90 c #Conflicts: 57000 | #Constraints: 197724 2841.57/2852.90 c #Conflicts: 58000 | #Constraints: 198724 2841.57/2852.90 c #Conflicts: 59000 | #Constraints: 199724 2841.57/2852.90 c #Conflicts: 60000 | #Constraints: 200724 2841.57/2852.90 c #Conflicts: 61000 | #Constraints: 201724 2841.57/2852.90 c #Conflicts: 62000 | #Constraints: 202724 2841.57/2852.90 c bounds -1089 >= -1222 @ 1751.04 2841.57/2852.90 c INPROCESSING 2841.57/2852.90 c GARBAGE COLLECT 2841.57/2852.90 c #Conflicts: 63000 | #Constraints: 195379 2841.57/2852.90 c #Conflicts: 64000 | #Constraints: 196379 2841.57/2852.90 c bounds -1089 >= -1221 @ 1752.65 2841.57/2852.90 c #Conflicts: 65000 | #Constraints: 197403 2841.57/2852.90 c #Conflicts: 66000 | #Constraints: 198403 2841.57/2852.90 c #Conflicts: 67000 | #Constraints: 199403 2841.57/2852.90 c bounds -1089 >= -1220 @ 1754.1 2841.57/2852.90 c #Conflicts: 68000 | #Constraints: 200433 2841.57/2852.90 c #Conflicts: 69000 | #Constraints: 201433 2841.57/2852.90 c #Conflicts: 70000 | #Constraints: 202433 2841.57/2852.90 c #Conflicts: 71000 | #Constraints: 203433 2841.57/2852.90 c #Conflicts: 72000 | #Constraints: 204433 2841.57/2852.90 c bounds -1089 >= -1219 @ 1756.56 2841.57/2852.90 c #Conflicts: 73000 | #Constraints: 205493 2841.57/2852.90 c #Conflicts: 74000 | #Constraints: 206493 2841.57/2852.90 c #Conflicts: 75000 | #Constraints: 207493 2841.57/2852.90 c #Conflicts: 76000 | #Constraints: 208493 2841.57/2852.90 c #Conflicts: 77000 | #Constraints: 209493 2841.57/2852.90 c bounds -1089 >= -1218 @ 1760 2841.57/2852.90 c #Conflicts: 78000 | #Constraints: 210529 2841.57/2852.90 c #Conflicts: 79000 | #Constraints: 211529 2841.57/2852.90 c #Conflicts: 80000 | #Constraints: 212529 2841.57/2852.90 c INPROCESSING 2841.57/2852.90 c GARBAGE COLLECT 2841.57/2852.90 c #Conflicts: 81000 | #Constraints: 200151 2841.57/2852.90 c #Conflicts: 82000 | #Constraints: 201151 2841.57/2852.90 c #Conflicts: 83000 | #Constraints: 202151 2841.57/2852.90 c #Conflicts: 84000 | #Constraints: 203151 2841.57/2852.90 c #Conflicts: 85000 | #Constraints: 204151 2841.57/2852.90 c #Conflicts: 86000 | #Constraints: 205151 2841.57/2852.90 c #Conflicts: 87000 | #Constraints: 206151 2841.57/2852.90 c #Conflicts: 88000 | #Constraints: 207151 2841.57/2852.90 c #Conflicts: 89000 | #Constraints: 208151 2841.57/2852.90 c #Conflicts: 90000 | #Constraints: 209151 2841.57/2852.90 c #Conflicts: 91000 | #Constraints: 210151 2841.57/2852.90 c #Conflicts: 92000 | #Constraints: 211151 2841.57/2852.90 c #Conflicts: 93000 | #Constraints: 212151 2841.57/2852.90 c #Conflicts: 94000 | #Constraints: 213151 2841.57/2852.90 c #Conflicts: 95000 | #Constraints: 214151 2841.57/2852.90 c #Conflicts: 96000 | #Constraints: 215157 2841.57/2852.90 c #Conflicts: 97000 | #Constraints: 216161 2841.57/2852.90 c #Conflicts: 98000 | #Constraints: 217162 2841.57/2852.90 c #Conflicts: 99000 | #Constraints: 218164 2841.57/2852.90 c #Conflicts: 100000 | #Constraints: 219167 2841.57/2852.90 c INPROCESSING 2841.57/2852.90 c GARBAGE COLLECT 2841.57/2852.90 c #Conflicts: 101000 | #Constraints: 203946 2841.57/2852.90 c #Conflicts: 102000 | #Constraints: 204946 2841.57/2852.90 c #Conflicts: 103000 | #Constraints: 205946 2841.57/2852.90 c bounds -1089 >= -1217 @ 2830.92 2841.57/2852.90 c #Conflicts: 104000 | #Constraints: 206970 2841.57/2852.90 c #Conflicts: 105000 | #Constraints: 207970 2841.57/2852.90 c #Conflicts: 106000 | #Constraints: 208970 2841.57/2852.90 c #Conflicts: 107000 | #Constraints: 209970 2841.57/2852.90 c #Conflicts: 108000 | #Constraints: 210970 2841.57/2852.90 c #Conflicts: 109000 | #Constraints: 211970 2841.57/2852.90 c INPROCESSING 2841.57/2852.90 c GARBAGE COLLECT 2841.57/2852.90 c #Conflicts: 110000 | #Constraints: 201715 2841.57/2852.90 c #Conflicts: 111000 | #Constraints: 202715 2841.57/2852.90 c #Conflicts: 112000 | #Constraints: 203715 2841.57/2852.90 c #Conflicts: 113000 | #Constraints: 204715 2961.02/2972.85 c #Conflicts: 114000 | #Constraints: 205715 2961.02/2972.85 c #Conflicts: 115000 | #Constraints: 206715 2961.02/2972.85 c #Conflicts: 116000 | #Constraints: 207715 2961.02/2972.85 c #Conflicts: 117000 | #Constraints: 208715 2961.02/2972.85 c #Conflicts: 118000 | #Constraints: 209715 2961.02/2972.85 c bounds -1089 >= -1216 @ 2839.78 2961.02/2972.85 c #Conflicts: 119000 | #Constraints: 210769 2961.02/2972.85 c #Conflicts: 120000 | #Constraints: 211769 2961.02/2972.85 c #Conflicts: 121000 | #Constraints: 212769 2961.02/2972.85 c #Conflicts: 122000 | #Constraints: 213769 2961.02/2972.85 c #Conflicts: 123000 | #Constraints: 214769 2961.02/2972.85 c #Conflicts: 124000 | #Constraints: 215769 2961.02/2972.85 c #Conflicts: 125000 | #Constraints: 216769 2961.02/2972.85 c #Conflicts: 126000 | #Constraints: 217769 2961.02/2972.85 c #Conflicts: 127000 | #Constraints: 218769 2961.02/2972.85 c bounds -1089 >= -1215 @ 2847.73 2961.02/2972.85 c #Conflicts: 128000 | #Constraints: 219811 2961.02/2972.85 c #Conflicts: 129000 | #Constraints: 220811 2961.02/2972.85 c #Conflicts: 130000 | #Constraints: 221811 2961.02/2972.85 c #Conflicts: 131000 | #Constraints: 222811 2961.02/2972.85 c #Conflicts: 132000 | #Constraints: 223811 2961.02/2972.85 c INPROCESSING 2961.02/2972.85 c GARBAGE COLLECT 2961.02/2972.85 c #Conflicts: 133000 | #Constraints: 206185 2961.02/2972.85 c #Conflicts: 134000 | #Constraints: 207185 2961.02/2972.85 c #Conflicts: 135000 | #Constraints: 208185 2961.02/2972.85 c #Conflicts: 136000 | #Constraints: 209185 2961.02/2972.85 c #Conflicts: 137000 | #Constraints: 210185 2961.02/2972.85 c #Conflicts: 138000 | #Constraints: 211185 2961.02/2972.85 c #Conflicts: 139000 | #Constraints: 212185 2961.02/2972.85 c #Conflicts: 140000 | #Constraints: 213185 2961.02/2972.85 c #Conflicts: 141000 | #Constraints: 214185 2961.02/2972.85 c #Conflicts: 142000 | #Constraints: 215185 2961.02/2972.85 c #Conflicts: 143000 | #Constraints: 216185 2961.02/2972.85 c #Conflicts: 144000 | #Constraints: 217185 2961.02/2972.85 c #Conflicts: 145000 | #Constraints: 218185 2961.02/2972.85 c #Conflicts: 146000 | #Constraints: 219185 2961.02/2972.85 c #Conflicts: 147000 | #Constraints: 220185 2961.02/2972.85 c #Conflicts: 148000 | #Constraints: 221185 2961.02/2972.85 c #Conflicts: 149000 | #Constraints: 222185 2961.02/2972.85 c #Conflicts: 150000 | #Constraints: 223185 2961.02/2972.85 c #Conflicts: 151000 | #Constraints: 224185 2961.02/2972.85 c #Conflicts: 152000 | #Constraints: 225185 2961.02/2972.85 c #Conflicts: 153000 | #Constraints: 226185 2961.02/2972.85 c #Conflicts: 154000 | #Constraints: 227185 2961.02/2972.85 c #Conflicts: 155000 | #Constraints: 228185 2961.02/2972.85 c #Conflicts: 156000 | #Constraints: 229185 2961.02/2972.85 c INPROCESSING 2961.02/2972.85 c GARBAGE COLLECT 2961.02/2972.85 c #Conflicts: 157000 | #Constraints: 208691 2961.02/2972.85 c #Conflicts: 158000 | #Constraints: 209691 2961.02/2972.85 c #Conflicts: 159000 | #Constraints: 210691 2961.02/2972.85 c #Conflicts: 160000 | #Constraints: 211691 2961.02/2972.85 c #Conflicts: 161000 | #Constraints: 212691 2961.02/2972.85 c #Conflicts: 162000 | #Constraints: 213691 2961.02/2972.85 c bounds -1089 >= -1214 @ 2925.69 2961.02/2972.85 c #Conflicts: 163000 | #Constraints: 214724 2961.02/2972.85 c #Conflicts: 164000 | #Constraints: 215724 2961.02/2972.85 c #Conflicts: 165000 | #Constraints: 216724 2961.02/2972.85 c #Conflicts: 166000 | #Constraints: 217724 2961.02/2972.85 c bounds -1089 >= -1213 @ 2929.75 2961.02/2972.85 c #Conflicts: 167000 | #Constraints: 218760 2961.02/2972.85 c #Conflicts: 168000 | #Constraints: 219760 2961.02/2972.85 c INPROCESSING 2961.02/2972.85 c GARBAGE COLLECT 2961.02/2972.85 c #Conflicts: 169000 | #Constraints: 208247 2961.02/2972.85 c #Conflicts: 170000 | #Constraints: 209247 2961.02/2972.85 c #Conflicts: 171000 | #Constraints: 210247 2961.02/2972.85 c #Conflicts: 172000 | #Constraints: 211247 2961.02/2972.85 c #Conflicts: 173000 | #Constraints: 212247 2961.02/2972.85 c bounds -1089 >= -1212 @ 2936.7 2961.02/2972.85 c #Conflicts: 174000 | #Constraints: 213286 2961.02/2972.85 c #Conflicts: 175000 | #Constraints: 214286 2961.02/2972.85 c #Conflicts: 176000 | #Constraints: 215286 2961.02/2972.85 c #Conflicts: 177000 | #Constraints: 216286 2961.02/2972.85 c #Conflicts: 178000 | #Constraints: 217286 2961.02/2972.85 c #Conflicts: 179000 | #Constraints: 218286 2961.02/2972.85 c #Conflicts: 180000 | #Constraints: 219286 2961.02/2972.85 c #Conflicts: 181000 | #Constraints: 220286 2961.02/2972.85 c #Conflicts: 182000 | #Constraints: 221286 2961.02/2972.85 c #Conflicts: 183000 | #Constraints: 222286 2961.02/2972.85 c #Conflicts: 184000 | #Constraints: 223286 2961.02/2972.85 c bounds -1089 >= -1211 @ 2949.66 2961.02/2972.85 c #Conflicts: 185000 | #Constraints: 224334 2961.02/2972.85 c #Conflicts: 186000 | #Constrain
ERROR: no interpretation found !
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: 64096 MiB (59484 MiB free)
memory of node 1: 64473 MiB (57504 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458870-1721884897/watcher-4458870-1721884897 -o /tmp/evaluation-result-4458870-1721884897/solver-4458870-1721884897 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721877159-216649 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4458870-1721884897 --lp-cut-gomory=0 HOME/instance-4458870-1721884897.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=222038, runsolver pid=222035
[startup+0.100119 s]*
/proc/loadavg: 4.06 4.11 4.16 5/248 222039
/proc/meminfo: memFree=119794060/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=38436 memory=6836 CPUtime=0.05 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 538 0 0 0 4 1 0 0 20 0 1 0 24478655 39358464 1709 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 9609 1709 1376 992 0 1467 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 6836 KiB
[startup+0.217113 s]*
/proc/loadavg: 4.06 4.11 4.16 5/248 222039
/proc/meminfo: memFree=119790872/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=38568 memory=9408 CPUtime=0.16 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 629 0 0 0 12 4 0 0 20 0 1 0 24478655 39493632 2352 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 9642 2352 1376 992 0 1500 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 38568 KiB
Current children cumulated memory: 9408 KiB
[startup+0.313631 s]*
/proc/loadavg: 4.06 4.11 4.16 5/248 222039
/proc/meminfo: memFree=119789892/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=39092 memory=9760 CPUtime=0.26 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 744 0 0 0 19 7 0 0 20 0 1 0 24478655 40030208 2440 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 9773 2440 1376 992 0 1631 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 39092 KiB
Current children cumulated memory: 9760 KiB
[startup+0.700323 s]
/proc/loadavg: 4.06 4.11 4.16 5/248 222039
/proc/meminfo: memFree=119787736/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=40536 memory=12032 CPUtime=0.63 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 1409 0 0 0 48 15 0 0 20 0 1 0 24478655 41508864 3008 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 10134 3008 1376 992 0 1992 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 40536 KiB
Current children cumulated memory: 12032 KiB
[startup+1.50027 s]
/proc/loadavg: 4.06 4.11 4.16 5/248 222039
/proc/meminfo: memFree=119779672/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=85212 memory=54956 CPUtime=1.42 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 12179 0 0 0 106 36 0 0 20 0 1 0 24478655 87257088 13739 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 21303 13739 1663 992 0 13161 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 85212 KiB
Current children cumulated memory: 54956 KiB
[startup+3.1136 s]
/proc/loadavg: 4.06 4.11 4.16 5/248 222039
/proc/meminfo: memFree=119679776/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=136584 memory=106636 CPUtime=3.03 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 26558 0 0 0 261 42 0 0 20 0 1 0 24478655 139862016 26659 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 34146 26659 1711 992 0 26004 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 136584 KiB
Current children cumulated memory: 106636 KiB
[startup+6.30027 s]
/proc/loadavg: 4.06 4.11 4.16 5/248 222040
/proc/meminfo: memFree=119677660/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=136584 memory=106636 CPUtime=6.2 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 26568 0 0 0 578 42 0 0 20 0 1 0 24478655 139862016 26659 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 34146 26659 1711 992 0 26004 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 136584 KiB
Current children cumulated memory: 106636 KiB
[startup+12.7003 s]
/proc/loadavg: 4.05 4.11 4.16 5/248 222040
/proc/meminfo: memFree=119640412/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=147444 memory=118148 CPUtime=12.58 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 28855 0 0 0 1204 54 0 0 20 0 1 0 24478655 150982656 29537 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 36861 29537 1822 992 0 28719 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 147444 KiB
Current children cumulated memory: 118148 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.12 4.16 5/246 222043
/proc/meminfo: memFree=119563512/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=165576 memory=132676 CPUtime=25.33 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 29454 0 0 0 2477 56 0 0 20 0 1 0 24478655 169549824 33169 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 41394 33169 1822 992 0 33252 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 132676 KiB
[startup+51.1134 s]
/proc/loadavg: 4.55 4.22 4.20 5/245 222046
/proc/meminfo: memFree=119515100/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=165576 memory=134724 CPUtime=50.83 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 29506 0 0 0 5025 58 0 0 20 0 1 0 24478655 169549824 33681 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 41394 33681 1822 992 0 33252 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 134724 KiB
[startup+102.3 s]
/proc/loadavg: 4.75 4.34 4.24 5/246 222056
/proc/meminfo: memFree=119328160/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=166788 memory=137700 CPUtime=101.82 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 30240 0 0 0 10110 72 0 0 20 0 1 0 24478655 170790912 34425 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 41697 34425 1873 992 0 33555 0
Current children cumulated CPU time: 101.82 s
Current children cumulated vsize: 166788 KiB
Current children cumulated memory: 137700 KiB
[startup+162.3 s]
/proc/loadavg: 4.32 4.29 4.23 5/246 222067
/proc/meminfo: memFree=119236740/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=204820 memory=167660 CPUtime=161.57 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 31644 0 0 0 16075 82 0 0 20 0 1 0 24478655 209735680 41915 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 51205 41915 1873 992 0 43063 0
Current children cumulated CPU time: 161.57 s
Current children cumulated vsize: 204820 KiB
Current children cumulated memory: 167660 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.25 4.21 5/246 222077
/proc/meminfo: memFree=118995848/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=216496 memory=173776 CPUtime=221.32 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 32185 0 0 0 22029 103 0 0 20 0 1 0 24478655 221691904 43444 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 54124 43444 1873 992 0 45982 0
Current children cumulated CPU time: 221.32 s
Current children cumulated vsize: 216496 KiB
Current children cumulated memory: 173776 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.23 4.21 5/247 222474
/proc/meminfo: memFree=118714240/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=216496 memory=173776 CPUtime=281.08 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 32208 0 0 0 27998 110 0 0 20 0 1 0 24478655 221691904 43444 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 54124 43444 1873 992 0 45982 0
Current children cumulated CPU time: 281.08 s
Current children cumulated vsize: 216496 KiB
Current children cumulated memory: 173776 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.20 4.20 5/247 222485
/proc/meminfo: memFree=118590224/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=216496 memory=173860 CPUtime=340.81 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 32236 0 0 0 33965 116 0 0 20 0 1 0 24478655 221691904 43465 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 54124 43465 1873 992 0 45982 0
Current children cumulated CPU time: 340.81 s
Current children cumulated vsize: 216496 KiB
Current children cumulated memory: 173860 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.20 4.19 5/242 222522
/proc/meminfo: memFree=118483692/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=216496 memory=173860 CPUtime=400.57 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 32280 0 0 0 39936 121 0 0 20 0 1 0 24478655 221691904 43465 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 54124 43465 1873 992 0 45982 0
Current children cumulated CPU time: 400.57 s
Current children cumulated vsize: 216496 KiB
Current children cumulated memory: 173860 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/250 222723
/proc/meminfo: memFree=119673668/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=235464 memory=198744 CPUtime=460.36 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 32943 0 0 0 45880 156 0 0 20 0 1 0 24478655 241115136 49686 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 58866 49686 1889 992 0 50724 0
Current children cumulated CPU time: 460.36 s
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 3.33 3.30 3.50 4/240 224076
/proc/meminfo: memFree=114695900/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=359136 memory=280236 CPUtime=3149.75 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 36884 0 0 0 314277 698 0 0 20 0 1 0 24478655 367755264 70059 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 89784 70059 1889 992 0 81642 0
Current children cumulated CPU time: 3149.75 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 280236 KiB
[startup+3222.3 s]
/proc/loadavg: 3.16 3.26 3.48 4/240 224086
/proc/meminfo: memFree=114695704/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=359136 memory=280236 CPUtime=3209.51 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 37002 0 0 0 320246 705 0 0 20 0 1 0 24478655 367755264 70059 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 89784 70059 1889 992 0 81642 0
Current children cumulated CPU time: 3209.51 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 280236 KiB
[startup+3282.3 s]
/proc/loadavg: 3.09 3.22 3.45 4/237 224096
/proc/meminfo: memFree=114695288/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=359136 memory=280236 CPUtime=3269.26 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 37117 0 0 0 326217 709 0 0 20 0 1 0 24478655 367755264 70059 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 89784 70059 1889 992 0 81642 0
Current children cumulated CPU time: 3269.26 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 280236 KiB
[startup+3342.3 s]
/proc/loadavg: 3.08 3.19 3.42 4/234 224107
/proc/meminfo: memFree=114695100/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=359136 memory=280236 CPUtime=3329.02 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 37232 0 0 0 332188 714 0 0 20 0 1 0 24478655 367755264 70059 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 89784 70059 1889 992 0 81642 0
Current children cumulated CPU time: 3329.02 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 280236 KiB
[startup+3402.3 s]
/proc/loadavg: 2.81 3.11 3.38 3/228 224149
/proc/meminfo: memFree=116740596/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=359136 memory=280236 CPUtime=3388.8 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 37349 0 0 0 338160 720 0 0 20 0 1 0 24478655 367755264 70059 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 89784 70059 1889 992 0 81642 0
Current children cumulated CPU time: 3388.8 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 280236 KiB
[startup+3462.3 s]
/proc/loadavg: 2.36 2.92 3.30 3/228 224159
/proc/meminfo: memFree=116743508/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=359136 memory=280236 CPUtime=3448.58 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 37408 0 0 0 344133 725 0 0 20 0 1 0 24478655 367755264 70059 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 89784 70059 1889 992 0 81642 0
Current children cumulated CPU time: 3448.58 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 280236 KiB
[startup+3522.3 s]
/proc/loadavg: 2.13 2.75 3.21 2/221 224201
/proc/meminfo: memFree=117671384/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=359136 memory=280236 CPUtime=3508.36 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 37467 0 0 0 350107 729 0 0 20 0 1 0 24478655 367755264 70059 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 89784 70059 1889 992 0 81642 0
Current children cumulated CPU time: 3508.36 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 280236 KiB
[startup+3582.3 s]
/proc/loadavg: 1.51 2.46 3.08 2/223 224215
/proc/meminfo: memFree=117671792/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=359136 memory=280236 CPUtime=3568.14 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 37583 0 0 0 356078 736 0 0 20 0 1 0 24478655 367755264 70059 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 89784 70059 1889 992 0 81642 0
Current children cumulated CPU time: 3568.14 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 280236 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.3 s]
/proc/loadavg: 1.36 2.31 3.01 2/223 224222
/proc/meminfo: memFree=117671956/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=359136 memory=280236 CPUtime=3600.01 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 37640 0 0 0 359263 738 0 0 20 0 1 0 24478655 367755264 70059 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 89784 70059 1889 992 0 81642 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 280236 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3616.3 s]
# the end of solver process 222038 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3594.63 s, system=7.39107 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3614.4 s]
/proc/loadavg: 1.36 2.31 3.01 2/223 224222
/proc/meminfo: memFree=117671956/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=359136 memory=280236 CPUtime=3600.11 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 37640 0 0 0 359273 738 0 0 20 0 1 0 24478655 367755264 70059 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 89784 70059 1889 992 0 81642 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 280236 KiB
[startup+3615.2 s]
/proc/loadavg: 1.36 2.31 3.01 2/223 224222
/proc/meminfo: memFree=117671844/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=359136 memory=280236 CPUtime=3600.91 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 37640 0 0 0 359353 738 0 0 20 0 1 0 24478655 367755264 70059 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 89784 70059 1889 992 0 81642 0
Current children cumulated CPU time: 3600.91 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 280236 KiB
[startup+3616 s]*
/proc/loadavg: 1.36 2.31 3.01 2/223 224222
/proc/meminfo: memFree=117671844/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=359136 memory=280236 CPUtime=3601.72 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 37640 0 0 0 359434 738 0 0 20 0 1 0 24478655 367755264 70059 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 89784 70059 1889 992 0 81642 0
Current children cumulated CPU time: 3601.72 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 280236 KiB
[startup+3616.2 s]
/proc/loadavg: 1.36 2.31 3.01 2/223 224222
/proc/meminfo: memFree=117671844/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=359136 memory=280236 CPUtime=3601.91 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 37640 0 0 0 359453 738 0 0 20 0 1 0 24478655 367755264 70059 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 89784 70059 1889 992 0 81642 0
Current children cumulated CPU time: 3601.91 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 280236 KiB
[startup+3616.3 s]
/proc/loadavg: 1.36 2.31 3.01 2/223 224222
/proc/meminfo: memFree=117671844/131655788 swapFree=131071472/131071996
[pid=222038] ppid=222035 vsize=359136 memory=280236 CPUtime=3602.01 cores=0,2
/proc/222038/stat : 222038 (roundingsat) R 222035 222038 216639 0 -1 4194304 37640 0 0 0 359463 738 0 0 20 0 1 0 24478655 367755264 70059 134679101440 4194304 8254037 140733229618752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 20504576 140733229622108 140733229622370 140733229622370 140733229629385 0
/proc/222038/statm: 89784 70059 1889 992 0 81642 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 280236 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3616.3
CPU time (s): 3602.02
CPU user time (s): 3594.63
CPU system time (s): 7.39107
CPU usage (%): 99.6051
Max. virtual memory (cumulated for all children) (KiB): 359136
Max. memory (cumulated for all children) (KiB): 280236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.63
system time used= 7.39107
maximum resident set size= 280236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37640
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2501728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31
involuntary context switches= 25217
# summary of solver processes directly reported to runsolver:
# pid: 222038
# total CPU time (s): 3602.02
# total CPU user time (s): 3594.63
# total CPU system time (s): 7.39107
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7137 second user time and 35.2127 second system time
The end
Begin job on nodeC004 at 2024-07-25 07:21:37 IDJOB=4458870 IDBENCH=178226 IDSOLVER=3085 FILE ID=nodeC004/4458870-1721884897 RUNJOBID= nodeC004-1721877159-216649 SLURM_JOB_ID= 8089264 Free space on /tmp= 723748 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/normalized-maxcut_opt_complete_6-partite_inlv_nvert_66.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458870-1721884897/watcher-4458870-1721884897 -o /tmp/evaluation-result-4458870-1721884897/solver-4458870-1721884897 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721877159-216649 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4458870-1721884897 --lp-cut-gomory=0 HOME/instance-4458870-1721884897.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7cbab653d296f81eb095bf1f983193d8 RANDOM SEED=509123651 nodeC004.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 : 3310.030 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.13 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 : 3657.842 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.36 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.293 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.13 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.391 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.36 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 : 3660.852 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.13 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 : 3663.114 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.36 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 : 1197.492 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.13 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 : 1197.462 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 119797520 kB MemAvailable: 129466432 kB Buffers: 305976 kB Cached: 10152748 kB SwapCached: 60 kB Active: 2642576 kB Inactive: 8571692 kB Active(anon): 1444 kB Inactive(anon): 808296 kB Active(file): 2641132 kB Inactive(file): 7763396 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 47132 kB Writeback: 76 kB AnonPages: 753232 kB Mapped: 125208 kB Shmem: 53860 kB KReclaimable: 209168 kB Slab: 322148 kB SReclaimable: 209168 kB SUnreclaim: 112980 kB KernelStack: 3984 kB PageTables: 11252 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1197116 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20128 kB HardwareCorrupted: 0 kB AnonHugePages: 329728 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: 392008 kB DirectMap2M: 50892800 kB DirectMap1G: 84934656 kB Free space on /tmp at the end= 723772 MiB End job on nodeC004 at 2024-07-25 08:21:53