| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | OPT | 8691 | 1283.55 | 1288.27 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb |
| MD5SUM | 0aad002c81e214aa0b66948d5567e1f0 |
| 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 | 8691 |
| Best CPU time to get the best result obtained on this benchmark | 0.113538 |
| 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 | 548 |
| Total number of constraints | 166 |
| Number of constraints which are clauses | 40 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 126 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 143 |
| Number of terms in the objective function | 416 |
| Biggest coefficient in the objective function | 11000 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 96797 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 11000 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 96797 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 548 #constraints 166 0.00/0.01 c bounds - >= 0 @ 0.001898 0.00/0.01 c rational objective 3108.29 0.09/0.14 c bounds 36555 >= 0 @ 0.007842 0.09/0.14 c bounds 36555 >= 370 @ 0.008288 0.09/0.14 c bounds 36555 >= 643 @ 0.008659 0.09/0.14 c bounds 36555 >= 901 @ 0.009307 0.09/0.14 c bounds 36555 >= 1090 @ 0.009752 0.09/0.14 c bounds 36555 >= 1213 @ 0.009881 0.09/0.14 c bounds 36555 >= 1269 @ 0.009886 0.09/0.14 c bounds 36555 >= 1331 @ 0.010592 0.09/0.14 c bounds 36555 >= 1377 @ 0.011364 0.09/0.14 c bounds 36555 >= 1419 @ 0.011946 0.09/0.14 c bounds 36555 >= 1454 @ 0.012685 0.09/0.14 c bounds 36555 >= 1484 @ 0.012915 0.09/0.14 c bounds 36555 >= 1511 @ 0.012915 0.09/0.14 c bounds 36555 >= 1533 @ 0.012927 0.09/0.14 c bounds 36555 >= 1549 @ 0.0131 0.09/0.14 c bounds 36537 >= 1549 @ 0.01383 0.09/0.14 c bounds 36537 >= 1558 @ 0.013932 0.09/0.14 c bounds 36537 >= 1565 @ 0.013932 0.09/0.14 c bounds 36518 >= 1565 @ 0.014912 0.09/0.14 c bounds 36518 >= 1570 @ 0.015093 0.09/0.14 c bounds 36518 >= 1574 @ 0.015789 0.09/0.14 c bounds 36518 >= 1576 @ 0.015915 0.09/0.14 c bounds 36518 >= 1578 @ 0.015922 0.09/0.14 c bounds 36282 >= 1578 @ 0.016127 0.09/0.14 c bounds 36282 >= 1579 @ 0.016889 0.09/0.14 c bounds 36282 >= 1580 @ 0.016923 0.09/0.14 c bounds 36270 >= 1580 @ 0.017311 0.09/0.14 c bounds 36270 >= 1581 @ 0.018048 0.09/0.14 c bounds 36212 >= 1581 @ 0.021577 0.09/0.14 c bounds 36212 >= 1582 @ 0.021885 0.09/0.14 c bounds 36212 >= 1583 @ 0.022978 0.09/0.14 c bounds 36183 >= 1583 @ 0.023672 0.09/0.14 c bounds 36183 >= 1584 @ 0.023883 0.09/0.14 c bounds 36065 >= 1584 @ 0.023888 0.09/0.14 c bounds 36065 >= 1585 @ 0.024824 0.09/0.14 c bounds 35969 >= 1585 @ 0.02557 0.09/0.14 c bounds 35969 >= 1586 @ 0.026392 0.09/0.14 c bounds 35944 >= 1586 @ 0.026876 0.09/0.14 c bounds 35850 >= 1586 @ 0.02716 0.09/0.14 c bounds 35850 >= 1598 @ 0.02806 0.09/0.14 c bounds 35691 >= 1598 @ 0.028806 0.09/0.14 c bounds 35691 >= 1606 @ 0.029452 0.09/0.14 c bounds 35691 >= 1607 @ 0.030308 0.09/0.14 c bounds 35639 >= 1607 @ 0.030864 0.09/0.14 c bounds 35639 >= 1609 @ 0.030864 0.09/0.14 c bounds 35623 >= 1609 @ 0.030869 0.09/0.14 c bounds 35623 >= 1610 @ 0.03118 0.09/0.14 c bounds 35623 >= 1611 @ 0.031875 0.09/0.14 c bounds 35528 >= 1611 @ 0.032967 0.09/0.14 c bounds 35528 >= 1612 @ 0.034246 0.09/0.14 c bounds 35521 >= 1612 @ 0.034918 0.09/0.14 c bounds 35521 >= 1614 @ 0.036171 0.09/0.14 c bounds 35521 >= 1616 @ 0.036819 0.09/0.14 c bounds 35445 >= 1616 @ 0.037562 0.09/0.14 c bounds 35445 >= 1617 @ 0.037842 0.09/0.14 c bounds 35426 >= 1617 @ 0.037845 0.09/0.14 c bounds 35426 >= 1618 @ 0.037849 0.09/0.14 c bounds 35406 >= 1618 @ 0.038122 0.09/0.14 c bounds 35406 >= 1619 @ 0.040184 0.09/0.14 c bounds 35328 >= 1619 @ 0.041836 0.09/0.14 c bounds 35328 >= 1625 @ 0.042863 0.09/0.14 c bounds 35307 >= 1625 @ 0.043605 0.09/0.14 c bounds 35285 >= 1625 @ 0.043865 0.09/0.14 c bounds 35285 >= 1629 @ 0.044627 0.09/0.14 c bounds 35285 >= 1631 @ 0.044833 0.09/0.14 c bounds 35274 >= 1631 @ 0.044836 0.09/0.14 c bounds 35274 >= 1632 @ 0.045548 0.09/0.14 c bounds 34867 >= 1632 @ 0.046914 0.09/0.14 c bounds 34867 >= 1633 @ 0.048201 0.09/0.14 c bounds 34867 >= 1634 @ 0.049613 0.09/0.14 c bounds 34802 >= 1634 @ 0.05153 0.09/0.14 c bounds 34802 >= 1637 @ 0.052438 0.09/0.14 c bounds 34802 >= 1639 @ 0.053072 0.09/0.14 c bounds 34802 >= 1640 @ 0.053681 0.09/0.14 c bounds 34802 >= 1641 @ 0.053971 0.09/0.14 c bounds 34718 >= 1641 @ 0.054658 0.09/0.14 c bounds 34718 >= 1642 @ 0.054965 0.09/0.14 c bounds 34688 >= 1642 @ 0.056262 0.09/0.14 c bounds 34688 >= 1643 @ 0.057426 0.09/0.14 c bounds 34688 >= 1644 @ 0.057774 0.09/0.14 c bounds 34662 >= 1644 @ 0.058775 0.09/0.14 c bounds 34662 >= 1645 @ 0.059304 0.09/0.14 c bounds 34662 >= 1649 @ 0.059912 0.09/0.14 c bounds 34662 >= 1651 @ 0.060522 0.09/0.14 c bounds 34662 >= 1652 @ 0.06077 0.09/0.14 c bounds 34662 >= 1653 @ 0.06077 0.09/0.14 c bounds 34662 >= 1664 @ 0.06126 0.09/0.14 c bounds 34643 >= 1664 @ 0.062051 0.09/0.14 c bounds 34643 >= 1670 @ 0.06302 0.09/0.14 c bounds 34626 >= 1670 @ 0.063804 0.09/0.14 c bounds 34626 >= 1671 @ 0.064866 0.09/0.14 c bounds 34626 >= 1673 @ 0.065538 0.09/0.14 c bounds 34550 >= 1673 @ 0.067033 0.09/0.14 c bounds 34550 >= 1674 @ 0.067908 0.09/0.14 c bounds 34550 >= 1675 @ 0.069874 0.09/0.14 c bounds 34550 >= 1676 @ 0.070791 0.09/0.14 c bounds 34550 >= 1677 @ 0.071804 0.09/0.14 c bounds 34532 >= 1677 @ 0.073772 0.09/0.14 c bounds 34532 >= 1678 @ 0.075354 0.09/0.14 c bounds 34532 >= 1679 @ 0.075692 0.09/0.14 c bounds 34532 >= 1680 @ 0.075885 0.09/0.14 c bounds 34412 >= 1680 @ 0.077688 0.09/0.14 c bounds 34412 >= 1682 @ 0.078114 0.09/0.14 c bounds 34412 >= 1683 @ 0.078832 0.09/0.14 c bounds 34412 >= 1685 @ 0.079759 0.09/0.14 c bounds 34337 >= 1685 @ 0.080705 0.09/0.14 c bounds 34337 >= 1686 @ 0.081651 0.09/0.14 c bounds 34337 >= 1688 @ 0.082622 0.09/0.14 c bounds 34251 >= 1688 @ 0.083668 0.09/0.14 c bounds 34251 >= 1690 @ 0.08367 0.09/0.14 c bounds 34251 >= 1691 @ 0.083847 0.09/0.14 c bounds 34251 >= 1692 @ 0.08467 0.09/0.14 c bounds 34010 >= 1692 @ 0.084672 0.09/0.14 c bounds 33801 >= 1692 @ 0.085094 0.09/0.14 c bounds 33801 >= 1693 @ 0.08607 0.09/0.14 c bounds 33732 >= 1693 @ 0.086997 0.09/0.14 c bounds 33732 >= 1697 @ 0.088078 0.09/0.14 c bounds 33732 >= 1701 @ 0.088707 0.09/0.14 c bounds 33673 >= 1701 @ 0.089566 0.09/0.14 c bounds 33673 >= 1703 @ 0.089657 0.09/0.14 c bounds 33673 >= 1704 @ 0.089659 0.09/0.14 c bounds 33596 >= 1704 @ 0.091813 0.39/0.42 c bounds 33596 >= 1708 @ 0.09289 0.39/0.42 c bounds 33596 >= 1709 @ 0.093706 0.39/0.42 c bounds 33596 >= 1710 @ 0.094457 0.39/0.42 c bounds 33596 >= 1711 @ 0.094646 0.39/0.42 c bounds 33596 >= 1712 @ 0.095197 0.39/0.42 c bounds 33596 >= 1713 @ 0.096054 0.39/0.42 c bounds 33596 >= 1714 @ 0.096923 0.39/0.42 c bounds 33596 >= 1716 @ 0.097617 0.39/0.42 c bounds 33596 >= 1717 @ 0.098397 0.39/0.42 c bounds 32966 >= 1717 @ 0.10198 0.39/0.42 c bounds 32966 >= 1718 @ 0.102833 0.39/0.42 c bounds 32966 >= 1719 @ 0.103625 0.39/0.42 c bounds 32966 >= 1720 @ 0.104436 0.39/0.42 c bounds 32966 >= 1721 @ 0.104615 0.39/0.42 c bounds 32966 >= 1722 @ 0.104616 0.39/0.42 c bounds 32966 >= 1724 @ 0.105067 0.39/0.42 c bounds 32966 >= 1725 @ 0.1058 0.39/0.42 c bounds 32890 >= 1725 @ 0.106697 0.39/0.42 c bounds 32890 >= 1726 @ 0.107701 0.39/0.42 c bounds 32890 >= 1727 @ 0.108605 0.39/0.42 c bounds 32624 >= 1727 @ 0.109952 0.39/0.42 c bounds 32624 >= 1728 @ 0.112332 0.39/0.42 c bounds 32624 >= 1729 @ 0.112599 0.39/0.42 c bounds 32416 >= 1729 @ 0.11559 0.39/0.42 c bounds 32416 >= 1730 @ 0.117095 0.39/0.42 c bounds 32416 >= 1731 @ 0.117515 0.39/0.42 c bounds 32416 >= 1732 @ 0.117756 0.39/0.42 c bounds 32416 >= 1733 @ 0.119632 0.39/0.42 c bounds 32416 >= 1734 @ 0.121458 0.39/0.42 c bounds 32143 >= 1734 @ 0.127519 0.39/0.42 c bounds 32143 >= 1735 @ 0.129147 0.39/0.42 c bounds 32143 >= 1736 @ 0.129685 0.39/0.42 c bounds 32143 >= 1737 @ 0.131603 0.39/0.42 c bounds 32087 >= 1737 @ 0.137455 0.39/0.42 c bounds 32087 >= 1738 @ 0.140234 0.39/0.42 c bounds 32087 >= 1739 @ 0.141906 0.39/0.42 c bounds 32087 >= 1740 @ 0.143125 0.39/0.42 c bounds 32087 >= 1741 @ 0.144238 0.39/0.42 c bounds 32087 >= 1742 @ 0.144432 0.39/0.42 c bounds 31617 >= 1742 @ 0.150987 0.39/0.42 c bounds 31617 >= 1743 @ 0.151411 0.39/0.42 c bounds 31617 >= 1744 @ 0.151412 0.39/0.42 c bounds 31617 >= 1745 @ 0.151415 0.39/0.42 c bounds 31617 >= 1748 @ 0.151972 0.39/0.42 c bounds 31617 >= 1749 @ 0.153082 0.39/0.42 c bounds 31617 >= 1750 @ 0.153409 0.39/0.42 c bounds 31617 >= 1751 @ 0.153684 0.39/0.42 c bounds 31617 >= 1752 @ 0.156338 0.39/0.42 c bounds 31617 >= 1753 @ 0.156941 0.39/0.42 c bounds 31046 >= 1753 @ 0.161391 0.39/0.42 c bounds 31046 >= 1754 @ 0.162789 0.39/0.42 c bounds 31046 >= 1755 @ 0.163386 0.39/0.42 c bounds 31046 >= 1756 @ 0.164009 0.39/0.42 c bounds 31046 >= 1757 @ 0.165244 0.39/0.42 c bounds 31046 >= 1758 @ 0.165616 0.39/0.42 c bounds 31046 >= 1759 @ 0.167029 0.39/0.42 c bounds 31046 >= 1760 @ 0.167944 0.39/0.42 c bounds 31046 >= 1761 @ 0.168374 0.39/0.42 c bounds 31046 >= 1762 @ 0.169262 0.39/0.42 c bounds 31046 >= 1763 @ 0.169375 0.39/0.42 c bounds 30937 >= 1763 @ 0.174363 0.39/0.42 c bounds 30937 >= 1764 @ 0.175365 0.39/0.42 c bounds 30937 >= 1765 @ 0.175365 0.39/0.42 c bounds 30937 >= 1766 @ 0.176548 0.39/0.42 c bounds 30937 >= 1767 @ 0.178556 0.39/0.42 c bounds 30937 >= 1768 @ 0.180436 0.39/0.42 c bounds 30937 >= 1769 @ 0.182522 0.39/0.42 c bounds 30518 >= 1769 @ 0.187331 0.39/0.42 c bounds 30518 >= 1770 @ 0.190323 0.39/0.42 c bounds 30518 >= 1771 @ 0.192165 0.39/0.42 c bounds 30518 >= 1772 @ 0.193674 0.39/0.42 c bounds 30518 >= 1773 @ 0.194796 0.39/0.42 c bounds 30518 >= 1774 @ 0.19666 0.39/0.42 c bounds 30473 >= 1774 @ 0.205991 0.39/0.42 c bounds 30473 >= 1775 @ 0.208274 0.39/0.42 c bounds 30473 >= 1776 @ 0.208276 0.39/0.42 c bounds 30473 >= 1777 @ 0.208516 0.39/0.42 c bounds 30473 >= 1780 @ 0.209246 0.39/0.42 c bounds 30473 >= 1781 @ 0.210101 0.39/0.42 c bounds 30473 >= 1782 @ 0.210271 0.39/0.42 c bounds 30473 >= 1783 @ 0.211179 0.39/0.42 c bounds 30473 >= 1784 @ 0.213159 0.39/0.42 c bounds 30473 >= 1785 @ 0.215125 0.39/0.42 c bounds 30473 >= 1786 @ 0.217135 0.39/0.42 c bounds 30473 >= 1787 @ 0.218253 0.39/0.42 c bounds 30473 >= 1788 @ 0.220651 0.39/0.42 c bounds 30473 >= 1789 @ 0.222795 0.39/0.42 c bounds 30026 >= 1789 @ 0.228386 0.39/0.42 c bounds 30026 >= 1790 @ 0.235902 0.39/0.42 c bounds 30026 >= 1791 @ 0.236834 0.39/0.42 c bounds 30026 >= 1795 @ 0.23776 0.39/0.42 c bounds 30026 >= 1797 @ 0.23948 0.39/0.42 c bounds 30026 >= 1802 @ 0.24024 0.39/0.42 c bounds 30026 >= 1806 @ 0.241218 0.39/0.42 c bounds 30026 >= 1807 @ 0.242292 0.39/0.42 c bounds 30026 >= 1808 @ 0.24366 0.39/0.42 c bounds 30026 >= 1813 @ 0.246394 0.39/0.42 c bounds 29797 >= 1813 @ 0.262833 0.39/0.42 c bounds 29797 >= 1817 @ 0.264101 0.39/0.42 c bounds 29797 >= 1818 @ 0.26629 0.39/0.42 c bounds 29797 >= 1819 @ 0.267747 0.39/0.42 c bounds 29797 >= 1820 @ 0.26795 0.39/0.42 c bounds 29797 >= 1821 @ 0.268241 0.39/0.42 c bounds 29797 >= 1822 @ 0.269385 0.39/0.42 c bounds 29797 >= 1823 @ 0.271166 0.39/0.42 c bounds 29797 >= 1824 @ 0.27197 0.39/0.42 c bounds 29797 >= 1825 @ 0.272828 0.39/0.42 c bounds 29797 >= 1826 @ 0.274079 0.39/0.42 c bounds 29797 >= 1827 @ 0.274949 0.39/0.42 c bounds 29797 >= 1828 @ 0.275895 0.39/0.42 c bounds 29797 >= 1829 @ 0.276492 0.39/0.42 c bounds 29797 >= 1830 @ 0.277455 0.39/0.42 c bounds 29797 >= 1831 @ 0.278608 0.39/0.42 c bounds 29797 >= 1832 @ 0.27895 0.39/0.42 c bounds 29797 >= 1833 @ 0.281755 0.39/0.42 c bounds 29797 >= 1834 @ 0.282848 0.39/0.42 c bounds 29797 >= 1835 @ 0.283656 0.39/0.42 c bounds 29797 >= 1836 @ 0.283938 0.39/0.42 c bounds 29797 >= 1837 @ 0.284256 0.39/0.42 c bounds 29797 >= 1838 @ 0.285626 0.78/0.87 c bounds 29797 >= 1839 @ 0.286254 0.78/0.87 c bounds 29797 >= 1840 @ 0.287673 0.78/0.87 c bounds 29797 >= 1841 @ 0.288968 0.78/0.87 c bounds 29797 >= 1842 @ 0.290303 0.78/0.87 c bounds 29797 >= 1843 @ 0.292136 0.78/0.87 c bounds 29797 >= 1844 @ 0.293649 0.78/0.87 c bounds 29422 >= 1844 @ 0.308365 0.78/0.87 c bounds 29422 >= 1845 @ 0.31215 0.78/0.87 c bounds 29422 >= 1846 @ 0.314262 0.78/0.87 c bounds 29422 >= 1847 @ 0.316297 0.78/0.87 c bounds 29422 >= 1851 @ 0.316844 0.78/0.87 c bounds 29422 >= 1852 @ 0.317634 0.78/0.87 c bounds 29422 >= 1853 @ 0.319261 0.78/0.87 c bounds 29422 >= 1854 @ 0.320842 0.78/0.87 c bounds 29422 >= 1855 @ 0.321832 0.78/0.87 c bounds 29422 >= 1856 @ 0.322111 0.78/0.87 c bounds 29422 >= 1857 @ 0.323023 0.78/0.87 c bounds 29422 >= 1858 @ 0.323828 0.78/0.87 c bounds 29422 >= 1860 @ 0.32417 0.78/0.87 c bounds 29422 >= 1862 @ 0.325271 0.78/0.87 c bounds 29422 >= 1863 @ 0.326214 0.78/0.87 c bounds 29422 >= 1864 @ 0.328077 0.78/0.87 c bounds 29422 >= 1873 @ 0.329249 0.78/0.87 c bounds 29422 >= 1874 @ 0.329811 0.78/0.87 c bounds 29422 >= 1875 @ 0.331452 0.78/0.87 c bounds 29422 >= 1876 @ 0.333211 0.78/0.87 c bounds 29422 >= 1877 @ 0.3338 0.78/0.87 c bounds 29422 >= 1878 @ 0.334368 0.78/0.87 c bounds 29422 >= 1879 @ 0.336119 0.78/0.87 c bounds 29422 >= 1880 @ 0.337537 0.78/0.87 c bounds 29422 >= 1881 @ 0.339088 0.78/0.87 c bounds 29422 >= 1882 @ 0.34043 0.78/0.87 c bounds 29258 >= 1882 @ 0.348575 0.78/0.87 c bounds 29258 >= 1883 @ 0.351004 0.78/0.87 c bounds 29258 >= 1885 @ 0.352367 0.78/0.87 c bounds 29258 >= 1886 @ 0.353017 0.78/0.87 c bounds 29258 >= 1887 @ 0.354428 0.78/0.87 c bounds 29258 >= 1888 @ 0.356307 0.78/0.87 c bounds 29258 >= 1889 @ 0.357335 0.78/0.87 c bounds 29258 >= 1890 @ 0.358005 0.78/0.87 c bounds 29258 >= 1891 @ 0.358735 0.78/0.87 c bounds 29258 >= 1892 @ 0.358737 0.78/0.87 c bounds 29258 >= 1893 @ 0.360733 0.78/0.87 c bounds 29258 >= 1894 @ 0.361057 0.78/0.87 c bounds 29258 >= 1895 @ 0.362726 0.78/0.87 c bounds 29154 >= 1895 @ 0.377637 0.78/0.87 c bounds 29154 >= 1896 @ 0.379359 0.78/0.87 c bounds 29154 >= 1897 @ 0.380742 0.78/0.87 c bounds 29154 >= 1898 @ 0.381677 0.78/0.87 c bounds 29154 >= 1899 @ 0.383008 0.78/0.87 c bounds 29154 >= 1900 @ 0.385175 0.78/0.87 c bounds 29154 >= 1901 @ 0.387064 0.78/0.87 c bounds 29154 >= 1902 @ 0.389747 0.78/0.87 c bounds 29154 >= 1903 @ 0.391926 0.78/0.87 c bounds 29154 >= 1904 @ 0.394249 0.78/0.87 c bounds 29154 >= 1905 @ 0.395233 0.78/0.87 c bounds 29154 >= 1906 @ 0.396555 0.78/0.87 c bounds 29154 >= 1907 @ 0.397967 0.78/0.87 c bounds 29154 >= 1908 @ 0.399669 0.78/0.87 c bounds 29154 >= 1909 @ 0.401713 0.78/0.87 c bounds 29113 >= 1909 @ 0.41474 0.78/0.87 c bounds 29113 >= 1910 @ 0.415476 0.78/0.87 c bounds 29113 >= 1911 @ 0.415804 0.78/0.87 c bounds 29113 >= 1912 @ 0.416968 0.78/0.87 c bounds 29113 >= 1913 @ 0.418053 0.78/0.87 c bounds 29113 >= 1914 @ 0.418495 0.78/0.87 c bounds 29113 >= 1915 @ 0.418804 0.78/0.87 c #Conflicts: 1000 | #Constraints: 3473 0.78/0.87 c bounds 29113 >= 1916 @ 0.421269 0.78/0.87 c bounds 29113 >= 1917 @ 0.422486 0.78/0.87 c bounds 29113 >= 1918 @ 0.425216 0.78/0.87 c bounds 29113 >= 1919 @ 0.426088 0.78/0.87 c bounds 29113 >= 1920 @ 0.427778 0.78/0.87 c bounds 29113 >= 1921 @ 0.429565 0.78/0.87 c bounds 29113 >= 1922 @ 0.431735 0.78/0.87 c bounds 29113 >= 1923 @ 0.433804 0.78/0.87 c bounds 29113 >= 1924 @ 0.435608 0.78/0.87 c bounds 29113 >= 1925 @ 0.438775 0.78/0.87 c bounds 28566 >= 1925 @ 0.474347 0.78/0.87 c bounds 28566 >= 1926 @ 0.477721 0.78/0.87 c bounds 28566 >= 1927 @ 0.479228 0.78/0.87 c bounds 28566 >= 1928 @ 0.479686 0.78/0.87 c bounds 28566 >= 1929 @ 0.481826 0.78/0.87 c bounds 28566 >= 1930 @ 0.483301 0.78/0.87 c bounds 28566 >= 1931 @ 0.485473 0.78/0.87 c bounds 28566 >= 1932 @ 0.486824 0.78/0.87 c bounds 28566 >= 1933 @ 0.489064 0.78/0.87 c bounds 28566 >= 1934 @ 0.490105 0.78/0.87 c bounds 28566 >= 1935 @ 0.491246 0.78/0.87 c bounds 28566 >= 1936 @ 0.494257 0.78/0.87 c bounds 28566 >= 1937 @ 0.495974 0.78/0.87 c bounds 28566 >= 1938 @ 0.498811 0.78/0.87 c bounds 28566 >= 1939 @ 0.499966 0.78/0.87 c bounds 28566 >= 1940 @ 0.502037 0.78/0.87 c bounds 28566 >= 1941 @ 0.503553 0.78/0.87 c bounds 28566 >= 1942 @ 0.504587 0.78/0.87 c bounds 28566 >= 1943 @ 0.507558 0.78/0.87 c bounds 28566 >= 1944 @ 0.510553 0.78/0.87 c bounds 28566 >= 1945 @ 0.513977 0.78/0.87 c bounds 28566 >= 1946 @ 0.518558 0.78/0.87 c bounds 28566 >= 1947 @ 0.522512 0.78/0.87 c bounds 28566 >= 1948 @ 0.524103 0.78/0.87 c bounds 28566 >= 1949 @ 0.527752 0.78/0.87 c bounds 28566 >= 1950 @ 0.534221 0.78/0.87 c bounds 28566 >= 1951 @ 0.536754 0.78/0.87 c bounds 28566 >= 1952 @ 0.538581 0.78/0.87 c bounds 28473 >= 1952 @ 0.550149 0.78/0.87 c bounds 28473 >= 1953 @ 0.555302 0.78/0.87 c bounds 28473 >= 1954 @ 0.560985 0.78/0.87 c bounds 28473 >= 1955 @ 0.564344 0.78/0.87 c bounds 28473 >= 1956 @ 0.567989 0.78/0.87 c bounds 28473 >= 1957 @ 0.574339 0.78/0.87 c bounds 25873 >= 1957 @ 0.589969 0.78/0.87 c bounds 25873 >= 1958 @ 0.593284 0.78/0.87 c bounds 25873 >= 1959 @ 0.597338 0.78/0.87 c bounds 25873 >= 1960 @ 0.597912 0.78/0.87 c bounds 25873 >= 1961 @ 0.601124 0.78/0.87 c bounds 25873 >= 1962 @ 0.606543 0.78/0.87 c bounds 25873 >= 1963 @ 0.60888 0.78/0.87 c bounds 25873 >= 1964 @ 0.612155 0.78/0.87 c bounds 25873 >= 1965 @ 0.615484 1.27/1.39 c bounds 25815 >= 1965 @ 0.620849 1.27/1.39 c bounds 25815 >= 1966 @ 0.628054 1.27/1.39 c bounds 25815 >= 1967 @ 0.632823 1.27/1.39 c bounds 25649 >= 1967 @ 0.656455 1.27/1.39 c bounds 25649 >= 1968 @ 0.661433 1.27/1.39 c bounds 25649 >= 1969 @ 0.665113 1.27/1.39 c bounds 25649 >= 1970 @ 0.668624 1.27/1.39 c bounds 25649 >= 1971 @ 0.673473 1.27/1.39 c bounds 25649 >= 1972 @ 0.676595 1.27/1.39 c bounds 25649 >= 1973 @ 0.679999 1.27/1.39 c bounds 25649 >= 1974 @ 0.684211 1.27/1.39 c bounds 25649 >= 1975 @ 0.690962 1.27/1.39 c bounds 25649 >= 1976 @ 0.693673 1.27/1.39 c bounds 25649 >= 1977 @ 0.703305 1.27/1.39 c bounds 25640 >= 1977 @ 0.735824 1.27/1.39 c bounds 25640 >= 1978 @ 0.745986 1.27/1.39 c bounds 25640 >= 1979 @ 0.749588 1.27/1.39 c bounds 25640 >= 1980 @ 0.753447 1.27/1.39 c bounds 25640 >= 1981 @ 0.757763 1.27/1.39 c bounds 25640 >= 1982 @ 0.760922 1.27/1.39 c bounds 25640 >= 1983 @ 0.764087 1.27/1.39 c bounds 25640 >= 1984 @ 0.769202 1.27/1.39 c bounds 25640 >= 1985 @ 0.776487 1.27/1.39 c bounds 25640 >= 1986 @ 0.781098 1.27/1.39 c bounds 25640 >= 1987 @ 0.788594 1.27/1.39 c bounds 25640 >= 1988 @ 0.79307 1.27/1.39 c bounds 25640 >= 1989 @ 0.800855 1.27/1.39 c bounds 25640 >= 1990 @ 0.80761 1.27/1.39 c bounds 25638 >= 1990 @ 0.896012 1.27/1.39 c bounds 25638 >= 1991 @ 0.901661 1.27/1.39 c bounds 25638 >= 1992 @ 0.905853 1.27/1.39 c bounds 25638 >= 1993 @ 0.910072 1.27/1.39 c bounds 25638 >= 1994 @ 0.913678 1.27/1.39 c bounds 25638 >= 1995 @ 0.916724 1.27/1.39 c bounds 25638 >= 1996 @ 0.920615 1.27/1.39 c bounds 25638 >= 1997 @ 0.923519 1.27/1.39 c bounds 25638 >= 1998 @ 0.926021 1.27/1.39 c bounds 25638 >= 1999 @ 0.929545 1.27/1.39 c bounds 25638 >= 2000 @ 0.932654 1.27/1.39 c bounds 25638 >= 2001 @ 0.934086 1.27/1.39 c bounds 25638 >= 2002 @ 0.936845 1.27/1.39 c bounds 25638 >= 2003 @ 0.942872 1.27/1.39 c bounds 25638 >= 2004 @ 0.945591 1.27/1.39 c bounds 25638 >= 2005 @ 0.949691 1.27/1.39 c bounds 25638 >= 2006 @ 0.954342 1.27/1.39 c bounds 25638 >= 2007 @ 0.95882 1.27/1.39 c bounds 25638 >= 2008 @ 0.961864 1.27/1.39 c bounds 25638 >= 2009 @ 0.965596 1.27/1.39 c bounds 25638 >= 2010 @ 0.970061 1.27/1.39 c bounds 25638 >= 2011 @ 0.974175 1.27/1.39 c bounds 25638 >= 2012 @ 0.978503 1.27/1.39 c bounds 25638 >= 2013 @ 0.984289 1.27/1.39 c bounds 25638 >= 2014 @ 0.989253 1.27/1.39 c bounds 25638 >= 2015 @ 0.99613 1.27/1.39 c bounds 25638 >= 2016 @ 1.00417 1.27/1.39 c bounds 25638 >= 2017 @ 1.00924 1.27/1.39 c bounds 25638 >= 2018 @ 1.01422 1.27/1.39 c bounds 25638 >= 2019 @ 1.01769 1.27/1.39 c bounds 25638 >= 2020 @ 1.02451 1.27/1.39 c bounds 25638 >= 2021 @ 1.03152 1.27/1.39 c #Conflicts: 2000 | #Constraints: 6573 1.27/1.39 c INPROCESSING 1.27/1.39 c GARBAGE COLLECT 1.27/1.39 c rational objective 4568.75 2.28/2.35 c bounds 25638 >= 2022 @ 1.05406 2.28/2.35 c bounds 25638 >= 2023 @ 1.05973 2.28/2.35 c bounds 25638 >= 2024 @ 1.06462 2.28/2.35 c bounds 25638 >= 2025 @ 1.07031 2.28/2.35 c bounds 25638 >= 2026 @ 1.07382 2.28/2.35 c bounds 25638 >= 2027 @ 1.08029 2.28/2.35 c bounds 25638 >= 2028 @ 1.08538 2.28/2.35 c bounds 25638 >= 2029 @ 1.09058 2.28/2.35 c bounds 25638 >= 2030 @ 1.09675 2.28/2.35 c bounds 25638 >= 2031 @ 1.10446 2.28/2.35 c bounds 25638 >= 2032 @ 1.11063 2.28/2.35 c bounds 25638 >= 2033 @ 1.11508 2.28/2.35 c bounds 25638 >= 2034 @ 1.12448 2.28/2.35 c bounds 25638 >= 2035 @ 1.12915 2.28/2.35 c bounds 25638 >= 2036 @ 1.13492 2.28/2.35 c bounds 25638 >= 2037 @ 1.13937 2.28/2.35 c bounds 25638 >= 2038 @ 1.14513 2.28/2.35 c bounds 25638 >= 2039 @ 1.1529 2.28/2.35 c bounds 25638 >= 2040 @ 1.15753 2.28/2.35 c bounds 25638 >= 2041 @ 1.16522 2.28/2.35 c bounds 25572 >= 2041 @ 1.16995 2.28/2.35 c bounds 25572 >= 2042 @ 1.18504 2.28/2.35 c bounds 25554 >= 2042 @ 1.18755 2.28/2.35 c bounds 25554 >= 2043 @ 1.19664 2.28/2.35 c bounds 25482 >= 2043 @ 1.20895 2.28/2.35 c bounds 25482 >= 2044 @ 1.21628 2.28/2.35 c bounds 25482 >= 2045 @ 1.21934 2.28/2.35 c bounds 25482 >= 2046 @ 1.22494 2.28/2.35 c bounds 25482 >= 2047 @ 1.23465 2.28/2.35 c bounds 25373 >= 2047 @ 1.26172 2.28/2.35 c bounds 25373 >= 2048 @ 1.27267 2.28/2.35 c bounds 25373 >= 2049 @ 1.27809 2.28/2.35 c bounds 25373 >= 2050 @ 1.28184 2.28/2.35 c bounds 25373 >= 2051 @ 1.28643 2.28/2.35 c bounds 25373 >= 2052 @ 1.28997 2.28/2.35 c bounds 25373 >= 2053 @ 1.29443 2.28/2.35 c bounds 25373 >= 2054 @ 1.30004 2.28/2.35 c bounds 25373 >= 2055 @ 1.30608 2.28/2.35 c bounds 25373 >= 2056 @ 1.30696 2.28/2.35 c bounds 25373 >= 2057 @ 1.30873 2.28/2.35 c bounds 25373 >= 2058 @ 1.31145 2.28/2.35 c bounds 25373 >= 2059 @ 1.31647 2.28/2.35 c bounds 25373 >= 2060 @ 1.31789 2.28/2.35 c bounds 25337 >= 2060 @ 1.32001 2.28/2.35 c bounds 25337 >= 2061 @ 1.32187 2.28/2.35 c bounds 25324 >= 2061 @ 1.34228 2.28/2.35 c bounds 25324 >= 2062 @ 1.34649 2.28/2.35 c bounds 25324 >= 2063 @ 1.34948 2.28/2.35 c bounds 25324 >= 2064 @ 1.35433 2.28/2.35 c bounds 25324 >= 2065 @ 1.35769 2.28/2.35 c bounds 25324 >= 2066 @ 1.36189 2.28/2.35 c bounds 25324 >= 2067 @ 1.36434 2.28/2.35 c bounds 25324 >= 2068 @ 1.36686 2.28/2.35 c bounds 25324 >= 2069 @ 1.37001 2.28/2.35 c bounds 25324 >= 2070 @ 1.37475 2.28/2.35 c bounds 25324 >= 2071 @ 1.37725 2.28/2.35 c bounds 25324 >= 2072 @ 1.38247 2.28/2.35 c bounds 25324 >= 2073 @ 1.38761 2.28/2.35 c bounds 25324 >= 2074 @ 1.39094 2.28/2.35 c bounds 25324 >= 2075 @ 1.39523 2.28/2.35 c bounds 25324 >= 2076 @ 1.40002 2.28/2.35 c bounds 25324 >= 2077 @ 1.40426 2.28/2.35 c bounds 25324 >= 2078 @ 1.40721 2.28/2.35 c bounds 25262 >= 2078 @ 1.48637 2.28/2.35 c bounds 25262 >= 2079 @ 1.4908 2.28/2.35 c bounds 25262 >= 2080 @ 1.49368 2.28/2.35 c bounds 25262 >= 2081 @ 1.4983 2.28/2.35 c bounds 25262 >= 2082 @ 1.50335 2.28/2.35 c bounds 25262 >= 2083 @ 1.50789 2.28/2.35 c bounds 25262 >= 2084 @ 1.51388 2.28/2.35 c bounds 25262 >= 2085 @ 1.51733 2.28/2.35 c bounds 25262 >= 2086 @ 1.52099 2.28/2.35 c bounds 25262 >= 2087 @ 1.52963 2.28/2.35 c bounds 25262 >= 2088 @ 1.53573 2.28/2.35 c bounds 25262 >= 2089 @ 1.53906 2.28/2.35 c bounds 25262 >= 2090 @ 1.54162 2.28/2.35 c bounds 25262 >= 2091 @ 1.54583 2.28/2.35 c bounds 25262 >= 2092 @ 1.54917 2.28/2.35 c bounds 25262 >= 2093 @ 1.55274 2.28/2.35 c bounds 25262 >= 2094 @ 1.55523 2.28/2.35 c bounds 25262 >= 2095 @ 1.55719 2.28/2.35 c bounds 25262 >= 2096 @ 1.55864 2.28/2.35 c bounds 25262 >= 2097 @ 1.56514 2.28/2.35 c bounds 25262 >= 2098 @ 1.56745 2.28/2.35 c bounds 25262 >= 2099 @ 1.56919 2.28/2.35 c bounds 25262 >= 2100 @ 1.57017 2.28/2.35 c bounds 25262 >= 2101 @ 1.57758 2.28/2.35 c bounds 25262 >= 2102 @ 1.58229 2.28/2.35 c bounds 25262 >= 2103 @ 1.58731 2.28/2.35 c bounds 25262 >= 2104 @ 1.59199 2.28/2.35 c bounds 25262 >= 2105 @ 1.59656 2.28/2.35 c bounds 25262 >= 2106 @ 1.60054 2.28/2.35 c bounds 25262 >= 2107 @ 1.60503 2.28/2.35 c bounds 25262 >= 2108 @ 1.61123 2.28/2.35 c bounds 25262 >= 2109 @ 1.61462 2.28/2.35 c bounds 25262 >= 2110 @ 1.61855 2.28/2.35 c bounds 25262 >= 2111 @ 1.62437 2.28/2.35 c bounds 25262 >= 2112 @ 1.62974 2.28/2.35 c bounds 25262 >= 2113 @ 1.63608 2.28/2.35 c bounds 25262 >= 2114 @ 1.64185 2.28/2.35 c bounds 25262 >= 2115 @ 1.64806 2.28/2.35 c bounds 25262 >= 2116 @ 1.65504 2.28/2.35 c bounds 25262 >= 2117 @ 1.66011 2.28/2.35 c bounds 25262 >= 2118 @ 1.66607 2.28/2.35 c bounds 25262 >= 2119 @ 1.67108 2.28/2.35 c bounds 25262 >= 2120 @ 1.67683 2.28/2.35 c bounds 25262 >= 2121 @ 1.68357 2.28/2.35 c bounds 25262 >= 2122 @ 1.68815 2.28/2.35 c bounds 25262 >= 2123 @ 1.69402 2.28/2.35 c bounds 25158 >= 2123 @ 1.73335 2.28/2.35 c bounds 25158 >= 2124 @ 1.74105 2.28/2.35 c bounds 25158 >= 2125 @ 1.74569 2.28/2.35 c bounds 25158 >= 2126 @ 1.7494 2.28/2.35 c bounds 25158 >= 2127 @ 1.75524 2.28/2.35 c bounds 25158 >= 2128 @ 1.76013 2.28/2.35 c bounds 25158 >= 2129 @ 1.76371 2.28/2.35 c bounds 25158 >= 2130 @ 1.77092 2.28/2.35 c bounds 25158 >= 2131 @ 1.77625 2.28/2.35 c bounds 25158 >= 2132 @ 1.78242 2.28/2.35 c bounds 25158 >= 2133 @ 1.79049 2.28/2.35 c bounds 25158 >= 2134 @ 1.79713 2.28/2.35 c bounds 25158 >= 2135 @ 1.80442 2.28/2.35 c bounds 25158 >= 2136 @ 1.8111 2.28/2.35 c bounds 25158 >= 2137 @ 1.81919 2.28/2.35 c bounds 25158 >= 2138 @ 1.82444 4.07/4.11 c bounds 25158 >= 2139 @ 1.83197 4.07/4.11 c bounds 25158 >= 2140 @ 1.83851 4.07/4.11 c bounds 25158 >= 2141 @ 1.84696 4.07/4.11 c bounds 25158 >= 2142 @ 1.85302 4.07/4.11 c bounds 25158 >= 2143 @ 1.86043 4.07/4.11 c bounds 25158 >= 2144 @ 1.86771 4.07/4.11 c bounds 25129 >= 2144 @ 1.88036 4.07/4.11 c bounds 25129 >= 2145 @ 1.88885 4.07/4.11 c bounds 25129 >= 2146 @ 1.89412 4.07/4.11 c bounds 25129 >= 2147 @ 1.89877 4.07/4.11 c bounds 25129 >= 2148 @ 1.90382 4.07/4.11 c bounds 25129 >= 2149 @ 1.90935 4.07/4.11 c bounds 25129 >= 2150 @ 1.91449 4.07/4.11 c bounds 25103 >= 2150 @ 1.918 4.07/4.11 c bounds 25103 >= 2151 @ 1.92495 4.07/4.11 c bounds 25093 >= 2151 @ 1.92815 4.07/4.11 c bounds 25093 >= 2152 @ 1.94017 4.07/4.11 c #Conflicts: 3000 | #Constraints: 8319 4.07/4.11 c bounds 25043 >= 2152 @ 2.04518 4.07/4.11 c bounds 25043 >= 2153 @ 2.05696 4.07/4.11 c bounds 25043 >= 2154 @ 2.06187 4.07/4.11 c bounds 25043 >= 2155 @ 2.06906 4.07/4.11 c bounds 25043 >= 2156 @ 2.07405 4.07/4.11 c bounds 25043 >= 2157 @ 2.07919 4.07/4.11 c bounds 25043 >= 2158 @ 2.08461 4.07/4.11 c bounds 25043 >= 2159 @ 2.09185 4.07/4.11 c bounds 25043 >= 2160 @ 2.0972 4.07/4.11 c bounds 25043 >= 2161 @ 2.10459 4.07/4.11 c bounds 25043 >= 2162 @ 2.11273 4.07/4.11 c bounds 25043 >= 2163 @ 2.11951 4.07/4.11 c bounds 25043 >= 2164 @ 2.1386 4.07/4.11 c bounds 25043 >= 2165 @ 2.14629 4.07/4.11 c bounds 25043 >= 2166 @ 2.15692 4.07/4.11 c bounds 25043 >= 2167 @ 2.16531 4.07/4.11 c bounds 25043 >= 2168 @ 2.17778 4.07/4.11 c bounds 25043 >= 2169 @ 2.18629 4.07/4.11 c bounds 25043 >= 2170 @ 2.19624 4.07/4.11 c bounds 25043 >= 2171 @ 2.20326 4.07/4.11 c bounds 25043 >= 2172 @ 2.21198 4.07/4.11 c bounds 25043 >= 2173 @ 2.22031 4.07/4.11 c bounds 25043 >= 2174 @ 2.2285 4.07/4.11 c bounds 25043 >= 2175 @ 2.23815 4.07/4.11 c bounds 25043 >= 2176 @ 2.24645 4.07/4.11 c bounds 25043 >= 2177 @ 2.254 4.07/4.11 c bounds 25043 >= 2178 @ 2.26445 4.07/4.11 c bounds 25043 >= 2179 @ 2.2773 4.07/4.11 c bounds 25043 >= 2180 @ 2.28645 4.07/4.11 c bounds 25043 >= 2181 @ 2.3005 4.07/4.11 c bounds 25043 >= 2182 @ 2.31333 4.07/4.11 c bounds 25043 >= 2183 @ 2.32739 4.07/4.11 c bounds 25043 >= 2184 @ 2.3381 4.07/4.11 c bounds 25043 >= 2185 @ 2.34548 4.07/4.11 c bounds 25043 >= 2186 @ 2.35505 4.07/4.11 c bounds 25010 >= 2186 @ 2.47845 4.07/4.11 c bounds 25010 >= 2187 @ 2.49689 4.07/4.11 c bounds 25010 >= 2188 @ 2.50291 4.07/4.11 c bounds 25010 >= 2192 @ 2.50596 4.07/4.11 c bounds 25010 >= 2193 @ 2.51311 4.07/4.11 c bounds 25010 >= 2195 @ 2.51585 4.07/4.11 c bounds 25010 >= 2196 @ 2.51755 4.07/4.11 c bounds 25010 >= 2197 @ 2.51908 4.07/4.11 c bounds 25010 >= 2198 @ 2.5216 4.07/4.11 c bounds 25010 >= 2199 @ 2.53414 4.07/4.11 c bounds 25010 >= 2200 @ 2.54154 4.07/4.11 c bounds 25010 >= 2201 @ 2.54605 4.07/4.11 c bounds 25010 >= 2202 @ 2.5491 4.07/4.11 c bounds 25010 >= 2203 @ 2.55167 4.07/4.11 c bounds 25010 >= 2204 @ 2.55609 4.07/4.11 c bounds 25010 >= 2205 @ 2.55712 4.07/4.11 c bounds 25010 >= 2206 @ 2.56029 4.07/4.11 c bounds 25010 >= 2207 @ 2.56273 4.07/4.11 c bounds 25010 >= 2208 @ 2.5669 4.07/4.11 c bounds 25010 >= 2209 @ 2.5706 4.07/4.11 c bounds 25010 >= 2210 @ 2.57508 4.07/4.11 c bounds 25010 >= 2211 @ 2.57724 4.07/4.11 c bounds 25010 >= 2212 @ 2.58007 4.07/4.11 c bounds 25010 >= 2213 @ 2.58355 4.07/4.11 c bounds 25010 >= 2214 @ 2.58952 4.07/4.11 c bounds 25010 >= 2215 @ 2.60119 4.07/4.11 c bounds 25010 >= 2216 @ 2.61019 4.07/4.11 c bounds 25010 >= 2217 @ 2.61578 4.07/4.11 c bounds 25010 >= 2218 @ 2.62185 4.07/4.11 c bounds 25010 >= 2219 @ 2.62759 4.07/4.11 c bounds 25010 >= 2220 @ 2.63607 4.07/4.11 c bounds 25010 >= 2221 @ 2.64372 4.07/4.11 c bounds 25010 >= 2222 @ 2.64964 4.07/4.11 c bounds 25010 >= 2223 @ 2.65752 4.07/4.11 c bounds 25010 >= 2224 @ 2.66534 4.07/4.11 c bounds 25010 >= 2225 @ 2.6796 4.07/4.11 c bounds 25010 >= 2226 @ 2.68837 4.07/4.11 c bounds 25010 >= 2227 @ 2.69593 4.07/4.11 c bounds 25010 >= 2228 @ 2.70432 4.07/4.11 c bounds 25010 >= 2229 @ 2.71352 4.07/4.11 c bounds 25010 >= 2230 @ 2.72877 4.07/4.11 c bounds 25010 >= 2231 @ 2.73893 4.07/4.11 c bounds 25010 >= 2232 @ 2.75354 4.07/4.11 c bounds 25010 >= 2233 @ 2.77243 4.07/4.11 c bounds 25010 >= 2234 @ 2.78499 4.07/4.11 c bounds 24984 >= 2234 @ 2.78983 4.07/4.11 c bounds 24975 >= 2234 @ 2.80583 4.07/4.11 c bounds 24975 >= 2235 @ 2.81605 4.07/4.11 c bounds 24975 >= 2236 @ 2.81797 4.07/4.11 c bounds 24975 >= 2237 @ 2.82104 4.07/4.11 c bounds 24975 >= 2238 @ 2.82357 4.07/4.11 c bounds 24975 >= 2239 @ 2.82505 4.07/4.11 c bounds 24975 >= 2240 @ 2.82671 4.07/4.11 c bounds 24975 >= 2241 @ 2.82846 4.07/4.11 c bounds 24975 >= 2242 @ 2.83393 4.07/4.11 c bounds 24975 >= 2243 @ 2.83606 4.07/4.11 c bounds 24925 >= 2243 @ 3.09676 4.07/4.11 c bounds 24925 >= 2244 @ 3.11277 4.07/4.11 c bounds 24925 >= 2245 @ 3.12132 4.07/4.11 c bounds 24925 >= 2246 @ 3.12953 4.07/4.11 c #Conflicts: 4000 | #Constraints: 11167 4.07/4.11 c bounds 24925 >= 2247 @ 3.14869 4.07/4.11 c bounds 24925 >= 2248 @ 3.17122 4.07/4.11 c bounds 24925 >= 2249 @ 3.18574 4.07/4.11 c bounds 24925 >= 2250 @ 3.20114 4.07/4.11 c bounds 24925 >= 2251 @ 3.22105 4.07/4.11 c bounds 24925 >= 2252 @ 3.23098 4.07/4.11 c bounds 24925 >= 2253 @ 3.2386 4.07/4.11 c bounds 24925 >= 2254 @ 3.246 4.07/4.11 c bounds 24925 >= 2255 @ 3.25507 4.17/4.20 c bounds 24925 >= 2256 @ 3.26182 4.17/4.20 c bounds 24925 >= 2257 @ 3.28282 4.17/4.20 c bounds 24925 >= 2258 @ 3.30318 4.17/4.20 c INPROCESSING 4.17/4.20 c GARBAGE COLLECT 4.17/4.20 c rational objective 5026.56 8.15/8.29 c bounds 24925 >= 2259 @ 3.34722 8.15/8.29 c bounds 24925 >= 2260 @ 3.3606 8.15/8.29 c bounds 24925 >= 2261 @ 3.37199 8.15/8.29 c bounds 24925 >= 2262 @ 3.38216 8.15/8.29 c bounds 24925 >= 2263 @ 3.394 8.15/8.29 c bounds 24925 >= 2264 @ 3.40502 8.15/8.29 c bounds 24925 >= 2265 @ 3.41401 8.15/8.29 c bounds 24925 >= 2266 @ 3.42479 8.15/8.29 c bounds 24925 >= 2267 @ 3.44291 8.15/8.29 c bounds 24925 >= 2268 @ 3.45427 8.15/8.29 c bounds 24925 >= 2269 @ 3.46786 8.15/8.29 c bounds 24925 >= 2270 @ 3.48412 8.15/8.29 c bounds 24925 >= 2271 @ 3.49562 8.15/8.29 c bounds 24925 >= 2272 @ 3.5136 8.15/8.29 c bounds 24925 >= 2273 @ 3.54053 8.15/8.29 c bounds 24925 >= 2274 @ 3.55963 8.15/8.29 c bounds 24925 >= 2275 @ 3.57896 8.15/8.29 c bounds 24925 >= 2276 @ 3.59464 8.15/8.29 c bounds 24925 >= 2277 @ 3.60784 8.15/8.29 c bounds 24925 >= 2278 @ 3.62558 8.15/8.29 c bounds 24925 >= 2279 @ 3.65478 8.15/8.29 c bounds 24925 >= 2280 @ 3.68348 8.15/8.29 c bounds 24925 >= 2281 @ 3.71302 8.15/8.29 c bounds 24925 >= 2282 @ 3.72376 8.15/8.29 c bounds 24925 >= 2283 @ 3.74118 8.15/8.29 c bounds 24925 >= 2284 @ 3.75906 8.15/8.29 c bounds 24925 >= 2285 @ 3.77147 8.15/8.29 c bounds 24925 >= 2286 @ 3.79468 8.15/8.29 c bounds 24925 >= 2287 @ 3.81191 8.15/8.29 c bounds 24925 >= 2288 @ 3.82677 8.15/8.29 c bounds 24925 >= 2289 @ 3.85664 8.15/8.29 c bounds 24925 >= 2290 @ 3.88078 8.15/8.29 c bounds 24925 >= 2291 @ 3.90067 8.15/8.29 c bounds 24925 >= 2292 @ 3.92072 8.15/8.29 c bounds 24925 >= 2293 @ 3.9357 8.15/8.29 c bounds 24925 >= 2294 @ 3.97147 8.15/8.29 c bounds 24925 >= 2295 @ 3.9927 8.15/8.29 c bounds 24925 >= 2296 @ 4.01084 8.15/8.29 c bounds 24925 >= 2297 @ 4.03267 8.15/8.29 c bounds 24925 >= 2298 @ 4.05126 8.15/8.29 c bounds 24925 >= 2299 @ 4.06543 8.15/8.29 c bounds 24925 >= 2300 @ 4.09906 8.15/8.29 c bounds 24925 >= 2301 @ 4.13854 8.15/8.29 c bounds 24861 >= 2301 @ 4.26771 8.15/8.29 c bounds 24861 >= 2302 @ 4.33062 8.15/8.29 c bounds 24861 >= 2303 @ 4.38581 8.15/8.29 c bounds 24861 >= 2304 @ 4.40764 8.15/8.29 c bounds 24861 >= 2305 @ 4.43986 8.15/8.29 c bounds 24861 >= 2306 @ 4.46898 8.15/8.29 c #Conflicts: 5000 | #Constraints: 12122 8.15/8.29 c bounds 24861 >= 2307 @ 4.48391 8.15/8.29 c bounds 24861 >= 2308 @ 4.51306 8.15/8.29 c bounds 24861 >= 2309 @ 4.53967 8.15/8.29 c bounds 24861 >= 2310 @ 4.55902 8.15/8.29 c bounds 24861 >= 2311 @ 4.57407 8.15/8.29 c bounds 24842 >= 2311 @ 4.58419 8.15/8.29 c bounds 24842 >= 2312 @ 4.61442 8.15/8.29 c bounds 24792 >= 2312 @ 4.64431 8.15/8.29 c bounds 24792 >= 2313 @ 4.6795 8.15/8.29 c bounds 24792 >= 2314 @ 4.69777 8.15/8.29 c bounds 24792 >= 2315 @ 4.71966 8.15/8.29 c bounds 24792 >= 2316 @ 4.7534 8.15/8.29 c bounds 24787 >= 2316 @ 4.75892 8.15/8.29 c bounds 24772 >= 2316 @ 4.76251 8.15/8.29 c bounds 24758 >= 2316 @ 4.77126 8.15/8.29 c bounds 24758 >= 2317 @ 4.79743 8.15/8.29 c bounds 24658 >= 2317 @ 4.95195 8.15/8.29 c bounds 24658 >= 2318 @ 4.97305 8.15/8.29 c bounds 24658 >= 2319 @ 4.98849 8.15/8.29 c bounds 24658 >= 2320 @ 5.0161 8.15/8.29 c bounds 24658 >= 2321 @ 5.06548 8.15/8.29 c bounds 24658 >= 2322 @ 5.09752 8.15/8.29 c bounds 24658 >= 2323 @ 5.1583 8.15/8.29 c bounds 24658 >= 2324 @ 5.20059 8.15/8.29 c bounds 24658 >= 2325 @ 5.24969 8.15/8.29 c bounds 24658 >= 2326 @ 5.30496 8.15/8.29 c bounds 24658 >= 2327 @ 5.33759 8.15/8.29 c bounds 24658 >= 2328 @ 5.38192 8.15/8.29 c bounds 24658 >= 2329 @ 5.41989 8.15/8.29 c bounds 24578 >= 2329 @ 5.4847 8.15/8.29 c bounds 24578 >= 2330 @ 5.52543 8.15/8.29 c bounds 24578 >= 2331 @ 5.55031 8.15/8.29 c bounds 24578 >= 2332 @ 5.5801 8.15/8.29 c bounds 24578 >= 2333 @ 5.61692 8.15/8.29 c #Conflicts: 6000 | #Constraints: 14112 8.15/8.29 c bounds 24538 >= 2333 @ 5.80288 8.15/8.29 c bounds 24538 >= 2334 @ 5.84318 8.15/8.29 c bounds 24538 >= 2335 @ 5.85503 8.15/8.29 c bounds 24538 >= 2336 @ 5.85949 8.15/8.29 c bounds 24538 >= 2337 @ 5.86721 8.15/8.29 c bounds 24538 >= 2338 @ 5.87215 8.15/8.29 c bounds 24538 >= 2339 @ 5.87603 8.15/8.29 c bounds 24538 >= 2340 @ 5.88099 8.15/8.29 c bounds 24538 >= 2341 @ 5.88508 8.15/8.29 c bounds 24538 >= 2342 @ 5.88919 8.15/8.29 c bounds 24538 >= 2343 @ 5.89235 8.15/8.29 c bounds 24538 >= 2344 @ 5.89835 8.15/8.29 c bounds 24538 >= 2345 @ 5.90546 8.15/8.29 c bounds 24538 >= 2346 @ 5.92744 8.15/8.29 c bounds 24538 >= 2347 @ 5.93672 8.15/8.29 c bounds 24538 >= 2348 @ 5.96244 8.15/8.29 c bounds 24538 >= 2349 @ 5.99747 8.15/8.29 c bounds 24538 >= 2350 @ 6.03155 8.15/8.29 c bounds 24538 >= 2351 @ 6.05451 8.15/8.29 c bounds 24538 >= 2352 @ 6.08349 8.15/8.29 c bounds 24538 >= 2353 @ 6.11496 8.15/8.29 c bounds 24538 >= 2354 @ 6.13245 8.15/8.29 c bounds 24538 >= 2355 @ 6.18137 8.15/8.29 c bounds 24538 >= 2356 @ 6.2242 8.15/8.29 c bounds 24538 >= 2357 @ 6.26608 8.15/8.29 c bounds 24508 >= 2357 @ 6.27958 8.15/8.29 c bounds 24508 >= 2358 @ 6.30649 8.15/8.29 c bounds 24415 >= 2358 @ 6.70772 8.15/8.29 c bounds 24415 >= 2359 @ 6.76234 8.15/8.29 c bounds 24415 >= 2360 @ 6.80084 8.15/8.29 c bounds 24415 >= 2361 @ 6.83704 8.15/8.29 c INPROCESSING 8.15/8.29 c GARBAGE COLLECT 8.15/8.29 c rational objective 5113.51 13.44/13.53 c bounds 24415 >= 2362 @ 6.90132 13.44/13.53 c bounds 24415 >= 2363 @ 6.92992 13.44/13.53 c bounds 24415 >= 2364 @ 6.9587 13.44/13.53 c bounds 24415 >= 2365 @ 6.98572 13.44/13.53 c bounds 24415 >= 2366 @ 7.04184 13.44/13.53 c bounds 24415 >= 2367 @ 7.08219 13.44/13.53 c bounds 24415 >= 2368 @ 7.15017 13.44/13.53 c bounds 24415 >= 2369 @ 7.23511 13.44/13.53 c bounds 24415 >= 2370 @ 7.33281 13.44/13.53 c bounds 24415 >= 2371 @ 7.47573 13.44/13.53 c bounds 24415 >= 2372 @ 7.5409 13.44/13.53 c #Conflicts: 7000 | #Constraints: 14062 13.44/13.53 c bounds 24415 >= 2373 @ 7.65444 13.44/13.53 c bounds 24415 >= 2374 @ 7.76178 13.44/13.53 c bounds 24415 >= 2375 @ 7.81454 13.44/13.53 c bounds 24415 >= 2376 @ 7.88617 13.44/13.53 c bounds 24415 >= 2377 @ 7.93554 13.44/13.53 c bounds 24375 >= 2377 @ 8.16405 13.44/13.53 c bounds 24375 >= 2378 @ 8.2931 13.44/13.53 c bounds 24375 >= 2379 @ 8.41226 13.44/13.53 c bounds 24375 >= 2380 @ 8.5007 13.44/13.53 c bounds 24375 >= 2381 @ 8.56136 13.44/13.53 c bounds 24375 >= 2382 @ 8.66585 13.44/13.53 c bounds 24366 >= 2382 @ 8.67302 13.44/13.53 c bounds 24366 >= 2383 @ 8.80116 13.44/13.53 c #Conflicts: 8000 | #Constraints: 15788 13.44/13.53 c bounds 23843 >= 2383 @ 9.49565 13.44/13.53 c bounds 23843 >= 2384 @ 9.60686 13.44/13.53 c bounds 23843 >= 2385 @ 9.67127 13.44/13.53 c bounds 23843 >= 2386 @ 9.81233 13.44/13.53 c bounds 23843 >= 2387 @ 9.88441 13.44/13.53 c bounds 23843 >= 2388 @ 9.95893 13.44/13.53 c bounds 23843 >= 2389 @ 10.0589 13.44/13.53 c bounds 23843 >= 2390 @ 10.1783 13.44/13.53 c bounds 23843 >= 2391 @ 10.3018 13.44/13.53 c bounds 23843 >= 2392 @ 10.4455 13.44/13.53 c bounds 23843 >= 2393 @ 10.604 13.44/13.53 c bounds 23843 >= 2394 @ 10.7112 13.44/13.53 c bounds 23843 >= 2395 @ 10.8137 13.44/13.53 c bounds 23843 >= 2396 @ 10.9431 13.44/13.53 c bounds 23843 >= 2397 @ 11.1315 13.44/13.53 c #Conflicts: 9000 | #Constraints: 17760 13.44/13.53 c bounds 23843 >= 2398 @ 11.2959 13.44/13.53 c bounds 23843 >= 2399 @ 11.4328 13.44/13.53 c INPROCESSING 13.44/13.53 c GARBAGE COLLECT 13.44/13.53 c rational objective 5268.28 21.10/21.25 c bounds 23843 >= 2400 @ 12.182 21.10/21.25 c bounds 23843 >= 2401 @ 12.3895 21.10/21.25 c bounds 23843 >= 2402 @ 12.5298 21.10/21.25 c #Conflicts: 10000 | #Constraints: 16735 21.10/21.25 c bounds 23841 >= 2402 @ 13.4398 21.10/21.25 c bounds 23841 >= 2403 @ 13.5536 21.10/21.25 c bounds 23841 >= 2404 @ 13.5963 21.10/21.25 c bounds 23841 >= 2405 @ 13.6516 21.10/21.25 c bounds 23841 >= 2406 @ 13.7229 21.10/21.25 c bounds 23841 >= 2407 @ 13.7691 21.10/21.25 c bounds 23841 >= 2408 @ 13.8305 21.10/21.25 c bounds 23841 >= 2409 @ 13.8446 21.10/21.25 c bounds 23841 >= 2410 @ 13.8741 21.10/21.25 c bounds 23841 >= 2411 @ 13.883 21.10/21.25 c bounds 23841 >= 2412 @ 13.8932 21.10/21.25 c bounds 23841 >= 2414 @ 13.8986 21.10/21.25 c bounds 23841 >= 2415 @ 13.9042 21.10/21.25 c bounds 23841 >= 2416 @ 13.9134 21.10/21.25 c bounds 23841 >= 2417 @ 13.9197 21.10/21.25 c bounds 23841 >= 2418 @ 13.925 21.10/21.25 c bounds 23841 >= 2419 @ 13.9444 21.10/21.25 c bounds 23841 >= 2420 @ 13.9663 21.10/21.25 c bounds 23841 >= 2421 @ 13.9872 21.10/21.25 c bounds 23841 >= 2422 @ 14.008 21.10/21.25 c bounds 23841 >= 2423 @ 14.0248 21.10/21.25 c bounds 23841 >= 2424 @ 14.0412 21.10/21.25 c bounds 23841 >= 2425 @ 14.0598 21.10/21.25 c bounds 23841 >= 2426 @ 14.0846 21.10/21.25 c bounds 23841 >= 2427 @ 14.0927 21.10/21.25 c bounds 23841 >= 2428 @ 14.1179 21.10/21.25 c bounds 23841 >= 2429 @ 14.1439 21.10/21.25 c bounds 23841 >= 2430 @ 14.1656 21.10/21.25 c bounds 23841 >= 2431 @ 14.1945 21.10/21.25 c bounds 23841 >= 2432 @ 14.216 21.10/21.25 c bounds 23841 >= 2433 @ 14.2389 21.10/21.25 c bounds 23841 >= 2434 @ 14.2617 21.10/21.25 c bounds 23841 >= 2435 @ 14.2849 21.10/21.25 c bounds 23841 >= 2436 @ 14.3087 21.10/21.25 c bounds 23841 >= 2437 @ 14.3349 21.10/21.25 c bounds 23841 >= 2438 @ 14.3608 21.10/21.25 c bounds 23841 >= 2439 @ 14.3875 21.10/21.25 c bounds 23841 >= 2440 @ 14.4121 21.10/21.25 c bounds 23841 >= 2441 @ 14.4277 21.10/21.25 c bounds 23841 >= 2442 @ 14.4416 21.10/21.25 c bounds 23841 >= 2443 @ 14.4843 21.10/21.25 c bounds 23841 >= 2444 @ 14.5193 21.10/21.25 c bounds 23841 >= 2445 @ 14.5471 21.10/21.25 c bounds 23841 >= 2446 @ 14.5651 21.10/21.25 c bounds 23841 >= 2447 @ 14.5948 21.10/21.25 c bounds 23841 >= 2448 @ 14.6189 21.10/21.25 c bounds 23841 >= 2449 @ 14.6428 21.10/21.25 c bounds 23841 >= 2450 @ 14.6709 21.10/21.25 c bounds 23841 >= 2451 @ 14.6889 21.10/21.25 c bounds 23841 >= 2452 @ 14.7186 21.10/21.25 c bounds 23841 >= 2453 @ 14.765 21.10/21.25 c bounds 23841 >= 2454 @ 14.807 21.10/21.25 c bounds 23841 >= 2455 @ 14.8278 21.10/21.25 c bounds 23841 >= 2456 @ 14.8528 21.10/21.25 c bounds 23841 >= 2457 @ 15.1675 21.10/21.25 c bounds 23841 >= 2458 @ 15.5135 21.10/21.25 c bounds 23841 >= 2459 @ 15.6873 21.10/21.25 c bounds 23841 >= 2460 @ 15.9549 21.10/21.25 c #Conflicts: 11000 | #Constraints: 18897 21.10/21.25 c bounds 23841 >= 2461 @ 16.1287 21.10/21.25 c bounds 23841 >= 2462 @ 16.4221 21.10/21.25 c bounds 23841 >= 2463 @ 16.6631 21.10/21.25 c bounds 23781 >= 2463 @ 16.6982 21.10/21.25 c bounds 23773 >= 2463 @ 16.9278 21.10/21.25 c bounds 23773 >= 2464 @ 17.2801 21.10/21.25 c bounds 23773 >= 2465 @ 17.5409 21.10/21.25 c bounds 23773 >= 2466 @ 17.7769 21.10/21.25 c #Conflicts: 12000 | #Constraints: 20445 21.10/21.25 c INPROCESSING 21.10/21.25 c GARBAGE COLLECT 21.10/21.25 c rational objective 5305.9 29.98/30.17 c bounds 23773 >= 2467 @ 19.3257 29.98/30.17 c bounds 23773 >= 2468 @ 19.6091 29.98/30.17 c bounds 23773 >= 2469 @ 19.8354 29.98/30.17 c bounds 23773 >= 2470 @ 19.9532 29.98/30.17 c bounds 23773 >= 2471 @ 20.0568 29.98/30.17 c bounds 23773 >= 2472 @ 20.1452 29.98/30.17 c bounds 23773 >= 2473 @ 20.2233 29.98/30.17 c bounds 23773 >= 2474 @ 20.2813 29.98/30.17 c bounds 23773 >= 2475 @ 20.3618 29.98/30.17 c bounds 23773 >= 2476 @ 20.4838 29.98/30.17 c bounds 23773 >= 2477 @ 20.7609 29.98/30.17 c bounds 23773 >= 2478 @ 20.9609 29.98/30.17 c bounds 23773 >= 2479 @ 21.3488 29.98/30.17 c #Conflicts: 13000 | #Constraints: 19581 29.98/30.17 c bounds 23773 >= 2480 @ 21.8618 29.98/30.17 c bounds 23773 >= 2481 @ 22.2631 29.98/30.17 c bounds 23773 >= 2482 @ 22.5045 29.98/30.17 c bounds 23773 >= 2483 @ 22.7271 29.98/30.17 c bounds 23773 >= 2484 @ 22.9172 29.98/30.17 c bounds 23773 >= 2485 @ 23.1716 29.98/30.17 c bounds 23773 >= 2486 @ 23.3237 29.98/30.17 c bounds 23773 >= 2487 @ 23.5975 29.98/30.17 c #Conflicts: 14000 | #Constraints: 21244 29.98/30.17 c #Conflicts: 15000 | #Constraints: 22245 29.98/30.17 c INPROCESSING 29.98/30.17 c GARBAGE COLLECT 29.98/30.17 c rational objective 5340.92 50.91/51.11 c bounds 23773 >= 2488 @ 27.8497 50.91/51.11 c bounds 23773 >= 2489 @ 28.1808 50.91/51.11 c bounds 23773 >= 2490 @ 28.5422 50.91/51.11 c bounds 23773 >= 2491 @ 28.6726 50.91/51.11 c bounds 23773 >= 2492 @ 28.7484 50.91/51.11 c bounds 23773 >= 2493 @ 28.8918 50.91/51.11 c bounds 23773 >= 2494 @ 29.0641 50.91/51.11 c bounds 23773 >= 2495 @ 29.256 50.91/51.11 c bounds 23773 >= 2496 @ 29.458 50.91/51.11 c bounds 23773 >= 2497 @ 29.5508 50.91/51.11 c bounds 23773 >= 2498 @ 29.7368 50.91/51.11 c bounds 23773 >= 2499 @ 29.9173 50.91/51.11 c bounds 23773 >= 2500 @ 30.0827 50.91/51.11 c bounds 23773 >= 2501 @ 30.2625 50.91/51.11 c bounds 23773 >= 2502 @ 30.4568 50.91/51.11 c bounds 23773 >= 2503 @ 30.6135 50.91/51.11 c bounds 23773 >= 2504 @ 30.8201 50.91/51.11 c bounds 23773 >= 2505 @ 30.9135 50.91/51.11 c bounds 23773 >= 2506 @ 31.0666 50.91/51.11 c bounds 23773 >= 2507 @ 31.6461 50.91/51.11 c bounds 23773 >= 2508 @ 32.0688 50.91/51.11 c bounds 23773 >= 2509 @ 32.2091 50.91/51.11 c #Conflicts: 16000 | #Constraints: 21411 50.91/51.11 c bounds 23773 >= 2510 @ 32.4956 50.91/51.11 c bounds 23773 >= 2511 @ 32.6644 50.91/51.11 c bounds 23773 >= 2512 @ 32.9289 50.91/51.11 c bounds 23773 >= 2513 @ 33.1171 50.91/51.11 c bounds 23773 >= 2514 @ 33.2974 50.91/51.11 c bounds 23773 >= 2515 @ 33.4943 50.91/51.11 c bounds 23773 >= 2516 @ 33.6335 50.91/51.11 c bounds 23773 >= 2517 @ 33.7742 50.91/51.11 c bounds 23773 >= 2518 @ 33.9067 50.91/51.11 c bounds 23773 >= 2519 @ 34.0356 50.91/51.11 c bounds 23773 >= 2520 @ 34.2384 50.91/51.11 c bounds 23773 >= 2521 @ 34.7775 50.91/51.11 c bounds 23773 >= 2522 @ 35.422 50.91/51.11 c bounds 23773 >= 2523 @ 36.0766 50.91/51.11 c bounds 23773 >= 2524 @ 36.3162 50.91/51.11 c bounds 23773 >= 2525 @ 36.6272 50.91/51.11 c bounds 23773 >= 2526 @ 37.1856 50.91/51.11 c bounds 23773 >= 2527 @ 37.6651 50.91/51.11 c bounds 23773 >= 2528 @ 37.9618 50.91/51.11 c bounds 23773 >= 2529 @ 38.3595 50.91/51.11 c #Conflicts: 17000 | #Constraints: 23415 50.91/51.11 c bounds 23773 >= 2530 @ 38.6603 50.91/51.11 c bounds 23773 >= 2531 @ 39.5436 50.91/51.11 c bounds 23773 >= 2532 @ 39.9856 50.91/51.11 c bounds 23773 >= 2533 @ 40.4193 50.91/51.11 c bounds 23773 >= 2534 @ 40.8537 50.91/51.11 c bounds 23773 >= 2535 @ 41.59 50.91/51.11 c bounds 23773 >= 2536 @ 42.0311 50.91/51.11 c bounds 23773 >= 2537 @ 42.4888 50.91/51.11 c bounds 23773 >= 2538 @ 43.3163 50.91/51.11 c bounds 23773 >= 2539 @ 44.0608 50.91/51.11 c bounds 23773 >= 2540 @ 44.5901 50.91/51.11 c bounds 23773 >= 2541 @ 45.6355 50.91/51.11 c #Conflicts: 18000 | #Constraints: 25309 50.91/51.11 c bounds 23773 >= 2542 @ 46.0356 50.91/51.11 c bounds 23773 >= 2543 @ 46.7414 50.91/51.11 c bounds 23773 >= 2544 @ 47.3266 50.91/51.11 c INPROCESSING 50.91/51.11 c GARBAGE COLLECT 50.91/51.11 c rational objective 5344.78 63.77/64.06 c bounds 23773 >= 2545 @ 47.987 63.77/64.06 c bounds 23773 >= 2546 @ 48.6265 63.77/64.06 c bounds 23773 >= 2547 @ 49.3609 63.77/64.06 c bounds 23773 >= 2548 @ 49.9399 63.77/64.06 c bounds 23773 >= 2549 @ 51.2861 63.77/64.06 c bounds 23773 >= 2550 @ 51.7139 63.77/64.06 c bounds 23773 >= 2551 @ 52.3435 63.77/64.06 c bounds 23773 >= 2552 @ 52.8227 63.77/64.06 c #Conflicts: 19000 | #Constraints: 23900 63.77/64.06 c #Conflicts: 20000 | #Constraints: 24901 63.77/64.06 c #Conflicts: 21000 | #Constraints: 25903 63.77/64.06 c bounds 23762 >= 2552 @ 59.6445 63.77/64.06 c INPROCESSING 63.77/64.06 c GARBAGE COLLECT 63.77/64.06 c rational objective 5345.25 99.54/99.90 c bounds 23762 >= 2553 @ 61.8927 99.54/99.90 c bounds 23762 >= 2554 @ 62.7832 99.54/99.90 c bounds 23762 >= 2555 @ 63.2765 99.54/99.90 c #Conflicts: 22000 | #Constraints: 23925 99.54/99.90 c bounds 23762 >= 2556 @ 64.4013 99.54/99.90 c bounds 23762 >= 2557 @ 65.8097 99.54/99.90 c bounds 23762 >= 2558 @ 66.3522 99.54/99.90 c bounds 23762 >= 2559 @ 66.9351 99.54/99.90 c bounds 23762 >= 2560 @ 68.2336 99.54/99.90 c bounds 23762 >= 2561 @ 69.8035 99.54/99.90 c bounds 23762 >= 2562 @ 70.8788 99.54/99.90 c #Conflicts: 23000 | #Constraints: 25436 99.54/99.90 c bounds 23762 >= 2563 @ 71.5354 99.54/99.90 c bounds 23762 >= 2564 @ 72.3276 99.54/99.90 c bounds 23762 >= 2565 @ 72.9603 99.54/99.90 c bounds 23762 >= 2566 @ 74.4779 99.54/99.90 c bounds 23762 >= 2567 @ 75.5397 99.54/99.90 c bounds 23762 >= 2568 @ 76.2513 99.54/99.90 c bounds 23762 >= 2569 @ 77.1089 99.54/99.90 c bounds 23762 >= 2570 @ 78.4152 99.54/99.90 c bounds 23762 >= 2571 @ 79.6754 99.54/99.90 c #Conflicts: 24000 | #Constraints: 27132 99.54/99.90 c bounds 23762 >= 2572 @ 80.9708 99.54/99.90 c bounds 23762 >= 2573 @ 81.5227 99.54/99.90 c bounds 23762 >= 2574 @ 82.1678 99.54/99.90 c bounds 23762 >= 2575 @ 82.8894 99.54/99.90 c bounds 23762 >= 2576 @ 83.8712 99.54/99.90 c bounds 23762 >= 2577 @ 84.5658 99.54/99.90 c bounds 23762 >= 2578 @ 85.5629 99.54/99.90 c bounds 23762 >= 2579 @ 86.5941 99.54/99.90 c bounds 23762 >= 2580 @ 88.2197 99.54/99.90 c bounds 23762 >= 2581 @ 88.9376 99.54/99.90 c bounds 23762 >= 2582 @ 89.8419 99.54/99.90 c bounds 23762 >= 2583 @ 90.71 99.54/99.90 c bounds 23762 >= 2584 @ 91.7295 99.54/99.90 c #Conflicts: 25000 | #Constraints: 28847 99.54/99.90 c bounds 23762 >= 2585 @ 92.9756 99.54/99.90 c bounds 23762 >= 2586 @ 93.8946 99.54/99.90 c bounds 23762 >= 2587 @ 94.7613 99.54/99.90 c bounds 23762 >= 2588 @ 95.4056 99.54/99.90 c INPROCESSING 99.54/99.90 c GARBAGE COLLECT 99.54/99.90 c rational objective 5345.25 151.27/151.86 c bounds 23762 >= 2589 @ 97.023 151.27/151.86 c bounds 23762 >= 2590 @ 97.6383 151.27/151.86 c bounds 23762 >= 2591 @ 98.4647 151.27/151.86 c bounds 23762 >= 2592 @ 101.196 151.27/151.86 c bounds 23762 >= 2593 @ 102.632 151.27/151.86 c bounds 23762 >= 2594 @ 104.656 151.27/151.86 c #Conflicts: 26000 | #Constraints: 27041 151.27/151.86 c bounds 23762 >= 2595 @ 105.557 151.27/151.86 c bounds 23762 >= 2596 @ 106.181 151.27/151.86 c bounds 23762 >= 2597 @ 107.21 151.27/151.86 c bounds 23762 >= 2598 @ 108.854 151.27/151.86 c bounds 23762 >= 2599 @ 109.884 151.27/151.86 c bounds 23762 >= 2600 @ 111.693 151.27/151.86 c bounds 23762 >= 2601 @ 113.944 151.27/151.86 c bounds 23762 >= 2602 @ 114.809 151.27/151.86 c bounds 23762 >= 2603 @ 116.536 151.27/151.86 c bounds 23762 >= 2604 @ 118.152 151.27/151.86 c #Conflicts: 27000 | #Constraints: 28540 151.27/151.86 c bounds 23762 >= 2605 @ 120.026 151.27/151.86 c bounds 23762 >= 2606 @ 120.792 151.27/151.86 c bounds 23762 >= 2607 @ 121.584 151.27/151.86 c bounds 23762 >= 2608 @ 122.559 151.27/151.86 c bounds 23762 >= 2609 @ 124.006 151.27/151.86 c bounds 23762 >= 2610 @ 125.118 151.27/151.86 c bounds 23762 >= 2611 @ 126.479 151.27/151.86 c bounds 23762 >= 2612 @ 127.025 151.27/151.86 c bounds 23762 >= 2613 @ 128.759 151.27/151.86 c bounds 23762 >= 2614 @ 129.344 151.27/151.86 c bounds 23762 >= 2615 @ 130.193 151.27/151.86 c bounds 23698 >= 2615 @ 131.221 151.27/151.86 c #Conflicts: 28000 | #Constraints: 30035 151.27/151.86 c bounds 23698 >= 2616 @ 132.833 151.27/151.86 c bounds 23698 >= 2617 @ 134.161 151.27/151.86 c bounds 23698 >= 2618 @ 135.408 151.27/151.86 c bounds 23698 >= 2619 @ 136.236 151.27/151.86 c bounds 23698 >= 2620 @ 137.083 151.27/151.86 c bounds 23698 >= 2621 @ 138.703 151.27/151.86 c bounds 23698 >= 2622 @ 139.972 151.27/151.86 c bounds 23698 >= 2623 @ 140.536 151.27/151.86 c bounds 23698 >= 2624 @ 141.785 151.27/151.86 c bounds 23698 >= 2625 @ 142.622 151.27/151.86 c bounds 23698 >= 2626 @ 143.528 151.27/151.86 c bounds 23698 >= 2627 @ 146.21 151.27/151.86 c bounds 23618 >= 2627 @ 146.23 151.27/151.86 c bounds 23598 >= 2627 @ 146.281 151.27/151.86 c #Conflicts: 29000 | #Constraints: 31604 151.27/151.86 c INPROCESSING 151.27/151.86 c GARBAGE COLLECT 151.27/151.86 c rational objective 5345.25 215.97/216.73 c bounds 23598 >= 2628 @ 149.74 215.97/216.73 c bounds 23598 >= 2629 @ 151.412 215.97/216.73 c bounds 23598 >= 2630 @ 153.373 215.97/216.73 c bounds 23598 >= 2631 @ 154.681 215.97/216.73 c bounds 23598 >= 2632 @ 156.137 215.97/216.73 c bounds 23598 >= 2633 @ 158.123 215.97/216.73 c #Conflicts: 30000 | #Constraints: 29219 215.97/216.73 c bounds 23595 >= 2633 @ 160.266 215.97/216.73 c bounds 23595 >= 2634 @ 162.728 215.97/216.73 c bounds 23595 >= 2635 @ 164.544 215.97/216.73 c bounds 23595 >= 2636 @ 166.013 215.97/216.73 c bounds 23595 >= 2637 @ 167.26 215.97/216.73 c bounds 23595 >= 2638 @ 169.006 215.97/216.73 c bounds 23595 >= 2639 @ 169.675 215.97/216.73 c bounds 23595 >= 2640 @ 170.931 215.97/216.73 c #Conflicts: 31000 | #Constraints: 30617 215.97/216.73 c bounds 23595 >= 2641 @ 172.377 215.97/216.73 c bounds 23595 >= 2642 @ 173.99 215.97/216.73 c bounds 23595 >= 2643 @ 174.957 215.97/216.73 c bounds 23595 >= 2644 @ 175.953 215.97/216.73 c bounds 23595 >= 2645 @ 177.077 215.97/216.73 c bounds 23595 >= 2646 @ 178.306 215.97/216.73 c bounds 23595 >= 2647 @ 179.364 215.97/216.73 c bounds 23595 >= 2648 @ 180.606 215.97/216.73 c bounds 23595 >= 2649 @ 181.615 215.97/216.73 c bounds 23595 >= 2650 @ 182.676 215.97/216.73 c bounds 23595 >= 2651 @ 183.351 215.97/216.73 c bounds 23595 >= 2652 @ 184.567 215.97/216.73 c bounds 23595 >= 2653 @ 185.942 215.97/216.73 c bounds 23595 >= 2654 @ 187.114 215.97/216.73 c bounds 23595 >= 2655 @ 188.351 215.97/216.73 c bounds 23595 >= 2656 @ 189.54 215.97/216.73 c bounds 23595 >= 2657 @ 191.195 215.97/216.73 c bounds 23589 >= 2657 @ 191.22 215.97/216.73 c bounds 23589 >= 2658 @ 192.493 215.97/216.73 c bounds 23579 >= 2658 @ 192.599 215.97/216.73 c bounds 23579 >= 2659 @ 194.82 215.97/216.73 c bounds 23180 >= 2659 @ 194.896 215.97/216.73 c bounds 22692 >= 2659 @ 194.934 215.97/216.73 c #Conflicts: 32000 | #Constraints: 32487 215.97/216.73 c bounds 21238 >= 2659 @ 195.488 215.97/216.73 c bounds 21238 >= 2660 @ 196.755 215.97/216.73 c bounds 21238 >= 2661 @ 197.822 215.97/216.73 c bounds 21238 >= 2662 @ 198.495 215.97/216.73 c bounds 21238 >= 2663 @ 200.633 215.97/216.73 c bounds 21238 >= 2664 @ 201.849 215.97/216.73 c bounds 21229 >= 2664 @ 202.485 215.97/216.73 c bounds 21229 >= 2665 @ 203.896 215.97/216.73 c bounds 21229 >= 2666 @ 205.042 215.97/216.73 c bounds 21229 >= 2667 @ 206.733 215.97/216.73 c bounds 21229 >= 2668 @ 207.931 215.97/216.73 c bounds 21229 >= 2669 @ 209.234 215.97/216.73 c #Conflicts: 33000 | #Constraints: 33991 215.97/216.73 c INPROCESSING 215.97/216.73 c GARBAGE COLLECT 215.97/216.73 c rational objective 5348.27 300.48/301.59 c bounds 21229 >= 2670 @ 212.577 300.48/301.59 c bounds 21229 >= 2671 @ 213.685 300.48/301.59 c bounds 21227 >= 2671 @ 215.233 300.48/301.59 c bounds 21227 >= 2672 @ 216.64 300.48/301.59 c bounds 21227 >= 2673 @ 219.475 300.48/301.59 c bounds 21227 >= 2674 @ 220.52 300.48/301.59 c bounds 21227 >= 2675 @ 222.001 300.48/301.59 c bounds 21227 >= 2676 @ 223.701 300.48/301.59 c bounds 21227 >= 2677 @ 225.256 300.48/301.59 c bounds 21227 >= 2678 @ 227.72 300.48/301.59 c #Conflicts: 34000 | #Constraints: 31787 300.48/301.59 c bounds 21227 >= 2679 @ 228.982 300.48/301.59 c bounds 21227 >= 2680 @ 230.02 300.48/301.59 c bounds 21227 >= 2681 @ 230.546 300.48/301.59 c bounds 21227 >= 2682 @ 232.067 300.48/301.59 c bounds 21227 >= 2683 @ 233.384 300.48/301.59 c bounds 21227 >= 2684 @ 234.222 300.48/301.59 c bounds 21227 >= 2685 @ 235.387 300.48/301.59 c #Conflicts: 35000 | #Constraints: 33106 300.48/301.59 c bounds 10227 >= 2685 @ 240.013 300.48/301.59 c bounds 10227 >= 2686 @ 242.026 300.48/301.59 c bounds 10227 >= 2687 @ 243.248 300.48/301.59 c bounds 10227 >= 2688 @ 244.783 300.48/301.59 c bounds 10227 >= 2689 @ 245.553 300.48/301.59 c bounds 10227 >= 2690 @ 246.925 300.48/301.59 c bounds 10227 >= 2691 @ 248.297 300.48/301.59 c bounds 10227 >= 2692 @ 248.826 300.48/301.59 c bounds 10227 >= 2693 @ 249.754 300.48/301.59 c bounds 10227 >= 2694 @ 250.847 300.48/301.59 c bounds 10227 >= 2695 @ 252.948 300.48/301.59 c bounds 10227 >= 2696 @ 253.954 300.48/301.59 c bounds 10227 >= 2697 @ 256.412 300.48/301.59 c bounds 10227 >= 2698 @ 257.809 300.48/301.59 c bounds 10227 >= 2699 @ 258.956 300.48/301.59 c bounds 10227 >= 2700 @ 260.117 300.48/301.59 c #Conflicts: 36000 | #Constraints: 34812 300.48/301.59 c bounds 10227 >= 2701 @ 261.416 300.48/301.59 c bounds 10227 >= 2702 @ 263.364 300.48/301.59 c bounds 10227 >= 2703 @ 264.434 300.48/301.59 c bounds 10227 >= 2704 @ 265.642 300.48/301.59 c bounds 10227 >= 2705 @ 267.223 300.48/301.59 c bounds 10227 >= 2706 @ 268.754 300.48/301.59 c bounds 10227 >= 2707 @ 269.716 300.48/301.59 c bounds 10227 >= 2708 @ 270.623 300.48/301.59 c bounds 10227 >= 2709 @ 272.006 300.48/301.59 c bounds 10227 >= 2710 @ 273.067 300.48/301.59 c bounds 10227 >= 2711 @ 273.852 300.48/301.59 c bounds 10227 >= 2712 @ 275.232 300.48/301.59 c bounds 10227 >= 2713 @ 277.62 300.48/301.59 c bounds 10227 >= 2714 @ 278.242 300.48/301.59 c bounds 10227 >= 2715 @ 279.66 300.48/301.59 c bounds 10227 >= 2716 @ 280.617 300.48/301.59 c bounds 10227 >= 2717 @ 281.618 300.48/301.59 c bounds 10227 >= 2718 @ 282.667 300.48/301.59 c bounds 10227 >= 2719 @ 283.517 300.48/301.59 c bounds 10227 >= 2720 @ 285.06 300.48/301.59 c bounds 10227 >= 2721 @ 286.539 300.48/301.59 c bounds 10227 >= 2722 @ 288.656 300.48/301.59 c #Conflicts: 37000 | #Constraints: 36692 300.48/301.59 c bounds 10227 >= 2723 @ 289.704 300.48/301.59 c bounds 10227 >= 2724 @ 290.566 300.48/301.59 c bounds 10227 >= 2725 @ 291.657 300.48/301.59 c bounds 10227 >= 2726 @ 293.545 300.48/301.59 c INPROCESSING 300.48/301.59 c GARBAGE COLLECT 300.48/301.59 c rational objective 7565.54 366.14/367.49 c bounds 10227 >= 2727 @ 298.175 366.14/367.49 c bounds 10227 >= 2728 @ 299.151 366.14/367.49 c bounds 10227 >= 2729 @ 303.036 366.14/367.49 c bounds 10227 >= 2730 @ 304.6 366.14/367.49 c bounds 10227 >= 2731 @ 308.412 366.14/367.49 c bounds 10227 >= 2732 @ 310.164 366.14/367.49 c #Conflicts: 38000 | #Constraints: 34172 366.14/367.49 c bounds 10216 >= 2732 @ 310.478 366.14/367.49 c bounds 10216 >= 2733 @ 313.666 366.14/367.49 c bounds 10216 >= 2734 @ 315.059 366.14/367.49 c bounds 10216 >= 2735 @ 317.962 366.14/367.49 c bounds 10190 >= 2735 @ 317.987 366.14/367.49 c bounds 10179 >= 2735 @ 318.011 366.14/367.49 c bounds 10176 >= 2735 @ 318.143 366.14/367.49 c bounds 10164 >= 2735 @ 318.465 366.14/367.49 c bounds 10164 >= 2736 @ 320.593 366.14/367.49 c #Conflicts: 39000 | #Constraints: 35335 366.14/367.49 c bounds 10164 >= 2737 @ 321.991 366.14/367.49 c bounds 10164 >= 2738 @ 325.433 366.14/367.49 c bounds 10146 >= 2738 @ 325.459 366.14/367.49 c bounds 10080 >= 2738 @ 325.61 366.14/367.49 c bounds 10080 >= 2739 @ 327.864 366.14/367.49 c #Conflicts: 40000 | #Constraints: 36509 366.14/367.49 c bounds 10076 >= 2739 @ 329.276 366.14/367.49 c bounds 10076 >= 2740 @ 332.082 366.14/367.49 c bounds 10076 >= 2741 @ 334.547 366.14/367.49 c bounds 10076 >= 2742 @ 336.148 366.14/367.49 c bounds 10076 >= 2743 @ 340.368 366.14/367.49 c bounds 10076 >= 2744 @ 342.409 366.14/367.49 c bounds 10076 >= 2745 @ 344.479 366.14/367.49 c bounds 10076 >= 2746 @ 345.983 366.14/367.49 c #Conflicts: 41000 | #Constraints: 37923 366.14/367.49 c bounds 10076 >= 2747 @ 348.04 366.14/367.49 c bounds 10076 >= 2748 @ 350.522 366.14/367.49 c bounds 10076 >= 2749 @ 352.151 366.14/367.49 c bounds 10021 >= 2749 @ 352.227 366.14/367.49 c bounds 10021 >= 2750 @ 354.604 366.14/367.49 c bounds 10015 >= 2750 @ 354.633 366.14/367.49 c bounds 10000 >= 2750 @ 354.666 366.14/367.49 c bounds 9925 >= 2750 @ 354.701 366.14/367.49 c bounds 9883 >= 2750 @ 354.725 366.14/367.49 c bounds 9871 >= 2750 @ 354.955 366.14/367.49 c bounds 9871 >= 2751 @ 360.027 366.14/367.49 c INPROCESSING 366.14/367.49 c GARBAGE COLLECT 366.14/367.49 c rational objective 7565.74 419.54/421.01 c bounds 9871 >= 2752 @ 364.703 419.54/421.01 c bounds 9869 >= 2752 @ 364.742 419.54/421.01 c #Conflicts: 42000 | #Constraints: 35011 419.54/421.01 c bounds 9858 >= 2752 @ 365.521 419.54/421.01 c bounds 9858 >= 2753 @ 367.374 419.54/421.01 c bounds 9858 >= 2754 @ 369.792 419.54/421.01 c bounds 9858 >= 2755 @ 370.974 419.54/421.01 c bounds 9858 >= 2756 @ 372.321 419.54/421.01 c bounds 9858 >= 2757 @ 374.414 419.54/421.01 c #Conflicts: 43000 | #Constraints: 36313 419.54/421.01 c bounds 9854 >= 2757 @ 374.974 419.54/421.01 c bounds 9854 >= 2758 @ 378.857 419.54/421.01 c bounds 9854 >= 2759 @ 380.768 419.54/421.01 c bounds 9854 >= 2760 @ 384.499 419.54/421.01 c bounds 9746 >= 2760 @ 384.577 419.54/421.01 c bounds 9746 >= 2761 @ 386.684 419.54/421.01 c bounds 9350 >= 2761 @ 387.264 419.54/421.01 c #Conflicts: 44000 | #Constraints: 37547 419.54/421.01 c bounds 9350 >= 2762 @ 390.663 419.54/421.01 c bounds 9350 >= 2763 @ 392.574 419.54/421.01 c bounds 9350 >= 2764 @ 393.879 419.54/421.01 c bounds 9350 >= 2765 @ 396.494 419.54/421.01 c bounds 9350 >= 2766 @ 397.57 419.54/421.01 c bounds 9350 >= 2767 @ 399.147 419.54/421.01 c #Conflicts: 45000 | #Constraints: 38823 419.54/421.01 c bounds 9311 >= 2767 @ 405.078 419.54/421.01 c #Conflicts: 46000 | #Constraints: 39830 419.54/421.01 c bounds 9311 >= 2768 @ 407.385 419.54/421.01 c bounds 9311 >= 2769 @ 408.888 419.54/421.01 c bounds 9311 >= 2770 @ 410.068 419.54/421.01 c bounds 9311 >= 2771 @ 412.238 419.54/421.01 c INPROCESSING 419.54/421.01 c GARBAGE COLLECT 419.54/421.01 c rational objective 7571.15 537.51/539.40 c bounds 9311 >= 2772 @ 416.655 537.51/539.40 c bounds 9311 >= 2773 @ 418.254 537.51/539.40 c bounds 9311 >= 2774 @ 419.657 537.51/539.40 c bounds 9311 >= 2775 @ 421.531 537.51/539.40 c bounds 9311 >= 2776 @ 422.6 537.51/539.40 c bounds 9311 >= 2777 @ 424.295 537.51/539.40 c bounds 9311 >= 2778 @ 425.949 537.51/539.40 c bounds 9311 >= 2779 @ 426.994 537.51/539.40 c bounds 9311 >= 2780 @ 428.73 537.51/539.40 c bounds 9311 >= 2781 @ 430.14 537.51/539.40 c bounds 9311 >= 2782 @ 433.079 537.51/539.40 c bounds 9311 >= 2783 @ 434.748 537.51/539.40 c #Conflicts: 47000 | #Constraints: 37217 537.51/539.40 c bounds 9311 >= 2784 @ 436.855 537.51/539.40 c bounds 9311 >= 2785 @ 438.495 537.51/539.40 c bounds 9311 >= 2786 @ 440.128 537.51/539.40 c bounds 9311 >= 2787 @ 440.92 537.51/539.40 c bounds 9311 >= 2788 @ 442.258 537.51/539.40 c bounds 9311 >= 2789 @ 443.546 537.51/539.40 c bounds 9311 >= 2790 @ 445.285 537.51/539.40 c bounds 9311 >= 2791 @ 446.528 537.51/539.40 c bounds 9311 >= 2792 @ 448.677 537.51/539.40 c bounds 9311 >= 2793 @ 450.131 537.51/539.40 c bounds 9311 >= 2794 @ 451.868 537.51/539.40 c bounds 9311 >= 2795 @ 453.439 537.51/539.40 c bounds 9311 >= 2796 @ 454.77 537.51/539.40 c bounds 9311 >= 2797 @ 455.935 537.51/539.40 c bounds 9311 >= 2798 @ 457.396 537.51/539.40 c bounds 9311 >= 2799 @ 460.158 537.51/539.40 c bounds 9311 >= 2800 @ 461.036 537.51/539.40 c bounds 9311 >= 2801 @ 463.474 537.51/539.40 c bounds 9311 >= 2802 @ 466.78 537.51/539.40 c #Conflicts: 48000 | #Constraints: 39018 537.51/539.40 c bounds 9311 >= 2803 @ 468.28 537.51/539.40 c bounds 9311 >= 2804 @ 470.172 537.51/539.40 c bounds 9311 >= 2805 @ 472.131 537.51/539.40 c bounds 9311 >= 2806 @ 473.759 537.51/539.40 c bounds 9311 >= 2807 @ 475.382 537.51/539.40 c bounds 9311 >= 2808 @ 476.735 537.51/539.40 c bounds 9311 >= 2809 @ 478.228 537.51/539.40 c bounds 9311 >= 2810 @ 479.559 537.51/539.40 c bounds 9311 >= 2811 @ 480.909 537.51/539.40 c bounds 9311 >= 2812 @ 482.152 537.51/539.40 c bounds 9311 >= 2813 @ 483.556 537.51/539.40 c bounds 9311 >= 2814 @ 485.081 537.51/539.40 c bounds 9311 >= 2815 @ 486.655 537.51/539.40 c bounds 9311 >= 2816 @ 489.34 537.51/539.40 c bounds 9311 >= 2817 @ 492.99 537.51/539.40 c bounds 9311 >= 2818 @ 494.538 537.51/539.40 c bounds 9311 >= 2819 @ 498.356 537.51/539.40 c bounds 9311 >= 2820 @ 500.507 537.51/539.40 c bounds 9299 >= 2820 @ 500.533 537.51/539.40 c bounds 9281 >= 2820 @ 500.558 537.51/539.40 c #Conflicts: 49000 | #Constraints: 40848 537.51/539.40 c bounds 9278 >= 2820 @ 501.02 537.51/539.40 c bounds 9278 >= 2821 @ 506.374 537.51/539.40 c bounds 9278 >= 2822 @ 508.04 537.51/539.40 c bounds 9273 >= 2822 @ 508.071 537.51/539.40 c bounds 9259 >= 2822 @ 508.094 537.51/539.40 c bounds 9247 >= 2822 @ 508.365 537.51/539.40 c bounds 9247 >= 2823 @ 511.997 537.51/539.40 c bounds 9247 >= 2824 @ 514.807 537.51/539.40 c #Conflicts: 50000 | #Constraints: 42042 537.51/539.40 c bounds 9244 >= 2824 @ 515.328 537.51/539.40 c bounds 9244 >= 2825 @ 518.294 537.51/539.40 c bounds 9244 >= 2826 @ 520.66 537.51/539.40 c bounds 9244 >= 2827 @ 523.347 537.51/539.40 c bounds 9233 >= 2827 @ 523.412 537.51/539.40 c bounds 9233 >= 2828 @ 527.721 537.51/539.40 c bounds 9217 >= 2828 @ 527.782 537.51/539.40 c bounds 9144 >= 2828 @ 529.063 537.51/539.40 c #Conflicts: 51000 | #Constraints: 43344 537.51/539.40 c INPROCESSING 537.51/539.40 c GARBAGE COLLECT 537.51/539.40 c rational objective 7604.23 618.02/620.22 c bounds 9144 >= 2829 @ 535.565 618.02/620.22 c bounds 9144 >= 2830 @ 539.561 618.02/620.22 c bounds 9144 >= 2831 @ 545.063 618.02/620.22 c bounds 9144 >= 2832 @ 551.539 618.02/620.22 c bounds 9143 >= 2832 @ 551.605 618.02/620.22 c #Conflicts: 52000 | #Constraints: 40113 618.02/620.22 c #Conflicts: 53000 | #Constraints: 41116 618.02/620.22 c #Conflicts: 54000 | #Constraints: 42120 618.02/620.22 c bounds 9136 >= 2832 @ 560.646 618.02/620.22 c bounds 9136 >= 2833 @ 564.867 618.02/620.22 c bounds 9136 >= 2834 @ 568.197 618.02/620.22 c #Conflicts: 55000 | #Constraints: 43299 618.02/620.22 c bounds 9136 >= 2835 @ 578.867 618.02/620.22 c bounds 9136 >= 2836 @ 583.318 618.02/620.22 c bounds 9136 >= 2837 @ 587.73 618.02/620.22 c bounds 9136 >= 2838 @ 589.2 618.02/620.22 c bounds 9136 >= 2839 @ 591.93 618.02/620.22 c bounds 9136 >= 2840 @ 595.626 618.02/620.22 c bounds 9136 >= 2841 @ 598.555 618.02/620.22 c bounds 9136 >= 2842 @ 600.999 618.02/620.22 c bounds 9136 >= 2843 @ 604.63 618.02/620.22 c bounds 9136 >= 2844 @ 607.083 618.02/620.22 c bounds 9136 >= 2845 @ 608.345 618.02/620.22 c bounds 9136 >= 2846 @ 610.059 618.02/620.22 c #Conflicts: 56000 | #Constraints: 45060 618.02/620.22 c INPROCESSING 618.02/620.22 c GARBAGE COLLECT 618.02/620.22 c rational objective 7605.81 785.91/788.75 c bounds 9136 >= 2847 @ 614.931 785.91/788.75 c bounds 9136 >= 2848 @ 621.924 785.91/788.75 c bounds 9136 >= 2849 @ 625.138 785.91/788.75 c bounds 9136 >= 2850 @ 630.616 785.91/788.75 c bounds 9136 >= 2851 @ 633.164 785.91/788.75 c bounds 9136 >= 2852 @ 636.192 785.91/788.75 c bounds 9136 >= 2853 @ 638.724 785.91/788.75 c bounds 9136 >= 2854 @ 644.685 785.91/788.75 c bounds 9136 >= 2855 @ 647.403 785.91/788.75 c bounds 9136 >= 2856 @ 651.083 785.91/788.75 c bounds 9136 >= 2857 @ 653.614 785.91/788.75 c #Conflicts: 57000 | #Constraints: 41953 785.91/788.75 c bounds 9136 >= 2858 @ 656.463 785.91/788.75 c bounds 9136 >= 2859 @ 660.14 785.91/788.75 c bounds 9136 >= 2860 @ 662.477 785.91/788.75 c bounds 9136 >= 2861 @ 669.386 785.91/788.75 c bounds 9136 >= 2862 @ 671.658 785.91/788.75 c bounds 9136 >= 2863 @ 677.987 785.91/788.75 c bounds 9136 >= 2864 @ 683.198 785.91/788.75 c bounds 9136 >= 2865 @ 686.689 785.91/788.75 c bounds 9136 >= 2866 @ 691.13 785.91/788.75 c bounds 9136 >= 2867 @ 693.55 785.91/788.75 c bounds 9136 >= 2868 @ 696.627 785.91/788.75 c bounds 9136 >= 2869 @ 699.042 785.91/788.75 c #Conflicts: 58000 | #Constraints: 43632 785.91/788.75 c bounds 9136 >= 2870 @ 703.584 785.91/788.75 c bounds 9136 >= 2871 @ 706.757 785.91/788.75 c bounds 9136 >= 2872 @ 711.596 785.91/788.75 c bounds 9136 >= 2873 @ 713.724 785.91/788.75 c bounds 9136 >= 2874 @ 718.063 785.91/788.75 c bounds 9136 >= 2875 @ 722.679 785.91/788.75 c bounds 9136 >= 2876 @ 731.172 785.91/788.75 c bounds 9136 >= 2877 @ 734.181 785.91/788.75 c bounds 9136 >= 2878 @ 744.416 785.91/788.75 c #Conflicts: 59000 | #Constraints: 45216 785.91/788.75 c bounds 9136 >= 2879 @ 750.636 785.91/788.75 c bounds 9131 >= 2879 @ 750.666 785.91/788.75 c bounds 8857 >= 2879 @ 751.878 785.91/788.75 c bounds 8857 >= 2880 @ 756.207 785.91/788.75 c bounds 8857 >= 2881 @ 761.599 785.91/788.75 c bounds 8857 >= 2882 @ 769.059 785.91/788.75 c #Conflicts: 60000 | #Constraints: 46475 785.91/788.75 c bounds 8844 >= 2882 @ 769.452 785.91/788.75 c bounds 8844 >= 2883 @ 773.989 785.91/788.75 c #Conflicts: 61000 | #Constraints: 47558 785.91/788.75 c bounds 8816 >= 2883 @ 775.863 785.91/788.75 c INPROCESSING 785.91/788.75 c GARBAGE COLLECT 785.91/788.75 c rational objective 7611.03 937.52/940.97 c bounds 8816 >= 2884 @ 785.172 937.52/940.97 c bounds 8816 >= 2885 @ 788.63 937.52/940.97 c bounds 8816 >= 2886 @ 793.667 937.52/940.97 c bounds 8816 >= 2887 @ 799.911 937.52/940.97 c bounds 8816 >= 2888 @ 802.371 937.52/940.97 c bounds 8816 >= 2889 @ 808.134 937.52/940.97 c #Conflicts: 62000 | #Constraints: 43467 937.52/940.97 c bounds 8816 >= 2890 @ 811.366 937.52/940.97 c bounds 8816 >= 2891 @ 813.537 937.52/940.97 c bounds 8816 >= 2892 @ 817.567 937.52/940.97 c bounds 8816 >= 2893 @ 822.493 937.52/940.97 c bounds 8809 >= 2893 @ 823.38 937.52/940.97 c #Conflicts: 63000 | #Constraints: 44674 937.52/940.97 c bounds 8809 >= 2894 @ 826.83 937.52/940.97 c bounds 8809 >= 2895 @ 829.265 937.52/940.97 c bounds 8809 >= 2896 @ 833.352 937.52/940.97 c bounds 8809 >= 2897 @ 836.509 937.52/940.97 c #Conflicts: 64000 | #Constraints: 45960 937.52/940.97 c bounds 8805 >= 2897 @ 838.584 937.52/940.97 c bounds 8805 >= 2898 @ 842.555 937.52/940.97 c bounds 8805 >= 2899 @ 849.523 937.52/940.97 c bounds 8805 >= 2900 @ 852.748 937.52/940.97 c bounds 8805 >= 2901 @ 854.633 937.52/940.97 c bounds 8805 >= 2902 @ 856.766 937.52/940.97 c bounds 8805 >= 2903 @ 858.344 937.52/940.97 c bounds 8805 >= 2904 @ 862.885 937.52/940.97 c bounds 8805 >= 2905 @ 868.251 937.52/940.97 c bounds 8805 >= 2906 @ 870.551 937.52/940.97 c bounds 8805 >= 2907 @ 872.663 937.52/940.97 c bounds 8805 >= 2908 @ 876.129 937.52/940.97 c bounds 8805 >= 2909 @ 877.25 937.52/940.97 c bounds 8805 >= 2910 @ 880.09 937.52/940.97 c bounds 8805 >= 2911 @ 881.857 937.52/940.97 c #Conflicts: 65000 | #Constraints: 47647 937.52/940.97 c bounds 8805 >= 2912 @ 885.427 937.52/940.97 c bounds 8801 >= 2912 @ 886.459 937.52/940.97 c bounds 8801 >= 2913 @ 893.151 937.52/940.97 c bounds 8801 >= 2914 @ 897.064 937.52/940.97 c bounds 8801 >= 2915 @ 899.887 937.52/940.97 c #Conflicts: 66000 | #Constraints: 48882 937.52/940.97 c bounds 8800 >= 2915 @ 902.407 937.52/940.97 c bounds 8800 >= 2916 @ 909.753 937.52/940.97 c bounds 8800 >= 2917 @ 913.097 937.52/940.97 c bounds 8800 >= 2918 @ 915.816 937.52/940.97 c bounds 8800 >= 2919 @ 918.475 937.52/940.97 c bounds 8800 >= 2920 @ 921.593 937.52/940.97 c bounds 8800 >= 2921 @ 925.142 937.52/940.97 c bounds 8800 >= 2922 @ 928.016 937.52/940.97 c INPROCESSING 937.52/940.97 c GARBAGE COLLECT 937.52/940.97 c rational objective 7611.03 1077.12/1081.05 c bounds 8800 >= 2923 @ 930.556 1077.12/1081.05 c bounds 8800 >= 2924 @ 933.458 1077.12/1081.05 c bounds 8800 >= 2925 @ 936.279 1077.12/1081.05 c bounds 8800 >= 2926 @ 937.976 1077.12/1081.05 c bounds 8800 >= 2927 @ 939.799 1077.12/1081.05 c bounds 8800 >= 2928 @ 941.2 1077.12/1081.05 c bounds 8800 >= 2929 @ 942.962 1077.12/1081.05 c bounds 8800 >= 2930 @ 946.083 1077.12/1081.05 c #Conflicts: 67000 | #Constraints: 43158 1077.12/1081.05 c bounds 8796 >= 2930 @ 946.159 1077.12/1081.05 c bounds 8791 >= 2930 @ 946.182 1077.12/1081.05 c #Conflicts: 68000 | #Constraints: 44168 1077.12/1081.05 c bounds 8784 >= 2930 @ 949.731 1077.12/1081.05 c bounds 8784 >= 2931 @ 954.085 1077.12/1081.05 c bounds 8784 >= 2932 @ 956.99 1077.12/1081.05 c bounds 8784 >= 2933 @ 959.196 1077.12/1081.05 c bounds 8784 >= 2934 @ 961.337 1077.12/1081.05 c bounds 8784 >= 2935 @ 965.893 1077.12/1081.05 c bounds 8784 >= 2936 @ 967.859 1077.12/1081.05 c bounds 8784 >= 2937 @ 971.283 1077.12/1081.05 c bounds 8784 >= 2938 @ 973.61 1077.12/1081.05 c bounds 8784 >= 2939 @ 976.357 1077.12/1081.05 c bounds 8784 >= 2940 @ 980.205 1077.12/1081.05 c #Conflicts: 69000 | #Constraints: 45627 1077.12/1081.05 c bounds 8784 >= 2941 @ 984.076 1077.12/1081.05 c bounds 8784 >= 2942 @ 987.948 1077.12/1081.05 c bounds 8784 >= 2943 @ 993.47 1077.12/1081.05 c bounds 8784 >= 2944 @ 998.71 1077.12/1081.05 c bounds 8784 >= 2945 @ 1000.92 1077.12/1081.05 c bounds 8775 >= 2945 @ 1001.21 1077.12/1081.05 c bounds 8775 >= 2946 @ 1006.88 1077.12/1081.05 c bounds 8774 >= 2946 @ 1006.93 1077.12/1081.05 c bounds 8774 >= 2947 @ 1010.85 1077.12/1081.05 c #Conflicts: 70000 | #Constraints: 47053 1077.12/1081.05 c bounds 8759 >= 2947 @ 1012.25 1077.12/1081.05 c bounds 8759 >= 2948 @ 1016.25 1077.12/1081.05 c bounds 8759 >= 2949 @ 1018.38 1077.12/1081.05 c bounds 8759 >= 2950 @ 1021.36 1077.12/1081.05 c bounds 8759 >= 2951 @ 1025.18 1077.12/1081.05 c bounds 8759 >= 2952 @ 1027.71 1077.12/1081.05 c bounds 8759 >= 2953 @ 1031.59 1077.12/1081.05 c bounds 8746 >= 2953 @ 1032.31 1077.12/1081.05 c bounds 8746 >= 2954 @ 1037 1077.12/1081.05 c #Conflicts: 71000 | #Constraints: 48413 1077.12/1081.05 c bounds 8746 >= 2955 @ 1045.62 1077.12/1081.05 c bounds 8743 >= 2955 @ 1047.9 1077.12/1081.05 c bounds 8743 >= 2956 @ 1052.88 1077.12/1081.05 c #Conflicts: 72000 | #Constraints: 49539 1077.12/1081.05 c bounds 8743 >= 2957 @ 1056.96 1077.12/1081.05 c bounds 8743 >= 2958 @ 1058.21 1077.12/1081.05 c bounds 8743 >= 2959 @ 1059.48 1077.12/1081.05 c bounds 8743 >= 2960 @ 1061.18 1077.12/1081.05 c bounds 8743 >= 2961 @ 1062.73 1077.12/1081.05 c bounds 8743 >= 2962 @ 1064.33 1077.12/1081.05 c bounds 8743 >= 2963 @ 1066.78 1077.12/1081.05 c INPROCESSING 1077.12/1081.05 c GARBAGE COLLECT 1077.12/1081.05 c rational objective 7627.85 1260.45/1265.08 c bounds 8743 >= 2964 @ 1069.01 1260.45/1265.08 c bounds 8743 >= 2965 @ 1070.27 1260.45/1265.08 c bounds 8743 >= 2966 @ 1072.37 1260.45/1265.08 c bounds 8743 >= 2967 @ 1073.95 1260.45/1265.08 c bounds 8743 >= 2968 @ 1076.39 1260.45/1265.08 c bounds 8743 >= 2969 @ 1077.47 1260.45/1265.08 c bounds 8743 >= 2970 @ 1078.94 1260.45/1265.08 c bounds 8743 >= 2971 @ 1081.91 1260.45/1265.08 c bounds 8743 >= 2972 @ 1085.13 1260.45/1265.08 c bounds 8743 >= 2973 @ 1087.9 1260.45/1265.08 c bounds 8743 >= 2974 @ 1090.27 1260.45/1265.08 c bounds 8743 >= 2975 @ 1092.79 1260.45/1265.08 c bounds 8743 >= 2976 @ 1094.66 1260.45/1265.08 c bounds 8743 >= 2977 @ 1097.76 1260.45/1265.08 c #Conflicts: 73000 | #Constraints: 45295 1260.45/1265.08 c bounds 8740 >= 2977 @ 1098.48 1260.45/1265.08 c bounds 8740 >= 2978 @ 1102.53 1260.45/1265.08 c bounds 8740 >= 2979 @ 1105.93 1260.45/1265.08 c bounds 8740 >= 2980 @ 1106.86 1260.45/1265.08 c bounds 8740 >= 2981 @ 1108.09 1260.45/1265.08 c bounds 8740 >= 2982 @ 1109.67 1260.45/1265.08 c bounds 8738 >= 2982 @ 1109.97 1260.45/1265.08 c bounds 8738 >= 2983 @ 1113.41 1260.45/1265.08 c #Conflicts: 74000 | #Constraints: 46491 1260.45/1265.08 c bounds 8726 >= 2983 @ 1115.95 1260.45/1265.08 c bounds 8726 >= 2984 @ 1121.41 1260.45/1265.08 c bounds 8726 >= 2985 @ 1124.3 1260.45/1265.08 c bounds 8726 >= 2986 @ 1125.96 1260.45/1265.08 c bounds 8726 >= 2987 @ 1129.74 1260.45/1265.08 c bounds 8726 >= 2988 @ 1132.1 1260.45/1265.08 c bounds 8726 >= 2989 @ 1134.65 1260.45/1265.08 c bounds 8726 >= 2990 @ 1136.38 1260.45/1265.08 c bounds 8726 >= 2991 @ 1139.54 1260.45/1265.08 c #Conflicts: 75000 | #Constraints: 47901 1260.45/1265.08 c bounds 8726 >= 2992 @ 1142.09 1260.45/1265.08 c bounds 8726 >= 2993 @ 1144.08 1260.45/1265.08 c bounds 8726 >= 2994 @ 1145.84 1260.45/1265.08 c bounds 8726 >= 2995 @ 1147.69 1260.45/1265.08 c bounds 8726 >= 2996 @ 1149 1260.45/1265.08 c bounds 8726 >= 2997 @ 1151 1260.45/1265.08 c bounds 8726 >= 2998 @ 1154.1 1260.45/1265.08 c bounds 8726 >= 2999 @ 1155.1 1260.45/1265.08 c bounds 8726 >= 3000 @ 1157.7 1260.45/1265.08 c bounds 8726 >= 3001 @ 1159.84 1260.45/1265.08 c bounds 8722 >= 3001 @ 1161.69 1260.45/1265.08 c bounds 8722 >= 3002 @ 1165.33 1260.45/1265.08 c bounds 8722 >= 3003 @ 1167.15 1260.45/1265.08 c bounds 8722 >= 3004 @ 1169.31 1260.45/1265.08 c bounds 8722 >= 3005 @ 1171.09 1260.45/1265.08 c bounds 8722 >= 3006 @ 1173.47 1260.45/1265.08 c bounds 8722 >= 3007 @ 1176.76 1260.45/1265.08 c #Conflicts: 76000 | #Constraints: 49538 1260.45/1265.08 c bounds 8722 >= 3008 @ 1178.42 1260.45/1265.08 c bounds 8722 >= 3009 @ 1179.94 1260.45/1265.08 c bounds 8722 >= 3010 @ 1181.58 1260.45/1265.08 c bounds 8722 >= 3011 @ 1184.82 1260.45/1265.08 c bounds 8722 >= 3012 @ 1187.07 1260.45/1265.08 c bounds 8716 >= 3012 @ 1187.27 1260.45/1265.08 c bounds 8716 >= 3013 @ 1194.15 1260.45/1265.08 c bounds 8707 >= 3013 @ 1194.18 1260.45/1265.08 c bounds 8706 >= 3013 @ 1197.91 1260.45/1265.08 c bounds 8706 >= 3014 @ 1200.47 1260.45/1265.08 c #Conflicts: 77000 | #Constraints: 50807 1260.45/1265.08 c bounds 8706 >= 3015 @ 1203.56 1260.45/1265.08 c bounds 8706 >= 3016 @ 1206.58 1260.45/1265.08 c bounds 8706 >= 3017 @ 1207.86 1260.45/1265.08 c bounds 8706 >= 3018 @ 1208.92 1260.45/1265.08 c bounds 8706 >= 3019 @ 1212.61 1260.45/1265.08 c bounds 8706 >= 3020 @ 1215.58 1260.45/1265.08 c bounds 8706 >= 3021 @ 1218.35 1260.45/1265.08 c bounds 8706 >= 3022 @ 1220.73 1260.45/1265.08 c bounds 8706 >= 3023 @ 1224.08 1260.45/1265.08 c bounds 8706 >= 3024 @ 1226.59 1260.45/1265.08 c bounds 8706 >= 3025 @ 1230.83 1260.45/1265.08 c bounds 8706 >= 3026 @ 1232.99 1260.45/1265.08 c bounds 8706 >= 3027 @ 1234.67 1260.45/1265.08 c bounds 8706 >= 3028 @ 1237.81 1260.45/1265.08 c bounds 8706 >= 3029 @ 1239.3 1260.45/1265.08 c bounds 8706 >= 3030 @ 1243.99 1260.45/1265.08 c bounds 8706 >= 3031 @ 1245.12 1260.45/1265.08 c bounds 8706 >= 3032 @ 1247.27 1260.45/1265.08 c bounds 8706 >= 3033 @ 1249.32 1260.45/1265.08 c bounds 8701 >= 3033 @ 1249.36 1260.45/1265.08 c #Conflicts: 78000 | #Constraints: 52675 1260.45/1265.08 c INPROCESSING 1260.45/1265.08 c GARBAGE COLLECT 1260.45/1265.08 c rational objective 7627.85 1283.46/1288.16 c bounds 8701 >= 3034 @ 1250.24 1283.46/1288.16 c bounds 8701 >= 3035 @ 1250.6 1283.46/1288.16 c bounds 8701 >= 3036 @ 1251.12 1283.46/1288.16 c bounds 8691 >= 3036 @ 1251.91 1283.46/1288.16 c bounds 8691 >= 3037 @ 1255.01 1283.46/1288.16 c bounds 8691 >= 3038 @ 1257.12 1283.46/1288.16 c bounds 8691 >= 3039 @ 1259.11 1283.46/1288.16 c bounds 8691 >= 3040 @ 1261.39 1283.46/1288.16 c bounds 8691 >= 3041 @ 1264.94 1283.46/1288.16 c #Conflicts: 79000 | #Constraints: 48050 1283.46/1288.16 c #Conflicts: 80000 | #Constraints: 49064 1283.46/1288.16 c bounds 8691 >= 3041 @ 1272.39 1283.46/1288.16 c cpu time 1272.39 s 1283.46/1288.16 c deterministic time 17844009342 1.78e+10 1283.46/1288.16 c optimization time 2.33221 s 1283.46/1288.16 c total solve time 1270.06 s 1283.46/1288.16 c core-guided solve time 1183.06 s 1283.46/1288.16 c propagation time 153.781 s 1283.46/1288.16 c conflict analysis time 1104.51 s 1283.46/1288.16 c propagations 100290259 1283.46/1288.16 c resolve steps 29185697 1283.46/1288.16 c decisions 6071826 1283.46/1288.16 c conflicts 80402 1283.46/1288.16 c restarts 252 1283.46/1288.16 c inprocessing phases 20 1283.46/1288.16 c input clauses 13841 1283.46/1288.16 c input cardinalities 1396 1283.46/1288.16 c input general constraints 30615 1283.46/1288.16 c input average constraint length 38.23 1283.46/1288.16 c input average constraint degree 315.81 1283.46/1288.16 c learned clauses 38310 1283.46/1288.16 c learned cardinalities 21 1283.46/1288.16 c learned general constraints 43083 1283.46/1288.16 c learned average constraint length 842.09 1283.46/1288.16 c learned average constraint degree 324146829.41 1283.46/1288.16 c watched constraints 41452 1283.46/1288.16 c counting constraints 32246 1283.46/1288.16 c gcd simplifications 5490 1283.46/1288.16 c detected cardinalities 18 1283.46/1288.16 c weakened non-implied lits 1899442 1283.46/1288.16 c weakened non-implying lits 43733 1283.46/1288.16 c original variables 548 1283.46/1288.16 c clausal propagations 3976956 1283.46/1288.16 c cardinality propagations 237662 1283.46/1288.16 c watched propagations 3217795 1283.46/1288.16 c counting propagations 90068266 1283.46/1288.16 c watch lookups 3879101828 1283.46/1288.16 c watch backjump lookups 3722573766 1283.46/1288.16 c watch checks 6687328853 1283.46/1288.16 c propagation checks 1819245176 1283.46/1288.16 c constraint additions 1522872938 1283.46/1288.16 c trail pops 106439117 1283.46/1288.16 c formula constraints 166 1283.46/1288.16 c learned constraints 81170 1283.46/1288.16 c bound constraints 1540 1283.46/1288.16 c core-guided constraints 44146 1283.46/1288.16 c encountered formula constraints 97066 1283.46/1288.16 c encountered learned constraints 1773660 1283.46/1288.16 c encountered bound constraints 2094 1283.46/1288.16 c encountered core-guided constraints 27374133 1283.46/1288.16 c LP total time 2.34081 s 1283.46/1288.16 c LP solve time 1.73 s 1283.46/1288.16 c LP constraints added 214 1283.46/1288.16 c LP constraints removed 25 1283.46/1288.16 c LP pivots internal 80400 1283.46/1288.16 c LP pivots root 5178 1283.46/1288.16 c LP calls 4836 1283.46/1288.16 c LP optimalities 4713 1283.46/1288.16 c LP no pivot count 2165 1283.46/1288.16 c LP infeasibilities 123 1283.46/1288.16 c LP valid Farkas constraints 123 1283.46/1288.16 c LP learned Farkas constraints 121 1283.46/1288.16 c LP basis resets 0 1283.46/1288.16 c LP cycling count 0 1283.46/1288.16 c LP singular count 0 1283.46/1288.16 c LP no primal count 0 1283.46/1288.16 c LP no farkas count 0 1283.46/1288.16 c LP other issue count 0 1283.46/1288.16 c LP Gomory cuts 0 1283.46/1288.16 c LP learned cuts 48 1283.46/1288.16 c LP deleted cuts 25 1283.46/1288.16 c LP encountered Gomory constraints 0 1283.46/1288.16 c LP encountered Farkas constraints 16831 1283.46/1288.16 c LP encountered learned Farkas constraints 2192 1283.46/1288.16 c CG auxiliary variables introduced 15173 1283.46/1288.16 c CG solutions found 167 1283.46/1288.16 c CG cores constructed 1373 1283.46/1288.16 c CG core cardinality constraints returned 0 1283.46/1288.16 c CG unit cores 0 1283.46/1288.16 c CG single cores 505 1283.46/1288.16 c CG blocks removed during cardinality reduction 199 1283.46/1288.16 c CG first core best 0 1283.46/1288.16 c CG decision core best 12 1283.46/1288.16 c CG core reduction tie 856 1283.46/1288.16 c CG core degree average 1.00 1283.46/1288.16 c CG core slack average 30.75 1283.46/1288.16 o 8691 1283.46/1288.16 s OPTIMUM FOUND 1283.53/1288.26 v -x1 -x2 x3 x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 x15 -x16 -x17 x18 -x19 x20 -x21 -x22 -x23 x24 x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x81 x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 x94 -x95 -x96 x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 x183 -x184 x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 x193 x194 x195 -x196 -x197 -x198 -x199 x200 x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 x215 x216 -x217 -x218 x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 x389 x390 x391 -x392 -x393 x394 x395 -x396 -x397 x398 -x399 -x400 -x401 x402 x403 -x404 -x405 -x406 x407 x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 x420 x421 -x422 -x423 x424 -x425 -x426 -x427 x428 x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 x440 -x441 -x442 -x443 -x444 x445 -x446 x447 x448 -x449 -x450 x451 x452 x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 x477 x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 x509 x510 x511 x512 x513 -x514 -x515 x516 -x517 x518 x519 x520 -x521 x522 x523 x524 -x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 -x535 -x536 x537 x538 x539 x540 -x541 x542 x543 -x544 -x545 x546 -x547 x548
OK 8691
-- time out --
-- time out --
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (48481 MiB free)
memory of node 1: 64510 MiB (50822 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456688-1721765710/watcher-4456688-1721765710 -o /tmp/evaluation-result-4456688-1721765710/solver-4456688-1721765710 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721765707-133403 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456688-1721765710 --lp-cut-gomory=0 HOME/instance-4456688-1721765710.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=133651, runsolver pid=133648
[startup+0.100437 s]*
/proc/loadavg: 2.12 2.13 2.10 5/266 133652
/proc/meminfo: memFree=101673004/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=39364 memory=10348 CPUtime=0.09 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 898 0 0 0 6 3 0 0 20 0 1 0 13099565 40308736 2587 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 9841 2587 1919 992 0 1699 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39364 KiB
Current children cumulated memory: 10348 KiB
[startup+0.205785 s]*
/proc/loadavg: 2.12 2.13 2.10 5/266 133652
/proc/meminfo: memFree=101659476/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=40164 memory=11616 CPUtime=0.19 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 1209 0 0 0 13 6 0 0 20 0 1 0 13099565 41127936 2904 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 10041 2904 1919 992 0 1899 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 40164 KiB
Current children cumulated memory: 11616 KiB
[startup+0.305832 s]*
/proc/loadavg: 2.12 2.13 2.10 5/266 133652
/proc/meminfo: memFree=101646416/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=40640 memory=12636 CPUtime=0.29 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 1443 0 0 0 20 9 0 0 20 0 1 0 13099565 41615360 3159 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 10160 3159 1919 992 0 2018 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40640 KiB
Current children cumulated memory: 12636 KiB
[startup+0.700213 s]
/proc/loadavg: 2.12 2.13 2.10 5/266 133652
/proc/meminfo: memFree=101619512/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=43580 memory=17704 CPUtime=0.68 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 2201 0 0 0 48 20 0 0 20 0 1 0 13099565 44625920 4426 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 10895 4426 1919 992 0 2753 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43580 KiB
Current children cumulated memory: 17704 KiB
[startup+1.5002 s]
/proc/loadavg: 2.27 2.16 2.11 5/266 133652
/proc/meminfo: memFree=101564480/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=49272 memory=23400 CPUtime=1.48 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 3109 0 0 0 113 35 0 0 20 0 1 0 13099565 50454528 5850 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 12318 5850 1919 992 0 4176 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49272 KiB
Current children cumulated memory: 23400 KiB
[startup+3.10568 s]
/proc/loadavg: 2.27 2.16 2.11 5/266 133653
/proc/meminfo: memFree=101361056/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=55304 memory=29528 CPUtime=3.07 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 4857 0 0 0 245 62 0 0 20 0 1 0 13099565 56631296 7382 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 13826 7382 1919 992 0 5684 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 55304 KiB
Current children cumulated memory: 29528 KiB
[startup+6.3002 s]
/proc/loadavg: 2.41 2.19 2.12 5/266 133653
/proc/meminfo: memFree=100904924/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=59080 memory=32312 CPUtime=6.26 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 6310 0 0 0 513 113 0 0 20 0 1 0 13099565 60497920 8078 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 14770 8078 1919 992 0 6628 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 59080 KiB
Current children cumulated memory: 32312 KiB
[startup+12.7003 s]
/proc/loadavg: 2.54 2.22 2.13 5/268 133655
/proc/meminfo: memFree=99956048/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=73628 memory=45748 CPUtime=12.64 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 9798 0 0 0 1092 172 0 0 20 0 1 0 13099565 75395072 11437 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 18407 11437 1919 992 0 10265 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 73628 KiB
Current children cumulated memory: 45748 KiB
[startup+25.5002 s]
/proc/loadavg: 2.76 2.28 2.15 5/267 133659
/proc/meminfo: memFree=99127288/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=88820 memory=54156 CPUtime=25.39 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 17656 0 0 0 2291 248 0 0 20 0 1 0 13099565 90951680 13539 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 22205 13539 1919 992 0 14063 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 88820 KiB
Current children cumulated memory: 54156 KiB
[startup+51.1069 s]
/proc/loadavg: 3.39 2.48 2.22 5/267 133662
/proc/meminfo: memFree=97733680/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=94760 memory=62760 CPUtime=50.91 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 22261 0 0 0 4784 307 0 0 20 0 1 0 13099565 97034240 15690 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 23690 15690 1919 992 0 15548 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 94760 KiB
Current children cumulated memory: 62760 KiB
[startup+102.3 s]
/proc/loadavg: 3.78 2.73 2.32 5/264 133671
/proc/meminfo: memFree=95127564/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=121900 memory=83556 CPUtime=101.93 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 31365 0 0 0 9812 381 0 0 20 0 1 0 13099565 124825600 20889 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 30475 20889 1919 992 0 22333 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 121900 KiB
Current children cumulated memory: 83556 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 3.04 2.46 5/263 133682
/proc/meminfo: memFree=92441284/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=128864 memory=95744 CPUtime=161.74 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 40774 0 0 0 15731 443 0 0 20 0 1 0 13099565 131956736 23936 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 32216 23936 1919 992 0 24074 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 128864 KiB
Current children cumulated memory: 95744 KiB
[startup+222.3 s]
/proc/loadavg: 4.72 3.42 2.63 5/263 133695
/proc/meminfo: memFree=90460948/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=137048 memory=100724 CPUtime=221.56 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 47506 0 0 0 21656 500 0 0 20 0 1 0 13099565 140337152 25181 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 34262 25181 1919 992 0 26120 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 137048 KiB
Current children cumulated memory: 100724 KiB
[startup+282.3 s]
/proc/loadavg: 4.34 3.55 2.72 5/262 133707
/proc/meminfo: memFree=89392152/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=141104 memory=104416 CPUtime=281.35 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 59832 0 0 0 27587 548 0 0 20 0 1 0 13099565 144490496 26104 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 35276 26104 1919 992 0 27134 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 141104 KiB
Current children cumulated memory: 104416 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 3.65 2.81 5/260 133717
/proc/meminfo: memFree=87749216/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=166840 memory=116480 CPUtime=341.13 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 73684 0 0 0 33519 594 0 0 20 0 1 0 13099565 170844160 29120 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 41710 29120 1919 992 0 33568 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 166840 KiB
Current children cumulated memory: 116480 KiB
[startup+402.3 s]
/proc/loadavg: 4.46 3.81 2.92 5/263 133734
/proc/meminfo: memFree=86817236/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=168932 memory=117692 CPUtime=400.91 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 77361 0 0 0 39459 632 0 0 20 0 1 0 13099565 172986368 29423 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 42233 29423 1919 992 0 34091 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 168932 KiB
Current children cumulated memory: 117692 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 3.86 3.00 5/262 133745
/proc/meminfo: memFree=85382160/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=173096 memory=121780 CPUtime=460.69 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 82692 0 0 0 45395 674 0 0 20 0 1 0 13099565 177250304 30445 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 43274 30445 1919 992 0 35132 0
################
# More data... #
################
/proc/loadavg: 4.08 4.05 3.42 5/262 134375
/proc/meminfo: memFree=75944004/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=208604 memory=151280 CPUtime=879.15 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 99386 0 0 0 87037 878 0 0 20 0 1 0 13099565 213610496 37820 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 52151 37820 1919 992 0 44009 0
Current children cumulated CPU time: 879.15 s
Current children cumulated vsize: 208604 KiB
Current children cumulated memory: 151280 KiB
[startup+942.3 s]
/proc/loadavg: 4.13 4.07 3.47 5/260 134386
/proc/meminfo: memFree=74623716/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=217584 memory=157140 CPUtime=938.91 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 101843 0 0 0 92975 916 0 0 20 0 1 0 13099565 222806016 39285 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 54396 39285 1919 992 0 46254 0
Current children cumulated CPU time: 938.91 s
Current children cumulated vsize: 217584 KiB
Current children cumulated memory: 157140 KiB
[startup+1002.3 s]
/proc/loadavg: 4.09 4.07 3.51 5/262 134457
/proc/meminfo: memFree=73745556/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=219688 memory=158360 CPUtime=998.69 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 103750 0 0 0 98918 951 0 0 20 0 1 0 13099565 224960512 39590 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 54922 39590 1919 992 0 46780 0
Current children cumulated CPU time: 998.69 s
Current children cumulated vsize: 219688 KiB
Current children cumulated memory: 158360 KiB
[startup+1062.3 s]
/proc/loadavg: 4.15 4.09 3.56 5/263 134468
/proc/meminfo: memFree=72774908/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=220072 memory=158608 CPUtime=1058.48 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 103855 0 0 0 104865 983 0 0 20 0 1 0 13099565 225353728 39652 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 55018 39652 1919 992 0 46876 0
Current children cumulated CPU time: 1058.48 s
Current children cumulated vsize: 220072 KiB
Current children cumulated memory: 158608 KiB
[startup+1122.3 s]
/proc/loadavg: 4.15 4.10 3.60 5/263 134480
/proc/meminfo: memFree=71760296/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=221744 memory=160388 CPUtime=1118.27 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 112561 0 0 0 110811 1016 0 0 20 0 1 0 13099565 227065856 40097 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 55436 40097 1919 992 0 47294 0
Current children cumulated CPU time: 1118.27 s
Current children cumulated vsize: 221744 KiB
Current children cumulated memory: 160388 KiB
[startup+1182.3 s]
/proc/loadavg: 4.18 4.11 3.64 5/261 134490
/proc/meminfo: memFree=70952400/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=223740 memory=161936 CPUtime=1178.05 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 115787 0 0 0 116754 1051 0 0 20 0 1 0 13099565 229109760 40484 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 55935 40484 1919 992 0 47793 0
Current children cumulated CPU time: 1178.05 s
Current children cumulated vsize: 223740 KiB
Current children cumulated memory: 161936 KiB
[startup+1242.3 s]
/proc/loadavg: 4.16 4.12 3.67 5/261 134500
/proc/meminfo: memFree=70146452/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=223048 memory=161272 CPUtime=1237.83 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 119695 0 0 0 122701 1082 0 0 20 0 1 0 13099565 228401152 40318 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 55762 40318 1919 992 0 47620 0
Current children cumulated CPU time: 1237.83 s
Current children cumulated vsize: 223048 KiB
Current children cumulated memory: 161272 KiB
[startup+1288.27 s]
# the end of solver process 133651 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1272.4 s, system=11.1563 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1254.4 s]
/proc/loadavg: 4.14 4.11 3.67 5/261 134503
/proc/meminfo: memFree=70008384/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=222064 memory=160108 CPUtime=1249.89 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 121250 0 0 0 123902 1087 0 0 20 0 1 0 13099565 227393536 40027 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 55516 40027 1919 992 0 47374 0
Current children cumulated CPU time: 1249.89 s
Current children cumulated vsize: 222064 KiB
Current children cumulated memory: 160108 KiB
[startup+1267.2 s]
/proc/loadavg: 4.11 4.11 3.68 5/258 134506
/proc/meminfo: memFree=69842212/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=224408 memory=166568 CPUtime=1262.64 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 121840 0 0 0 125166 1098 0 0 20 0 1 0 13099565 229793792 41642 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 56102 41642 1919 992 0 47960 0
Current children cumulated CPU time: 1262.64 s
Current children cumulated vsize: 224408 KiB
Current children cumulated memory: 166568 KiB
[startup+1280 s]*
/proc/loadavg: 4.17 4.12 3.69 5/258 134507
/proc/meminfo: memFree=69688060/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=224884 memory=167096 CPUtime=1275.4 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 121960 0 0 0 126435 1105 0 0 20 0 1 0 13099565 230281216 41774 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 56221 41774 1919 992 0 48079 0
Current children cumulated CPU time: 1275.4 s
Current children cumulated vsize: 224884 KiB
Current children cumulated memory: 167096 KiB
[startup+1283.2 s]
/proc/loadavg: 4.16 4.12 3.69 5/258 134509
/proc/meminfo: memFree=69621740/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=220424 memory=162900 CPUtime=1278.58 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 122672 0 0 0 126749 1109 0 0 20 0 1 0 13099565 225714176 40725 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 55106 40725 1919 992 0 46964 0
Current children cumulated CPU time: 1278.58 s
Current children cumulated vsize: 220424 KiB
Current children cumulated memory: 162900 KiB
[startup+1286.4 s]
/proc/loadavg: 4.14 4.12 3.69 5/258 134509
/proc/meminfo: memFree=69530380/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=220424 memory=162900 CPUtime=1281.77 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 122672 0 0 0 127065 1112 0 0 20 0 1 0 13099565 225714176 40725 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 55106 40725 1919 992 0 46964 0
Current children cumulated CPU time: 1281.77 s
Current children cumulated vsize: 220424 KiB
Current children cumulated memory: 162900 KiB
[startup+1287.2 s]
/proc/loadavg: 4.14 4.12 3.69 5/258 134509
/proc/meminfo: memFree=69510576/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=220424 memory=162900 CPUtime=1282.57 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 122672 0 0 0 127144 1113 0 0 20 0 1 0 13099565 225714176 40725 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 55106 40725 1919 992 0 46964 0
Current children cumulated CPU time: 1282.57 s
Current children cumulated vsize: 220424 KiB
Current children cumulated memory: 162900 KiB
[startup+1288 s]*
/proc/loadavg: 4.14 4.12 3.69 5/258 134509
/proc/meminfo: memFree=69489232/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=220424 memory=162900 CPUtime=1283.36 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 122672 0 0 0 127223 1113 0 0 20 0 1 0 13099565 225714176 40725 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 55106 40725 1919 992 0 46964 0
Current children cumulated CPU time: 1283.36 s
Current children cumulated vsize: 220424 KiB
Current children cumulated memory: 162900 KiB
[startup+1288.2 s]
/proc/loadavg: 4.14 4.12 3.69 5/258 134509
/proc/meminfo: memFree=69489232/131524600 swapFree=131071996/131071996
[pid=133651] ppid=133648 vsize=220424 memory=162900 CPUtime=1283.53 cores=0,2
/proc/133651/stat : 133651 (roundingsat) R 133648 133651 133393 0 -1 4194304 122672 0 0 0 127239 1114 0 0 20 0 1 0 13099565 225714176 40725 134679101440 4194304 8254037 140736867797056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 3 0 0 9037040 9046032 41181184 140736867803996 140736867804258 140736867804258 140736867811273 0
/proc/133651/statm: 55106 40725 1919 992 0 46964 0
Current children cumulated CPU time: 1283.53 s
Current children cumulated vsize: 220424 KiB
Current children cumulated memory: 162900 KiB
Child status: 0
Real time (s): 1288.27
CPU time (s): 1283.55
CPU user time (s): 1272.4
CPU system time (s): 11.1563
CPU usage (%): 99.6342
Max. virtual memory (cumulated for all children) (KiB): 224884
Max. memory (cumulated for all children) (KiB): 167096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1272.4
system time used= 11.1563
maximum resident set size= 169472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122680
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18550072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1341
involuntary context switches= 8894
# summary of solver processes directly reported to runsolver:
# pid: 133651
# total CPU time (s): 1283.55
# total CPU user time (s): 1272.4
# total CPU system time (s): 11.1563
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.05941 second user time and 6.44421 second system time
The end
Begin job on nodeC016 at 2024-07-23 22:15:10 IDJOB=4456688 IDBENCH=146905 IDSOLVER=3085 FILE ID=nodeC016/4456688-1721765710 RUNJOBID= nodeC016-1721765707-133403 SLURM_JOB_ID= 7770673 Free space on /tmp= 890060 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.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-4456688-1721765710/watcher-4456688-1721765710 -o /tmp/evaluation-result-4456688-1721765710/solver-4456688-1721765710 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721765707-133403 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456688-1721765710 --lp-cut-gomory=0 HOME/instance-4456688-1721765710.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0aad002c81e214aa0b66948d5567e1f0 RANDOM SEED=1088738011 nodeC016.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 : 3649.108 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.34 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 : 3682.972 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.68 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 : 3657.994 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.34 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.129 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.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3665.216 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.34 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 : 3682.989 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.68 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 : 3599.794 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.34 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 : 3599.783 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.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 101691256 kB MemAvailable: 129379088 kB Buffers: 191328 kB Cached: 28224076 kB SwapCached: 0 kB Active: 1296808 kB Inactive: 27739248 kB Active(anon): 1556 kB Inactive(anon): 664712 kB Active(file): 1295252 kB Inactive(file): 27074536 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 516948 kB Writeback: 20 kB AnonPages: 618428 kB Mapped: 117872 kB Shmem: 45912 kB KReclaimable: 315380 kB Slab: 442452 kB SReclaimable: 315380 kB SUnreclaim: 127072 kB KernelStack: 4304 kB PageTables: 10896 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 877372 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20928 kB HardwareCorrupted: 0 kB AnonHugePages: 299008 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: 342740 kB DirectMap2M: 36130816 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 890052 MiB End job on nodeC016 at 2024-07-23 22:36:39