Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Hybrid 2018-07-02 | SAT (TO) | 46 | 2400.07 | 2339.12 |
| Name | SumColoring/ SumColoring-myciel5_c18.xml |
| MD5SUM | 129cb36d1c9243226923c7f46c8f3d2b |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 46 |
| Best CPU time to get the best result obtained on this benchmark | 292.877 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 47 |
| Number of constraints | 236 |
| Number of domains | 1 |
| Minimum domain size | 47 |
| Maximum domain size | 47 |
| Distribution of domain sizes | [{"size":47,"count":47}] |
| Minimum variable degree | 6 |
| Maximum variable degree | 24 |
| Distribution of variable degrees | [{"degree":6,"count":5},{"degree":7,"count":5},{"degree":8,"count":6},{"degree":9,"count":5},{"degree":10,"count":5},{"degree":11,"count":5},{"degree":12,"count":1},{"degree":13,"count":7},{"degree":17,"count":5},{"degree":21,"count":1},{"degree":23,"count":1},{"degree":24,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":236}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 236 |
| Distribution of constraint types | [{"type":"intension","count":236}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.68/0.55 c version: 2018-07-02 0.68/0.55 c seed: 868127063 0.68/0.55 c timeout: 2400 0.68/0.55 c memlimit: 11000 0.68/0.55 c nbcore: 4 0.68/0.58 c Parsing instance... 1.79/1.13 c Parsing done, starting first complete search... 1.79/1.16 o 2078 1.79/1.16 o 2077 1.79/1.17 o 2076 1.79/1.17 o 2075 1.79/1.17 o 2074 1.79/1.17 o 2073 1.79/1.17 o 2072 1.79/1.17 o 2071 1.79/1.17 o 2070 1.79/1.17 o 2069 1.79/1.17 o 2068 1.79/1.17 o 2067 1.79/1.17 o 2066 1.79/1.17 o 2065 1.79/1.17 o 2064 1.79/1.17 o 2063 1.79/1.17 o 2062 1.79/1.17 o 2061 1.79/1.17 o 2060 1.79/1.17 o 2059 1.79/1.17 o 2058 1.79/1.18 o 2057 1.79/1.18 o 2056 1.79/1.18 o 2055 1.79/1.18 o 2054 1.79/1.18 o 2053 1.79/1.18 o 2052 1.79/1.18 o 2051 1.79/1.18 o 2050 1.79/1.18 o 2049 1.79/1.18 o 2048 1.79/1.18 o 2047 1.79/1.18 o 2046 1.79/1.18 o 2045 1.79/1.18 o 2044 1.79/1.18 o 2043 1.79/1.18 o 2042 1.79/1.18 o 2041 1.79/1.18 o 2040 1.79/1.18 o 2039 1.79/1.19 o 2038 1.79/1.19 o 2037 1.79/1.19 o 2036 1.79/1.19 o 2035 1.79/1.19 o 2034 1.79/1.19 o 2033 1.79/1.19 o 2032 1.79/1.19 o 2031 1.79/1.19 o 2030 1.79/1.19 o 2029 1.79/1.19 o 2028 1.79/1.19 o 2027 1.79/1.19 o 2026 1.79/1.19 o 2025 1.79/1.19 o 2024 1.79/1.19 o 2023 1.79/1.19 o 2022 1.79/1.19 o 2021 1.79/1.19 o 2020 1.79/1.19 o 2019 1.79/1.19 o 2018 1.79/1.19 o 2017 1.79/1.19 o 2016 1.79/1.19 o 2015 1.79/1.19 o 2014 1.79/1.19 o 2013 1.79/1.19 o 2012 1.79/1.19 o 2011 1.79/1.19 o 2010 1.79/1.19 o 2009 1.79/1.19 o 2008 1.79/1.19 o 2007 1.79/1.20 o 2006 1.79/1.20 o 2005 1.79/1.20 o 2004 1.79/1.20 o 2003 1.79/1.20 o 2002 1.79/1.20 o 2001 1.79/1.20 o 2000 1.79/1.20 o 1999 1.79/1.20 o 1998 1.79/1.20 o 1997 1.79/1.20 o 1996 1.79/1.20 o 1995 1.79/1.20 o 1994 1.79/1.20 o 1993 1.79/1.20 o 1992 1.79/1.20 o 1991 1.79/1.20 o 1990 1.79/1.20 o 1989 1.79/1.20 o 1988 1.79/1.20 o 1987 1.79/1.20 o 1986 2.02/1.20 o 1985 2.02/1.20 o 1984 2.02/1.20 o 1983 2.02/1.20 o 1982 2.02/1.20 o 1981 2.02/1.20 o 1980 2.02/1.21 o 1979 2.02/1.21 o 1978 2.02/1.21 o 1977 2.02/1.21 o 1976 2.02/1.21 o 1975 2.02/1.21 o 1974 2.02/1.22 o 1973 2.02/1.22 o 1972 2.02/1.22 o 1971 2.02/1.22 o 1970 2.02/1.22 o 1969 2.02/1.22 o 1968 2.02/1.22 o 1967 2.02/1.22 o 1966 2.02/1.22 o 1965 2.02/1.23 o 1964 2.02/1.23 o 1963 2.02/1.23 o 1962 2.02/1.23 o 1961 2.02/1.23 o 1960 2.02/1.23 o 1959 2.02/1.23 o 1958 2.02/1.23 o 1957 2.02/1.23 o 1956 2.02/1.23 o 1955 2.02/1.23 o 1954 2.02/1.23 o 1953 2.02/1.23 o 1952 2.02/1.23 o 1951 2.02/1.23 o 1950 2.02/1.23 o 1949 2.02/1.23 o 1948 2.02/1.23 o 1947 2.02/1.23 o 1946 2.02/1.23 o 1945 2.02/1.23 o 1944 2.02/1.23 o 1943 2.02/1.23 o 1942 2.02/1.24 o 1941 2.02/1.24 o 1940 2.02/1.24 o 1939 2.02/1.24 o 1938 2.02/1.24 o 1937 2.02/1.24 o 1936 2.02/1.24 o 1935 2.02/1.24 o 1934 2.02/1.24 o 1933 2.02/1.24 o 1932 2.02/1.24 o 1931 2.02/1.24 o 1930 2.02/1.24 o 1929 2.02/1.24 o 1928 2.02/1.24 o 1927 2.02/1.24 o 1926 2.02/1.24 o 1925 2.02/1.24 o 1924 2.02/1.24 o 1923 2.02/1.24 o 1922 2.02/1.24 o 1921 2.02/1.24 o 1920 2.02/1.24 o 1919 2.02/1.24 o 1918 2.02/1.24 o 1917 2.02/1.24 o 1916 2.02/1.24 o 1915 2.02/1.24 o 1914 2.02/1.24 o 1913 2.02/1.24 o 1912 2.02/1.24 o 1911 2.02/1.24 o 1910 2.02/1.24 o 1909 2.02/1.24 o 1908 2.02/1.24 o 1907 2.02/1.24 o 1906 2.02/1.24 o 1905 2.02/1.24 o 1904 2.02/1.24 o 1903 2.02/1.24 o 1902 2.02/1.24 o 1901 2.02/1.24 o 1900 2.02/1.24 o 1899 2.02/1.24 o 1898 2.02/1.25 o 1897 2.02/1.25 o 1896 2.02/1.25 o 1895 2.02/1.25 o 1894 2.02/1.25 o 1893 2.02/1.25 o 1892 2.02/1.25 o 1891 2.02/1.25 o 1890 2.02/1.25 o 1889 2.02/1.25 o 1888 2.02/1.25 o 1887 2.02/1.25 o 1886 2.02/1.26 o 1885 2.02/1.26 o 1884 2.02/1.26 o 1883 2.02/1.26 o 1882 2.02/1.26 o 1881 2.02/1.26 o 1880 2.02/1.26 o 1879 2.02/1.26 o 1878 2.02/1.26 o 1877 2.02/1.26 o 1876 2.02/1.26 o 1875 2.02/1.26 o 1874 2.02/1.26 o 1873 2.02/1.26 o 1872 2.02/1.26 o 1871 2.02/1.26 o 1870 2.02/1.26 o 1869 2.02/1.26 o 1868 2.02/1.26 o 1867 2.02/1.26 o 1866 2.02/1.26 o 1865 2.02/1.26 o 1864 2.02/1.26 o 1863 2.02/1.26 o 1862 2.02/1.26 o 1861 2.02/1.26 o 1860 2.02/1.26 o 1859 2.02/1.26 o 1858 2.02/1.26 o 1857 2.02/1.26 o 1856 2.02/1.26 o 1855 2.02/1.26 o 1854 2.02/1.26 o 1853 2.02/1.26 o 1852 2.02/1.26 o 1851 2.02/1.26 o 1850 2.02/1.26 o 1849 2.02/1.27 o 1848 2.02/1.27 o 1847 2.02/1.27 o 1846 2.02/1.27 o 1845 2.02/1.27 o 1844 2.02/1.27 o 1843 2.02/1.27 o 1842 2.02/1.27 o 1841 2.02/1.27 o 1840 2.02/1.27 o 1839 2.02/1.27 o 1838 2.02/1.27 o 1837 2.02/1.27 o 1836 2.02/1.28 o 1835 2.02/1.28 o 1834 2.02/1.28 o 1833 2.02/1.28 o 1832 2.02/1.28 o 1831 2.02/1.28 o 1830 2.02/1.28 o 1829 2.02/1.28 o 1828 2.02/1.28 o 1827 2.02/1.28 o 1826 2.02/1.28 o 1825 2.02/1.28 o 1824 2.02/1.28 o 1823 2.02/1.28 o 1822 2.02/1.28 o 1821 2.02/1.28 o 1820 2.02/1.28 o 1819 2.02/1.28 o 1818 2.02/1.28 o 1817 2.02/1.28 o 1816 2.02/1.28 o 1815 2.02/1.28 o 1814 2.02/1.28 o 1813 2.02/1.28 o 1812 2.02/1.28 o 1811 2.02/1.28 o 1810 2.02/1.28 o 1809 2.02/1.28 o 1808 2.02/1.28 o 1807 2.02/1.28 o 1806 2.02/1.28 o 1805 2.02/1.28 o 1804 2.02/1.28 o 1803 2.02/1.28 o 1802 2.02/1.28 o 1801 2.02/1.28 o 1800 2.02/1.28 o 1799 2.02/1.28 o 1798 2.02/1.28 o 1797 2.02/1.28 o 1796 2.02/1.28 o 1795 2.02/1.28 o 1794 2.02/1.28 o 1793 2.02/1.28 o 1792 2.02/1.28 o 1791 2.02/1.28 o 1790 2.02/1.28 o 1789 2.02/1.28 o 1788 2.02/1.28 o 1787 2.02/1.28 o 1786 2.02/1.28 o 1785 2.02/1.28 o 1784 2.02/1.28 o 1783 2.02/1.28 o 1782 2.02/1.28 o 1781 2.02/1.28 o 1780 2.02/1.29 o 1778 2.02/1.29 o 1777 2.02/1.29 o 1776 2.02/1.29 o 1775 2.02/1.29 o 1774 2.02/1.29 o 1773 2.02/1.29 o 1772 2.02/1.29 o 1771 2.02/1.29 o 1770 2.02/1.29 o 1769 2.02/1.29 o 1768 2.02/1.29 o 1767 2.02/1.29 o 1766 2.02/1.29 o 1765 2.02/1.29 o 1764 2.02/1.29 o 1763 2.02/1.29 o 1762 2.02/1.29 o 1761 2.02/1.29 o 1760 2.02/1.29 o 1759 2.02/1.29 o 1758 2.02/1.29 o 1757 2.02/1.29 o 1756 2.02/1.30 o 1755 2.02/1.30 o 1754 2.02/1.30 o 1753 2.02/1.30 o 1752 2.02/1.30 o 1751 2.02/1.30 o 1750 2.02/1.30 o 1749 2.02/1.30 o 1748 2.02/1.30 o 1747 2.02/1.30 o 1746 2.02/1.30 o 1745 2.02/1.30 o 1744 2.02/1.30 o 1743 2.02/1.30 o 1742 2.02/1.30 o 1741 2.02/1.30 o 1740 2.02/1.30 o 1739 2.02/1.30 o 1737 2.02/1.30 o 1736 2.02/1.30 o 1734 2.02/1.30 o 1733 2.02/1.30 o 1732 2.02/1.30 o 1731 2.02/1.30 o 1730 2.02/1.30 o 1729 2.02/1.30 o 1728 2.02/1.30 o 1727 2.02/1.30 o 1726 2.02/1.30 o 1725 2.02/1.30 o 1724 2.02/1.30 o 1723 2.02/1.30 o 1722 2.02/1.30 o 1721 2.02/1.30 o 1720 2.02/1.30 o 1719 2.02/1.30 o 1718 2.02/1.30 o 1717 2.02/1.30 o 1716 2.02/1.30 o 1715 2.02/1.30 o 1714 2.02/1.30 o 1713 2.02/1.30 o 1712 2.34/1.30 o 1711 2.34/1.30 o 1710 2.34/1.30 o 1709 2.34/1.30 o 1708 2.34/1.30 o 1707 2.34/1.30 o 1706 2.34/1.30 o 1705 2.34/1.30 o 1704 2.34/1.30 o 1703 2.34/1.30 o 1702 2.34/1.30 o 1701 2.34/1.30 o 1700 2.34/1.31 o 1699 2.34/1.31 o 1698 2.34/1.31 o 1697 2.34/1.31 o 1696 2.34/1.31 o 1695 2.34/1.31 o 1694 2.34/1.31 o 1693 2.34/1.31 o 1692 2.34/1.31 o 1691 2.34/1.31 o 1690 2.34/1.31 o 1689 2.34/1.31 o 1688 2.34/1.31 o 1687 2.34/1.31 o 1686 2.34/1.31 o 1685 2.34/1.31 o 1684 2.34/1.31 o 1683 2.34/1.31 o 1682 2.34/1.31 o 1681 2.34/1.31 o 1680 2.34/1.31 o 1679 2.34/1.31 o 1678 2.34/1.31 o 1677 2.34/1.31 o 1676 2.34/1.31 o 1675 2.34/1.31 o 1674 2.34/1.31 o 1673 2.34/1.31 o 1672 2.34/1.31 o 1671 2.34/1.31 o 1670 2.34/1.31 o 1669 2.34/1.31 o 1668 2.34/1.31 o 1667 2.34/1.31 o 1666 2.34/1.31 o 1665 2.34/1.31 o 1664 2.34/1.31 o 1663 2.34/1.31 o 1662 2.34/1.31 o 1661 2.34/1.31 o 1660 2.34/1.31 o 1659 2.34/1.31 o 1658 2.34/1.31 o 1657 2.34/1.31 o 1656 2.34/1.31 o 1655 2.34/1.31 o 1654 2.34/1.31 o 1653 2.34/1.32 o 1652 2.34/1.32 o 1651 2.34/1.32 o 1650 2.34/1.32 o 1649 2.34/1.32 o 1648 2.34/1.32 o 1647 2.34/1.32 o 1646 2.34/1.32 o 1645 2.34/1.32 o 1644 2.34/1.32 o 1643 2.34/1.32 o 1642 2.34/1.32 o 1641 2.34/1.32 o 1640 2.34/1.32 o 1639 2.34/1.32 o 1638 2.34/1.32 o 1637 2.34/1.32 o 1636 2.34/1.32 o 1635 2.34/1.32 o 1634 2.34/1.32 o 1633 2.34/1.32 o 1632 2.34/1.32 o 1631 2.34/1.32 o 1630 2.34/1.32 o 1629 2.34/1.32 o 1628 2.34/1.32 o 1627 2.34/1.32 o 1626 2.34/1.32 o 1625 2.34/1.32 o 1624 2.34/1.32 o 1623 2.34/1.32 o 1622 2.34/1.32 o 1621 2.34/1.32 o 1620 2.34/1.32 o 1619 2.34/1.32 o 1618 2.34/1.32 o 1617 2.34/1.32 o 1616 2.34/1.32 o 1615 2.34/1.32 o 1614 2.34/1.32 o 1613 2.34/1.32 o 1612 2.34/1.32 o 1611 2.34/1.32 o 1610 2.34/1.32 o 1609 2.34/1.32 o 1608 2.34/1.33 o 1607 2.34/1.33 o 1606 2.34/1.33 o 1605 2.34/1.33 o 1604 2.34/1.33 o 1603 2.34/1.33 o 1602 2.34/1.33 o 1601 2.34/1.33 o 1600 2.34/1.33 o 1599 2.34/1.33 o 1598 2.34/1.33 o 1597 2.34/1.33 o 1596 2.34/1.33 o 1595 2.34/1.33 o 1594 2.34/1.33 o 1593 2.34/1.33 o 1592 2.34/1.33 o 1591 2.34/1.33 o 1590 2.34/1.33 o 1589 2.34/1.33 o 1588 2.34/1.33 o 1587 2.34/1.33 o 1586 2.34/1.33 o 1585 2.34/1.33 o 1584 2.34/1.33 o 1583 2.34/1.33 o 1582 2.34/1.33 o 1581 2.34/1.33 o 1580 2.34/1.33 o 1579 2.34/1.33 o 1578 2.34/1.33 o 1577 2.34/1.33 o 1576 2.34/1.34 o 1575 2.34/1.34 o 1574 2.34/1.34 o 1573 2.34/1.34 o 1572 2.34/1.34 o 1571 2.34/1.34 o 1570 2.34/1.34 o 1569 2.34/1.34 o 1568 2.34/1.35 o 1567 2.34/1.35 o 1566 2.34/1.35 o 1565 2.34/1.35 o 1564 2.34/1.35 o 1563 2.34/1.35 o 1562 2.34/1.35 o 1561 2.34/1.35 o 1560 2.34/1.35 o 1559 2.34/1.35 o 1558 2.34/1.35 o 1557 2.34/1.35 o 1556 2.34/1.35 o 1555 2.34/1.35 o 1554 2.34/1.35 o 1553 2.34/1.35 o 1552 2.34/1.35 o 1551 2.34/1.35 o 1550 2.34/1.35 o 1549 2.34/1.35 o 1548 2.34/1.35 o 1547 2.34/1.35 o 1546 2.34/1.35 o 1545 2.34/1.35 o 1544 2.34/1.35 o 1543 2.34/1.35 o 1542 2.34/1.35 o 1541 2.34/1.35 o 1540 2.34/1.35 o 1539 2.34/1.35 o 1538 2.34/1.35 o 1537 2.34/1.35 o 1536 2.34/1.35 o 1535 2.34/1.35 o 1534 2.34/1.35 o 1533 2.34/1.35 o 1532 2.34/1.35 o 1531 2.34/1.35 o 1530 2.34/1.35 o 1529 2.34/1.35 o 1528 2.34/1.35 o 1527 2.34/1.35 o 1526 2.34/1.35 o 1525 2.34/1.35 o 1524 2.34/1.35 o 1523 2.34/1.36 o 1522 2.34/1.36 o 1521 2.34/1.36 o 1520 2.34/1.36 o 1519 2.34/1.36 o 1518 2.34/1.36 o 1517 2.34/1.36 o 1516 2.34/1.36 o 1515 2.34/1.36 o 1514 2.34/1.36 o 1513 2.34/1.36 o 1512 2.34/1.36 o 1511 2.34/1.36 o 1510 2.34/1.36 o 1509 2.34/1.36 o 1508 2.34/1.36 o 1507 2.34/1.36 o 1506 2.34/1.36 o 1505 2.34/1.36 o 1504 2.34/1.36 o 1503 2.34/1.36 o 1502 2.34/1.36 o 1501 2.34/1.36 o 1500 2.34/1.36 o 1499 2.34/1.36 o 1498 2.34/1.36 o 1497 2.34/1.36 o 1496 2.34/1.36 o 1495 2.34/1.36 o 1494 2.34/1.36 o 1493 2.34/1.36 o 1492 2.34/1.36 o 1491 2.34/1.36 o 1490 2.34/1.36 o 1489 2.34/1.36 o 1488 2.34/1.36 o 1487 2.34/1.37 o 1486 2.34/1.37 o 1485 2.34/1.37 o 1484 2.34/1.37 o 1483 2.34/1.39 o 1482 2.34/1.39 o 1481 2.34/1.39 o 1480 2.34/1.39 o 1479 2.34/1.39 o 1478 2.34/1.39 o 1477 2.34/1.39 o 1476 2.34/1.39 o 1475 2.34/1.39 o 1474 2.34/1.39 o 1473 2.34/1.39 o 1472 2.34/1.39 o 1471 2.34/1.39 o 1470 2.34/1.39 o 1469 2.34/1.39 o 1468 2.34/1.39 o 1467 2.34/1.39 o 1466 2.34/1.39 o 1465 2.34/1.39 o 1464 2.34/1.39 o 1463 2.34/1.40 o 1462 2.34/1.40 o 1461 2.34/1.40 o 1460 2.34/1.40 o 1459 2.34/1.40 o 1458 2.34/1.40 o 1457 2.34/1.40 o 1456 2.34/1.40 o 1455 2.34/1.40 o 1454 2.34/1.40 o 1453 2.34/1.40 o 1452 2.34/1.40 o 1451 2.34/1.40 o 1450 2.65/1.40 o 1449 2.65/1.40 o 1448 2.65/1.40 o 1447 2.65/1.40 o 1446 2.65/1.40 o 1445 2.65/1.40 o 1444 2.65/1.40 o 1443 2.65/1.40 o 1442 2.65/1.40 o 1441 2.65/1.40 o 1440 2.65/1.40 o 1439 2.65/1.42 o 1438 2.65/1.42 o 1437 2.65/1.42 o 1436 2.65/1.42 o 1435 2.65/1.42 o 1434 2.65/1.42 o 1433 2.65/1.42 o 1432 2.65/1.43 o 1431 2.65/1.43 o 1430 2.65/1.43 o 1429 2.65/1.43 o 1428 2.65/1.43 o 1427 2.65/1.43 o 1426 2.65/1.43 o 1425 2.65/1.43 o 1424 2.65/1.43 o 1423 2.65/1.43 o 1422 2.65/1.43 o 1421 2.65/1.43 o 1420 2.65/1.43 o 1419 2.65/1.43 o 1418 2.65/1.43 o 1417 2.65/1.43 o 1416 2.65/1.43 o 1415 2.65/1.43 o 1414 2.65/1.43 o 1413 2.65/1.43 o 1412 2.65/1.43 o 1411 2.65/1.43 o 1410 2.65/1.43 o 1409 2.65/1.43 o 1408 2.65/1.43 o 1407 2.65/1.43 o 1406 2.65/1.43 o 1405 2.65/1.43 o 1404 2.65/1.43 o 1403 2.65/1.43 o 1402 2.65/1.43 o 1400 2.65/1.43 o 1399 2.65/1.43 o 1398 2.65/1.43 o 1397 2.65/1.43 o 1396 2.65/1.43 o 1395 2.65/1.45 o 1394 2.65/1.45 o 1393 2.65/1.45 o 1392 2.65/1.45 o 1391 2.65/1.45 o 1390 2.65/1.45 o 1389 2.65/1.45 o 1388 2.65/1.45 o 1387 2.65/1.45 o 1386 2.65/1.45 o 1385 2.65/1.45 o 1384 2.65/1.45 o 1383 2.65/1.45 o 1382 2.65/1.45 o 1381 2.65/1.45 o 1380 2.65/1.45 o 1379 2.65/1.45 o 1378 2.65/1.45 o 1377 2.65/1.45 o 1376 2.65/1.45 o 1375 2.65/1.45 o 1374 2.65/1.45 o 1373 2.65/1.45 o 1372 2.65/1.45 o 1371 2.65/1.45 o 1370 2.65/1.45 o 1369 2.65/1.45 o 1368 2.65/1.45 o 1367 2.65/1.45 o 1366 2.65/1.45 o 1365 2.65/1.45 o 1364 2.65/1.45 o 1363 2.65/1.45 o 1362 2.65/1.45 o 1361 2.65/1.45 o 1360 2.65/1.45 o 1359 2.65/1.45 o 1358 2.65/1.45 o 1357 2.65/1.45 o 1356 2.65/1.45 o 1355 2.65/1.45 o 1354 2.65/1.45 o 1353 2.65/1.45 o 1352 2.65/1.46 o 1351 2.65/1.49 o 1350 2.65/1.49 o 1349 2.65/1.49 o 1348 2.65/1.49 o 1347 2.65/1.49 o 1346 2.65/1.49 o 1345 2.65/1.49 o 1344 2.65/1.49 o 1343 2.65/1.49 o 1342 2.65/1.49 o 1341 2.65/1.49 o 1340 2.65/1.49 o 1339 2.65/1.49 o 1338 2.65/1.49 o 1337 2.65/1.49 o 1336 2.65/1.49 o 1335 2.65/1.49 o 1334 2.65/1.49 o 1333 2.65/1.49 o 1332 2.65/1.49 o 1331 2.65/1.49 o 1330 2.65/1.49 o 1329 2.65/1.49 o 1328 2.65/1.49 o 1327 2.65/1.49 o 1326 2.65/1.49 o 1325 2.65/1.49 o 1324 2.65/1.49 o 1323 2.65/1.49 o 1322 2.65/1.49 o 1321 2.65/1.49 o 1320 2.65/1.49 o 1319 2.65/1.49 o 1318 2.65/1.49 o 1317 2.65/1.49 o 1316 2.65/1.50 o 1315 2.65/1.50 o 1314 2.65/1.50 o 1313 2.65/1.50 o 1312 2.96/1.50 o 1311 2.96/1.50 o 1310 2.96/1.50 o 1309 2.96/1.50 o 1308 2.96/1.51 o 1307 2.96/1.52 o 1306 2.96/1.52 o 1305 2.96/1.52 o 1304 2.96/1.52 o 1303 2.96/1.52 o 1302 2.96/1.52 o 1301 2.96/1.52 o 1300 2.96/1.52 o 1299 2.96/1.52 o 1298 2.96/1.52 o 1297 2.96/1.52 o 1296 2.96/1.52 o 1295 2.96/1.52 o 1294 2.96/1.52 o 1293 2.96/1.52 o 1292 2.96/1.52 o 1291 2.96/1.53 o 1290 2.96/1.53 o 1289 2.96/1.53 o 1288 2.96/1.53 o 1287 2.96/1.53 o 1286 2.96/1.53 o 1285 2.96/1.53 o 1284 2.96/1.53 o 1283 2.96/1.53 o 1282 2.96/1.53 o 1281 2.96/1.53 o 1280 2.96/1.53 o 1279 2.96/1.53 o 1278 2.96/1.53 o 1277 2.96/1.53 o 1276 2.96/1.53 o 1275 2.96/1.53 o 1274 2.96/1.53 o 1273 2.96/1.53 o 1272 2.96/1.53 o 1271 2.96/1.53 o 1270 2.96/1.53 o 1269 2.96/1.53 o 1268 2.96/1.53 o 1267 2.96/1.53 o 1266 2.96/1.53 o 1265 2.96/1.53 o 1264 2.96/1.54 o 1263 2.96/1.56 o 1262 2.96/1.56 o 1261 2.96/1.56 o 1260 2.96/1.56 o 1259 2.96/1.56 o 1258 2.96/1.56 o 1257 2.96/1.56 o 1256 2.96/1.56 o 1255 2.96/1.56 o 1254 2.96/1.56 o 1253 2.96/1.56 o 1252 2.96/1.57 o 1251 2.96/1.57 o 1250 2.96/1.57 o 1249 2.96/1.57 o 1248 2.96/1.57 o 1247 2.96/1.57 o 1246 2.96/1.57 o 1245 2.96/1.57 o 1244 2.96/1.57 o 1243 2.96/1.57 o 1242 2.96/1.57 o 1241 2.96/1.57 o 1240 2.96/1.57 o 1239 2.96/1.57 o 1238 2.96/1.57 o 1237 2.96/1.57 o 1236 2.96/1.57 o 1235 2.96/1.57 o 1234 2.96/1.57 o 1233 2.96/1.57 o 1232 2.96/1.57 o 1231 2.96/1.57 o 1230 2.96/1.57 o 1229 2.96/1.57 o 1228 2.96/1.57 o 1227 2.96/1.57 o 1226 2.96/1.57 o 1225 2.96/1.58 o 1224 2.96/1.58 o 1223 2.96/1.58 o 1222 2.96/1.58 o 1221 2.96/1.58 o 1220 2.96/1.58 o 1219 3.27/1.62 o 1218 3.27/1.62 o 1217 3.27/1.62 o 1216 3.27/1.62 o 1215 3.27/1.62 o 1214 3.27/1.62 o 1213 3.27/1.62 o 1212 3.27/1.62 o 1211 3.27/1.62 o 1210 3.27/1.62 o 1209 3.27/1.62 o 1208 3.27/1.62 o 1207 3.27/1.62 o 1206 3.27/1.62 o 1205 3.27/1.62 o 1204 3.27/1.62 o 1203 3.27/1.62 o 1202 3.27/1.62 o 1201 3.27/1.62 o 1200 3.27/1.62 o 1199 3.27/1.62 o 1198 3.27/1.62 o 1197 3.27/1.62 o 1196 3.27/1.62 o 1195 3.27/1.62 o 1194 3.27/1.62 o 1193 3.27/1.62 o 1192 3.27/1.62 o 1191 3.27/1.62 o 1190 3.27/1.62 o 1189 3.27/1.62 o 1188 3.27/1.62 o 1187 3.27/1.62 o 1186 3.27/1.62 o 1185 3.27/1.62 o 1184 3.27/1.62 o 1183 3.27/1.62 o 1182 3.27/1.62 o 1181 3.27/1.62 o 1180 3.27/1.62 o 1179 3.27/1.62 o 1178 3.27/1.62 o 1177 3.27/1.62 o 1176 3.27/1.62 o 1175 3.27/1.66 o 1174 3.27/1.66 o 1173 3.27/1.66 o 1172 3.27/1.66 o 1171 3.27/1.66 o 1170 3.27/1.66 o 1169 3.27/1.66 o 1168 3.27/1.66 o 1167 3.27/1.66 o 1166 3.27/1.66 o 1165 3.27/1.66 o 1164 3.27/1.66 o 1163 3.27/1.66 o 1162 3.27/1.66 o 1161 3.27/1.66 o 1160 3.27/1.66 o 1159 3.27/1.66 o 1158 3.27/1.66 o 1157 3.27/1.66 o 1156 3.27/1.66 o 1155 3.27/1.66 o 1154 3.27/1.66 o 1153 3.27/1.66 o 1152 3.27/1.66 o 1151 3.27/1.66 o 1150 3.27/1.66 o 1149 3.27/1.66 o 1148 3.27/1.66 o 1147 3.27/1.66 o 1146 3.27/1.66 o 1145 3.27/1.66 o 1144 3.27/1.66 o 1143 3.27/1.66 o 1142 3.27/1.66 o 1141 3.27/1.67 o 1140 3.27/1.68 o 1139 3.27/1.68 o 1138 3.57/1.70 o 1137 3.57/1.74 o 1136 3.57/1.74 o 1135 3.57/1.77 o 1134 3.57/1.80 o 1133 3.57/1.80 o 1132 3.87/1.83 o 1131 3.87/1.83 o 1130 3.87/1.83 o 1129 3.87/1.83 o 1128 3.87/1.83 o 1127 3.87/1.83 o 1126 3.87/1.83 o 1125 3.87/1.83 o 1124 3.87/1.83 o 1123 3.87/1.83 o 1122 3.87/1.83 o 1121 3.87/1.83 o 1120 3.87/1.83 o 1119 3.87/1.83 o 1118 3.87/1.83 o 1117 3.87/1.83 o 1116 3.87/1.83 o 1115 3.87/1.83 o 1114 3.87/1.83 o 1113 3.87/1.83 o 1112 3.87/1.83 o 1111 3.87/1.83 o 1110 3.87/1.83 o 1109 3.87/1.83 o 1108 3.87/1.83 o 1107 3.87/1.83 o 1106 3.87/1.83 o 1105 3.87/1.83 o 1104 3.87/1.83 o 1103 3.87/1.83 o 1102 3.87/1.83 o 1101 3.87/1.83 o 1100 3.87/1.83 o 1099 3.87/1.83 o 1098 3.87/1.83 o 1097 3.87/1.83 o 1096 3.87/1.83 o 1095 3.87/1.83 o 1094 3.87/1.83 o 1093 3.87/1.84 o 1092 3.87/1.84 o 1091 3.87/1.84 o 1090 3.87/1.84 o 1089 3.87/1.87 o 1088 3.87/1.89 o 1087 3.87/1.89 o 1086 3.87/1.89 o 1085 3.87/1.89 o 1084 3.87/1.89 o 1083 3.87/1.89 o 1082 3.87/1.89 o 1081 3.87/1.89 o 1080 3.87/1.89 o 1079 3.87/1.89 o 1078 3.87/1.89 o 1077 3.87/1.89 o 1076 3.87/1.89 o 1075 3.87/1.89 o 1074 3.87/1.89 o 1073 3.87/1.89 o 1072 3.87/1.89 o 1071 3.87/1.89 o 1070 3.87/1.89 o 1069 3.87/1.89 o 1068 3.87/1.89 o 1067 3.87/1.89 o 1066 3.87/1.89 o 1065 3.87/1.89 o 1064 3.87/1.89 o 1063 3.87/1.90 o 1062 3.87/1.90 o 1061 4.06/1.90 o 1060 4.06/1.90 o 1059 4.06/1.90 o 1058 4.06/1.93 o 1057 4.06/1.94 o 1056 4.06/1.94 o 1055 4.06/1.96 o 1054 4.06/1.96 o 1053 4.32/2.02 o 1052 4.32/2.02 o 1051 4.32/2.02 o 1050 4.32/2.07 o 1049 4.32/2.07 o 1048 4.32/2.07 o 1047 4.32/2.07 o 1046 4.43/2.16 o 1045 4.43/2.16 o 1044 4.43/2.16 o 1043 4.43/2.16 o 1042 4.43/2.16 o 1041 4.43/2.16 o 1040 4.43/2.16 o 1039 4.43/2.16 o 1038 4.43/2.16 o 1037 4.43/2.16 o 1036 4.43/2.16 o 1035 4.43/2.16 o 1034 4.43/2.16 o 1033 4.43/2.16 o 1032 4.43/2.16 o 1031 4.43/2.16 o 1030 4.43/2.16 o 1029 4.43/2.16 o 1028 4.43/2.17 o 1027 4.43/2.17 o 1026 4.43/2.17 o 1025 4.43/2.17 o 1024 4.43/2.17 o 1023 4.43/2.17 o 1022 4.43/2.17 o 1021 4.43/2.17 o 1020 4.43/2.17 o 1019 4.43/2.17 o 1018 4.43/2.17 o 1017 4.43/2.17 o 1016 4.43/2.17 o 1015 4.43/2.17 o 1014 4.43/2.18 o 1013 4.43/2.18 o 1012 4.43/2.18 o 1011 4.52/2.20 o 1010 4.52/2.20 o 1009 4.52/2.23 o 1008 4.61/2.33 o 1007 4.61/2.34 o 1006 5.04/2.70 o 1005 5.04/2.76 o 1004 5.04/2.76 o 1003 5.14/2.83 o 1002 5.14/2.83 o 1001 5.14/2.83 o 1000 5.14/2.83 o 999 5.14/2.83 o 998 5.14/2.83 o 997 5.14/2.83 o 996 5.14/2.83 o 995 5.14/2.83 o 994 5.14/2.83 o 993 5.14/2.83 o 992 5.14/2.83 o 991 5.14/2.83 o 990 5.14/2.83 o 989 5.14/2.83 o 988 5.14/2.83 o 987 5.14/2.83 o 986 5.14/2.83 o 985 5.14/2.83 o 984 5.14/2.83 o 983 5.14/2.83 o 982 5.14/2.83 o 981 5.14/2.83 o 980 5.14/2.83 o 979 5.14/2.83 o 978 5.14/2.83 o 977 5.14/2.83 o 976 5.14/2.83 o 975 5.14/2.83 o 974 5.14/2.83 o 973 5.14/2.83 o 972 5.14/2.83 o 971 5.14/2.84 o 970 5.14/2.86 o 969 5.14/2.87 o 968 5.28/2.99 o 967 5.54/3.14 o 966 5.82/3.60 o 965 5.92/3.73 o 964 5.92/3.73 o 963 6.12/3.94 o 962 6.22/4.04 o 961 6.82/4.68 o 960 6.82/4.68 o 959 6.82/4.68 o 958 6.82/4.68 o 957 6.82/4.68 o 956 6.82/4.68 o 955 6.82/4.68 o 954 6.82/4.68 o 953 6.82/4.68 o 952 6.82/4.68 o 951 6.82/4.68 o 950 6.82/4.68 o 949 6.82/4.68 o 948 6.82/4.68 o 947 6.82/4.68 o 946 6.82/4.68 o 945 6.82/4.68 o 944 6.82/4.68 o 943 6.82/4.68 o 942 6.82/4.68 o 941 6.82/4.68 o 940 6.82/4.68 o 939 6.82/4.68 o 938 6.82/4.68 o 937 6.82/4.68 o 936 6.82/4.68 o 935 6.82/4.68 o 934 6.82/4.68 o 933 6.82/4.68 o 932 6.82/4.68 o 931 6.82/4.69 o 930 6.94/4.71 o 929 6.94/4.71 o 928 6.94/4.74 o 927 7.15/5.00 o 926 7.26/5.02 o 925 7.26/5.02 o 924 7.46/5.21 o 923 7.96/5.72 o 922 10.47/8.24 o 921 10.57/8.33 o 920 10.57/8.36 o 919 11.25/8.93 o 918 11.55/9.24 o 917 11.55/9.24 o 916 11.55/9.24 o 915 11.55/9.24 o 914 11.55/9.24 o 913 11.55/9.25 o 912 11.55/9.25 o 911 11.55/9.25 o 910 11.55/9.25 o 909 11.55/9.25 o 908 11.55/9.25 o 907 11.55/9.25 o 906 11.55/9.25 o 905 11.55/9.25 o 904 11.55/9.25 o 903 11.55/9.25 o 902 11.55/9.25 o 901 11.55/9.25 o 900 11.55/9.25 o 899 11.55/9.25 o 898 11.55/9.25 o 897 11.55/9.25 o 896 11.55/9.25 o 895 11.55/9.25 o 894 11.55/9.25 o 893 11.55/9.25 o 892 11.55/9.25 o 891 11.55/9.25 o 890 11.55/9.25 o 889 11.55/9.25 o 888 11.55/9.25 o 887 11.55/9.25 o 886 11.55/9.25 o 885 11.55/9.25 o 884 11.55/9.25 o 883 11.55/9.26 o 882 11.55/9.26 o 881 11.55/9.26 o 880 11.66/9.37 o 879 11.66/9.37 o 878 11.66/9.37 o 877 11.76/9.41 o 876 11.76/9.43 o 875 12.86/10.58 o 874 12.86/10.58 o 873 12.86/10.58 o 872 12.86/10.58 o 871 12.86/10.58 o 870 12.86/10.58 o 869 12.86/10.58 o 868 12.86/10.58 o 867 12.86/10.58 o 866 12.86/10.58 o 865 12.86/10.58 o 864 12.86/10.58 o 863 12.86/10.58 o 862 12.86/10.58 o 861 12.86/10.58 o 860 12.86/10.58 o 859 12.86/10.58 o 858 12.86/10.58 o 857 12.86/10.58 o 856 12.86/10.58 o 855 12.86/10.58 o 854 12.86/10.58 o 853 12.86/10.58 o 852 12.86/10.58 o 851 12.86/10.58 o 850 12.86/10.58 o 849 12.86/10.58 o 848 12.86/10.58 o 847 12.86/10.58 o 846 12.86/10.58 o 845 12.96/10.61 o 844 14.37/12.03 o 843 14.67/12.33 o 842 14.86/12.54 o 841 14.96/12.60 o 840 15.96/13.60 o 839 15.96/13.60 o 838 19.18/16.85 o 837 19.18/16.89 o 836 20.78/18.46 o 835 20.78/18.47 o 834 28.42/26.04 o 833 28.42/26.04 o 832 28.42/26.04 o 831 28.42/26.04 o 830 28.42/26.04 o 829 28.42/26.04 o 828 28.42/26.04 o 827 28.42/26.04 o 826 28.42/26.04 o 825 28.42/26.04 o 824 28.42/26.04 o 823 28.42/26.04 o 822 28.42/26.04 o 821 28.42/26.04 o 820 28.42/26.04 o 819 28.42/26.04 o 818 28.42/26.04 o 817 28.42/26.04 o 816 28.42/26.04 o 815 28.42/26.04 o 814 28.42/26.04 o 813 28.42/26.04 o 812 28.42/26.04 o 811 28.42/26.04 o 810 28.42/26.04 o 809 28.42/26.04 o 808 28.42/26.04 o 807 28.42/26.04 o 806 28.42/26.05 o 805 28.42/26.05 o 804 28.42/26.06 o 803 28.42/26.06 o 802 28.42/26.07 o 801 28.42/26.07 o 800 28.42/26.07 o 799 30.22/27.80 o 798 30.53/28.17 o 797 30.82/28.45 o 796 36.04/33.66 o 795 37.64/35.26 o 794 39.06/36.62 o 793 39.06/36.70 o 792 75.46/72.84 c First complete search done, starting ALNS search... 75.61/72.93 o 791 75.61/72.93 o 790 75.61/72.93 o 789 75.61/72.93 o 788 75.61/72.93 o 787 75.61/72.93 o 785 75.61/72.93 o 782 75.61/72.94 o 780 75.61/72.94 o 779 75.61/72.94 o 778 75.61/72.94 o 777 75.61/72.94 o 776 75.61/72.94 o 775 75.61/72.94 o 774 75.61/72.94 o 773 75.61/72.94 o 772 75.61/72.94 o 771 75.61/72.94 o 770 75.61/72.94 o 769 75.61/72.94 o 768 75.61/72.94 o 767 75.61/72.94 o 766 75.61/72.94 o 765 75.61/72.94 o 764 75.61/72.94 o 763 75.61/72.94 o 762 75.61/72.94 o 761 75.61/72.94 o 760 75.61/72.94 o 758 75.61/72.94 o 757 75.61/72.94 o 756 75.61/72.94 o 754 75.61/72.94 o 753 75.61/72.94 o 752 75.61/72.94 o 751 75.61/72.94 o 750 75.61/72.94 o 749 75.61/72.94 o 748 75.61/72.94 o 747 75.61/72.94 o 746 75.61/72.94 o 745 75.61/72.94 o 744 75.61/72.94 o 743 75.61/72.94 o 742 75.61/72.94 o 739 75.61/72.94 o 737 75.61/72.94 o 736 75.61/72.94 o 735 75.61/72.94 o 734 75.61/72.94 o 733 75.61/72.94 o 732 75.61/72.94 o 731 75.61/72.94 o 730 75.61/72.94 o 729 75.61/72.94 o 728 75.61/72.94 o 727 75.61/72.94 o 726 75.61/72.94 o 725 75.61/72.94 o 724 75.61/72.94 o 723 75.61/72.94 o 722 75.61/72.94 o 721 75.61/72.94 o 720 75.61/72.94 o 719 75.61/72.94 o 718 75.61/72.94 o 717 75.61/72.94 o 716 75.61/72.94 o 715 75.61/72.94 o 714 75.61/72.94 o 713 75.61/72.94 o 712 75.61/72.94 o 711 75.61/72.94 o 710 75.61/72.94 o 709 75.61/72.94 o 708 75.61/72.94 o 707 75.61/72.94 o 706 75.61/72.94 o 705 75.61/72.94 o 704 75.61/72.94 o 703 75.61/72.94 o 702 75.61/72.94 o 701 75.61/72.94 o 700 75.61/72.94 o 699 75.61/72.94 o 698 75.61/72.94 o 697 75.61/72.94 o 696 75.61/72.94 o 695 75.61/72.94 o 694 75.61/72.94 o 693 75.61/72.94 o 692 75.61/72.94 o 691 75.61/72.94 o 690 75.61/72.94 o 689 75.61/72.94 o 688 75.61/72.94 o 687 75.61/72.94 o 686 75.61/72.94 o 685 75.61/72.94 o 684 75.61/72.94 o 683 75.61/72.94 o 682 75.61/72.94 o 681 75.61/72.94 o 680 75.61/72.94 o 679 75.61/72.94 o 678 75.61/72.94 o 677 75.61/72.94 o 676 75.61/72.94 o 675 75.61/72.94 o 674 75.61/72.94 o 673 75.61/72.94 o 672 75.61/72.94 o 671 75.61/72.94 o 670 75.61/72.94 o 669 75.61/72.94 o 668 75.61/72.94 o 667 75.61/72.94 o 666 75.61/72.94 o 665 75.61/72.94 o 664 75.61/72.94 o 663 75.61/72.94 o 662 75.61/72.94 o 661 75.61/72.95 o 660 75.61/72.95 o 659 75.61/72.95 o 658 75.61/72.95 o 657 75.61/72.95 o 656 75.61/72.95 o 655 75.61/72.95 o 654 75.61/72.95 o 653 75.61/72.95 o 652 75.61/72.95 o 651 75.61/72.95 o 650 75.61/72.95 o 649 75.61/72.95 o 648 75.61/72.95 o 647 75.61/72.95 o 646 75.61/72.95 o 645 75.61/72.95 o 644 75.61/72.95 o 643 75.61/72.95 o 642 75.61/72.95 o 641 75.61/72.95 o 640 75.61/72.95 o 639 75.61/72.95 o 638 75.61/72.95 o 637 75.61/72.95 o 636 75.61/72.95 o 635 75.61/72.95 o 634 75.61/72.95 o 633 75.61/72.95 o 632 75.61/72.95 o 631 75.61/72.95 o 630 75.61/72.95 o 629 75.61/72.95 o 628 75.61/72.95 o 627 75.61/72.95 o 626 75.61/72.95 o 625 75.61/72.95 o 624 75.61/72.95 o 623 75.61/72.95 o 622 75.61/72.95 o 621 75.61/72.95 o 620 75.61/72.95 o 619 75.61/72.95 o 618 75.61/72.95 o 617 75.61/72.95 o 616 75.61/72.95 o 615 75.61/72.95 o 614 75.61/72.95 o 613 75.61/72.95 o 612 75.61/72.95 o 611 75.61/72.95 o 610 75.61/72.95 o 609 75.61/72.95 o 608 75.61/72.95 o 607 75.61/72.95 o 606 75.61/72.95 o 605 75.61/72.95 o 604 75.61/72.95 o 603 75.61/72.95 o 602 75.61/72.95 o 601 75.61/72.95 o 600 75.61/72.95 o 599 75.61/72.95 o 598 75.61/72.95 o 597 75.61/72.95 o 596 75.61/72.95 o 595 75.61/72.95 o 594 75.61/72.95 o 593 75.61/72.95 o 592 75.61/72.95 o 591 75.61/72.95 o 590 75.61/72.95 o 589 75.61/72.95 o 588 75.61/72.95 o 587 75.61/72.95 o 586 75.61/72.95 o 585 75.61/72.95 o 584 75.61/72.95 o 583 75.61/72.95 o 582 75.61/72.95 o 581 75.61/72.95 o 580 75.61/72.95 o 579 75.61/72.95 o 578 75.61/72.95 o 577 75.61/72.96 o 576 75.61/72.96 o 575 75.61/72.96 o 574 75.61/72.96 o 573 75.61/72.96 o 572 75.61/72.96 o 571 75.61/72.96 o 570 75.61/72.96 o 569 75.61/72.96 o 568 75.61/72.96 o 567 75.61/72.96 o 566 75.61/72.96 o 565 75.61/72.96 o 564 75.61/72.96 o 563 75.61/72.96 o 562 75.61/72.96 o 561 75.61/72.96 o 560 75.61/72.96 o 559 75.61/72.96 o 558 75.61/72.96 o 557 75.61/72.96 o 556 75.61/72.96 o 555 75.61/72.96 o 554 75.61/72.96 o 553 75.61/72.96 o 552 75.61/72.96 o 551 75.61/72.96 o 550 75.61/72.96 o 549 75.61/72.96 o 548 75.61/72.96 o 547 75.61/72.96 o 546 75.61/72.97 o 545 75.61/72.97 o 544 75.61/72.97 o 543 75.61/72.97 o 542 75.61/72.97 o 541 75.61/72.97 o 540 75.61/72.97 o 539 75.61/72.97 o 538 75.61/72.97 o 537 75.61/72.97 o 535 75.61/72.97 o 534 75.61/72.97 o 533 75.61/72.97 o 532 75.61/72.97 o 531 75.61/72.97 o 530 75.61/72.97 o 529 75.61/72.97 o 528 75.61/72.97 o 527 75.61/72.97 o 526 75.61/72.97 o 525 75.61/72.97 o 524 75.61/72.97 o 523 75.61/72.97 o 522 75.61/72.97 o 520 75.61/72.97 o 519 75.61/72.97 o 518 75.61/72.97 o 517 75.61/72.97 o 516 75.61/72.97 o 515 75.61/72.97 o 514 75.61/72.97 o 513 75.61/72.97 o 512 75.61/72.97 o 511 75.61/72.97 o 510 75.61/72.97 o 509 75.61/72.97 o 508 75.61/72.97 o 507 75.61/72.97 o 506 75.61/72.97 o 505 75.61/72.97 o 504 75.61/72.97 o 503 75.61/72.97 o 502 75.61/72.97 o 501 75.61/72.97 o 500 75.61/72.97 o 499 75.61/72.97 o 498 75.61/72.97 o 497 75.61/72.97 o 496 75.61/72.97 o 495 75.61/72.97 o 493 75.61/72.97 o 492 75.61/72.97 o 491 75.61/72.97 o 490 75.61/72.97 o 489 75.61/72.97 o 488 75.61/72.97 o 487 75.61/72.97 o 486 75.61/72.97 o 485 75.61/72.97 o 484 75.61/72.97 o 483 75.61/72.97 o 482 75.61/72.97 o 481 75.61/72.97 o 479 75.61/72.97 o 478 75.61/72.97 o 477 75.61/72.97 o 476 75.61/72.97 o 475 75.61/72.97 o 474 75.61/72.97 o 473 75.61/72.97 o 472 75.61/72.97 o 471 75.61/72.97 o 470 75.61/72.97 o 469 75.61/72.97 o 468 75.61/72.97 o 467 75.61/72.97 o 466 75.61/72.97 o 465 75.61/72.97 o 464 75.61/72.97 o 463 75.61/72.97 o 462 75.61/72.97 o 461 75.61/72.97 o 460 75.61/72.97 o 458 75.61/72.97 o 457 75.61/72.97 o 456 75.61/72.98 o 455 75.61/72.98 o 454 75.61/72.98 o 453 75.61/72.98 o 452 75.61/72.98 o 451 75.61/72.98 o 450 75.61/72.98 o 449 75.61/72.98 o 448 75.61/72.98 o 447 75.61/72.98 o 446 75.61/72.98 o 445 75.61/72.98 o 444 75.61/72.98 o 443 75.61/72.98 o 442 75.61/72.98 o 441 75.61/72.98 o 440 75.61/72.98 o 439 75.61/72.98 o 438 75.61/72.98 o 437 75.61/72.99 o 436 75.61/72.99 o 435 75.61/72.99 o 434 75.61/72.99 o 433 75.61/72.99 o 432 75.61/72.99 o 431 75.61/72.99 o 430 75.61/72.99 o 429 75.61/72.99 o 428 75.61/72.99 o 427 75.61/72.99 o 426 75.61/72.99 o 425 75.61/72.99 o 424 75.61/72.99 o 423 75.61/72.99 o 422 75.61/72.99 o 421 75.61/72.99 o 420 75.61/72.99 o 419 75.61/72.99 o 418 75.61/72.99 o 416 75.61/72.99 o 415 75.61/72.99 o 414 75.61/72.99 o 413 75.61/72.99 o 412 75.61/72.99 o 411 75.61/72.99 o 410 75.61/72.99 o 409 75.61/72.99 o 408 75.61/72.99 o 407 75.61/72.99 o 406 75.61/72.99 o 405 75.61/72.99 o 404 75.61/72.99 o 403 75.61/72.99 o 402 75.61/72.99 o 401 75.61/72.99 o 400 75.61/72.99 o 399 75.61/72.99 o 398 75.61/72.99 o 397 75.61/72.99 o 396 75.61/72.99 o 395 75.61/72.99 o 394 75.61/72.99 o 393 75.61/72.99 o 392 75.61/72.99 o 391 75.61/72.99 o 390 75.61/72.99 o 389 75.61/72.99 o 388 75.61/72.99 o 387 75.61/72.99 o 386 75.61/72.99 o 385 75.61/72.99 o 384 75.61/72.99 o 383 75.61/72.99 o 382 75.61/72.99 o 381 75.61/72.99 o 380 75.61/72.99 o 379 75.61/72.99 o 378 75.61/72.99 o 377 75.61/72.99 o 376 75.61/72.99 o 374 75.61/72.99 o 373 75.61/72.99 o 372 75.61/72.99 o 371 75.61/73.01 o 370 75.85/73.02 o 369 75.85/73.02 o 368 75.85/73.02 o 367 75.85/73.02 o 366 75.85/73.02 o 365 75.85/73.02 o 364 75.85/73.02 o 363 75.85/73.02 o 362 75.85/73.02 o 361 75.85/73.02 o 360 75.85/73.02 o 359 75.85/73.02 o 358 75.85/73.02 o 357 75.85/73.02 o 356 75.85/73.02 o 355 75.85/73.03 o 354 75.85/73.03 o 353 75.85/73.03 o 352 75.85/73.04 o 351 75.85/73.04 o 350 75.85/73.04 o 349 75.85/73.04 o 348 75.85/73.04 o 347 75.85/73.04 o 346 75.85/73.04 o 345 75.85/73.04 o 344 75.85/73.04 o 343 75.85/73.04 o 342 75.85/73.04 o 341 75.85/73.04 o 340 75.85/73.04 o 339 75.85/73.04 o 338 75.85/73.04 o 336 75.85/73.04 o 335 75.85/73.04 o 334 75.85/73.04 o 333 75.85/73.04 o 332 75.85/73.04 o 331 75.85/73.04 o 330 75.85/73.04 o 329 75.85/73.04 o 328 75.85/73.04 o 327 75.85/73.04 o 326 75.85/73.04 o 325 75.85/73.04 o 324 75.85/73.04 o 323 75.85/73.04 o 322 75.85/73.04 o 321 75.85/73.04 o 320 75.85/73.04 o 319 75.85/73.04 o 318 75.85/73.04 o 317 75.85/73.04 o 316 75.85/73.04 o 315 75.85/73.04 o 314 75.85/73.04 o 313 75.85/73.04 o 312 75.85/73.04 o 311 75.85/73.04 o 310 75.85/73.04 o 309 75.85/73.04 o 308 75.85/73.04 o 307 75.85/73.04 o 306 75.85/73.04 o 305 75.85/73.04 o 304 75.85/73.04 o 302 75.85/73.04 o 301 75.85/73.04 o 300 75.85/73.05 o 299 75.85/73.05 o 298 75.85/73.05 o 297 75.85/73.05 o 296 75.85/73.05 o 295 75.85/73.05 o 294 75.85/73.05 o 293 75.85/73.05 o 292 75.85/73.05 o 291 75.85/73.05 o 290 75.85/73.05 o 289 75.85/73.05 o 288 75.85/73.05 o 287 75.85/73.05 o 286 75.85/73.05 o 285 75.85/73.05 o 284 75.85/73.05 o 283 75.85/73.05 o 282 75.85/73.05 o 281 75.85/73.05 o 280 75.85/73.05 o 279 75.85/73.05 o 278 75.85/73.05 o 277 75.85/73.05 o 276 75.85/73.05 o 275 75.85/73.05 o 274 75.85/73.05 o 273 75.85/73.05 o 272 75.85/73.05 o 271 75.85/73.05 o 270 75.85/73.05 o 269 75.85/73.05 o 268 75.85/73.05 o 267 75.85/73.05 o 266 75.85/73.05 o 265 75.85/73.05 o 264 75.85/73.05 o 263 75.85/73.05 o 262 75.85/73.05 o 261 75.85/73.05 o 260 75.85/73.05 o 259 76.30/73.35 o 258 76.30/73.35 o 257 76.30/73.35 o 256 76.30/73.35 o 255 76.30/73.35 o 254 76.30/73.35 o 253 76.30/73.35 o 252 76.30/73.35 o 251 76.30/73.35 o 250 76.30/73.35 o 249 76.30/73.35 o 248 76.30/73.35 o 247 76.30/73.35 o 246 76.30/73.35 o 245 76.30/73.35 o 244 76.30/73.35 o 243 76.30/73.35 o 242 76.30/73.35 o 241 76.30/73.35 o 240 76.30/73.35 o 239 76.30/73.35 o 238 76.30/73.35 o 237 76.30/73.35 o 236 76.30/73.35 o 235 76.30/73.35 o 234 76.30/73.35 o 233 76.30/73.35 o 232 76.30/73.35 o 231 76.30/73.35 o 230 76.30/73.35 o 229 76.30/73.35 o 228 76.30/73.35 o 227 76.30/73.35 o 226 76.30/73.36 o 225 76.30/73.36 o 224 76.30/73.36 o 223 76.30/73.36 o 222 76.30/73.36 o 221 76.30/73.36 o 220 76.30/73.36 o 219 76.30/73.36 o 218 76.30/73.36 o 217 76.30/73.36 o 216 76.30/73.36 o 215 76.30/73.36 o 214 76.30/73.36 o 213 76.30/73.36 o 212 76.30/73.36 o 211 76.30/73.36 o 210 76.30/73.36 o 209 76.30/73.36 o 208 76.30/73.36 o 207 76.30/73.36 o 206 76.30/73.36 o 205 76.30/73.36 o 204 76.30/73.36 o 203 76.30/73.36 o 202 76.30/73.36 o 201 76.30/73.36 o 200 76.30/73.36 o 199 76.30/73.36 o 198 76.30/73.36 o 197 76.30/73.36 o 196 76.30/73.36 o 195 76.30/73.36 o 194 76.30/73.36 o 193 76.30/73.36 o 192 76.30/73.36 o 191 76.30/73.36 o 190 76.30/73.36 o 189 76.30/73.36 o 188 76.30/73.36 o 187 76.30/73.36 o 186 76.30/73.36 o 185 76.30/73.36 o 184 76.30/73.36 o 183 76.30/73.36 o 182 76.30/73.36 o 181 76.30/73.36 o 180 76.30/73.36 o 179 76.30/73.36 o 178 76.30/73.36 o 177 76.30/73.36 o 176 76.30/73.36 o 175 76.30/73.36 o 174 76.30/73.36 o 173 76.30/73.36 o 172 76.30/73.36 o 171 76.30/73.36 o 170 76.30/73.36 o 169 76.30/73.36 o 168 76.30/73.36 o 167 76.30/73.36 o 166 76.30/73.36 o 165 76.30/73.36 o 164 76.30/73.36 o 163 76.30/73.36 o 162 76.30/73.36 o 161 76.30/73.36 o 160 76.30/73.36 o 159 76.30/73.36 o 158 76.30/73.36 o 157 76.30/73.36 o 156 76.30/73.36 o 155 76.30/73.36 o 154 76.30/73.36 o 153 76.30/73.36 o 152 76.30/73.36 o 151 76.30/73.36 o 150 76.30/73.36 o 149 76.30/73.36 o 148 76.30/73.36 o 147 76.30/73.36 o 146 76.30/73.36 o 145 76.30/73.36 o 144 76.30/73.36 o 143 76.30/73.36 o 142 76.30/73.36 o 141 76.30/73.36 o 140 76.30/73.36 o 139 76.30/73.36 o 138 76.30/73.37 o 137 76.30/73.37 o 136 76.30/73.37 o 135 76.30/73.39 o 134 76.30/73.39 o 133 76.30/73.39 o 132 76.30/73.39 o 131 76.30/73.39 o 130 76.30/73.39 o 129 76.30/73.39 o 128 76.30/73.39 o 127 76.30/73.39 o 126 76.30/73.39 o 125 76.30/73.39 o 124 76.30/73.39 o 123 76.30/73.39 o 122 76.30/73.39 o 121 76.30/73.39 o 120 76.30/73.39 o 119 76.30/73.39 o 118 76.30/73.39 o 117 76.30/73.39 o 116 76.30/73.39 o 115 76.30/73.39 o 114 76.30/73.39 o 113 76.30/73.39 o 112 76.30/73.39 o 111 76.30/73.39 o 110 76.30/73.39 o 109 76.30/73.39 o 108 76.30/73.39 o 107 76.30/73.39 o 106 76.30/73.39 o 105 76.30/73.39 o 104 76.30/73.39 o 103 76.30/73.39 o 102 76.30/73.39 o 101 76.30/73.39 o 100 76.30/73.39 o 99 76.30/73.39 o 98 76.30/73.40 o 97 76.30/73.40 o 96 76.30/73.40 o 95 76.30/73.40 o 94 76.30/73.40 o 93 76.30/73.40 o 92 76.30/73.40 o 91 76.30/73.40 o 90 76.30/73.40 o 89 76.30/73.40 o 88 76.30/73.40 o 87 76.30/73.40 o 86 76.30/73.40 o 85 76.51/73.45 o 84 76.51/73.45 o 82 76.82/73.51 o 81 76.82/73.51 o 80 76.82/73.51 o 79 76.82/73.51 o 78 76.82/73.51 o 77 76.82/73.51 o 76 76.82/73.51 o 75 76.82/73.51 o 74 76.82/73.51 o 73 76.82/73.51 o 72 76.82/73.51 o 71 76.82/73.51 o 70 76.82/73.51 o 69 76.82/73.52 o 68 76.82/73.52 o 67 76.82/73.52 o 66 76.82/73.52 o 65 76.82/73.52 o 64 76.82/73.52 o 63 76.82/73.52 o 62 76.82/73.52 o 61 76.82/73.52 o 60 76.82/73.52 o 59 76.82/73.52 o 58 76.82/73.53 o 57 76.82/73.54 o 56 76.82/73.54 o 55 76.82/73.54 o 54 77.70/73.92 o 53 78.16/74.39 o 52 78.40/74.55 o 51 78.40/74.55 o 50 79.37/75.19 o 49 79.46/75.22 o 48 82.42/77.92 o 47 82.42/77.92 o 46 2400.04/2339.11 s SATISFIABLE 2400.04/2339.11 v <instantiation> 2400.04/2339.11 v <list> 2400.04/2339.11 v c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] 2400.04/2339.11 v </list> 2400.04/2339.11 v <values> 2400.04/2339.11 v 3 5 4 4 3 2 2 2 2 2 3 1 1 1 1 1 1 1 1 1 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2400.04/2339.11 v </values> 2400.04/2339.11 v </instantiation>
OK 46
runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (8062 MiB free)
memory of node 1: 16384 MiB (10958 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291665-1532238299/watcher-4291665-1532238299 -o /tmp/evaluation-result-4291665-1532238299/solver-4291665-1532238299 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532226532-31076 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 868127063 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291665-1532238299.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=816, runsolver pid=813
[startup+0.100244 s]*
/proc/loadavg: 1.75 1.63 1.60 3/216 831
/proc/meminfo: memFree=19459516/32770624 swapFree=67108860/67108860
[pid=816] ppid=813 vsize=14082740 memory=31872 CPUtime=0.11 cores=1,3,5,7
/proc/816/stat : 816 (java) S 813 816 31044 0 -1 1077944320 6923 0 0 0 10 1 0 0 20 0 15 0 41393057 14420725760 7968 33554432000 4194304 4196468 140733028113808 140733028096352 139855324098295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
/proc/816/statm: 3520685 7968 3138 1 0 3482761 0
[pid=816/tid=818] ppid=813 vsize=14082740 memory=8389772277269004345 CPUtime=0.09 cores=1,3,5,7
/proc/816/task/818/stat : 818 (java) R 813 816 31044 0 -1 4202560 5178 0 0 0 8 1 0 0 20 0 15 0 41393058 14420725760 8166 33554432000 4194304 4196468 140733028113808 139855328301424 139855324120221 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=819] ppid=813 vsize=14082740 memory=4294967636 CPUtime=0 cores=1,3,5,7
/proc/816/task/819/stat : 819 (java) S 813 816 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41393059 14420725760 8166 33554432000 4194304 4196468 140733028113808 139855276719248 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=820] ppid=813 vsize=14082740 memory=288370851093558912 CPUtime=0 cores=1,3,5,7
/proc/816/task/820/stat : 820 (java) S 813 816 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41393059 14420725760 8166 33554432000 4194304 4196468 140733028113808 139854918904848 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=821] ppid=813 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/816/task/821/stat : 821 (java) S 813 816 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41393059 14420725760 8166 33554432000 4194304 4196468 140733028113808 139854917852048 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=822] ppid=813 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/816/task/822/stat : 822 (java) S 813 816 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41393059 14420725760 8166 33554432000 4194304 4196468 140733028113808 139854916799248 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=823] ppid=813 vsize=14082740 memory=140474941847168 CPUtime=0 cores=1,3,5,7
/proc/816/task/823/stat : 823 (java) S 813 816 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41393060 14420725760 8166 33554432000 4194304 4196468 140733028113808 139854437914992 139855324109442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=824] ppid=813 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/816/task/824/stat : 824 (java) S 813 816 31044 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41393060 14420725760 8166 33554432000 4194304 4196468 140733028113808 139854436860960 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=825] ppid=813 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/816/task/825/stat : 825 (java) S 813 816 31044 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41393061 14420725760 8166 33554432000 4194304 4196468 140733028113808 139854435808112 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=826] ppid=813 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/816/task/826/stat : 826 (java) S 813 816 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41393063 14420725760 8166 33554432000 4194304 4196468 140733028113808 139854434756432 139855324116891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=827] ppid=813 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/816/task/827/stat : 827 (java) S 813 816 31044 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 41393063 14420725760 8166 33554432000 4194304 4196468 140733028113808 139854433704816 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=828] ppid=813 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/816/task/828/stat : 828 (java) S 813 816 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41393063 14420725760 8166 33554432000 4194304 4196468 140733028113808 139854432652016 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=829] ppid=813 vsize=14082740 memory=140474941847168 CPUtime=0.01 cores=1,3,5,7
/proc/816/task/829/stat : 829 (java) R 813 816 31044 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 15 0 41393063 14420725760 8166 33554432000 4194304 4196468 140733028113808 139854431599216 139855316335422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=830] ppid=813 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/816/task/830/stat : 830 (java) S 813 816 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41393063 14420725760 8166 33554432000 4194304 4196468 140733028113808 139854430546656 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=831] ppid=813 vsize=14082740 memory=140474941847168 CPUtime=0 cores=1,3,5,7
/proc/816/task/831/stat : 831 (java) S 813 816 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41393063 14420725760 8166 33554432000 4194304 4196468 140733028113808 139854429493936 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31872 KiB
[startup+0.212331 s]*
/proc/loadavg: 1.75 1.63 1.60 6/216 831
/proc/meminfo: memFree=19443996/32770624 swapFree=67108860/67108860
[pid=816] ppid=813 vsize=14082740 memory=46788 CPUtime=0.31 cores=1,3,5,7
/proc/816/stat : 816 (java) S 813 816 31044 0 -1 1077944320 10349 0 0 0 29 2 0 0 20 0 15 0 41393057 14420725760 11697 33554432000 4194304 4196468 140733028113808 140733028096352 139855324098295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
/proc/816/statm: 3520685 11697 3373 1 0 3482761 0
[pid=816/tid=818] ppid=813 vsize=14082740 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/816/task/818/stat : 818 (java) R 813 816 31044 0 -1 4202560 8065 0 0 0 19 1 0 0 20 0 15 0 41393058 14420725760 11697 33554432000 4194304 4196468 140733028113808 139855328323584 139855308141925 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=819] ppid=813 vsize=14082740 memory=4294967636 CPUtime=0 cores=1,3,5,7
/proc/816/task/819/stat : 819 (java) S 813 816 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41393059 14420725760 11697 33554432000 4194304 4196468 140733028113808 139855276719248 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=820] ppid=813 vsize=14082740 memory=288370851093558912 CPUtime=0 cores=1,3,5,7
/proc/816/task/820/stat : 820 (java) S 813 816 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41393059 14420725760 11697 33554432000 4194304 4196468 140733028113808 139854918904848 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=821] ppid=813 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/816/task/821/stat : 821 (java) S 813 816 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41393059 14420725760 11697 33554432000 4194304 4196468 140733028113808 139854917852048 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=822] ppid=813 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/816/task/822/stat : 822 (java) S 813 816 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41393059 14420725760 11697 33554432000 4194304 4196468 140733028113808 139854916799248 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=823] ppid=813 vsize=14082740 memory=140474941847168 CPUtime=0 cores=1,3,5,7
/proc/816/task/823/stat : 823 (java) S 813 816 31044 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41393060 14420725760 11697 33554432000 4194304 4196468 140733028113808 139854437914992 139855324109442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=824] ppid=813 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/816/task/824/stat : 824 (java) S 813 816 31044 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41393060 14420725760 11697 33554432000 4194304 4196468 140733028113808 139854436860960 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=825] ppid=813 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/816/task/825/stat : 825 (java) S 813 816 31044 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41393061 14420725760 11697 33554432000 4194304 4196468 140733028113808 139854435808112 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=826] ppid=813 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/816/task/826/stat : 826 (java) S 813 816 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41393063 14420725760 11697 33554432000 4194304 4196468 140733028113808 139854434756432 139855324116891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=827] ppid=813 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/816/task/827/stat : 827 (java) R 813 816 31044 0 -1 4202560 376 0 0 0 2 0 0 0 20 0 15 0 41393063 14420725760 11697 33554432000 4194304 4196468 140733028113808 139854433704816 139855324109442 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=828] ppid=813 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/816/task/828/stat : 828 (java) S 813 816 31044 0 -1 1077944384 226 0 0 0 1 0 0 0 20 0 15 0 41393063 14420725760 11697 33554432000 4194304 4196468 140733028113808 139854432652016 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=829] ppid=813 vsize=14082740 memory=140474941847168 CPUtime=0.06 cores=1,3,5,7
/proc/816/task/829/stat : 829 (java) R 813 816 31044 0 -1 4202560 318 0 0 0 6 0 0 0 20 0 15 0 41393063 14420725760 11697 33554432000 4194304 4196468 140733028113808 139854431599216 139855324119642 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=830] ppid=813 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/816/task/830/stat : 830 (java) S 813 816 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41393063 14420725760 11697 33554432000 4194304 4196468 140733028113808 139854430546656 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=831] ppid=813 vsize=14082740 memory=140474941847168 CPUtime=0 cores=1,3,5,7
/proc/816/task/831/stat : 831 (java) S 813 816 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41393063 14420725760 11697 33554432000 4194304 4196468 140733028113808 139854429493936 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46788 KiB
[startup+0.310481 s]*
/proc/loadavg: 1.75 1.63 1.60 3/216 831
/proc/meminfo: memFree=19439964/32770624 swapFree=67108860/67108860
[pid=816] ppid=813 vsize=14082740 memory=50240 CPUtime=0.43 cores=1,3,5,7
/proc/816/stat : 816 (java) S 813 816 31044 0 -1 1077944320 10721 0 0 0 41 2 0 0 20 0 15 0 41393057 14420725760 12560 33554432000 4194304 4196468 140733028113808 140733028096352 139855324098295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
/proc/816/statm: 3520685 12560 3375 1 0 3482761 0
[pid=816/tid=818] ppid=813 vsize=14082740 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/816/task/818/stat : 818 (java) R 813 816 31044 0 -1 4202560 8402 0 0 0 28 1 0 0 20 0 15 0 41393058 14420725760 12560 33554432000 4194304 4196468 140733028113808 139855328319392 139855324110230 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=819] ppid=813 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/816/task/819/stat : 819 (java) S 813 816 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41393059 14420725760 12560 33554432000 4194304 4196468 140733028113808 139855276719248 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=820] ppid=813 vsize=14082740 memory=288370851093558912 CPUtime=0 cores=1,3,5,7
/proc/816/task/820/stat : 820 (java) S 813 816 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41393059 14420725760 12560 33554432000 4194304 4196468 140733028113808 139854918904848 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=821] ppid=813 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/816/task/821/stat : 821 (java) S 813 816 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41393059 14420725760 12560 33554432000 4194304 4196468 140733028113808 139854917852048 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=822] ppid=813 vsize=14082740 memory=35 CPUtime=0 cores=1,3,5,7
/proc/816/task/822/stat : 822 (java) S 813 816 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41393059 14420725760 12560 33554432000 4194304 4196468 140733028113808 139854916799248 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=823] ppid=813 vsize=14082740 memory=140474941847168 CPUtime=0 cores=1,3,5,7
/proc/816/task/823/stat : 823 (java) S 813 816 31044 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41393060 14420725760 12560 33554432000 4194304 4196468 140733028113808 139854437914992 139855324109442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=824] ppid=813 vsize=14082740 memory=67 CPUtime=0 cores=1,3,5,7
/proc/816/task/824/stat : 824 (java) S 813 816 31044 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41393060 14420725760 12560 33554432000 4194304 4196468 140733028113808 139854436860960 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=825] ppid=813 vsize=14082740 memory=18868 CPUtime=0 cores=1,3,5,7
/proc/816/task/825/stat : 825 (java) S 813 816 31044 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41393061 14420725760 12560 33554432000 4194304 4196468 140733028113808 139854435808112 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=826] ppid=813 vsize=14082740 memory=21172 CPUtime=0 cores=1,3,5,7
/proc/816/task/826/stat : 826 (java) S 813 816 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41393063 14420725760 12560 33554432000 4194304 4196468 140733028113808 139854434756432 139855324116891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=827] ppid=813 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/816/task/827/stat : 827 (java) S 813 816 31044 0 -1 1077944384 381 0 0 0 2 0 0 0 20 0 15 0 41393063 14420725760 12560 33554432000 4194304 4196468 140733028113808 139854433704816 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=828] ppid=813 vsize=14082740 memory=35 CPUtime=0.02 cores=1,3,5,7
/proc/816/task/828/stat : 828 (java) S 813 816 31044 0 -1 1077944384 226 0 0 0 2 0 0 0 20 0 15 0 41393063 14420725760 12560 33554432000 4194304 4196468 140733028113808 139854432652016 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=829] ppid=813 vsize=14082740 memory=140474941847168 CPUtime=0.07 cores=1,3,5,7
/proc/816/task/829/stat : 829 (java) R 813 816 31044 0 -1 4202560 331 0 0 0 7 0 0 0 20 0 15 0 41393063 14420725760 12625 33554432000 4194304 4196468 140733028113808 139854431599216 139855316335422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=830] ppid=813 vsize=14082740 memory=35 CPUtime=0 cores=1,3,5,7
/proc/816/task/830/stat : 830 (java) S 813 816 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41393063 14420725760 12625 33554432000 4194304 4196468 140733028113808 139854430546656 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=831] ppid=813 vsize=14082740 memory=144009699932598 CPUtime=0 cores=1,3,5,7
/proc/816/task/831/stat : 831 (java) S 813 816 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41393063 14420725760 12625 33554432000 4194304 4196468 140733028113808 139854429493936 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50240 KiB
[startup+0.700716 s]
/proc/loadavg: 1.75 1.63 1.60 3/216 831
/proc/meminfo: memFree=19416276/32770624 swapFree=67108860/67108860
[pid=816] ppid=813 vsize=14084808 memory=88788 CPUtime=0.99 cores=1,3,5,7
/proc/816/stat : 816 (java) S 813 816 31044 0 -1 1077944320 17586 0 0 0 96 3 0 0 20 0 15 0 41393057 14422843392 22197 33554432000 4194304 4196468 140733028113808 140733028096352 139855324098295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
/proc/816/statm: 3521202 22197 3487 1 0 3483273 0
[pid=816/tid=818] ppid=813 vsize=14084808 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/816/task/818/stat : 818 (java) R 813 816 31044 0 -1 4202560 14832 0 0 0 64 3 0 0 20 0 15 0 41393058 14422843392 22197 33554432000 4194304 4196468 140733028113808 139855328313232 139855324120221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=819] ppid=813 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/816/task/819/stat : 819 (java) S 813 816 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41393059 14422843392 22197 33554432000 4194304 4196468 140733028113808 139855276719248 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=820] ppid=813 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/816/task/820/stat : 820 (java) S 813 816 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41393059 14422843392 22197 33554432000 4194304 4196468 140733028113808 139854918904848 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=821] ppid=813 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/816/task/821/stat : 821 (java) S 813 816 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41393059 14422843392 22197 33554432000 4194304 4196468 140733028113808 139854917852048 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=822] ppid=813 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/816/task/822/stat : 822 (java) S 813 816 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41393059 14422843392 22197 33554432000 4194304 4196468 140733028113808 139854916799248 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=823] ppid=813 vsize=14084808 memory=8320808402719881525 CPUtime=0 cores=1,3,5,7
/proc/816/task/823/stat : 823 (java) S 813 816 31044 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41393060 14422843392 22197 33554432000 4194304 4196468 140733028113808 139854437914992 139855324109442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=824] ppid=813 vsize=14084808 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/816/task/824/stat : 824 (java) S 813 816 31044 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41393060 14422843392 22197 33554432000 4194304 4196468 140733028113808 139854436860960 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=825] ppid=813 vsize=14084808 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/816/task/825/stat : 825 (java) S 813 816 31044 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41393061 14422843392 22197 33554432000 4194304 4196468 140733028113808 139854435808112 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=826] ppid=813 vsize=14084808 memory=7597685182856913236 CPUtime=0 cores=1,3,5,7
/proc/816/task/826/stat : 826 (java) S 813 816 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41393063 14422843392 22197 33554432000 4194304 4196468 140733028113808 139854434756432 139855324116891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=827] ppid=813 vsize=14084808 memory=4640767346415259728 CPUtime=0.07 cores=1,3,5,7
/proc/816/task/827/stat : 827 (java) S 813 816 31044 0 -1 1077944384 543 0 0 0 7 0 0 0 20 0 15 0 41393063 14422843392 22197 33554432000 4194304 4196468 140733028113808 139854433704816 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=828] ppid=813 vsize=14084808 memory=-7028383565733675155 CPUtime=0.08 cores=1,3,5,7
/proc/816/task/828/stat : 828 (java) S 813 816 31044 0 -1 1077944384 386 0 0 0 8 0 0 0 20 0 15 0 41393063 14422843392 22197 33554432000 4194304 4196468 140733028113808 139854432652016 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=829] ppid=813 vsize=14084808 memory=8996927245810234922 CPUtime=0.15 cores=1,3,5,7
/proc/816/task/829/stat : 829 (java) S 813 816 31044 0 -1 1077944384 441 0 0 0 15 0 0 0 20 0 15 0 41393063 14422843392 22197 33554432000 4194304 4196468 140733028113808 139854431599216 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=830] ppid=813 vsize=14084808 memory=-8990767739041718176 CPUtime=0 cores=1,3,5,7
/proc/816/task/830/stat : 830 (java) S 813 816 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41393063 14422843392 22197 33554432000 4194304 4196468 140733028113808 139854430546656 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=831] ppid=813 vsize=14084808 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/816/task/831/stat : 831 (java) S 813 816 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41393063 14422843392 22197 33554432000 4194304 4196468 140733028113808 139854429493936 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88788 KiB
[startup+1.50151 s]
/proc/loadavg: 1.75 1.63 1.60 3/216 831
/proc/meminfo: memFree=19383768/32770624 swapFree=67108860/67108860
[pid=816] ppid=813 vsize=14090952 memory=152644 CPUtime=2.96 cores=1,3,5,7
/proc/816/stat : 816 (java) S 813 816 31044 0 -1 1077944320 25539 0 0 0 290 6 0 0 20 0 15 0 41393057 14429134848 38161 33554432000 4194304 4196468 140733028113808 140733028096352 139855324098295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
/proc/816/statm: 3522738 38161 3540 1 0 3484809 0
[pid=816/tid=818] ppid=813 vsize=14090952 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/816/task/818/stat : 818 (java) R 813 816 31044 0 -1 4202560 19002 0 0 0 141 5 0 0 20 0 15 0 41393058 14429134848 38161 33554432000 4194304 4196468 140733028113808 139855328327904 139855324120125 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=819] ppid=813 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/816/task/819/stat : 819 (java) S 813 816 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41393059 14429134848 38161 33554432000 4194304 4196468 140733028113808 139855276719248 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=820] ppid=813 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/816/task/820/stat : 820 (java) S 813 816 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41393059 14429134848 38161 33554432000 4194304 4196468 140733028113808 139854918904848 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=821] ppid=813 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/816/task/821/stat : 821 (java) S 813 816 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41393059 14429134848 38161 33554432000 4194304 4196468 140733028113808 139854917852048 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=822] ppid=813 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/816/task/822/stat : 822 (java) S 813 816 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41393059 14429134848 38161 33554432000 4194304 4196468 140733028113808 139854916799248 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=823] ppid=813 vsize=14090952 memory=8389772264424763056 CPUtime=0 cores=1,3,5,7
/proc/816/task/823/stat : 823 (java) S 813 816 31044 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 41393060 14429134848 38161 33554432000 4194304 4196468 140733028113808 139854437914992 139855324109442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
################
# More data... #
################
/proc/816/task/818/stat : 818 (java) R 813 816 31044 0 -1 4202560 160267 0 0 0 223706 55 0 0 20 0 15 0 41393058 14431232000 127899 33554432000 4194304 4196468 140733028113808 139855328336400 139854960628544 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=819] ppid=813 vsize=14093000 memory=516524 CPUtime=17.51 cores=1,3,5,7
/proc/816/task/819/stat : 819 (java) S 813 816 31044 0 -1 1077944384 16500 0 0 0 1692 59 0 0 20 0 15 0 41393059 14431232000 127899 33554432000 4194304 4196468 140733028113808 139855276719248 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=820] ppid=813 vsize=14093000 memory=515188 CPUtime=17.53 cores=1,3,5,7
/proc/816/task/820/stat : 820 (java) S 813 816 31044 0 -1 1077944384 17899 0 0 0 1696 57 0 0 20 0 15 0 41393059 14431232000 127899 33554432000 4194304 4196468 140733028113808 139854918904848 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=821] ppid=813 vsize=14093000 memory=483636 CPUtime=17.47 cores=1,3,5,7
/proc/816/task/821/stat : 821 (java) S 813 816 31044 0 -1 1077944384 16814 0 0 0 1688 59 0 0 20 0 15 0 41393059 14431232000 127899 33554432000 4194304 4196468 140733028113808 139854917852048 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=822] ppid=813 vsize=14093000 memory=511596 CPUtime=17.51 cores=1,3,5,7
/proc/816/task/822/stat : 822 (java) S 813 816 31044 0 -1 1077944384 18997 0 0 0 1692 59 0 0 20 0 15 0 41393059 14431232000 127899 33554432000 4194304 4196468 140733028113808 139854916799248 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=823] ppid=813 vsize=14093000 memory=6947385649911455296 CPUtime=4.72 cores=1,3,5,7
/proc/816/task/823/stat : 823 (java) S 813 816 31044 0 -1 1077944384 56233 0 0 0 411 61 0 0 20 0 15 0 41393060 14431232000 127899 33554432000 4194304 4196468 140733028113808 139854437914992 139855324109442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=824] ppid=813 vsize=14093000 memory=1836 CPUtime=0 cores=1,3,5,7
/proc/816/task/824/stat : 824 (java) S 813 816 31044 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 41393060 14431232000 127899 33554432000 4194304 4196468 140733028113808 139854436861024 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=825] ppid=813 vsize=14093000 memory=516524 CPUtime=0 cores=1,3,5,7
/proc/816/task/825/stat : 825 (java) S 813 816 31044 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 41393061 14431232000 127899 33554432000 4194304 4196468 140733028113808 139854435808128 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=826] ppid=813 vsize=14093000 memory=14308 CPUtime=0 cores=1,3,5,7
/proc/816/task/826/stat : 826 (java) S 813 816 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41393063 14431232000 127899 33554432000 4194304 4196468 140733028113808 139854434756432 139855324116891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=827] ppid=813 vsize=14093000 memory=1296 CPUtime=3.18 cores=1,3,5,7
/proc/816/task/827/stat : 827 (java) S 813 816 31044 0 -1 1077944384 20114 0 0 0 315 3 0 0 20 0 15 0 41393063 14431232000 127899 33554432000 4194304 4196468 140733028113808 139854433704816 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=828] ppid=813 vsize=14093000 memory=518064 CPUtime=3.26 cores=1,3,5,7
/proc/816/task/828/stat : 828 (java) S 813 816 31044 0 -1 1077944384 16722 0 0 0 324 2 0 0 20 0 15 0 41393063 14431232000 127899 33554432000 4194304 4196468 140733028113808 139854432652016 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=829] ppid=813 vsize=14093000 memory=2608 CPUtime=1.04 cores=1,3,5,7
/proc/816/task/829/stat : 829 (java) S 813 816 31044 0 -1 1077944384 12875 0 0 0 102 2 0 0 20 0 15 0 41393063 14431232000 127899 33554432000 4194304 4196468 140733028113808 139854431599216 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=830] ppid=813 vsize=14093000 memory=6935054825532540783 CPUtime=0 cores=1,3,5,7
/proc/816/task/830/stat : 830 (java) S 813 816 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41393063 14431232000 127899 33554432000 4194304 4196468 140733028113808 139854430546656 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=831] ppid=813 vsize=14093000 memory=4126316290023845779 CPUtime=1.33 cores=1,3,5,7
/proc/816/task/831/stat : 831 (java) S 813 816 31044 0 -1 1077944384 1467 0 0 0 56 77 0 0 20 0 15 0 41393063 14431232000 127899 33554432000 4194304 4196468 140733028113808 139854429493936 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
Current children cumulated CPU time: 2321.28 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 511596 KiB
[startup+2322.3 s]
/proc/loadavg: 1.31 1.44 1.48 3/216 932
/proc/meminfo: memFree=18598904/32770624 swapFree=67108860/67108860
[pid=816] ppid=813 vsize=14093000 memory=503284 CPUtime=2382.82 cores=1,3,5,7
/proc/816/stat : 816 (java) S 813 816 31044 0 -1 1077944320 344789 0 0 0 237875 407 0 0 20 0 15 0 41393057 14431232000 125821 33554432000 4194304 4196468 140733028113808 140733028096352 139855324098295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
/proc/816/statm: 3523250 125821 3622 1 0 3485321 0
[pid=816/tid=818] ppid=813 vsize=14093000 memory=514056 CPUtime=2296.98 cores=1,3,5,7
/proc/816/task/818/stat : 818 (java) R 813 816 31044 0 -1 4202560 163719 0 0 0 229641 57 0 0 20 0 15 0 41393058 14431232000 125821 33554432000 4194304 4196468 140733028113808 139855328336304 139854963607705 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=819] ppid=813 vsize=14093000 memory=506876 CPUtime=18.04 cores=1,3,5,7
/proc/816/task/819/stat : 819 (java) S 813 816 31044 0 -1 1077944384 16794 0 0 0 1743 61 0 0 20 0 15 0 41393059 14431232000 125821 33554432000 4194304 4196468 140733028113808 139855276719248 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=820] ppid=813 vsize=14093000 memory=454616 CPUtime=18.05 cores=1,3,5,7
/proc/816/task/820/stat : 820 (java) S 813 816 31044 0 -1 1077944384 18255 0 0 0 1746 59 0 0 20 0 15 0 41393059 14431232000 125821 33554432000 4194304 4196468 140733028113808 139854918904848 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=821] ppid=813 vsize=14093000 memory=460668 CPUtime=18 cores=1,3,5,7
/proc/816/task/821/stat : 821 (java) S 813 816 31044 0 -1 1077944384 17308 0 0 0 1739 61 0 0 20 0 15 0 41393059 14431232000 125821 33554432000 4194304 4196468 140733028113808 139854917852048 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=822] ppid=813 vsize=14093000 memory=521240 CPUtime=18.01 cores=1,3,5,7
/proc/816/task/822/stat : 822 (java) S 813 816 31044 0 -1 1077944384 19308 0 0 0 1741 60 0 0 20 0 15 0 41393059 14431232000 125821 33554432000 4194304 4196468 140733028113808 139854916799248 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=823] ppid=813 vsize=14093000 memory=4140 CPUtime=4.81 cores=1,3,5,7
/proc/816/task/823/stat : 823 (java) S 813 816 31044 0 -1 1077944384 56739 0 0 0 419 62 0 0 20 0 15 0 41393060 14431232000 125821 33554432000 4194304 4196468 140733028113808 139854437914992 139855324109442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=824] ppid=813 vsize=14093000 memory=454436 CPUtime=0 cores=1,3,5,7
/proc/816/task/824/stat : 824 (java) S 813 816 31044 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 41393060 14431232000 125821 33554432000 4194304 4196468 140733028113808 139854436861024 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=825] ppid=813 vsize=14093000 memory=454436 CPUtime=0 cores=1,3,5,7
/proc/816/task/825/stat : 825 (java) S 813 816 31044 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 41393061 14431232000 125821 33554432000 4194304 4196468 140733028113808 139854435808128 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=826] ppid=813 vsize=14093000 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/816/task/826/stat : 826 (java) S 813 816 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41393063 14431232000 125821 33554432000 4194304 4196468 140733028113808 139854434756432 139855324116891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=827] ppid=813 vsize=14093000 memory=8372 CPUtime=3.18 cores=1,3,5,7
/proc/816/task/827/stat : 827 (java) S 813 816 31044 0 -1 1077944384 20116 0 0 0 315 3 0 0 20 0 15 0 41393063 14431232000 125821 33554432000 4194304 4196468 140733028113808 139854433704816 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=828] ppid=813 vsize=14093000 memory=1708 CPUtime=3.26 cores=1,3,5,7
/proc/816/task/828/stat : 828 (java) S 813 816 31044 0 -1 1077944384 16724 0 0 0 324 2 0 0 20 0 15 0 41393063 14431232000 125821 33554432000 4194304 4196468 140733028113808 139854432652016 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=829] ppid=813 vsize=14093000 memory=2400 CPUtime=1.04 cores=1,3,5,7
/proc/816/task/829/stat : 829 (java) S 813 816 31044 0 -1 1077944384 12906 0 0 0 102 2 0 0 20 0 15 0 41393063 14431232000 125821 33554432000 4194304 4196468 140733028113808 139854431599216 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=830] ppid=813 vsize=14093000 memory=6947385649911455296 CPUtime=0 cores=1,3,5,7
/proc/816/task/830/stat : 830 (java) S 813 816 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41393063 14431232000 125821 33554432000 4194304 4196468 140733028113808 139854430546656 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=831] ppid=813 vsize=14093000 memory=12976 CPUtime=1.36 cores=1,3,5,7
/proc/816/task/831/stat : 831 (java) S 813 816 31044 0 -1 1077944384 1473 0 0 0 58 78 0 0 20 0 15 0 41393063 14431232000 125821 33554432000 4194304 4196468 140733028113808 139854429493936 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
Current children cumulated CPU time: 2382.82 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 503284 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2339.11 s]
/proc/loadavg: 1.35 1.44 1.48 2/196 980
/proc/meminfo: memFree=19712172/32770624 swapFree=67108860/67108860
[pid=816] ppid=813 vsize=14093000 memory=474688 CPUtime=2400.04 cores=1,3,5,7
/proc/816/stat : 816 (java) S 813 816 31044 0 -1 1077944320 345080 0 0 0 239595 409 0 0 20 0 15 0 41393057 14431232000 118672 33554432000 4194304 4196468 140733028113808 140733028096352 139855324098295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
/proc/816/statm: 3523250 118672 3622 1 0 3485321 0
[pid=816/tid=818] ppid=813 vsize=14093000 memory=478280 CPUtime=2313.61 cores=1,3,5,7
/proc/816/task/818/stat : 818 (java) R 813 816 31044 0 -1 4202560 163871 0 0 0 231304 57 0 0 20 0 15 0 41393058 14431232000 118672 33554432000 4194304 4196468 140733028113808 139855328336304 139854960248198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=819] ppid=813 vsize=14093000 memory=481740 CPUtime=18.18 cores=1,3,5,7
/proc/816/task/819/stat : 819 (java) S 813 816 31044 0 -1 1077944384 16810 0 0 0 1757 61 0 0 20 0 15 0 41393059 14431232000 118672 33554432000 4194304 4196468 140733028113808 139855276719248 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=820] ppid=813 vsize=14093000 memory=492512 CPUtime=18.19 cores=1,3,5,7
/proc/816/task/820/stat : 820 (java) S 813 816 31044 0 -1 1077944384 18362 0 0 0 1760 59 0 0 20 0 15 0 41393059 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854918904848 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=821] ppid=813 vsize=14093000 memory=478280 CPUtime=18.14 cores=1,3,5,7
/proc/816/task/821/stat : 821 (java) S 813 816 31044 0 -1 1077944384 17318 0 0 0 1753 61 0 0 20 0 15 0 41393059 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854917852048 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=822] ppid=813 vsize=14093000 memory=478280 CPUtime=18.15 cores=1,3,5,7
/proc/816/task/822/stat : 822 (java) S 813 816 31044 0 -1 1077944384 19314 0 0 0 1755 60 0 0 20 0 15 0 41393059 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854916799248 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=823] ppid=813 vsize=14093000 memory=485328 CPUtime=4.83 cores=1,3,5,7
/proc/816/task/823/stat : 823 (java) S 813 816 31044 0 -1 1077944384 56739 0 0 0 421 62 0 0 20 0 15 0 41393060 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854437914992 139855324109442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 21 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=824] ppid=813 vsize=14093000 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/816/task/824/stat : 824 (java) S 813 816 31044 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 41393060 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854436861024 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=825] ppid=813 vsize=14093000 memory=478280 CPUtime=0 cores=1,3,5,7
/proc/816/task/825/stat : 825 (java) S 813 816 31044 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 41393061 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854435808128 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=826] ppid=813 vsize=14093000 memory=478280 CPUtime=0 cores=1,3,5,7
/proc/816/task/826/stat : 826 (java) S 813 816 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41393063 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854434756432 139855324116891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=827] ppid=813 vsize=14093000 memory=4140 CPUtime=3.18 cores=1,3,5,7
/proc/816/task/827/stat : 827 (java) S 813 816 31044 0 -1 1077944384 20116 0 0 0 315 3 0 0 20 0 15 0 41393063 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854433704816 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=828] ppid=813 vsize=14093000 memory=2748 CPUtime=3.26 cores=1,3,5,7
/proc/816/task/828/stat : 828 (java) S 813 816 31044 0 -1 1077944384 16724 0 0 0 324 2 0 0 20 0 15 0 41393063 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854432652016 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=829] ppid=813 vsize=14093000 memory=2608 CPUtime=1.04 cores=1,3,5,7
/proc/816/task/829/stat : 829 (java) S 813 816 31044 0 -1 1077944384 12906 0 0 0 102 2 0 0 20 0 15 0 41393063 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854431599216 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=830] ppid=813 vsize=14093000 memory=492512 CPUtime=0 cores=1,3,5,7
/proc/816/task/830/stat : 830 (java) S 813 816 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41393063 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854430546656 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=831] ppid=813 vsize=14093000 memory=492512 CPUtime=1.38 cores=1,3,5,7
/proc/816/task/831/stat : 831 (java) S 813 816 31044 0 -1 1077944384 1473 0 0 0 59 79 0 0 20 0 15 0 41393063 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854429493936 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 474688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2339.12 s]
# the end of solver process 816 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.97 s, system=4.09763 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2339.11 s]
/proc/loadavg: 1.35 1.44 1.48 2/196 980
/proc/meminfo: memFree=19712172/32770624 swapFree=67108860/67108860
[pid=816] ppid=813 vsize=14093000 memory=474688 CPUtime=2400.04 cores=1,3,5,7
/proc/816/stat : 816 (java) S 813 816 31044 0 -1 1077944320 345080 0 0 0 239595 409 0 0 20 0 15 0 41393057 14431232000 118672 33554432000 4194304 4196468 140733028113808 140733028096352 139855324098295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
/proc/816/statm: 3523250 118672 3622 1 0 3485321 0
[pid=816/tid=818] ppid=813 vsize=14093000 memory=478280 CPUtime=2313.61 cores=1,3,5,7
/proc/816/task/818/stat : 818 (java) R 813 816 31044 0 -1 4202560 163871 0 0 0 231304 57 0 0 20 0 15 0 41393058 14431232000 118672 33554432000 4194304 4196468 140733028113808 139855328336304 139854960248198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=819] ppid=813 vsize=14093000 memory=481740 CPUtime=18.18 cores=1,3,5,7
/proc/816/task/819/stat : 819 (java) S 813 816 31044 0 -1 1077944384 16810 0 0 0 1757 61 0 0 20 0 15 0 41393059 14431232000 118672 33554432000 4194304 4196468 140733028113808 139855276719248 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=820] ppid=813 vsize=14093000 memory=492512 CPUtime=18.19 cores=1,3,5,7
/proc/816/task/820/stat : 820 (java) S 813 816 31044 0 -1 1077944384 18362 0 0 0 1760 59 0 0 20 0 15 0 41393059 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854918904848 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=821] ppid=813 vsize=14093000 memory=478280 CPUtime=18.14 cores=1,3,5,7
/proc/816/task/821/stat : 821 (java) S 813 816 31044 0 -1 1077944384 17318 0 0 0 1753 61 0 0 20 0 15 0 41393059 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854917852048 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=822] ppid=813 vsize=14093000 memory=478280 CPUtime=18.15 cores=1,3,5,7
/proc/816/task/822/stat : 822 (java) S 813 816 31044 0 -1 1077944384 19314 0 0 0 1755 60 0 0 20 0 15 0 41393059 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854916799248 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=823] ppid=813 vsize=14093000 memory=485328 CPUtime=4.83 cores=1,3,5,7
/proc/816/task/823/stat : 823 (java) S 813 816 31044 0 -1 1077944384 56739 0 0 0 421 62 0 0 20 0 15 0 41393060 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854437914992 139855324109442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 21 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=824] ppid=813 vsize=14093000 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/816/task/824/stat : 824 (java) S 813 816 31044 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 41393060 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854436861024 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=825] ppid=813 vsize=14093000 memory=478280 CPUtime=0 cores=1,3,5,7
/proc/816/task/825/stat : 825 (java) S 813 816 31044 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 41393061 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854435808128 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=826] ppid=813 vsize=14093000 memory=478280 CPUtime=0 cores=1,3,5,7
/proc/816/task/826/stat : 826 (java) S 813 816 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41393063 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854434756432 139855324116891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=827] ppid=813 vsize=14093000 memory=4140 CPUtime=3.18 cores=1,3,5,7
/proc/816/task/827/stat : 827 (java) S 813 816 31044 0 -1 1077944384 20116 0 0 0 315 3 0 0 20 0 15 0 41393063 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854433704816 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=828] ppid=813 vsize=14093000 memory=2748 CPUtime=3.26 cores=1,3,5,7
/proc/816/task/828/stat : 828 (java) S 813 816 31044 0 -1 1077944384 16724 0 0 0 324 2 0 0 20 0 15 0 41393063 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854432652016 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=829] ppid=813 vsize=14093000 memory=2608 CPUtime=1.04 cores=1,3,5,7
/proc/816/task/829/stat : 829 (java) S 813 816 31044 0 -1 1077944384 12906 0 0 0 102 2 0 0 20 0 15 0 41393063 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854431599216 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=830] ppid=813 vsize=14093000 memory=492512 CPUtime=0 cores=1,3,5,7
/proc/816/task/830/stat : 830 (java) S 813 816 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41393063 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854430546656 139855324108501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
[pid=816/tid=831] ppid=813 vsize=14093000 memory=492512 CPUtime=1.38 cores=1,3,5,7
/proc/816/task/831/stat : 831 (java) S 813 816 31044 0 -1 1077944384 1473 0 0 0 59 79 0 0 20 0 15 0 41393063 14431232000 118672 33554432000 4194304 4196468 140733028113808 139854429493936 139855324109442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 17059840 140733028115541 140733028115721 140733028115721 140733028118479 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 474688 KiB
Child status: 143
Real time (s): 2339.12
CPU time (s): 2400.07
CPU user time (s): 2395.97
CPU system time (s): 4.09763
CPU usage (%): 102.605
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 601068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.97
system time used= 4.09763
maximum resident set size= 621008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 345395
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 161787
involuntary context switches= 5626
# summary of solver processes directly reported to runsolver:
# pid: 816
# total CPU time (s): 2400.07
# total CPU user time (s): 2395.97
# total CPU system time (s): 4.09763
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5865 second user time and 22.2434 second system time
The end
Begin job on node107 at 2018-07-22 07:44:59 IDJOB=4291665 IDBENCH=141221 IDSOLVER=2746 FILE ID=node107/4291665-1532238299 RUNJOBID= node107-1532226532-31076 PBS_JOBID= 21018954 Free space on /tmp= 55132 MiB SOLVER NAME= OscaR - Hybrid 2018-07-02 BENCH NAME= XCSP18/SumColoring/SumColoring-myciel5_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291665-1532238299/watcher-4291665-1532238299 -o /tmp/evaluation-result-4291665-1532238299/solver-4291665-1532238299 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532226532-31076 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 868127063 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291665-1532238299.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 129cb36d1c9243226923c7f46c8f3d2b RANDOM SEED=868127063 node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 19477348 kB MemAvailable: 31234864 kB Buffers: 236448 kB Cached: 11671880 kB SwapCached: 0 kB Active: 2254416 kB Inactive: 10412912 kB Active(anon): 762128 kB Inactive(anon): 16860 kB Active(file): 1492288 kB Inactive(file): 10396052 kB Unevictable: 7152 kB Mlocked: 7152 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 36044 kB Writeback: 0 kB AnonPages: 737504 kB Mapped: 48780 kB Shmem: 17036 kB Slab: 324788 kB SReclaimable: 297636 kB SUnreclaim: 27152 kB KernelStack: 3568 kB PageTables: 7024 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2247464 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 595968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 55096 MiB End job on node107 at 2018-07-22 08:23:58