| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3602.1 | 3611.6 |
| 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 0.50/0.52 c #variables 2145 #constraints 183040 5.98/6.05 c bounds - >= -1815 @ 0.372884 5.98/6.05 c bounds 0 >= -1815 @ 5.80646 5.98/6.05 c bounds 0 >= -1814 @ 5.80684 5.98/6.05 c bounds 0 >= -1813 @ 5.80705 5.98/6.05 c bounds 0 >= -1812 @ 5.80726 5.98/6.05 c bounds 0 >= -1811 @ 5.80746 5.98/6.05 c bounds 0 >= -1810 @ 5.80746 5.98/6.05 c bounds 0 >= -1809 @ 5.80746 5.98/6.05 c bounds 0 >= -1808 @ 5.80746 5.98/6.05 c bounds 0 >= -1807 @ 5.80746 5.98/6.05 c bounds 0 >= -1806 @ 5.80755 5.98/6.05 c bounds 0 >= -1805 @ 5.80777 5.98/6.05 c bounds 0 >= -1804 @ 5.80799 5.98/6.05 c bounds 0 >= -1803 @ 5.8082 5.98/6.05 c bounds 0 >= -1802 @ 5.8084 5.98/6.05 c bounds 0 >= -1801 @ 5.80863 5.98/6.05 c bounds 0 >= -1800 @ 5.80886 5.98/6.05 c bounds 0 >= -1799 @ 5.80907 5.98/6.05 c bounds 0 >= -1798 @ 5.80928 5.98/6.05 c bounds 0 >= -1797 @ 5.80949 5.98/6.05 c bounds 0 >= -1796 @ 5.80973 5.98/6.05 c bounds 0 >= -1795 @ 5.80995 5.98/6.05 c bounds 0 >= -1794 @ 5.81016 5.98/6.05 c bounds 0 >= -1793 @ 5.81037 5.98/6.05 c bounds 0 >= -1792 @ 5.8106 5.98/6.05 c bounds 0 >= -1791 @ 5.81083 5.98/6.05 c bounds 0 >= -1790 @ 5.81103 5.98/6.05 c bounds 0 >= -1789 @ 5.81124 5.98/6.05 c bounds 0 >= -1788 @ 5.81145 5.98/6.05 c bounds 0 >= -1787 @ 5.81152 5.98/6.05 c bounds 0 >= -1786 @ 5.81152 5.98/6.05 c bounds 0 >= -1785 @ 5.81152 5.98/6.05 c bounds 0 >= -1784 @ 5.81152 5.98/6.05 c bounds 0 >= -1783 @ 5.81152 5.98/6.05 c bounds 0 >= -1782 @ 5.81174 5.98/6.05 c bounds 0 >= -1781 @ 5.81194 5.98/6.05 c bounds 0 >= -1780 @ 5.81216 5.98/6.05 c bounds 0 >= -1779 @ 5.81236 5.98/6.05 c bounds 0 >= -1778 @ 5.81256 5.98/6.05 c bounds 0 >= -1777 @ 5.81278 5.98/6.05 c bounds 0 >= -1776 @ 5.81298 5.98/6.05 c bounds 0 >= -1775 @ 5.8132 5.98/6.05 c bounds 0 >= -1774 @ 5.8134 5.98/6.05 c bounds 0 >= -1773 @ 5.81361 5.98/6.05 c bounds 0 >= -1772 @ 5.81383 5.98/6.05 c bounds 0 >= -1771 @ 5.81403 5.98/6.05 c bounds 0 >= -1770 @ 5.81425 5.98/6.05 c bounds 0 >= -1769 @ 5.81445 5.98/6.05 c bounds 0 >= -1768 @ 5.81466 5.98/6.05 c bounds 0 >= -1767 @ 5.81488 5.98/6.05 c bounds 0 >= -1766 @ 5.81508 5.98/6.05 c bounds 0 >= -1765 @ 5.8153 5.98/6.05 c bounds 0 >= -1764 @ 5.81551 5.98/6.05 c bounds 0 >= -1763 @ 5.81572 5.98/6.05 c bounds 0 >= -1762 @ 5.81594 5.98/6.05 c bounds 0 >= -1761 @ 5.81616 5.98/6.05 c bounds 0 >= -1760 @ 5.81636 5.98/6.05 c bounds 0 >= -1759 @ 5.81657 5.98/6.05 c bounds 0 >= -1758 @ 5.81679 5.98/6.05 c bounds 0 >= -1757 @ 5.81699 5.98/6.05 c bounds 0 >= -1756 @ 5.8172 5.98/6.05 c bounds 0 >= -1755 @ 5.8174 5.98/6.05 c bounds 0 >= -1754 @ 5.81761 5.98/6.05 c bounds 0 >= -1753 @ 5.81783 5.98/6.05 c bounds 0 >= -1752 @ 5.81803 5.98/6.05 c bounds 0 >= -1751 @ 5.81824 5.98/6.05 c bounds 0 >= -1750 @ 5.81845 5.98/6.05 c bounds 0 >= -1749 @ 5.81866 5.98/6.05 c bounds 0 >= -1748 @ 5.81888 5.98/6.05 c bounds 0 >= -1747 @ 5.81907 5.98/6.05 c bounds 0 >= -1746 @ 5.81929 5.98/6.05 c bounds 0 >= -1745 @ 5.81949 5.98/6.05 c bounds 0 >= -1744 @ 5.8197 5.98/6.05 c bounds 0 >= -1743 @ 5.81992 5.98/6.05 c bounds 0 >= -1742 @ 5.82013 5.98/6.05 c bounds 0 >= -1741 @ 5.82034 5.98/6.05 c bounds 0 >= -1740 @ 5.82054 5.98/6.05 c bounds 0 >= -1739 @ 5.82075 5.98/6.05 c bounds 0 >= -1738 @ 5.82097 5.98/6.05 c bounds 0 >= -1737 @ 5.82117 5.98/6.05 c bounds 0 >= -1736 @ 5.82139 5.98/6.05 c bounds 0 >= -1735 @ 5.82161 5.98/6.05 c bounds 0 >= -1734 @ 5.82182 5.98/6.05 c bounds 0 >= -1733 @ 5.82203 5.98/6.05 c bounds 0 >= -1732 @ 5.82224 5.98/6.05 c bounds 0 >= -1731 @ 5.82245 5.98/6.05 c bounds 0 >= -1730 @ 5.82266 5.98/6.05 c bounds 0 >= -1729 @ 5.82288 5.98/6.05 c bounds 0 >= -1728 @ 5.82308 5.98/6.05 c bounds 0 >= -1727 @ 5.8233 5.98/6.05 c bounds 0 >= -1726 @ 5.82351 5.98/6.05 c bounds 0 >= -1725 @ 5.82372 5.98/6.05 c bounds 0 >= -1724 @ 5.82393 5.98/6.05 c bounds 0 >= -1723 @ 5.82414 5.98/6.05 c bounds 0 >= -1722 @ 5.82435 5.98/6.05 c bounds 0 >= -1721 @ 5.82456 5.98/6.05 c bounds 0 >= -1720 @ 5.82477 5.98/6.05 c bounds 0 >= -1719 @ 5.82498 5.98/6.05 c bounds 0 >= -1718 @ 5.82519 5.98/6.05 c bounds 0 >= -1717 @ 5.8254 5.98/6.05 c bounds 0 >= -1716 @ 5.82561 5.98/6.05 c bounds 0 >= -1715 @ 5.82582 5.98/6.05 c bounds 0 >= -1714 @ 5.82603 5.98/6.05 c bounds 0 >= -1713 @ 5.82624 5.98/6.05 c bounds 0 >= -1712 @ 5.82646 5.98/6.05 c bounds 0 >= -1711 @ 5.82671 5.98/6.05 c bounds 0 >= -1710 @ 5.82691 5.98/6.05 c bounds 0 >= -1709 @ 5.82713 5.98/6.05 c bounds 0 >= -1708 @ 5.82733 5.98/6.05 c bounds 0 >= -1707 @ 5.82755 5.98/6.05 c bounds 0 >= -1706 @ 5.82775 5.98/6.05 c bounds 0 >= -1705 @ 5.82796 5.98/6.05 c bounds 0 >= -1704 @ 5.82817 5.98/6.05 c bounds 0 >= -1703 @ 5.82838 5.98/6.05 c bounds 0 >= -1702 @ 5.82859 5.98/6.05 c bounds 0 >= -1701 @ 5.8288 5.98/6.05 c bounds 0 >= -1700 @ 5.82901 5.98/6.05 c bounds 0 >= -1699 @ 5.82922 5.98/6.05 c bounds 0 >= -1698 @ 5.82943 5.98/6.05 c bounds 0 >= -1697 @ 5.82965 5.98/6.05 c bounds 0 >= -1696 @ 5.82985 5.98/6.05 c bounds 0 >= -1695 @ 5.83006 5.98/6.05 c bounds 0 >= -1694 @ 5.83027 5.98/6.05 c bounds 0 >= -1693 @ 5.83049 5.98/6.05 c bounds 0 >= -1692 @ 5.83071 5.98/6.05 c bounds 0 >= -1691 @ 5.83091 5.98/6.05 c bounds 0 >= -1690 @ 5.83113 5.98/6.05 c bounds 0 >= -1689 @ 5.83134 5.98/6.05 c bounds 0 >= -1688 @ 5.83156 5.98/6.05 c bounds 0 >= -1687 @ 5.83181 5.98/6.05 c bounds 0 >= -1686 @ 5.83203 5.98/6.05 c bounds 0 >= -1685 @ 5.83225 5.98/6.05 c bounds 0 >= -1684 @ 5.83245 5.98/6.05 c bounds 0 >= -1683 @ 5.83266 5.98/6.05 c bounds 0 >= -1682 @ 5.83325 5.98/6.05 c bounds 0 >= -1681 @ 5.83345 5.98/6.05 c bounds 0 >= -1680 @ 5.83366 5.98/6.08 c bounds 0 >= -1679 @ 5.8339 5.98/6.08 c bounds 0 >= -1678 @ 5.8341 5.98/6.08 c bounds 0 >= -1677 @ 5.83432 5.98/6.08 c bounds 0 >= -1676 @ 5.83453 5.98/6.08 c bounds 0 >= -1675 @ 5.83474 5.98/6.08 c bounds 0 >= -1674 @ 5.83494 5.98/6.08 c bounds 0 >= -1673 @ 5.83514 5.98/6.08 c bounds 0 >= -1672 @ 5.83535 5.98/6.08 c bounds 0 >= -1671 @ 5.83555 5.98/6.08 c bounds 0 >= -1670 @ 5.83577 5.98/6.08 c bounds 0 >= -1669 @ 5.83598 5.98/6.08 c bounds 0 >= -1668 @ 5.83618 5.98/6.08 c bounds 0 >= -1667 @ 5.83639 5.98/6.08 c bounds 0 >= -1666 @ 5.83659 5.98/6.08 c bounds 0 >= -1665 @ 5.8368 5.98/6.08 c bounds 0 >= -1664 @ 5.83701 5.98/6.08 c bounds 0 >= -1663 @ 5.83722 5.98/6.08 c bounds 0 >= -1662 @ 5.83745 5.98/6.08 c bounds 0 >= -1661 @ 5.83765 5.98/6.08 c bounds 0 >= -1660 @ 5.83785 5.98/6.08 c bounds 0 >= -1659 @ 5.83807 5.98/6.08 c bounds 0 >= -1658 @ 5.83827 5.98/6.08 c bounds 0 >= -1657 @ 5.83847 5.98/6.08 c bounds 0 >= -1656 @ 5.83869 5.98/6.08 c bounds 0 >= -1655 @ 5.83889 5.98/6.08 c bounds 0 >= -1654 @ 5.83909 5.98/6.08 c bounds 0 >= -1653 @ 5.83931 5.98/6.08 c bounds 0 >= -1652 @ 5.83951 5.98/6.08 c bounds 0 >= -1651 @ 5.83971 5.98/6.08 c bounds 0 >= -1650 @ 5.83992 5.98/6.08 c bounds 0 >= -1649 @ 5.84012 5.98/6.08 c bounds 0 >= -1648 @ 5.84032 5.98/6.08 c bounds 0 >= -1647 @ 5.84053 5.98/6.08 c bounds 0 >= -1646 @ 5.84074 5.98/6.08 c bounds 0 >= -1645 @ 5.84093 5.98/6.08 c bounds 0 >= -1644 @ 5.84115 5.98/6.08 c bounds 0 >= -1643 @ 5.84135 5.98/6.08 c bounds 0 >= -1642 @ 5.84155 5.98/6.08 c bounds 0 >= -1641 @ 5.84176 5.98/6.08 c bounds 0 >= -1640 @ 5.84197 5.98/6.08 c bounds 0 >= -1639 @ 5.84217 5.98/6.08 c bounds 0 >= -1638 @ 5.84239 5.98/6.08 c bounds 0 >= -1637 @ 5.8426 5.98/6.08 c bounds 0 >= -1636 @ 5.84281 5.98/6.08 c bounds 0 >= -1635 @ 5.84301 5.98/6.08 c bounds 0 >= -1634 @ 5.84321 5.98/6.08 c bounds 0 >= -1633 @ 5.84341 5.98/6.08 c bounds 0 >= -1632 @ 5.84362 5.98/6.08 c bounds 0 >= -1631 @ 5.84382 5.98/6.08 c bounds 0 >= -1630 @ 5.84401 5.98/6.08 c bounds 0 >= -1629 @ 5.84423 5.98/6.08 c bounds 0 >= -1628 @ 5.84443 5.98/6.08 c bounds 0 >= -1627 @ 5.84463 5.98/6.08 c bounds 0 >= -1626 @ 5.84483 5.98/6.08 c bounds 0 >= -1625 @ 5.84503 5.98/6.08 c bounds 0 >= -1624 @ 5.84526 5.98/6.08 c bounds 0 >= -1623 @ 5.84546 5.98/6.08 c bounds 0 >= -1622 @ 5.84566 5.98/6.08 c bounds 0 >= -1621 @ 5.84585 5.98/6.08 c bounds 0 >= -1620 @ 5.84605 5.98/6.08 c bounds 0 >= -1619 @ 5.84626 5.98/6.08 c bounds 0 >= -1618 @ 5.84647 5.98/6.08 c bounds 0 >= -1617 @ 5.84668 5.98/6.08 c bounds 0 >= -1616 @ 5.8469 5.98/6.08 c bounds 0 >= -1615 @ 5.8471 5.98/6.08 c bounds 0 >= -1614 @ 5.84731 5.98/6.08 c bounds 0 >= -1613 @ 5.84751 5.98/6.08 c bounds 0 >= -1612 @ 5.84771 5.98/6.08 c bounds 0 >= -1611 @ 5.84791 5.98/6.08 c bounds 0 >= -1610 @ 5.84811 5.98/6.08 c bounds 0 >= -1609 @ 5.84832 5.98/6.08 c bounds 0 >= -1608 @ 5.84852 5.98/6.08 c bounds 0 >= -1607 @ 5.84872 5.98/6.08 c bounds 0 >= -1606 @ 5.84893 5.98/6.08 c bounds 0 >= -1605 @ 5.84912 5.98/6.08 c bounds 0 >= -1604 @ 5.84935 5.98/6.08 c bounds 0 >= -1603 @ 5.84955 5.98/6.08 c bounds 0 >= -1602 @ 5.84974 5.98/6.08 c bounds 0 >= -1601 @ 5.84996 5.98/6.08 c bounds 0 >= -1600 @ 5.85016 5.98/6.08 c bounds 0 >= -1599 @ 5.85037 5.98/6.08 c bounds 0 >= -1598 @ 5.85043 5.98/6.08 c bounds 0 >= -1597 @ 5.85043 5.98/6.08 c bounds 0 >= -1596 @ 5.85043 5.98/6.08 c bounds 0 >= -1595 @ 5.85043 5.98/6.08 c bounds 0 >= -1594 @ 5.85043 5.98/6.08 c bounds 0 >= -1593 @ 5.85064 5.98/6.08 c bounds 0 >= -1592 @ 5.85084 5.98/6.08 c bounds 0 >= -1591 @ 5.85103 5.98/6.08 c bounds 0 >= -1590 @ 5.85124 5.98/6.08 c bounds 0 >= -1589 @ 5.85144 5.98/6.08 c bounds 0 >= -1588 @ 5.85165 5.98/6.08 c bounds 0 >= -1587 @ 5.85184 5.98/6.08 c bounds 0 >= -1586 @ 5.85205 5.98/6.08 c bounds 0 >= -1585 @ 5.85225 5.98/6.08 c bounds 0 >= -1584 @ 5.85246 5.98/6.08 c bounds 0 >= -1583 @ 5.85267 5.98/6.08 c bounds 0 >= -1582 @ 5.85286 5.98/6.08 c bounds 0 >= -1581 @ 5.85306 5.98/6.08 c bounds 0 >= -1580 @ 5.85327 5.98/6.08 c bounds 0 >= -1579 @ 5.85347 5.98/6.08 c bounds 0 >= -1578 @ 5.85366 5.98/6.08 c bounds 0 >= -1577 @ 5.85388 5.98/6.08 c bounds 0 >= -1576 @ 5.85407 5.98/6.08 c bounds 0 >= -1575 @ 5.85433 5.98/6.08 c bounds 0 >= -1574 @ 5.85458 5.98/6.08 c bounds 0 >= -1573 @ 5.85479 5.98/6.08 c bounds 0 >= -1572 @ 5.85499 5.98/6.08 c bounds 0 >= -1571 @ 5.8552 5.98/6.08 c bounds 0 >= -1570 @ 5.85541 5.98/6.08 c bounds 0 >= -1569 @ 5.85561 5.98/6.08 c bounds 0 >= -1568 @ 5.85584 5.98/6.08 c bounds 0 >= -1567 @ 5.85604 5.98/6.08 c bounds 0 >= -1566 @ 5.85624 5.98/6.08 c bounds 0 >= -1565 @ 5.85644 5.98/6.08 c bounds 0 >= -1564 @ 5.85666 5.98/6.08 c bounds 0 >= -1563 @ 5.85689 5.98/6.08 c bounds 0 >= -1562 @ 5.85709 5.98/6.08 c bounds 0 >= -1561 @ 5.85729 5.98/6.08 c bounds 0 >= -1560 @ 5.85749 5.98/6.08 c bounds 0 >= -1559 @ 5.85772 5.98/6.08 c bounds 0 >= -1558 @ 5.85793 5.98/6.08 c bounds 0 >= -1557 @ 5.8582 5.98/6.08 c bounds 0 >= -1556 @ 5.8584 5.98/6.08 c bounds 0 >= -1555 @ 5.85861 5.98/6.08 c bounds 0 >= -1554 @ 5.85884 5.98/6.08 c bounds 0 >= -1553 @ 5.85907 5.98/6.08 c bounds 0 >= -1552 @ 5.85927 5.98/6.08 c bounds 0 >= -1551 @ 5.85947 5.98/6.08 c bounds 0 >= -1550 @ 5.85967 5.98/6.08 c bounds 0 >= -1549 @ 5.85987 5.98/6.08 c bounds 0 >= -1548 @ 5.86007 5.98/6.08 c bounds 0 >= -1547 @ 5.86028 5.98/6.08 c bounds 0 >= -1546 @ 5.86048 5.98/6.08 c bounds 0 >= -1545 @ 5.86068 5.98/6.08 c bounds 0 >= -1544 @ 5.86093 5.98/6.08 c bounds 0 >= -1543 @ 5.86113 6.07/6.10 c bounds 0 >= -1542 @ 5.86137 6.07/6.10 c bounds 0 >= -1541 @ 5.86156 6.07/6.10 c bounds 0 >= -1540 @ 5.8618 6.07/6.10 c bounds 0 >= -1539 @ 5.86202 6.07/6.10 c bounds 0 >= -1538 @ 5.86222 6.07/6.10 c bounds 0 >= -1537 @ 5.86242 6.07/6.10 c bounds 0 >= -1536 @ 5.86265 6.07/6.10 c bounds 0 >= -1535 @ 5.86292 6.07/6.10 c bounds 0 >= -1534 @ 5.86316 6.07/6.10 c bounds 0 >= -1533 @ 5.86337 6.07/6.10 c bounds 0 >= -1532 @ 5.86357 6.07/6.10 c bounds 0 >= -1531 @ 5.86379 6.07/6.10 c bounds 0 >= -1530 @ 5.86399 6.07/6.10 c bounds 0 >= -1529 @ 5.8642 6.07/6.10 c bounds 0 >= -1528 @ 5.86442 6.07/6.10 c bounds 0 >= -1527 @ 5.86464 6.07/6.10 c bounds 0 >= -1526 @ 5.86487 6.07/6.10 c bounds 0 >= -1525 @ 5.86507 6.07/6.10 c bounds 0 >= -1524 @ 5.86529 6.07/6.10 c bounds 0 >= -1523 @ 5.86548 6.07/6.10 c bounds 0 >= -1522 @ 5.86571 6.07/6.10 c bounds 0 >= -1521 @ 5.86592 6.07/6.10 c bounds 0 >= -1520 @ 5.86611 6.07/6.10 c bounds 0 >= -1519 @ 5.86633 6.07/6.10 c bounds 0 >= -1518 @ 5.8666 6.07/6.10 c bounds 0 >= -1517 @ 5.86681 6.07/6.10 c bounds 0 >= -1516 @ 5.867 6.07/6.10 c bounds 0 >= -1515 @ 5.8672 6.07/6.10 c bounds 0 >= -1514 @ 5.86741 6.07/6.10 c bounds 0 >= -1513 @ 5.86765 6.07/6.10 c bounds 0 >= -1512 @ 5.86786 6.07/6.10 c bounds 0 >= -1511 @ 5.86806 6.07/6.10 c bounds 0 >= -1510 @ 5.86825 6.07/6.10 c bounds 0 >= -1509 @ 5.86845 6.07/6.10 c bounds 0 >= -1508 @ 5.86865 6.07/6.11 c bounds 0 >= -1507 @ 5.86889 6.07/6.11 c bounds 0 >= -1506 @ 5.86909 6.07/6.11 c bounds 0 >= -1505 @ 5.86928 6.07/6.11 c bounds 0 >= -1504 @ 5.86947 6.07/6.11 c bounds 0 >= -1503 @ 5.86966 6.07/6.11 c bounds 0 >= -1502 @ 5.86987 6.07/6.11 c bounds 0 >= -1501 @ 5.87007 6.07/6.11 c bounds 0 >= -1500 @ 5.87027 6.07/6.11 c bounds 0 >= -1499 @ 5.87047 6.07/6.11 c bounds 0 >= -1498 @ 5.87069 6.07/6.11 c bounds 0 >= -1497 @ 5.87092 6.07/6.11 c bounds 0 >= -1496 @ 5.87112 6.07/6.11 c bounds 0 >= -1495 @ 5.87131 6.07/6.11 c bounds 0 >= -1494 @ 5.87138 6.07/6.11 c bounds 0 >= -1493 @ 5.87138 6.07/6.11 c bounds 0 >= -1492 @ 5.87138 6.07/6.11 c bounds 0 >= -1491 @ 5.87138 6.07/6.11 c bounds 0 >= -1490 @ 5.87138 6.07/6.11 c bounds 0 >= -1489 @ 5.87158 6.07/6.11 c bounds 0 >= -1488 @ 5.87177 6.07/6.11 c bounds 0 >= -1487 @ 5.872 6.07/6.11 c bounds 0 >= -1486 @ 5.87219 6.07/6.11 c bounds 0 >= -1485 @ 5.87239 6.07/6.11 c bounds 0 >= -1484 @ 5.87259 6.07/6.11 c bounds 0 >= -1483 @ 5.8728 6.07/6.11 c bounds 0 >= -1482 @ 5.873 6.07/6.11 c bounds 0 >= -1481 @ 5.87321 6.07/6.11 c bounds 0 >= -1480 @ 5.87342 6.07/6.11 c bounds 0 >= -1479 @ 5.87366 6.07/6.11 c bounds 0 >= -1478 @ 5.87387 6.07/6.11 c bounds 0 >= -1477 @ 5.87406 6.07/6.11 c bounds 0 >= -1476 @ 5.87428 6.07/6.11 c bounds 0 >= -1475 @ 5.87455 6.07/6.11 c bounds 0 >= -1474 @ 5.87477 6.07/6.11 c bounds 0 >= -1473 @ 5.87498 6.07/6.11 c bounds 0 >= -1472 @ 5.87517 6.07/6.11 c bounds 0 >= -1471 @ 5.87536 6.07/6.11 c bounds 0 >= -1470 @ 5.87556 6.07/6.11 c bounds 0 >= -1469 @ 5.87581 6.07/6.11 c bounds 0 >= -1468 @ 5.87603 6.07/6.11 c bounds 0 >= -1467 @ 5.87624 6.07/6.11 c bounds 0 >= -1466 @ 5.87644 6.07/6.11 c bounds 0 >= -1465 @ 5.87664 6.07/6.11 c bounds 0 >= -1464 @ 5.87684 6.07/6.11 c bounds 0 >= -1463 @ 5.87705 6.07/6.11 c bounds 0 >= -1462 @ 5.87731 6.07/6.11 c bounds 0 >= -1461 @ 5.87737 6.07/6.11 c bounds 0 >= -1460 @ 5.87737 6.07/6.11 c bounds 0 >= -1459 @ 5.87737 6.07/6.11 c bounds 0 >= -1458 @ 5.87737 6.07/6.11 c bounds 0 >= -1457 @ 5.87749 6.07/6.11 c bounds 0 >= -1456 @ 5.87769 6.07/6.11 c bounds 0 >= -1455 @ 5.87789 6.07/6.11 c bounds 0 >= -1454 @ 5.8781 6.07/6.11 c bounds 0 >= -1453 @ 5.87829 6.07/6.11 c bounds 0 >= -1452 @ 5.87836 6.07/6.11 c bounds 0 >= -1451 @ 5.87836 6.07/6.11 c bounds 0 >= -1450 @ 5.87836 6.07/6.11 c bounds 0 >= -1449 @ 5.87836 6.07/6.11 c bounds 0 >= -1448 @ 5.8784 6.07/6.11 c bounds 0 >= -1447 @ 5.87861 6.07/6.11 c bounds 0 >= -1446 @ 5.87881 6.07/6.11 c bounds 0 >= -1445 @ 5.87901 6.07/6.11 c bounds 0 >= -1444 @ 5.87926 6.07/6.11 c bounds 0 >= -1443 @ 5.87955 6.07/6.11 c bounds 0 >= -1442 @ 5.87977 6.07/6.11 c bounds 0 >= -1441 @ 5.87997 6.07/6.11 c bounds 0 >= -1440 @ 5.88018 6.07/6.11 c bounds 0 >= -1439 @ 5.88039 6.07/6.11 c bounds 0 >= -1438 @ 5.88061 6.07/6.11 c bounds 0 >= -1437 @ 5.8808 6.07/6.11 c bounds 0 >= -1436 @ 5.88102 6.07/6.11 c bounds 0 >= -1435 @ 5.88125 6.07/6.11 c bounds 0 >= -1434 @ 5.88145 6.07/6.11 c bounds 0 >= -1433 @ 5.88166 6.07/6.11 c bounds 0 >= -1432 @ 5.88186 6.07/6.11 c bounds 0 >= -1431 @ 5.88213 6.07/6.11 c bounds 0 >= -1430 @ 5.88234 6.07/6.11 c bounds 0 >= -1429 @ 5.88256 6.07/6.11 c bounds 0 >= -1428 @ 5.88279 6.07/6.11 c bounds 0 >= -1427 @ 5.88307 6.07/6.11 c bounds 0 >= -1426 @ 5.88327 6.07/6.11 c bounds 0 >= -1425 @ 5.88347 6.07/6.11 c bounds 0 >= -1424 @ 5.88367 6.07/6.11 c bounds 0 >= -1423 @ 5.88389 6.07/6.11 c bounds 0 >= -1422 @ 5.88408 6.07/6.11 c bounds 0 >= -1421 @ 5.88429 6.07/6.11 c bounds 0 >= -1420 @ 5.8845 6.07/6.11 c bounds 0 >= -1419 @ 5.88476 6.07/6.11 c bounds 0 >= -1418 @ 5.88497 6.07/6.11 c bounds 0 >= -1417 @ 5.88518 6.07/6.11 c bounds 0 >= -1416 @ 5.88539 6.07/6.11 c bounds 0 >= -1415 @ 5.88559 6.07/6.11 c bounds 0 >= -1414 @ 5.8858 6.07/6.11 c bounds 0 >= -1413 @ 5.88608 6.07/6.11 c bounds 0 >= -1412 @ 5.88631 6.07/6.11 c bounds 0 >= -1411 @ 5.88655 6.07/6.11 c bounds 0 >= -1410 @ 5.88678 6.07/6.11 c bounds 0 >= -1409 @ 5.88698 6.07/6.11 c bounds 0 >= -1408 @ 5.88718 6.07/6.11 c bounds 0 >= -1407 @ 5.8874 6.07/6.11 c bounds 0 >= -1406 @ 5.8876 6.07/6.15 c bounds 0 >= -1405 @ 5.88784 6.07/6.15 c bounds 0 >= -1404 @ 5.88803 6.07/6.15 c bounds 0 >= -1403 @ 5.88828 6.07/6.15 c bounds 0 >= -1402 @ 5.88856 6.07/6.15 c bounds 0 >= -1401 @ 5.88885 6.07/6.15 c bounds 0 >= -1400 @ 5.88912 6.07/6.15 c bounds 0 >= -1399 @ 5.88933 6.07/6.15 c bounds 0 >= -1398 @ 5.88955 6.07/6.15 c bounds 0 >= -1397 @ 5.88977 6.07/6.15 c bounds 0 >= -1396 @ 5.88997 6.07/6.15 c bounds 0 >= -1395 @ 5.89017 6.07/6.15 c bounds 0 >= -1394 @ 5.89039 6.07/6.15 c bounds 0 >= -1393 @ 5.89058 6.07/6.15 c bounds 0 >= -1392 @ 5.89082 6.07/6.15 c bounds 0 >= -1391 @ 5.89115 6.07/6.15 c bounds 0 >= -1390 @ 5.89139 6.07/6.15 c bounds 0 >= -1389 @ 5.89158 6.07/6.15 c bounds 0 >= -1388 @ 5.89181 6.07/6.15 c bounds 0 >= -1387 @ 5.89201 6.07/6.15 c bounds 0 >= -1386 @ 5.89221 6.07/6.15 c bounds 0 >= -1385 @ 5.89251 6.07/6.15 c bounds 0 >= -1384 @ 5.89274 6.07/6.15 c bounds 0 >= -1383 @ 5.89295 6.07/6.15 c bounds 0 >= -1382 @ 5.89315 6.07/6.15 c bounds 0 >= -1381 @ 5.89338 6.07/6.15 c bounds 0 >= -1380 @ 5.89358 6.07/6.15 c bounds 0 >= -1379 @ 5.89378 6.07/6.15 c bounds 0 >= -1378 @ 5.89398 6.07/6.15 c bounds 0 >= -1377 @ 5.89421 6.07/6.15 c bounds 0 >= -1376 @ 5.89448 6.07/6.15 c bounds -55 >= -1376 @ 5.90018 6.07/6.15 c bounds -55 >= -1375 @ 5.90055 6.07/6.15 c bounds -55 >= -1374 @ 5.90083 6.07/6.15 c bounds -55 >= -1373 @ 5.90115 6.07/6.15 c bounds -55 >= -1372 @ 5.90143 6.07/6.15 c bounds -55 >= -1371 @ 5.90168 6.07/6.15 c bounds -55 >= -1370 @ 5.90189 6.07/6.15 c bounds -55 >= -1369 @ 5.9021 6.07/6.15 c bounds -55 >= -1368 @ 5.90233 6.07/6.15 c bounds -55 >= -1367 @ 5.90255 6.07/6.15 c bounds -55 >= -1366 @ 5.90277 6.07/6.15 c bounds -55 >= -1365 @ 5.90297 6.07/6.15 c bounds -55 >= -1364 @ 5.90324 6.07/6.15 c bounds -55 >= -1363 @ 5.90344 6.07/6.15 c bounds -55 >= -1362 @ 5.90375 6.07/6.15 c bounds -55 >= -1361 @ 5.90411 6.07/6.15 c bounds -55 >= -1360 @ 5.90434 6.07/6.15 c bounds -55 >= -1359 @ 5.9046 6.07/6.15 c bounds -55 >= -1358 @ 5.90481 6.07/6.15 c bounds -55 >= -1357 @ 5.90503 6.07/6.15 c bounds -55 >= -1356 @ 5.90524 6.07/6.15 c bounds -55 >= -1355 @ 5.90529 6.07/6.15 c bounds -55 >= -1354 @ 5.90529 6.07/6.15 c bounds -55 >= -1353 @ 5.90529 6.07/6.15 c bounds -55 >= -1352 @ 5.90529 6.07/6.15 c bounds -55 >= -1351 @ 5.90543 6.07/6.15 c bounds -55 >= -1350 @ 5.90586 6.07/6.15 c bounds -55 >= -1349 @ 5.90609 6.07/6.15 c bounds -55 >= -1348 @ 5.90632 6.07/6.15 c bounds -55 >= -1347 @ 5.90656 6.07/6.15 c bounds -55 >= -1346 @ 5.90679 6.07/6.15 c bounds -55 >= -1345 @ 5.90703 6.07/6.15 c bounds -55 >= -1344 @ 5.90757 6.07/6.15 c bounds -55 >= -1343 @ 5.90779 6.07/6.15 c bounds -55 >= -1342 @ 5.90801 6.07/6.15 c bounds -55 >= -1341 @ 5.90821 6.07/6.15 c bounds -55 >= -1340 @ 5.90842 6.07/6.15 c bounds -55 >= -1339 @ 5.90875 6.07/6.15 c bounds -55 >= -1338 @ 5.90901 6.07/6.15 c bounds -55 >= -1337 @ 5.90925 6.07/6.15 c bounds -55 >= -1336 @ 5.90951 6.07/6.15 c bounds -55 >= -1335 @ 5.91005 6.07/6.15 c bounds -55 >= -1334 @ 5.9103 6.07/6.15 c bounds -55 >= -1333 @ 5.91054 6.07/6.15 c bounds -55 >= -1332 @ 5.91078 6.07/6.15 c bounds -55 >= -1331 @ 5.911 6.07/6.15 c bounds -55 >= -1330 @ 5.91122 6.07/6.15 c bounds -55 >= -1329 @ 5.91143 6.07/6.15 c bounds -55 >= -1328 @ 5.91175 6.07/6.15 c bounds -55 >= -1327 @ 5.91203 6.07/6.15 c bounds -55 >= -1326 @ 5.91263 6.07/6.15 c bounds -110 >= -1326 @ 5.91675 6.07/6.15 c bounds -110 >= -1325 @ 5.91729 6.07/6.15 c bounds -110 >= -1324 @ 5.91774 6.07/6.15 c bounds -110 >= -1323 @ 5.918 6.07/6.15 c bounds -110 >= -1322 @ 5.91814 6.07/6.15 c bounds -110 >= -1321 @ 5.91814 6.07/6.15 c bounds -110 >= -1320 @ 5.91814 6.07/6.15 c bounds -110 >= -1319 @ 5.91814 6.07/6.15 c bounds -110 >= -1318 @ 5.9183 6.07/6.15 c bounds -110 >= -1317 @ 5.91852 6.07/6.15 c bounds -110 >= -1316 @ 5.91895 6.07/6.15 c bounds -110 >= -1315 @ 5.91951 6.07/6.15 c bounds -110 >= -1314 @ 5.91976 6.07/6.15 c bounds -110 >= -1313 @ 5.92006 6.07/6.15 c bounds -110 >= -1312 @ 5.9203 6.07/6.15 c bounds -110 >= -1311 @ 5.92057 6.07/6.15 c bounds -110 >= -1310 @ 5.92079 6.07/6.15 c bounds -110 >= -1309 @ 5.92101 6.07/6.15 c bounds -110 >= -1308 @ 5.92122 6.07/6.15 c bounds -110 >= -1307 @ 5.92125 6.07/6.15 c bounds -110 >= -1306 @ 5.92125 6.07/6.15 c bounds -110 >= -1305 @ 5.92125 6.07/6.15 c bounds -110 >= -1304 @ 5.92132 6.07/6.15 c bounds -110 >= -1303 @ 5.92158 6.07/6.15 c bounds -110 >= -1302 @ 5.922 6.07/6.15 c bounds -110 >= -1301 @ 5.92226 6.07/6.15 c bounds -110 >= -1300 @ 5.92251 6.07/6.15 c bounds -165 >= -1300 @ 5.92688 6.07/6.15 c bounds -165 >= -1299 @ 5.92753 6.07/6.15 c bounds -165 >= -1298 @ 5.92776 6.07/6.15 c bounds -165 >= -1297 @ 5.92799 6.07/6.15 c bounds -165 >= -1296 @ 5.92822 6.07/6.15 c bounds -165 >= -1295 @ 5.92867 6.07/6.15 c bounds -165 >= -1294 @ 5.92917 6.07/6.15 c bounds -165 >= -1293 @ 5.92941 6.07/6.15 c bounds -165 >= -1292 @ 5.92967 6.07/6.15 c bounds -165 >= -1291 @ 5.92989 6.07/6.15 c bounds -165 >= -1290 @ 5.93012 6.07/6.15 c bounds -165 >= -1289 @ 5.93033 6.07/6.15 c bounds -165 >= -1288 @ 5.93054 6.07/6.15 c bounds -165 >= -1287 @ 5.93093 6.07/6.15 c bounds -165 >= -1286 @ 5.93147 6.07/6.15 c bounds -165 >= -1285 @ 5.93172 6.07/6.15 c bounds -165 >= -1284 @ 5.93197 6.07/6.15 c bounds -165 >= -1283 @ 5.93219 6.07/6.15 c bounds -165 >= -1282 @ 5.93222 6.07/6.15 c bounds -165 >= -1281 @ 5.93222 6.07/6.15 c bounds -165 >= -1280 @ 5.93222 293.09/294.01 c bounds -165 >= -1279 @ 5.9324 293.09/294.01 c bounds -220 >= -1279 @ 5.93641 293.09/294.01 c bounds -220 >= -1278 @ 5.93718 293.09/294.01 c bounds -220 >= -1277 @ 5.93721 293.09/294.01 c bounds -220 >= -1276 @ 5.93729 293.09/294.01 c bounds -220 >= -1275 @ 5.93786 293.09/294.01 c bounds -220 >= -1274 @ 5.93849 293.09/294.01 c bounds -220 >= -1273 @ 5.9393 293.09/294.01 c bounds -275 >= -1273 @ 5.94339 293.09/294.01 c bounds -275 >= -1272 @ 5.94486 293.09/294.01 c bounds -275 >= -1271 @ 5.94528 293.09/294.01 c bounds -275 >= -1270 @ 5.94593 293.09/294.01 c bounds -275 >= -1269 @ 5.94633 293.09/294.01 c bounds -275 >= -1268 @ 5.94699 293.09/294.01 c bounds -330 >= -1268 @ 5.95057 293.09/294.01 c bounds -330 >= -1267 @ 5.95151 293.09/294.01 c bounds -330 >= -1266 @ 5.95188 293.09/294.01 c bounds -330 >= -1265 @ 5.95222 293.09/294.01 c bounds -330 >= -1264 @ 5.95258 293.09/294.01 c bounds -330 >= -1263 @ 5.95292 293.09/294.01 c bounds -330 >= -1262 @ 5.95326 293.09/294.01 c bounds -330 >= -1261 @ 5.95379 293.09/294.01 c bounds -330 >= -1260 @ 5.95426 293.09/294.01 c bounds -385 >= -1260 @ 5.95747 293.09/294.01 c bounds -385 >= -1259 @ 5.9583 293.09/294.01 c bounds -385 >= -1258 @ 5.95863 293.09/294.01 c bounds -385 >= -1257 @ 5.95892 293.09/294.01 c bounds -385 >= -1256 @ 5.95923 293.09/294.01 c bounds -385 >= -1255 @ 5.95966 293.09/294.01 c bounds -385 >= -1254 @ 5.95998 293.09/294.01 c bounds -385 >= -1253 @ 5.96026 293.09/294.01 c bounds -385 >= -1252 @ 5.96084 293.09/294.01 c bounds -385 >= -1251 @ 5.96114 293.09/294.01 c bounds -440 >= -1251 @ 5.96463 293.09/294.01 c bounds -440 >= -1250 @ 5.96528 293.09/294.01 c bounds -440 >= -1249 @ 5.96712 293.09/294.01 c bounds -440 >= -1248 @ 5.96865 293.09/294.01 c bounds -495 >= -1248 @ 5.97729 293.09/294.01 c bounds -495 >= -1247 @ 5.97961 293.09/294.01 c bounds -495 >= -1246 @ 5.981 293.09/294.01 c bounds -495 >= -1245 @ 5.98533 293.09/294.01 c bounds -532 >= -1245 @ 5.99531 293.09/294.01 c bounds -532 >= -1244 @ 5.9967 293.09/294.01 c bounds -532 >= -1243 @ 6.00259 293.09/294.01 c bounds -567 >= -1243 @ 6.00939 293.09/294.01 c bounds -567 >= -1242 @ 6.013 293.09/294.01 c bounds -602 >= -1242 @ 6.01983 293.09/294.01 c bounds -602 >= -1241 @ 6.02358 293.09/294.01 c bounds -602 >= -1240 @ 6.02597 293.09/294.01 c bounds -751 >= -1240 @ 6.03121 293.09/294.01 c bounds -751 >= -1239 @ 6.03928 293.09/294.01 c bounds -776 >= -1239 @ 6.04553 293.09/294.01 c bounds -801 >= -1239 @ 6.05382 293.09/294.01 c bounds -801 >= -1238 @ 6.06149 293.09/294.01 c bounds -826 >= -1238 @ 6.07081 293.09/294.01 c bounds -826 >= -1237 @ 6.07782 293.09/294.01 c bounds -851 >= -1237 @ 6.08274 293.09/294.01 c bounds -851 >= -1236 @ 6.09014 293.09/294.01 c bounds -882 >= -1236 @ 6.10373 293.09/294.01 c bounds -882 >= -1235 @ 6.11973 293.09/294.01 c bounds -901 >= -1235 @ 6.12732 293.09/294.01 c bounds -930 >= -1235 @ 6.14907 293.09/294.01 c bounds -947 >= -1235 @ 6.42018 293.09/294.01 c bounds -947 >= -1234 @ 6.4326 293.09/294.01 c #Conflicts: 1000 | #Constraints: 187566 293.09/294.01 c bounds -947 >= -1233 @ 6.4803 293.09/294.01 c bounds -956 >= -1233 @ 6.49459 293.09/294.01 c bounds -965 >= -1233 @ 6.4998 293.09/294.01 c bounds -965 >= -1232 @ 6.50679 293.09/294.01 c bounds -978 >= -1232 @ 6.60698 293.09/294.01 c bounds -978 >= -1231 @ 6.65131 293.09/294.01 c bounds -991 >= -1231 @ 6.66417 293.09/294.01 c bounds -1004 >= -1231 @ 6.66979 293.09/294.01 c bounds -1017 >= -1231 @ 6.67521 293.09/294.01 c bounds -1030 >= -1231 @ 6.68106 293.09/294.01 c bounds -1031 >= -1231 @ 6.68479 293.09/294.01 c bounds -1032 >= -1231 @ 6.68906 293.09/294.01 c bounds -1039 >= -1231 @ 6.69185 293.09/294.01 c #Conflicts: 2000 | #Constraints: 188750 293.09/294.01 c INPROCESSING 293.09/294.01 c GARBAGE COLLECT 293.09/294.01 c bounds -1042 >= -1231 @ 69.8187 293.09/294.01 c bounds -1042 >= -1230 @ 69.8271 293.09/294.01 c bounds -1042 >= -1229 @ 69.9078 293.09/294.01 c #Conflicts: 3000 | #Constraints: 188204 293.09/294.01 c bounds -1045 >= -1229 @ 70.0688 293.09/294.01 c #Conflicts: 4000 | #Constraints: 189205 293.09/294.01 c INPROCESSING 293.09/294.01 c GARBAGE COLLECT 293.09/294.01 c bounds -1045 >= -1228 @ 71.4381 293.09/294.01 c #Conflicts: 5000 | #Constraints: 188597 293.09/294.01 c bounds -1045 >= -1227 @ 71.4987 293.09/294.01 c #Conflicts: 6000 | #Constraints: 189621 293.09/294.01 c INPROCESSING 293.09/294.01 c bounds -1056 >= -1227 @ 168.602 293.09/294.01 c #Conflicts: 7000 | #Constraints: 188668 293.09/294.01 c #Conflicts: 8000 | #Constraints: 189668 293.09/294.01 c bounds -1067 >= -1227 @ 170.623 293.09/294.01 c #Conflicts: 9000 | #Constraints: 190669 293.09/294.01 c bounds -1067 >= -1226 @ 170.965 293.09/294.01 c #Conflicts: 10000 | #Constraints: 191684 293.09/294.01 c #Conflicts: 11000 | #Constraints: 192684 293.09/294.01 c bounds -1078 >= -1226 @ 172.807 293.09/294.01 c #Conflicts: 12000 | #Constraints: 193685 293.09/294.01 c INPROCESSING 293.09/294.01 c GARBAGE COLLECT 293.09/294.01 WSVECS04 Frhs2[560]: 6 0 1.00002 shouldn't be 293.09/294.01 WSVECS04 Frhs2[665]: 6 0 1.00003 shouldn't be 309.53/310.50 WSVECS04 Frhs2[933]: 6 0 1.00007 shouldn't be 1045.40/1048.39 c #Conflicts: 13000 | #Constraints: 190602 1045.40/1048.39 c bounds -1089 >= -1226 @ 392.207 1045.40/1048.39 c #Conflicts: 14000 | #Constraints: 191603 1045.40/1048.39 c #Conflicts: 15000 | #Constraints: 192603 1045.40/1048.39 c #Conflicts: 16000 | #Constraints: 193603 1045.40/1048.39 c INPROCESSING 1045.40/1048.39 c GARBAGE COLLECT 1045.40/1048.39 c bounds -1089 >= -1225 @ 395.963 1045.40/1048.39 c #Conflicts: 17000 | #Constraints: 190733 1045.40/1048.39 c #Conflicts: 18000 | #Constraints: 191733 1045.40/1048.39 c #Conflicts: 19000 | #Constraints: 192733 1045.40/1048.39 c bounds -1089 >= -1224 @ 396.835 1045.40/1048.39 c #Conflicts: 20000 | #Constraints: 193805 1045.40/1048.39 c INPROCESSING 1045.40/1048.39 c GARBAGE COLLECT 1045.40/1048.39 c #Conflicts: 21000 | #Constraints: 190909 1045.40/1048.39 c #Conflicts: 22000 | #Constraints: 191909 1045.40/1048.39 c #Conflicts: 23000 | #Constraints: 192914 1045.40/1048.39 c #Conflicts: 24000 | #Constraints: 193916 1045.40/1048.39 c #Conflicts: 25000 | #Constraints: 194917 1045.40/1048.39 c #Conflicts: 26000 | #Constraints: 195921 1045.40/1048.39 c #Conflicts: 27000 | #Constraints: 196925 1045.40/1048.39 c #Conflicts: 28000 | #Constraints: 197927 1045.40/1048.39 c #Conflicts: 29000 | #Constraints: 198929 1045.40/1048.39 c #Conflicts: 30000 | #Constraints: 199931 1045.40/1048.39 c INPROCESSING 1045.40/1048.39 c GARBAGE COLLECT 1045.40/1048.39 c #Conflicts: 31000 | #Constraints: 193766 1045.40/1048.39 c #Conflicts: 32000 | #Constraints: 194766 1045.40/1048.39 c #Conflicts: 33000 | #Constraints: 195766 1045.40/1048.39 c #Conflicts: 34000 | #Constraints: 196766 1045.40/1048.39 c #Conflicts: 35000 | #Constraints: 197766 1045.40/1048.39 c #Conflicts: 36000 | #Constraints: 198766 1045.40/1048.39 c INPROCESSING 1045.40/1048.39 c GARBAGE COLLECT 1045.40/1048.39 c #Conflicts: 37000 | #Constraints: 193627 1045.40/1048.39 c #Conflicts: 38000 | #Constraints: 194627 1045.40/1048.39 c #Conflicts: 39000 | #Constraints: 195627 1045.40/1048.39 c bounds -1089 >= -1223 @ 906.765 1045.40/1048.39 c #Conflicts: 40000 | #Constraints: 196705 1045.40/1048.39 c #Conflicts: 41000 | #Constraints: 197705 1045.40/1048.39 c INPROCESSING 1045.40/1048.39 c GARBAGE COLLECT 1045.40/1048.39 WSVECS04 Frhs2[1670]: 6 0 1.00003 shouldn't be 2726.72/2733.98 c #Conflicts: 42000 | #Constraints: 192918 2726.72/2733.98 c #Conflicts: 43000 | #Constraints: 193918 2726.72/2733.98 c #Conflicts: 44000 | #Constraints: 194918 2726.72/2733.98 c #Conflicts: 45000 | #Constraints: 195918 2726.72/2733.98 c #Conflicts: 46000 | #Constraints: 196918 2726.72/2733.98 c #Conflicts: 47000 | #Constraints: 197918 2726.72/2733.98 c #Conflicts: 48000 | #Constraints: 198918 2726.72/2733.98 c #Conflicts: 49000 | #Constraints: 199918 2726.72/2733.98 c #Conflicts: 50000 | #Constraints: 200918 2726.72/2733.98 c #Conflicts: 51000 | #Constraints: 201918 2726.72/2733.98 c #Conflicts: 52000 | #Constraints: 202918 2726.72/2733.98 c #Conflicts: 53000 | #Constraints: 203918 2726.72/2733.98 c #Conflicts: 54000 | #Constraints: 204918 2726.72/2733.98 c #Conflicts: 55000 | #Constraints: 205918 2726.72/2733.98 c #Conflicts: 56000 | #Constraints: 206918 2726.72/2733.98 c INPROCESSING 2726.72/2733.98 c GARBAGE COLLECT 2726.72/2733.98 c #Conflicts: 57000 | #Constraints: 197724 2726.72/2733.98 c #Conflicts: 58000 | #Constraints: 198724 2726.72/2733.98 c #Conflicts: 59000 | #Constraints: 199724 2726.72/2733.98 c #Conflicts: 60000 | #Constraints: 200724 2726.72/2733.98 c #Conflicts: 61000 | #Constraints: 201724 2726.72/2733.99 c #Conflicts: 62000 | #Constraints: 202724 2726.72/2733.99 c bounds -1089 >= -1222 @ 1672.99 2726.72/2733.99 c INPROCESSING 2726.72/2733.99 c GARBAGE COLLECT 2726.72/2733.99 c #Conflicts: 63000 | #Constraints: 195379 2726.72/2733.99 c #Conflicts: 64000 | #Constraints: 196379 2726.72/2733.99 c bounds -1089 >= -1221 @ 1674.4 2726.72/2733.99 c #Conflicts: 65000 | #Constraints: 197403 2726.72/2733.99 c #Conflicts: 66000 | #Constraints: 198403 2726.72/2733.99 c #Conflicts: 67000 | #Constraints: 199403 2726.72/2733.99 c bounds -1089 >= -1220 @ 1675.67 2726.72/2733.99 c #Conflicts: 68000 | #Constraints: 200433 2726.72/2733.99 c #Conflicts: 69000 | #Constraints: 201433 2726.72/2733.99 c #Conflicts: 70000 | #Constraints: 202433 2726.72/2733.99 c #Conflicts: 71000 | #Constraints: 203433 2726.72/2733.99 c #Conflicts: 72000 | #Constraints: 204433 2726.72/2733.99 c bounds -1089 >= -1219 @ 1677.82 2726.72/2733.99 c #Conflicts: 73000 | #Constraints: 205493 2726.72/2733.99 c #Conflicts: 74000 | #Constraints: 206493 2726.72/2733.99 c #Conflicts: 75000 | #Constraints: 207493 2726.72/2733.99 c #Conflicts: 76000 | #Constraints: 208493 2726.72/2733.99 c #Conflicts: 77000 | #Constraints: 209493 2726.72/2733.99 c bounds -1089 >= -1218 @ 1680.87 2726.72/2733.99 c #Conflicts: 78000 | #Constraints: 210529 2726.72/2733.99 c #Conflicts: 79000 | #Constraints: 211529 2726.72/2733.99 c #Conflicts: 80000 | #Constraints: 212529 2726.72/2733.99 c INPROCESSING 2726.72/2733.99 c GARBAGE COLLECT 2726.72/2733.99 c #Conflicts: 81000 | #Constraints: 200151 2726.72/2733.99 c #Conflicts: 82000 | #Constraints: 201151 2726.72/2733.99 c #Conflicts: 83000 | #Constraints: 202151 2726.72/2733.99 c #Conflicts: 84000 | #Constraints: 203151 2726.72/2733.99 c #Conflicts: 85000 | #Constraints: 204151 2726.72/2733.99 c #Conflicts: 86000 | #Constraints: 205151 2726.72/2733.99 c #Conflicts: 87000 | #Constraints: 206151 2726.72/2733.99 c #Conflicts: 88000 | #Constraints: 207151 2726.72/2733.99 c #Conflicts: 89000 | #Constraints: 208151 2726.72/2733.99 c #Conflicts: 90000 | #Constraints: 209151 2726.72/2733.99 c #Conflicts: 91000 | #Constraints: 210151 2726.72/2733.99 c #Conflicts: 92000 | #Constraints: 211151 2726.72/2733.99 c #Conflicts: 93000 | #Constraints: 212151 2726.72/2733.99 c #Conflicts: 94000 | #Constraints: 213151 2726.72/2733.99 c #Conflicts: 95000 | #Constraints: 214151 2726.72/2733.99 c #Conflicts: 96000 | #Constraints: 215157 2726.72/2733.99 c #Conflicts: 97000 | #Constraints: 216161 2726.72/2733.99 c #Conflicts: 98000 | #Constraints: 217162 2726.72/2733.99 c #Conflicts: 99000 | #Constraints: 218164 2726.72/2733.99 c #Conflicts: 100000 | #Constraints: 219167 2726.72/2733.99 c INPROCESSING 2726.72/2733.99 c GARBAGE COLLECT 2726.72/2733.99 c #Conflicts: 101000 | #Constraints: 203946 2726.72/2733.99 c #Conflicts: 102000 | #Constraints: 204946 2726.72/2733.99 c #Conflicts: 103000 | #Constraints: 205946 2726.72/2733.99 c bounds -1089 >= -1217 @ 2718.02 2726.72/2733.99 c #Conflicts: 104000 | #Constraints: 206970 2726.72/2733.99 c #Conflicts: 105000 | #Constraints: 207970 2726.72/2733.99 c #Conflicts: 106000 | #Constraints: 208970 2726.72/2733.99 c #Conflicts: 107000 | #Constraints: 209970 2726.72/2733.99 c #Conflicts: 108000 | #Constraints: 210970 2726.72/2733.99 c #Conflicts: 109000 | #Constraints: 211970 2726.72/2733.99 c INPROCESSING 2726.72/2733.99 c GARBAGE COLLECT 2726.72/2733.99 c #Conflicts: 110000 | #Constraints: 201715 2726.72/2733.99 c #Conflicts: 111000 | #Constraints: 202715 2726.72/2733.99 c #Conflicts: 112000 | #Constraints: 203715 2726.72/2733.99 c #Conflicts: 113000 | #Constraints: 204715 2819.29/2826.78 c #Conflicts: 114000 | #Constraints: 205715 2819.29/2826.78 c #Conflicts: 115000 | #Constraints: 206715 2819.29/2826.78 c #Conflicts: 116000 | #Constraints: 207715 2819.29/2826.78 c #Conflicts: 117000 | #Constraints: 208715 2819.29/2826.78 c #Conflicts: 118000 | #Constraints: 209715 2819.29/2826.78 c bounds -1089 >= -1216 @ 2725.19 2819.29/2826.78 c #Conflicts: 119000 | #Constraints: 210769 2819.29/2826.78 c #Conflicts: 120000 | #Constraints: 211769 2819.29/2826.78 c #Conflicts: 121000 | #Constraints: 212769 2819.29/2826.78 c #Conflicts: 122000 | #Constraints: 213769 2819.29/2826.78 c #Conflicts: 123000 | #Constraints: 214769 2819.29/2826.78 c #Conflicts: 124000 | #Constraints: 215769 2819.29/2826.78 c #Conflicts: 125000 | #Constraints: 216769 2819.29/2826.78 c #Conflicts: 126000 | #Constraints: 217769 2819.29/2826.78 c #Conflicts: 127000 | #Constraints: 218769 2819.29/2826.78 c bounds -1089 >= -1215 @ 2731.56 2819.29/2826.78 c #Conflicts: 128000 | #Constraints: 219811 2819.29/2826.78 c #Conflicts: 129000 | #Constraints: 220811 2819.29/2826.78 c #Conflicts: 130000 | #Constraints: 221811 2819.29/2826.78 c #Conflicts: 131000 | #Constraints: 222811 2819.29/2826.78 c #Conflicts: 132000 | #Constraints: 223811 2819.29/2826.78 c INPROCESSING 2819.29/2826.78 c GARBAGE COLLECT 2819.29/2826.78 c #Conflicts: 133000 | #Constraints: 206185 2819.29/2826.78 c #Conflicts: 134000 | #Constraints: 207185 2819.29/2826.78 c #Conflicts: 135000 | #Constraints: 208185 2819.29/2826.78 c #Conflicts: 136000 | #Constraints: 209185 2819.29/2826.78 c #Conflicts: 137000 | #Constraints: 210185 2819.29/2826.78 c #Conflicts: 138000 | #Constraints: 211185 2819.29/2826.78 c #Conflicts: 139000 | #Constraints: 212185 2819.29/2826.78 c #Conflicts: 140000 | #Constraints: 213185 2819.29/2826.78 c #Conflicts: 141000 | #Constraints: 214185 2819.29/2826.78 c #Conflicts: 142000 | #Constraints: 215185 2819.29/2826.78 c #Conflicts: 143000 | #Constraints: 216185 2819.29/2826.78 c #Conflicts: 144000 | #Constraints: 217185 2819.29/2826.78 c #Conflicts: 145000 | #Constraints: 218185 2819.29/2826.78 c #Conflicts: 146000 | #Constraints: 219185 2819.29/2826.78 c #Conflicts: 147000 | #Constraints: 220185 2819.29/2826.78 c #Conflicts: 148000 | #Constraints: 221185 2819.29/2826.78 c #Conflicts: 149000 | #Constraints: 222185 2819.29/2826.78 c #Conflicts: 150000 | #Constraints: 223185 2819.29/2826.78 c #Conflicts: 151000 | #Constraints: 224185 2819.29/2826.78 c #Conflicts: 152000 | #Constraints: 225185 2819.29/2826.78 c #Conflicts: 153000 | #Constraints: 226185 2819.29/2826.78 c #Conflicts: 154000 | #Constraints: 227185 2819.29/2826.78 c #Conflicts: 155000 | #Constraints: 228185 2819.29/2826.78 c #Conflicts: 156000 | #Constraints: 229185 2819.29/2826.78 c INPROCESSING 2819.29/2826.78 c GARBAGE COLLECT 2819.29/2826.78 c #Conflicts: 157000 | #Constraints: 208691 2819.29/2826.78 c #Conflicts: 158000 | #Constraints: 209691 2819.29/2826.78 c #Conflicts: 159000 | #Constraints: 210691 2819.29/2826.78 c #Conflicts: 160000 | #Constraints: 211691 2819.29/2826.78 c #Conflicts: 161000 | #Constraints: 212691 2819.29/2826.78 c #Conflicts: 162000 | #Constraints: 213691 2819.29/2826.78 c bounds -1089 >= -1214 @ 2790.79 2819.29/2826.78 c #Conflicts: 163000 | #Constraints: 214724 2819.29/2826.78 c #Conflicts: 164000 | #Constraints: 215724 2819.29/2826.78 c #Conflicts: 165000 | #Constraints: 216724 2819.29/2826.78 c #Conflicts: 166000 | #Constraints: 217724 2819.29/2826.78 c bounds -1089 >= -1213 @ 2794.06 2819.29/2826.78 c #Conflicts: 167000 | #Constraints: 218760 2819.29/2826.78 c #Conflicts: 168000 | #Constraints: 219760 2819.29/2826.78 c INPROCESSING 2819.29/2826.78 c GARBAGE COLLECT 2819.29/2826.78 c #Conflicts: 169000 | #Constraints: 208247 2819.29/2826.78 c #Conflicts: 170000 | #Constraints: 209247 2819.29/2826.78 c #Conflicts: 171000 | #Constraints: 210247 2819.29/2826.78 c #Conflicts: 172000 | #Constraints: 211247 2819.29/2826.78 c #Conflicts: 173000 | #Constraints: 212247 2819.29/2826.78 c bounds -1089 >= -1212 @ 2799.68 2819.29/2826.78 c #Conflicts: 174000 | #Constraints: 213286 2819.29/2826.78 c #Conflicts: 175000 | #Constraints: 214286 2819.29/2826.78 c #Conflicts: 176000 | #Constraints: 215286 2819.29/2826.78 c #Conflicts: 177000 | #Constraints: 216286 2819.29/2826.78 c #Conflicts: 178000 | #Constraints: 217286 2819.29/2826.78 c #Conflicts: 179000 | #Constraints: 218286 2819.29/2826.78 c #Conflicts: 180000 | #Constraints: 219286 2819.29/2826.78 c #Conflicts: 181000 | #Constraints: 220286 2819.29/2826.78 c #Conflicts: 182000 | #Constraints: 221286 2819.29/2826.78 c #Conflicts: 183000 | #Constraints: 222286 2819.29/2826.78 c #Conflicts: 184000 | #Constraints: 223286 2819.29/2826.78 c bounds -1089 >= -1211 @ 2810.18 2819.29/2826.78 c #Conflicts: 185000 | #Constraints: 224334 2819.29/2826.78 c #Conflicts: 186000 | #Const
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: 63931 MiB (60286 MiB free)
memory of node 1: 64510 MiB (60045 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458869-1721883196/watcher-4458869-1721883196 -o /tmp/evaluation-result-4458869-1721883196/solver-4458869-1721883196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721875932-216021 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4458869-1721883196.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=221263, runsolver pid=221260
[startup+0.100355 s]*
/proc/loadavg: 4.17 4.18 4.12 5/257 221264
/proc/meminfo: memFree=123214592/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=38864 memory=9544 CPUtime=0.09 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 810 0 0 0 7 2 0 0 20 0 1 0 24842526 39796736 2386 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 9716 2386 1249 922 0 1668 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38864 KiB
Current children cumulated memory: 9544 KiB
[startup+0.205641 s]*
/proc/loadavg: 4.17 4.18 4.12 5/257 221264
/proc/meminfo: memFree=123212576/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=40176 memory=11780 CPUtime=0.2 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 1488 0 0 0 14 6 0 0 20 0 1 0 24842526 41140224 2945 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 10044 2945 1249 922 0 1996 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40176 KiB
Current children cumulated memory: 11780 KiB
[startup+0.305646 s]*
/proc/loadavg: 4.17 4.18 4.12 5/257 221264
/proc/meminfo: memFree=123209224/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=44200 memory=14844 CPUtime=0.3 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 2324 0 0 0 21 9 0 0 20 0 1 0 24842526 45260800 3711 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 11050 3711 1249 922 0 3002 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44200 KiB
Current children cumulated memory: 14844 KiB
[startup+0.70026 s]
/proc/loadavg: 4.17 4.18 4.12 5/257 221264
/proc/meminfo: memFree=123167368/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=136184 memory=106360 CPUtime=0.68 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 26387 0 0 0 51 17 0 0 20 0 1 0 24842526 139452416 26590 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 34046 26590 1646 922 0 25998 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 136184 KiB
Current children cumulated memory: 106360 KiB
[startup+1.50028 s]
/proc/loadavg: 4.17 4.18 4.12 5/257 221264
/proc/meminfo: memFree=123118768/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=136184 memory=106360 CPUtime=1.48 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 26387 0 0 0 130 18 0 0 20 0 1 0 24842526 139452416 26590 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 34046 26590 1646 922 0 25998 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 136184 KiB
Current children cumulated memory: 106360 KiB
[startup+3.10573 s]
/proc/loadavg: 4.17 4.18 4.12 5/257 221264
/proc/meminfo: memFree=123118852/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=136184 memory=106360 CPUtime=3.09 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 26398 0 0 0 290 19 0 0 20 0 1 0 24842526 139452416 26590 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 34046 26590 1646 922 0 25998 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 136184 KiB
Current children cumulated memory: 106360 KiB
[startup+6.30024 s]
/proc/loadavg: 4.16 4.18 4.12 5/257 221265
/proc/meminfo: memFree=123118824/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=143364 memory=111308 CPUtime=6.27 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 27058 0 0 0 605 22 0 0 20 0 1 0 24842526 146804736 27827 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 35841 27827 1772 922 0 27793 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 143364 KiB
Current children cumulated memory: 111308 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.17 4.12 5/257 221265
/proc/meminfo: memFree=123080608/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=165172 memory=130568 CPUtime=12.65 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 28822 0 0 0 1231 34 0 0 20 0 1 0 24842526 169136128 32642 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 41293 32642 1788 922 0 33245 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 165172 KiB
Current children cumulated memory: 130568 KiB
[startup+25.5003 s]
/proc/loadavg: 4.19 4.18 4.12 5/257 221267
/proc/meminfo: memFree=123076480/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=165172 memory=132800 CPUtime=25.4 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 28860 0 0 0 2504 36 0 0 20 0 1 0 24842526 169136128 33200 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 41293 33200 1788 922 0 33245 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 165172 KiB
Current children cumulated memory: 132800 KiB
[startup+51.1059 s]
/proc/loadavg: 4.25 4.20 4.13 5/257 221271
/proc/meminfo: memFree=123068620/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=165172 memory=132800 CPUtime=50.93 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 28917 0 0 0 5053 40 0 0 20 0 1 0 24842526 169136128 33200 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 41293 33200 1788 922 0 33245 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 165172 KiB
Current children cumulated memory: 132800 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.18 4.13 5/257 221280
/proc/meminfo: memFree=123063516/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=166072 memory=137284 CPUtime=101.98 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 29514 0 0 0 10147 51 0 0 20 0 1 0 24842526 170057728 34321 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 41518 34321 1844 922 0 33470 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 166072 KiB
Current children cumulated memory: 137284 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/257 221673
/proc/meminfo: memFree=122991984/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=204420 memory=165708 CPUtime=161.8 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 31062 0 0 0 16120 60 0 0 20 0 1 0 24842526 209326080 41427 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 51105 41427 1844 922 0 43057 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 204420 KiB
Current children cumulated memory: 165708 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/258 221686
/proc/meminfo: memFree=122974264/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=216096 memory=171820 CPUtime=221.62 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 31607 0 0 0 22087 75 0 0 20 0 1 0 24842526 221282304 42955 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 54024 42955 1844 922 0 45976 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 216096 KiB
Current children cumulated memory: 171820 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/258 221697
/proc/meminfo: memFree=122946444/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=251332 memory=194804 CPUtime=281.42 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 32254 0 0 0 28056 86 0 0 20 0 1 0 24842526 257363968 48701 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 62833 48701 1844 922 0 54785 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 251332 KiB
Current children cumulated memory: 194804 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.16 4.12 5/260 221879
/proc/meminfo: memFree=122943664/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=251332 memory=194888 CPUtime=341.23 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 32277 0 0 0 34028 95 0 0 20 0 1 0 24842526 257363968 48722 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 62833 48722 1844 922 0 54785 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 251332 KiB
Current children cumulated memory: 194888 KiB
[startup+402.3 s]
/proc/loadavg: 4.43 4.25 4.15 5/260 221934
/proc/meminfo: memFree=123445156/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=251332 memory=194888 CPUtime=401.08 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 32304 0 0 0 39999 109 0 0 20 0 1 0 24842526 257363968 48722 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 62833 48722 1844 922 0 54785 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 251332 KiB
Current children cumulated memory: 194888 KiB
[startup+462.3 s]
/proc/loadavg: 4.28 4.23 4.15 5/258 221947
/proc/meminfo: memFree=123412672/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=270300 memory=219720 CPUtime=460.93 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 32914 0 0 0 45971 122 0 0 20 0 1 0 24842526 276787200 54930 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 67575 54930 1844 922 0 59527 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.24 4.20 4.17 5/257 223429
/proc/meminfo: memFree=119571396/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=351208 memory=276220 CPUtime=3034.31 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 36050 0 0 0 302875 556 0 0 20 0 1 0 24842526 359636992 69055 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 87802 69055 1844 922 0 79754 0
Current children cumulated CPU time: 3034.31 s
Current children cumulated vsize: 351208 KiB
Current children cumulated memory: 276220 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.19 4.17 5/257 223439
/proc/meminfo: memFree=119536048/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=351208 memory=276220 CPUtime=3094.17 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 36159 0 0 0 308856 561 0 0 20 0 1 0 24842526 359636992 69055 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 87802 69055 1844 922 0 79754 0
Current children cumulated CPU time: 3094.17 s
Current children cumulated vsize: 351208 KiB
Current children cumulated memory: 276220 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.19 4.17 5/257 223450
/proc/meminfo: memFree=119504436/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=351208 memory=276220 CPUtime=3154.04 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 36270 0 0 0 314838 566 0 0 20 0 1 0 24842526 359636992 69055 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 87802 69055 1844 922 0 79754 0
Current children cumulated CPU time: 3154.04 s
Current children cumulated vsize: 351208 KiB
Current children cumulated memory: 276220 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.18 4.17 5/255 223461
/proc/meminfo: memFree=119470292/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=351208 memory=276220 CPUtime=3213.9 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 36377 0 0 0 320820 570 0 0 20 0 1 0 24842526 359636992 69055 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 87802 69055 1844 922 0 79754 0
Current children cumulated CPU time: 3213.9 s
Current children cumulated vsize: 351208 KiB
Current children cumulated memory: 276220 KiB
[startup+3282.3 s]
/proc/loadavg: 3.79 4.08 4.14 4/249 223502
/proc/meminfo: memFree=123339648/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=351208 memory=276220 CPUtime=3273.75 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 36484 0 0 0 326799 576 0 0 20 0 1 0 24842526 359636992 69055 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 87802 69055 1844 922 0 79754 0
Current children cumulated CPU time: 3273.75 s
Current children cumulated vsize: 351208 KiB
Current children cumulated memory: 276220 KiB
[startup+3342.3 s]
/proc/loadavg: 3.34 3.90 4.07 4/249 223513
/proc/meminfo: memFree=123322188/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=351208 memory=276220 CPUtime=3333.58 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 36590 0 0 0 332775 583 0 0 20 0 1 0 24842526 359636992 69055 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 87802 69055 1844 922 0 79754 0
Current children cumulated CPU time: 3333.58 s
Current children cumulated vsize: 351208 KiB
Current children cumulated memory: 276220 KiB
[startup+3402.3 s]
/proc/loadavg: 3.22 3.76 4.01 4/249 223523
/proc/meminfo: memFree=123310848/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=351208 memory=276220 CPUtime=3393.4 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 36698 0 0 0 338750 590 0 0 20 0 1 0 24842526 359636992 69055 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 87802 69055 1844 922 0 79754 0
Current children cumulated CPU time: 3393.4 s
Current children cumulated vsize: 351208 KiB
Current children cumulated memory: 276220 KiB
[startup+3462.3 s]
/proc/loadavg: 3.13 3.64 3.95 4/251 223537
/proc/meminfo: memFree=123310000/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=351208 memory=276220 CPUtime=3453.23 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 36809 0 0 0 344726 597 0 0 20 0 1 0 24842526 359636992 69055 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 87802 69055 1844 922 0 79754 0
Current children cumulated CPU time: 3453.23 s
Current children cumulated vsize: 351208 KiB
Current children cumulated memory: 276220 KiB
[startup+3522.3 s]
/proc/loadavg: 3.09 3.53 3.89 4/251 223548
/proc/meminfo: memFree=123309204/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=351208 memory=276220 CPUtime=3513.05 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 36915 0 0 0 350700 605 0 0 20 0 1 0 24842526 359636992 69055 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 87802 69055 1844 922 0 79754 0
Current children cumulated CPU time: 3513.05 s
Current children cumulated vsize: 351208 KiB
Current children cumulated memory: 276220 KiB
[startup+3582.3 s]
/proc/loadavg: 3.12 3.46 3.85 4/250 223560
/proc/meminfo: memFree=123308672/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=351208 memory=276220 CPUtime=3572.88 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 37021 0 0 0 356676 612 0 0 20 0 1 0 24842526 359636992 69055 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 87802 69055 1844 922 0 79754 0
Current children cumulated CPU time: 3572.88 s
Current children cumulated vsize: 351208 KiB
Current children cumulated memory: 276220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 3.08 3.42 3.82 3/243 223595
/proc/meminfo: memFree=123626548/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=351208 memory=276220 CPUtime=3600.09 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 37076 0 0 0 359395 614 0 0 20 0 1 0 24842526 359636992 69055 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 87802 69055 1844 922 0 79754 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 351208 KiB
Current children cumulated memory: 276220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.6 s]
# the end of solver process 221263 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3595.95 s, system=6.15339 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 3.08 3.42 3.82 3/243 223595
/proc/meminfo: memFree=123626556/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=351208 memory=276220 CPUtime=3600.9 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 37076 0 0 0 359475 615 0 0 20 0 1 0 24842526 359636992 69055 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 87802 69055 1844 922 0 79754 0
Current children cumulated CPU time: 3600.9 s
Current children cumulated vsize: 351208 KiB
Current children cumulated memory: 276220 KiB
[startup+3611.2 s]
/proc/loadavg: 2.99 3.40 3.81 3/243 223595
/proc/meminfo: memFree=123626548/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=351208 memory=276220 CPUtime=3601.69 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 37076 0 0 0 359554 615 0 0 20 0 1 0 24842526 359636992 69055 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 87802 69055 1844 922 0 79754 0
Current children cumulated CPU time: 3601.69 s
Current children cumulated vsize: 351208 KiB
Current children cumulated memory: 276220 KiB
[startup+3611.6 s]
/proc/loadavg: 2.99 3.40 3.81 3/243 223595
/proc/meminfo: memFree=123626548/131524600 swapFree=131061428/131071996
[pid=221263] ppid=221260 vsize=351208 memory=276220 CPUtime=3602.09 cores=1,3
/proc/221263/stat : 221263 (roundingsat) R 221260 221263 216009 0 -1 4194304 37076 0 0 0 359594 615 0 0 20 0 1 0 24842526 359636992 69055 134679101440 4194304 7968373 140727573553472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18182144 140727573562302 140727573562466 140727573562466 140727573569481 0
/proc/221263/statm: 87802 69055 1844 922 0 79754 0
Current children cumulated CPU time: 3602.09 s
Current children cumulated vsize: 351208 KiB
Current children cumulated memory: 276220 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.6
CPU time (s): 3602.1
CPU user time (s): 3595.95
CPU system time (s): 6.15339
CPU usage (%): 99.737
Max. virtual memory (cumulated for all children) (KiB): 351208
Max. memory (cumulated for all children) (KiB): 276220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.95
system time used= 6.15339
maximum resident set size= 276220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37076
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= 14
involuntary context switches= 1088
# summary of solver processes directly reported to runsolver:
# pid: 221263
# total CPU time (s): 3602.1
# total CPU user time (s): 3595.95
# total CPU system time (s): 6.15339
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.93448 second user time and 15.3122 second system time
The end
Begin job on nodeC022 at 2024-07-25 06:53:16 IDJOB=4458869 IDBENCH=178226 IDSOLVER=3084 FILE ID=nodeC022/4458869-1721883196 RUNJOBID= nodeC022-1721875932-216021 SLURM_JOB_ID= 8089234 Free space on /tmp= 890052 MiB SOLVER NAME= RoundingSat nolog 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 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458869-1721883196/watcher-4458869-1721883196 -o /tmp/evaluation-result-4458869-1721883196/solver-4458869-1721883196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721875932-216021 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4458869-1721883196.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7cbab653d296f81eb095bf1f983193d8 RANDOM SEED=346727852 nodeC022.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 : 0xb00002a cpu MHz : 3665.885 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.87 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 : 0xb00002a cpu MHz : 3676.131 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.75 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 : 0xb00002a cpu MHz : 3600.128 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.87 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 : 0xb00002a cpu MHz : 3656.248 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.75 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 : 0xb00002a cpu MHz : 3665.898 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.87 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 : 0xb00002a cpu MHz : 3681.176 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.75 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 : 0xb00002a cpu MHz : 3600.174 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.87 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 : 0xb00002a cpu MHz : 3603.450 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123219800 kB MemAvailable: 128712880 kB Buffers: 301512 kB Cached: 5940936 kB SwapCached: 1424 kB Active: 2588496 kB Inactive: 4945496 kB Active(anon): 1960 kB Inactive(anon): 1343348 kB Active(file): 2586536 kB Inactive(file): 3602148 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131061428 kB Dirty: 24472 kB Writeback: 28 kB AnonPages: 1286348 kB Mapped: 124752 kB Shmem: 53732 kB KReclaimable: 292180 kB Slab: 415320 kB SReclaimable: 292180 kB SUnreclaim: 123140 kB KernelStack: 4176 kB PageTables: 12232 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1773376 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17248 kB HardwareCorrupted: 0 kB AnonHugePages: 960512 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: 334548 kB DirectMap2M: 36139008 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 890068 MiB End job on nodeC022 at 2024-07-25 07:53:28