| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 24364 | 3600.07 | 3610.81 |
| 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.00 c bounds 95949 >= 0 @ 0.000905 0.00/0.00 c rational objective 3108.29 0.10/0.12 c bounds 29718 >= 0 @ 0.007483 0.10/0.12 c bounds 29718 >= 291 @ 0.007717 0.10/0.12 c bounds 29718 >= 564 @ 0.007917 0.10/0.12 c bounds 29718 >= 822 @ 0.00811 0.10/0.12 c bounds 29718 >= 1009 @ 0.008323 0.10/0.12 c bounds 29718 >= 1145 @ 0.008585 0.10/0.12 c bounds 29718 >= 1203 @ 0.008936 0.10/0.12 c bounds 29718 >= 1286 @ 0.009236 0.10/0.12 c bounds 29718 >= 1351 @ 0.009563 0.10/0.12 c bounds 29718 >= 1410 @ 0.009891 0.10/0.12 c bounds 29718 >= 1440 @ 0.010214 0.10/0.12 c bounds 29718 >= 1467 @ 0.010615 0.10/0.12 c bounds 29718 >= 1505 @ 0.010741 0.10/0.12 c bounds 29718 >= 1534 @ 0.010741 0.10/0.12 c bounds 29718 >= 1559 @ 0.010918 0.10/0.12 c bounds 29718 >= 1580 @ 0.01134 0.10/0.12 c bounds 29718 >= 1595 @ 0.011801 0.10/0.12 c bounds 29718 >= 1602 @ 0.012326 0.10/0.12 c bounds 29689 >= 1602 @ 0.012734 0.10/0.12 c bounds 29689 >= 1608 @ 0.012734 0.10/0.12 c bounds 29689 >= 1612 @ 0.012743 0.10/0.12 c bounds 29670 >= 1612 @ 0.013028 0.10/0.12 c bounds 29670 >= 1615 @ 0.013569 0.10/0.12 c bounds 29670 >= 1617 @ 0.013743 0.10/0.12 c bounds 29552 >= 1617 @ 0.01375 0.10/0.12 c bounds 29552 >= 1618 @ 0.01375 0.10/0.12 c bounds 29552 >= 1619 @ 0.013756 0.10/0.12 c bounds 29500 >= 1619 @ 0.013756 0.10/0.12 c bounds 29500 >= 1620 @ 0.013762 0.10/0.12 c bounds 29500 >= 1621 @ 0.01481 0.10/0.12 c bounds 29448 >= 1621 @ 0.015575 0.10/0.12 c bounds 29433 >= 1621 @ 0.015832 0.10/0.12 c bounds 29433 >= 1622 @ 0.016854 0.10/0.12 c bounds 29433 >= 1623 @ 0.017392 0.10/0.12 c bounds 28972 >= 1623 @ 0.017746 0.10/0.12 c bounds 28972 >= 1627 @ 0.017751 0.10/0.12 c bounds 28972 >= 1633 @ 0.017751 0.10/0.12 c bounds 28972 >= 1634 @ 0.017756 0.10/0.12 c bounds 28961 >= 1634 @ 0.018404 0.10/0.12 c bounds 28961 >= 1636 @ 0.018753 0.10/0.12 c bounds 28961 >= 1637 @ 0.018753 0.10/0.12 c bounds 28961 >= 1638 @ 0.018757 0.10/0.12 c bounds 28946 >= 1638 @ 0.018757 0.10/0.12 c bounds 28946 >= 1641 @ 0.018793 0.10/0.12 c bounds 28926 >= 1641 @ 0.019758 0.10/0.12 c bounds 28926 >= 1643 @ 0.019973 0.10/0.12 c bounds 28908 >= 1643 @ 0.02096 0.10/0.12 c bounds 28908 >= 1647 @ 0.021516 0.10/0.12 c bounds 28908 >= 1648 @ 0.021751 0.10/0.12 c bounds 28892 >= 1648 @ 0.021751 0.10/0.12 c bounds 28892 >= 1649 @ 0.025733 0.10/0.12 c bounds 28881 >= 1649 @ 0.025735 0.10/0.12 c bounds 28862 >= 1649 @ 0.025739 0.10/0.12 c bounds 28862 >= 1650 @ 0.025744 0.10/0.12 c bounds 28862 >= 1651 @ 0.025928 0.10/0.12 c bounds 28793 >= 1651 @ 0.026618 0.10/0.12 c bounds 28793 >= 1652 @ 0.027286 0.10/0.12 c bounds 28717 >= 1652 @ 0.027736 0.10/0.12 c bounds 28717 >= 1653 @ 0.027736 0.10/0.12 c bounds 28631 >= 1653 @ 0.027739 0.10/0.12 c bounds 28631 >= 1654 @ 0.027869 0.10/0.12 c bounds 28631 >= 1655 @ 0.028978 0.10/0.12 c bounds 28522 >= 1655 @ 0.030195 0.10/0.12 c bounds 28522 >= 1666 @ 0.030763 0.10/0.12 c bounds 28446 >= 1666 @ 0.031492 0.10/0.12 c bounds 27875 >= 1666 @ 0.031724 0.10/0.12 c bounds 27868 >= 1666 @ 0.033397 0.10/0.12 c bounds 27868 >= 1667 @ 0.033619 0.10/0.12 c bounds 27868 >= 1668 @ 0.033658 0.10/0.12 c bounds 27868 >= 1669 @ 0.03366 0.10/0.12 c bounds 27868 >= 1674 @ 0.033663 0.10/0.12 c bounds 27839 >= 1674 @ 0.033666 0.10/0.12 c bounds 27798 >= 1674 @ 0.033669 0.10/0.12 c bounds 27798 >= 1685 @ 0.033669 0.10/0.12 c bounds 27798 >= 1689 @ 0.034121 0.10/0.12 c bounds 27798 >= 1690 @ 0.03458 0.10/0.12 c bounds 27720 >= 1690 @ 0.03599 0.10/0.12 c bounds 27720 >= 1691 @ 0.036696 0.10/0.12 c bounds 27720 >= 1692 @ 0.037197 0.10/0.12 c bounds 27720 >= 1693 @ 0.037745 0.10/0.12 c bounds 27720 >= 1694 @ 0.038219 0.10/0.12 c bounds 27720 >= 1695 @ 0.038647 0.10/0.12 c bounds 27720 >= 1696 @ 0.038647 0.10/0.12 c bounds 27711 >= 1696 @ 0.039596 0.10/0.12 c bounds 27711 >= 1697 @ 0.040093 0.10/0.12 c bounds 27711 >= 1713 @ 0.040619 0.10/0.12 c bounds 27711 >= 1724 @ 0.040647 0.10/0.12 c bounds 27711 >= 1725 @ 0.040998 0.10/0.12 c bounds 27693 >= 1725 @ 0.042127 0.10/0.12 c bounds 27693 >= 1729 @ 0.042721 0.10/0.12 c bounds 27693 >= 1731 @ 0.043276 0.10/0.12 c bounds 27693 >= 1732 @ 0.043644 0.10/0.12 c bounds 27675 >= 1732 @ 0.046145 0.10/0.12 c bounds 27675 >= 1733 @ 0.04672 0.10/0.12 c bounds 27675 >= 1734 @ 0.047337 0.10/0.12 c bounds 27675 >= 1735 @ 0.048007 0.10/0.12 c bounds 27675 >= 1736 @ 0.048525 0.10/0.12 c bounds 27675 >= 1737 @ 0.048566 0.10/0.12 c bounds 27675 >= 1738 @ 0.048606 0.10/0.12 c bounds 27649 >= 1738 @ 0.049363 0.10/0.12 c bounds 27649 >= 1739 @ 0.049564 0.10/0.12 c bounds 27583 >= 1739 @ 0.050562 0.10/0.12 c bounds 27583 >= 1740 @ 0.050565 0.10/0.12 c bounds 27583 >= 1742 @ 0.050568 0.10/0.12 c bounds 27375 >= 1742 @ 0.05157 0.10/0.12 c bounds 27375 >= 1743 @ 0.051572 0.10/0.12 c bounds 27375 >= 1745 @ 0.052462 0.10/0.12 c bounds 27375 >= 1747 @ 0.053065 0.10/0.12 c bounds 27375 >= 1748 @ 0.054744 0.10/0.12 c bounds 27375 >= 1749 @ 0.055346 0.10/0.12 c bounds 27375 >= 1750 @ 0.056076 0.10/0.12 c bounds 27139 >= 1750 @ 0.059076 0.10/0.12 c bounds 27139 >= 1751 @ 0.059545 0.10/0.12 c bounds 27139 >= 1752 @ 0.060454 0.10/0.12 c bounds 27139 >= 1760 @ 0.061488 0.10/0.12 c bounds 27139 >= 1762 @ 0.061541 0.10/0.12 c bounds 27139 >= 1764 @ 0.061745 0.10/0.12 c bounds 26317 >= 1764 @ 0.066631 0.10/0.12 c bounds 26317 >= 1770 @ 0.067361 0.10/0.12 c bounds 26317 >= 1771 @ 0.067519 0.10/0.12 c bounds 26317 >= 1774 @ 0.067702 0.30/0.35 c bounds 26317 >= 1782 @ 0.068142 0.30/0.35 c bounds 26317 >= 1784 @ 0.068661 0.30/0.35 c bounds 26317 >= 1785 @ 0.069512 0.30/0.35 c bounds 26317 >= 1786 @ 0.069512 0.30/0.35 c bounds 26317 >= 1798 @ 0.069552 0.30/0.35 c bounds 26317 >= 1802 @ 0.070051 0.30/0.35 c bounds 26317 >= 1805 @ 0.070639 0.30/0.35 c bounds 26317 >= 1806 @ 0.071213 0.30/0.35 c bounds 26317 >= 1807 @ 0.071509 0.30/0.35 c bounds 26317 >= 1808 @ 0.071511 0.30/0.35 c bounds 26225 >= 1808 @ 0.083474 0.30/0.35 c bounds 26225 >= 1809 @ 0.083474 0.30/0.35 c bounds 26225 >= 1810 @ 0.083476 0.30/0.35 c bounds 26225 >= 1811 @ 0.083599 0.30/0.35 c bounds 26225 >= 1812 @ 0.084621 0.30/0.35 c bounds 26225 >= 1813 @ 0.085471 0.30/0.35 c bounds 26225 >= 1814 @ 0.085472 0.30/0.35 c bounds 26225 >= 1815 @ 0.086228 0.30/0.35 c bounds 26225 >= 1816 @ 0.086471 0.30/0.35 c bounds 26225 >= 1817 @ 0.087117 0.30/0.35 c bounds 26225 >= 1818 @ 0.087995 0.30/0.35 c bounds 26225 >= 1821 @ 0.088442 0.30/0.35 c bounds 26225 >= 1822 @ 0.088443 0.30/0.35 c bounds 26225 >= 1823 @ 0.088644 0.30/0.35 c bounds 26225 >= 1824 @ 0.089211 0.30/0.35 c bounds 26225 >= 1825 @ 0.095488 0.30/0.35 c bounds 26225 >= 1826 @ 0.096378 0.30/0.35 c bounds 26225 >= 1827 @ 0.097156 0.30/0.35 c bounds 26225 >= 1828 @ 0.097756 0.30/0.35 c bounds 26225 >= 1829 @ 0.098312 0.30/0.35 c bounds 26225 >= 1830 @ 0.09891 0.30/0.35 c bounds 26225 >= 1831 @ 0.100077 0.30/0.35 c bounds 26225 >= 1835 @ 0.100403 0.30/0.35 c bounds 26225 >= 1840 @ 0.100516 0.30/0.35 c bounds 26225 >= 1842 @ 0.101007 0.30/0.35 c bounds 26225 >= 1844 @ 0.101661 0.30/0.35 c bounds 26225 >= 1845 @ 0.102655 0.30/0.35 c bounds 26225 >= 1846 @ 0.103852 0.30/0.35 c bounds 26225 >= 1847 @ 0.105056 0.30/0.35 c bounds 26225 >= 1848 @ 0.105389 0.30/0.35 c bounds 26225 >= 1849 @ 0.10539 0.30/0.35 c bounds 26195 >= 1849 @ 0.109378 0.30/0.35 c bounds 26195 >= 1850 @ 0.110088 0.30/0.35 c bounds 26195 >= 1852 @ 0.110377 0.30/0.35 c bounds 26195 >= 1853 @ 0.110922 0.30/0.35 c bounds 26195 >= 1854 @ 0.112303 0.30/0.35 c bounds 26195 >= 1855 @ 0.113401 0.30/0.35 c bounds 26195 >= 1856 @ 0.114465 0.30/0.35 c bounds 26195 >= 1857 @ 0.115552 0.30/0.35 c bounds 26133 >= 1857 @ 0.133315 0.30/0.35 c bounds 26133 >= 1858 @ 0.134313 0.30/0.35 c bounds 26133 >= 1861 @ 0.134313 0.30/0.35 c bounds 26133 >= 1863 @ 0.134315 0.30/0.35 c bounds 26133 >= 1864 @ 0.134557 0.30/0.35 c bounds 26133 >= 1865 @ 0.136519 0.30/0.35 c bounds 26133 >= 1867 @ 0.137507 0.30/0.35 c bounds 26133 >= 1869 @ 0.138302 0.30/0.35 c bounds 26133 >= 1872 @ 0.138303 0.30/0.35 c bounds 26133 >= 1874 @ 0.138359 0.30/0.35 c bounds 26133 >= 1876 @ 0.138921 0.30/0.35 c bounds 26133 >= 1877 @ 0.139479 0.30/0.35 c bounds 26133 >= 1878 @ 0.140194 0.30/0.35 c bounds 26133 >= 1879 @ 0.140299 0.30/0.35 c bounds 26133 >= 1880 @ 0.140299 0.30/0.35 c bounds 26133 >= 1881 @ 0.140494 0.30/0.35 c bounds 26133 >= 1882 @ 0.141166 0.30/0.35 c bounds 26133 >= 1883 @ 0.141717 0.30/0.35 c bounds 26133 >= 1884 @ 0.142294 0.30/0.35 c bounds 26133 >= 1885 @ 0.142294 0.30/0.35 c bounds 26133 >= 1886 @ 0.142904 0.30/0.35 c bounds 26133 >= 1887 @ 0.143292 0.30/0.35 c bounds 26133 >= 1888 @ 0.143292 0.30/0.35 c bounds 26133 >= 1889 @ 0.14429 0.30/0.35 c bounds 26133 >= 1892 @ 0.145684 0.30/0.35 c bounds 26133 >= 1893 @ 0.146227 0.30/0.35 c bounds 26133 >= 1895 @ 0.146914 0.30/0.35 c bounds 26133 >= 1897 @ 0.147283 0.30/0.35 c bounds 26133 >= 1898 @ 0.147283 0.30/0.35 c bounds 26133 >= 1899 @ 0.148066 0.30/0.35 c bounds 26133 >= 1900 @ 0.148282 0.30/0.35 c bounds 26133 >= 1902 @ 0.148737 0.30/0.35 c bounds 26133 >= 1904 @ 0.149469 0.30/0.35 c bounds 26133 >= 1905 @ 0.149984 0.30/0.35 c bounds 26133 >= 1906 @ 0.150486 0.30/0.35 c bounds 26133 >= 1907 @ 0.150993 0.30/0.35 c bounds 26133 >= 1908 @ 0.151272 0.30/0.35 c bounds 26133 >= 1909 @ 0.151272 0.30/0.35 c bounds 26133 >= 1920 @ 0.151273 0.30/0.35 c bounds 26133 >= 1921 @ 0.151455 0.30/0.35 c bounds 26133 >= 1922 @ 0.152169 0.30/0.35 c bounds 26089 >= 1922 @ 0.191839 0.30/0.36 c bounds 26089 >= 1923 @ 0.194065 0.30/0.36 c bounds 26089 >= 1924 @ 0.194793 0.30/0.36 c bounds 26089 >= 1927 @ 0.195285 0.30/0.36 c bounds 26089 >= 1928 @ 0.198607 0.30/0.36 c bounds 26089 >= 1929 @ 0.199053 0.30/0.36 c bounds 26089 >= 1930 @ 0.199054 0.30/0.36 c bounds 26089 >= 1931 @ 0.1998 0.30/0.36 c bounds 26089 >= 1932 @ 0.200052 0.30/0.36 c bounds 26089 >= 1933 @ 0.200052 0.30/0.36 c bounds 26089 >= 1934 @ 0.200054 0.30/0.36 c bounds 26089 >= 1935 @ 0.200054 0.30/0.36 c bounds 26089 >= 1936 @ 0.200746 0.30/0.36 c bounds 26089 >= 1937 @ 0.201572 0.30/0.36 c bounds 26089 >= 1938 @ 0.202049 0.30/0.36 c bounds 26089 >= 1939 @ 0.20205 0.30/0.36 c bounds 26089 >= 1940 @ 0.20522 0.30/0.36 c bounds 26089 >= 1941 @ 0.206039 0.30/0.36 c bounds 26089 >= 1942 @ 0.206996 0.30/0.36 c bounds 26089 >= 1943 @ 0.208012 0.30/0.36 c bounds 26089 >= 1944 @ 0.208544 0.30/0.36 c bounds 26089 >= 1945 @ 0.209715 0.30/0.36 c bounds 26089 >= 1946 @ 0.210384 0.30/0.36 c bounds 26089 >= 1947 @ 0.213228 0.30/0.36 c bounds 26089 >= 1948 @ 0.214707 0.30/0.36 c bounds 26089 >= 1949 @ 0.216224 0.30/0.36 c bounds 26089 >= 1950 @ 0.217845 0.30/0.36 c bounds 26089 >= 1951 @ 0.221207 0.30/0.36 c bounds 26089 >= 1952 @ 0.224987 0.30/0.36 c bounds 26089 >= 1954 @ 0.227478 0.30/0.36 c bounds 26089 >= 1955 @ 0.228594 0.88/0.93 c bounds 26089 >= 1956 @ 0.229806 0.88/0.93 c bounds 26089 >= 1957 @ 0.230462 0.88/0.93 c bounds 26089 >= 1959 @ 0.232576 0.88/0.93 c bounds 26089 >= 1960 @ 0.232972 0.88/0.93 c bounds 26089 >= 1961 @ 0.237835 0.88/0.93 c bounds 26089 >= 1962 @ 0.238479 0.88/0.93 c bounds 26089 >= 1963 @ 0.240173 0.88/0.93 c bounds 26089 >= 1964 @ 0.243112 0.88/0.93 c bounds 26089 >= 1965 @ 0.243944 0.88/0.93 c bounds 26089 >= 1966 @ 0.243945 0.88/0.93 c bounds 26089 >= 1967 @ 0.243946 0.88/0.93 c bounds 25889 >= 1967 @ 0.257884 0.88/0.93 c bounds 25889 >= 1969 @ 0.259156 0.88/0.93 c bounds 25889 >= 1970 @ 0.259996 0.88/0.93 c bounds 25889 >= 1971 @ 0.260888 0.88/0.93 c bounds 25889 >= 1972 @ 0.262902 0.88/0.93 c bounds 25889 >= 1973 @ 0.262903 0.88/0.93 c bounds 25889 >= 1974 @ 0.262904 0.88/0.93 c bounds 25889 >= 1975 @ 0.262905 0.88/0.93 c bounds 25889 >= 1976 @ 0.262906 0.88/0.93 c bounds 25889 >= 1977 @ 0.264165 0.88/0.93 c bounds 25889 >= 1978 @ 0.266542 0.88/0.93 c bounds 25889 >= 1979 @ 0.266895 0.88/0.93 c bounds 25889 >= 1980 @ 0.268391 0.88/0.93 c bounds 25889 >= 1981 @ 0.269264 0.88/0.93 c bounds 25889 >= 1982 @ 0.269888 0.88/0.93 c bounds 25889 >= 1983 @ 0.270943 0.88/0.93 c bounds 25889 >= 1984 @ 0.273311 0.88/0.93 c bounds 25889 >= 1985 @ 0.2741 0.88/0.93 c bounds 25889 >= 1986 @ 0.275953 0.88/0.93 c bounds 25889 >= 1987 @ 0.276871 0.88/0.93 c bounds 25889 >= 1988 @ 0.278281 0.88/0.93 c bounds 25876 >= 1988 @ 0.315234 0.88/0.93 c bounds 25876 >= 1989 @ 0.320049 0.88/0.93 c bounds 25876 >= 1990 @ 0.320677 0.88/0.93 c bounds 25876 >= 1994 @ 0.321354 0.88/0.93 c bounds 25876 >= 1995 @ 0.321675 0.88/0.93 c bounds 25876 >= 1996 @ 0.321676 0.88/0.93 c bounds 25876 >= 1997 @ 0.322503 0.88/0.93 c bounds 25876 >= 1998 @ 0.323821 0.88/0.93 c #Conflicts: 1000 | #Constraints: 3331 0.88/0.93 c bounds 25876 >= 1999 @ 0.325915 0.88/0.93 c bounds 25876 >= 2000 @ 0.327533 0.88/0.93 c bounds 25876 >= 2001 @ 0.329083 0.88/0.93 c bounds 25876 >= 2002 @ 0.330119 0.88/0.93 c bounds 25876 >= 2003 @ 0.330652 0.88/0.93 c bounds 25876 >= 2004 @ 0.33184 0.88/0.93 c bounds 25876 >= 2005 @ 0.333683 0.88/0.93 c bounds 25876 >= 2006 @ 0.335806 0.88/0.93 c bounds 25876 >= 2007 @ 0.338517 0.88/0.93 c bounds 25876 >= 2008 @ 0.339263 0.88/0.93 c bounds 25876 >= 2009 @ 0.340627 0.88/0.93 c bounds 25876 >= 2010 @ 0.342307 0.88/0.93 c bounds 25876 >= 2011 @ 0.343252 0.88/0.93 c bounds 25876 >= 2012 @ 0.344619 0.88/0.93 c bounds 25876 >= 2013 @ 0.34462 0.88/0.93 c bounds 25876 >= 2014 @ 0.34692 0.88/0.93 c bounds 25876 >= 2015 @ 0.348444 0.88/0.93 c bounds 25876 >= 2016 @ 0.349837 0.88/0.93 c bounds 25876 >= 2017 @ 0.351486 0.88/0.93 c bounds 25876 >= 2018 @ 0.354596 0.88/0.93 c bounds 25876 >= 2019 @ 0.356345 0.88/0.93 c bounds 25876 >= 2020 @ 0.35727 0.88/0.93 c bounds 25876 >= 2021 @ 0.35759 0.88/0.93 c bounds 25876 >= 2022 @ 0.359269 0.88/0.93 c bounds 25876 >= 2023 @ 0.360439 0.88/0.93 c bounds 25876 >= 2024 @ 0.362638 0.88/0.93 c bounds 25876 >= 2025 @ 0.365779 0.88/0.93 c bounds 25876 >= 2026 @ 0.368558 0.88/0.93 c bounds 25876 >= 2027 @ 0.37105 0.88/0.93 c bounds 25857 >= 2027 @ 0.395082 0.88/0.93 c bounds 25857 >= 2028 @ 0.401126 0.88/0.93 c bounds 25857 >= 2029 @ 0.406439 0.88/0.93 c bounds 25857 >= 2030 @ 0.407437 0.88/0.93 c bounds 25857 >= 2031 @ 0.409096 0.88/0.93 c bounds 25857 >= 2032 @ 0.410014 0.88/0.93 c bounds 25857 >= 2033 @ 0.410696 0.88/0.93 c bounds 25857 >= 2034 @ 0.412024 0.88/0.93 c bounds 25857 >= 2035 @ 0.413387 0.88/0.93 c bounds 25857 >= 2036 @ 0.415471 0.88/0.93 c bounds 25857 >= 2037 @ 0.416416 0.88/0.93 c bounds 25857 >= 2038 @ 0.417881 0.88/0.93 c bounds 25857 >= 2039 @ 0.418947 0.88/0.93 c bounds 25857 >= 2040 @ 0.419408 0.88/0.93 c bounds 25857 >= 2041 @ 0.420045 0.88/0.93 c bounds 25857 >= 2042 @ 0.421049 0.88/0.93 c bounds 25857 >= 2043 @ 0.421889 0.88/0.93 c bounds 25857 >= 2044 @ 0.427435 0.88/0.93 c bounds 25857 >= 2045 @ 0.430235 0.88/0.93 c bounds 25848 >= 2045 @ 0.590311 0.88/0.93 c bounds 25848 >= 2046 @ 0.59262 0.88/0.93 c bounds 25848 >= 2047 @ 0.593863 0.88/0.93 c bounds 25848 >= 2048 @ 0.595931 0.88/0.93 c bounds 25848 >= 2049 @ 0.598851 0.88/0.93 c bounds 25848 >= 2050 @ 0.602194 0.88/0.93 c bounds 25848 >= 2051 @ 0.603652 0.88/0.93 c bounds 25848 >= 2052 @ 0.606252 0.88/0.93 c bounds 25848 >= 2053 @ 0.608006 0.88/0.93 c bounds 25848 >= 2054 @ 0.609739 0.88/0.93 c bounds 25848 >= 2055 @ 0.611065 0.88/0.93 c bounds 25848 >= 2056 @ 0.613684 0.88/0.93 c bounds 25848 >= 2057 @ 0.616081 0.88/0.93 c bounds 25848 >= 2058 @ 0.617745 0.88/0.93 c bounds 25848 >= 2059 @ 0.620256 0.88/0.93 c bounds 25848 >= 2060 @ 0.62281 0.88/0.93 c bounds 25848 >= 2061 @ 0.624792 0.88/0.93 c bounds 25848 >= 2062 @ 0.627337 0.88/0.93 c bounds 25848 >= 2063 @ 0.629171 0.88/0.93 c bounds 25848 >= 2064 @ 0.636448 0.88/0.93 c bounds 25848 >= 2065 @ 0.639321 0.88/0.93 c bounds 25848 >= 2066 @ 0.640813 0.88/0.93 c bounds 25848 >= 2067 @ 0.645111 0.88/0.93 c bounds 25848 >= 2068 @ 0.646651 0.88/0.93 c bounds 25848 >= 2069 @ 0.647975 0.88/0.93 c bounds 25848 >= 2070 @ 0.649395 0.88/0.93 c bounds 25848 >= 2071 @ 0.651145 0.88/0.93 c bounds 25848 >= 2072 @ 0.652895 0.88/0.93 c bounds 25848 >= 2073 @ 0.655506 0.88/0.93 c bounds 25848 >= 2074 @ 0.657294 0.88/0.93 c bounds 25848 >= 2075 @ 0.660407 0.99/1.05 c bounds 25848 >= 2076 @ 0.664216 0.99/1.05 c bounds 25848 >= 2077 @ 0.666603 0.99/1.05 c bounds 25848 >= 2078 @ 0.66979 0.99/1.05 c bounds 25848 >= 2079 @ 0.671592 0.99/1.05 c bounds 25848 >= 2080 @ 0.67527 0.99/1.05 c bounds 25848 >= 2081 @ 0.678398 0.99/1.05 c bounds 25848 >= 2082 @ 0.681569 0.99/1.05 c bounds 25848 >= 2083 @ 0.685391 0.99/1.05 c bounds 25848 >= 2084 @ 0.688388 0.99/1.05 c bounds 25848 >= 2085 @ 0.69125 0.99/1.05 c bounds 25848 >= 2086 @ 0.694988 0.99/1.05 c bounds 25848 >= 2087 @ 0.698758 0.99/1.05 c bounds 25848 >= 2088 @ 0.701662 0.99/1.05 c bounds 25848 >= 2089 @ 0.706673 0.99/1.05 c bounds 25848 >= 2090 @ 0.710965 0.99/1.05 c bounds 25848 >= 2091 @ 0.714541 0.99/1.05 c bounds 25848 >= 2092 @ 0.719447 0.99/1.05 c bounds 25848 >= 2093 @ 0.726211 0.99/1.05 c bounds 25848 >= 2094 @ 0.730034 0.99/1.05 c bounds 25848 >= 2095 @ 0.734261 0.99/1.05 c bounds 25848 >= 2096 @ 0.738739 0.99/1.05 c bounds 25848 >= 2097 @ 0.744401 0.99/1.05 c #Conflicts: 2000 | #Constraints: 6491 0.99/1.05 c INPROCESSING 0.99/1.05 c GARBAGE COLLECT 0.99/1.05 c rational objective 4517.42 2.09/2.15 c bounds 25848 >= 2098 @ 0.772592 2.09/2.15 c bounds 25848 >= 2099 @ 0.777316 2.09/2.15 c bounds 25848 >= 2100 @ 0.781307 2.09/2.15 c bounds 25848 >= 2101 @ 0.7843 2.09/2.15 c bounds 25848 >= 2102 @ 0.790601 2.09/2.15 c bounds 25848 >= 2103 @ 0.795377 2.09/2.15 c bounds 25848 >= 2104 @ 0.807313 2.09/2.15 c bounds 25848 >= 2105 @ 0.813489 2.09/2.15 c bounds 25848 >= 2106 @ 0.819108 2.09/2.15 c bounds 25848 >= 2107 @ 0.825873 2.09/2.15 c bounds 25848 >= 2108 @ 0.834919 2.09/2.15 c bounds 25848 >= 2109 @ 0.84205 2.09/2.15 c bounds 25846 >= 2109 @ 0.917732 2.09/2.15 c bounds 25846 >= 2110 @ 0.926817 2.09/2.15 c bounds 25846 >= 2111 @ 0.939735 2.09/2.15 c bounds 25846 >= 2112 @ 0.946791 2.09/2.15 c bounds 25846 >= 2113 @ 0.948198 2.09/2.15 c bounds 25846 >= 2114 @ 0.950688 2.09/2.15 c bounds 25846 >= 2115 @ 0.952906 2.09/2.15 c bounds 25846 >= 2116 @ 0.954959 2.09/2.15 c bounds 25846 >= 2117 @ 0.958667 2.09/2.15 c bounds 25846 >= 2119 @ 0.959614 2.09/2.15 c bounds 25846 >= 2120 @ 0.960099 2.09/2.15 c bounds 25846 >= 2121 @ 0.961175 2.09/2.15 c bounds 25846 >= 2122 @ 0.96865 2.09/2.15 c bounds 25846 >= 2123 @ 0.971643 2.09/2.15 c bounds 25846 >= 2124 @ 0.974003 2.09/2.15 c bounds 25846 >= 2125 @ 0.976671 2.09/2.15 c bounds 25846 >= 2126 @ 0.985015 2.09/2.15 c bounds 25846 >= 2127 @ 0.988606 2.09/2.15 c bounds 25846 >= 2128 @ 0.99315 2.09/2.15 c bounds 25846 >= 2129 @ 0.998986 2.09/2.15 c bounds 25846 >= 2131 @ 1.00161 2.09/2.15 c bounds 25846 >= 2132 @ 1.00301 2.09/2.15 c bounds 25846 >= 2133 @ 1.00523 2.09/2.15 c bounds 25846 >= 2134 @ 1.00687 2.09/2.15 c bounds 25846 >= 2135 @ 1.00801 2.09/2.15 c bounds 25846 >= 2136 @ 1.01003 2.09/2.15 c bounds 25846 >= 2137 @ 1.01125 2.09/2.15 c bounds 25846 >= 2138 @ 1.0133 2.09/2.15 c bounds 25846 >= 2139 @ 1.0136 2.09/2.15 c bounds 25846 >= 2140 @ 1.0177 2.09/2.15 c bounds 25846 >= 2141 @ 1.01909 2.09/2.15 c bounds 25846 >= 2142 @ 1.02053 2.09/2.15 c bounds 25846 >= 2143 @ 1.02253 2.09/2.15 c bounds 25846 >= 2144 @ 1.02449 2.09/2.15 c bounds 25846 >= 2145 @ 1.02592 2.09/2.15 c bounds 25846 >= 2146 @ 1.0294 2.09/2.15 c bounds 25846 >= 2147 @ 1.03023 2.09/2.15 c bounds 25846 >= 2148 @ 1.03251 2.09/2.15 c bounds 25846 >= 2149 @ 1.03599 2.09/2.15 c bounds 25846 >= 2150 @ 1.0446 2.09/2.15 c bounds 25846 >= 2151 @ 1.04921 2.09/2.15 c bounds 25846 >= 2152 @ 1.05446 2.09/2.15 c bounds 25846 >= 2153 @ 1.05845 2.09/2.15 c bounds 25846 >= 2154 @ 1.06144 2.09/2.15 c bounds 25846 >= 2155 @ 1.06546 2.09/2.15 c bounds 25846 >= 2156 @ 1.06908 2.09/2.15 c bounds 25827 >= 2156 @ 1.07964 2.09/2.15 c bounds 25827 >= 2157 @ 1.08517 2.09/2.15 c bounds 25827 >= 2158 @ 1.09225 2.09/2.15 c bounds 25827 >= 2159 @ 1.09741 2.09/2.15 c bounds 25718 >= 2159 @ 1.16684 2.09/2.15 c bounds 25718 >= 2160 @ 1.17719 2.09/2.15 c #Conflicts: 3000 | #Constraints: 7447 2.09/2.15 c bounds 25718 >= 2161 @ 1.18283 2.09/2.15 c bounds 25718 >= 2162 @ 1.18711 2.09/2.15 c bounds 25718 >= 2163 @ 1.19355 2.09/2.15 c bounds 25718 >= 2164 @ 1.19742 2.09/2.15 c bounds 25718 >= 2165 @ 1.20031 2.09/2.15 c bounds 25718 >= 2166 @ 1.20614 2.09/2.15 c bounds 25718 >= 2167 @ 1.21018 2.09/2.15 c bounds 25718 >= 2168 @ 1.21194 2.09/2.15 c bounds 25718 >= 2169 @ 1.21373 2.09/2.15 c bounds 25718 >= 2170 @ 1.22061 2.09/2.15 c bounds 25718 >= 2171 @ 1.23219 2.09/2.15 c bounds 25718 >= 2172 @ 1.23738 2.09/2.15 c bounds 25718 >= 2173 @ 1.2421 2.09/2.15 c bounds 25718 >= 2174 @ 1.2471 2.09/2.15 c bounds 25718 >= 2175 @ 1.25283 2.09/2.15 c bounds 25718 >= 2176 @ 1.25677 2.09/2.15 c bounds 25718 >= 2177 @ 1.26181 2.09/2.15 c bounds 25718 >= 2178 @ 1.26295 2.09/2.15 c bounds 25718 >= 2179 @ 1.26863 2.09/2.15 c bounds 25718 >= 2180 @ 1.27276 2.09/2.15 c bounds 25718 >= 2181 @ 1.27636 2.09/2.15 c bounds 25718 >= 2182 @ 1.27853 2.09/2.15 c bounds 25718 >= 2183 @ 1.28301 2.09/2.15 c bounds 25718 >= 2184 @ 1.28533 2.09/2.15 c bounds 25718 >= 2185 @ 1.28695 2.09/2.15 c bounds 25718 >= 2186 @ 1.28982 2.09/2.15 c bounds 25718 >= 2187 @ 1.2916 2.09/2.15 c bounds 25718 >= 2188 @ 1.295 2.09/2.15 c bounds 25682 >= 2188 @ 1.30201 2.09/2.15 c bounds 25682 >= 2189 @ 1.30539 2.09/2.15 c bounds 25682 >= 2190 @ 1.30833 2.09/2.15 c bounds 25682 >= 2191 @ 1.31116 2.09/2.15 c bounds 25682 >= 2192 @ 1.31383 2.09/2.15 c bounds 25544 >= 2192 @ 1.48652 2.09/2.15 c bounds 25544 >= 2193 @ 1.49441 2.09/2.15 c bounds 25544 >= 2194 @ 1.49519 2.09/2.15 c bounds 25544 >= 2195 @ 1.496 2.09/2.15 c bounds 25544 >= 2196 @ 1.496 2.09/2.15 c bounds 25544 >= 2198 @ 1.496 2.09/2.15 c bounds 25544 >= 2199 @ 1.49631 2.09/2.15 c bounds 25544 >= 2200 @ 1.49958 2.09/2.15 c bounds 25544 >= 2201 @ 1.52758 2.09/2.15 c bounds 25544 >= 2202 @ 1.52988 2.09/2.15 c bounds 25544 >= 2203 @ 1.53373 2.09/2.15 c bounds 25544 >= 2204 @ 1.53615 2.09/2.15 c bounds 25544 >= 2205 @ 1.53996 2.09/2.15 c bounds 25544 >= 2206 @ 1.55173 2.09/2.15 c bounds 25544 >= 2207 @ 1.56128 2.09/2.15 c bounds 25544 >= 2208 @ 1.56687 2.09/2.15 c bounds 25544 >= 2209 @ 1.57265 2.09/2.15 c bounds 25544 >= 2210 @ 1.58543 2.09/2.15 c bounds 25544 >= 2211 @ 1.58887 2.09/2.15 c bounds 25544 >= 2212 @ 1.59141 2.09/2.15 c bounds 25544 >= 2213 @ 1.59532 2.09/2.15 c bounds 25544 >= 2214 @ 1.59803 2.09/2.15 c bounds 25544 >= 2215 @ 1.60096 2.09/2.15 c bounds 25544 >= 2216 @ 1.60671 2.09/2.15 c bounds 25544 >= 2217 @ 1.61061 2.09/2.15 c bounds 25544 >= 2218 @ 1.61516 2.58/2.65 c bounds 25544 >= 2219 @ 1.61845 2.58/2.65 c bounds 25544 >= 2220 @ 1.62294 2.58/2.65 c bounds 25544 >= 2221 @ 1.62657 2.58/2.65 c bounds 25544 >= 2222 @ 1.63327 2.58/2.65 c bounds 25544 >= 2223 @ 1.63754 2.58/2.65 c bounds 25544 >= 2224 @ 1.64046 2.58/2.65 c bounds 25544 >= 2225 @ 1.64506 2.58/2.65 c bounds 25544 >= 2226 @ 1.64709 2.58/2.65 c bounds 25544 >= 2227 @ 1.64973 2.58/2.65 c bounds 25544 >= 2228 @ 1.65251 2.58/2.65 c bounds 25544 >= 2229 @ 1.65611 2.58/2.65 c bounds 25544 >= 2230 @ 1.66002 2.58/2.65 c bounds 25544 >= 2231 @ 1.6639 2.58/2.65 c bounds 25544 >= 2232 @ 1.66541 2.58/2.65 c bounds 25544 >= 2233 @ 1.66743 2.58/2.65 c bounds 25544 >= 2234 @ 1.67075 2.58/2.65 c bounds 25544 >= 2235 @ 1.67336 2.58/2.65 c bounds 25544 >= 2236 @ 1.67697 2.58/2.65 c bounds 25544 >= 2237 @ 1.68239 2.58/2.65 c bounds 25544 >= 2238 @ 1.6865 2.58/2.65 c bounds 25544 >= 2239 @ 1.68886 2.58/2.65 c bounds 25544 >= 2240 @ 1.69116 2.58/2.65 c bounds 25544 >= 2241 @ 1.69508 2.58/2.65 c bounds 25544 >= 2242 @ 1.69806 2.58/2.65 c bounds 25544 >= 2243 @ 1.69979 2.58/2.65 c bounds 25544 >= 2244 @ 1.70179 2.58/2.65 c bounds 25544 >= 2245 @ 1.70508 2.58/2.65 c bounds 25544 >= 2246 @ 1.70715 2.58/2.65 c bounds 25544 >= 2247 @ 1.70921 2.58/2.65 c bounds 25544 >= 2248 @ 1.7129 2.58/2.65 c bounds 25544 >= 2249 @ 1.7168 2.58/2.65 c bounds 25544 >= 2250 @ 1.72072 2.58/2.65 c bounds 25544 >= 2251 @ 1.73096 2.58/2.65 c bounds 25544 >= 2252 @ 1.74158 2.58/2.65 c bounds 25544 >= 2253 @ 1.74617 2.58/2.65 c bounds 25544 >= 2254 @ 1.75758 2.58/2.65 c bounds 25544 >= 2255 @ 1.76807 2.58/2.65 c bounds 25544 >= 2256 @ 1.78139 2.58/2.65 c bounds 25544 >= 2257 @ 1.79665 2.58/2.65 c bounds 25544 >= 2258 @ 1.8113 2.58/2.65 c bounds 25502 >= 2258 @ 1.82074 2.58/2.65 c #Conflicts: 4000 | #Constraints: 10308 2.58/2.65 c bounds 25502 >= 2259 @ 1.84048 2.58/2.65 c bounds 25462 >= 2259 @ 1.84513 2.58/2.65 c bounds 25456 >= 2259 @ 1.84998 2.58/2.65 c bounds 25456 >= 2260 @ 1.86166 2.58/2.65 c bounds 25336 >= 2260 @ 1.87865 2.58/2.65 c bounds 25336 >= 2261 @ 1.89929 2.58/2.65 c bounds 25336 >= 2262 @ 1.9118 2.58/2.65 c bounds 25320 >= 2262 @ 1.95392 2.58/2.65 c bounds 25320 >= 2263 @ 1.96637 2.58/2.65 c bounds 25320 >= 2264 @ 1.97986 2.58/2.65 c bounds 25320 >= 2265 @ 2.00396 2.58/2.65 c INPROCESSING 2.58/2.65 c GARBAGE COLLECT 2.58/2.65 c rational objective 4936.92 5.47/5.56 c bounds 25320 >= 2266 @ 2.06769 5.47/5.56 c bounds 25320 >= 2267 @ 2.07847 5.47/5.56 c bounds 25320 >= 2268 @ 2.08934 5.47/5.56 c bounds 25320 >= 2269 @ 2.10133 5.47/5.56 c bounds 25320 >= 2270 @ 2.11306 5.47/5.56 c bounds 25156 >= 2270 @ 2.20738 5.47/5.56 c bounds 25156 >= 2271 @ 2.22784 5.47/5.56 c bounds 25156 >= 2272 @ 2.24608 5.47/5.56 c bounds 25156 >= 2273 @ 2.26958 5.47/5.56 c bounds 25156 >= 2274 @ 2.28122 5.47/5.56 c bounds 25156 >= 2275 @ 2.29818 5.47/5.56 c bounds 25156 >= 2276 @ 2.31299 5.47/5.56 c bounds 25156 >= 2277 @ 2.33145 5.47/5.56 c bounds 25156 >= 2278 @ 2.34588 5.47/5.56 c bounds 25156 >= 2279 @ 2.37007 5.47/5.56 c bounds 25156 >= 2280 @ 2.38637 5.47/5.56 c bounds 25156 >= 2281 @ 2.40338 5.47/5.56 c bounds 25156 >= 2282 @ 2.42188 5.47/5.56 c bounds 25156 >= 2283 @ 2.44022 5.47/5.56 c bounds 25156 >= 2284 @ 2.46046 5.47/5.56 c bounds 25149 >= 2284 @ 2.5032 5.47/5.56 c bounds 25149 >= 2285 @ 2.51957 5.47/5.56 c bounds 25149 >= 2286 @ 2.53418 5.47/5.56 c bounds 25149 >= 2287 @ 2.55311 5.47/5.56 c bounds 25149 >= 2288 @ 2.5678 5.47/5.56 c bounds 25149 >= 2289 @ 2.58945 5.47/5.56 c bounds 25149 >= 2290 @ 2.60394 5.47/5.56 c bounds 25140 >= 2290 @ 2.62375 5.47/5.56 c bounds 25140 >= 2291 @ 2.63202 5.47/5.56 c bounds 25140 >= 2292 @ 2.6494 5.47/5.56 c bounds 25140 >= 2293 @ 2.67182 5.47/5.56 c #Conflicts: 5000 | #Constraints: 10770 5.47/5.56 c bounds 25076 >= 2293 @ 2.85021 5.47/5.56 c bounds 25076 >= 2294 @ 2.869 5.47/5.56 c bounds 25076 >= 2295 @ 2.87889 5.47/5.56 c bounds 25076 >= 2296 @ 2.88837 5.47/5.56 c bounds 25076 >= 2297 @ 2.89732 5.47/5.56 c bounds 25076 >= 2298 @ 2.90704 5.47/5.56 c bounds 25076 >= 2299 @ 2.91329 5.47/5.56 c bounds 25076 >= 2300 @ 2.91864 5.47/5.56 c bounds 25076 >= 2301 @ 2.9234 5.47/5.56 c bounds 25076 >= 2302 @ 2.93518 5.47/5.56 c bounds 25076 >= 2303 @ 2.94427 5.47/5.56 c bounds 25076 >= 2304 @ 2.95222 5.47/5.56 c bounds 25076 >= 2305 @ 3.00651 5.47/5.56 c bounds 25076 >= 2306 @ 3.01755 5.47/5.56 c bounds 25076 >= 2307 @ 3.02247 5.47/5.56 c bounds 25076 >= 2308 @ 3.0362 5.47/5.56 c bounds 25076 >= 2309 @ 3.05066 5.47/5.56 c bounds 25076 >= 2310 @ 3.06694 5.47/5.56 c bounds 25076 >= 2311 @ 3.08458 5.47/5.56 c bounds 25076 >= 2312 @ 3.09745 5.47/5.56 c bounds 25076 >= 2313 @ 3.10631 5.47/5.56 c bounds 25076 >= 2314 @ 3.11663 5.47/5.56 c bounds 25076 >= 2315 @ 3.12747 5.47/5.56 c bounds 25076 >= 2316 @ 3.14543 5.47/5.56 c bounds 25076 >= 2317 @ 3.16934 5.47/5.56 c bounds 25076 >= 2318 @ 3.18028 5.47/5.56 c bounds 25076 >= 2319 @ 3.19123 5.47/5.56 c bounds 25076 >= 2320 @ 3.20404 5.47/5.56 c bounds 25076 >= 2321 @ 3.215 5.47/5.56 c bounds 25076 >= 2322 @ 3.22611 5.47/5.56 c bounds 25076 >= 2323 @ 3.24824 5.47/5.56 c bounds 25076 >= 2324 @ 3.26266 5.47/5.56 c bounds 25076 >= 2325 @ 3.28071 5.47/5.56 c bounds 25076 >= 2326 @ 3.29462 5.47/5.56 c bounds 25076 >= 2327 @ 3.31166 5.47/5.56 c bounds 25076 >= 2328 @ 3.32973 5.47/5.56 c bounds 25076 >= 2329 @ 3.34578 5.47/5.56 c bounds 25056 >= 2329 @ 3.35272 5.47/5.56 c bounds 25056 >= 2330 @ 3.3719 5.47/5.56 c bounds 24976 >= 2330 @ 3.38764 5.47/5.56 c bounds 24976 >= 2331 @ 3.41286 5.47/5.56 c bounds 24912 >= 2331 @ 3.73623 5.47/5.56 c bounds 24912 >= 2332 @ 3.75922 5.47/5.56 c bounds 24912 >= 2333 @ 3.79107 5.47/5.56 c bounds 24912 >= 2334 @ 3.81646 5.47/5.56 c #Conflicts: 6000 | #Constraints: 12972 5.47/5.56 c bounds 24912 >= 2335 @ 3.83199 5.47/5.56 c bounds 24912 >= 2336 @ 3.84745 5.47/5.56 c bounds 24912 >= 2337 @ 3.85978 5.47/5.56 c bounds 24912 >= 2338 @ 3.87075 5.47/5.56 c bounds 24912 >= 2339 @ 3.88087 5.47/5.56 c bounds 24912 >= 2340 @ 3.90024 5.47/5.56 c bounds 24912 >= 2341 @ 3.90914 5.47/5.56 c bounds 24912 >= 2342 @ 3.91769 5.47/5.56 c bounds 24912 >= 2343 @ 3.92638 5.47/5.56 c bounds 24912 >= 2344 @ 3.93238 5.47/5.56 c bounds 24912 >= 2345 @ 3.94154 5.47/5.56 c bounds 24912 >= 2346 @ 3.95781 5.47/5.56 c bounds 24912 >= 2347 @ 3.96836 5.47/5.56 c bounds 24912 >= 2348 @ 3.97715 5.47/5.56 c bounds 24912 >= 2349 @ 3.98144 5.47/5.56 c bounds 24912 >= 2350 @ 3.99369 5.47/5.56 c bounds 24912 >= 2351 @ 4.00443 5.47/5.56 c bounds 24912 >= 2352 @ 4.0176 5.47/5.56 c bounds 24912 >= 2353 @ 4.02806 5.47/5.56 c bounds 24912 >= 2354 @ 4.03836 5.47/5.56 c bounds 24912 >= 2355 @ 4.05888 5.47/5.56 c bounds 24912 >= 2356 @ 4.06982 5.47/5.56 c bounds 24912 >= 2357 @ 4.08953 5.47/5.56 c bounds 24912 >= 2358 @ 4.10017 5.47/5.56 c bounds 24912 >= 2359 @ 4.11982 5.47/5.56 c bounds 24912 >= 2360 @ 4.13808 5.47/5.56 c bounds 24912 >= 2361 @ 4.14941 5.47/5.56 c bounds 24912 >= 2362 @ 4.16031 5.47/5.56 c bounds 24912 >= 2363 @ 4.17071 5.47/5.56 c bounds 24912 >= 2364 @ 4.19951 5.47/5.56 c bounds 24912 >= 2365 @ 4.22255 5.47/5.56 c bounds 24912 >= 2366 @ 4.24442 5.47/5.56 c bounds 24912 >= 2367 @ 4.28819 5.47/5.56 c bounds 24912 >= 2368 @ 4.32958 5.47/5.56 c bounds 24912 >= 2369 @ 4.36103 5.47/5.56 c bounds 24912 >= 2370 @ 4.39782 5.47/5.56 c bounds 24912 >= 2371 @ 4.4274 5.47/5.56 c bounds 24912 >= 2372 @ 4.45039 5.47/5.56 c bounds 24912 >= 2373 @ 4.47181 5.47/5.56 c bounds 24912 >= 2374 @ 4.51377 5.47/5.56 c bounds 24912 >= 2375 @ 4.54406 5.47/5.56 c INPROCESSING 5.47/5.56 c GARBAGE COLLECT 5.47/5.56 c bounds 24912 >= 2376 @ 4.57892 5.47/5.56 c bounds 24912 >= 2377 @ 4.6026 5.47/5.56 c bounds 24912 >= 2378 @ 4.63416 5.47/5.56 c bounds 24893 >= 2378 @ 4.64418 10.45/10.57 c bounds 24893 >= 2379 @ 4.68127 10.45/10.57 c #Conflicts: 7000 | #Constraints: 13148 10.45/10.57 c bounds 24843 >= 2379 @ 5.08237 10.45/10.57 c bounds 24843 >= 2380 @ 5.10665 10.45/10.57 c bounds 24843 >= 2381 @ 5.129 10.45/10.57 c bounds 24843 >= 2382 @ 5.16767 10.45/10.57 c bounds 24843 >= 2383 @ 5.18762 10.45/10.57 c bounds 24843 >= 2384 @ 5.21307 10.45/10.57 c bounds 24843 >= 2385 @ 5.24128 10.45/10.57 c bounds 24843 >= 2386 @ 5.25854 10.45/10.57 c bounds 24843 >= 2387 @ 5.28336 10.45/10.57 c bounds 24843 >= 2388 @ 5.29977 10.45/10.57 c bounds 24843 >= 2389 @ 5.31732 10.45/10.57 c bounds 24843 >= 2390 @ 5.33942 10.45/10.57 c bounds 24843 >= 2391 @ 5.36941 10.45/10.57 c bounds 24843 >= 2392 @ 5.41172 10.45/10.57 c bounds 24843 >= 2393 @ 5.43254 10.45/10.57 c bounds 24843 >= 2394 @ 5.46011 10.45/10.57 c bounds 24843 >= 2395 @ 5.47999 10.45/10.57 c bounds 24843 >= 2396 @ 5.50327 10.45/10.57 c bounds 24843 >= 2397 @ 5.55437 10.45/10.57 c bounds 24843 >= 2398 @ 5.59957 10.45/10.57 c bounds 24843 >= 2399 @ 5.64307 10.45/10.57 c bounds 24843 >= 2400 @ 5.69653 10.45/10.57 c bounds 24843 >= 2401 @ 5.73072 10.45/10.57 c bounds 24843 >= 2402 @ 5.76384 10.45/10.57 c bounds 24843 >= 2403 @ 5.79567 10.45/10.57 c bounds 24843 >= 2404 @ 5.81805 10.45/10.57 c bounds 24843 >= 2405 @ 5.8493 10.45/10.57 c bounds 24843 >= 2406 @ 5.88575 10.45/10.57 c bounds 24843 >= 2407 @ 5.96928 10.45/10.57 c bounds 24843 >= 2408 @ 6.02168 10.45/10.57 c bounds 24843 >= 2409 @ 6.05086 10.45/10.57 c bounds 24843 >= 2410 @ 6.10705 10.45/10.57 c bounds 24843 >= 2411 @ 6.15442 10.45/10.57 c bounds 24843 >= 2412 @ 6.20186 10.45/10.57 c bounds 24843 >= 2413 @ 6.25213 10.45/10.57 c bounds 24843 >= 2414 @ 6.28631 10.45/10.57 c bounds 24843 >= 2415 @ 6.32595 10.45/10.57 c bounds 24843 >= 2416 @ 6.35308 10.45/10.57 c bounds 24843 >= 2417 @ 6.39039 10.45/10.57 c bounds 24843 >= 2418 @ 6.45095 10.45/10.57 c bounds 24843 >= 2419 @ 6.49617 10.45/10.57 c bounds 24843 >= 2420 @ 6.60689 10.45/10.57 c #Conflicts: 8000 | #Constraints: 15640 10.45/10.57 c bounds 24793 >= 2420 @ 6.94094 10.45/10.57 c bounds 24793 >= 2421 @ 7.05201 10.45/10.57 c bounds 24793 >= 2422 @ 7.0996 10.45/10.57 c bounds 24793 >= 2423 @ 7.18725 10.45/10.57 c bounds 24793 >= 2424 @ 7.28559 10.45/10.57 c bounds 24793 >= 2425 @ 7.34833 10.45/10.57 c bounds 24793 >= 2426 @ 7.40814 10.45/10.57 c bounds 24793 >= 2427 @ 7.47932 10.45/10.57 c bounds 24793 >= 2428 @ 7.54296 10.45/10.57 c bounds 24793 >= 2429 @ 7.59867 10.45/10.57 c bounds 24793 >= 2430 @ 7.65029 10.45/10.57 c bounds 24793 >= 2431 @ 7.7306 10.45/10.57 c bounds 24793 >= 2432 @ 7.85055 10.45/10.57 c bounds 24793 >= 2433 @ 7.90468 10.45/10.57 c bounds 24793 >= 2434 @ 7.96142 10.45/10.57 c bounds 24793 >= 2435 @ 8.02441 10.45/10.57 c bounds 24793 >= 2436 @ 8.08083 10.45/10.57 c bounds 24793 >= 2437 @ 8.16387 10.45/10.57 c bounds 24793 >= 2438 @ 8.23453 10.45/10.57 c bounds 24793 >= 2439 @ 8.37224 10.45/10.57 c #Conflicts: 9000 | #Constraints: 17563 10.45/10.57 c INPROCESSING 10.45/10.57 c GARBAGE COLLECT 10.45/10.57 c rational objective 5447.37 19.23/19.38 c bounds 24793 >= 2440 @ 9.57886 19.23/19.38 c bounds 24793 >= 2441 @ 9.71059 19.23/19.38 c bounds 24793 >= 2442 @ 9.83383 19.23/19.38 c bounds 24793 >= 2443 @ 9.94495 19.23/19.38 c bounds 24793 >= 2444 @ 10.0577 19.23/19.38 c bounds 24793 >= 2445 @ 10.1752 19.23/19.38 c bounds 24793 >= 2446 @ 10.246 19.23/19.38 c bounds 24793 >= 2447 @ 10.3459 19.23/19.38 c bounds 24793 >= 2448 @ 10.4078 19.23/19.38 c bounds 24793 >= 2449 @ 10.5457 19.23/19.38 c bounds 24793 >= 2450 @ 10.6423 19.23/19.38 c bounds 24793 >= 2451 @ 10.8363 19.23/19.38 c bounds 24793 >= 2452 @ 10.9426 19.23/19.38 c bounds 24793 >= 2453 @ 11.0707 19.23/19.38 c bounds 24793 >= 2454 @ 11.1893 19.23/19.38 c bounds 24793 >= 2455 @ 11.3451 19.23/19.38 c bounds 24793 >= 2456 @ 11.5079 19.23/19.38 c #Conflicts: 10000 | #Constraints: 16974 19.23/19.38 c bounds 24793 >= 2457 @ 11.7214 19.23/19.38 c bounds 24793 >= 2458 @ 11.8268 19.23/19.38 c bounds 24793 >= 2459 @ 12.0865 19.23/19.38 c bounds 24793 >= 2460 @ 12.1606 19.23/19.38 c bounds 24793 >= 2461 @ 12.3218 19.23/19.38 c bounds 24793 >= 2462 @ 12.4425 19.23/19.38 c bounds 24793 >= 2463 @ 12.6276 19.23/19.38 c bounds 24793 >= 2464 @ 12.7092 19.23/19.38 c bounds 24793 >= 2465 @ 12.8984 19.23/19.38 c bounds 24793 >= 2466 @ 13.0248 19.23/19.38 c bounds 24793 >= 2467 @ 13.1647 19.23/19.38 c bounds 24793 >= 2468 @ 13.3356 19.23/19.38 c bounds 24793 >= 2469 @ 13.4544 19.23/19.38 c bounds 24793 >= 2470 @ 13.5712 19.23/19.38 c bounds 24793 >= 2471 @ 13.7894 19.23/19.38 c bounds 24793 >= 2472 @ 13.9395 19.23/19.38 c bounds 24793 >= 2473 @ 14.0565 19.23/19.38 c bounds 24793 >= 2474 @ 14.2273 19.23/19.38 c bounds 24793 >= 2475 @ 14.3996 19.23/19.38 c bounds 24793 >= 2476 @ 14.5899 19.23/19.38 c bounds 24793 >= 2477 @ 14.7247 19.23/19.38 c bounds 24793 >= 2478 @ 14.8757 19.23/19.38 c bounds 24793 >= 2479 @ 14.9782 19.23/19.38 c #Conflicts: 11000 | #Constraints: 19278 19.23/19.38 c bounds 24793 >= 2480 @ 15.1959 19.23/19.38 c bounds 24793 >= 2481 @ 15.3154 19.23/19.38 c bounds 24793 >= 2482 @ 15.6014 19.23/19.38 c bounds 24731 >= 2482 @ 15.7913 19.23/19.38 c bounds 24731 >= 2483 @ 16.1649 19.23/19.38 c bounds 24731 >= 2484 @ 16.3782 19.23/19.38 c bounds 24731 >= 2485 @ 16.508 19.23/19.38 c bounds 24731 >= 2486 @ 16.6866 19.23/19.38 c bounds 24731 >= 2487 @ 16.8241 19.23/19.38 c bounds 24731 >= 2488 @ 17.0995 19.23/19.38 c bounds 24719 >= 2488 @ 17.6235 19.23/19.38 c #Conflicts: 12000 | #Constraints: 20847 19.23/19.38 c INPROCESSING 19.23/19.38 c GARBAGE COLLECT 19.23/19.38 c rational objective 7878.11 55.83/56.09 c bounds 24719 >= 2489 @ 18.2161 55.83/56.09 c bounds 24719 >= 2490 @ 18.364 55.83/56.09 c bounds 24719 >= 2491 @ 18.6556 55.83/56.09 c bounds 24719 >= 2492 @ 18.7659 55.83/56.09 c bounds 24719 >= 2493 @ 18.8953 55.83/56.09 c bounds 24719 >= 2494 @ 19.1751 55.83/56.09 c bounds 24719 >= 2495 @ 19.3699 55.83/56.09 c bounds 24719 >= 2496 @ 19.5948 55.83/56.09 c bounds 24719 >= 2497 @ 19.7022 55.83/56.09 c bounds 24719 >= 2498 @ 20.0119 55.83/56.09 c bounds 24719 >= 2499 @ 20.1842 55.83/56.09 c bounds 24719 >= 2500 @ 20.5562 55.83/56.09 c bounds 24719 >= 2501 @ 20.7403 55.83/56.09 c bounds 24719 >= 2502 @ 20.9336 55.83/56.09 c bounds 24719 >= 2503 @ 21.1958 55.83/56.09 c bounds 24719 >= 2504 @ 21.3722 55.83/56.09 c bounds 24719 >= 2505 @ 21.7182 55.83/56.09 c bounds 24719 >= 2506 @ 21.8602 55.83/56.09 c bounds 24719 >= 2507 @ 22.1072 55.83/56.09 c #Conflicts: 13000 | #Constraints: 20144 55.83/56.09 c bounds 24707 >= 2507 @ 22.4274 55.83/56.09 c bounds 24707 >= 2508 @ 22.7202 55.83/56.09 c bounds 24707 >= 2509 @ 23.0924 55.83/56.09 c bounds 24707 >= 2510 @ 23.4031 55.83/56.09 c bounds 24707 >= 2511 @ 23.6512 55.83/56.09 c bounds 24707 >= 2512 @ 23.84 55.83/56.09 c bounds 24707 >= 2513 @ 23.9994 55.83/56.09 c bounds 24707 >= 2514 @ 24.326 55.83/56.09 c bounds 24707 >= 2515 @ 24.51 55.83/56.09 c bounds 24707 >= 2516 @ 24.7188 55.83/56.09 c bounds 24707 >= 2517 @ 25.1257 55.83/56.09 c bounds 24705 >= 2517 @ 25.3311 55.83/56.09 c bounds 24705 >= 2518 @ 26.0632 55.83/56.09 c bounds 24705 >= 2519 @ 26.3754 55.83/56.09 c bounds 24705 >= 2520 @ 26.6938 55.83/56.09 c bounds 24663 >= 2520 @ 26.7111 55.83/56.09 c bounds 24663 >= 2521 @ 26.9548 55.83/56.09 c bounds 24656 >= 2521 @ 27.0339 55.83/56.09 c bounds 24656 >= 2522 @ 27.2595 55.83/56.09 c bounds 24656 >= 2523 @ 27.486 55.83/56.09 c #Conflicts: 14000 | #Constraints: 21944 55.83/56.09 c bounds 24656 >= 2524 @ 27.6974 55.83/56.09 c bounds 24645 >= 2524 @ 27.7162 55.83/56.09 c bounds 24637 >= 2524 @ 27.8219 55.83/56.09 c bounds 24637 >= 2525 @ 28.1095 55.83/56.09 c bounds 24637 >= 2526 @ 28.277 55.83/56.09 c bounds 24637 >= 2527 @ 28.5353 55.83/56.09 c bounds 24637 >= 2528 @ 28.8647 55.83/56.09 c #Conflicts: 15000 | #Constraints: 23099 55.83/56.09 c INPROCESSING 55.83/56.09 c GARBAGE COLLECT 55.83/56.09 c bounds 24637 >= 2529 @ 31.2096 55.83/56.09 c bounds 24637 >= 2530 @ 31.5607 55.83/56.09 c bounds 24637 >= 2531 @ 31.717 55.83/56.09 c bounds 24637 >= 2532 @ 31.8343 55.83/56.09 c bounds 24637 >= 2533 @ 32.0053 55.83/56.09 c bounds 24637 >= 2534 @ 32.0958 55.83/56.09 c bounds 24637 >= 2535 @ 32.2216 55.83/56.09 c bounds 24637 >= 2536 @ 32.3658 55.83/56.09 c bounds 24637 >= 2537 @ 32.5286 55.83/56.09 c bounds 24637 >= 2538 @ 32.6364 55.83/56.09 c bounds 24637 >= 2539 @ 32.7353 55.83/56.09 c bounds 24637 >= 2540 @ 32.8808 55.83/56.09 c bounds 24637 >= 2541 @ 33.1164 55.83/56.09 c bounds 24637 >= 2542 @ 33.3159 55.83/56.09 c bounds 24637 >= 2543 @ 33.4907 55.83/56.09 c bounds 24637 >= 2544 @ 33.7101 55.83/56.09 c bounds 24637 >= 2545 @ 33.9235 55.83/56.09 c bounds 24637 >= 2546 @ 34.1417 55.83/56.09 c bounds 24637 >= 2547 @ 34.56 55.83/56.09 c bounds 24637 >= 2548 @ 34.7641 55.83/56.09 c bounds 24637 >= 2549 @ 34.9594 55.83/56.09 c bounds 24637 >= 2550 @ 35.172 55.83/56.09 c bounds 24637 >= 2551 @ 35.9293 55.83/56.09 c bounds 24637 >= 2552 @ 36.1631 55.83/56.09 c bounds 24637 >= 2553 @ 36.5836 55.83/56.09 c bounds 24637 >= 2554 @ 36.8599 55.83/56.09 c bounds 24637 >= 2555 @ 37.1258 55.83/56.09 c bounds 24637 >= 2556 @ 37.3036 55.83/56.09 c bounds 24637 >= 2557 @ 37.4494 55.83/56.09 c bounds 24637 >= 2558 @ 37.7889 55.83/56.09 c bounds 24637 >= 2559 @ 37.9472 55.83/56.09 c #Conflicts: 16000 | #Constraints: 22302 55.83/56.09 c bounds 24637 >= 2560 @ 38.2533 55.83/56.09 c bounds 24637 >= 2561 @ 38.4559 55.83/56.09 c bounds 24637 >= 2562 @ 38.7223 55.83/56.09 c bounds 24637 >= 2563 @ 38.8992 55.83/56.09 c bounds 24637 >= 2564 @ 39.1229 55.83/56.09 c bounds 24637 >= 2565 @ 39.4125 55.83/56.09 c bounds 24637 >= 2566 @ 39.7886 55.83/56.09 c bounds 24637 >= 2567 @ 40.1329 55.83/56.09 c bounds 24637 >= 2568 @ 40.36 55.83/56.09 c bounds 24637 >= 2569 @ 40.5771 55.83/56.09 c bounds 24637 >= 2570 @ 40.7782 55.83/56.09 c bounds 24637 >= 2571 @ 41.0291 55.83/56.09 c bounds 24637 >= 2572 @ 41.2955 55.83/56.09 c bounds 24637 >= 2573 @ 41.8014 55.83/56.09 c bounds 24637 >= 2574 @ 41.9518 55.83/56.09 c bounds 24637 >= 2575 @ 42.1382 55.83/56.09 c bounds 24637 >= 2576 @ 42.4492 55.83/56.09 c bounds 24637 >= 2577 @ 42.6367 55.83/56.09 c bounds 24637 >= 2578 @ 43.1788 55.83/56.09 c bounds 24637 >= 2579 @ 43.4027 55.83/56.09 c bounds 24637 >= 2580 @ 43.6725 55.83/56.09 c bounds 24637 >= 2581 @ 43.9409 55.83/56.09 c bounds 24637 >= 2582 @ 44.4978 55.83/56.09 c bounds 24637 >= 2583 @ 44.8536 55.83/56.09 c bounds 24637 >= 2584 @ 45.5611 55.83/56.09 c bounds 24637 >= 2585 @ 46.1562 55.83/56.09 c bounds 24637 >= 2586 @ 46.587 55.83/56.09 c bounds 24637 >= 2587 @ 46.881 55.83/56.09 c bounds 24637 >= 2588 @ 47.2603 55.83/56.09 c #Conflicts: 17000 | #Constraints: 24490 55.83/56.09 c bounds 24637 >= 2589 @ 47.9068 55.83/56.09 c bounds 24637 >= 2590 @ 48.1977 55.83/56.09 c bounds 24637 >= 2591 @ 49.3198 55.83/56.09 c bounds 24637 >= 2592 @ 49.7649 55.83/56.09 c bounds 24637 >= 2593 @ 50.5869 55.83/56.09 c bounds 24637 >= 2594 @ 51.0311 55.83/56.09 c #Conflicts: 18000 | #Constraints: 25905 55.83/56.09 c INPROCESSING 55.83/56.09 c GARBAGE COLLECT 55.83/56.09 c bounds 24637 >= 2595 @ 53.8439 55.83/56.09 c bounds 24637 >= 2596 @ 54.1722 132.10/132.55 c bounds 24637 >= 2597 @ 54.5846 132.10/132.55 c bounds 24637 >= 2598 @ 55.2056 132.10/132.55 c bounds 24637 >= 2599 @ 55.4871 132.10/132.55 c bounds 24637 >= 2600 @ 56.1312 132.10/132.55 c bounds 24637 >= 2601 @ 56.3269 132.10/132.55 c bounds 24637 >= 2602 @ 56.6322 132.10/132.55 c bounds 24637 >= 2603 @ 57.046 132.10/132.55 c bounds 24637 >= 2604 @ 57.3957 132.10/132.55 c bounds 24637 >= 2605 @ 57.7249 132.10/132.55 c bounds 24637 >= 2606 @ 58.1008 132.10/132.55 c bounds 24637 >= 2607 @ 58.3709 132.10/132.55 c bounds 24637 >= 2608 @ 58.6419 132.10/132.55 c bounds 24637 >= 2609 @ 58.9414 132.10/132.55 c bounds 24637 >= 2610 @ 59.2319 132.10/132.55 c #Conflicts: 19000 | #Constraints: 24635 132.10/132.55 c bounds 24637 >= 2611 @ 59.7899 132.10/132.55 c bounds 24637 >= 2612 @ 60.257 132.10/132.55 c bounds 24637 >= 2613 @ 60.5432 132.10/132.55 c bounds 24637 >= 2614 @ 61.0196 132.10/132.55 c bounds 24637 >= 2615 @ 61.2969 132.10/132.55 c bounds 24637 >= 2616 @ 61.8922 132.10/132.55 c bounds 24637 >= 2617 @ 62.5549 132.10/132.55 c bounds 24637 >= 2618 @ 62.8941 132.10/132.55 c bounds 24637 >= 2619 @ 63.2844 132.10/132.55 c bounds 24637 >= 2620 @ 63.8253 132.10/132.55 c bounds 24637 >= 2621 @ 64.3281 132.10/132.55 c bounds 24637 >= 2622 @ 65.5666 132.10/132.55 c bounds 24637 >= 2623 @ 66.2585 132.10/132.55 c bounds 24637 >= 2624 @ 67.215 132.10/132.55 c bounds 24637 >= 2625 @ 67.8044 132.10/132.55 c bounds 24637 >= 2626 @ 68.1841 132.10/132.55 c bounds 24637 >= 2627 @ 68.6529 132.10/132.55 c bounds 24637 >= 2628 @ 69.0356 132.10/132.55 c #Conflicts: 20000 | #Constraints: 26665 132.10/132.55 c bounds 24637 >= 2629 @ 69.8458 132.10/132.55 c bounds 24637 >= 2630 @ 71.2327 132.10/132.55 c bounds 24637 >= 2631 @ 71.926 132.10/132.55 c bounds 24637 >= 2632 @ 72.4235 132.10/132.55 c bounds 24637 >= 2633 @ 72.8688 132.10/132.55 c bounds 24637 >= 2634 @ 73.5112 132.10/132.55 c bounds 24637 >= 2635 @ 74.1821 132.10/132.55 c bounds 24635 >= 2635 @ 74.8261 132.10/132.55 c bounds 24635 >= 2636 @ 76.9148 132.10/132.55 c #Conflicts: 21000 | #Constraints: 28163 132.10/132.55 c bounds 24635 >= 2637 @ 77.6799 132.10/132.55 c bounds 24635 >= 2638 @ 78.448 132.10/132.55 c bounds 24635 >= 2639 @ 78.8002 132.10/132.55 c bounds 24635 >= 2640 @ 79.4204 132.10/132.55 c bounds 24635 >= 2641 @ 79.8567 132.10/132.55 c bounds 24635 >= 2642 @ 80.2276 132.10/132.55 c bounds 24635 >= 2643 @ 80.7363 132.10/132.55 c bounds 24635 >= 2644 @ 81.257 132.10/132.55 c INPROCESSING 132.10/132.55 c GARBAGE COLLECT 132.10/132.55 c bounds 24635 >= 2645 @ 83.3497 132.10/132.55 c bounds 24635 >= 2646 @ 84.2333 132.10/132.55 c bounds 24635 >= 2647 @ 84.5715 132.10/132.55 c bounds 24635 >= 2648 @ 84.7787 132.10/132.55 c #Conflicts: 22000 | #Constraints: 26362 132.10/132.55 c bounds 24635 >= 2649 @ 85.165 132.10/132.55 c bounds 24635 >= 2650 @ 85.8429 132.10/132.55 c bounds 24635 >= 2651 @ 86.2342 132.10/132.55 c bounds 24635 >= 2652 @ 86.4259 132.10/132.55 c bounds 24635 >= 2653 @ 86.8715 132.10/132.55 c bounds 24635 >= 2654 @ 87.1543 132.10/132.55 c bounds 24635 >= 2655 @ 87.6401 132.10/132.55 c bounds 24635 >= 2656 @ 88.2692 132.10/132.55 c bounds 24635 >= 2657 @ 88.7425 132.10/132.55 c bounds 24635 >= 2658 @ 88.9768 132.10/132.55 c bounds 24635 >= 2659 @ 89.2889 132.10/132.55 c bounds 24635 >= 2660 @ 89.4113 132.10/132.55 c bounds 24635 >= 2661 @ 89.6508 132.10/132.55 c bounds 24635 >= 2662 @ 90.1855 132.10/132.55 c #Conflicts: 23000 | #Constraints: 27897 132.10/132.55 c #Conflicts: 24000 | #Constraints: 28929 132.10/132.55 c bounds 24634 >= 2662 @ 94.9898 132.10/132.55 c bounds 24634 >= 2663 @ 95.6432 132.10/132.55 c bounds 24634 >= 2664 @ 96.2477 132.10/132.55 c bounds 24634 >= 2665 @ 96.7311 132.10/132.55 c bounds 24634 >= 2666 @ 97.1459 132.10/132.55 c bounds 24634 >= 2667 @ 97.9905 132.10/132.55 c bounds 24634 >= 2668 @ 98.6791 132.10/132.55 c bounds 24634 >= 2669 @ 99.478 132.10/132.55 c #Conflicts: 25000 | #Constraints: 30384 132.10/132.55 c bounds 24634 >= 2670 @ 101.04 132.10/132.55 c bounds 24634 >= 2671 @ 101.424 132.10/132.55 c INPROCESSING 132.10/132.55 c GARBAGE COLLECT 132.10/132.55 c bounds 24634 >= 2672 @ 102.055 132.10/132.55 c bounds 24634 >= 2673 @ 102.563 132.10/132.55 c bounds 24634 >= 2674 @ 103.792 132.10/132.55 c bounds 24634 >= 2675 @ 104.231 132.10/132.55 c bounds 24634 >= 2676 @ 105.455 132.10/132.55 c bounds 24634 >= 2677 @ 106.149 132.10/132.55 c bounds 24634 >= 2678 @ 106.806 132.10/132.55 c bounds 24634 >= 2679 @ 108.365 132.10/132.55 c bounds 24634 >= 2680 @ 108.907 132.10/132.55 c bounds 24634 >= 2681 @ 109.75 132.10/132.55 c bounds 24634 >= 2682 @ 111.037 132.10/132.55 c bounds 24634 >= 2683 @ 111.779 132.10/132.55 c #Conflicts: 26000 | #Constraints: 28767 132.10/132.55 c bounds 24634 >= 2684 @ 112.67 132.10/132.55 c bounds 24634 >= 2685 @ 113.373 132.10/132.55 c bounds 24634 >= 2686 @ 114.775 132.10/132.55 c bounds 24634 >= 2687 @ 115.287 132.10/132.55 c bounds 24634 >= 2688 @ 116.09 132.10/132.55 c bounds 24634 >= 2689 @ 117.641 132.10/132.55 c bounds 24634 >= 2690 @ 118.61 132.10/132.55 c bounds 24634 >= 2691 @ 119.545 132.10/132.55 c bounds 24634 >= 2692 @ 120.577 132.10/132.55 c bounds 24634 >= 2693 @ 121.007 132.10/132.55 c bounds 24634 >= 2694 @ 121.831 132.10/132.55 c bounds 24634 >= 2695 @ 122.324 132.10/132.55 c bounds 24634 >= 2696 @ 124.195 132.10/132.55 c bounds 24634 >= 2697 @ 125.331 132.10/132.55 c #Conflicts: 27000 | #Constraints: 30453 132.10/132.55 c bounds 24634 >= 2698 @ 125.958 132.10/132.55 c bounds 24634 >= 2699 @ 127.066 132.10/132.55 c bounds 24634 >= 2700 @ 127.951 132.10/132.55 c bounds 24634 >= 2701 @ 129.1 132.10/132.55 c bounds 24634 >= 2702 @ 129.851 296.73/297.61 c bounds 24634 >= 2703 @ 130.487 296.73/297.61 c bounds 24634 >= 2704 @ 131.087 296.73/297.61 c bounds 24634 >= 2705 @ 131.839 296.73/297.61 c bounds 24634 >= 2706 @ 132.472 296.73/297.61 c bounds 24634 >= 2707 @ 133.445 296.73/297.61 c bounds 24634 >= 2708 @ 134.223 296.73/297.61 c bounds 24634 >= 2709 @ 135.702 296.73/297.61 c bounds 24634 >= 2710 @ 136.304 296.73/297.61 c bounds 24634 >= 2711 @ 137.172 296.73/297.61 c bounds 24634 >= 2712 @ 137.772 296.73/297.61 c bounds 24634 >= 2713 @ 138.399 296.73/297.61 c bounds 24634 >= 2714 @ 139.106 296.73/297.61 c bounds 24634 >= 2715 @ 139.968 296.73/297.61 c bounds 24634 >= 2716 @ 141.014 296.73/297.61 c bounds 24634 >= 2717 @ 142.036 296.73/297.61 c #Conflicts: 28000 | #Constraints: 32335 296.73/297.61 c bounds 24634 >= 2718 @ 143.364 296.73/297.61 c bounds 24634 >= 2719 @ 144.187 296.73/297.61 c bounds 24634 >= 2720 @ 145.063 296.73/297.61 c bounds 24634 >= 2721 @ 146.584 296.73/297.61 c bounds 24634 >= 2722 @ 147.431 296.73/297.61 c bounds 24634 >= 2723 @ 148.834 296.73/297.61 c bounds 24634 >= 2724 @ 149.412 296.73/297.61 c bounds 24634 >= 2725 @ 150.402 296.73/297.61 c bounds 24634 >= 2726 @ 151.228 296.73/297.61 c bounds 24634 >= 2727 @ 152.139 296.73/297.61 c bounds 24634 >= 2728 @ 153.626 296.73/297.61 c bounds 24634 >= 2729 @ 154.306 296.73/297.61 c bounds 24634 >= 2730 @ 155.292 296.73/297.61 c bounds 24634 >= 2731 @ 156.07 296.73/297.61 c bounds 24634 >= 2732 @ 157.862 296.73/297.61 c bounds 24609 >= 2732 @ 157.916 296.73/297.61 c bounds 24609 >= 2733 @ 159.523 296.73/297.61 c #Conflicts: 29000 | #Constraints: 34229 296.73/297.61 c INPROCESSING 296.73/297.61 c GARBAGE COLLECT 296.73/297.61 c #Conflicts: 30000 | #Constraints: 32315 296.73/297.61 c bounds 24571 >= 2733 @ 163.7 296.73/297.61 c bounds 24571 >= 2734 @ 165.692 296.73/297.61 c bounds 24571 >= 2735 @ 166.885 296.73/297.61 c bounds 24571 >= 2736 @ 167.432 296.73/297.61 c bounds 24571 >= 2737 @ 168.868 296.73/297.61 c bounds 24571 >= 2738 @ 170.001 296.73/297.61 c bounds 24571 >= 2739 @ 171.542 296.73/297.61 c bounds 24571 >= 2740 @ 172.615 296.73/297.61 c bounds 24571 >= 2741 @ 173.573 296.73/297.61 c bounds 24571 >= 2742 @ 174.469 296.73/297.61 c #Conflicts: 31000 | #Constraints: 34044 296.73/297.61 c bounds 24571 >= 2743 @ 176.35 296.73/297.61 c bounds 24571 >= 2744 @ 177.077 296.73/297.61 c bounds 24571 >= 2745 @ 177.888 296.73/297.61 c bounds 24571 >= 2746 @ 179.056 296.73/297.61 c bounds 24571 >= 2747 @ 179.567 296.73/297.61 c bounds 24571 >= 2748 @ 181.099 296.73/297.61 c bounds 24571 >= 2749 @ 182.429 296.73/297.61 c bounds 24571 >= 2750 @ 183.722 296.73/297.61 c bounds 24571 >= 2751 @ 184.492 296.73/297.61 c bounds 24571 >= 2752 @ 186.543 296.73/297.61 c bounds 24571 >= 2753 @ 187.789 296.73/297.61 c bounds 24571 >= 2754 @ 189.529 296.73/297.61 c bounds 24571 >= 2755 @ 190.763 296.73/297.61 c #Conflicts: 32000 | #Constraints: 35762 296.73/297.61 c bounds 24571 >= 2756 @ 192.114 296.73/297.61 c bounds 24571 >= 2757 @ 192.77 296.73/297.61 c bounds 24571 >= 2758 @ 193.454 296.73/297.61 c bounds 24571 >= 2759 @ 195.786 296.73/297.61 c bounds 24571 >= 2760 @ 197.16 296.73/297.61 c bounds 24571 >= 2761 @ 198.876 296.73/297.61 c bounds 24571 >= 2762 @ 200.208 296.73/297.61 c bounds 24571 >= 2763 @ 202.769 296.73/297.61 c bounds 24571 >= 2764 @ 205.77 296.73/297.61 c bounds 24571 >= 2765 @ 206.708 296.73/297.61 c bounds 24571 >= 2766 @ 207.711 296.73/297.61 c bounds 24571 >= 2767 @ 208.966 296.73/297.61 c bounds 24479 >= 2767 @ 209 296.73/297.61 c bounds 24451 >= 2767 @ 209.685 296.73/297.61 c #Conflicts: 33000 | #Constraints: 37423 296.73/297.61 c INPROCESSING 296.73/297.61 c GARBAGE COLLECT 296.73/297.61 c bounds 24451 >= 2768 @ 212.722 296.73/297.61 c bounds 24451 >= 2769 @ 214.028 296.73/297.61 c bounds 24451 >= 2770 @ 214.972 296.73/297.61 c bounds 24451 >= 2771 @ 218.169 296.73/297.61 c bounds 24451 >= 2772 @ 219.373 296.73/297.61 c bounds 24451 >= 2773 @ 221.438 296.73/297.61 c bounds 24421 >= 2773 @ 221.459 296.73/297.61 c #Conflicts: 34000 | #Constraints: 34597 296.73/297.61 c #Conflicts: 35000 | #Constraints: 35645 296.73/297.61 c bounds 24402 >= 2773 @ 227.046 296.73/297.61 c bounds 24402 >= 2774 @ 229.132 296.73/297.61 c bounds 24402 >= 2775 @ 231.871 296.73/297.61 c bounds 24402 >= 2776 @ 233.929 296.73/297.61 c bounds 24402 >= 2777 @ 235.15 296.73/297.61 c bounds 24402 >= 2778 @ 236.827 296.73/297.61 c bounds 24402 >= 2779 @ 237.753 296.73/297.61 c bounds 24402 >= 2780 @ 240.617 296.73/297.61 c #Conflicts: 36000 | #Constraints: 37060 296.73/297.61 c bounds 24402 >= 2781 @ 243.817 296.73/297.61 c bounds 24402 >= 2782 @ 245.862 296.73/297.61 c bounds 24402 >= 2783 @ 249.571 296.73/297.61 c bounds 24402 >= 2784 @ 250.495 296.73/297.61 c bounds 24402 >= 2785 @ 252.502 296.73/297.61 c bounds 24402 >= 2786 @ 253.899 296.73/297.61 c bounds 24402 >= 2787 @ 256.202 296.73/297.61 c bounds 24402 >= 2788 @ 257.703 296.73/297.61 c bounds 24402 >= 2789 @ 259.422 296.73/297.61 c bounds 24402 >= 2790 @ 260.839 296.73/297.61 c bounds 24402 >= 2791 @ 263.312 296.73/297.61 c #Conflicts: 37000 | #Constraints: 38742 296.73/297.61 c bounds 24402 >= 2792 @ 265.979 296.73/297.61 c bounds 24402 >= 2793 @ 267.317 296.73/297.61 c INPROCESSING 296.73/297.61 c GARBAGE COLLECT 296.73/297.61 c bounds 24402 >= 2794 @ 271.567 296.73/297.61 c bounds 24402 >= 2795 @ 274.534 296.73/297.61 c bounds 24402 >= 2796 @ 278.372 296.73/297.61 c bounds 24402 >= 2797 @ 281.616 296.73/297.61 c #Conflicts: 38000 | #Constraints: 36111 296.73/297.61 c bounds 24402 >= 2798 @ 283.923 296.73/297.61 c bounds 24402 >= 2799 @ 288.512 296.73/297.61 c bounds 24402 >= 2800 @ 293.734 710.55/712.70 c bounds 24402 >= 2801 @ 295.665 710.55/712.70 c bounds 24402 >= 2802 @ 297.876 710.55/712.70 c bounds 24402 >= 2803 @ 300.602 710.55/712.70 c bounds 24402 >= 2804 @ 301.813 710.55/712.70 c #Conflicts: 39000 | #Constraints: 37623 710.55/712.70 c bounds 24402 >= 2805 @ 305.261 710.55/712.70 c bounds 24402 >= 2806 @ 306.947 710.55/712.70 c #Conflicts: 40000 | #Constraints: 38740 710.55/712.70 c #Conflicts: 41000 | #Constraints: 39754 710.55/712.70 c INPROCESSING 710.55/712.70 c GARBAGE COLLECT 710.55/712.70 c bounds 24402 >= 2807 @ 323.933 710.55/712.70 c #Conflicts: 42000 | #Constraints: 36366 710.55/712.70 c bounds 24402 >= 2808 @ 330.647 710.55/712.70 c bounds 24402 >= 2809 @ 333.544 710.55/712.70 c bounds 24402 >= 2810 @ 335.028 710.55/712.70 c bounds 24402 >= 2811 @ 336.555 710.55/712.70 c bounds 24402 >= 2812 @ 338.969 710.55/712.70 c bounds 24402 >= 2813 @ 341.77 710.55/712.70 c bounds 24402 >= 2814 @ 343.407 710.55/712.70 c bounds 24402 >= 2815 @ 345.454 710.55/712.70 c bounds 24402 >= 2816 @ 347.175 710.55/712.70 c #Conflicts: 43000 | #Constraints: 37881 710.55/712.70 c bounds 24402 >= 2817 @ 349.701 710.55/712.70 c bounds 24402 >= 2818 @ 353.11 710.55/712.70 c bounds 24402 >= 2819 @ 355.765 710.55/712.70 c bounds 24402 >= 2820 @ 356.837 710.55/712.70 c bounds 24402 >= 2821 @ 358.56 710.55/712.70 c bounds 24402 >= 2822 @ 361.589 710.55/712.70 c bounds 24402 >= 2823 @ 365.944 710.55/712.70 c bounds 24402 >= 2824 @ 368.219 710.55/712.70 c bounds 24402 >= 2825 @ 370.743 710.55/712.70 c bounds 24402 >= 2826 @ 373.877 710.55/712.70 c #Conflicts: 44000 | #Constraints: 39514 710.55/712.70 c bounds 24402 >= 2827 @ 376.071 710.55/712.70 c bounds 24402 >= 2828 @ 379.032 710.55/712.70 c bounds 24402 >= 2829 @ 383.124 710.55/712.70 c bounds 24402 >= 2830 @ 384.982 710.55/712.70 c bounds 24402 >= 2831 @ 387.345 710.55/712.70 c bounds 24402 >= 2832 @ 389.489 710.55/712.70 c bounds 24402 >= 2833 @ 390.877 710.55/712.70 c bounds 24402 >= 2834 @ 393.966 710.55/712.70 c bounds 24402 >= 2835 @ 395.384 710.55/712.70 c bounds 24402 >= 2836 @ 397.337 710.55/712.70 c bounds 24402 >= 2837 @ 400.639 710.55/712.70 c #Conflicts: 45000 | #Constraints: 41082 710.55/712.70 c bounds 24402 >= 2838 @ 411.874 710.55/712.70 c bounds 24402 >= 2839 @ 418.702 710.55/712.70 c bounds 24402 >= 2840 @ 423.462 710.55/712.70 c bounds 24402 >= 2841 @ 427.298 710.55/712.70 c bounds 24402 >= 2842 @ 435.397 710.55/712.70 c #Conflicts: 46000 | #Constraints: 42553 710.55/712.70 c bounds 24402 >= 2843 @ 438.893 710.55/712.70 c bounds 24402 >= 2844 @ 441.032 710.55/712.70 c bounds 24402 >= 2845 @ 444.076 710.55/712.70 c INPROCESSING 710.55/712.70 c GARBAGE COLLECT 710.55/712.70 c bounds 24402 >= 2846 @ 449.018 710.55/712.70 c bounds 24402 >= 2847 @ 456.628 710.55/712.70 c bounds 24402 >= 2848 @ 463.463 710.55/712.70 c #Conflicts: 47000 | #Constraints: 39681 710.55/712.70 c bounds 24402 >= 2849 @ 468.84 710.55/712.70 c bounds 24402 >= 2850 @ 473.511 710.55/712.70 c bounds 24402 >= 2851 @ 477.944 710.55/712.70 c bounds 24402 >= 2852 @ 487.844 710.55/712.70 c #Conflicts: 48000 | #Constraints: 41083 710.55/712.70 c bounds 24402 >= 2853 @ 496.941 710.55/712.70 c bounds 24402 >= 2854 @ 502.721 710.55/712.70 c #Conflicts: 49000 | #Constraints: 42296 710.55/712.70 c #Conflicts: 50000 | #Constraints: 43297 710.55/712.70 c #Conflicts: 51000 | #Constraints: 44305 710.55/712.70 c INPROCESSING 710.55/712.70 c GARBAGE COLLECT 710.55/712.70 c bounds 24402 >= 2855 @ 520.056 710.55/712.70 c bounds 24402 >= 2856 @ 525.229 710.55/712.70 c bounds 24402 >= 2857 @ 532.692 710.55/712.70 c bounds 24402 >= 2858 @ 534.748 710.55/712.70 c #Conflicts: 52000 | #Constraints: 40980 710.55/712.70 c bounds 24402 >= 2859 @ 544.849 710.55/712.70 c bounds 24402 >= 2860 @ 548.312 710.55/712.70 c bounds 24402 >= 2861 @ 553.468 710.55/712.70 c bounds 24402 >= 2862 @ 556.947 710.55/712.70 c #Conflicts: 53000 | #Constraints: 42321 710.55/712.70 c bounds 24402 >= 2863 @ 564.639 710.55/712.70 c bounds 24402 >= 2864 @ 573.413 710.55/712.70 c bounds 24402 >= 2865 @ 582.615 710.55/712.70 c bounds 24402 >= 2866 @ 589.514 710.55/712.70 c bounds 24402 >= 2867 @ 595.242 710.55/712.70 c #Conflicts: 54000 | #Constraints: 43872 710.55/712.70 c bounds 24402 >= 2868 @ 603.312 710.55/712.70 c bounds 24402 >= 2869 @ 608.931 710.55/712.70 c bounds 24402 >= 2870 @ 615.824 710.55/712.70 c bounds 24402 >= 2871 @ 619.332 710.55/712.70 c bounds 24402 >= 2872 @ 625.852 710.55/712.70 c bounds 24402 >= 2873 @ 628.368 710.55/712.70 c #Conflicts: 55000 | #Constraints: 45327 710.55/712.70 c bounds 24402 >= 2874 @ 633.17 710.55/712.70 c bounds 24402 >= 2875 @ 636.658 710.55/712.70 c bounds 24402 >= 2876 @ 641.064 710.55/712.70 c bounds 24402 >= 2877 @ 645.694 710.55/712.70 c bounds 24402 >= 2878 @ 651.632 710.55/712.70 c bounds 24402 >= 2879 @ 656.833 710.55/712.70 c bounds 24402 >= 2880 @ 661.719 710.55/712.70 c #Conflicts: 56000 | #Constraints: 46840 710.55/712.70 c bounds 24402 >= 2881 @ 667.63 710.55/712.70 c INPROCESSING 710.55/712.70 c GARBAGE COLLECT 710.55/712.70 c bounds 24402 >= 2882 @ 679.999 710.55/712.70 c bounds 24402 >= 2883 @ 686.215 710.55/712.70 c bounds 24388 >= 2883 @ 686.238 710.55/712.70 c bounds 24377 >= 2883 @ 686.261 710.55/712.70 c #Conflicts: 57000 | #Constraints: 43559 710.55/712.70 c #Conflicts: 58000 | #Constraints: 44568 710.55/712.70 c #Conflicts: 59000 | #Constraints: 45657 710.55/712.70 c #Conflicts: 60000 | #Constraints: 47285 710.55/712.70 c #Conflicts: 61000 | #Constraints: 48361 1754.55/1759.80 c #Conflicts: 62000 | #Constraints: 49364 1754.55/1759.80 c bounds 24369 >= 2883 @ 719.19 1754.55/1759.80 c #Conflicts: 63000 | #Constraints: 50367 1754.55/1759.80 c bounds 24369 >= 2884 @ 732.175 1754.55/1759.80 c bounds 24369 >= 2885 @ 744.612 1754.55/1759.80 c bounds 24369 >= 2886 @ 749.349 1754.55/1759.80 c bounds 24369 >= 2887 @ 754.959 1754.55/1759.80 c bounds 24369 >= 2888 @ 764.03 1754.55/1759.80 c #Conflicts: 64000 | #Constraints: 51922 1754.55/1759.80 c bounds 24369 >= 2889 @ 772.299 1754.55/1759.80 c bounds 24369 >= 2890 @ 781.77 1754.55/1759.80 c bounds 24369 >= 2891 @ 788.729 1754.55/1759.80 c bounds 24369 >= 2892 @ 791.951 1754.55/1759.80 c bounds 24369 >= 2893 @ 797.82 1754.55/1759.80 c bounds 24369 >= 2894 @ 802.65 1754.55/1759.80 c bounds 24369 >= 2895 @ 810.634 1754.55/1759.80 c #Conflicts: 65000 | #Constraints: 53515 1754.55/1759.80 c bounds 24369 >= 2896 @ 817.525 1754.55/1759.80 c bounds 24369 >= 2897 @ 821.891 1754.55/1759.80 c bounds 24369 >= 2898 @ 826.14 1754.55/1759.80 c bounds 24369 >= 2899 @ 830.256 1754.55/1759.80 c bounds 24369 >= 2900 @ 839.019 1754.55/1759.80 c bounds 24369 >= 2901 @ 850.606 1754.55/1759.80 c #Conflicts: 66000 | #Constraints: 55012 1754.55/1759.80 c bounds 24369 >= 2902 @ 861.583 1754.55/1759.80 c bounds 24369 >= 2903 @ 868.3 1754.55/1759.80 c bounds 24369 >= 2904 @ 872.977 1754.55/1759.80 c bounds 24369 >= 2905 @ 884.698 1754.55/1759.80 c bounds 24369 >= 2906 @ 895.65 1754.55/1759.80 c #Conflicts: 67000 | #Constraints: 56494 1754.55/1759.80 c bounds 24369 >= 2907 @ 901.908 1754.55/1759.80 c bounds 24369 >= 2908 @ 913.49 1754.55/1759.80 c bounds 24369 >= 2909 @ 916.693 1754.55/1759.80 c bounds 24369 >= 2910 @ 925.769 1754.55/1759.80 c #Conflicts: 68000 | #Constraints: 57831 1754.55/1759.80 c bounds 24369 >= 2911 @ 935.657 1754.55/1759.80 c bounds 24369 >= 2912 @ 945.431 1754.55/1759.80 c bounds 24369 >= 2913 @ 956.534 1754.55/1759.80 c bounds 24369 >= 2914 @ 962.977 1754.55/1759.80 c bounds 24369 >= 2915 @ 971.212 1754.55/1759.80 c bounds 24369 >= 2916 @ 974.204 1754.55/1759.80 c #Conflicts: 69000 | #Constraints: 59355 1754.55/1759.80 c bounds 24369 >= 2917 @ 982.721 1754.55/1759.80 c bounds 24369 >= 2918 @ 989.816 1754.55/1759.80 c bounds 24369 >= 2919 @ 996.209 1754.55/1759.80 c bounds 24369 >= 2920 @ 1003.37 1754.55/1759.80 c bounds 24369 >= 2921 @ 1013.16 1754.55/1759.80 c bounds 24369 >= 2922 @ 1018.44 1754.55/1759.80 c bounds 24369 >= 2923 @ 1024.46 1754.55/1759.80 c bounds 24369 >= 2924 @ 1028.09 1754.55/1759.80 c #Conflicts: 70000 | #Constraints: 60978 1754.55/1759.80 c bounds 24369 >= 2925 @ 1035.98 1754.55/1759.80 c bounds 24369 >= 2926 @ 1042.26 1754.55/1759.80 c bounds 24369 >= 2927 @ 1050.48 1754.55/1759.80 c bounds 24369 >= 2928 @ 1058.56 1754.55/1759.80 c bounds 24369 >= 2929 @ 1062.97 1754.55/1759.80 c bounds 24369 >= 2930 @ 1067.14 1754.55/1759.80 c bounds 24369 >= 2931 @ 1079.97 1754.55/1759.80 c bounds 24369 >= 2932 @ 1084.83 1754.55/1759.80 c #Conflicts: 71000 | #Constraints: 62594 1754.55/1759.80 c bounds 24369 >= 2933 @ 1095.2 1754.55/1759.80 c bounds 24369 >= 2934 @ 1111.57 1754.55/1759.80 c #Conflicts: 72000 | #Constraints: 63856 1754.55/1759.80 c bounds 24369 >= 2935 @ 1138.13 1754.55/1759.80 c bounds 24364 >= 2935 @ 1145.16 1754.55/1759.80 c bounds 24364 >= 2936 @ 1153.62 1754.55/1759.80 c bounds 24364 >= 2937 @ 1161.97 1754.55/1759.80 c #Conflicts: 73000 | #Constraints: 65225 1754.55/1759.80 c bounds 24364 >= 2938 @ 1182.34 1754.55/1759.80 c bounds 24364 >= 2939 @ 1203.23 1754.55/1759.80 c bounds 24364 >= 2940 @ 1220.6 1754.55/1759.80 c #Conflicts: 74000 | #Constraints: 66652 1754.55/1759.80 c #Conflicts: 75000 | #Constraints: 68283 1754.55/1759.80 c #Conflicts: 76000 | #Constraints: 70282 1754.55/1759.80 c INPROCESSING 1754.55/1759.80 c GARBAGE COLLECT 1754.55/1759.80 c bounds 24364 >= 2941 @ 1294.98 1754.55/1759.80 c bounds 24364 >= 2942 @ 1304.86 1754.55/1759.80 c #Conflicts: 77000 | #Constraints: 57969 1754.55/1759.80 c bounds 24364 >= 2943 @ 1322.65 1754.55/1759.80 c bounds 24364 >= 2944 @ 1339.04 1754.55/1759.80 c #Conflicts: 78000 | #Constraints: 59618 1754.55/1759.80 c bounds 24364 >= 2945 @ 1366.35 1754.55/1759.80 c bounds 24364 >= 2946 @ 1390.12 1754.55/1759.80 c #Conflicts: 79000 | #Constraints: 61375 1754.55/1759.80 c bounds 24364 >= 2947 @ 1429.34 1754.55/1759.80 c bounds 24364 >= 2948 @ 1444.78 1754.55/1759.80 c #Conflicts: 80000 | #Constraints: 62950 1754.55/1759.80 c bounds 24364 >= 2949 @ 1481.93 1754.55/1759.80 c #Conflicts: 81000 | #Constraints: 64141 1754.55/1759.80 c bounds 24364 >= 2950 @ 1506.62 1754.55/1759.80 c bounds 24364 >= 2951 @ 1525.63 1754.55/1759.80 c bounds 24364 >= 2952 @ 1536.31 1754.55/1759.80 c bounds 24364 >= 2953 @ 1548.76 1754.55/1759.80 c #Conflicts: 82000 | #Constraints: 65565 1754.55/1759.80 c bounds 24364 >= 2954 @ 1564.97 1754.55/1759.80 c bounds 24364 >= 2955 @ 1578.12 1754.55/1759.80 c bounds 24364 >= 2956 @ 1588.04 1754.55/1759.80 c INPROCESSING 1754.55/1759.80 c GARBAGE COLLECT 1754.55/1759.80 c #Conflicts: 83000 | #Constraints: 55984 1754.55/1759.80 c bounds 24364 >= 2957 @ 1617.3 1754.55/1759.80 c bounds 24364 >= 2958 @ 1628.41 1754.55/1759.80 c #Conflicts: 84000 | #Constraints: 57169 1754.55/1759.80 c bounds 24364 >= 2959 @ 1655.25 1754.55/1759.80 c bounds 24364 >= 2960 @ 1669.18 1754.55/1759.80 c bounds 24364 >= 2961 @ 1683.17 1754.55/1759.80 c #Conflicts: 85000 | #Constraints: 58467 1754.55/1759.80 c bounds 24364 >= 2962 @ 1722.42 1754.55/1759.80 c bounds 24364 >= 2963 @ 1747.44 1754.55/1759.80 c #Conflicts: 86000 | #Constraints: 60016 3011.27/3020.22 c #Conflicts: 87000 | #Constraints: 61045 3011.27/3020.22 c #Conflicts: 88000 | #Constraints: 62066 3011.27/3020.22 c #Conflicts: 89000 | #Constraints: 63095 3011.27/3020.22 c INPROCESSING 3011.27/3020.22 c GARBAGE COLLECT 3011.27/3020.22 c #Conflicts: 90000 | #Constraints: 54983 3011.27/3020.22 c bounds 24364 >= 2964 @ 1812.1 3011.27/3020.22 c bounds 24364 >= 2965 @ 1827.23 3011.27/3020.22 c bounds 24364 >= 2966 @ 1837.58 3011.27/3020.22 c #Conflicts: 91000 | #Constraints: 56298 3011.27/3020.22 c bounds 24364 >= 2967 @ 1862.86 3011.27/3020.22 c #Conflicts: 92000 | #Constraints: 57422 3011.27/3020.22 c bounds 24364 >= 2968 @ 1892.86 3011.27/3020.22 c bounds 24364 >= 2969 @ 1910.74 3011.27/3020.22 c bounds 24364 >= 2970 @ 1927.05 3011.27/3020.22 c #Conflicts: 93000 | #Constraints: 58748 3011.27/3020.22 c bounds 24364 >= 2971 @ 1969.57 3011.27/3020.22 c bounds 24364 >= 2972 @ 1989.01 3011.27/3020.22 c #Conflicts: 94000 | #Constraints: 60073 3011.27/3020.22 c bounds 24364 >= 2973 @ 2020.6 3011.27/3020.22 c bounds 24364 >= 2974 @ 2037.73 3011.27/3020.22 c #Conflicts: 95000 | #Constraints: 61289 3011.27/3020.22 c #Conflicts: 96000 | #Constraints: 62306 3011.27/3020.22 c INPROCESSING 3011.27/3020.22 c GARBAGE COLLECT 3011.27/3020.22 c bounds 24364 >= 2975 @ 2060.74 3011.27/3020.22 c bounds 24364 >= 2976 @ 2072.17 3011.27/3020.22 c bounds 24364 >= 2977 @ 2083.86 3011.27/3020.22 c #Conflicts: 97000 | #Constraints: 55618 3011.27/3020.22 c bounds 24364 >= 2978 @ 2099.91 3011.27/3020.22 c bounds 24364 >= 2979 @ 2119.02 3011.27/3020.22 c bounds 24364 >= 2980 @ 2130.3 3011.27/3020.22 c #Conflicts: 98000 | #Constraints: 56884 3011.27/3020.22 c bounds 24364 >= 2981 @ 2144.28 3011.27/3020.22 c #Conflicts: 99000 | #Constraints: 57977 3011.27/3020.22 c #Conflicts: 100000 | #Constraints: 59000 3011.27/3020.22 c #Conflicts: 101000 | #Constraints: 60020 3011.27/3020.22 c #Conflicts: 102000 | #Constraints: 61043 3011.27/3020.22 c INPROCESSING 3011.27/3020.22 c GARBAGE COLLECT 3011.27/3020.22 c #Conflicts: 103000 | #Constraints: 54473 3011.27/3020.22 c bounds 24364 >= 2982 @ 2196.39 3011.27/3020.22 c bounds 24364 >= 2983 @ 2206.83 3011.27/3020.22 c bounds 24364 >= 2984 @ 2223.06 3011.27/3020.22 c #Conflicts: 104000 | #Constraints: 55798 3011.27/3020.22 c bounds 24364 >= 2985 @ 2235.28 3011.27/3020.22 c bounds 24364 >= 2986 @ 2252.88 3011.27/3020.22 c #Conflicts: 105000 | #Constraints: 57127 3011.27/3020.22 c bounds 24364 >= 2987 @ 2281.47 3011.27/3020.22 c bounds 24364 >= 2988 @ 2298.32 3011.27/3020.22 c #Conflicts: 106000 | #Constraints: 58376 3011.27/3020.22 c bounds 24364 >= 2989 @ 2325.23 3011.27/3020.22 c bounds 24364 >= 2990 @ 2345.21 3011.27/3020.22 c bounds 24364 >= 2991 @ 2357.56 3011.27/3020.22 c #Conflicts: 107000 | #Constraints: 59697 3011.27/3020.22 c bounds 24364 >= 2992 @ 2374.11 3011.27/3020.22 c bounds 24364 >= 2993 @ 2385.56 3011.27/3020.22 c bounds 24364 >= 2994 @ 2397.36 3011.27/3020.22 c #Conflicts: 108000 | #Constraints: 60959 3011.27/3020.22 c bounds 24364 >= 2995 @ 2427.12 3011.27/3020.22 c bounds 24364 >= 2996 @ 2435.28 3011.27/3020.22 c bounds 24364 >= 2997 @ 2452.04 3011.27/3020.22 c bounds 24364 >= 2998 @ 2461.31 3011.27/3020.22 c bounds 24364 >= 2999 @ 2468.2 3011.27/3020.22 c #Conflicts: 109000 | #Constraints: 62374 3011.27/3020.22 c bounds 24364 >= 3000 @ 2487.93 3011.27/3020.22 c bounds 24364 >= 3001 @ 2502.4 3011.27/3020.22 c bounds 24364 >= 3002 @ 2521.28 3011.27/3020.22 c #Conflicts: 110000 | #Constraints: 63651 3011.27/3020.22 c INPROCESSING 3011.27/3020.22 c GARBAGE COLLECT 3011.27/3020.22 c bounds 24364 >= 3003 @ 2542.43 3011.27/3020.22 c bounds 24364 >= 3004 @ 2570.99 3011.27/3020.22 c #Conflicts: 111000 | #Constraints: 57740 3011.27/3020.22 c #Conflicts: 112000 | #Constraints: 58752 3011.27/3020.22 c #Conflicts: 113000 | #Constraints: 59780 3011.27/3020.22 c #Conflicts: 114000 | #Constraints: 61187 3011.27/3020.22 c #Conflicts: 115000 | #Constraints: 62254 3011.27/3020.22 c #Conflicts: 116000 | #Constraints: 63320 3011.27/3020.22 c #Conflicts: 117000 | #Constraints: 64349 3011.27/3020.22 c INPROCESSING 3011.27/3020.22 c GARBAGE COLLECT 3011.27/3020.22 c bounds 24364 >= 3005 @ 2655.89 3011.27/3020.22 c #Conflicts: 118000 | #Constraints: 57874 3011.27/3020.22 c #Conflicts: 119000 | #Constraints: 59191 3011.27/3020.22 c bounds 24364 >= 3006 @ 2711.3 3011.27/3020.22 c bounds 24364 >= 3007 @ 2728.7 3011.27/3020.22 c #Conflicts: 120000 | #Constraints: 60458 3011.27/3020.22 c bounds 24364 >= 3008 @ 2751.47 3011.27/3020.22 c bounds 24364 >= 3009 @ 2759.88 3011.27/3020.22 c bounds 24364 >= 3010 @ 2777.9 3011.27/3020.22 c bounds 24364 >= 3011 @ 2798.58 3011.27/3020.22 c #Conflicts: 121000 | #Constraints: 61861 3011.27/3020.22 c bounds 24364 >= 3012 @ 2810.8 3011.27/3020.22 c bounds 24364 >= 3013 @ 2836.81 3011.27/3020.22 c bounds 24364 >= 3014 @ 2848.55 3011.27/3020.22 c bounds 24364 >= 3015 @ 2860.48 3011.27/3020.22 c #Conflicts: 122000 | #Constraints: 63210 3011.27/3020.22 c bounds 24364 >= 3016 @ 2875.95 3011.27/3020.22 c bounds 24364 >= 3017 @ 2883.97 3011.27/3020.22 c bounds 24364 >= 3018 @ 2895.79 3011.27/3020.22 c bounds 24364 >= 3019 @ 2914.35 3011.27/3020.22 c #Conflicts: 123000 | #Constraints: 64516 3011.27/3020.22 c bounds 24364 >= 3020 @ 2943.38 3011.27/3020.22 c bounds 24364 >= 3021 @ 2966.04 3011.27/3020.22 c bounds 24364 >= 3022 @ 2984.18 3011.27/3020.22 c bounds 24364 >= 3023 @ 3001.06 3011.27/3020.22 c #Conflicts: 124000 | #Consc 3600.05/3610.80 s SATISFIABLE 3600.05/3610.80 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 3600.05/3610.80 traints: 65952 3600.05/3610.80 c bounds 24364 >= 3024 @ 3015.07 3600.05/3610.80 c bounds 24364 >= 3025 @ 3024.28 3600.05/3610.80 c bounds 24364 >= 3026 @ 3039.47 3600.05/3610.80 c INPROCESSING 3600.05/3610.80 c GARBAGE COLLECT 3600.05/3610.80 c #Conflicts: 125000 | #Constraints: 59645 3600.05/3610.80 c bounds 24364 >= 3027 @ 3108.1 3600.05/3610.80 c bounds 24364 >= 3028 @ 3122.88 3600.05/3610.80 c #Conflicts: 126000 | #Constraints: 61214 3600.05/3610.80 c bounds 24364 >= 3029 @ 3153.22 3600.05/3610.80 c bounds 24364 >= 3030 @ 3184.49 3600.05/3610.80 c bounds 24364 >= 3031 @ 3202.42 3600.05/3610.80 c #Conflicts: 127000 | #Constraints: 62513 3600.05/3610.80 c bounds 24364 >= 3032 @ 3227.32 3600.05/3610.80 c bounds 24364 >= 3033 @ 3244.84 3600.05/3610.80 c bounds 24364 >= 3034 @ 3264.39 3600.05/3610.80 c #Conflicts: 128000 | #Constraints: 63828 3600.05/3610.80 c bounds 24364 >= 3035 @ 3286.97 3600.05/3610.80 c bounds 24364 >= 3036 @ 3322.81 3600.05/3610.80 c #Conflicts: 129000 | #Constraints: 65044 3600.05/3610.80 c bounds 24364 >= 3037 @ 3356.59 3600.05/3610.80 c #Conflicts: 130000 | #Constraints: 66137 3600.05/3610.80 c #Conflicts: 131000 | #Constraints: 67175 3600.05/3610.80 c #Conflicts: 132000 | #Constraints: 68180 3600.05/3610.80 c INPROCESSING 3600.05/3610.80 c GARBAGE COLLECT 3600.05/3610.80 c #Conflicts: 133000 | #Constraints: 60996 3600.05/3610.80 c bounds 24364 >= 3038 @ 3418.68 3600.05/3610.80 c bounds 24364 >= 3039 @ 3455.29 3600.05/3610.80 c #Conflicts: 134000 | #Constraints: 62274 3600.05/3610.80 c bounds 24364 >= 3040 @ 3485.82 3600.05/3610.80 c bounds 24364 >= 3041 @ 3509.61 3600.05/3610.80 c bounds 24364 >= 3042 @ 3542.42 3600.05/3610.80 c #Conflicts: 135000 | #Constraints: 63718 3600.05/3610.80 c bounds 24364 >= 3043 @ 3572.42
OK 24364
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (63060 MiB free)
memory of node 1: 64473 MiB (63205 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429340-1721047848/watcher-4429340-1721047848 -o /tmp/evaluation-result-4429340-1721047848/solver-4429340-1721047848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721047859-800774 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429340-1721047848.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=800989, runsolver pid=800986
Current StackSize limit: 8192 KiB
[startup+0.10008 s]*
/proc/loadavg: 1.58 2.35 2.78 5/253 801006
/proc/meminfo: memFree=129293500/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=38956 memory=10376 CPUtime=0.1 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 915 0 0 0 5 5 0 0 20 0 1 0 156951792 39890944 2594 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 9739 2594 1869 922 0 1691 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38956 KiB
Current children cumulated memory: 10376 KiB
[startup+0.205519 s]*
/proc/loadavg: 1.58 2.35 2.78 5/258 801022
/proc/meminfo: memFree=129290984/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=39660 memory=11672 CPUtime=0.2 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 1247 0 0 0 12 8 0 0 20 0 1 0 156951792 40611840 2918 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 9915 2918 1869 922 0 1867 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39660 KiB
Current children cumulated memory: 11672 KiB
[startup+0.30557 s]*
/proc/loadavg: 1.58 2.35 2.78 5/258 801022
/proc/meminfo: memFree=129285980/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=40316 memory=14496 CPUtime=0.3 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 1473 0 0 0 19 11 0 0 20 0 1 0 156951792 41283584 3624 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 10079 3624 1869 922 0 2031 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40316 KiB
Current children cumulated memory: 14496 KiB
[startup+0.70022 s]
/proc/loadavg: 1.58 2.35 2.78 6/258 801022
/proc/meminfo: memFree=129278140/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=43364 memory=17428 CPUtime=0.69 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 2226 0 0 0 47 22 0 0 20 0 1 0 156951792 44404736 4357 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 10841 4357 1869 922 0 2793 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43364 KiB
Current children cumulated memory: 17428 KiB
[startup+1.50022 s]
/proc/loadavg: 1.77 2.38 2.79 4/255 801036
/proc/meminfo: memFree=129274852/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=51332 memory=23348 CPUtime=1.49 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 3671 0 0 0 107 42 0 0 20 0 1 0 156951792 52563968 5837 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 12833 5837 1869 922 0 4785 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 51332 KiB
Current children cumulated memory: 23348 KiB
[startup+3.1056 s]
/proc/loadavg: 1.77 2.38 2.79 5/258 801116
/proc/meminfo: memFree=129089652/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=53820 memory=27868 CPUtime=3.09 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 4289 0 0 0 244 65 0 0 20 0 1 0 156951792 55111680 6967 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 13455 6967 1869 922 0 5407 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 53820 KiB
Current children cumulated memory: 27868 KiB
[startup+6.30019 s]
/proc/loadavg: 1.95 2.41 2.80 5/258 801116
/proc/meminfo: memFree=129014584/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=63524 memory=37272 CPUtime=6.27 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 6547 0 1 0 530 97 0 0 20 0 1 0 156951792 65048576 9318 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 15881 9318 2002 922 0 7833 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 63524 KiB
Current children cumulated memory: 37272 KiB
[startup+12.7002 s]
/proc/loadavg: 2.11 2.43 2.80 5/258 801116
/proc/meminfo: memFree=128848180/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=70968 memory=43124 CPUtime=12.65 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 7596 0 1 0 1148 117 0 0 20 0 1 0 156951792 72671232 10781 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 17742 10781 2002 922 0 9694 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 70968 KiB
Current children cumulated memory: 43124 KiB
[startup+25.5002 s]
/proc/loadavg: 2.40 2.49 2.82 5/258 801119
/proc/meminfo: memFree=128535212/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=72032 memory=45716 CPUtime=25.41 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 8290 0 1 0 2404 137 0 0 20 0 1 0 156951792 73760768 11429 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 18008 11429 2002 922 0 9960 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 72032 KiB
Current children cumulated memory: 45716 KiB
[startup+51.1056 s]
/proc/loadavg: 3.11 2.65 2.86 5/258 801122
/proc/meminfo: memFree=127977548/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=81200 memory=52416 CPUtime=50.94 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 8943 0 1 0 4928 166 0 0 20 0 1 0 156951792 83148800 13104 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 20300 13104 2002 922 0 12252 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 81200 KiB
Current children cumulated memory: 52416 KiB
[startup+102.3 s]
/proc/loadavg: 3.69 2.87 2.93 5/264 801185
/proc/meminfo: memFree=127251924/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=112580 memory=76080 CPUtime=101.99 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 14029 0 1 0 9979 220 0 0 20 0 1 0 156951792 115281920 19020 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 28145 19020 2002 922 0 20097 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 112580 KiB
Current children cumulated memory: 76080 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 3.10 3.00 5/264 801199
/proc/meminfo: memFree=126873592/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=113856 memory=84948 CPUtime=161.82 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 14386 0 1 0 15941 241 0 0 20 0 1 0 156951792 116588544 21237 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 28464 21237 2002 922 0 20416 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 113856 KiB
Current children cumulated memory: 84948 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 3.28 3.07 5/264 801209
/proc/meminfo: memFree=126619012/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=134340 memory=87808 CPUtime=221.65 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 15096 0 1 0 21892 273 0 0 20 0 1 0 156951792 137564160 21952 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 33585 21952 2002 922 0 25537 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 134340 KiB
Current children cumulated memory: 87808 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.43 3.14 5/262 801601
/proc/meminfo: memFree=126239724/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=135044 memory=93724 CPUtime=281.47 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 15554 0 1 0 27848 299 0 0 20 0 1 0 156951792 138285056 23431 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 33761 23431 2002 922 0 25713 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 135044 KiB
Current children cumulated memory: 93724 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.55 3.20 5/260 801613
/proc/meminfo: memFree=125912540/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=137440 memory=95812 CPUtime=341.29 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 16092 0 1 0 33799 330 0 0 20 0 1 0 156951792 140738560 23953 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 34360 23953 2002 922 0 26312 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 137440 KiB
Current children cumulated memory: 95812 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.67 3.27 5/260 801623
/proc/meminfo: memFree=125883268/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=137440 memory=96068 CPUtime=401.12 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 16122 0 1 0 39773 339 0 0 20 0 1 0 156951792 140738560 24017 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 34360 24017 2002 922 0 26312 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 137440 KiB
Current children cumulated memory: 96068 KiB
[startup+462.3 s]
/proc/loadavg: 4.26 3.80 3.34 5/257 801803
/proc/meminfo: memFree=125867000/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=170636 memory=110732 CPUtime=460.95 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 16922 0 1 0 45746 349 0 0 20 0 1 0 156951792 174731264 27683 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 42659 27683 2002 922 0 34611 0
################
# More data... #
################
Current children cumulated memory: 336348 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.10 4.03 5/254 803060
/proc/meminfo: memFree=124887012/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=402648 memory=336356 CPUtime=2853.81 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 43571 0 1 0 284649 732 0 0 20 0 1 0 156951792 412311552 84089 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 100662 84089 2002 922 0 92614 0
Current children cumulated CPU time: 2853.81 s
Current children cumulated vsize: 402648 KiB
Current children cumulated memory: 336356 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.09 4.03 5/255 803071
/proc/meminfo: memFree=124873168/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=403016 memory=336364 CPUtime=2913.64 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 43729 0 1 0 290628 736 0 0 20 0 1 0 156951792 412688384 84091 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 100754 84091 2002 922 0 92706 0
Current children cumulated CPU time: 2913.64 s
Current children cumulated vsize: 403016 KiB
Current children cumulated memory: 336364 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.10 4.04 5/257 803085
/proc/meminfo: memFree=124872708/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=403016 memory=336488 CPUtime=2973.47 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 43859 0 1 0 296607 740 0 0 20 0 1 0 156951792 412688384 84122 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 100754 84122 2002 922 0 92706 0
Current children cumulated CPU time: 2973.47 s
Current children cumulated vsize: 403016 KiB
Current children cumulated memory: 336488 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.04 5/257 803096
/proc/meminfo: memFree=124871320/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=403016 memory=336500 CPUtime=3033.3 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 43997 0 1 0 302585 745 0 0 20 0 1 0 156951792 412688384 84125 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 100754 84125 2002 922 0 92706 0
Current children cumulated CPU time: 3033.3 s
Current children cumulated vsize: 403016 KiB
Current children cumulated memory: 336500 KiB
[startup+3102.3 s]
/proc/loadavg: 4.04 4.08 4.03 5/257 803106
/proc/meminfo: memFree=124862848/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=404008 memory=337500 CPUtime=3093.12 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 44349 0 1 0 308563 749 0 0 20 0 1 0 156951792 413704192 84375 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 101002 84375 2002 922 0 92954 0
Current children cumulated CPU time: 3093.12 s
Current children cumulated vsize: 404008 KiB
Current children cumulated memory: 337500 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.04 5/257 803117
/proc/meminfo: memFree=124855904/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=404008 memory=337500 CPUtime=3152.93 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 44446 0 1 0 314540 753 0 0 20 0 1 0 156951792 413704192 84375 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 101002 84375 2002 922 0 92954 0
Current children cumulated CPU time: 3152.93 s
Current children cumulated vsize: 404008 KiB
Current children cumulated memory: 337500 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/256 803128
/proc/meminfo: memFree=124841816/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=404008 memory=337512 CPUtime=3212.75 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 44552 0 1 0 320518 757 0 0 20 0 1 0 156951792 413704192 84378 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 101002 84378 2002 922 0 92954 0
Current children cumulated CPU time: 3212.75 s
Current children cumulated vsize: 404008 KiB
Current children cumulated memory: 337512 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.04 5/254 803138
/proc/meminfo: memFree=124838040/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=404008 memory=337520 CPUtime=3272.56 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 44665 0 1 0 326496 760 0 0 20 0 1 0 156951792 413704192 84380 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 101002 84380 2002 922 0 92954 0
Current children cumulated CPU time: 3272.56 s
Current children cumulated vsize: 404008 KiB
Current children cumulated memory: 337520 KiB
[startup+3342.3 s]
/proc/loadavg: 4.37 4.15 4.06 5/255 803149
/proc/meminfo: memFree=124820576/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=404008 memory=337524 CPUtime=3332.39 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 44788 0 1 0 332474 765 0 0 20 0 1 0 156951792 413704192 84381 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 101002 84381 2002 922 0 92954 0
Current children cumulated CPU time: 3332.39 s
Current children cumulated vsize: 404008 KiB
Current children cumulated memory: 337524 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.15 4.07 5/255 803160
/proc/meminfo: memFree=124806940/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=404172 memory=337620 CPUtime=3392.19 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 44960 0 1 0 338433 786 0 0 20 0 1 0 156951792 413872128 84405 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 101043 84405 2002 922 0 92995 0
Current children cumulated CPU time: 3392.19 s
Current children cumulated vsize: 404172 KiB
Current children cumulated memory: 337620 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.15 4.07 5/255 803170
/proc/meminfo: memFree=124800088/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=404172 memory=337708 CPUtime=3452.01 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 45048 0 1 0 344412 789 0 0 20 0 1 0 156951792 413872128 84427 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 101043 84427 2002 922 0 92995 0
Current children cumulated CPU time: 3452.01 s
Current children cumulated vsize: 404172 KiB
Current children cumulated memory: 337708 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.12 4.07 5/255 803180
/proc/meminfo: memFree=124759528/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=404172 memory=337716 CPUtime=3511.83 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 45146 0 1 0 350390 793 0 0 20 0 1 0 156951792 413872128 84429 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 101043 84429 2002 922 0 92995 0
Current children cumulated CPU time: 3511.83 s
Current children cumulated vsize: 404172 KiB
Current children cumulated memory: 337716 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.07 5/258 803195
/proc/meminfo: memFree=124737860/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=404172 memory=337716 CPUtime=3571.64 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 45251 0 1 0 356368 796 0 0 20 0 1 0 156951792 413872128 84429 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 101043 84429 2002 922 0 92995 0
Current children cumulated CPU time: 3571.64 s
Current children cumulated vsize: 404172 KiB
Current children cumulated memory: 337716 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.09 4.12 4.07 5/258 803295
/proc/meminfo: memFree=126203604/131524600 swapFree=131071996/131071996
[pid=800989] ppid=800986 vsize=404172 memory=337716 CPUtime=3600.05 cores=0,2
/proc/800989/stat : 800989 (roundingsat) R 800986 800989 800764 0 -1 4194304 45256 0 1 0 359208 797 0 0 20 0 1 0 156951792 413872128 84429 134679101440 4194304 7968869 140720702148384 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 34611200 140720702157758 140720702157922 140720702157922 140720702164937 0
/proc/800989/statm: 101043 84429 2002 922 0 92995 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 404172 KiB
Current children cumulated memory: 337716 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.81 s]
# the end of solver process 800989 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3592.09 s, system=7.97399 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3610.81
CPU time (s): 3600.07
CPU user time (s): 3592.09
CPU system time (s): 7.97399
CPU usage (%): 99.7025
Max. virtual memory (cumulated for all children) (KiB): 404172
Max. memory (cumulated for all children) (KiB): 337716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.09
system time used= 7.97399
maximum resident set size= 337716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45264
page faults= 1
swaps= 0
block input operations= 224
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66
involuntary context switches= 24669
# summary of solver processes directly reported to runsolver:
# pid: 800989
# total CPU time (s): 3600.07
# total CPU user time (s): 3592.09
# total CPU system time (s): 7.97399
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.09736 second user time and 16.9052 second system time
The end
Begin job on nodeC028 at 2024-07-15 14:51:00 IDJOB=4429340 IDBENCH=146905 IDSOLVER=3051 FILE ID=nodeC028/4429340-1721047848 RUNJOBID= nodeC028-1721047859-800774 SLURM_JOB_ID= 7505455 Free space on /tmp= 890048 MiB SOLVER NAME= RoundingSat nolog 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 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429340-1721047848/watcher-4429340-1721047848 -o /tmp/evaluation-result-4429340-1721047848/solver-4429340-1721047848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721047859-800774 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429340-1721047848.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0aad002c81e214aa0b66948d5567e1f0 RANDOM SEED=1041914328 nodeC028.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 : 3641.792 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.56 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 : 3654.194 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.59 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 : 3655.064 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.56 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 : 3634.558 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.59 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 : 3660.230 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.56 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 : 3660.978 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.59 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 : 3613.066 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.56 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 : 3602.925 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.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129297008 kB MemAvailable: 129630384 kB Buffers: 360492 kB Cached: 814332 kB SwapCached: 0 kB Active: 600896 kB Inactive: 1050536 kB Active(anon): 1536 kB Inactive(anon): 512468 kB Active(file): 599360 kB Inactive(file): 538068 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 26764 kB Writeback: 28 kB AnonPages: 473604 kB Mapped: 109780 kB Shmem: 37720 kB KReclaimable: 71540 kB Slab: 172520 kB SReclaimable: 71540 kB SUnreclaim: 100980 kB KernelStack: 4160 kB PageTables: 10196 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 828504 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 59616 kB HardwareCorrupted: 0 kB AnonHugePages: 235520 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: 185044 kB DirectMap2M: 16365568 kB DirectMap1G: 119537664 kB Free space on /tmp at the end= 890044 MiB End job on nodeC028 at 2024-07-15 15:51:11