| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3602.05 | 3616.8 |
| 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.59/0.62 c #variables 2145 #constraints 183040 6.16/6.24 c bounds - >= -1815 @ 0.459487 6.16/6.24 c bounds 0 >= -1815 @ 5.93037 6.16/6.24 c bounds 0 >= -1814 @ 5.93116 6.16/6.24 c bounds 0 >= -1813 @ 5.9318 6.16/6.24 c bounds 0 >= -1812 @ 5.93243 6.16/6.24 c bounds 0 >= -1811 @ 5.93307 6.16/6.24 c bounds 0 >= -1810 @ 5.9337 6.16/6.24 c bounds 0 >= -1809 @ 5.93434 6.16/6.24 c bounds 0 >= -1808 @ 5.93498 6.16/6.24 c bounds 0 >= -1807 @ 5.93562 6.16/6.24 c bounds 0 >= -1806 @ 5.93626 6.16/6.24 c bounds 0 >= -1805 @ 5.93689 6.16/6.24 c bounds 0 >= -1804 @ 5.93753 6.16/6.24 c bounds 0 >= -1803 @ 5.93821 6.16/6.24 c bounds 0 >= -1802 @ 5.93886 6.16/6.24 c bounds 0 >= -1801 @ 5.93952 6.16/6.24 c bounds 0 >= -1800 @ 5.94016 6.16/6.24 c bounds 0 >= -1799 @ 5.9408 6.16/6.24 c bounds 0 >= -1798 @ 5.94143 6.16/6.24 c bounds 0 >= -1797 @ 5.94207 6.16/6.24 c bounds 0 >= -1796 @ 5.94272 6.16/6.24 c bounds 0 >= -1795 @ 5.94335 6.16/6.24 c bounds 0 >= -1794 @ 5.94399 6.16/6.24 c bounds 0 >= -1793 @ 5.94462 6.16/6.24 c bounds 0 >= -1792 @ 5.94526 6.16/6.24 c bounds 0 >= -1791 @ 5.94594 6.16/6.24 c bounds 0 >= -1790 @ 5.94658 6.16/6.24 c bounds 0 >= -1789 @ 5.94721 6.16/6.24 c bounds 0 >= -1788 @ 5.94785 6.16/6.24 c bounds 0 >= -1787 @ 5.9485 6.16/6.24 c bounds 0 >= -1786 @ 5.94914 6.16/6.24 c bounds 0 >= -1785 @ 5.94978 6.16/6.24 c bounds 0 >= -1784 @ 5.95041 6.16/6.24 c bounds 0 >= -1783 @ 5.95105 6.16/6.24 c bounds 0 >= -1782 @ 5.95169 6.16/6.24 c bounds 0 >= -1781 @ 5.95233 6.16/6.24 c bounds 0 >= -1780 @ 5.95297 6.16/6.24 c bounds 0 >= -1779 @ 5.95362 6.16/6.24 c bounds 0 >= -1778 @ 5.95428 6.16/6.24 c bounds 0 >= -1777 @ 5.95496 6.16/6.24 c bounds 0 >= -1776 @ 5.95559 6.16/6.24 c bounds 0 >= -1775 @ 5.95624 6.16/6.24 c bounds 0 >= -1774 @ 5.95687 6.16/6.24 c bounds 0 >= -1773 @ 5.95751 6.16/6.24 c bounds 0 >= -1772 @ 5.95815 6.16/6.24 c bounds 0 >= -1771 @ 5.95881 6.16/6.24 c bounds 0 >= -1770 @ 5.95947 6.16/6.24 c bounds 0 >= -1769 @ 5.96014 6.16/6.24 c bounds 0 >= -1768 @ 5.9608 6.16/6.24 c bounds 0 >= -1767 @ 5.96146 6.16/6.24 c bounds 0 >= -1766 @ 5.96213 6.16/6.24 c bounds 0 >= -1765 @ 5.96281 6.16/6.24 c bounds 0 >= -1764 @ 5.96345 6.16/6.24 c bounds 0 >= -1763 @ 5.96412 6.16/6.24 c bounds 0 >= -1762 @ 5.96478 6.16/6.24 c bounds 0 >= -1761 @ 5.96544 6.16/6.24 c bounds 0 >= -1760 @ 5.96609 6.16/6.24 c bounds 0 >= -1759 @ 5.96621 6.16/6.24 c bounds 0 >= -1758 @ 5.96638 6.16/6.24 c bounds 0 >= -1757 @ 5.96701 6.16/6.24 c bounds 0 >= -1756 @ 5.96713 6.16/6.24 c bounds 0 >= -1755 @ 5.96728 6.16/6.24 c bounds 0 >= -1754 @ 5.96796 6.16/6.24 c bounds 0 >= -1753 @ 5.96862 6.16/6.24 c bounds 0 >= -1752 @ 5.96928 6.16/6.24 c bounds 0 >= -1751 @ 5.96996 6.16/6.24 c bounds 0 >= -1750 @ 5.97062 6.16/6.24 c bounds 0 >= -1749 @ 5.97127 6.16/6.24 c bounds 0 >= -1748 @ 5.97196 6.16/6.24 c bounds 0 >= -1747 @ 5.97261 6.16/6.24 c bounds 0 >= -1746 @ 5.97326 6.16/6.24 c bounds 0 >= -1745 @ 5.97393 6.16/6.24 c bounds 0 >= -1744 @ 5.97459 6.16/6.24 c bounds 0 >= -1743 @ 5.97526 6.16/6.24 c bounds 0 >= -1742 @ 5.97537 6.16/6.24 c bounds 0 >= -1741 @ 5.9756 6.16/6.24 c bounds 0 >= -1740 @ 5.97621 6.16/6.24 c bounds 0 >= -1739 @ 5.97684 6.16/6.24 c bounds 0 >= -1738 @ 5.97749 6.16/6.24 c bounds 0 >= -1737 @ 5.97812 6.16/6.24 c bounds 0 >= -1736 @ 5.97876 6.16/6.24 c bounds 0 >= -1735 @ 5.97941 6.16/6.24 c bounds 0 >= -1734 @ 5.98005 6.16/6.24 c bounds 0 >= -1733 @ 5.98068 6.16/6.24 c bounds 0 >= -1732 @ 5.98131 6.16/6.24 c bounds 0 >= -1731 @ 5.98195 6.16/6.24 c bounds 0 >= -1730 @ 5.9826 6.16/6.24 c bounds 0 >= -1729 @ 5.98326 6.16/6.24 c bounds 0 >= -1728 @ 5.98336 6.16/6.24 c bounds 0 >= -1727 @ 5.98362 6.16/6.24 c bounds 0 >= -1726 @ 5.98425 6.16/6.24 c bounds 0 >= -1725 @ 5.98492 6.16/6.24 c bounds 0 >= -1724 @ 5.98558 6.16/6.24 c bounds 0 >= -1723 @ 5.98624 6.16/6.24 c bounds 0 >= -1722 @ 5.98688 6.16/6.24 c bounds 0 >= -1721 @ 5.98752 6.16/6.24 c bounds 0 >= -1720 @ 5.98814 6.16/6.24 c bounds 0 >= -1719 @ 5.98879 6.16/6.24 c bounds 0 >= -1718 @ 5.98944 6.16/6.24 c bounds 0 >= -1717 @ 5.99009 6.16/6.24 c bounds 0 >= -1716 @ 5.99073 6.16/6.24 c bounds 0 >= -1715 @ 5.99136 6.16/6.24 c bounds 0 >= -1714 @ 5.99199 6.16/6.24 c bounds 0 >= -1713 @ 5.99263 6.16/6.24 c bounds 0 >= -1712 @ 5.99328 6.16/6.24 c bounds 0 >= -1711 @ 5.99394 6.16/6.24 c bounds 0 >= -1710 @ 5.99457 6.16/6.24 c bounds 0 >= -1709 @ 5.99523 6.16/6.24 c bounds 0 >= -1708 @ 5.99588 6.16/6.24 c bounds 0 >= -1707 @ 5.99655 6.16/6.24 c bounds 0 >= -1706 @ 5.99719 6.16/6.24 c bounds 0 >= -1705 @ 5.99731 6.16/6.24 c bounds 0 >= -1704 @ 5.99756 6.16/6.24 c bounds 0 >= -1703 @ 5.99819 6.16/6.24 c bounds 0 >= -1702 @ 5.99886 6.16/6.24 c bounds 0 >= -1701 @ 5.99952 6.16/6.24 c bounds 0 >= -1700 @ 6.00017 6.16/6.24 c bounds 0 >= -1699 @ 6.00081 6.16/6.24 c bounds 0 >= -1698 @ 6.00144 6.16/6.24 c bounds 0 >= -1697 @ 6.00209 6.16/6.24 c bounds 0 >= -1696 @ 6.00272 6.16/6.24 c bounds 0 >= -1695 @ 6.00336 6.16/6.24 c bounds 0 >= -1694 @ 6.004 6.16/6.24 c bounds 0 >= -1693 @ 6.00412 6.16/6.24 c bounds 0 >= -1692 @ 6.00433 6.16/6.24 c bounds 0 >= -1691 @ 6.00495 6.16/6.24 c bounds 0 >= -1690 @ 6.00559 6.16/6.24 c bounds 0 >= -1689 @ 6.00622 6.16/6.24 c bounds 0 >= -1688 @ 6.00687 6.16/6.24 c bounds 0 >= -1687 @ 6.00756 6.16/6.24 c bounds 0 >= -1686 @ 6.00819 6.16/6.24 c bounds 0 >= -1685 @ 6.00883 6.16/6.24 c bounds 0 >= -1684 @ 6.00947 6.16/6.24 c bounds 0 >= -1683 @ 6.0101 6.16/6.24 c bounds 0 >= -1682 @ 6.01073 6.16/6.24 c bounds 0 >= -1681 @ 6.01137 6.16/6.24 c bounds 0 >= -1680 @ 6.01204 6.26/6.33 c bounds 0 >= -1679 @ 6.01218 6.26/6.33 c bounds 0 >= -1678 @ 6.01239 6.26/6.33 c bounds 0 >= -1677 @ 6.01301 6.26/6.33 c bounds 0 >= -1676 @ 6.01363 6.26/6.33 c bounds 0 >= -1675 @ 6.01426 6.26/6.33 c bounds 0 >= -1674 @ 6.0149 6.26/6.33 c bounds 0 >= -1673 @ 6.01553 6.26/6.33 c bounds 0 >= -1672 @ 6.01617 6.26/6.33 c bounds 0 >= -1671 @ 6.01679 6.26/6.33 c bounds 0 >= -1670 @ 6.01744 6.26/6.33 c bounds 0 >= -1669 @ 6.01807 6.26/6.33 c bounds 0 >= -1668 @ 6.01874 6.26/6.33 c bounds 0 >= -1667 @ 6.01938 6.26/6.33 c bounds 0 >= -1666 @ 6.02001 6.26/6.33 c bounds 0 >= -1665 @ 6.02065 6.26/6.33 c bounds 0 >= -1664 @ 6.02128 6.26/6.33 c bounds 0 >= -1663 @ 6.02192 6.26/6.33 c bounds 0 >= -1662 @ 6.02258 6.26/6.33 c bounds 0 >= -1661 @ 6.02321 6.26/6.33 c bounds 0 >= -1660 @ 6.02327 6.26/6.33 c bounds 0 >= -1659 @ 6.02351 6.26/6.33 c bounds 0 >= -1658 @ 6.02415 6.26/6.33 c bounds 0 >= -1657 @ 6.02478 6.26/6.33 c bounds 0 >= -1656 @ 6.02545 6.26/6.33 c bounds 0 >= -1655 @ 6.02609 6.26/6.33 c bounds 0 >= -1654 @ 6.02676 6.26/6.33 c bounds 0 >= -1653 @ 6.02741 6.26/6.33 c bounds 0 >= -1652 @ 6.02804 6.26/6.33 c bounds 0 >= -1651 @ 6.02866 6.26/6.33 c bounds 0 >= -1650 @ 6.0293 6.26/6.33 c bounds 0 >= -1649 @ 6.02993 6.26/6.33 c bounds 0 >= -1648 @ 6.03055 6.26/6.33 c bounds 0 >= -1647 @ 6.03118 6.26/6.33 c bounds 0 >= -1646 @ 6.03124 6.26/6.33 c bounds 0 >= -1645 @ 6.03148 6.26/6.33 c bounds 0 >= -1644 @ 6.0321 6.26/6.33 c bounds 0 >= -1643 @ 6.03277 6.26/6.33 c bounds 0 >= -1642 @ 6.03287 6.26/6.33 c bounds 0 >= -1641 @ 6.03305 6.26/6.33 c bounds 0 >= -1640 @ 6.03367 6.26/6.33 c bounds 0 >= -1639 @ 6.03431 6.26/6.33 c bounds 0 >= -1638 @ 6.03496 6.26/6.33 c bounds 0 >= -1637 @ 6.03559 6.26/6.33 c bounds 0 >= -1636 @ 6.03623 6.26/6.33 c bounds 0 >= -1635 @ 6.03623 6.26/6.33 c bounds 0 >= -1634 @ 6.03652 6.26/6.33 c bounds 0 >= -1633 @ 6.03714 6.26/6.33 c bounds 0 >= -1632 @ 6.03723 6.26/6.33 c bounds 0 >= -1631 @ 6.03746 6.26/6.33 c bounds 0 >= -1630 @ 6.03808 6.26/6.33 c bounds 0 >= -1629 @ 6.03877 6.26/6.33 c bounds 0 >= -1628 @ 6.0394 6.26/6.33 c bounds 0 >= -1627 @ 6.04003 6.26/6.33 c bounds 0 >= -1626 @ 6.04067 6.26/6.33 c bounds 0 >= -1625 @ 6.0413 6.26/6.33 c bounds 0 >= -1624 @ 6.04197 6.26/6.33 c bounds 0 >= -1623 @ 6.0426 6.26/6.33 c bounds 0 >= -1622 @ 6.04323 6.26/6.33 c bounds 0 >= -1621 @ 6.04386 6.26/6.33 c bounds 0 >= -1620 @ 6.04449 6.26/6.33 c bounds 0 >= -1619 @ 6.04515 6.26/6.33 c bounds 0 >= -1618 @ 6.04582 6.26/6.33 c bounds 0 >= -1617 @ 6.04651 6.26/6.33 c bounds 0 >= -1616 @ 6.04716 6.26/6.33 c bounds 0 >= -1615 @ 6.04783 6.26/6.33 c bounds 0 >= -1614 @ 6.04851 6.26/6.33 c bounds 0 >= -1613 @ 6.04915 6.26/6.33 c bounds 0 >= -1612 @ 6.04982 6.26/6.33 c bounds 0 >= -1611 @ 6.05052 6.26/6.33 c bounds 0 >= -1610 @ 6.05114 6.26/6.33 c bounds 0 >= -1609 @ 6.05178 6.26/6.33 c bounds 0 >= -1608 @ 6.05242 6.26/6.33 c bounds 0 >= -1607 @ 6.05305 6.26/6.33 c bounds 0 >= -1606 @ 6.05373 6.26/6.33 c bounds 0 >= -1605 @ 6.05438 6.26/6.33 c bounds 0 >= -1604 @ 6.05506 6.26/6.33 c bounds 0 >= -1603 @ 6.05569 6.26/6.33 c bounds 0 >= -1602 @ 6.05631 6.26/6.33 c bounds 0 >= -1601 @ 6.05696 6.26/6.33 c bounds 0 >= -1600 @ 6.05758 6.26/6.33 c bounds 0 >= -1599 @ 6.05824 6.26/6.33 c bounds 0 >= -1598 @ 6.05891 6.26/6.33 c bounds 0 >= -1597 @ 6.05958 6.26/6.33 c bounds 0 >= -1596 @ 6.06027 6.26/6.33 c bounds 0 >= -1595 @ 6.06093 6.26/6.33 c bounds 0 >= -1594 @ 6.06161 6.26/6.33 c bounds 0 >= -1593 @ 6.06228 6.26/6.33 c bounds 0 >= -1592 @ 6.06292 6.26/6.33 c bounds 0 >= -1591 @ 6.06358 6.26/6.33 c bounds 0 >= -1590 @ 6.06424 6.26/6.33 c bounds 0 >= -1589 @ 6.0649 6.26/6.33 c bounds 0 >= -1588 @ 6.06558 6.26/6.33 c bounds 0 >= -1587 @ 6.06622 6.26/6.33 c bounds 0 >= -1586 @ 6.06688 6.26/6.33 c bounds 0 >= -1585 @ 6.06757 6.26/6.33 c bounds 0 >= -1584 @ 6.06823 6.26/6.33 c bounds 0 >= -1583 @ 6.06889 6.26/6.33 c bounds 0 >= -1582 @ 6.06956 6.26/6.33 c bounds 0 >= -1581 @ 6.07021 6.26/6.33 c bounds 0 >= -1580 @ 6.07087 6.26/6.33 c bounds 0 >= -1579 @ 6.07154 6.26/6.33 c bounds 0 >= -1578 @ 6.07217 6.26/6.33 c bounds 0 >= -1577 @ 6.07285 6.26/6.33 c bounds 0 >= -1576 @ 6.07348 6.26/6.33 c bounds 0 >= -1575 @ 6.07418 6.26/6.33 c bounds 0 >= -1574 @ 6.07487 6.26/6.33 c bounds 0 >= -1573 @ 6.07552 6.26/6.33 c bounds 0 >= -1572 @ 6.07617 6.26/6.33 c bounds 0 >= -1571 @ 6.07681 6.26/6.33 c bounds 0 >= -1570 @ 6.0775 6.26/6.33 c bounds 0 >= -1569 @ 6.07813 6.26/6.33 c bounds 0 >= -1568 @ 6.07881 6.26/6.33 c bounds 0 >= -1567 @ 6.07945 6.26/6.33 c bounds 0 >= -1566 @ 6.08008 6.26/6.33 c bounds 0 >= -1565 @ 6.08072 6.26/6.33 c bounds 0 >= -1564 @ 6.08139 6.26/6.33 c bounds 0 >= -1563 @ 6.08205 6.26/6.33 c bounds 0 >= -1562 @ 6.0821 6.26/6.33 c bounds 0 >= -1561 @ 6.08235 6.26/6.33 c bounds 0 >= -1560 @ 6.08296 6.26/6.33 c bounds 0 >= -1559 @ 6.08364 6.26/6.33 c bounds 0 >= -1558 @ 6.08431 6.26/6.33 c bounds 0 >= -1557 @ 6.08505 6.26/6.33 c bounds 0 >= -1556 @ 6.08573 6.26/6.33 c bounds 0 >= -1555 @ 6.08642 6.26/6.33 c bounds 0 >= -1554 @ 6.08713 6.26/6.33 c bounds 0 >= -1553 @ 6.08783 6.26/6.33 c bounds 0 >= -1552 @ 6.08794 6.26/6.33 c bounds 0 >= -1551 @ 6.08819 6.26/6.33 c bounds 0 >= -1550 @ 6.08881 6.26/6.33 c bounds 0 >= -1549 @ 6.08947 6.26/6.33 c bounds 0 >= -1548 @ 6.08958 6.26/6.33 c bounds 0 >= -1547 @ 6.08981 6.26/6.33 c bounds 0 >= -1546 @ 6.09049 6.26/6.33 c bounds 0 >= -1545 @ 6.09114 6.26/6.33 c bounds 0 >= -1544 @ 6.09186 6.26/6.33 c bounds 0 >= -1543 @ 6.09196 6.36/6.42 c bounds 0 >= -1542 @ 6.09224 6.36/6.42 c bounds 0 >= -1541 @ 6.09286 6.36/6.42 c bounds 0 >= -1540 @ 6.09359 6.36/6.42 c bounds 0 >= -1539 @ 6.09425 6.36/6.42 c bounds 0 >= -1538 @ 6.0949 6.36/6.42 c bounds 0 >= -1537 @ 6.09558 6.36/6.42 c bounds 0 >= -1536 @ 6.09628 6.36/6.42 c bounds 0 >= -1535 @ 6.09704 6.36/6.42 c bounds 0 >= -1534 @ 6.09775 6.36/6.42 c bounds 0 >= -1533 @ 6.09844 6.36/6.42 c bounds 0 >= -1532 @ 6.09905 6.36/6.42 c bounds 0 >= -1531 @ 6.09905 6.36/6.42 c bounds 0 >= -1530 @ 6.09949 6.36/6.42 c bounds 0 >= -1529 @ 6.10015 6.36/6.42 c bounds 0 >= -1528 @ 6.10081 6.36/6.42 c bounds 0 >= -1527 @ 6.1015 6.36/6.42 c bounds 0 >= -1526 @ 6.10215 6.36/6.42 c bounds 0 >= -1525 @ 6.10279 6.36/6.42 c bounds 0 >= -1524 @ 6.10345 6.36/6.42 c bounds 0 >= -1523 @ 6.1041 6.36/6.42 c bounds 0 >= -1522 @ 6.10479 6.36/6.42 c bounds 0 >= -1521 @ 6.10543 6.36/6.42 c bounds 0 >= -1520 @ 6.10606 6.36/6.42 c bounds 0 >= -1519 @ 6.10672 6.36/6.42 c bounds 0 >= -1518 @ 6.10745 6.36/6.42 c bounds 0 >= -1517 @ 6.10808 6.36/6.42 c bounds 0 >= -1516 @ 6.10871 6.36/6.42 c bounds 0 >= -1515 @ 6.10937 6.36/6.42 c bounds 0 >= -1514 @ 6.11003 6.36/6.42 c bounds 0 >= -1513 @ 6.11071 6.36/6.42 c bounds 0 >= -1512 @ 6.11136 6.36/6.42 c bounds 0 >= -1511 @ 6.11199 6.36/6.42 c bounds 0 >= -1510 @ 6.11266 6.36/6.42 c bounds 0 >= -1509 @ 6.11332 6.36/6.42 c bounds 0 >= -1508 @ 6.11395 6.36/6.42 c bounds 0 >= -1507 @ 6.11462 6.36/6.42 c bounds 0 >= -1506 @ 6.11525 6.36/6.42 c bounds 0 >= -1505 @ 6.11588 6.36/6.42 c bounds 0 >= -1504 @ 6.11651 6.36/6.42 c bounds 0 >= -1503 @ 6.11714 6.36/6.42 c bounds 0 >= -1502 @ 6.11779 6.36/6.42 c bounds 0 >= -1501 @ 6.11843 6.36/6.42 c bounds 0 >= -1500 @ 6.11906 6.36/6.42 c bounds 0 >= -1499 @ 6.1197 6.36/6.42 c bounds 0 >= -1498 @ 6.1204 6.36/6.42 c bounds 0 >= -1497 @ 6.12107 6.36/6.42 c bounds 0 >= -1496 @ 6.1217 6.36/6.42 c bounds 0 >= -1495 @ 6.12231 6.36/6.42 c bounds 0 >= -1494 @ 6.12299 6.36/6.42 c bounds 0 >= -1493 @ 6.12362 6.36/6.42 c bounds 0 >= -1492 @ 6.12426 6.36/6.42 c bounds 0 >= -1491 @ 6.12489 6.36/6.42 c bounds 0 >= -1490 @ 6.12551 6.36/6.42 c bounds 0 >= -1489 @ 6.12614 6.36/6.42 c bounds 0 >= -1488 @ 6.12676 6.36/6.42 c bounds 0 >= -1487 @ 6.12743 6.36/6.42 c bounds 0 >= -1486 @ 6.12808 6.36/6.42 c bounds 0 >= -1485 @ 6.12872 6.36/6.42 c bounds 0 >= -1484 @ 6.1294 6.36/6.42 c bounds 0 >= -1483 @ 6.13003 6.36/6.42 c bounds 0 >= -1482 @ 6.13067 6.36/6.42 c bounds 0 >= -1481 @ 6.13131 6.36/6.42 c bounds 0 >= -1480 @ 6.13194 6.36/6.42 c bounds 0 >= -1479 @ 6.1326 6.36/6.42 c bounds 0 >= -1478 @ 6.13325 6.36/6.42 c bounds 0 >= -1477 @ 6.13386 6.36/6.42 c bounds 0 >= -1476 @ 6.13451 6.36/6.42 c bounds 0 >= -1475 @ 6.1352 6.36/6.42 c bounds 0 >= -1474 @ 6.13585 6.36/6.42 c bounds 0 >= -1473 @ 6.13595 6.36/6.42 c bounds 0 >= -1472 @ 6.13595 6.36/6.42 c bounds 0 >= -1471 @ 6.13595 6.36/6.42 c bounds 0 >= -1470 @ 6.13642 6.36/6.42 c bounds 0 >= -1469 @ 6.13709 6.36/6.42 c bounds 0 >= -1468 @ 6.13774 6.36/6.42 c bounds 0 >= -1467 @ 6.13837 6.36/6.42 c bounds 0 >= -1466 @ 6.13901 6.36/6.42 c bounds 0 >= -1465 @ 6.13964 6.36/6.42 c bounds 0 >= -1464 @ 6.14027 6.36/6.42 c bounds 0 >= -1463 @ 6.1409 6.36/6.42 c bounds 0 >= -1462 @ 6.14161 6.36/6.42 c bounds 0 >= -1461 @ 6.14229 6.36/6.42 c bounds 0 >= -1460 @ 6.14297 6.36/6.42 c bounds 0 >= -1459 @ 6.14372 6.36/6.42 c bounds 0 >= -1458 @ 6.14438 6.36/6.42 c bounds 0 >= -1457 @ 6.14502 6.36/6.42 c bounds 0 >= -1456 @ 6.14566 6.36/6.42 c bounds 0 >= -1455 @ 6.14629 6.36/6.42 c bounds 0 >= -1454 @ 6.14693 6.36/6.42 c bounds 0 >= -1453 @ 6.14756 6.36/6.42 c bounds 0 >= -1452 @ 6.14818 6.36/6.42 c bounds 0 >= -1451 @ 6.14888 6.36/6.42 c bounds 0 >= -1450 @ 6.14892 6.36/6.42 c bounds 0 >= -1449 @ 6.14923 6.36/6.42 c bounds 0 >= -1448 @ 6.14987 6.36/6.42 c bounds 0 >= -1447 @ 6.15054 6.36/6.42 c bounds 0 >= -1446 @ 6.15122 6.36/6.42 c bounds 0 >= -1445 @ 6.15186 6.36/6.42 c bounds 0 >= -1444 @ 6.15257 6.36/6.42 c bounds 0 >= -1443 @ 6.15332 6.36/6.42 c bounds 0 >= -1442 @ 6.15399 6.36/6.42 c bounds 0 >= -1441 @ 6.15466 6.36/6.42 c bounds 0 >= -1440 @ 6.15534 6.36/6.42 c bounds 0 >= -1439 @ 6.15544 6.36/6.42 c bounds 0 >= -1438 @ 6.15567 6.36/6.42 c bounds 0 >= -1437 @ 6.15634 6.36/6.42 c bounds 0 >= -1436 @ 6.15701 6.36/6.42 c bounds 0 >= -1435 @ 6.1577 6.36/6.42 c bounds 0 >= -1434 @ 6.15838 6.36/6.42 c bounds 0 >= -1433 @ 6.15906 6.36/6.42 c bounds 0 >= -1432 @ 6.1597 6.36/6.42 c bounds 0 >= -1431 @ 6.16046 6.36/6.42 c bounds 0 >= -1430 @ 6.16114 6.36/6.42 c bounds 0 >= -1429 @ 6.16182 6.36/6.42 c bounds 0 >= -1428 @ 6.16254 6.36/6.42 c bounds 0 >= -1427 @ 6.16327 6.36/6.42 c bounds 0 >= -1426 @ 6.16393 6.36/6.42 c bounds 0 >= -1425 @ 6.16459 6.36/6.42 c bounds 0 >= -1424 @ 6.16523 6.36/6.42 c bounds 0 >= -1423 @ 6.16586 6.36/6.42 c bounds 0 >= -1422 @ 6.16649 6.36/6.42 c bounds 0 >= -1421 @ 6.16711 6.36/6.42 c bounds 0 >= -1420 @ 6.16773 6.36/6.42 c bounds 0 >= -1419 @ 6.16841 6.36/6.42 c bounds 0 >= -1418 @ 6.16906 6.36/6.42 c bounds 0 >= -1417 @ 6.1697 6.36/6.42 c bounds 0 >= -1416 @ 6.17033 6.36/6.42 c bounds 0 >= -1415 @ 6.17097 6.36/6.42 c bounds 0 >= -1414 @ 6.1716 6.36/6.42 c bounds 0 >= -1413 @ 6.17237 6.36/6.42 c bounds 0 >= -1412 @ 6.17307 6.36/6.42 c bounds 0 >= -1411 @ 6.17373 6.36/6.42 c bounds 0 >= -1410 @ 6.17438 6.36/6.42 c bounds 0 >= -1409 @ 6.17502 6.36/6.42 c bounds 0 >= -1408 @ 6.17565 6.36/6.42 c bounds 0 >= -1407 @ 6.17629 6.36/6.42 c bounds 0 >= -1406 @ 6.17694 6.46/6.53 c bounds 0 >= -1405 @ 6.17762 6.46/6.53 c bounds 0 >= -1404 @ 6.17823 6.46/6.53 c bounds 0 >= -1403 @ 6.17838 6.46/6.53 c bounds 0 >= -1402 @ 6.17863 6.46/6.53 c bounds 0 >= -1401 @ 6.17869 6.46/6.53 c bounds 0 >= -1400 @ 6.1791 6.46/6.53 c bounds 0 >= -1399 @ 6.17974 6.46/6.53 c bounds 0 >= -1398 @ 6.18037 6.46/6.53 c bounds 0 >= -1397 @ 6.18102 6.46/6.53 c bounds 0 >= -1396 @ 6.18166 6.46/6.53 c bounds 0 >= -1395 @ 6.18233 6.46/6.53 c bounds 0 >= -1394 @ 6.183 6.46/6.53 c bounds 0 >= -1393 @ 6.18361 6.46/6.53 c bounds 0 >= -1392 @ 6.18431 6.46/6.53 c bounds 0 >= -1391 @ 6.18515 6.46/6.53 c bounds 0 >= -1390 @ 6.18583 6.46/6.53 c bounds 0 >= -1389 @ 6.18647 6.46/6.53 c bounds 0 >= -1388 @ 6.18716 6.46/6.53 c bounds 0 >= -1387 @ 6.1878 6.46/6.53 c bounds 0 >= -1386 @ 6.18847 6.46/6.53 c bounds 0 >= -1385 @ 6.18925 6.46/6.53 c bounds 0 >= -1384 @ 6.18992 6.46/6.53 c bounds 0 >= -1383 @ 6.19057 6.46/6.53 c bounds 0 >= -1382 @ 6.19125 6.46/6.53 c bounds 0 >= -1381 @ 6.19191 6.46/6.53 c bounds 0 >= -1380 @ 6.19256 6.46/6.53 c bounds 0 >= -1379 @ 6.19322 6.46/6.53 c bounds 0 >= -1378 @ 6.19386 6.46/6.53 c bounds 0 >= -1377 @ 6.19456 6.46/6.53 c bounds 0 >= -1376 @ 6.1953 6.46/6.53 c bounds -55 >= -1376 @ 6.20196 6.46/6.53 c bounds -55 >= -1375 @ 6.20286 6.46/6.53 c bounds -55 >= -1374 @ 6.20361 6.46/6.53 c bounds -55 >= -1373 @ 6.20442 6.46/6.53 c bounds -55 >= -1372 @ 6.20516 6.46/6.53 c bounds -55 >= -1371 @ 6.20582 6.46/6.53 c bounds -55 >= -1370 @ 6.20648 6.46/6.53 c bounds -55 >= -1369 @ 6.20713 6.46/6.53 c bounds -55 >= -1368 @ 6.20778 6.46/6.53 c bounds -55 >= -1367 @ 6.20844 6.46/6.53 c bounds -55 >= -1366 @ 6.20908 6.46/6.53 c bounds -55 >= -1365 @ 6.20974 6.46/6.53 c bounds -55 >= -1364 @ 6.21049 6.46/6.53 c bounds -55 >= -1363 @ 6.2111 6.46/6.53 c bounds -55 >= -1362 @ 6.21186 6.46/6.53 c bounds -55 >= -1361 @ 6.21219 6.46/6.53 c bounds -55 >= -1360 @ 6.21239 6.46/6.53 c bounds -55 >= -1359 @ 6.21305 6.46/6.53 c bounds -55 >= -1358 @ 6.21371 6.46/6.53 c bounds -55 >= -1357 @ 6.21436 6.46/6.53 c bounds -55 >= -1356 @ 6.21501 6.46/6.53 c bounds -55 >= -1355 @ 6.21565 6.46/6.53 c bounds -55 >= -1354 @ 6.21629 6.46/6.53 c bounds -55 >= -1353 @ 6.21698 6.46/6.53 c bounds -55 >= -1352 @ 6.21779 6.46/6.53 c bounds -55 >= -1351 @ 6.21842 6.46/6.53 c bounds -55 >= -1350 @ 6.21935 6.46/6.53 c bounds -55 >= -1349 @ 6.22002 6.46/6.53 c bounds -55 >= -1348 @ 6.22069 6.46/6.53 c bounds -55 >= -1347 @ 6.22136 6.46/6.53 c bounds -55 >= -1346 @ 6.22204 6.46/6.53 c bounds -55 >= -1345 @ 6.22271 6.46/6.53 c bounds -55 >= -1344 @ 6.22376 6.46/6.53 c bounds -55 >= -1343 @ 6.22441 6.46/6.53 c bounds -55 >= -1342 @ 6.2251 6.46/6.53 c bounds -55 >= -1341 @ 6.22574 6.46/6.53 c bounds -55 >= -1340 @ 6.22637 6.46/6.53 c bounds -55 >= -1339 @ 6.22717 6.46/6.53 c bounds -55 >= -1338 @ 6.22786 6.46/6.53 c bounds -55 >= -1337 @ 6.22855 6.46/6.53 c bounds -55 >= -1336 @ 6.22927 6.46/6.53 c bounds -55 >= -1335 @ 6.2303 6.46/6.53 c bounds -55 >= -1334 @ 6.23099 6.46/6.53 c bounds -55 >= -1333 @ 6.23165 6.46/6.53 c bounds -55 >= -1332 @ 6.23232 6.46/6.53 c bounds -55 >= -1331 @ 6.23301 6.46/6.53 c bounds -55 >= -1330 @ 6.23369 6.46/6.53 c bounds -55 >= -1329 @ 6.23435 6.46/6.53 c bounds -55 >= -1328 @ 6.23514 6.46/6.53 c bounds -55 >= -1327 @ 6.23532 6.46/6.53 c bounds -55 >= -1326 @ 6.23596 6.46/6.53 c bounds -110 >= -1326 @ 6.24055 6.46/6.53 c bounds -110 >= -1325 @ 6.24167 6.46/6.53 c bounds -110 >= -1324 @ 6.24265 6.46/6.53 c bounds -110 >= -1323 @ 6.24335 6.46/6.53 c bounds -110 >= -1322 @ 6.24411 6.46/6.53 c bounds -110 >= -1321 @ 6.24482 6.46/6.53 c bounds -110 >= -1320 @ 6.24554 6.46/6.53 c bounds -110 >= -1319 @ 6.24623 6.46/6.53 c bounds -110 >= -1318 @ 6.24691 6.46/6.53 c bounds -110 >= -1317 @ 6.24758 6.46/6.53 c bounds -110 >= -1316 @ 6.24854 6.46/6.53 c bounds -110 >= -1315 @ 6.24964 6.46/6.53 c bounds -110 >= -1314 @ 6.25035 6.46/6.53 c bounds -110 >= -1313 @ 6.25113 6.46/6.53 c bounds -110 >= -1312 @ 6.25185 6.46/6.53 c bounds -110 >= -1311 @ 6.25257 6.46/6.53 c bounds -110 >= -1310 @ 6.25324 6.46/6.53 c bounds -110 >= -1309 @ 6.25393 6.46/6.53 c bounds -110 >= -1308 @ 6.25459 6.46/6.53 c bounds -110 >= -1307 @ 6.25524 6.46/6.53 c bounds -110 >= -1306 @ 6.25591 6.46/6.53 c bounds -110 >= -1305 @ 6.25683 6.46/6.53 c bounds -110 >= -1304 @ 6.25754 6.46/6.53 c bounds -110 >= -1303 @ 6.25829 6.46/6.53 c bounds -110 >= -1302 @ 6.25925 6.46/6.53 c bounds -110 >= -1301 @ 6.25994 6.46/6.53 c bounds -110 >= -1300 @ 6.26009 6.46/6.53 c bounds -165 >= -1300 @ 6.26446 6.46/6.53 c bounds -165 >= -1299 @ 6.26576 6.46/6.53 c bounds -165 >= -1298 @ 6.26645 6.46/6.53 c bounds -165 >= -1297 @ 6.26711 6.46/6.53 c bounds -165 >= -1296 @ 6.26777 6.46/6.53 c bounds -165 >= -1295 @ 6.26872 6.46/6.53 c bounds -165 >= -1294 @ 6.26978 6.46/6.53 c bounds -165 >= -1293 @ 6.27049 6.46/6.53 c bounds -165 >= -1292 @ 6.27119 6.46/6.53 c bounds -165 >= -1291 @ 6.27185 6.46/6.53 c bounds -165 >= -1290 @ 6.27254 6.46/6.53 c bounds -165 >= -1289 @ 6.2732 6.46/6.53 c bounds -165 >= -1288 @ 6.27387 6.46/6.53 c bounds -165 >= -1287 @ 6.2748 6.46/6.53 c bounds -165 >= -1286 @ 6.27594 6.46/6.53 c bounds -165 >= -1285 @ 6.27664 6.46/6.53 c bounds -165 >= -1284 @ 6.27735 6.46/6.53 c bounds -165 >= -1283 @ 6.2774 6.46/6.53 c bounds -165 >= -1282 @ 6.27783 6.46/6.53 c bounds -165 >= -1281 @ 6.2785 6.46/6.53 c bounds -165 >= -1280 @ 6.27918 299.33/300.68 c bounds -165 >= -1279 @ 6.28018 299.33/300.68 c bounds -220 >= -1279 @ 6.28458 299.33/300.68 c bounds -220 >= -1278 @ 6.28587 299.33/300.68 c bounds -220 >= -1277 @ 6.2871 299.33/300.68 c bounds -220 >= -1276 @ 6.28793 299.33/300.68 c bounds -220 >= -1275 @ 6.28901 299.33/300.68 c bounds -220 >= -1274 @ 6.29014 299.33/300.68 c bounds -220 >= -1273 @ 6.29147 299.33/300.68 c bounds -275 >= -1273 @ 6.29575 299.33/300.68 c bounds -275 >= -1272 @ 6.29772 299.33/300.68 c bounds -275 >= -1271 @ 6.29862 299.33/300.68 c bounds -275 >= -1270 @ 6.30019 299.33/300.68 c bounds -275 >= -1269 @ 6.30111 299.33/300.68 c bounds -275 >= -1268 @ 6.3024 299.33/300.68 c bounds -330 >= -1268 @ 6.30661 299.33/300.68 c bounds -330 >= -1267 @ 6.30828 299.33/300.68 c bounds -330 >= -1266 @ 6.30911 299.33/300.68 c bounds -330 >= -1265 @ 6.30994 299.33/300.68 c bounds -330 >= -1264 @ 6.31076 299.33/300.68 c bounds -330 >= -1263 @ 6.31155 299.33/300.68 c bounds -330 >= -1262 @ 6.31235 299.33/300.68 c bounds -330 >= -1261 @ 6.31342 299.33/300.68 c bounds -330 >= -1260 @ 6.31441 299.33/300.68 c bounds -385 >= -1260 @ 6.31813 299.33/300.68 c bounds -385 >= -1259 @ 6.31958 299.33/300.68 c bounds -385 >= -1258 @ 6.32036 299.33/300.68 c bounds -385 >= -1257 @ 6.32107 299.33/300.68 c bounds -385 >= -1256 @ 6.32183 299.33/300.68 c bounds -385 >= -1255 @ 6.32272 299.33/300.68 c bounds -385 >= -1254 @ 6.32346 299.33/300.68 c bounds -385 >= -1253 @ 6.32418 299.33/300.68 c bounds -385 >= -1252 @ 6.32425 299.33/300.68 c bounds -385 >= -1251 @ 6.32473 299.33/300.68 c bounds -440 >= -1251 @ 6.32856 299.33/300.68 c bounds -440 >= -1250 @ 6.33062 299.33/300.68 c bounds -440 >= -1249 @ 6.33223 299.33/300.68 c bounds -440 >= -1248 @ 6.33645 299.33/300.68 c bounds -495 >= -1248 @ 6.34593 299.33/300.68 c bounds -495 >= -1247 @ 6.34895 299.33/300.68 c bounds -495 >= -1246 @ 6.35108 299.33/300.68 c bounds -495 >= -1245 @ 6.35747 299.33/300.68 c bounds -532 >= -1245 @ 6.3684 299.33/300.68 c bounds -532 >= -1244 @ 6.37367 299.33/300.68 c bounds -532 >= -1243 @ 6.38128 299.33/300.68 c bounds -567 >= -1243 @ 6.38862 299.33/300.68 c bounds -567 >= -1242 @ 6.39468 299.33/300.68 c bounds -602 >= -1242 @ 6.40152 299.33/300.68 c bounds -602 >= -1241 @ 6.40484 299.33/300.68 c bounds -602 >= -1240 @ 6.40921 299.33/300.68 c bounds -751 >= -1240 @ 6.41547 299.33/300.68 c bounds -751 >= -1239 @ 6.42503 299.33/300.68 c bounds -776 >= -1239 @ 6.4317 299.33/300.68 c bounds -801 >= -1239 @ 6.43998 299.33/300.68 c bounds -801 >= -1238 @ 6.44873 299.33/300.68 c bounds -826 >= -1238 @ 6.45866 299.33/300.68 c bounds -826 >= -1237 @ 6.46333 299.33/300.68 c bounds -851 >= -1237 @ 6.46936 299.33/300.68 c bounds -851 >= -1236 @ 6.47875 299.33/300.68 c bounds -882 >= -1236 @ 6.49416 299.33/300.68 c bounds -882 >= -1235 @ 6.51247 299.33/300.68 c bounds -901 >= -1235 @ 6.52145 299.33/300.68 c bounds -930 >= -1235 @ 6.54414 299.33/300.68 c bounds -947 >= -1235 @ 6.84955 299.33/300.68 c bounds -947 >= -1234 @ 6.86529 299.33/300.68 c #Conflicts: 1000 | #Constraints: 187566 299.33/300.68 c bounds -947 >= -1233 @ 6.9222 299.33/300.68 c bounds -956 >= -1233 @ 6.93691 299.33/300.68 c bounds -965 >= -1233 @ 6.94245 299.33/300.68 c bounds -965 >= -1232 @ 6.95149 299.33/300.68 c bounds -978 >= -1232 @ 7.06324 299.33/300.68 c bounds -978 >= -1231 @ 7.10914 299.33/300.68 c bounds -991 >= -1231 @ 7.12306 299.33/300.68 c bounds -1004 >= -1231 @ 7.12871 299.33/300.68 c bounds -1017 >= -1231 @ 7.13407 299.33/300.68 c bounds -1030 >= -1231 @ 7.14001 299.33/300.68 c bounds -1031 >= -1231 @ 7.14475 299.33/300.68 c bounds -1032 >= -1231 @ 7.14945 299.33/300.68 c bounds -1039 >= -1231 @ 7.15274 299.33/300.68 c #Conflicts: 2000 | #Constraints: 188750 299.33/300.68 c INPROCESSING 299.33/300.68 c GARBAGE COLLECT 299.33/300.68 c bounds -1042 >= -1231 @ 70.9047 299.33/300.68 c bounds -1042 >= -1230 @ 70.9176 299.33/300.68 c bounds -1042 >= -1229 @ 71.0141 299.33/300.68 c #Conflicts: 3000 | #Constraints: 188204 299.33/300.68 c bounds -1045 >= -1229 @ 71.2034 299.33/300.68 c #Conflicts: 4000 | #Constraints: 189205 299.33/300.68 c INPROCESSING 299.33/300.68 c GARBAGE COLLECT 299.33/300.68 c bounds -1045 >= -1228 @ 72.8102 299.33/300.68 c #Conflicts: 5000 | #Constraints: 188597 299.33/300.68 c bounds -1045 >= -1227 @ 72.8846 299.33/300.68 c #Conflicts: 6000 | #Constraints: 189621 299.33/300.68 c INPROCESSING 299.33/300.68 c bounds -1056 >= -1227 @ 171.337 299.33/300.68 c #Conflicts: 7000 | #Constraints: 188668 299.33/300.68 c #Conflicts: 8000 | #Constraints: 189668 299.33/300.68 c bounds -1067 >= -1227 @ 173.661 299.33/300.68 c #Conflicts: 9000 | #Constraints: 190669 299.33/300.68 c bounds -1067 >= -1226 @ 174.056 299.33/300.68 c #Conflicts: 10000 | #Constraints: 191684 299.33/300.68 c #Conflicts: 11000 | #Constraints: 192684 299.33/300.68 c bounds -1078 >= -1226 @ 176.184 299.33/300.68 c #Conflicts: 12000 | #Constraints: 193685 299.33/300.68 c INPROCESSING 299.33/300.68 c GARBAGE COLLECT 299.33/300.68 WSVECS04 Frhs2[560]: 6 0 1.00002 shouldn't be 299.33/300.68 WSVECS04 Frhs2[665]: 6 0 1.00003 shouldn't be 316.36/317.76 WSVECS04 Frhs2[933]: 6 0 1.00007 shouldn't be 1087.74/1092.45 c #Conflicts: 13000 | #Constraints: 190602 1087.74/1092.45 c bounds -1089 >= -1226 @ 402.215 1087.74/1092.45 c #Conflicts: 14000 | #Constraints: 191603 1087.74/1092.45 c #Conflicts: 15000 | #Constraints: 192603 1087.74/1092.45 c #Conflicts: 16000 | #Constraints: 193603 1087.74/1092.45 c INPROCESSING 1087.74/1092.45 c GARBAGE COLLECT 1087.74/1092.45 c bounds -1089 >= -1225 @ 406.743 1087.74/1092.45 c #Conflicts: 17000 | #Constraints: 190733 1087.74/1092.45 c #Conflicts: 18000 | #Constraints: 191733 1087.74/1092.45 c #Conflicts: 19000 | #Constraints: 192733 1087.74/1092.45 c bounds -1089 >= -1224 @ 407.891 1087.74/1092.45 c #Conflicts: 20000 | #Constraints: 193805 1087.74/1092.45 c INPROCESSING 1087.74/1092.45 c GARBAGE COLLECT 1087.74/1092.45 c #Conflicts: 21000 | #Constraints: 190909 1087.74/1092.45 c #Conflicts: 22000 | #Constraints: 191909 1087.74/1092.45 c #Conflicts: 23000 | #Constraints: 192914 1087.74/1092.45 c #Conflicts: 24000 | #Constraints: 193916 1087.74/1092.45 c #Conflicts: 25000 | #Constraints: 194917 1087.74/1092.45 c #Conflicts: 26000 | #Constraints: 195921 1087.74/1092.45 c #Conflicts: 27000 | #Constraints: 196925 1087.74/1092.45 c #Conflicts: 28000 | #Constraints: 197927 1087.74/1092.45 c #Conflicts: 29000 | #Constraints: 198929 1087.74/1092.45 c #Conflicts: 30000 | #Constraints: 199931 1087.74/1092.45 c INPROCESSING 1087.74/1092.45 c GARBAGE COLLECT 1087.74/1092.45 c #Conflicts: 31000 | #Constraints: 193766 1087.74/1092.45 c #Conflicts: 32000 | #Constraints: 194766 1087.74/1092.45 c #Conflicts: 33000 | #Constraints: 195766 1087.74/1092.45 c #Conflicts: 34000 | #Constraints: 196766 1087.74/1092.45 c #Conflicts: 35000 | #Constraints: 197766 1087.74/1092.45 c #Conflicts: 36000 | #Constraints: 198766 1087.74/1092.45 c INPROCESSING 1087.74/1092.45 c GARBAGE COLLECT 1087.74/1092.45 c #Conflicts: 37000 | #Constraints: 193627 1087.74/1092.45 c #Conflicts: 38000 | #Constraints: 194627 1087.74/1092.45 c #Conflicts: 39000 | #Constraints: 195627 1087.74/1092.45 c bounds -1089 >= -1223 @ 940.128 1087.74/1092.45 c #Conflicts: 40000 | #Constraints: 196705 1087.74/1092.45 c #Conflicts: 41000 | #Constraints: 197705 1087.74/1092.45 c INPROCESSING 1087.74/1092.45 c GARBAGE COLLECT 1087.74/1092.45 WSVECS04 Frhs2[1670]: 6 0 1.00003 shouldn't be 2858.35/2870.50 c #Conflicts: 42000 | #Constraints: 192918 2858.35/2870.50 c #Conflicts: 43000 | #Constraints: 193918 2858.35/2870.50 c #Conflicts: 44000 | #Constraints: 194918 2858.35/2870.50 c #Conflicts: 45000 | #Constraints: 195918 2858.35/2870.50 c #Conflicts: 46000 | #Constraints: 196918 2858.35/2870.50 c #Conflicts: 47000 | #Constraints: 197918 2858.35/2870.50 c #Conflicts: 48000 | #Constraints: 198918 2858.35/2870.50 c #Conflicts: 49000 | #Constraints: 199918 2858.35/2870.50 c #Conflicts: 50000 | #Constraints: 200918 2858.35/2870.50 c #Conflicts: 51000 | #Constraints: 201918 2858.35/2870.50 c #Conflicts: 52000 | #Constraints: 202918 2858.35/2870.50 c #Conflicts: 53000 | #Constraints: 203918 2858.35/2870.50 c #Conflicts: 54000 | #Constraints: 204918 2858.35/2870.50 c #Conflicts: 55000 | #Constraints: 205918 2858.35/2870.50 c #Conflicts: 56000 | #Constraints: 206918 2858.35/2870.50 c INPROCESSING 2858.35/2870.50 c GARBAGE COLLECT 2858.35/2870.50 c #Conflicts: 57000 | #Constraints: 197724 2858.35/2870.50 c #Conflicts: 58000 | #Constraints: 198724 2858.35/2870.50 c #Conflicts: 59000 | #Constraints: 199724 2858.35/2870.50 c #Conflicts: 60000 | #Constraints: 200724 2858.35/2870.50 c #Conflicts: 61000 | #Constraints: 201724 2858.35/2870.50 c #Conflicts: 62000 | #Constraints: 202724 2858.35/2870.50 c bounds -1089 >= -1222 @ 1754.15 2858.35/2870.50 c INPROCESSING 2858.35/2870.50 c GARBAGE COLLECT 2858.35/2870.50 c #Conflicts: 63000 | #Constraints: 195379 2858.35/2870.50 c #Conflicts: 64000 | #Constraints: 196379 2858.35/2870.50 c bounds -1089 >= -1221 @ 1755.86 2858.35/2870.50 c #Conflicts: 65000 | #Constraints: 197403 2858.35/2870.50 c #Conflicts: 66000 | #Constraints: 198403 2858.35/2870.50 c #Conflicts: 67000 | #Constraints: 199403 2858.35/2870.50 c bounds -1089 >= -1220 @ 1757.38 2858.35/2870.50 c #Conflicts: 68000 | #Constraints: 200433 2858.35/2870.50 c #Conflicts: 69000 | #Constraints: 201433 2858.35/2870.50 c #Conflicts: 70000 | #Constraints: 202433 2858.35/2870.50 c #Conflicts: 71000 | #Constraints: 203433 2858.35/2870.50 c #Conflicts: 72000 | #Constraints: 204433 2858.35/2870.50 c bounds -1089 >= -1219 @ 1760 2858.35/2870.50 c #Conflicts: 73000 | #Constraints: 205493 2858.35/2870.50 c #Conflicts: 74000 | #Constraints: 206493 2858.35/2870.50 c #Conflicts: 75000 | #Constraints: 207493 2858.35/2870.50 c #Conflicts: 76000 | #Constraints: 208493 2858.35/2870.50 c #Conflicts: 77000 | #Constraints: 209493 2858.35/2870.50 c bounds -1089 >= -1218 @ 1763.6 2858.35/2870.50 c #Conflicts: 78000 | #Constraints: 210529 2858.35/2870.50 c #Conflicts: 79000 | #Constraints: 211529 2858.35/2870.50 c #Conflicts: 80000 | #Constraints: 212529 2858.35/2870.50 c INPROCESSING 2858.35/2870.50 c GARBAGE COLLECT 2858.35/2870.50 c #Conflicts: 81000 | #Constraints: 200151 2858.35/2870.50 c #Conflicts: 82000 | #Constraints: 201151 2858.35/2870.50 c #Conflicts: 83000 | #Constraints: 202151 2858.35/2870.50 c #Conflicts: 84000 | #Constraints: 203151 2858.35/2870.50 c #Conflicts: 85000 | #Constraints: 204151 2858.35/2870.50 c #Conflicts: 86000 | #Constraints: 205151 2858.35/2870.50 c #Conflicts: 87000 | #Constraints: 206151 2858.35/2870.50 c #Conflicts: 88000 | #Constraints: 207151 2858.35/2870.50 c #Conflicts: 89000 | #Constraints: 208151 2858.35/2870.50 c #Conflicts: 90000 | #Constraints: 209151 2858.35/2870.50 c #Conflicts: 91000 | #Constraints: 210151 2858.35/2870.50 c #Conflicts: 92000 | #Constraints: 211151 2858.35/2870.50 c #Conflicts: 93000 | #Constraints: 212151 2858.35/2870.50 c #Conflicts: 94000 | #Constraints: 213151 2858.35/2870.50 c #Conflicts: 95000 | #Constraints: 214151 2858.35/2870.50 c #Conflicts: 96000 | #Constraints: 215157 2858.35/2870.50 c #Conflicts: 97000 | #Constraints: 216161 2858.35/2870.50 c #Conflicts: 98000 | #Constraints: 217162 2858.35/2870.50 c #Conflicts: 99000 | #Constraints: 218164 2858.35/2870.50 c #Conflicts: 100000 | #Constraints: 219167 2858.35/2870.50 c INPROCESSING 2858.35/2870.50 c GARBAGE COLLECT 2858.35/2870.50 c #Conflicts: 101000 | #Constraints: 203946 2858.35/2870.50 c #Conflicts: 102000 | #Constraints: 204946 2858.35/2870.50 c #Conflicts: 103000 | #Constraints: 205946 2858.35/2870.50 c bounds -1089 >= -1217 @ 2846.59 2858.35/2870.50 c #Conflicts: 104000 | #Constraints: 206970 2858.35/2870.50 c #Conflicts: 105000 | #Constraints: 207970 2858.35/2870.50 c #Conflicts: 106000 | #Constraints: 208970 2858.35/2870.50 c #Conflicts: 107000 | #Constraints: 209970 2858.35/2870.50 c #Conflicts: 108000 | #Constraints: 210970 2858.35/2870.50 c #Conflicts: 109000 | #Constraints: 211970 2858.35/2870.50 c INPROCESSING 2858.35/2870.50 c GARBAGE COLLECT 2858.35/2870.50 c #Conflicts: 110000 | #Constraints: 201715 2858.35/2870.50 c #Conflicts: 111000 | #Constraints: 202715 2858.35/2870.50 c #Conflicts: 112000 | #Constraints: 203715 2858.35/2870.50 c #Conflicts: 113000 | #Constraints: 204715 2966.31/2978.88 c #Conflicts: 114000 | #Constraints: 205715 2966.31/2978.88 c #Conflicts: 115000 | #Constraints: 206715 2966.31/2978.88 c #Conflicts: 116000 | #Constraints: 207715 2966.31/2978.88 c #Conflicts: 117000 | #Constraints: 208715 2966.31/2978.88 c #Conflicts: 118000 | #Constraints: 209715 2966.31/2978.88 c bounds -1089 >= -1216 @ 2854.17 2966.31/2978.88 c #Conflicts: 119000 | #Constraints: 210769 2966.31/2978.88 c #Conflicts: 120000 | #Constraints: 211769 2966.31/2978.88 c #Conflicts: 121000 | #Constraints: 212769 2966.31/2978.88 c #Conflicts: 122000 | #Constraints: 213769 2966.31/2978.88 c #Conflicts: 123000 | #Constraints: 214769 2966.31/2978.88 c #Conflicts: 124000 | #Constraints: 215769 2966.31/2978.88 c #Conflicts: 125000 | #Constraints: 216769 2966.31/2978.88 c #Conflicts: 126000 | #Constraints: 217769 2966.31/2978.88 c #Conflicts: 127000 | #Constraints: 218769 2966.31/2978.88 c bounds -1089 >= -1215 @ 2861.06 2966.31/2978.88 c #Conflicts: 128000 | #Constraints: 219811 2966.31/2978.88 c #Conflicts: 129000 | #Constraints: 220811 2966.31/2978.88 c #Conflicts: 130000 | #Constraints: 221811 2966.31/2978.88 c #Conflicts: 131000 | #Constraints: 222811 2966.31/2978.88 c #Conflicts: 132000 | #Constraints: 223811 2966.31/2978.88 c INPROCESSING 2966.31/2978.88 c GARBAGE COLLECT 2966.31/2978.88 c #Conflicts: 133000 | #Constraints: 206185 2966.31/2978.88 c #Conflicts: 134000 | #Constraints: 207185 2966.31/2978.88 c #Conflicts: 135000 | #Constraints: 208185 2966.31/2978.88 c #Conflicts: 136000 | #Constraints: 209185 2966.31/2978.88 c #Conflicts: 137000 | #Constraints: 210185 2966.31/2978.88 c #Conflicts: 138000 | #Constraints: 211185 2966.31/2978.88 c #Conflicts: 139000 | #Constraints: 212185 2966.31/2978.88 c #Conflicts: 140000 | #Constraints: 213185 2966.31/2978.88 c #Conflicts: 141000 | #Constraints: 214185 2966.31/2978.88 c #Conflicts: 142000 | #Constraints: 215185 2966.31/2978.88 c #Conflicts: 143000 | #Constraints: 216185 2966.31/2978.88 c #Conflicts: 144000 | #Constraints: 217185 2966.31/2978.88 c #Conflicts: 145000 | #Constraints: 218185 2966.31/2978.88 c #Conflicts: 146000 | #Constraints: 219185 2966.31/2978.88 c #Conflicts: 147000 | #Constraints: 220185 2966.31/2978.88 c #Conflicts: 148000 | #Constraints: 221185 2966.31/2978.88 c #Conflicts: 149000 | #Constraints: 222185 2966.31/2978.88 c #Conflicts: 150000 | #Constraints: 223185 2966.31/2978.88 c #Conflicts: 151000 | #Constraints: 224185 2966.31/2978.88 c #Conflicts: 152000 | #Constraints: 225185 2966.31/2978.88 c #Conflicts: 153000 | #Constraints: 226185 2966.31/2978.88 c #Conflicts: 154000 | #Constraints: 227185 2966.31/2978.88 c #Conflicts: 155000 | #Constraints: 228185 2966.31/2978.88 c #Conflicts: 156000 | #Constraints: 229185 2966.31/2978.88 c INPROCESSING 2966.31/2978.88 c GARBAGE COLLECT 2966.31/2978.88 c #Conflicts: 157000 | #Constraints: 208691 2966.31/2978.88 c #Conflicts: 158000 | #Constraints: 209691 2966.31/2978.88 c #Conflicts: 159000 | #Constraints: 210691 2966.31/2978.88 c #Conflicts: 160000 | #Constraints: 211691 2966.31/2978.88 c #Conflicts: 161000 | #Constraints: 212691 2966.31/2978.88 c #Conflicts: 162000 | #Constraints: 213691 2966.31/2978.88 c bounds -1089 >= -1214 @ 2931.09 2966.31/2978.88 c #Conflicts: 163000 | #Constraints: 214724 2966.31/2978.88 c #Conflicts: 164000 | #Constraints: 215724 2966.31/2978.88 c #Conflicts: 165000 | #Constraints: 216724 2966.31/2978.88 c #Conflicts: 166000 | #Constraints: 217724 2966.31/2978.88 c bounds -1089 >= -1213 @ 2934.83 2966.31/2978.88 c #Conflicts: 167000 | #Constraints: 218760 2966.31/2978.88 c #Conflicts: 168000 | #Constraints: 219760 2966.31/2978.88 c INPROCESSING 2966.31/2978.88 c GARBAGE COLLECT 2966.31/2978.88 c #Conflicts: 169000 | #Constraints: 208247 2966.31/2978.88 c #Conflicts: 170000 | #Constraints: 209247 2966.31/2978.88 c #Conflicts: 171000 | #Constraints: 210247 2966.31/2978.88 c #Conflicts: 172000 | #Constraints: 211247 2966.31/2978.88 c #Conflicts: 173000 | #Constraints: 212247 2966.31/2978.88 c bounds -1089 >= -1212 @ 2941.27 2966.31/2978.88 c #Conflicts: 174000 | #Constraints: 213286 2966.31/2978.88 c #Conflicts: 175000 | #Constraints: 214286 2966.31/2978.88 c #Conflicts: 176000 | #Constraints: 215286 2966.31/2978.88 c #Conflicts: 177000 | #Constraints: 216286 2966.31/2978.88 c #Conflicts: 178000 | #Constraints: 217286 2966.31/2978.88 c #Conflicts: 179000 | #Constraints: 218286 2966.31/2978.88 c #Conflicts: 180000 | #Constraints: 219286 2966.31/2978.88 c #Conflicts: 181000 | #Constraints: 220286 2966.31/2978.88 c #Conflicts: 182000 | #Constraints: 221286 2966.31/2978.88 c #Conflicts: 183000 | #Constraints: 222286 2966.31/2978.88 c #Conflicts: 184000 | #Constraints: 223286 2966.31/2978.88 c bounds -1089 >= -1211 @ 2953.34 2966.31/2978.88 c #Conflicts: 185000 | #Constraints: 224334 2966.31/2978.88 c #Conflicts: 186000 | #Constrai
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: 63968 MiB (61964 MiB free)
memory of node 1: 64473 MiB (40553 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460954-1722073162/watcher-4460954-1722073162 -o /tmp/evaluation-result-4460954-1722073162/solver-4460954-1722073162 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722064836-372425 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460954-1722073162 --lp-cut-gomory=0 HOME/instance-4460954-1722073162.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
Starting watchdog thread
solver pid=377692, runsolver pid=377689
Current StackSize limit: 8192 KiB
[startup+0.101048 s]*
/proc/loadavg: 4.15 4.17 4.15 5/261 377693
/proc/meminfo: memFree=104972452/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=39092 memory=10560 CPUtime=0.09 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 962 0 0 0 6 3 0 0 20 0 1 0 43839221 40030208 2640 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 9773 2640 1367 992 0 1631 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39092 KiB
Current children cumulated memory: 10560 KiB
[startup+0.205727 s]*
/proc/loadavg: 4.15 4.17 4.15 5/261 377693
/proc/meminfo: memFree=104971208/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=40272 memory=11468 CPUtime=0.19 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 1288 0 0 0 14 5 0 0 20 0 1 0 43839221 41238528 2867 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 10068 2867 1367 992 0 1926 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 11468 KiB
[startup+0.305282 s]*
/proc/loadavg: 4.15 4.17 4.15 5/261 377693
/proc/meminfo: memFree=104967036/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=43916 memory=14360 CPUtime=0.3 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 1969 0 0 0 22 8 0 0 20 0 1 0 43839221 44969984 3590 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 10979 3590 1367 992 0 2837 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43916 KiB
Current children cumulated memory: 14360 KiB
[startup+0.700235 s]
/proc/loadavg: 4.14 4.17 4.15 5/261 377693
/proc/meminfo: memFree=104955832/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=172156 memory=141508 CPUtime=0.69 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 26552 0 0 0 51 18 0 0 20 0 1 0 43839221 176287744 35377 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 43039 35377 1702 992 0 34897 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 172156 KiB
Current children cumulated memory: 141508 KiB
[startup+1.50021 s]
/proc/loadavg: 4.14 4.17 4.15 5/261 377693
/proc/meminfo: memFree=104862004/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=136584 memory=108360 CPUtime=1.48 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 26831 0 0 0 130 18 0 0 20 0 1 0 43839221 139862016 27090 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 34146 27090 1702 992 0 26004 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 136584 KiB
Current children cumulated memory: 108360 KiB
[startup+3.10605 s]
/proc/loadavg: 4.14 4.17 4.15 5/261 377695
/proc/meminfo: memFree=104817024/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=136584 memory=108360 CPUtime=3.08 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 26839 0 0 0 289 19 0 0 20 0 1 0 43839221 139862016 27090 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 34146 27090 1702 992 0 26004 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 136584 KiB
Current children cumulated memory: 108360 KiB
[startup+6.30021 s]
/proc/loadavg: 4.13 4.17 4.15 5/261 377695
/proc/meminfo: memFree=104745540/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=136584 memory=108360 CPUtime=6.26 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 26857 0 0 0 605 21 0 0 20 0 1 0 43839221 139862016 27090 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 34146 27090 1702 992 0 26004 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 136584 KiB
Current children cumulated memory: 108360 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.16 4.15 5/261 377696
/proc/meminfo: memFree=104462716/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=165576 memory=130248 CPUtime=12.64 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 29189 0 0 0 1229 35 0 0 20 0 1 0 43839221 169549824 32562 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 41394 32562 1813 992 0 33252 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 130248 KiB
[startup+25.5003 s]
/proc/loadavg: 4.25 4.19 4.16 5/261 377698
/proc/meminfo: memFree=104025928/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=165576 memory=132296 CPUtime=25.39 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 29223 0 0 0 2503 36 0 0 20 0 1 0 43839221 169549824 33074 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 41394 33074 1813 992 0 33252 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 132296 KiB
[startup+51.1061 s]
/proc/loadavg: 4.21 4.19 4.16 5/261 377702
/proc/meminfo: memFree=103273184/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=165576 memory=134408 CPUtime=50.91 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 29275 0 0 0 5051 40 0 0 20 0 1 0 43839221 169549824 33602 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 41394 33602 1813 992 0 33252 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 134408 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.17 4.15 5/263 377716
/proc/meminfo: memFree=102407364/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=166788 memory=138552 CPUtime=101.92 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 29775 0 0 0 10138 54 0 0 20 0 1 0 43839221 170790912 34638 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 41697 34638 1877 992 0 33555 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 166788 KiB
Current children cumulated memory: 138552 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.17 4.15 5/261 377726
/proc/meminfo: memFree=101703572/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=204820 memory=167436 CPUtime=161.67 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 30900 0 0 0 16104 63 0 0 20 0 1 0 43839221 209735680 41859 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 51205 41859 1877 992 0 43063 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 204820 KiB
Current children cumulated memory: 167436 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 4.19 4.16 5/262 377738
/proc/meminfo: memFree=100440452/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=216496 memory=173580 CPUtime=221.4 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 31442 0 0 0 22054 86 0 0 20 0 1 0 43839221 221691904 43395 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 54124 43395 1877 992 0 45982 0
Current children cumulated CPU time: 221.4 s
Current children cumulated vsize: 216496 KiB
Current children cumulated memory: 173580 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.18 4.16 5/262 377749
/proc/meminfo: memFree=99501436/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=216496 memory=173580 CPUtime=281.13 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 31463 0 0 0 28018 95 0 0 20 0 1 0 43839221 221691904 43395 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 54124 43395 1877 992 0 45982 0
Current children cumulated CPU time: 281.13 s
Current children cumulated vsize: 216496 KiB
Current children cumulated memory: 173580 KiB
[startup+342.3 s]
/proc/loadavg: 4.29 4.22 4.17 5/261 377760
/proc/meminfo: memFree=98623152/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=216496 memory=173580 CPUtime=340.86 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 31482 0 0 0 33979 107 0 0 20 0 1 0 43839221 221691904 43395 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 54124 43395 1877 992 0 45982 0
Current children cumulated CPU time: 340.86 s
Current children cumulated vsize: 216496 KiB
Current children cumulated memory: 173580 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.19 4.17 5/259 377770
/proc/meminfo: memFree=97667672/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=216496 memory=173596 CPUtime=400.59 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 31499 0 0 0 39940 119 0 0 20 0 1 0 43839221 221691904 43399 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 54124 43399 1877 992 0 45982 0
Current children cumulated CPU time: 400.59 s
Current children cumulated vsize: 216496 KiB
Current children cumulated memory: 173596 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.17 4.16 5/258 377781
/proc/meminfo: memFree=96542536/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=235464 memory=198484 CPUtime=460.34 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 31611 0 0 0 45870 164 0 0 20 0 1 0 43839221 241115136 49621 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 58866 49621 1893 992 0 50724 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 2.16 2.68 3.38 3/246 379469
/proc/meminfo: memFree=124023172/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=359136 memory=277924 CPUtime=3029.61 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 34403 0 0 0 302101 860 0 0 20 0 1 0 43839221 367755264 69481 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 89784 69481 1893 992 0 81642 0
Current children cumulated CPU time: 3029.61 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 277924 KiB
[startup+3102.3 s]
/proc/loadavg: 2.23 2.60 3.31 3/246 379540
/proc/meminfo: memFree=124022164/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=359136 memory=277924 CPUtime=3089.38 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 34459 0 0 0 308073 865 0 0 20 0 1 0 43839221 367755264 69481 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 89784 69481 1893 992 0 81642 0
Current children cumulated CPU time: 3089.38 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 277924 KiB
[startup+3162.3 s]
/proc/loadavg: 2.08 2.49 3.23 3/246 379551
/proc/meminfo: memFree=124021684/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=359136 memory=277924 CPUtime=3149.15 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 34573 0 0 0 314043 872 0 0 20 0 1 0 43839221 367755264 69481 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 89784 69481 1893 992 0 81642 0
Current children cumulated CPU time: 3149.15 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 277924 KiB
[startup+3222.3 s]
/proc/loadavg: 2.14 2.43 3.16 3/246 379563
/proc/meminfo: memFree=124021128/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=359136 memory=277924 CPUtime=3208.93 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 34683 0 0 0 320014 879 0 0 20 0 1 0 43839221 367755264 69481 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 89784 69481 1893 992 0 81642 0
Current children cumulated CPU time: 3208.93 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 277924 KiB
[startup+3282.3 s]
/proc/loadavg: 2.11 2.37 3.09 3/246 379574
/proc/meminfo: memFree=124020248/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=359136 memory=277924 CPUtime=3268.72 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 34787 0 0 0 325988 884 0 0 20 0 1 0 43839221 367755264 69481 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 89784 69481 1893 992 0 81642 0
Current children cumulated CPU time: 3268.72 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 277924 KiB
[startup+3342.3 s]
/proc/loadavg: 2.08 2.31 3.02 3/243 379585
/proc/meminfo: memFree=124019732/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=359136 memory=277924 CPUtime=3328.51 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 34895 0 0 0 331960 891 0 0 20 0 1 0 43839221 367755264 69481 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 89784 69481 1893 992 0 81642 0
Current children cumulated CPU time: 3328.51 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 277924 KiB
[startup+3402.3 s]
/proc/loadavg: 2.13 2.28 2.97 3/240 379597
/proc/meminfo: memFree=124016968/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=359136 memory=277924 CPUtime=3388.3 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 34998 0 0 0 337933 897 0 0 20 0 1 0 43839221 367755264 69481 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 89784 69481 1893 992 0 81642 0
Current children cumulated CPU time: 3388.3 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 277924 KiB
[startup+3462.3 s]
/proc/loadavg: 2.09 2.25 2.91 3/240 379608
/proc/meminfo: memFree=124017496/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=359136 memory=277924 CPUtime=3448.08 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 35052 0 0 0 343907 901 0 0 20 0 1 0 43839221 367755264 69481 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 89784 69481 1893 992 0 81642 0
Current children cumulated CPU time: 3448.08 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 277924 KiB
[startup+3522.3 s]
/proc/loadavg: 2.15 2.23 2.86 3/240 379619
/proc/meminfo: memFree=124016868/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=359136 memory=277924 CPUtime=3507.87 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 35107 0 0 0 349880 907 0 0 20 0 1 0 43839221 367755264 69481 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 89784 69481 1893 992 0 81642 0
Current children cumulated CPU time: 3507.87 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 277924 KiB
[startup+3582.3 s]
/proc/loadavg: 2.16 2.22 2.81 3/240 379629
/proc/meminfo: memFree=124015860/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=359136 memory=277924 CPUtime=3567.65 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 35216 0 0 0 355853 912 0 0 20 0 1 0 43839221 367755264 69481 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 89784 69481 1893 992 0 81642 0
Current children cumulated CPU time: 3567.65 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 277924 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.8 s]
/proc/loadavg: 2.08 2.19 2.79 2/233 379666
/proc/meminfo: memFree=126060712/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=359136 memory=277924 CPUtime=3600.04 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 35269 0 0 0 359089 915 0 0 20 0 1 0 43839221 367755264 69481 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 89784 69481 1893 992 0 81642 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 277924 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3616.8 s]
# the end of solver process 377692 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3592.89 s, system=9.15816 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3616 s]*
/proc/loadavg: 2.08 2.19 2.79 2/233 379666
/proc/meminfo: memFree=126060712/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=359136 memory=277924 CPUtime=3601.24 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 35269 0 0 0 359209 915 0 0 20 0 1 0 43839221 367755264 69481 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 89784 69481 1893 992 0 81642 0
Current children cumulated CPU time: 3601.24 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 277924 KiB
[startup+3616.4 s]
/proc/loadavg: 2.08 2.19 2.79 2/233 379666
/proc/meminfo: memFree=126060712/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=359136 memory=277924 CPUtime=3601.63 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 35269 0 0 0 359248 915 0 0 20 0 1 0 43839221 367755264 69481 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 89784 69481 1893 992 0 81642 0
Current children cumulated CPU time: 3601.63 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 277924 KiB
[startup+3616.8 s]
/proc/loadavg: 2.08 2.19 2.79 2/233 379666
/proc/meminfo: memFree=126060712/131524600 swapFree=131057784/131071996
[pid=377692] ppid=377689 vsize=359136 memory=277924 CPUtime=3602.03 cores=0,2
/proc/377692/stat : 377692 (roundingsat) R 377689 377692 372411 0 -1 4194304 35269 0 0 0 359288 915 0 0 20 0 1 0 43839221 367755264 69481 134679101440 4194304 8254357 140721908415696 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 32133120 140721908421467 140721908421729 140721908421729 140721908428745 0
/proc/377692/statm: 89784 69481 1893 992 0 81642 0
Current children cumulated CPU time: 3602.03 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 277924 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3616.8
CPU time (s): 3602.05
CPU user time (s): 3592.89
CPU system time (s): 9.15816
CPU usage (%): 99.592
Max. virtual memory (cumulated for all children) (KiB): 359136
Max. memory (cumulated for all children) (KiB): 277924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.89
system time used= 9.15816
maximum resident set size= 277924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35269
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= 16
involuntary context switches= 25306
# summary of solver processes directly reported to runsolver:
# pid: 377692
# total CPU time (s): 3602.05
# total CPU user time (s): 3592.89
# total CPU system time (s): 9.15816
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39187 second user time and 17.9522 second system time
The end
Begin job on nodeC024 at 2024-07-27 11:39:22 IDJOB=4460954 IDBENCH=178226 IDSOLVER=3086 FILE ID=nodeC024/4460954-1722073162 RUNJOBID= nodeC024-1722064836-372425 SLURM_JOB_ID= 8248093 Free space on /tmp= 890024 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-4460954-1722073162/watcher-4460954-1722073162 -o /tmp/evaluation-result-4460954-1722073162/solver-4460954-1722073162 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722064836-372425 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460954-1722073162 --lp-cut-gomory=0 HOME/instance-4460954-1722073162.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7cbab653d296f81eb095bf1f983193d8 RANDOM SEED=1199031812 nodeC024.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 : 3654.413 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 : 3683.244 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 : 7005.58 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 : 3668.316 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 : 3600.051 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 : 7005.58 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 : 3668.124 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 : 3683.300 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 : 7005.58 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.369 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 : 3600.055 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 : 7005.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 104979648 kB MemAvailable: 120363036 kB Buffers: 368868 kB Cached: 15831620 kB SwapCached: 228 kB Active: 2700720 kB Inactive: 23190184 kB Active(anon): 4156 kB Inactive(anon): 9739788 kB Active(file): 2696564 kB Inactive(file): 13450396 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131057784 kB Dirty: 291652 kB Writeback: 0 kB AnonPages: 9689400 kB Mapped: 113944 kB Shmem: 53464 kB KReclaimable: 152504 kB Slab: 277756 kB SReclaimable: 152504 kB SUnreclaim: 125252 kB KernelStack: 4224 kB PageTables: 28744 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 11967332 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20032 kB HardwareCorrupted: 0 kB AnonHugePages: 2228224 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: 408276 kB DirectMap2M: 48648192 kB DirectMap1G: 87031808 kB Free space on /tmp at the end= 890072 MiB End job on nodeC024 at 2024-07-27 12:39:39