| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3602.01 | 3614.4 |
| 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.59 c #variables 2145 #constraints 183040 5.86/5.91 c bounds - >= -1815 @ 0.447321 5.86/5.91 c bounds 0 >= -1815 @ 5.68827 5.86/5.91 c bounds 0 >= -1814 @ 5.68853 5.86/5.91 c bounds 0 >= -1813 @ 5.68864 5.86/5.91 c bounds 0 >= -1812 @ 5.68877 5.86/5.91 c bounds 0 >= -1811 @ 5.68889 5.86/5.91 c bounds 0 >= -1810 @ 5.689 5.86/5.91 c bounds 0 >= -1809 @ 5.68911 5.86/5.91 c bounds 0 >= -1808 @ 5.68923 5.86/5.91 c bounds 0 >= -1807 @ 5.68934 5.86/5.91 c bounds 0 >= -1806 @ 5.68948 5.86/5.91 c bounds 0 >= -1805 @ 5.68959 5.86/5.91 c bounds 0 >= -1804 @ 5.68972 5.86/5.91 c bounds 0 >= -1803 @ 5.68983 5.86/5.91 c bounds 0 >= -1802 @ 5.68994 5.86/5.91 c bounds 0 >= -1801 @ 5.69005 5.86/5.91 c bounds 0 >= -1800 @ 5.69017 5.86/5.91 c bounds 0 >= -1799 @ 5.69029 5.86/5.91 c bounds 0 >= -1798 @ 5.6904 5.86/5.91 c bounds 0 >= -1797 @ 5.6904 5.86/5.91 c bounds 0 >= -1796 @ 5.6904 5.86/5.91 c bounds 0 >= -1795 @ 5.6904 5.86/5.91 c bounds 0 >= -1794 @ 5.6904 5.86/5.91 c bounds 0 >= -1793 @ 5.6904 5.86/5.91 c bounds 0 >= -1792 @ 5.6904 5.86/5.91 c bounds 0 >= -1791 @ 5.6904 5.86/5.91 c bounds 0 >= -1790 @ 5.6904 5.86/5.91 c bounds 0 >= -1789 @ 5.69051 5.86/5.91 c bounds 0 >= -1788 @ 5.69062 5.86/5.91 c bounds 0 >= -1787 @ 5.69075 5.86/5.91 c bounds 0 >= -1786 @ 5.69086 5.86/5.91 c bounds 0 >= -1785 @ 5.69097 5.86/5.91 c bounds 0 >= -1784 @ 5.69108 5.86/5.91 c bounds 0 >= -1783 @ 5.69118 5.86/5.91 c bounds 0 >= -1782 @ 5.6913 5.86/5.91 c bounds 0 >= -1781 @ 5.6914 5.86/5.91 c bounds 0 >= -1780 @ 5.69154 5.86/5.91 c bounds 0 >= -1779 @ 5.69164 5.86/5.91 c bounds 0 >= -1778 @ 5.69177 5.86/5.91 c bounds 0 >= -1777 @ 5.69189 5.86/5.91 c bounds 0 >= -1776 @ 5.692 5.86/5.91 c bounds 0 >= -1775 @ 5.69211 5.86/5.91 c bounds 0 >= -1774 @ 5.69222 5.86/5.91 c bounds 0 >= -1773 @ 5.69233 5.86/5.91 c bounds 0 >= -1772 @ 5.69246 5.86/5.91 c bounds 0 >= -1771 @ 5.69257 5.86/5.91 c bounds 0 >= -1770 @ 5.69271 5.86/5.91 c bounds 0 >= -1769 @ 5.69281 5.86/5.91 c bounds 0 >= -1768 @ 5.69292 5.86/5.91 c bounds 0 >= -1767 @ 5.69304 5.86/5.91 c bounds 0 >= -1766 @ 5.69314 5.86/5.91 c bounds 0 >= -1765 @ 5.69325 5.86/5.91 c bounds 0 >= -1764 @ 5.69336 5.86/5.91 c bounds 0 >= -1763 @ 5.69347 5.86/5.91 c bounds 0 >= -1762 @ 5.69358 5.86/5.91 c bounds 0 >= -1761 @ 5.6937 5.86/5.91 c bounds 0 >= -1760 @ 5.6938 5.86/5.91 c bounds 0 >= -1759 @ 5.69391 5.86/5.91 c bounds 0 >= -1758 @ 5.69402 5.86/5.91 c bounds 0 >= -1757 @ 5.69413 5.86/5.91 c bounds 0 >= -1756 @ 5.69424 5.86/5.91 c bounds 0 >= -1755 @ 5.69435 5.86/5.91 c bounds 0 >= -1754 @ 5.69446 5.86/5.91 c bounds 0 >= -1753 @ 5.69457 5.86/5.91 c bounds 0 >= -1752 @ 5.69468 5.86/5.91 c bounds 0 >= -1751 @ 5.69479 5.86/5.91 c bounds 0 >= -1750 @ 5.69489 5.86/5.91 c bounds 0 >= -1749 @ 5.695 5.86/5.91 c bounds 0 >= -1748 @ 5.69513 5.86/5.91 c bounds 0 >= -1747 @ 5.69523 5.86/5.91 c bounds 0 >= -1746 @ 5.69534 5.86/5.91 c bounds 0 >= -1745 @ 5.69546 5.86/5.91 c bounds 0 >= -1744 @ 5.69558 5.86/5.91 c bounds 0 >= -1743 @ 5.69571 5.86/5.91 c bounds 0 >= -1742 @ 5.69581 5.86/5.91 c bounds 0 >= -1741 @ 5.69592 5.86/5.91 c bounds 0 >= -1740 @ 5.69602 5.86/5.91 c bounds 0 >= -1739 @ 5.69613 5.86/5.91 c bounds 0 >= -1738 @ 5.69624 5.86/5.91 c bounds 0 >= -1737 @ 5.69634 5.86/5.91 c bounds 0 >= -1736 @ 5.69648 5.86/5.91 c bounds 0 >= -1735 @ 5.69659 5.86/5.91 c bounds 0 >= -1734 @ 5.69672 5.86/5.91 c bounds 0 >= -1733 @ 5.69683 5.86/5.91 c bounds 0 >= -1732 @ 5.69694 5.86/5.91 c bounds 0 >= -1731 @ 5.69704 5.86/5.91 c bounds 0 >= -1730 @ 5.69715 5.86/5.91 c bounds 0 >= -1729 @ 5.69726 5.86/5.91 c bounds 0 >= -1728 @ 5.69737 5.86/5.91 c bounds 0 >= -1727 @ 5.69749 5.86/5.91 c bounds 0 >= -1726 @ 5.69761 5.86/5.91 c bounds 0 >= -1725 @ 5.69771 5.86/5.91 c bounds 0 >= -1724 @ 5.69784 5.86/5.91 c bounds 0 >= -1723 @ 5.69795 5.86/5.91 c bounds 0 >= -1722 @ 5.69805 5.86/5.91 c bounds 0 >= -1721 @ 5.69816 5.86/5.91 c bounds 0 >= -1720 @ 5.69827 5.86/5.91 c bounds 0 >= -1719 @ 5.69837 5.86/5.91 c bounds 0 >= -1718 @ 5.6985 5.86/5.91 c bounds 0 >= -1717 @ 5.69861 5.86/5.91 c bounds 0 >= -1716 @ 5.69873 5.86/5.91 c bounds 0 >= -1715 @ 5.69883 5.86/5.91 c bounds 0 >= -1714 @ 5.69894 5.86/5.91 c bounds 0 >= -1713 @ 5.69904 5.86/5.91 c bounds 0 >= -1712 @ 5.69915 5.86/5.91 c bounds 0 >= -1711 @ 5.69928 5.86/5.91 c bounds 0 >= -1710 @ 5.69938 5.86/5.91 c bounds 0 >= -1709 @ 5.69951 5.86/5.91 c bounds 0 >= -1708 @ 5.69962 5.86/5.91 c bounds 0 >= -1707 @ 5.69975 5.86/5.91 c bounds 0 >= -1706 @ 5.69985 5.86/5.91 c bounds 0 >= -1705 @ 5.69996 5.86/5.91 c bounds 0 >= -1704 @ 5.70006 5.86/5.91 c bounds 0 >= -1703 @ 5.70017 5.86/5.91 c bounds 0 >= -1702 @ 5.70028 5.86/5.91 c bounds 0 >= -1701 @ 5.70038 5.86/5.91 c bounds 0 >= -1700 @ 5.70038 5.86/5.91 c bounds 0 >= -1699 @ 5.70038 5.86/5.91 c bounds 0 >= -1698 @ 5.70038 5.86/5.91 c bounds 0 >= -1697 @ 5.70038 5.86/5.91 c bounds 0 >= -1696 @ 5.70038 5.86/5.91 c bounds 0 >= -1695 @ 5.70038 5.86/5.91 c bounds 0 >= -1694 @ 5.70038 5.86/5.91 c bounds 0 >= -1693 @ 5.70038 5.86/5.91 c bounds 0 >= -1692 @ 5.70041 5.86/5.91 c bounds 0 >= -1691 @ 5.70051 5.86/5.91 c bounds 0 >= -1690 @ 5.70062 5.86/5.91 c bounds 0 >= -1689 @ 5.70074 5.86/5.91 c bounds 0 >= -1688 @ 5.70085 5.86/5.91 c bounds 0 >= -1687 @ 5.70099 5.86/5.91 c bounds 0 >= -1686 @ 5.7011 5.86/5.91 c bounds 0 >= -1685 @ 5.70121 5.86/5.91 c bounds 0 >= -1684 @ 5.70131 5.86/5.91 c bounds 0 >= -1683 @ 5.70143 5.86/5.91 c bounds 0 >= -1682 @ 5.70154 5.86/5.91 c bounds 0 >= -1681 @ 5.70163 5.86/5.91 c bounds 0 >= -1680 @ 5.70176 5.86/5.91 c bounds 0 >= -1679 @ 5.70187 5.86/5.93 c bounds 0 >= -1678 @ 5.70199 5.86/5.93 c bounds 0 >= -1677 @ 5.70209 5.86/5.93 c bounds 0 >= -1676 @ 5.70219 5.86/5.93 c bounds 0 >= -1675 @ 5.7023 5.86/5.93 c bounds 0 >= -1674 @ 5.70241 5.86/5.93 c bounds 0 >= -1673 @ 5.70251 5.86/5.93 c bounds 0 >= -1672 @ 5.70262 5.86/5.93 c bounds 0 >= -1671 @ 5.70273 5.86/5.93 c bounds 0 >= -1670 @ 5.70284 5.86/5.93 c bounds 0 >= -1669 @ 5.70294 5.86/5.93 c bounds 0 >= -1668 @ 5.70304 5.86/5.93 c bounds 0 >= -1667 @ 5.70314 5.86/5.93 c bounds 0 >= -1666 @ 5.70324 5.86/5.93 c bounds 0 >= -1665 @ 5.70334 5.86/5.93 c bounds 0 >= -1664 @ 5.70346 5.86/5.93 c bounds 0 >= -1663 @ 5.70357 5.86/5.93 c bounds 0 >= -1662 @ 5.7037 5.86/5.93 c bounds 0 >= -1661 @ 5.7038 5.86/5.93 c bounds 0 >= -1660 @ 5.7039 5.86/5.93 c bounds 0 >= -1659 @ 5.70401 5.86/5.93 c bounds 0 >= -1658 @ 5.70411 5.86/5.93 c bounds 0 >= -1657 @ 5.70421 5.86/5.93 c bounds 0 >= -1656 @ 5.70432 5.86/5.93 c bounds 0 >= -1655 @ 5.70437 5.86/5.93 c bounds 0 >= -1654 @ 5.70437 5.86/5.93 c bounds 0 >= -1653 @ 5.70437 5.86/5.93 c bounds 0 >= -1652 @ 5.70437 5.86/5.93 c bounds 0 >= -1651 @ 5.70437 5.86/5.93 c bounds 0 >= -1650 @ 5.70437 5.86/5.93 c bounds 0 >= -1649 @ 5.70437 5.86/5.93 c bounds 0 >= -1648 @ 5.70437 5.86/5.93 c bounds 0 >= -1647 @ 5.70437 5.86/5.93 c bounds 0 >= -1646 @ 5.70442 5.86/5.93 c bounds 0 >= -1645 @ 5.70451 5.86/5.93 c bounds 0 >= -1644 @ 5.70462 5.86/5.93 c bounds 0 >= -1643 @ 5.70474 5.86/5.93 c bounds 0 >= -1642 @ 5.70483 5.86/5.93 c bounds 0 >= -1641 @ 5.70494 5.86/5.93 c bounds 0 >= -1640 @ 5.70504 5.86/5.93 c bounds 0 >= -1639 @ 5.70513 5.86/5.93 c bounds 0 >= -1638 @ 5.70524 5.86/5.93 c bounds 0 >= -1637 @ 5.70534 5.86/5.93 c bounds 0 >= -1636 @ 5.70547 5.86/5.93 c bounds 0 >= -1635 @ 5.70557 5.86/5.93 c bounds 0 >= -1634 @ 5.70569 5.86/5.93 c bounds 0 >= -1633 @ 5.70579 5.86/5.93 c bounds 0 >= -1632 @ 5.7059 5.86/5.93 c bounds 0 >= -1631 @ 5.706 5.86/5.93 c bounds 0 >= -1630 @ 5.7061 5.86/5.93 c bounds 0 >= -1629 @ 5.70621 5.86/5.93 c bounds 0 >= -1628 @ 5.70631 5.86/5.93 c bounds 0 >= -1627 @ 5.70636 5.86/5.93 c bounds 0 >= -1626 @ 5.70636 5.86/5.93 c bounds 0 >= -1625 @ 5.70636 5.86/5.93 c bounds 0 >= -1624 @ 5.70636 5.86/5.93 c bounds 0 >= -1623 @ 5.70636 5.86/5.93 c bounds 0 >= -1622 @ 5.70636 5.86/5.93 c bounds 0 >= -1621 @ 5.70636 5.86/5.93 c bounds 0 >= -1620 @ 5.70636 5.86/5.93 c bounds 0 >= -1619 @ 5.70636 5.86/5.93 c bounds 0 >= -1618 @ 5.70636 5.86/5.93 c bounds 0 >= -1617 @ 5.70646 5.86/5.93 c bounds 0 >= -1616 @ 5.70658 5.86/5.93 c bounds 0 >= -1615 @ 5.70667 5.86/5.93 c bounds 0 >= -1614 @ 5.70678 5.86/5.93 c bounds 0 >= -1613 @ 5.70688 5.86/5.93 c bounds 0 >= -1612 @ 5.70697 5.86/5.93 c bounds 0 >= -1611 @ 5.70707 5.86/5.93 c bounds 0 >= -1610 @ 5.70717 5.86/5.93 c bounds 0 >= -1609 @ 5.70727 5.86/5.93 c bounds 0 >= -1608 @ 5.70736 5.86/5.93 c bounds 0 >= -1607 @ 5.70746 5.86/5.93 c bounds 0 >= -1606 @ 5.70757 5.86/5.93 c bounds 0 >= -1605 @ 5.70767 5.86/5.93 c bounds 0 >= -1604 @ 5.70779 5.86/5.93 c bounds 0 >= -1603 @ 5.70788 5.86/5.93 c bounds 0 >= -1602 @ 5.70798 5.86/5.93 c bounds 0 >= -1601 @ 5.7081 5.86/5.93 c bounds 0 >= -1600 @ 5.70819 5.86/5.93 c bounds 0 >= -1599 @ 5.7083 5.86/5.93 c bounds 0 >= -1598 @ 5.70836 5.86/5.93 c bounds 0 >= -1597 @ 5.70836 5.86/5.93 c bounds 0 >= -1596 @ 5.70836 5.86/5.93 c bounds 0 >= -1595 @ 5.70836 5.86/5.93 c bounds 0 >= -1594 @ 5.70836 5.86/5.93 c bounds 0 >= -1593 @ 5.70836 5.86/5.93 c bounds 0 >= -1592 @ 5.70836 5.86/5.93 c bounds 0 >= -1591 @ 5.70836 5.86/5.93 c bounds 0 >= -1590 @ 5.70836 5.86/5.93 c bounds 0 >= -1589 @ 5.70836 5.86/5.93 c bounds 0 >= -1588 @ 5.70848 5.86/5.93 c bounds 0 >= -1587 @ 5.70858 5.86/5.93 c bounds 0 >= -1586 @ 5.70869 5.86/5.93 c bounds 0 >= -1585 @ 5.7088 5.86/5.93 c bounds 0 >= -1584 @ 5.7089 5.86/5.93 c bounds 0 >= -1583 @ 5.709 5.86/5.93 c bounds 0 >= -1582 @ 5.70909 5.86/5.93 c bounds 0 >= -1581 @ 5.70918 5.86/5.93 c bounds 0 >= -1580 @ 5.70929 5.86/5.93 c bounds 0 >= -1579 @ 5.7094 5.86/5.93 c bounds 0 >= -1578 @ 5.70949 5.86/5.93 c bounds 0 >= -1577 @ 5.7096 5.86/5.93 c bounds 0 >= -1576 @ 5.70972 5.86/5.93 c bounds 0 >= -1575 @ 5.70985 5.86/5.93 c bounds 0 >= -1574 @ 5.70999 5.86/5.93 c bounds 0 >= -1573 @ 5.7101 5.86/5.93 c bounds 0 >= -1572 @ 5.7102 5.86/5.93 c bounds 0 >= -1571 @ 5.7103 5.86/5.93 c bounds 0 >= -1570 @ 5.71036 5.86/5.93 c bounds 0 >= -1569 @ 5.71036 5.86/5.93 c bounds 0 >= -1568 @ 5.71036 5.86/5.93 c bounds 0 >= -1567 @ 5.71036 5.86/5.93 c bounds 0 >= -1566 @ 5.71036 5.86/5.93 c bounds 0 >= -1565 @ 5.71036 5.86/5.93 c bounds 0 >= -1564 @ 5.71036 5.86/5.93 c bounds 0 >= -1563 @ 5.71036 5.86/5.93 c bounds 0 >= -1562 @ 5.71036 5.86/5.93 c bounds 0 >= -1561 @ 5.71036 5.86/5.93 c bounds 0 >= -1560 @ 5.71036 5.86/5.93 c bounds 0 >= -1559 @ 5.71036 5.86/5.93 c bounds 0 >= -1558 @ 5.71036 5.86/5.93 c bounds 0 >= -1557 @ 5.71036 5.86/5.93 c bounds 0 >= -1556 @ 5.71036 5.86/5.93 c bounds 0 >= -1555 @ 5.71036 5.86/5.93 c bounds 0 >= -1554 @ 5.71036 5.86/5.93 c bounds 0 >= -1553 @ 5.71036 5.86/5.93 c bounds 0 >= -1552 @ 5.71046 5.86/5.93 c bounds 0 >= -1551 @ 5.71056 5.86/5.93 c bounds 0 >= -1550 @ 5.71066 5.86/5.93 c bounds 0 >= -1549 @ 5.71075 5.86/5.93 c bounds 0 >= -1548 @ 5.71085 5.86/5.93 c bounds 0 >= -1547 @ 5.71095 5.86/5.93 c bounds 0 >= -1546 @ 5.71105 5.86/5.93 c bounds 0 >= -1545 @ 5.71113 5.86/5.93 c bounds 0 >= -1544 @ 5.71124 5.86/5.93 c bounds 0 >= -1543 @ 5.71135 5.86/5.93 c bounds 0 >= -1542 @ 5.71145 5.86/5.94 c bounds 0 >= -1541 @ 5.71156 5.86/5.94 c bounds 0 >= -1540 @ 5.71168 5.86/5.94 c bounds 0 >= -1539 @ 5.71178 5.86/5.94 c bounds 0 >= -1538 @ 5.71188 5.86/5.94 c bounds 0 >= -1537 @ 5.71198 5.86/5.94 c bounds 0 >= -1536 @ 5.71211 5.86/5.94 c bounds 0 >= -1535 @ 5.71227 5.86/5.94 c bounds 0 >= -1534 @ 5.71242 5.86/5.94 c bounds 0 >= -1533 @ 5.71253 5.86/5.94 c bounds 0 >= -1532 @ 5.71263 5.86/5.94 c bounds 0 >= -1531 @ 5.71276 5.86/5.94 c bounds 0 >= -1530 @ 5.71285 5.86/5.94 c bounds 0 >= -1529 @ 5.71296 5.86/5.94 c bounds 0 >= -1528 @ 5.71306 5.86/5.94 c bounds 0 >= -1527 @ 5.71317 5.86/5.94 c bounds 0 >= -1526 @ 5.71327 5.86/5.94 c bounds 0 >= -1525 @ 5.71337 5.86/5.94 c bounds 0 >= -1524 @ 5.7135 5.86/5.94 c bounds 0 >= -1523 @ 5.7136 5.86/5.94 c bounds 0 >= -1522 @ 5.71373 5.86/5.94 c bounds 0 >= -1521 @ 5.71383 5.86/5.94 c bounds 0 >= -1520 @ 5.71392 5.86/5.94 c bounds 0 >= -1519 @ 5.71403 5.86/5.94 c bounds 0 >= -1518 @ 5.71418 5.86/5.94 c bounds 0 >= -1517 @ 5.71428 5.86/5.94 c bounds 0 >= -1516 @ 5.71437 5.86/5.94 c bounds 0 >= -1515 @ 5.71448 5.86/5.94 c bounds 0 >= -1514 @ 5.71459 5.86/5.94 c bounds 0 >= -1513 @ 5.71471 5.86/5.94 c bounds 0 >= -1512 @ 5.71481 5.86/5.94 c bounds 0 >= -1511 @ 5.71491 5.86/5.94 c bounds 0 >= -1510 @ 5.715 5.86/5.94 c bounds 0 >= -1509 @ 5.71509 5.86/5.94 c bounds 0 >= -1508 @ 5.71518 5.86/5.94 c bounds 0 >= -1507 @ 5.71529 5.86/5.94 c bounds 0 >= -1506 @ 5.7154 5.86/5.94 c bounds 0 >= -1505 @ 5.71549 5.86/5.94 c bounds 0 >= -1504 @ 5.71558 5.86/5.94 c bounds 0 >= -1503 @ 5.71568 5.86/5.94 c bounds 0 >= -1502 @ 5.71579 5.86/5.94 c bounds 0 >= -1501 @ 5.71588 5.86/5.94 c bounds 0 >= -1500 @ 5.71597 5.86/5.94 c bounds 0 >= -1499 @ 5.71606 5.86/5.94 c bounds 0 >= -1498 @ 5.71616 5.86/5.94 c bounds 0 >= -1497 @ 5.71627 5.86/5.94 c bounds 0 >= -1496 @ 5.71638 5.86/5.94 c bounds 0 >= -1495 @ 5.71646 5.86/5.94 c bounds 0 >= -1494 @ 5.71658 5.86/5.94 c bounds 0 >= -1493 @ 5.7167 5.86/5.94 c bounds 0 >= -1492 @ 5.71679 5.86/5.94 c bounds 0 >= -1491 @ 5.71688 5.86/5.94 c bounds 0 >= -1490 @ 5.71697 5.86/5.94 c bounds 0 >= -1489 @ 5.71705 5.86/5.94 c bounds 0 >= -1488 @ 5.71714 5.86/5.94 c bounds 0 >= -1487 @ 5.71726 5.86/5.94 c bounds 0 >= -1486 @ 5.71735 5.86/5.94 c bounds 0 >= -1485 @ 5.71746 5.86/5.94 c bounds 0 >= -1484 @ 5.71755 5.86/5.94 c bounds 0 >= -1483 @ 5.71766 5.86/5.94 c bounds 0 >= -1482 @ 5.71775 5.86/5.94 c bounds 0 >= -1481 @ 5.71785 5.86/5.94 c bounds 0 >= -1480 @ 5.71794 5.86/5.94 c bounds 0 >= -1479 @ 5.71804 5.86/5.94 c bounds 0 >= -1478 @ 5.71814 5.86/5.94 c bounds 0 >= -1477 @ 5.71822 5.86/5.94 c bounds 0 >= -1476 @ 5.71832 5.86/5.94 c bounds 0 >= -1475 @ 5.71845 5.86/5.94 c bounds 0 >= -1474 @ 5.71855 5.86/5.94 c bounds 0 >= -1473 @ 5.71864 5.86/5.94 c bounds 0 >= -1472 @ 5.71873 5.86/5.94 c bounds 0 >= -1471 @ 5.71881 5.86/5.94 c bounds 0 >= -1470 @ 5.7189 5.86/5.94 c bounds 0 >= -1469 @ 5.71902 5.86/5.94 c bounds 0 >= -1468 @ 5.71913 5.86/5.94 c bounds 0 >= -1467 @ 5.71922 5.86/5.94 c bounds 0 >= -1466 @ 5.71931 5.86/5.94 c bounds 0 >= -1465 @ 5.7194 5.86/5.94 c bounds 0 >= -1464 @ 5.71949 5.86/5.94 c bounds 0 >= -1463 @ 5.71958 5.86/5.94 c bounds 0 >= -1462 @ 5.71971 5.86/5.94 c bounds 0 >= -1461 @ 5.71981 5.86/5.94 c bounds 0 >= -1460 @ 5.71993 5.86/5.94 c bounds 0 >= -1459 @ 5.72007 5.86/5.94 c bounds 0 >= -1458 @ 5.72018 5.86/5.94 c bounds 0 >= -1457 @ 5.72027 5.86/5.94 c bounds 0 >= -1456 @ 5.72037 5.86/5.94 c bounds 0 >= -1455 @ 5.72046 5.86/5.94 c bounds 0 >= -1454 @ 5.72055 5.86/5.94 c bounds 0 >= -1453 @ 5.72064 5.86/5.94 c bounds 0 >= -1452 @ 5.72072 5.86/5.94 c bounds 0 >= -1451 @ 5.72085 5.86/5.94 c bounds 0 >= -1450 @ 5.72095 5.86/5.94 c bounds 0 >= -1449 @ 5.72104 5.86/5.94 c bounds 0 >= -1448 @ 5.72114 5.86/5.94 c bounds 0 >= -1447 @ 5.72124 5.86/5.94 c bounds 0 >= -1446 @ 5.72133 5.86/5.94 c bounds 0 >= -1445 @ 5.72144 5.86/5.94 c bounds 0 >= -1444 @ 5.72155 5.86/5.94 c bounds 0 >= -1443 @ 5.72171 5.86/5.94 c bounds 0 >= -1442 @ 5.72182 5.86/5.94 c bounds 0 >= -1441 @ 5.72192 5.86/5.94 c bounds 0 >= -1440 @ 5.72201 5.86/5.94 c bounds 0 >= -1439 @ 5.7221 5.86/5.94 c bounds 0 >= -1438 @ 5.7222 5.86/5.94 c bounds 0 >= -1437 @ 5.72229 5.86/5.94 c bounds 0 >= -1436 @ 5.72233 5.86/5.94 c bounds 0 >= -1435 @ 5.72233 5.86/5.94 c bounds 0 >= -1434 @ 5.72233 5.86/5.94 c bounds 0 >= -1433 @ 5.72233 5.86/5.94 c bounds 0 >= -1432 @ 5.72233 5.86/5.94 c bounds 0 >= -1431 @ 5.72233 5.86/5.94 c bounds 0 >= -1430 @ 5.72233 5.86/5.94 c bounds 0 >= -1429 @ 5.72233 5.86/5.94 c bounds 0 >= -1428 @ 5.72233 5.86/5.94 c bounds 0 >= -1427 @ 5.72233 5.86/5.94 c bounds 0 >= -1426 @ 5.72233 5.86/5.94 c bounds 0 >= -1425 @ 5.72233 5.86/5.94 c bounds 0 >= -1424 @ 5.72233 5.86/5.94 c bounds 0 >= -1423 @ 5.72233 5.86/5.94 c bounds 0 >= -1422 @ 5.72233 5.86/5.94 c bounds 0 >= -1421 @ 5.72233 5.86/5.94 c bounds 0 >= -1420 @ 5.72233 5.86/5.94 c bounds 0 >= -1419 @ 5.72233 5.86/5.94 c bounds 0 >= -1418 @ 5.72233 5.86/5.94 c bounds 0 >= -1417 @ 5.72239 5.86/5.94 c bounds 0 >= -1416 @ 5.72248 5.86/5.94 c bounds 0 >= -1415 @ 5.72257 5.86/5.94 c bounds 0 >= -1414 @ 5.72267 5.86/5.94 c bounds 0 >= -1413 @ 5.72282 5.86/5.94 c bounds 0 >= -1412 @ 5.72293 5.86/5.94 c bounds 0 >= -1411 @ 5.72303 5.86/5.94 c bounds 0 >= -1410 @ 5.72313 5.86/5.94 c bounds 0 >= -1409 @ 5.72322 5.86/5.94 c bounds 0 >= -1408 @ 5.72331 5.86/5.94 c bounds 0 >= -1407 @ 5.7234 5.86/5.94 c bounds 0 >= -1406 @ 5.72349 5.86/5.94 c bounds 0 >= -1405 @ 5.72358 5.86/5.97 c bounds 0 >= -1404 @ 5.72368 5.86/5.97 c bounds 0 >= -1403 @ 5.72379 5.86/5.97 c bounds 0 >= -1402 @ 5.72391 5.86/5.97 c bounds 0 >= -1401 @ 5.72405 5.86/5.97 c bounds 0 >= -1400 @ 5.72421 5.86/5.97 c bounds 0 >= -1399 @ 5.7243 5.86/5.97 c bounds 0 >= -1398 @ 5.72439 5.86/5.97 c bounds 0 >= -1397 @ 5.72447 5.86/5.97 c bounds 0 >= -1396 @ 5.72455 5.86/5.97 c bounds 0 >= -1395 @ 5.72464 5.86/5.97 c bounds 0 >= -1394 @ 5.72472 5.86/5.97 c bounds 0 >= -1393 @ 5.7248 5.86/5.97 c bounds 0 >= -1392 @ 5.72489 5.86/5.97 c bounds 0 >= -1391 @ 5.72507 5.86/5.97 c bounds 0 >= -1390 @ 5.72517 5.86/5.97 c bounds 0 >= -1389 @ 5.72525 5.86/5.97 c bounds 0 >= -1388 @ 5.72534 5.86/5.97 c bounds 0 >= -1387 @ 5.72542 5.86/5.97 c bounds 0 >= -1386 @ 5.72551 5.86/5.97 c bounds 0 >= -1385 @ 5.72565 5.86/5.97 c bounds 0 >= -1384 @ 5.72575 5.86/5.97 c bounds 0 >= -1383 @ 5.72584 5.86/5.97 c bounds 0 >= -1382 @ 5.72593 5.86/5.97 c bounds 0 >= -1381 @ 5.72602 5.86/5.97 c bounds 0 >= -1380 @ 5.7261 5.86/5.97 c bounds 0 >= -1379 @ 5.72618 5.86/5.97 c bounds 0 >= -1378 @ 5.72625 5.86/5.97 c bounds 0 >= -1377 @ 5.72637 5.86/5.97 c bounds 0 >= -1376 @ 5.7265 5.86/5.97 c bounds -55 >= -1376 @ 5.7317 5.86/5.97 c bounds -55 >= -1375 @ 5.7319 5.86/5.97 c bounds -55 >= -1374 @ 5.73204 5.86/5.97 c bounds -55 >= -1373 @ 5.73223 5.86/5.97 c bounds -55 >= -1372 @ 5.73237 5.86/5.97 c bounds -55 >= -1371 @ 5.73249 5.86/5.97 c bounds -55 >= -1370 @ 5.73259 5.86/5.97 c bounds -55 >= -1369 @ 5.7327 5.86/5.97 c bounds -55 >= -1368 @ 5.73279 5.86/5.97 c bounds -55 >= -1367 @ 5.73289 5.86/5.97 c bounds -55 >= -1366 @ 5.73299 5.86/5.97 c bounds -55 >= -1365 @ 5.73307 5.86/5.97 c bounds -55 >= -1364 @ 5.73322 5.86/5.97 c bounds -55 >= -1363 @ 5.73329 5.86/5.97 c bounds -55 >= -1362 @ 5.73346 5.86/5.97 c bounds -55 >= -1361 @ 5.73368 5.86/5.97 c bounds -55 >= -1360 @ 5.73379 5.86/5.97 c bounds -55 >= -1359 @ 5.7339 5.86/5.97 c bounds -55 >= -1358 @ 5.73401 5.86/5.97 c bounds -55 >= -1357 @ 5.73412 5.86/5.97 c bounds -55 >= -1356 @ 5.73422 5.86/5.97 c bounds -55 >= -1355 @ 5.73433 5.86/5.97 c bounds -55 >= -1354 @ 5.73443 5.86/5.97 c bounds -55 >= -1353 @ 5.73452 5.86/5.97 c bounds -55 >= -1352 @ 5.7347 5.86/5.97 c bounds -55 >= -1351 @ 5.73478 5.86/5.97 c bounds -55 >= -1350 @ 5.73502 5.86/5.97 c bounds -55 >= -1349 @ 5.73514 5.86/5.97 c bounds -55 >= -1348 @ 5.73526 5.86/5.97 c bounds -55 >= -1347 @ 5.73529 5.86/5.97 c bounds -55 >= -1346 @ 5.73529 5.86/5.97 c bounds -55 >= -1345 @ 5.73529 5.86/5.97 c bounds -55 >= -1344 @ 5.73529 5.86/5.97 c bounds -55 >= -1343 @ 5.73529 5.86/5.97 c bounds -55 >= -1342 @ 5.73529 5.86/5.97 c bounds -55 >= -1341 @ 5.73529 5.86/5.97 c bounds -55 >= -1340 @ 5.73536 5.86/5.97 c bounds -55 >= -1339 @ 5.73555 5.86/5.97 c bounds -55 >= -1338 @ 5.7357 5.86/5.97 c bounds -55 >= -1337 @ 5.73582 5.86/5.97 c bounds -55 >= -1336 @ 5.73596 5.86/5.97 c bounds -55 >= -1335 @ 5.73629 5.86/5.97 c bounds -55 >= -1334 @ 5.73644 5.86/5.97 c bounds -55 >= -1333 @ 5.73657 5.86/5.97 c bounds -55 >= -1332 @ 5.73671 5.86/5.97 c bounds -55 >= -1331 @ 5.73682 5.86/5.97 c bounds -55 >= -1330 @ 5.73693 5.86/5.97 c bounds -55 >= -1329 @ 5.73704 5.86/5.97 c bounds -55 >= -1328 @ 5.73722 5.86/5.97 c bounds -55 >= -1327 @ 5.73729 5.86/5.97 c bounds -55 >= -1326 @ 5.73729 5.86/5.97 c bounds -55 >= -1325 @ 5.73729 5.86/5.97 c bounds -55 >= -1324 @ 5.73729 5.86/5.97 c bounds -110 >= -1324 @ 5.73971 5.86/5.97 c bounds -110 >= -1323 @ 5.74019 5.86/5.97 c bounds -110 >= -1322 @ 5.74034 5.86/5.97 c bounds -110 >= -1321 @ 5.74047 5.86/5.97 c bounds -110 >= -1320 @ 5.74059 5.86/5.97 c bounds -110 >= -1319 @ 5.74071 5.86/5.97 c bounds -110 >= -1318 @ 5.74082 5.86/5.97 c bounds -110 >= -1317 @ 5.74093 5.86/5.97 c bounds -110 >= -1316 @ 5.74118 5.86/5.97 c bounds -110 >= -1315 @ 5.74153 5.86/5.97 c bounds -110 >= -1314 @ 5.74167 5.86/5.97 c bounds -110 >= -1313 @ 5.74185 5.86/5.97 c bounds -110 >= -1312 @ 5.74198 5.86/5.97 c bounds -110 >= -1311 @ 5.74212 5.86/5.97 c bounds -110 >= -1310 @ 5.74224 5.86/5.97 c bounds -110 >= -1309 @ 5.74228 5.86/5.97 c bounds -110 >= -1308 @ 5.74228 5.86/5.97 c bounds -110 >= -1307 @ 5.74228 5.86/5.97 c bounds -110 >= -1306 @ 5.74228 5.86/5.97 c bounds -110 >= -1305 @ 5.74228 5.86/5.97 c bounds -110 >= -1304 @ 5.74228 5.86/5.97 c bounds -110 >= -1303 @ 5.74228 5.86/5.97 c bounds -110 >= -1302 @ 5.74248 5.86/5.97 c bounds -110 >= -1301 @ 5.74264 5.86/5.97 c bounds -110 >= -1300 @ 5.74277 5.86/5.97 c bounds -110 >= -1299 @ 5.7429 5.86/5.97 c bounds -110 >= -1298 @ 5.74301 5.86/5.97 c bounds -110 >= -1297 @ 5.74312 5.86/5.97 c bounds -110 >= -1296 @ 5.74323 5.86/5.97 c bounds -110 >= -1295 @ 5.74345 5.86/5.97 c bounds -165 >= -1295 @ 5.74712 5.86/5.97 c bounds -165 >= -1294 @ 5.74726 5.86/5.97 c bounds -165 >= -1293 @ 5.74726 5.86/5.97 c bounds -165 >= -1292 @ 5.74726 5.86/5.97 c bounds -165 >= -1291 @ 5.74726 5.86/5.97 c bounds -165 >= -1290 @ 5.74726 5.86/5.97 c bounds -165 >= -1289 @ 5.74736 5.86/5.97 c bounds -165 >= -1288 @ 5.74746 5.86/5.97 c bounds -165 >= -1287 @ 5.74772 5.86/5.97 c bounds -165 >= -1286 @ 5.74811 5.86/5.97 c bounds -165 >= -1285 @ 5.74823 5.86/5.97 c bounds -165 >= -1284 @ 5.74838 5.86/5.97 c bounds -165 >= -1283 @ 5.74849 5.86/5.97 c bounds -165 >= -1282 @ 5.74866 5.86/5.97 c bounds -165 >= -1281 @ 5.74877 5.86/5.97 c bounds -165 >= -1280 @ 5.74888 5.86/5.97 c bounds -165 >= -1279 @ 5.74917 108.62/109.05 c bounds -165 >= -1278 @ 5.74937 108.62/109.05 c bounds -165 >= -1277 @ 5.7497 108.62/109.05 c bounds -165 >= -1276 @ 5.74996 108.62/109.05 c bounds -220 >= -1276 @ 5.75332 108.62/109.05 c bounds -220 >= -1275 @ 5.75423 108.62/109.05 c bounds -220 >= -1274 @ 5.75469 108.62/109.05 c bounds -220 >= -1273 @ 5.75527 108.62/109.05 c bounds -220 >= -1272 @ 5.75557 108.62/109.05 c bounds -220 >= -1271 @ 5.75587 108.62/109.05 c bounds -275 >= -1271 @ 5.75919 108.62/109.05 c bounds -275 >= -1270 @ 5.75926 108.62/109.05 c bounds -275 >= -1269 @ 5.75955 108.62/109.05 c bounds -275 >= -1268 @ 5.76008 108.62/109.05 c bounds -275 >= -1267 @ 5.76044 108.62/109.05 c bounds -275 >= -1266 @ 5.76071 108.62/109.05 c bounds -330 >= -1266 @ 5.7644 108.62/109.05 c bounds -330 >= -1265 @ 5.76521 108.62/109.05 c bounds -330 >= -1264 @ 5.76548 108.62/109.05 c bounds -330 >= -1263 @ 5.76571 108.62/109.05 c bounds -330 >= -1262 @ 5.76598 108.62/109.05 c bounds -330 >= -1261 @ 5.7664 108.62/109.05 c bounds -330 >= -1260 @ 5.76676 108.62/109.05 c bounds -330 >= -1259 @ 5.76704 108.62/109.05 c bounds -330 >= -1258 @ 5.76727 108.62/109.05 c bounds -330 >= -1257 @ 5.76745 108.62/109.05 c bounds -330 >= -1256 @ 5.76766 108.62/109.05 c bounds -330 >= -1255 @ 5.76796 108.62/109.05 c bounds -385 >= -1255 @ 5.77085 108.62/109.05 c bounds -385 >= -1254 @ 5.77123 108.62/109.05 c bounds -385 >= -1253 @ 5.77141 108.62/109.05 c bounds -385 >= -1252 @ 5.77185 108.62/109.05 c bounds -385 >= -1251 @ 5.7722 108.62/109.05 c bounds -385 >= -1250 @ 5.77297 108.62/109.05 c bounds -385 >= -1249 @ 5.7732 108.62/109.05 c bounds -440 >= -1249 @ 5.77685 108.62/109.05 c bounds -440 >= -1248 @ 5.77821 108.62/109.05 c bounds -440 >= -1247 @ 5.7818 108.62/109.05 c bounds -495 >= -1247 @ 5.78561 108.62/109.05 c bounds -495 >= -1246 @ 5.78916 108.62/109.05 c bounds -532 >= -1246 @ 5.79215 108.62/109.05 c bounds -532 >= -1245 @ 5.79321 108.62/109.05 c bounds -532 >= -1244 @ 5.79599 108.62/109.05 c bounds -569 >= -1244 @ 5.80388 108.62/109.05 c bounds -569 >= -1243 @ 5.80628 108.62/109.05 c bounds -569 >= -1242 @ 5.81101 108.62/109.05 c bounds -602 >= -1242 @ 5.81992 108.62/109.05 c bounds -602 >= -1241 @ 5.82307 108.62/109.05 c bounds -635 >= -1241 @ 5.82902 108.62/109.05 c bounds -635 >= -1240 @ 5.83019 108.62/109.05 c bounds -635 >= -1239 @ 5.83726 108.62/109.05 c bounds -668 >= -1239 @ 5.84279 108.62/109.05 c bounds -668 >= -1238 @ 5.84608 108.62/109.05 c bounds -695 >= -1238 @ 5.85427 108.62/109.05 c bounds -695 >= -1237 @ 5.86113 108.62/109.05 c bounds -722 >= -1237 @ 5.86781 108.62/109.05 c bounds -722 >= -1236 @ 5.88238 108.62/109.05 c bounds -751 >= -1236 @ 5.88763 108.62/109.05 c bounds -780 >= -1236 @ 5.89226 108.62/109.05 c bounds -809 >= -1236 @ 5.91768 108.62/109.05 c bounds -809 >= -1235 @ 5.9259 108.62/109.05 c bounds -844 >= -1235 @ 5.93909 108.62/109.05 c bounds -844 >= -1234 @ 5.9589 108.62/109.05 c bounds -863 >= -1234 @ 5.97599 108.62/109.05 c bounds -882 >= -1234 @ 5.98115 108.62/109.05 c bounds -901 >= -1234 @ 5.98509 108.62/109.05 c bounds -901 >= -1233 @ 6.00162 108.62/109.05 c bounds -910 >= -1233 @ 6.01019 108.62/109.05 c bounds -919 >= -1233 @ 6.05056 108.62/109.05 c bounds -919 >= -1232 @ 6.08308 108.62/109.05 c bounds -928 >= -1232 @ 6.0904 108.62/109.05 c #Conflicts: 1000 | #Constraints: 187072 108.62/109.05 c bounds -943 >= -1232 @ 6.29107 108.62/109.05 c bounds -943 >= -1231 @ 6.32309 108.62/109.05 c bounds -948 >= -1231 @ 6.33053 108.62/109.05 c bounds -953 >= -1231 @ 6.40187 108.62/109.05 c bounds -953 >= -1230 @ 6.4261 108.62/109.05 c bounds -958 >= -1230 @ 6.43232 108.62/109.05 c bounds -963 >= -1230 @ 6.43508 108.62/109.05 c bounds -968 >= -1230 @ 6.48777 108.62/109.05 c #Conflicts: 2000 | #Constraints: 188181 108.62/109.05 c INPROCESSING 108.62/109.05 c bounds -969 >= -1230 @ 40.3626 108.62/109.05 c bounds -972 >= -1230 @ 41.003 108.62/109.05 c bounds -972 >= -1229 @ 41.0444 108.62/109.05 c #Conflicts: 3000 | #Constraints: 188206 108.62/109.05 c bounds -972 >= -1228 @ 41.2077 108.62/109.05 c bounds -973 >= -1228 @ 41.2381 108.62/109.05 c bounds -976 >= -1228 @ 41.2438 108.62/109.05 c bounds -979 >= -1228 @ 41.2468 108.62/109.05 c bounds -982 >= -1228 @ 41.2498 108.62/109.05 c bounds -985 >= -1228 @ 41.2537 108.62/109.05 c #Conflicts: 4000 | #Constraints: 189258 108.62/109.05 c INPROCESSING 108.62/109.05 c GARBAGE COLLECT 108.62/109.05 c bounds -994 >= -1228 @ 42.2722 108.62/109.05 c #Conflicts: 5000 | #Constraints: 188642 108.62/109.05 c bounds -994 >= -1227 @ 42.3744 108.62/109.05 c bounds -1005 >= -1227 @ 42.3841 108.62/109.05 c bounds -1016 >= -1227 @ 42.4054 108.62/109.05 c bounds -1027 >= -1227 @ 42.497 108.62/109.05 c bounds -1032 >= -1227 @ 42.8563 108.62/109.05 c #Conflicts: 6000 | #Constraints: 189687 108.62/109.05 c INPROCESSING 108.62/109.05 c GARBAGE COLLECT 108.62/109.05 c bounds -1037 >= -1227 @ 100.911 108.62/109.05 c bounds -1042 >= -1227 @ 100.917 108.62/109.05 c bounds -1047 >= -1227 @ 100.929 108.62/109.05 c bounds -1052 >= -1227 @ 100.937 108.62/109.05 c #Conflicts: 7000 | #Constraints: 188725 108.62/109.05 c bounds -1065 >= -1227 @ 101.419 108.62/109.05 c #Conflicts: 8000 | #Constraints: 189726 108.62/109.05 c bounds -1078 >= -1227 @ 103.703 108.62/109.05 c #Conflicts: 9000 | #Constraints: 190727 108.62/109.05 c bounds -1078 >= -1226 @ 103.92 108.62/109.05 c bounds -1089 >= -1226 @ 104.014 108.62/109.05 c #Conflicts: 10000 | #Constraints: 191778 108.62/109.05 c #Conflicts: 11000 | #Constraints: 192778 108.62/109.05 c #Conflicts: 12000 | #Constraints: 193778 108.62/109.05 c INPROCESSING 108.62/109.05 c GARBAGE COLLECT 219.14/219.94 c rational objective -1210 266.60/267.53 c #Conflicts: 13000 | #Constraints: 190657 266.60/267.53 c #Conflicts: 14000 | #Constraints: 191657 266.60/267.53 c bounds -1089 >= -1225 @ 218.785 266.60/267.53 c #Conflicts: 15000 | #Constraints: 192689 266.60/267.53 c #Conflicts: 16000 | #Constraints: 193689 266.60/267.53 c INPROCESSING 266.60/267.53 c GARBAGE COLLECT 266.60/267.53 c #Conflicts: 17000 | #Constraints: 190812 266.60/267.53 c #Conflicts: 18000 | #Constraints: 191812 266.60/267.53 c #Conflicts: 19000 | #Constraints: 192812 266.60/267.53 c #Conflicts: 20000 | #Constraints: 193812 266.60/267.53 c INPROCESSING 266.60/267.53 c GARBAGE COLLECT 266.60/267.53 c #Conflicts: 21000 | #Constraints: 190905 266.60/267.53 c #Conflicts: 22000 | #Constraints: 191905 266.60/267.53 c bounds -1089 >= -1224 @ 229.46 266.60/267.53 c #Conflicts: 23000 | #Constraints: 192937 266.60/267.53 c #Conflicts: 24000 | #Constraints: 193937 266.60/267.53 c INPROCESSING 266.60/267.53 c GARBAGE COLLECT 266.60/267.53 c #Conflicts: 25000 | #Constraints: 190923 266.60/267.53 c #Conflicts: 26000 | #Constraints: 191923 266.60/267.53 c #Conflicts: 27000 | #Constraints: 192923 266.60/267.53 c #Conflicts: 28000 | #Constraints: 193923 266.60/267.53 c #Conflicts: 29000 | #Constraints: 194923 266.60/267.53 c #Conflicts: 30000 | #Constraints: 195923 266.60/267.53 WSVECS04 Frhs2[1]: 6 -0.974047 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[3]: 6 0 0.199624 shouldn't be 266.60/267.53 WSVECS04 Frhs2[4]: 6 0 1.6701 shouldn't be 266.60/267.53 WSVECS04 Frhs2[19]: 6 -2.75908 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[24]: 6 0 0.409893 shouldn't be 266.60/267.53 WSVECS04 Frhs2[36]: 6 0 0.0250602 shouldn't be 266.60/267.53 WSVECS04 Frhs2[40]: 6 0 1.00002 shouldn't be 266.60/267.53 WSVECS04 Frhs2[43]: 6 -0.413068 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[46]: 6 0 2.00003 shouldn't be 266.60/267.53 WSVECS04 Frhs2[56]: 6 -1.10871 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[57]: 6 0 1.06557 shouldn't be 266.60/267.53 WSVECS04 Frhs2[66]: 6 0 1.00004 shouldn't be 266.60/267.53 WSVECS04 Frhs2[69]: 6 0 0.0531223 shouldn't be 266.60/267.53 WSVECS04 Frhs2[71]: 6 0 0.50136 shouldn't be 266.60/267.53 WSVECS04 Frhs2[72]: 6 0 2.00003 shouldn't be 266.60/267.53 WSVECS04 Frhs2[93]: 6 0 0.806371 shouldn't be 266.60/267.53 WSVECS04 Frhs2[105]: 6 0 1.82956 shouldn't be 266.60/267.53 WSVECS04 Frhs2[111]: 6 0 0.269394 shouldn't be 266.60/267.53 WSVECS04 Frhs2[125]: 6 0 0.513108 shouldn't be 266.60/267.53 WSVECS04 Frhs2[128]: 6 -0.967978 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[132]: 6 0 1.00005 shouldn't be 266.60/267.53 WSVECS04 Frhs2[134]: 6 0 2.07968 shouldn't be 266.60/267.53 WSVECS04 Frhs2[135]: 6 0 0.590213 shouldn't be 266.60/267.53 WSVECS04 Frhs2[136]: 6 -0.670668 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[138]: 6 0 0.806186 shouldn't be 266.60/267.53 WSVECS04 Frhs2[144]: 6 0 0.655754 shouldn't be 266.60/267.53 WSVECS04 Frhs2[152]: 6 0 1.00008 shouldn't be 266.60/267.53 WSVECS04 Frhs2[158]: 6 0 0.658683 shouldn't be 266.60/267.53 WSVECS04 Frhs2[170]: 6 0 1.00002 shouldn't be 266.60/267.53 WSVECS04 Frhs2[182]: 6 0 1.00009 shouldn't be 266.60/267.53 WSVECS04 Frhs2[185]: 6 -1.00007 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[193]: 6 0 0.341441 shouldn't be 266.60/267.53 WSVECS04 Frhs2[201]: 6 0 1.00004 shouldn't be 266.60/267.53 WSVECS04 Frhs2[217]: 6 0 0.265066 shouldn't be 266.60/267.53 WSVECS04 Frhs2[219]: 6 0 0.0502794 shouldn't be 266.60/267.53 WSVECS04 Frhs2[221]: 6 -0.154072 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[224]: 6 -0.155147 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[225]: 6 0 1.00002 shouldn't be 266.60/267.53 WSVECS04 Frhs2[229]: 6 0 1.00003 shouldn't be 266.60/267.53 WSVECS04 Frhs2[237]: 6 0 0.304292 shouldn't be 266.60/267.53 WSVECS04 Frhs2[243]: 6 0 1.00008 shouldn't be 266.60/267.53 WSVECS04 Frhs2[244]: 6 -0.551145 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[246]: 6 0 1.29084 shouldn't be 266.60/267.53 WSVECS04 Frhs2[258]: 6 -0.0620414 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[270]: 6 -0.372579 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[272]: 6 -0.501875 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[273]: 6 -0.6342 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[274]: 6 0 1.00006 shouldn't be 266.60/267.53 WSVECS04 Frhs2[280]: 6 0 1.00005 shouldn't be 266.60/267.53 WSVECS04 Frhs2[283]: 6 0 0.698423 shouldn't be 266.60/267.53 WSVECS04 Frhs2[288]: 6 0 0.108622 shouldn't be 266.60/267.53 WSVECS04 Frhs2[289]: 6 0 1.77817 shouldn't be 266.60/267.53 WSVECS04 Frhs2[299]: 6 -0.432912 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[313]: 6 0 1.00004 shouldn't be 266.60/267.53 WSVECS04 Frhs2[315]: 6 -2.05507 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[318]: 6 0 1.0499 shouldn't be 266.60/267.53 WSVECS04 Frhs2[323]: 6 0 1.00003 shouldn't be 266.60/267.53 WSVECS04 Frhs2[329]: 6 0 1.99303 shouldn't be 266.60/267.53 WSVECS04 Frhs2[332]: 6 0 1.00008 shouldn't be 266.60/267.53 WSVECS04 Frhs2[354]: 6 0 0.0208879 shouldn't be 266.60/267.53 WSVECS04 Frhs2[357]: 6 0 1.00002 shouldn't be 266.60/267.53 WSVECS04 Frhs2[359]: 6 0 0.330022 shouldn't be 266.60/267.53 WSVECS04 Frhs2[361]: 6 -0.550381 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[365]: 6 0 1.6524 shouldn't be 266.60/267.53 WSVECS04 Frhs2[371]: 6 0 1.00009 shouldn't be 266.60/267.53 WSVECS04 Frhs2[385]: 6 0 1.00004 shouldn't be 266.60/267.53 WSVECS04 Frhs2[386]: 6 -2.00004 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[388]: 6 -0.858035 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[390]: 6 0 0.862934 shouldn't be 266.60/267.53 WSVECS04 Frhs2[403]: 6 0 1.00003 shouldn't be 266.60/267.53 WSVECS04 Frhs2[409]: 6 0 0.670117 shouldn't be 266.60/267.53 WSVECS04 Frhs2[411]: 6 0 0.627193 shouldn't be 266.60/267.53 WSVECS04 Frhs2[415]: 6 0 1.28799 shouldn't be 266.60/267.53 WSVECS04 Frhs2[416]: 6 -0.813903 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[417]: 6 0 1.08186 shouldn't be 266.60/267.53 WSVECS04 Frhs2[429]: 6 0 0.0963827 shouldn't be 266.60/267.53 WSVECS04 Frhs2[432]: 6 0 1.00005 shouldn't be 266.60/267.53 WSVECS04 Frhs2[435]: 6 0 1.00008 shouldn't be 266.60/267.53 WSVECS04 Frhs2[450]: 6 0 0.782855 shouldn't be 266.60/267.53 WSVECS04 Frhs2[451]: 6 -0.428211 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[456]: 6 0 1.29391 shouldn't be 266.60/267.53 WSVECS04 Frhs2[461]: 6 -1.00732 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[465]: 6 -2.41327 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[467]: 6 -1.11353 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[469]: 6 -2.8151 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[471]: 6 0 0.735103 shouldn't be 266.60/267.53 WSVECS04 Frhs2[482]: 6 0 0.783242 shouldn't be 266.60/267.53 WSVECS04 Frhs2[494]: 6 -2.64144 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[495]: 6 0 0.925002 shouldn't be 266.60/267.53 WSVECS04 Frhs2[503]: 6 0 0.409922 shouldn't be 266.60/267.53 WSVECS04 Frhs2[506]: 6 0 1.00009 shouldn't be 266.60/267.53 WSVECS04 Frhs2[507]: 6 0 1.00006 shouldn't be 266.60/267.53 WSVECS04 Frhs2[508]: 6 -0.0235197 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[509]: 6 0 1.00008 shouldn't be 266.60/267.53 WSVECS04 Frhs2[512]: 6 -0.0258285 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[519]: 6 0 0.325218 shouldn't be 266.60/267.53 WSVECS04 Frhs2[525]: 6 0 1.27993 shouldn't be 266.60/267.53 WSVECS04 Frhs2[527]: 6 0 1.00006 shouldn't be 266.60/267.53 WSVECS04 Frhs2[534]: 6 0 0.626069 shouldn't be 266.60/267.53 WSVECS04 Frhs2[537]: 6 0 1.00007 shouldn't be 266.60/267.53 WSVECS04 Frhs2[548]: 6 -1.0001 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[550]: 6 0 0.391634 shouldn't be 266.60/267.53 WSVECS04 Frhs2[555]: 6 0 0.153015 shouldn't be 266.60/267.53 WSVECS04 Frhs2[571]: 6 -0.225012 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[580]: 6 0 1.00004 shouldn't be 266.60/267.53 WSVECS04 Frhs2[592]: 6 0 1.00006 shouldn't be 266.60/267.53 WSVECS04 Frhs2[596]: 6 -0.570289 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[599]: 6 -0.173755 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[618]: 6 -1.35806 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[627]: 6 -2.09641 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[629]: 6 0 0.478811 shouldn't be 266.60/267.53 WSVECS04 Frhs2[644]: 6 -0.338073 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[649]: 6 0 1.00004 shouldn't be 266.60/267.53 WSVECS04 Frhs2[650]: 6 -1.00001 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[653]: 6 0 1.00005 shouldn't be 266.60/267.53 WSVECS04 Frhs2[671]: 6 0 1.00003 shouldn't be 266.60/267.53 WSVECS04 Frhs2[673]: 6 -0.854031 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[674]: 6 0 1.00005 shouldn't be 266.60/267.53 WSVECS04 Frhs2[678]: 6 0 0.344364 shouldn't be 266.60/267.53 WSVECS04 Frhs2[680]: 6 0 1.4649 shouldn't be 266.60/267.53 WSVECS04 Frhs2[681]: 6 0 1.00009 shouldn't be 266.60/267.53 WSVECS04 Frhs2[687]: 6 -0.508317 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[690]: 6 0 0.772461 shouldn't be 266.60/267.53 WSVECS04 Frhs2[698]: 6 0 1.0001 shouldn't be 266.60/267.53 WSVECS04 Frhs2[699]: 6 0 0.629181 shouldn't be 266.60/267.53 WSVECS04 Frhs2[702]: 6 0 0.819388 shouldn't be 266.60/267.53 WSVECS04 Frhs2[712]: 6 -0.244899 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[720]: 6 0 0.0798338 shouldn't be 266.60/267.53 WSVECS04 Frhs2[721]: 6 -0.142023 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[726]: 6 0 0.805094 shouldn't be 266.60/267.53 WSVECS04 Frhs2[729]: 6 0 1.00006 shouldn't be 266.60/267.53 WSVECS04 Frhs2[735]: 6 0 1.00003 shouldn't be 266.60/267.53 WSVECS04 Frhs2[741]: 6 0 0.712904 shouldn't be 266.60/267.53 WSVECS04 Frhs2[749]: 6 -1.98407 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[754]: 6 0 1.00006 shouldn't be 266.60/267.53 WSVECS04 Frhs2[755]: 6 -0.382077 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[761]: 6 -2.21843 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[766]: 6 0 1.00005 shouldn't be 266.60/267.53 WSVECS04 Frhs2[771]: 6 0 1.45456 shouldn't be 266.60/267.53 WSVECS04 Frhs2[776]: 6 0 1.02801 shouldn't be 266.60/267.53 WSVECS04 Frhs2[783]: 6 0 1.4358 shouldn't be 266.60/267.53 WSVECS04 Frhs2[786]: 6 0 1.12749 shouldn't be 266.60/267.53 WSVECS04 Frhs2[791]: 6 0 0.271783 shouldn't be 266.60/267.53 WSVECS04 Frhs2[796]: 6 -0.809014 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[801]: 6 0 0.0798888 shouldn't be 266.60/267.53 WSVECS04 Frhs2[807]: 6 0 1.89879 shouldn't be 266.60/267.53 WSVECS04 Frhs2[815]: 6 0 0.155829 shouldn't be 266.60/267.53 WSVECS04 Frhs2[871]: 6 0 0.101632 shouldn't be 266.60/267.53 WSVECS04 Frhs2[876]: 6 0 0.0372815 shouldn't be 266.60/267.53 WSVECS04 Frhs2[877]: 6 -0.0549732 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[901]: 6 0 0.702273 shouldn't be 266.60/267.53 WSVECS04 Frhs2[908]: 6 -0.770724 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[912]: 6 0 0.342689 shouldn't be 266.60/267.53 WSVECS04 Frhs2[915]: 6 0 1.31786 shouldn't be 266.60/267.53 WSVECS04 Frhs2[926]: 6 -2.49492 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[928]: 6 0 1.49487 shouldn't be 266.60/267.53 WSVECS04 Frhs2[932]: 6 0 0.244146 shouldn't be 266.60/267.53 WSVECS04 Frhs2[934]: 6 0 1.14861 shouldn't be 266.60/267.53 WSVECS04 Frhs2[953]: 6 -1.06637 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[955]: 6 0 1.00006 shouldn't be 266.60/267.53 WSVECS04 Frhs2[957]: 6 -1.35295 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[971]: 6 0 1.00004 shouldn't be 266.60/267.53 WSVECS04 Frhs2[976]: 6 -0.0372444 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[978]: 6 0 1.00003 shouldn't be 266.60/267.53 WSVECS04 Frhs2[983]: 6 0 2.00001 shouldn't be 266.60/267.53 WSVECS04 Frhs2[984]: 6 0 1.00005 shouldn't be 266.60/267.53 WSVECS04 Frhs2[991]: 6 -0.571894 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[993]: 6 0 0.27238 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1000]: 6 -1.20077 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1005]: 6 0 0.0310115 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1013]: 6 0 1.00007 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1016]: 6 -0.806345 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1025]: 6 -0.489306 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1027]: 6 0 1.0001 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1033]: 6 0 1.00006 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1035]: 6 0 1.70634 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1037]: 6 0 1.50138 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1038]: 6 0 2.08479 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1039]: 6 0 0.298298 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1041]: 6 0 0.826 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1048]: 6 -0.108588 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1050]: 6 0 0.658926 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1056]: 6 0 1.6602 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1057]: 6 0 1.00006 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1063]: 6 0 1.33991 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1066]: 6 -0.358846 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1070]: 6 0 0.302293 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1071]: 6 0 1.00006 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1076]: 6 0 0.344369 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1078]: 6 -3.00001 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1080]: 6 0 1.00008 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1084]: 6 -1.46252 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1086]: 6 0 0.297089 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1089]: 6 0 1.00009 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1093]: 6 -0.928364 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1100]: 6 0 0.024651 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1110]: 6 0 1.44611 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1112]: 6 0 1.02813 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1113]: 6 0 0.82956 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1115]: 6 0 0.504342 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1116]: 6 0 1.00003 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1120]: 6 -0.2518 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1121]: 6 0 0.510785 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1122]: 6 0 1.39135 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1125]: 6 0 1.00007 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1134]: 6 0 1.00009 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1139]: 6 0 0.858048 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1150]: 6 -1.00002 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1164]: 6 0 0.848549 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1167]: 6 0 0.389192 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1177]: 6 -0.977686 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1191]: 6 0 0.42399 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1192]: 6 0 0.726006 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1217]: 6 -0.0616554 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1226]: 6 0 1.00004 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1228]: 6 -1.00003 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1240]: 6 -0.933225 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1243]: 6 -0.854046 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1244]: 6 0 0.080628 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1245]: 6 0 1.60848 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1247]: 6 -0.00560655 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1251]: 6 0 0.108602 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1252]: 6 -0.12211 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1260]: 6 0 0.108561 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1262]: 6 0 0.96963 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1271]: 6 -0.935041 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1274]: 6 0 1.10447 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1277]: 6 -2.41609 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1278]: 6 0 0.990237 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1289]: 6 -2.31929 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1298]: 6 0 0.848534 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1302]: 6 0 0.435855 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1310]: 6 -0.435845 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1314]: 6 0 0.180683 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1320]: 6 0 0.620655 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1335]: 6 0 0.633558 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1337]: 6 0 0.940889 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1341]: 6 0 1.00006 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1346]: 6 -1.79318 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1353]: 6 0 0.455261 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1356]: 6 0 1.00003 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1360]: 6 -0.726751 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1365]: 6 0 1.00005 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1372]: 6 -0.0234619 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1378]: 6 -1.00002 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1388]: 6 0 1.00008 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1393]: 6 -1.18069 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1397]: 6 -2.48933 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1399]: 6 -0.177052 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1404]: 6 0 1.0001 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1409]: 6 -0.370893 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1412]: 6 -0.860324 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1417]: 6 0 0.649394 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1421]: 6 -0.112107 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1429]: 6 0 1.00004 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1440]: 6 0 0.501936 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1444]: 6 0 1.00005 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1445]: 6 -1.00005 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1446]: 6 -0.770782 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1447]: 6 0 1.69785 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1450]: 6 0 1.00003 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1454]: 6 0 1.15155 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1465]: 6 0 1.00006 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1471]: 6 0 0.173909 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1482]: 6 0 1.00009 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1483]: 6 -0.142703 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1487]: 6 0 1.00009 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1488]: 6 -0.528872 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1495]: 6 -1.5267 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1498]: 6 -0.971916 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1502]: 6 -0.500021 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1508]: 6 -0.021636 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1514]: 6 -0.21867 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1516]: 6 -1.00004 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1518]: 6 0 0.384539 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1524]: 6 0 0.922741 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1536]: 6 0 1.59972 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1542]: 6 0 0.42399 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1543]: 6 0 1.55706 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1545]: 6 0 1.06184 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1554]: 6 0 0.860354 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1589]: 6 0 1.12626 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1602]: 6 0 0.770763 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1609]: 6 -0.177049 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1613]: 6 0 0.947717 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1616]: 6 -0.555333 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1627]: 6 -1.02246 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1629]: 6 0 1.00006 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1630]: 6 0 0.805106 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1632]: 6 0 0.924957 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1644]: 6 0 1.00005 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1651]: 6 0 0.0618914 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1653]: 6 0 1.04907 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1654]: 6 0 1.81274 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1672]: 6 0 1.00007 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1681]: 6 -0.430108 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1689]: 6 0 1.00005 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1705]: 6 -1.08109 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1712]: 6 0 0.188655 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1714]: 6 0 1.00008 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1715]: 6 -0.28 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1717]: 6 -1.21368 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1721]: 6 -0.0345778 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1726]: 6 0 1.00008 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1731]: 6 0 2.62952 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1738]: 6 0 3.62954 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1752]: 6 0 1.68512 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1757]: 6 0 1.24411 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1763]: 6 0 0.912459 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1767]: 6 0 1.63536 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1769]: 6 0 1.00003 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1776]: 6 -1.69855 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1783]: 6 0 0.099221 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1792]: 6 0 0.186294 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1807]: 6 0 1.86429 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1815]: 6 0 0.242637 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1827]: 6 -0.732855 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1840]: 6 0 1.00008 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1843]: 6 0 0.510781 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1847]: 6 0 1.00002 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1860]: 6 0 1.00008 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1872]: 6 0 1.11227 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1875]: 6 0 0.366165 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1876]: 6 -0.305602 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1884]: 6 0 0.730225 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1899]: 6 0 1.00009 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1901]: 6 -1.0013 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1902]: 6 0 0.694615 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1916]: 6 -1.25585 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1923]: 6 0 0.0727593 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1934]: 6 -0.115954 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1945]: 6 -0.267076 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1950]: 6 0 1.00003 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1969]: 6 0 0.203605 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1974]: 6 -0.106668 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1976]: 6 0 1.49487 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1977]: 6 0 0.864344 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1981]: 6 -0.00105888 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[1983]: 6 0 0.155975 shouldn't be 266.60/267.53 WSVECS04 Frhs2[2004]: 6 0 1.42181 shouldn't be 266.60/267.53 WSVECS04 Frhs2[2012]: 6 -0.00133576 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[2020]: 6 -1.00004 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[2031]: 6 0 0.550791 shouldn't be 266.60/267.53 WSVECS04 Frhs2[2036]: 6 0 0.0310259 shouldn't be 266.60/267.53 WSVECS04 Frhs2[2041]: 6 0 0.816566 shouldn't be 266.60/267.53 WSVECS04 Frhs2[2049]: 6 0 1.20148 shouldn't be 266.60/267.53 WSVECS04 Frhs2[2059]: 6 0 1.0001 shouldn't be 266.60/267.53 WSVECS04 Frhs2[2061]: 6 -0.197082 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[2070]: 6 0 0.493424 shouldn't be 266.60/267.53 WSVECS04 Frhs2[2088]: 6 0 0.509653 shouldn't be 266.60/267.53 WSVECS04 Frhs2[2100]: 6 0 0.504139 shouldn't be 266.60/267.53 WSVECS04 Frhs2[2108]: 6 -0.437124 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[2119]: 6 0 1.00001 shouldn't be 266.60/267.53 WSVECS04 Frhs2[2123]: 6 0 1.69891 shouldn't be 266.60/267.53 WSVECS04 Frhs2[2128]: 6 -1.6544 0 shouldn't be 266.60/267.53 WSVECS04 Frhs2[2143]: 6 0 1.00002 shouldn't be 279.35/280.33 WSVECS04 Frhs2[287]: 6 -0.524317 0 shouldn't be 279.35/280.33 WSVECS04 Frhs2[331]: 6 -0.55575 0 shouldn't be 279.35/280.33 WSVECS04 Frhs2[564]: 6 0 1.00009 shouldn't be 279.35/280.33 WSVECS04 Frhs2[597]: 6 0 0.730173 shouldn't be 279.35/280.33 WSVECS04 Frhs2[603]: 6 0 1.03049 shouldn't be 279.35/280.33 WSVECS04 Frhs2[747]: 6 0 1.53824 shouldn't be 279.35/280.33 WSVECS04 Frhs2[948]: 6 -3.95315 0 shouldn't be 279.35/280.33 WSVECS04 Frhs2[958]: 6 0 0.47881 shouldn't be 279.35/280.33 WSVECS04 Frhs2[961]: 6 0 1.00007 shouldn't be 279.35/280.33 WSVECS04 Frhs2[1068]: 6 0 1.01284 shouldn't be 279.35/280.33 WSVECS04 Frhs2[1193]: 6 -1.73512 0 shouldn't be 279.35/280.33 WSVECS04 Frhs2[1213]: 6 -4.01674 0 shouldn't be 279.35/280.33 WSVECS04 Frhs2[1564]: 6 -0.754823 0 shouldn't be 279.35/280.33 WSVECS04 Frhs2[1850]: 6 -0.697821 0 shouldn't be 279.35/280.33 WSVECS04 Frhs2[2112]: 6 0 1.00009 shouldn't be 291.81/292.80 WSVECS04 Frhs2[164]: 6 0 1.62393 shouldn't be 291.81/292.80 WSVECS04 Frhs2[486]: 6 0 1.00006 shouldn't be 291.81/292.80 WSVECS04 Frhs2[765]: 6 0 1.46086 shouldn't be 291.81/292.80 WSVECS04 Frhs2[795]: 6 0 0.248612 shouldn't be 291.81/292.80 WSVECS04 Frhs2[879]: 6 0 1.00009 shouldn't be 291.81/292.80 WSVECS04 Frhs2[1137]: 6 0 1.00005 shouldn't be 291.81/292.80 WSVECS04 Frhs2[1775]: 6 0 1.00004 shouldn't be 291.81/292.80 WSVECS04 Frhs2[1993]: 6 -0.285055 0 shouldn't be 304.38/305.47 WSVECS04 Frhs2[10]: 6 0 1.00009 shouldn't be 304.38/305.47 WSVECS04 Frhs2[340]: 6 -0.513805 0 shouldn't be 304.38/305.47 WSVECS04 Frhs2[753]: 6 0 1.00001 shouldn't be 304.38/305.47 WSVECS04 Frhs2[1571]: 6 -0.201853 0 shouldn't be 304.38/305.47 WSVECS04 Frhs2[1938]: 6 0 1.00007 shouldn't be 304.38/305.47 WSVECS04 Frhs2[2139]: 6 0 2.3412 shouldn't be 319.04/320.14 WSVECS04 Frhs2[335]: 6 0 1.00007 shouldn't be 319.04/320.14 WSVECS04 Frhs2[526]: 6 -0.80903 0 shouldn't be 319.04/320.14 WSVECS04 Frhs2[639]: 6 -0.962857 0 shouldn't be 319.04/320.14 WSVECS04 Frhs2[1411]: 6 0 0.142069 shouldn't be 319.04/320.14 WSVECS04 Frhs2[1424]: 6 -1.00007 0 shouldn't be 319.04/320.14 WSVECS04 Frhs2[1820]: 6 -1.58727 0 shouldn't be 335.99/337.10 WSVECS04 Frhs2[739]: 6 -0.543388 0 shouldn't be 335.99/337.10 WSVECS04 Frhs2[1146]: 6 0 0.339597 shouldn't be 335.99/337.10 WSVECS04 Frhs2[2109]: 6 0 1.00008 shouldn't be 352.34/353.56 WSVECS04 Frhs2[1917]: 6 0 1.00005 shouldn't be 367.48/368.79 WSVECS04 Frhs2[38]: 6 0 3.1428 shouldn't be 367.48/368.79 WSVECS04 Frhs2[784]: 6 -0.506671 0 shouldn't be 384.23/385.52 WSVECS04 Frhs2[1758]: 6 0 1.00007 shouldn't be 465.98/467.54 WSVECS04 Frhs2[531]: 6 0 1.02239 shouldn't be 1721.81/1727.78 c #Conflicts: 31000 | #Constraints: 196923 1721.81/1727.78 c #Conflicts: 32000 | #Constraints: 197923 1721.81/1727.78 c #Conflicts: 33000 | #Constraints: 198923 1721.81/1727.78 c #Conflicts: 34000 | #Constraints: 199923 1721.81/1727.78 c bounds -1089 >= -1223 @ 482.529 1721.81/1727.78 c #Conflicts: 35000 | #Constraints: 200997 1721.81/1727.78 c #Conflicts: 36000 | #Constraints: 201997 1721.81/1727.78 c INPROCESSING 1721.81/1727.78 c GARBAGE COLLECT 1721.81/1727.78 c #Conflicts: 37000 | #Constraints: 195265 1721.81/1727.78 c #Conflicts: 38000 | #Constraints: 196265 1721.81/1727.78 c #Conflicts: 39000 | #Constraints: 197265 1721.81/1727.78 c #Conflicts: 40000 | #Constraints: 198265 1721.81/1727.78 c #Conflicts: 41000 | #Constraints: 199265 1721.81/1727.78 c INPROCESSING 1721.81/1727.78 c GARBAGE COLLECT 1721.81/1727.78 c #Conflicts: 42000 | #Constraints: 193701 1721.81/1727.78 c #Conflicts: 43000 | #Constraints: 194701 1721.81/1727.78 c #Conflicts: 44000 | #Constraints: 195701 1721.81/1727.78 c #Conflicts: 45000 | #Constraints: 196701 1721.81/1727.78 c #Conflicts: 46000 | #Constraints: 197701 1721.81/1727.78 c #Conflicts: 47000 | #Constraints: 198701 1721.81/1727.78 c #Conflicts: 48000 | #Constraints: 199701 1721.81/1727.78 c #Conflicts: 49000 | #Constraints: 200701 1721.81/1727.78 c #Conflicts: 50000 | #Constraints: 201701 1721.81/1727.78 c #Conflicts: 51000 | #Constraints: 202701 1721.81/1727.78 c #Conflicts: 52000 | #Constraints: 203701 1721.81/1727.78 c #Conflicts: 53000 | #Constraints: 204701 1721.81/1727.78 c #Conflicts: 54000 | #Constraints: 205701 1721.81/1727.78 c #Conflicts: 55000 | #Constraints: 206701 1721.81/1727.78 c #Conflicts: 56000 | #Constraints: 207701 1721.81/1727.78 c INPROCESSING 1721.81/1727.78 c GARBAGE COLLECT 1721.81/1727.78 c #Conflicts: 57000 | #Constraints: 198121 1721.81/1727.78 c #Conflicts: 58000 | #Constraints: 199121 1721.81/1727.78 c #Conflicts: 59000 | #Constraints: 200121 1721.81/1727.78 c #Conflicts: 60000 | #Constraints: 201121 1721.81/1727.78 c #Conflicts: 61000 | #Constraints: 202121 1721.81/1727.78 c #Conflicts: 62000 | #Constraints: 203121 1721.81/1727.78 c INPROCESSING 1721.81/1727.78 c GARBAGE COLLECT 1721.81/1727.78 c #Conflicts: 63000 | #Constraints: 195554 1721.81/1727.78 c #Conflicts: 64000 | #Constraints: 196554 1721.81/1727.78 c bounds -1089 >= -1222 @ 1664.36 1721.81/1727.78 c #Conflicts: 65000 | #Constraints: 197598 1721.81/1727.78 c #Conflicts: 66000 | #Constraints: 198598 1721.81/1727.78 c #Conflicts: 67000 | #Constraints: 199598 1721.81/1727.78 c #Conflicts: 68000 | #Constraints: 200598 1721.81/1727.78 c bounds -1089 >= -1221 @ 1666.71 1721.81/1727.78 c #Conflicts: 69000 | #Constraints: 201642 1721.81/1727.78 c #Conflicts: 70000 | #Constraints: 202642 1721.81/1727.78 c #Conflicts: 71000 | #Constraints: 203642 1721.81/1727.78 c #Conflicts: 72000 | #Constraints: 204642 1721.81/1727.78 c #Conflicts: 73000 | #Constraints: 205642 1721.81/1727.78 c #Conflicts: 74000 | #Constraints: 206642 1721.81/1727.78 c #Conflicts: 75000 | #Constraints: 207642 1721.81/1727.78 c #Conflicts: 76000 | #Constraints: 208642 1721.81/1727.78 c #Conflicts: 77000 | #Constraints: 209642 1721.81/1727.78 c #Conflicts: 78000 | #Constraints: 210642 1721.81/1727.78 c #Conflicts: 79000 | #Constraints: 211642 1721.81/1727.78 c #Conflicts: 80000 | #Constraints: 212642 1721.81/1727.78 c INPROCESSING 1721.81/1727.78 c GARBAGE COLLECT 1721.81/1727.78 c #Conflicts: 81000 | #Constraints: 200392 1721.81/1727.78 c #Conflicts: 82000 | #Constraints: 201392 1721.81/1727.78 c #Conflicts: 83000 | #Constraints: 202392 1721.81/1727.78 c #Conflicts: 84000 | #Constraints: 203392 1721.81/1727.78 c bounds -1089 >= -1220 @ 1689.74 1721.81/1727.78 c #Conflicts: 85000 | #Constraints: 204427 1721.81/1727.78 c #Conflicts: 86000 | #Constraints: 205427 1721.81/1727.78 c #Conflicts: 87000 | #Constraints: 206427 1721.81/1727.78 c #Conflicts: 88000 | #Constraints: 207427 1721.81/1727.78 c INPROCESSING 1721.81/1727.78 c GARBAGE COLLECT 1721.81/1727.78 c #Conflicts: 89000 | #Constraints: 197781 1721.81/1727.78 c #Conflicts: 90000 | #Constraints: 198781 1721.81/1727.78 c #Conflicts: 91000 | #Constraints: 199781 1721.81/1727.78 c #Conflicts: 92000 | #Constraints: 200781 1721.81/1727.78 c #Conflicts: 93000 | #Constraints: 201781 1721.81/1727.78 c #Conflicts: 94000 | #Constraints: 202781 1721.81/1727.78 c #Conflicts: 95000 | #Constraints: 203781 1721.81/1727.78 c #Conflicts: 96000 | #Constraints: 204781 1721.81/1727.78 c #Conflicts: 97000 | #Constraints: 205781 1721.81/1727.78 c #Conflicts: 98000 | #Constraints: 206781 1721.81/1727.78 c #Conflicts: 99000 | #Constraints: 207781 1721.81/1727.78 c #Conflicts: 100000 | #Constraints: 208781 1721.81/1727.78 c #Conflicts: 101000 | #Constraints: 209781 1721.81/1727.78 c #Conflicts: 102000 | #Constraints: 210781 1721.81/1727.78 c #Conflicts: 103000 | #Constraints: 211781 2813.73/2823.69 c #Conflicts: 104000 | #Constraints: 212781 2813.73/2823.69 c #Conflicts: 105000 | #Constraints: 213781 2813.73/2823.69 c #Conflicts: 106000 | #Constraints: 214781 2813.73/2823.69 c #Conflicts: 107000 | #Constraints: 215781 2813.73/2823.69 c #Conflicts: 108000 | #Constraints: 216781 2813.73/2823.69 c #Conflicts: 109000 | #Constraints: 217781 2813.73/2823.69 c INPROCESSING 2813.73/2823.69 c GARBAGE COLLECT 2813.73/2823.69 c #Conflicts: 110000 | #Constraints: 203156 2813.73/2823.69 c bounds -1089 >= -1219 @ 2720.06 2813.73/2823.69 c #Conflicts: 111000 | #Constraints: 204188 2813.73/2823.69 c #Conflicts: 112000 | #Constraints: 205188 2813.73/2823.69 c #Conflicts: 113000 | #Constraints: 206188 2813.73/2823.69 c #Conflicts: 114000 | #Constraints: 207188 2813.73/2823.69 c #Conflicts: 115000 | #Constraints: 208188 2813.73/2823.69 c bounds -1089 >= -1218 @ 2722.57 2813.73/2823.69 c #Conflicts: 116000 | #Constraints: 209217 2813.73/2823.69 c #Conflicts: 117000 | #Constraints: 210217 2813.73/2823.69 c #Conflicts: 118000 | #Constraints: 211217 2813.73/2823.69 c INPROCESSING 2813.73/2823.69 c GARBAGE COLLECT 2813.73/2823.69 c #Conflicts: 119000 | #Constraints: 200343 2813.73/2823.69 c #Conflicts: 120000 | #Constraints: 201343 2813.73/2823.69 c #Conflicts: 121000 | #Constraints: 202343 2813.73/2823.69 c bounds -1089 >= -1217 @ 2726.29 2813.73/2823.69 c #Conflicts: 122000 | #Constraints: 203396 2813.73/2823.69 c #Conflicts: 123000 | #Constraints: 204396 2813.73/2823.69 c #Conflicts: 124000 | #Constraints: 205396 2813.73/2823.69 c #Conflicts: 125000 | #Constraints: 206396 2813.73/2823.69 c #Conflicts: 126000 | #Constraints: 207396 2813.73/2823.69 c #Conflicts: 127000 | #Constraints: 208396 2813.73/2823.69 c #Conflicts: 128000 | #Constraints: 209396 2813.73/2823.69 c #Conflicts: 129000 | #Constraints: 210396 2813.73/2823.69 c #Conflicts: 130000 | #Constraints: 211396 2813.73/2823.69 c bounds -1089 >= -1216 @ 2732.6 2813.73/2823.69 c #Conflicts: 131000 | #Constraints: 212464 2813.73/2823.69 c #Conflicts: 132000 | #Constraints: 213464 2813.73/2823.69 c #Conflicts: 133000 | #Constraints: 214464 2813.73/2823.69 c #Conflicts: 134000 | #Constraints: 215464 2813.73/2823.69 c #Conflicts: 135000 | #Constraints: 216464 2813.73/2823.69 c #Conflicts: 136000 | #Constraints: 217464 2813.73/2823.69 c #Conflicts: 137000 | #Constraints: 218464 2813.73/2823.69 c #Conflicts: 138000 | #Constraints: 219464 2813.73/2823.69 c #Conflicts: 139000 | #Constraints: 220464 2813.73/2823.69 c #Conflicts: 140000 | #Constraints: 221464 2813.73/2823.69 c #Conflicts: 141000 | #Constraints: 222464 2813.73/2823.69 c #Conflicts: 142000 | #Constraints: 223464 2813.73/2823.69 c INPROCESSING 2813.73/2823.69 c GARBAGE COLLECT 2813.73/2823.69 c #Conflicts: 143000 | #Constraints: 206018 2813.73/2823.69 c #Conflicts: 144000 | #Constraints: 207018 2813.73/2823.69 c #Conflicts: 145000 | #Constraints: 208018 2813.73/2823.69 c #Conflicts: 146000 | #Constraints: 209018 2813.73/2823.69 c #Conflicts: 147000 | #Constraints: 210018 2813.73/2823.69 c #Conflicts: 148000 | #Constraints: 211018 2813.73/2823.69 c #Conflicts: 149000 | #Constraints: 212018 2813.73/2823.69 c #Conflicts: 150000 | #Constraints: 213018 2813.73/2823.69 c #Conflicts: 151000 | #Constraints: 214018 2813.73/2823.69 c #Conflicts: 152000 | #Constraints: 215018 2813.73/2823.69 c #Conflicts: 153000 | #Constraints: 216018 2813.73/2823.69 c INPROCESSING 2813.73/2823.69 c GARBAGE COLLECT 2813.73/2823.69 c #Conflicts: 154000 | #Constraints: 204371 2813.73/2823.69 c #Conflicts: 155000 | #Constraints: 205371 2813.73/2823.69 c #Conflicts: 156000 | #Constraints: 206371 2813.73/2823.69 c #Conflicts: 157000 | #Constraints: 207371 2813.73/2823.69 c #Conflicts: 158000 | #Constraints: 208371 2813.73/2823.69 c #Conflicts: 159000 | #Constraints: 209371 2813.73/2823.69 c #Conflicts: 160000 | #Constraints: 210371 2813.73/2823.69 c #Conflicts: 161000 | #Constraints: 211371 2813.73/2823.69 c #Conflicts: 162000 | #Constraints: 212371 2813.73/2823.69 c #Conflicts: 163000 | #Constraints: 213371 2813.73/2823.69 c #Conflicts: 164000 | #Constraints: 214371 2813.73/2823.69 c #Conflicts: 165000 | #Constraints: 215371 2813.73/2823.69 c #Conflicts: 166000 | #Constraints: 216371 2813.73/2823.69 c #Conflicts: 167000 | #Constraints: 217371 2813.73/2823.69 c #Conflicts: 168000 | #Constraints: 218371 2813.73/2823.69 c #Conflicts: 169000 | #Constraints: 219371 2813.73/2823.69 c #Conflicts: 170000 | #Constraints: 220371 2813.73/2823.69 c #Conflicts: 171000 | #Constraints: 221371 2813.73/2823.69 c #Conflicts: 172000 | #Constraints: 222371 2813.73/2823.69 c #Conflicts: 173000 | #Constraints: 223371 2813.73/2823.69 c #Conflicts: 174000 | #Constraints: 224371 2813.73/2823.69 c #Conflicts: 175000 | #Constraints: 225371 2813.73/2823.69 c #Conflicts: 176000 | #Constraints: 226371
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 (61725 MiB free)
memory of node 1: 64473 MiB (60583 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463327-1722348861/watcher-4463327-1722348861 -o /tmp/evaluation-result-4463327-1722348861/solver-4463327-1722348861 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722340763-6839 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463327-1722348861 --lp-cut-gomory=0 HOME/instance-4463327-1722348861.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
Current StackSize limit: 8192 KiB
solver pid=11462, runsolver pid=11459
[startup+0.100084 s]*
/proc/loadavg: 4.37 4.18 4.17 5/261 11463
/proc/meminfo: memFree=125238432/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=39092 memory=10336 CPUtime=0.09 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 907 0 0 0 7 2 0 0 20 0 1 0 1485058 40030208 2584 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 9773 2584 1376 992 0 1631 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39092 KiB
Current children cumulated memory: 10336 KiB
[startup+0.205485 s]*
/proc/loadavg: 4.37 4.18 4.17 5/261 11463
/proc/meminfo: memFree=125236764/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=40404 memory=11768 CPUtime=0.2 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 1371 0 0 0 15 5 0 0 20 0 1 0 1485058 41373696 2942 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 10101 2942 1376 992 0 1959 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40404 KiB
Current children cumulated memory: 11768 KiB
[startup+0.305053 s]*
/proc/loadavg: 4.37 4.18 4.17 5/261 11463
/proc/meminfo: memFree=125233740/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=44048 memory=14656 CPUtime=0.3 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 2035 0 0 0 21 9 0 0 20 0 1 0 1485058 45105152 3664 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 11012 3664 1376 992 0 2870 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44048 KiB
Current children cumulated memory: 14656 KiB
[startup+0.700233 s]
/proc/loadavg: 4.37 4.18 4.17 5/261 11463
/proc/meminfo: memFree=125217244/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=136584 memory=108136 CPUtime=0.68 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 26253 0 0 0 51 17 0 0 20 0 1 0 1485058 139862016 27034 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 34146 27034 1711 992 0 26004 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 136584 KiB
Current children cumulated memory: 108136 KiB
[startup+1.50023 s]
/proc/loadavg: 4.37 4.18 4.17 5/261 11463
/proc/meminfo: memFree=125136868/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=136584 memory=108136 CPUtime=1.49 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 26256 0 0 0 131 18 0 0 20 0 1 0 1485058 139862016 27034 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 34146 27034 1711 992 0 26004 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 136584 KiB
Current children cumulated memory: 108136 KiB
[startup+3.10567 s]
/proc/loadavg: 4.34 4.18 4.17 5/261 11463
/proc/meminfo: memFree=125131860/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=136584 memory=108136 CPUtime=3.08 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 26264 0 0 0 290 18 0 0 20 0 1 0 1485058 139862016 27034 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 34146 27034 1711 992 0 26004 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 136584 KiB
Current children cumulated memory: 108136 KiB
[startup+6.30021 s]
/proc/loadavg: 4.34 4.18 4.17 5/261 11463
/proc/meminfo: memFree=125124776/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=136584 memory=108136 CPUtime=6.27 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 26293 0 0 0 602 25 0 0 20 0 1 0 1485058 139862016 27034 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 34146 27034 1711 992 0 26004 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 136584 KiB
Current children cumulated memory: 108136 KiB
[startup+12.7002 s]
/proc/loadavg: 4.31 4.18 4.17 5/261 11464
/proc/meminfo: memFree=125100276/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=153740 memory=123896 CPUtime=12.65 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 28152 0 0 0 1232 33 0 0 20 0 1 0 1485058 157429760 30974 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 38435 30974 1821 992 0 30293 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 153740 KiB
Current children cumulated memory: 123896 KiB
[startup+25.5002 s]
/proc/loadavg: 4.32 4.18 4.17 5/261 11466
/proc/meminfo: memFree=125049400/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=153740 memory=124144 CPUtime=25.4 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 28182 0 0 0 2505 35 0 0 20 0 1 0 1485058 157429760 31036 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 38435 31036 1821 992 0 30293 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 153740 KiB
Current children cumulated memory: 124144 KiB
[startup+51.1059 s]
/proc/loadavg: 4.21 4.17 4.17 5/262 11471
/proc/meminfo: memFree=124950872/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=160920 memory=130568 CPUtime=50.92 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 28297 0 0 0 5047 45 0 0 20 0 1 0 1485058 164782080 32642 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 40230 32642 1872 992 0 32088 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 160920 KiB
Current children cumulated memory: 130568 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/259 11481
/proc/meminfo: memFree=124795296/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=206708 memory=161232 CPUtime=101.94 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 29332 0 0 0 10141 53 0 0 20 0 1 0 1485058 211668992 40308 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 51677 40308 1872 992 0 43535 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 206708 KiB
Current children cumulated memory: 161232 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.16 4.16 5/259 11491
/proc/meminfo: memFree=124586132/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=218384 memory=171564 CPUtime=161.74 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 29899 0 0 0 16106 68 0 0 20 0 1 0 1485058 223625216 42891 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 54596 42891 1872 992 0 46454 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 218384 KiB
Current children cumulated memory: 171564 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.16 4.16 5/259 11503
/proc/meminfo: memFree=124410964/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=218384 memory=171564 CPUtime=221.53 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 29947 0 0 0 22072 81 0 0 20 0 1 0 1485058 223625216 42891 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 54596 42891 1872 992 0 46454 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 218384 KiB
Current children cumulated memory: 171564 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.16 4.16 5/259 11514
/proc/meminfo: memFree=124154420/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=218384 memory=177932 CPUtime=281.34 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 30006 0 0 0 28028 106 0 0 20 0 1 0 1485058 223625216 44483 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 54596 44483 1888 992 0 46454 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 218384 KiB
Current children cumulated memory: 177932 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/259 11525
/proc/meminfo: memFree=123937532/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=228852 memory=198420 CPUtime=341.16 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 30577 0 0 0 34004 112 0 0 20 0 1 0 1485058 234344448 49605 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 57213 49605 1888 992 0 49071 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 228852 KiB
Current children cumulated memory: 198420 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/260 11539
/proc/meminfo: memFree=123735652/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=248408 memory=217896 CPUtime=400.98 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 31462 0 0 0 39980 118 0 0 20 0 1 0 1485058 254369792 54474 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 62102 54474 1888 992 0 53960 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 248408 KiB
Current children cumulated memory: 217896 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/260 11549
/proc/meminfo: memFree=123557956/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=248408 memory=218104 CPUtime=460.79 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 31506 0 0 0 45956 123 0 0 20 0 1 0 1485058 254369792 54526 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 62102 54526 1888 992 0 53960 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 1.13 1.70 2.47 2/237 13305
/proc/meminfo: memFree=127390760/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=368100 memory=306744 CPUtime=3091.51 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 36270 0 0 0 308565 586 0 0 20 0 1 0 1485058 376934400 76686 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 92025 76686 1888 992 0 83883 0
Current children cumulated CPU time: 3091.51 s
Current children cumulated vsize: 368100 KiB
Current children cumulated memory: 306744 KiB
[startup+3162.3 s]
/proc/loadavg: 1.28 1.66 2.40 2/236 13315
/proc/meminfo: memFree=127390584/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=368100 memory=306744 CPUtime=3151.32 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 36327 0 0 0 314541 591 0 0 20 0 1 0 1485058 376934400 76686 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 92025 76686 1888 992 0 83883 0
Current children cumulated CPU time: 3151.32 s
Current children cumulated vsize: 368100 KiB
Current children cumulated memory: 306744 KiB
[startup+3222.3 s]
/proc/loadavg: 1.19 1.57 2.32 2/234 13329
/proc/meminfo: memFree=127390140/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=368100 memory=306744 CPUtime=3211.12 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 36430 0 0 0 320515 597 0 0 20 0 1 0 1485058 376934400 76686 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 92025 76686 1888 992 0 83883 0
Current children cumulated CPU time: 3211.12 s
Current children cumulated vsize: 368100 KiB
Current children cumulated memory: 306744 KiB
[startup+3282.3 s]
/proc/loadavg: 1.11 1.48 2.24 2/234 13339
/proc/meminfo: memFree=127389944/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=368100 memory=306744 CPUtime=3270.93 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 36543 0 0 0 326490 603 0 0 20 0 1 0 1485058 376934400 76686 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 92025 76686 1888 992 0 83883 0
Current children cumulated CPU time: 3270.93 s
Current children cumulated vsize: 368100 KiB
Current children cumulated memory: 306744 KiB
[startup+3342.3 s]
/proc/loadavg: 1.15 1.42 2.17 2/234 13350
/proc/meminfo: memFree=127389600/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=368100 memory=306744 CPUtime=3330.76 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 36646 0 0 0 332467 609 0 0 20 0 1 0 1485058 376934400 76686 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 92025 76686 1888 992 0 83883 0
Current children cumulated CPU time: 3330.76 s
Current children cumulated vsize: 368100 KiB
Current children cumulated memory: 306744 KiB
[startup+3402.3 s]
/proc/loadavg: 1.11 1.36 2.10 2/236 13365
/proc/meminfo: memFree=127389308/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=368100 memory=306744 CPUtime=3390.56 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 36758 0 0 0 338439 617 0 0 20 0 1 0 1485058 376934400 76686 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 92025 76686 1888 992 0 83883 0
Current children cumulated CPU time: 3390.56 s
Current children cumulated vsize: 368100 KiB
Current children cumulated memory: 306744 KiB
[startup+3462.3 s]
/proc/loadavg: 1.16 1.32 2.04 2/236 13375
/proc/meminfo: memFree=127388920/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=368100 memory=306744 CPUtime=3450.38 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 36872 0 0 0 344412 626 0 0 20 0 1 0 1485058 376934400 76686 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 92025 76686 1888 992 0 83883 0
Current children cumulated CPU time: 3450.38 s
Current children cumulated vsize: 368100 KiB
Current children cumulated memory: 306744 KiB
[startup+3522.3 s]
/proc/loadavg: 1.12 1.28 1.98 2/236 13387
/proc/meminfo: memFree=127388596/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=368100 memory=306744 CPUtime=3510.18 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 36988 0 0 0 350385 633 0 0 20 0 1 0 1485058 376934400 76686 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 92025 76686 1888 992 0 83883 0
Current children cumulated CPU time: 3510.18 s
Current children cumulated vsize: 368100 KiB
Current children cumulated memory: 306744 KiB
[startup+3582.3 s]
/proc/loadavg: 1.09 1.24 1.92 2/236 13398
/proc/meminfo: memFree=127388260/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=368100 memory=306744 CPUtime=3569.99 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 37104 0 0 0 356359 640 0 0 20 0 1 0 1485058 376934400 76686 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 92025 76686 1888 992 0 83883 0
Current children cumulated CPU time: 3569.99 s
Current children cumulated vsize: 368100 KiB
Current children cumulated memory: 306744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 1.12 1.23 1.89 2/236 13405
/proc/meminfo: memFree=127388136/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=368100 memory=306744 CPUtime=3600 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 37161 0 0 0 359355 645 0 0 20 0 1 0 1485058 376934400 76686 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 92025 76686 1888 992 0 83883 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 368100 KiB
Current children cumulated memory: 306744 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3614.4 s]
# the end of solver process 11462 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3595.54 s, system=6.46679 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 1.12 1.23 1.89 2/236 13405
/proc/meminfo: memFree=127388136/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=368100 memory=306744 CPUtime=3600.4 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 37161 0 0 0 359394 646 0 0 20 0 1 0 1485058 376934400 76686 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 92025 76686 1888 992 0 83883 0
Current children cumulated CPU time: 3600.4 s
Current children cumulated vsize: 368100 KiB
Current children cumulated memory: 306744 KiB
[startup+3613.6 s]
/proc/loadavg: 1.12 1.23 1.89 2/236 13405
/proc/meminfo: memFree=127388120/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=368100 memory=306744 CPUtime=3601.2 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 37161 0 0 0 359474 646 0 0 20 0 1 0 1485058 376934400 76686 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 92025 76686 1888 992 0 83883 0
Current children cumulated CPU time: 3601.2 s
Current children cumulated vsize: 368100 KiB
Current children cumulated memory: 306744 KiB
[startup+3614 s]*
/proc/loadavg: 1.11 1.23 1.89 2/236 13405
/proc/meminfo: memFree=127388136/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=368100 memory=306744 CPUtime=3601.6 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 37161 0 0 0 359514 646 0 0 20 0 1 0 1485058 376934400 76686 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 92025 76686 1888 992 0 83883 0
Current children cumulated CPU time: 3601.6 s
Current children cumulated vsize: 368100 KiB
Current children cumulated memory: 306744 KiB
[startup+3614.4 s]
/proc/loadavg: 1.11 1.23 1.89 2/236 13405
/proc/meminfo: memFree=127388136/131524600 swapFree=131071728/131071996
[pid=11462] ppid=11459 vsize=368100 memory=306744 CPUtime=3601.99 cores=0,2
/proc/11462/stat : 11462 (roundingsat) R 11459 11462 6828 0 -1 4194304 37161 0 0 0 359553 646 0 0 20 0 1 0 1485058 376934400 76686 134679101440 4194304 8255733 140724808460992 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19087360 140724808463198 140724808463460 140724808463460 140724808470473 0
/proc/11462/statm: 92025 76686 1888 992 0 83883 0
Current children cumulated CPU time: 3601.99 s
Current children cumulated vsize: 368100 KiB
Current children cumulated memory: 306744 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.4
CPU time (s): 3602.01
CPU user time (s): 3595.54
CPU system time (s): 6.46679
CPU usage (%): 99.657
Max. virtual memory (cumulated for all children) (KiB): 368100
Max. memory (cumulated for all children) (KiB): 306744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.54
system time used= 6.46679
maximum resident set size= 306744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37161
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2216560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 25248
# summary of solver processes directly reported to runsolver:
# pid: 11462
# total CPU time (s): 3602.01
# total CPU user time (s): 3595.54
# total CPU system time (s): 6.46679
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77086 second user time and 17.5659 second system time
The end
Begin job on nodeC024 at 2024-07-30 16:14:21 IDJOB=4463327 IDBENCH=178226 IDSOLVER=3089 FILE ID=nodeC024/4463327-1722348861 RUNJOBID= nodeC024-1722340763-6839 SLURM_JOB_ID= 8248997 Free space on /tmp= 890060 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-4463327-1722348861/watcher-4463327-1722348861 -o /tmp/evaluation-result-4463327-1722348861/solver-4463327-1722348861 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722340763-6839 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463327-1722348861 --lp-cut-gomory=0 HOME/instance-4463327-1722348861.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7cbab653d296f81eb095bf1f983193d8 RANDOM SEED=86805721 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 : 3666.977 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.90 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 : 3684.065 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.73 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 : 3636.877 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.90 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.232 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.73 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 : 3664.383 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.90 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 : 3684.127 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.73 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.183 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.90 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.125 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.73 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125244328 kB MemAvailable: 129284388 kB Buffers: 48536 kB Cached: 4823908 kB SwapCached: 36 kB Active: 171464 kB Inactive: 5630724 kB Active(anon): 1568 kB Inactive(anon): 949552 kB Active(file): 169896 kB Inactive(file): 4681172 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071728 kB Dirty: 28736 kB Writeback: 0 kB AnonPages: 927700 kB Mapped: 97292 kB Shmem: 21292 kB KReclaimable: 57632 kB Slab: 137672 kB SReclaimable: 57632 kB SUnreclaim: 80040 kB KernelStack: 4208 kB PageTables: 10936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1380064 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8928 kB HardwareCorrupted: 0 kB AnonHugePages: 720896 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: 160468 kB DirectMap2M: 5904384 kB DirectMap1G: 130023424 kB Free space on /tmp at the end= 890072 MiB End job on nodeC024 at 2024-07-30 17:14:35