Trace number 4308947

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2018-08-14SAT (TO)764 19998.3 2520.32

General information on the benchmark

NameSumColoring/
SumColoring-myciel5_c18.xml
MD5SUM129cb36d1c9243226923c7f46c8f3d2b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark46
Best CPU time to get the best result obtained on this benchmark769.111
Satisfiable
(Un)Satisfiability was proved
Number of variables47
Number of constraints236
Number of domains1
Minimum domain size47
Maximum domain size47
Distribution of domain sizes[{"size":47,"count":47}]
Minimum variable degree6
Maximum variable degree24
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 arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":236}]
Number of extensional constraints0
Number of intensional constraints236
Distribution of constraint types[{"type":"intension","count":236}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 797367819
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
1.41/0.93	c Parsing done, starting search...
5.78/2.30	o 2091
5.78/2.30	o 2090
5.78/2.30	o 2086
5.78/2.31	o 2080
5.78/2.31	o 2076
5.78/2.31	o 2074
5.78/2.31	o 2073
5.78/2.31	o 2072
5.78/2.32	o 2071
5.78/2.32	o 2070
5.78/2.32	o 2069
5.78/2.32	o 2068
5.78/2.32	o 2067
5.78/2.32	o 2066
5.78/2.32	o 2065
5.78/2.32	o 2064
5.78/2.32	o 2063
5.78/2.32	o 2062
5.78/2.32	o 2061
5.78/2.32	o 2060
5.78/2.32	o 2059
5.78/2.33	o 2058
5.78/2.33	o 2057
5.78/2.33	o 2056
5.78/2.33	o 2055
5.78/2.33	o 2054
5.78/2.33	o 2053
5.78/2.33	o 2052
5.78/2.34	o 2051
5.78/2.34	o 2050
5.78/2.34	o 2049
5.78/2.34	o 2048
5.78/2.34	o 2047
5.78/2.34	o 2046
5.78/2.34	o 2045
5.78/2.34	o 2044
5.78/2.34	o 2043
5.78/2.34	o 2042
5.78/2.34	o 2041
5.78/2.34	o 2040
5.78/2.34	o 2039
5.78/2.34	o 2038
5.78/2.34	o 2037
5.78/2.34	o 2036
5.78/2.34	o 2035
5.78/2.34	o 2034
5.78/2.34	o 2033
5.78/2.34	o 2032
5.78/2.34	o 2031
5.78/2.34	o 2030
5.78/2.34	o 2029
5.78/2.34	o 2028
5.78/2.34	o 2027
5.78/2.34	o 2026
5.78/2.34	o 2025
5.78/2.34	o 2024
5.78/2.35	o 2023
5.78/2.35	o 2022
5.78/2.35	o 2021
5.78/2.35	o 2020
5.78/2.35	o 2019
5.78/2.35	o 2018
5.78/2.35	o 2017
5.78/2.35	o 2016
5.78/2.35	o 2015
5.78/2.35	o 2014
5.78/2.35	o 2013
5.78/2.35	o 2012
5.78/2.35	o 2011
5.78/2.35	o 2010
5.78/2.35	o 2009
5.78/2.35	o 2008
5.78/2.35	o 2007
5.78/2.35	o 2006
5.78/2.35	o 2005
5.78/2.35	o 2004
5.78/2.35	o 2003
5.78/2.35	o 2002
5.78/2.35	o 2001
5.78/2.35	o 2000
5.78/2.35	o 1999
5.78/2.35	o 1998
5.78/2.35	o 1997
5.78/2.35	o 1996
5.78/2.35	o 1995
5.78/2.35	o 1994
5.78/2.36	o 1993
5.78/2.36	o 1992
5.78/2.36	o 1991
5.78/2.36	o 1990
5.78/2.36	o 1989
5.78/2.36	o 1988
5.78/2.36	o 1987
5.78/2.36	o 1986
5.78/2.36	o 1985
5.78/2.36	o 1984
5.78/2.36	o 1983
5.78/2.36	o 1982
5.78/2.36	o 1981
5.78/2.37	o 1980
5.78/2.37	o 1979
5.78/2.37	o 1978
5.78/2.37	o 1977
5.78/2.37	o 1976
5.78/2.37	o 1975
5.78/2.37	o 1974
5.78/2.37	o 1973
5.78/2.37	o 1972
5.78/2.37	o 1971
5.78/2.37	o 1970
5.78/2.37	o 1969
5.78/2.37	o 1968
5.78/2.37	o 1967
5.78/2.37	o 1966
5.78/2.37	o 1965
5.78/2.37	o 1964
5.78/2.37	o 1963
5.78/2.37	o 1962
5.78/2.37	o 1961
5.78/2.37	o 1960
5.78/2.37	o 1959
5.78/2.37	o 1958
5.78/2.37	o 1957
5.78/2.38	o 1956
5.78/2.38	o 1955
5.78/2.38	o 1954
5.78/2.38	o 1953
5.78/2.38	o 1952
5.78/2.38	o 1951
5.78/2.38	o 1950
5.78/2.38	o 1949
5.78/2.38	o 1948
5.78/2.38	o 1947
5.78/2.38	o 1946
5.78/2.38	o 1945
5.78/2.38	o 1944
5.78/2.38	o 1943
5.78/2.38	o 1942
5.78/2.38	o 1941
5.78/2.38	o 1940
5.78/2.38	o 1939
5.78/2.38	o 1938
5.78/2.38	o 1937
5.78/2.38	o 1936
5.78/2.38	o 1935
5.78/2.38	o 1934
5.78/2.38	o 1933
5.78/2.38	o 1932
5.78/2.38	o 1931
5.78/2.38	o 1930
5.78/2.38	o 1929
5.78/2.38	o 1928
5.78/2.38	o 1927
5.78/2.38	o 1926
5.78/2.38	o 1925
5.78/2.38	o 1924
5.78/2.38	o 1923
5.78/2.38	o 1922
5.78/2.38	o 1921
5.78/2.38	o 1920
5.78/2.38	o 1919
5.78/2.38	o 1918
5.78/2.38	o 1917
5.78/2.38	o 1916
5.78/2.38	o 1915
5.78/2.39	o 1914
5.78/2.39	o 1913
5.78/2.39	o 1912
5.78/2.39	o 1911
5.78/2.39	o 1910
5.78/2.39	o 1909
5.78/2.39	o 1908
5.78/2.39	o 1907
5.78/2.39	o 1906
5.78/2.39	o 1905
5.78/2.39	o 1904
5.78/2.39	o 1903
5.78/2.39	o 1902
5.78/2.39	o 1901
5.78/2.39	o 1900
5.78/2.39	o 1899
6.52/2.40	o 1898
6.52/2.40	o 1897
6.52/2.40	o 1896
6.52/2.40	o 1895
6.52/2.40	o 1894
6.52/2.40	o 1893
6.52/2.40	o 1892
6.52/2.40	o 1891
6.52/2.40	o 1890
6.52/2.40	o 1889
6.52/2.40	o 1888
6.52/2.40	o 1887
6.52/2.40	o 1886
6.52/2.40	o 1885
6.52/2.40	o 1884
6.52/2.40	o 1883
6.52/2.40	o 1882
6.52/2.40	o 1881
6.52/2.40	o 1880
6.52/2.40	o 1879
6.52/2.40	o 1878
6.52/2.40	o 1877
6.52/2.40	o 1876
6.52/2.40	o 1875
6.52/2.40	o 1874
6.52/2.40	o 1873
6.52/2.40	o 1872
6.52/2.40	o 1871
6.52/2.40	o 1870
6.52/2.40	o 1869
6.52/2.41	o 1868
6.52/2.41	o 1867
6.52/2.41	o 1866
6.52/2.41	o 1865
6.52/2.41	o 1864
6.52/2.41	o 1863
6.52/2.41	o 1862
6.52/2.41	o 1861
6.52/2.41	o 1860
6.52/2.41	o 1859
6.52/2.41	o 1858
6.52/2.41	o 1857
6.52/2.41	o 1856
6.52/2.41	o 1855
6.52/2.41	o 1854
6.52/2.41	o 1853
6.52/2.41	o 1852
6.52/2.41	o 1851
6.52/2.41	o 1850
6.52/2.41	o 1849
6.52/2.41	o 1848
6.52/2.41	o 1847
6.52/2.41	o 1846
6.52/2.41	o 1845
6.52/2.41	o 1844
6.52/2.41	o 1843
6.52/2.41	o 1842
6.52/2.41	o 1841
6.52/2.42	o 1840
6.52/2.42	o 1839
6.52/2.42	o 1838
6.52/2.42	o 1837
6.52/2.42	o 1836
6.52/2.42	o 1835
6.52/2.42	o 1834
6.52/2.42	o 1833
6.52/2.42	o 1832
6.52/2.42	o 1831
6.52/2.42	o 1830
6.52/2.42	o 1829
6.52/2.42	o 1828
6.52/2.42	o 1827
6.52/2.42	o 1826
6.52/2.42	o 1825
6.52/2.42	o 1824
6.52/2.42	o 1823
6.52/2.42	o 1822
6.52/2.42	o 1821
6.52/2.42	o 1820
6.52/2.42	o 1819
6.52/2.42	o 1818
6.52/2.43	o 1817
6.52/2.43	o 1816
6.52/2.43	o 1815
6.52/2.43	o 1814
6.52/2.43	o 1813
6.52/2.43	o 1812
6.52/2.43	o 1811
6.52/2.43	o 1810
6.52/2.43	o 1809
6.52/2.43	o 1808
6.52/2.43	o 1807
6.52/2.43	o 1806
6.52/2.44	o 1805
6.52/2.44	o 1804
6.52/2.44	o 1803
6.52/2.44	o 1802
6.52/2.44	o 1801
6.52/2.44	o 1800
6.52/2.44	o 1799
6.52/2.44	o 1798
6.52/2.44	o 1797
6.52/2.44	o 1796
6.52/2.44	o 1795
6.52/2.44	o 1794
6.52/2.44	o 1793
6.52/2.44	o 1792
6.52/2.44	o 1791
6.52/2.44	o 1790
6.52/2.45	o 1789
6.52/2.45	o 1788
6.52/2.45	o 1787
6.52/2.45	o 1786
6.52/2.45	o 1785
6.52/2.45	o 1784
6.52/2.45	o 1783
6.52/2.45	o 1782
6.52/2.45	o 1781
6.52/2.45	o 1780
6.52/2.45	o 1779
6.52/2.45	o 1778
6.52/2.45	o 1777
6.52/2.45	o 1776
6.52/2.45	o 1775
6.52/2.46	o 1774
6.52/2.46	o 1773
6.52/2.46	o 1772
6.52/2.46	o 1771
6.52/2.46	o 1770
6.52/2.46	o 1769
6.52/2.46	o 1768
6.52/2.46	o 1767
6.52/2.46	o 1766
6.52/2.46	o 1765
6.52/2.46	o 1764
6.52/2.46	o 1763
6.52/2.46	o 1762
6.52/2.46	o 1761
6.52/2.46	o 1760
6.52/2.46	o 1759
6.52/2.46	o 1758
6.52/2.46	o 1757
6.52/2.46	o 1756
6.52/2.46	o 1755
6.52/2.47	o 1754
6.52/2.47	o 1753
6.52/2.47	o 1752
6.52/2.47	o 1751
6.52/2.47	o 1750
6.52/2.47	o 1749
6.52/2.47	o 1748
6.52/2.47	o 1747
6.52/2.47	o 1746
6.52/2.47	o 1745
6.52/2.47	o 1744
6.52/2.47	o 1743
6.52/2.47	o 1742
6.52/2.47	o 1741
6.52/2.47	o 1740
6.52/2.47	o 1739
6.52/2.47	o 1738
6.52/2.48	o 1737
6.52/2.49	o 1736
6.52/2.49	o 1735
6.52/2.49	o 1734
6.52/2.49	o 1733
7.30/2.51	o 1732
7.30/2.51	o 1731
7.30/2.51	o 1730
7.30/2.51	o 1729
7.30/2.51	o 1728
7.30/2.52	o 1727
7.30/2.52	o 1726
7.30/2.53	o 1725
7.30/2.53	o 1724
7.30/2.53	o 1723
7.30/2.53	o 1722
7.30/2.53	o 1721
7.30/2.54	o 1720
7.30/2.54	o 1719
7.30/2.55	o 1718
7.30/2.55	o 1717
7.30/2.55	o 1716
7.30/2.55	o 1715
7.30/2.55	o 1714
7.30/2.55	o 1713
7.30/2.56	o 1712
7.30/2.56	o 1711
7.30/2.56	o 1710
7.30/2.56	o 1709
7.30/2.56	o 1708
7.30/2.56	o 1707
7.30/2.56	o 1706
7.30/2.56	o 1705
7.30/2.56	o 1704
7.30/2.56	o 1703
7.30/2.57	o 1702
7.30/2.57	o 1701
7.30/2.57	o 1700
7.30/2.57	o 1699
7.30/2.57	o 1698
7.30/2.57	o 1697
7.30/2.58	o 1696
7.30/2.58	o 1695
7.30/2.59	o 1694
7.30/2.59	o 1693
7.30/2.59	o 1692
7.30/2.59	o 1691
7.30/2.59	o 1690
7.30/2.59	o 1689
7.30/2.59	o 1688
7.30/2.59	o 1687
7.30/2.59	o 1686
8.06/2.60	o 1685
8.06/2.60	o 1684
8.06/2.60	o 1683
8.06/2.61	o 1682
8.06/2.61	o 1681
8.06/2.61	o 1680
8.06/2.61	o 1679
8.06/2.61	o 1678
8.06/2.62	o 1677
8.06/2.62	o 1676
8.06/2.62	o 1675
8.06/2.62	o 1674
8.06/2.63	o 1673
8.06/2.63	o 1672
8.06/2.63	o 1671
8.06/2.63	o 1670
8.06/2.63	o 1669
8.06/2.64	o 1668
8.06/2.64	o 1667
8.06/2.64	o 1666
8.06/2.64	o 1665
8.06/2.64	o 1664
8.06/2.65	o 1663
8.06/2.65	o 1662
8.06/2.65	o 1661
8.06/2.65	o 1660
8.06/2.65	o 1659
8.06/2.65	o 1658
8.06/2.66	o 1657
8.06/2.66	o 1656
8.06/2.66	o 1655
8.06/2.66	o 1654
8.06/2.66	o 1653
8.06/2.66	o 1652
8.06/2.66	o 1651
8.06/2.66	o 1650
8.06/2.67	o 1649
8.06/2.67	o 1648
8.06/2.67	o 1647
8.06/2.68	o 1646
8.06/2.68	o 1645
8.06/2.68	o 1644
8.06/2.70	o 1643
8.06/2.70	o 1642
8.06/2.70	o 1641
8.87/2.70	o 1640
8.87/2.70	o 1639
8.87/2.70	o 1638
8.87/2.71	o 1637
8.87/2.72	o 1636
8.87/2.72	o 1635
8.87/2.72	o 1634
8.87/2.72	o 1633
8.87/2.73	o 1632
8.87/2.73	o 1631
8.87/2.73	o 1630
8.87/2.74	o 1629
8.87/2.74	o 1628
8.87/2.74	o 1627
8.87/2.74	o 1626
8.87/2.75	o 1625
8.87/2.75	o 1624
8.87/2.75	o 1623
8.87/2.76	o 1622
8.87/2.76	o 1621
8.87/2.76	o 1620
8.87/2.76	o 1619
8.87/2.76	o 1618
8.87/2.78	o 1617
8.87/2.78	o 1616
8.87/2.78	o 1615
8.87/2.78	o 1614
8.87/2.79	o 1613
8.87/2.79	o 1612
9.62/2.80	o 1611
9.62/2.80	o 1610
9.62/2.81	o 1609
9.62/2.81	o 1608
9.62/2.81	o 1607
9.62/2.82	o 1606
9.62/2.82	o 1605
9.62/2.83	o 1604
9.62/2.83	o 1603
9.62/2.84	o 1602
9.62/2.84	o 1601
9.62/2.84	o 1600
9.62/2.85	o 1599
9.62/2.85	o 1598
9.62/2.86	o 1597
9.62/2.86	o 1596
9.62/2.88	o 1595
9.62/2.88	o 1594
9.62/2.88	o 1593
9.62/2.89	o 1592
9.62/2.90	o 1591
10.47/2.91	o 1590
10.47/2.92	o 1589
10.47/2.93	o 1588
10.47/2.93	o 1587
10.47/2.94	o 1586
10.47/2.94	o 1585
10.47/2.94	o 1584
10.47/2.95	o 1583
10.47/2.95	o 1582
10.47/2.95	o 1581
10.47/2.95	o 1580
10.47/2.96	o 1579
10.47/2.96	o 1578
10.47/2.96	o 1577
10.47/2.96	o 1576
10.47/2.96	o 1575
10.47/2.96	o 1574
10.47/2.97	o 1573
10.47/2.97	o 1572
10.47/2.97	o 1571
10.47/2.97	o 1570
10.47/2.97	o 1569
10.47/2.97	o 1568
10.47/2.97	o 1567
10.47/2.97	o 1566
10.47/2.97	o 1565
10.47/2.97	o 1564
10.47/2.98	o 1563
10.47/2.98	o 1562
10.47/2.98	o 1561
10.47/2.98	o 1560
10.47/2.98	o 1559
10.47/2.98	o 1558
10.47/2.98	o 1557
10.47/2.98	o 1556
10.47/2.98	o 1555
10.47/2.99	o 1554
10.47/2.99	o 1553
10.47/2.99	o 1552
10.47/2.99	o 1551
10.47/2.99	o 1550
10.47/2.99	o 1549
10.47/2.99	o 1548
10.47/2.99	o 1547
10.47/3.00	o 1546
10.47/3.00	o 1545
10.47/3.00	o 1544
10.47/3.00	o 1543
10.47/3.00	o 1542
10.47/3.00	o 1541
10.47/3.00	o 1540
10.47/3.01	o 1539
10.47/3.01	o 1538
10.47/3.01	o 1537
10.47/3.01	o 1536
10.47/3.01	o 1535
10.47/3.01	o 1534
10.47/3.01	o 1533
10.47/3.01	o 1532
10.47/3.01	o 1531
10.47/3.01	o 1530
10.47/3.01	o 1529
11.29/3.02	o 1528
11.29/3.02	o 1527
11.29/3.02	o 1526
11.29/3.02	o 1525
11.29/3.02	o 1524
11.29/3.03	o 1523
11.29/3.03	o 1522
11.29/3.03	o 1521
11.29/3.03	o 1520
11.29/3.03	o 1519
11.29/3.03	o 1518
11.29/3.03	o 1517
11.29/3.03	o 1516
11.29/3.03	o 1515
11.29/3.04	o 1514
11.29/3.04	o 1513
11.29/3.04	o 1512
11.29/3.04	o 1511
11.29/3.04	o 1510
11.29/3.04	o 1509
11.29/3.04	o 1508
11.29/3.04	o 1507
11.29/3.04	o 1506
11.29/3.05	o 1505
11.29/3.05	o 1504
11.29/3.05	o 1503
11.29/3.05	o 1502
11.29/3.05	o 1501
11.29/3.05	o 1500
11.29/3.05	o 1499
11.29/3.05	o 1498
11.29/3.06	o 1497
11.29/3.06	o 1496
11.29/3.06	o 1495
11.29/3.06	o 1494
11.29/3.06	o 1493
11.29/3.06	o 1492
11.29/3.07	o 1491
11.29/3.07	o 1490
11.29/3.07	o 1489
11.29/3.07	o 1488
11.29/3.07	o 1487
11.29/3.07	o 1486
11.29/3.07	o 1485
11.29/3.08	o 1484
11.29/3.08	o 1483
11.29/3.08	o 1482
11.29/3.08	o 1481
11.29/3.08	o 1480
11.29/3.08	o 1479
11.29/3.09	o 1478
11.29/3.09	o 1477
11.29/3.09	o 1476
11.29/3.09	o 1475
11.29/3.09	o 1474
11.29/3.09	o 1473
11.29/3.09	o 1472
11.29/3.09	o 1471
11.29/3.10	o 1470
11.29/3.10	o 1469
11.29/3.10	o 1468
11.29/3.10	o 1467
11.29/3.11	o 1466
11.29/3.11	o 1465
11.29/3.11	o 1464
12.04/3.12	o 1463
12.04/3.12	o 1462
12.04/3.12	o 1461
12.04/3.12	o 1460
12.04/3.12	o 1459
12.04/3.12	o 1458
12.04/3.13	o 1457
12.04/3.14	o 1456
12.04/3.14	o 1455
12.04/3.14	o 1454
12.04/3.14	o 1453
12.04/3.14	o 1452
12.04/3.14	o 1451
12.04/3.14	o 1450
12.04/3.14	o 1449
12.04/3.14	o 1448
12.04/3.14	o 1447
12.04/3.14	o 1446
12.04/3.14	o 1445
12.04/3.14	o 1444
12.04/3.14	o 1443
12.04/3.14	o 1442
12.04/3.14	o 1441
12.04/3.15	o 1440
12.04/3.15	o 1439
12.04/3.15	o 1438
12.04/3.15	o 1437
12.04/3.15	o 1436
12.04/3.15	o 1435
12.04/3.16	o 1434
12.04/3.16	o 1433
12.04/3.16	o 1432
12.04/3.16	o 1431
12.04/3.16	o 1430
12.04/3.17	o 1429
12.04/3.17	o 1428
12.04/3.17	o 1427
12.04/3.17	o 1426
12.04/3.17	o 1425
12.04/3.17	o 1424
12.04/3.17	o 1423
12.04/3.17	o 1422
12.04/3.17	o 1421
12.04/3.17	o 1420
12.04/3.17	o 1419
12.04/3.17	o 1418
12.04/3.18	o 1417
12.04/3.18	o 1416
12.04/3.18	o 1415
12.04/3.18	o 1414
12.04/3.18	o 1413
12.04/3.19	o 1412
12.04/3.19	o 1411
12.04/3.19	o 1410
12.04/3.19	o 1409
12.04/3.19	o 1408
12.04/3.19	o 1407
12.04/3.20	o 1406
12.04/3.20	o 1405
12.04/3.20	o 1404
12.73/3.20	o 1403
12.73/3.20	o 1402
12.73/3.20	o 1401
12.73/3.20	o 1400
12.73/3.20	o 1399
12.73/3.20	o 1398
12.73/3.20	o 1397
12.73/3.20	o 1396
12.73/3.20	o 1395
12.73/3.21	o 1394
12.73/3.21	o 1393
12.73/3.21	o 1392
12.73/3.21	o 1391
12.73/3.21	o 1390
12.73/3.21	o 1389
12.73/3.21	o 1388
12.73/3.21	o 1387
12.73/3.22	o 1386
12.73/3.22	o 1385
12.73/3.22	o 1384
12.73/3.22	o 1383
12.73/3.22	o 1382
12.73/3.22	o 1381
12.73/3.22	o 1380
12.73/3.22	o 1379
12.73/3.24	o 1378
12.73/3.24	o 1377
12.73/3.24	o 1376
12.73/3.24	o 1375
12.73/3.24	o 1374
12.73/3.24	o 1373
12.73/3.24	o 1372
12.73/3.24	o 1371
12.73/3.24	o 1370
12.73/3.24	o 1369
12.73/3.24	o 1368
12.73/3.25	o 1367
12.73/3.26	o 1366
12.73/3.26	o 1365
12.73/3.26	o 1364
12.73/3.26	o 1363
12.73/3.26	o 1362
12.73/3.27	o 1361
12.73/3.27	o 1360
12.73/3.27	o 1359
12.73/3.27	o 1358
12.73/3.27	o 1357
12.73/3.27	o 1356
12.73/3.27	o 1355
12.73/3.27	o 1354
12.73/3.27	o 1353
12.73/3.27	o 1352
12.73/3.29	o 1351
12.73/3.29	o 1350
12.73/3.29	o 1349
12.73/3.29	o 1348
12.73/3.29	o 1347
12.73/3.29	o 1346
12.73/3.29	o 1345
12.73/3.29	o 1344
12.73/3.29	o 1343
12.73/3.29	o 1342
12.73/3.29	o 1341
12.73/3.29	o 1340
12.73/3.29	o 1339
12.73/3.29	o 1338
13.53/3.31	o 1337
13.53/3.31	o 1336
13.53/3.31	o 1335
13.53/3.31	o 1334
13.53/3.31	o 1333
13.53/3.32	o 1332
13.53/3.32	o 1331
13.53/3.32	o 1330
13.53/3.32	o 1329
13.53/3.32	o 1328
13.53/3.32	o 1327
13.53/3.32	o 1326
13.53/3.32	o 1325
13.53/3.32	o 1324
13.53/3.33	o 1323
13.53/3.33	o 1322
13.53/3.33	o 1321
13.53/3.33	o 1320
13.53/3.34	o 1319
13.53/3.35	o 1318
13.53/3.35	o 1317
13.53/3.35	o 1316
13.53/3.36	o 1315
13.53/3.36	o 1314
13.53/3.36	o 1313
13.53/3.36	o 1312
13.53/3.36	o 1311
13.53/3.36	o 1310
13.53/3.36	o 1309
13.53/3.36	o 1308
13.53/3.36	o 1307
13.53/3.36	o 1306
13.53/3.36	o 1305
13.53/3.36	o 1304
13.53/3.36	o 1303
13.53/3.37	o 1302
13.53/3.37	o 1301
13.53/3.37	o 1300
13.53/3.37	o 1299
13.53/3.37	o 1298
13.53/3.37	o 1297
13.53/3.37	o 1296
13.53/3.37	o 1295
13.53/3.38	o 1294
13.53/3.38	o 1293
13.53/3.38	o 1292
13.53/3.38	o 1291
13.53/3.39	o 1290
13.53/3.39	o 1289
13.53/3.39	o 1288
13.53/3.39	o 1287
13.53/3.39	o 1286
13.53/3.39	o 1285
13.53/3.40	o 1284
13.53/3.40	o 1283
14.28/3.41	o 1282
14.28/3.41	o 1281
14.28/3.41	o 1280
14.28/3.41	o 1279
14.28/3.41	o 1278
14.28/3.42	o 1277
14.28/3.42	o 1276
14.28/3.42	o 1275
14.28/3.42	o 1274
14.28/3.42	o 1273
14.28/3.42	o 1272
14.28/3.43	o 1271
14.28/3.43	o 1270
14.28/3.43	o 1269
14.28/3.43	o 1268
14.28/3.43	o 1267
14.28/3.43	o 1266
14.28/3.44	o 1265
14.28/3.44	o 1264
14.28/3.44	o 1263
14.28/3.44	o 1262
14.28/3.44	o 1261
14.28/3.45	o 1260
14.28/3.45	o 1259
14.28/3.46	o 1258
14.28/3.47	o 1257
14.28/3.47	o 1256
14.28/3.48	o 1255
14.28/3.48	o 1254
14.28/3.48	o 1253
15.07/3.51	o 1252
15.07/3.51	o 1251
15.07/3.51	o 1250
15.07/3.51	o 1249
15.07/3.51	o 1248
15.07/3.52	o 1247
15.07/3.52	o 1246
15.07/3.54	o 1245
15.07/3.56	o 1244
15.07/3.56	o 1243
15.07/3.58	o 1242
15.07/3.59	o 1241
15.07/3.60	o 1240
15.88/3.61	o 1239
15.88/3.62	o 1238
15.88/3.62	o 1237
15.88/3.63	o 1236
15.88/3.64	o 1235
15.88/3.64	o 1234
15.88/3.65	o 1233
15.88/3.66	o 1232
15.88/3.66	o 1231
15.88/3.67	o 1230
15.88/3.69	o 1229
15.88/3.69	o 1228
15.88/3.70	o 1227
16.65/3.71	o 1226
16.65/3.73	o 1225
16.65/3.73	o 1224
16.65/3.74	o 1223
16.65/3.75	o 1222
16.65/3.75	o 1221
16.65/3.77	o 1220
16.65/3.77	o 1219
16.65/3.77	o 1218
16.65/3.78	o 1217
16.65/3.80	o 1216
16.65/3.80	o 1215
16.65/3.80	o 1214
17.44/3.82	o 1213
17.44/3.83	o 1212
17.44/3.84	o 1211
17.44/3.84	o 1210
17.44/3.85	o 1209
17.44/3.86	o 1208
17.44/3.87	o 1207
17.44/3.90	o 1206
18.19/3.91	o 1205
18.19/3.92	o 1204
18.19/3.93	o 1203
18.19/3.93	o 1202
18.19/3.94	o 1201
18.19/3.94	o 1200
18.19/3.95	o 1199
18.19/3.97	o 1198
18.19/3.99	o 1197
18.19/3.99	o 1196
18.19/4.01	o 1195
18.19/4.01	o 1194
19.11/4.03	o 1193
19.11/4.04	o 1192
19.11/4.05	o 1191
19.11/4.06	o 1190
19.11/4.07	o 1189
19.11/4.08	o 1188
19.11/4.10	o 1187
19.11/4.10	o 1186
19.85/4.12	o 1185
19.85/4.13	o 1184
19.85/4.14	o 1183
19.85/4.15	o 1182
19.85/4.16	o 1181
19.85/4.16	o 1180
19.85/4.17	o 1179
19.85/4.18	o 1178
19.85/4.19	o 1177
19.85/4.19	o 1176
19.85/4.20	o 1175
20.57/4.22	o 1174
20.57/4.22	o 1173
20.57/4.23	o 1172
20.57/4.24	o 1171
20.57/4.24	o 1170
20.57/4.26	o 1169
20.57/4.27	o 1168
20.57/4.27	o 1167
20.57/4.28	o 1166
20.57/4.29	o 1165
20.57/4.29	o 1164
21.35/4.31	o 1163
21.35/4.31	o 1162
21.35/4.32	o 1161
21.35/4.33	o 1160
21.35/4.34	o 1159
21.35/4.35	o 1158
21.35/4.37	o 1157
21.35/4.38	o 1156
21.35/4.39	o 1155
21.35/4.40	o 1154
22.13/4.41	o 1153
22.13/4.42	o 1152
22.13/4.43	o 1151
22.13/4.44	o 1150
22.13/4.46	o 1149
22.13/4.46	o 1148
22.13/4.48	o 1147
22.13/4.49	o 1146
22.13/4.50	o 1145
22.91/4.50	o 1144
22.91/4.52	o 1143
22.91/4.53	o 1142
22.91/4.55	o 1141
22.91/4.55	o 1140
22.91/4.57	o 1139
22.91/4.58	o 1138
22.91/4.59	o 1137
22.91/4.60	o 1136
23.77/4.61	o 1135
23.77/4.63	o 1134
23.77/4.63	o 1133
23.77/4.64	o 1132
23.77/4.65	o 1131
23.77/4.66	o 1130
24.50/4.72	o 1129
24.50/4.73	o 1128
24.50/4.76	o 1127
24.50/4.77	o 1126
24.50/4.77	o 1125
24.50/4.78	o 1124
25.33/4.81	o 1123
25.33/4.84	o 1122
25.33/4.85	o 1121
26.14/4.91	o 1120
26.14/4.93	o 1119
26.14/4.95	o 1118
26.14/4.96	o 1117
26.14/4.98	o 1116
26.14/5.00	o 1115
26.14/5.01	o 1114
26.97/5.02	o 1113
26.97/5.03	o 1112
26.97/5.05	o 1111
26.97/5.05	o 1110
26.97/5.06	o 1109
26.97/5.07	o 1108
26.97/5.08	o 1107
26.97/5.09	o 1106
26.97/5.11	o 1105
27.81/5.12	o 1104
27.81/5.13	o 1103
27.81/5.14	o 1102
27.81/5.15	o 1101
27.81/5.16	o 1100
27.81/5.17	o 1099
27.81/5.18	o 1098
27.81/5.20	o 1097
28.47/5.21	o 1096
28.47/5.22	o 1095
28.47/5.23	o 1094
28.47/5.25	o 1093
28.47/5.26	o 1092
28.47/5.27	o 1091
28.47/5.28	o 1090
28.47/5.29	o 1089
29.28/5.31	o 1088
29.28/5.32	o 1087
29.28/5.33	o 1086
29.28/5.34	o 1085
30.07/5.48	o 1084
30.07/5.50	o 1083
30.89/5.51	o 1082
31.65/5.62	o 1081
32.45/5.72	o 1080
33.25/5.86	o 1079
34.07/5.92	o 1078
34.07/5.98	o 1077
34.95/6.09	o 1076
35.74/6.16	o 1075
36.41/6.29	o 1074
37.21/6.38	o 1073
38.01/6.44	o 1072
38.80/6.51	o 1071
38.80/6.57	o 1070
39.60/6.63	o 1069
40.39/6.70	o 1068
40.39/6.76	o 1067
41.19/6.83	o 1066
41.19/6.89	o 1065
41.98/6.95	o 1064
42.87/7.02	o 1063
42.87/7.08	o 1062
43.65/7.15	o 1061
44.44/7.21	o 1060
44.44/7.28	o 1059
45.17/7.34	o 1058
45.96/7.41	o 1057
45.96/7.48	o 1056
46.75/7.54	o 1055
47.55/7.61	o 1054
47.55/7.67	o 1053
48.35/7.74	o 1052
48.35/7.80	o 1051
49.23/7.86	o 1050
49.95/7.93	o 1049
49.95/7.99	o 1048
50.80/8.09	o 1047
52.33/8.22	o 1046
52.33/8.28	o 1045
53.11/8.34	o 1044
53.11/8.39	o 1043
53.91/8.42	o 1042
55.51/8.64	o 1041
57.13/8.84	o 1040
58.77/9.04	o 1039
61.05/9.35	o 1038
62.64/9.60	o 1037
65.84/9.90	o 1036
66.70/10.09	o 1035
68.22/10.30	o 1034
70.54/10.53	o 1033
70.54/10.54	o 1032
72.13/10.78	o 1031
73.73/10.93	o 1030
74.59/11.07	o 1029
76.11/11.23	o 1028
78.49/11.55	o 1027
80.92/11.84	o 1026
81.74/11.99	o 1025
84.07/12.20	o 1024
85.67/12.41	o 1023
86.44/12.59	o 1022
88.83/12.81	o 1021
89.63/12.96	o 1020
91.29/13.12	o 1019
92.03/13.24	o 1018
93.66/13.42	o 1017
94.48/13.56	o 1016
95.98/13.73	o 1015
96.78/13.88	o 1014
97.58/13.98	o 1013
99.24/14.16	o 1012
99.96/14.27	o 1011
100.76/14.39	o 1010
102.38/14.52	o 1009
103.20/14.69	o 1008
104.83/14.81	o 1007
105.56/14.98	o 1006
107.19/15.14	o 1005
107.91/15.23	o 1004
109.51/15.40	o 1003
110.31/15.51	o 1002
111.10/15.66	o 1001
115.16/16.14	o 1000
116.68/16.35	o 999
117.46/16.45	o 998
119.85/16.74	o 997
121.45/16.99	o 996
123.11/17.18	o 995
124.63/17.39	o 994
126.23/17.56	o 993
134.88/18.65	o 992
138.14/19.04	o 991
145.28/19.92	o 990
152.41/20.81	o 989
157.96/21.51	o 988
162.81/22.13	o 987
168.28/22.80	o 986
173.06/23.45	o 985
177.93/24.10	o 984
183.41/24.73	o 983
189.85/25.54	o 982
196.18/26.31	o 981
204.13/27.30	o 980
209.78/28.09	o 979
216.87/28.93	o 978
221.70/29.54	o 977
226.49/30.17	o 976
232.01/30.85	o 975
238.37/31.64	o 974
243.15/32.24	o 973
250.39/33.16	o 972
255.91/33.90	o 971
261.48/34.53	o 970
267.10/35.28	o 969
273.50/36.06	o 968
278.22/36.64	o 967
284.59/37.42	o 966
289.45/38.06	o 965
294.96/38.75	o 964
300.52/39.41	o 963
305.37/40.03	o 962
310.11/40.69	o 961
314.18/41.13	o 960
321.28/42.06	o 959
326.78/42.77	o 958
331.56/43.33	o 957
335.54/43.84	o 956
342.72/44.75	o 955
350.68/45.76	o 954
355.46/46.38	o 953
359.47/46.87	o 952
374.58/48.78	o 951
389.72/50.69	o 950
422.37/54.79	o 949
440.74/57.04	o 948
456.65/59.11	o 947
476.48/61.54	o 946
499.57/64.41	o 945
515.50/66.41	o 944
535.42/68.93	o 943
548.97/70.68	o 942
563.29/72.41	o 941
589.59/75.77	o 940
608.76/78.19	o 939
623.89/80.10	o 938
638.16/81.82	o 937
657.15/84.24	o 936
668.25/85.68	o 935
686.55/87.91	o 934
702.44/89.93	o 933
714.24/91.49	o 932
729.32/93.38	o 931
742.80/95.03	o 930
758.67/97.04	o 929
769.73/98.43	o 928
781.64/99.96	o 927
795.93/101.73	o 926
809.27/103.46	o 925
819.57/104.72	o 924
832.25/106.37	o 923
844.17/107.86	o 922
856.86/109.45	o 921
869.63/111.04	o 920
881.46/112.54	o 919
894.21/114.19	o 918
906.03/115.69	o 917
922.65/117.75	o 916
933.05/119.09	o 915
941.00/120.09	o 914
960.72/122.59	o 913
972.71/124.09	o 912
999.60/127.47	o 911
1033.69/131.71	o 910
1052.00/134.05	o 909
1070.95/136.43	o 908
1086.78/138.47	o 907
1108.91/141.28	o 906
1131.18/144.05	o 905
1149.27/146.39	o 904
1169.79/148.91	o 903
1185.66/150.94	o 902
1202.32/153.03	o 901
1224.41/155.88	o 900
1237.87/157.55	o 899
1257.79/160.08	o 898
1280.66/162.91	o 897
1297.98/165.19	o 896
1318.41/167.76	o 895
1331.02/169.36	o 894
1352.43/172.09	o 893
1369.80/174.21	o 892
1385.57/176.28	o 891
1407.07/178.93	o 890
1424.46/181.14	o 889
1446.42/183.98	o 888
1464.62/186.30	o 887
1485.09/188.86	o 886
1501.73/190.96	o 885
1516.78/192.84	o 884
1542.11/196.02	o 883
1561.83/198.58	o 882
1579.29/200.75	o 881
1597.61/203.08	o 880
1617.19/205.59	o 879
1634.58/207.70	o 878
1648.00/209.48	o 877
1667.02/211.88	o 876
1683.63/213.93	o 875
1701.79/216.23	o 874
1721.63/218.72	o 873
1737.54/220.70	o 872
1747.06/221.91	o 871
1761.37/223.75	o 870
1867.98/237.23	o 869
1899.61/241.25	o 868
1952.77/248.00	o 867
2037.32/258.62	o 866
2148.75/272.72	o 865
2304.99/292.59	o 864
2454.81/311.52	o 863
2540.91/322.44	o 862
2633.63/334.19	o 861
2750.36/348.91	o 860
2852.33/361.81	o 859
2958.83/375.33	o 858
3033.26/384.79	o 857
3157.86/400.55	o 856
3228.99/409.50	o 855
3370.20/427.40	o 854
3462.46/439.16	o 853
3578.63/453.89	o 852
3656.17/463.66	o 851
3728.50/472.82	o 850
3826.22/485.22	o 849
3931.26/498.52	o 848
4037.77/512.06	o 847
4127.63/523.50	o 846
4245.05/538.31	o 845
4338.81/550.25	o 844
4420.61/560.69	o 843
4499.74/570.67	o 842
4585.72/581.60	o 841
4671.79/592.43	o 840
4751.54/602.57	o 839
4817.18/610.84	o 838
4902.37/621.62	o 837
4966.57/629.72	o 836
5080.87/644.23	o 835
5155.09/653.69	o 834
5235.64/663.89	o 833
5298.95/671.88	o 832
5400.85/684.76	o 831
5462.44/692.54	o 830
5519.89/699.89	o 829
5573.31/706.64	o 828
5614.40/711.89	o 827
5653.80/716.81	o 826
5739.08/727.70	o 825
6011.86/762.05	o 824
6521.94/826.16	o 823
6924.41/876.72	o 822
7023.20/889.13	o 821
7339.76/928.91	o 820
7760.94/981.81	o 819
7984.41/1009.91	o 818
8260.61/1044.61	o 817
8428.28/1065.71	o 816
8606.70/1088.16	o 815
8771.22/1108.83	o 814
8915.17/1126.94	o 813
9040.91/1142.74	o 812
9186.61/1161.06	o 811
9296.44/1174.85	o 810
9425.96/1191.17	o 809
9562.76/1208.32	o 808
9726.63/1228.99	o 807
9875.46/1247.68	o 806
10148.42/1281.96	o 805
10295.60/1300.45	o 804
10477.86/1323.37	o 803
10650.76/1345.06	o 802
10793.80/1363.02	o 801
11002.22/1389.29	o 800
11130.22/1405.32	o 799
11288.53/1425.23	o 798
11501.84/1452.09	o 797
11699.91/1476.91	o 796
12119.16/1529.68	o 795
12505.02/1578.13	o 794
12720.48/1605.23	o 793
12944.79/1633.48	o 792
13218.40/1667.88	o 791
13433.96/1694.93	o 790
13685.15/1726.51	o 789
13935.58/1758.03	o 788
14060.39/1773.74	o 787
14424.72/1819.56	o 786
14606.90/1842.50	o 785
14812.05/1868.20	o 784
14933.82/1883.59	o 783
15267.75/1925.56	o 782
15271.81/1926.03	o 781
15619.45/1969.76	o 780
15638.68/1972.12	o 779
16003.84/2018.04	o 778
16393.54/2067.10	o 777
16669.58/2101.71	o 776
16910.54/2132.02	o 775
17257.95/2175.73	o 774
17608.80/2219.89	o 773
17871.04/2252.86	o 772
18125.30/2284.82	o 771
18378.19/2316.63	o 770
18558.86/2339.34	o 769
18787.15/2368.10	o 768
19054.40/2401.69	o 767
19320.06/2435.08	o 766
19649.35/2476.49	o 765
19832.77/2499.55	o 764
19996.04/2520.09	s SATISFIABLE
19996.04/2520.09	v <instantiation>
19996.04/2520.09	v 	<list>
19996.04/2520.09	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]
19996.04/2520.09	v 	</list>
19996.04/2520.09	v 	<values>
19996.04/2520.09	v 		46 45 2 45 25 0 45 0 45 0 1 1 45 1 45 1 0 45 0 45 0 1 2 0 45 2 45 3 0 0 0 0 0 1 0 45 1 45 1 0 45 0 45 0 1 2 43 
19996.04/2520.09	v 	</values>
19996.04/2520.09	v </instantiation>

Verifier Data 

OK	764

Watcher Data 

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 (14420 MiB free)
  memory of node 1: 16384 MiB (13598 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308947-1534367832/watcher-4308947-1534367832 -o /tmp/evaluation-result-4308947-1534367832/solver-4308947-1534367832 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1534362609-30574 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 797367819 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308947-1534367832.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31359, runsolver pid=31356
Current StackSize limit: 8192 KiB


[startup+0.100148 s]*
/proc/loadavg: 8.00 6.81 4.30 2/198 31379
/proc/meminfo: memFree=28674972/32770624 swapFree=67108796/67108860
[pid=31359] ppid=31356 vsize=26103420 memory=31188 CPUtime=0.11 cores=0-7
/proc/31359/stat : 31359 (java) S 31356 31359 30547 0 -1 1077944320 7242 0 0 0 9 2 0 0 20 0 20 0 254346423 26729902080 7797 33554432000 4194304 4196468 140736755866688 140736755849232 139945315106551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
/proc/31359/statm: 6525855 7797 3139 1 0 6487932 0
[pid=31359/tid=31361] ppid=31356 vsize=26103420 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/31359/task/31361/stat : 31361 (java) R 31356 31359 30547 0 -1 4202560 5337 0 0 0 8 1 0 0 20 0 20 0 254346423 26729902080 7797 33554432000 4194304 4196468 140736755866688 139945319309680 139945295382365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31362] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31362/stat : 31362 (java) S 31356 31359 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 7797 33554432000 4194304 4196468 140736755866688 139945271658768 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31363] ppid=31356 vsize=26103420 memory=139699586524800 CPUtime=0 cores=0-7
/proc/31359/task/31363/stat : 31363 (java) S 31356 31359 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 7797 33554432000 4194304 4196468 140736755866688 139945270606224 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31364] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31364/stat : 31364 (java) S 31356 31359 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 7863 33554432000 4194304 4196468 140736755866688 139945269553680 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31365] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31365/stat : 31365 (java) S 31356 31359 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 7863 33554432000 4194304 4196468 140736755866688 139944870410896 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31366] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31366/stat : 31366 (java) S 31356 31359 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 7863 33554432000 4194304 4196468 140736755866688 139944869358352 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31367] ppid=31356 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/31359/task/31367/stat : 31367 (java) S 31356 31359 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 7863 33554432000 4194304 4196468 140736755866688 139944868305808 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31368] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31368/stat : 31368 (java) S 31356 31359 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 7863 33554432000 4194304 4196468 140736755866688 139944867253264 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31369] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31369/stat : 31369 (java) S 31356 31359 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 7863 33554432000 4194304 4196468 140736755866688 139944866200720 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31370] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31370/stat : 31370 (java) S 31356 31359 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254346425 26729902080 7863 33554432000 4194304 4196468 140736755866688 139944442902512 139945315117698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31371] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31371/stat : 31371 (java) S 31356 31359 30547 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254346426 26729902080 7863 33554432000 4194304 4196468 140736755866688 139944441848736 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31372] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31372/stat : 31372 (java) S 31356 31359 30547 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254346426 26729902080 7863 33554432000 4194304 4196468 140736755866688 139944440796144 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31373] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31373/stat : 31373 (java) S 31356 31359 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254346428 26729902080 7863 33554432000 4194304 4196468 140736755866688 139944439744720 139945315125147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31374] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31374/stat : 31374 (java) S 31356 31359 30547 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 254346428 26729902080 7863 33554432000 4194304 4196468 140736755866688 139944438692336 139945315117698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31375] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31375/stat : 31375 (java) S 31356 31359 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254346428 26729902080 7929 33554432000 4194304 4196468 140736755866688 139944437639792 139945315117698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31376] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31376/stat : 31376 (java) S 31356 31359 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254346428 26729902080 7929 33554432000 4194304 4196468 140736755866688 139944436587248 139945315117698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31377] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31377/stat : 31377 (java) S 31356 31359 30547 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 20 0 254346428 26729902080 7929 33554432000 4194304 4196468 140736755866688 139944435534704 139945315117698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31378] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31378/stat : 31378 (java) S 31356 31359 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254346429 26729902080 7929 33554432000 4194304 4196468 140736755866688 139944434481376 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31379] ppid=31356 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/31359/task/31379/stat : 31379 (java) S 31356 31359 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254346429 26729902080 7929 33554432000 4194304 4196468 140736755866688 139944433428912 139945315117698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 31188 KiB

[startup+0.210126 s]*
/proc/loadavg: 8.00 6.81 4.30 4/198 31379
/proc/meminfo: memFree=28661400/32770624 swapFree=67108796/67108860
[pid=31359] ppid=31356 vsize=26103420 memory=43044 CPUtime=0.29 cores=0-7
/proc/31359/stat : 31359 (java) S 31356 31359 30547 0 -1 1077944320 10434 0 0 0 26 3 0 0 20 0 20 0 254346423 26729902080 10761 33554432000 4194304 4196468 140736755866688 140736755849232 139945315106551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
/proc/31359/statm: 6525855 10761 3331 1 0 6487932 0
[pid=31359/tid=31361] ppid=31356 vsize=26103420 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/31359/task/31361/stat : 31361 (java) R 31356 31359 30547 0 -1 4202560 8198 0 0 0 18 2 0 0 20 0 20 0 254346423 26729902080 10761 33554432000 4194304 4196468 140736755866688 139945319326400 139945315128477 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31362] ppid=31356 vsize=26103420 memory=9298 CPUtime=0 cores=0-7
/proc/31359/task/31362/stat : 31362 (java) S 31356 31359 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 10761 33554432000 4194304 4196468 140736755866688 139945271658768 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31363] ppid=31356 vsize=26103420 memory=139699586554298 CPUtime=0 cores=0-7
/proc/31359/task/31363/stat : 31363 (java) S 31356 31359 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 10761 33554432000 4194304 4196468 140736755866688 139945270606224 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31364] ppid=31356 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/31359/task/31364/stat : 31364 (java) S 31356 31359 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 10761 33554432000 4194304 4196468 140736755866688 139945269553680 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31365] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31365/stat : 31365 (java) S 31356 31359 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 10761 33554432000 4194304 4196468 140736755866688 139944870410896 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31366] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31366/stat : 31366 (java) S 31356 31359 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 10761 33554432000 4194304 4196468 140736755866688 139944869358352 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31367] ppid=31356 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/31359/task/31367/stat : 31367 (java) S 31356 31359 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 10761 33554432000 4194304 4196468 140736755866688 139944868305808 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31368] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31368/stat : 31368 (java) S 31356 31359 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 10761 33554432000 4194304 4196468 140736755866688 139944867253264 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31369] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31369/stat : 31369 (java) S 31356 31359 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 10761 33554432000 4194304 4196468 140736755866688 139944866200720 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31370] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31370/stat : 31370 (java) S 31356 31359 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254346425 26729902080 10761 33554432000 4194304 4196468 140736755866688 139944442902512 139945315117698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31371] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31371/stat : 31371 (java) S 31356 31359 30547 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254346426 26729902080 10761 33554432000 4194304 4196468 140736755866688 139944441848736 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31372] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31372/stat : 31372 (java) S 31356 31359 30547 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254346426 26729902080 10761 33554432000 4194304 4196468 140736755866688 139944440796144 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31373] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31373/stat : 31373 (java) S 31356 31359 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254346428 26729902080 10761 33554432000 4194304 4196468 140736755866688 139944439744720 139945315125147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31374] ppid=31356 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/31359/task/31374/stat : 31374 (java) S 31356 31359 30547 0 -1 1077944384 384 0 0 0 1 0 0 0 20 0 20 0 254346428 26729902080 10761 33554432000 4194304 4196468 140736755866688 139944438692336 139945315117698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31375] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31375/stat : 31375 (java) S 31356 31359 30547 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 254346428 26729902080 10761 33554432000 4194304 4196468 140736755866688 139944437639792 139945315117698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31376] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31376/stat : 31376 (java) S 31356 31359 30547 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 254346428 26729902080 10761 33554432000 4194304 4196468 140736755866688 139944436587248 139945315117698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31377] ppid=31356 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7
/proc/31359/task/31377/stat : 31377 (java) R 31356 31359 30547 0 -1 4202560 304 0 0 0 6 0 0 0 20 0 20 0 254346428 26729902080 10761 33554432000 4194304 4196468 140736755866688 139944435529088 139945315118486 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31378] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31378/stat : 31378 (java) S 31356 31359 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254346429 26729902080 10761 33554432000 4194304 4196468 140736755866688 139944434481376 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31379] ppid=31356 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/31359/task/31379/stat : 31379 (java) S 31356 31359 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254346429 26729902080 10761 33554432000 4194304 4196468 140736755866688 139944433428912 139945315117698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 43044 KiB

[startup+0.310362 s]*
/proc/loadavg: 8.00 6.81 4.30 2/198 31379
/proc/meminfo: memFree=28640952/32770624 swapFree=67108796/67108860
[pid=31359] ppid=31356 vsize=26103420 memory=46568 CPUtime=0.43 cores=0-7
/proc/31359/stat : 31359 (java) S 31356 31359 30547 0 -1 1077944320 10879 0 0 0 39 4 0 0 20 0 20 0 254346423 26729902080 11642 33554432000 4194304 4196468 140736755866688 140736755849232 139945315106551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
/proc/31359/statm: 6525855 11642 3365 1 0 6487932 0
[pid=31359/tid=31361] ppid=31356 vsize=26103420 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/31359/task/31361/stat : 31361 (java) R 31356 31359 30547 0 -1 4202560 8551 0 0 0 27 2 0 0 20 0 20 0 254346423 26729902080 11642 33554432000 4194304 4196468 140736755866688 139945319268288 139945299187038 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31362] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31362/stat : 31362 (java) S 31356 31359 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 11642 33554432000 4194304 4196468 140736755866688 139945271658768 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31363] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31363/stat : 31363 (java) S 31356 31359 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 11642 33554432000 4194304 4196468 140736755866688 139945270606224 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31364] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31364/stat : 31364 (java) S 31356 31359 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 11642 33554432000 4194304 4196468 140736755866688 139945269553680 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31365] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31365/stat : 31365 (java) S 31356 31359 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 11642 33554432000 4194304 4196468 140736755866688 139944870410896 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31366] ppid=31356 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/31359/task/31366/stat : 31366 (java) S 31356 31359 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 11642 33554432000 4194304 4196468 140736755866688 139944869358352 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31367] ppid=31356 vsize=26103420 memory=139699448542127 CPUtime=0 cores=0-7
/proc/31359/task/31367/stat : 31367 (java) S 31356 31359 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 11642 33554432000 4194304 4196468 140736755866688 139944868305808 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31368] ppid=31356 vsize=26103420 memory=139699448544432 CPUtime=0 cores=0-7
/proc/31359/task/31368/stat : 31368 (java) S 31356 31359 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 11642 33554432000 4194304 4196468 140736755866688 139944867253264 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31369] ppid=31356 vsize=26103420 memory=139699448546736 CPUtime=0 cores=0-7
/proc/31359/task/31369/stat : 31369 (java) S 31356 31359 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254346424 26729902080 11642 33554432000 4194304 4196468 140736755866688 139944866200720 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31370] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31370/stat : 31370 (java) S 31356 31359 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254346425 26729902080 11642 33554432000 4194304 4196468 140736755866688 139944442902512 139945315117698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31371] ppid=31356 vsize=26103420 memory=279398897100432 CPUtime=0 cores=0-7
/proc/31359/task/31371/stat : 31371 (java) S 31356 31359 30547 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254346426 26729902080 11642 33554432000 4194304 4196468 140736755866688 139944441848736 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31372] ppid=31356 vsize=26103420 memory=279398897107344 CPUtime=0 cores=0-7
/proc/31359/task/31372/stat : 31372 (java) S 31356 31359 30547 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254346426 26729902080 11642 33554432000 4194304 4196468 140736755866688 139944440796144 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31373] ppid=31356 vsize=26103420 memory=279398897048624 CPUtime=0 cores=0-7
/proc/31359/task/31373/stat : 31373 (java) S 31356 31359 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254346428 26729902080 11642 33554432000 4194304 4196468 140736755866688 139944439744720 139945315125147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31374] ppid=31356 vsize=26103420 memory=279398897121168 CPUtime=0.01 cores=0-7
/proc/31359/task/31374/stat : 31374 (java) S 31356 31359 30547 0 -1 1077944384 385 0 0 0 1 0 0 0 20 0 20 0 254346428 26729902080 11642 33554432000 4194304 4196468 140736755866688 139944438692336 139945315117698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31375] ppid=31356 vsize=26103420 memory=279398897128080 CPUtime=0.01 cores=0-7
/proc/31359/task/31375/stat : 31375 (java) S 31356 31359 30547 0 -1 1077944384 222 0 0 0 1 0 0 0 20 0 20 0 254346428 26729902080 11642 33554432000 4194304 4196468 140736755866688 139944437639792 139945315117698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31376] ppid=31356 vsize=26103420 memory=279398897125776 CPUtime=0 cores=0-7
/proc/31359/task/31376/stat : 31376 (java) S 31356 31359 30547 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 254346428 26729902080 11642 33554432000 4194304 4196468 140736755866688 139944436587248 139945315117698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31377] ppid=31356 vsize=26103420 memory=279398897142384 CPUtime=0.07 cores=0-7
/proc/31359/task/31377/stat : 31377 (java) S 31356 31359 30547 0 -1 1077944384 319 0 0 0 7 0 0 0 20 0 20 0 254346428 26729902080 11642 33554432000 4194304 4196468 140736755866688 139944435534704 139945315117698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31378] ppid=31356 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31378/stat : 31378 (java) S 31356 31359 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254346429 26729902080 11642 33554432000 4194304 4196468 140736755866688 139944434481376 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31379] ppid=31356 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/31359/task/31379/stat : 31379 (java) S 31356 31359 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254346429 26729902080 11642 33554432000 4194304 4196468 140736755866688 139944433428912 139945315117698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 46568 KiB

[startup+0.700942 s]
/proc/loadavg: 8.00 6.81 4.30 2/198 31379
/proc/meminfo: memFree=28625688/32770624 swapFree=67108796/67108860
[pid=31359] ppid=31356 vsize=26105488 memory=87732 CPUtime=0.98 cores=0-7
/proc/31359/stat : 31359 (java) S 31356 31359 30547 0 -1 1077944320 17819 0 0 0 92 6 0 0 20 0 20 0 254346423 26732019712 21933 33554432000 4194304 4196468 140736755866688 140736755849232 139945315106551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
/proc/31359/statm: 6526372 21933 3499 1 0 6488444 0
[pid=31359/tid=31361] ppid=31356 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7
/proc/31359/task/31361/stat : 31361 (java) R 31356 31359 30547 0 -1 4202560 15033 0 0 0 63 4 0 0 20 0 20 0 254346423 26732019712 21933 33554432000 4194304 4196468 140736755866688 139945319330720 139945282694939 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31362] ppid=31356 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31362/stat : 31362 (java) S 31356 31359 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254346424 26732019712 21933 33554432000 4194304 4196468 140736755866688 139945271658768 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31363] ppid=31356 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31363/stat : 31363 (java) S 31356 31359 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254346424 26732019712 21933 33554432000 4194304 4196468 140736755866688 139945270606224 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31364] ppid=31356 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/31359/task/31364/stat : 31364 (java) S 31356 31359 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254346424 26732019712 21933 33554432000 4194304 4196468 140736755866688 139945269553680 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31365] ppid=31356 vsize=26105488 memory=1244 CPUtime=0 cores=0-7
/proc/31359/task/31365/stat : 31365 (java) S 31356 31359 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254346424 26732019712 21933 33554432000 4194304 4196468 140736755866688 139944870410896 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31366] ppid=31356 vsize=26105488 memory=1036 CPUtime=0 cores=0-7
/proc/31359/task/31366/stat : 31366 (java) S 31356 31359 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254346424 26732019712 21933 33554432000 4194304 4196468 140736755866688 139944869358352 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31367] ppid=31356 vsize=26105488 memory=1776 CPUtime=0 cores=0-7
/proc/31359/task/31367/stat : 31367 (java) S 31356 31359 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254346424 26732019712 21933 33554432000 4194304 4196468 140736755866688 139944868305808 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31368] ppid=31356 vsize=26105488 memory=5724 CPUtime=0 cores=0-7
/proc/31359/task/31368/stat : 31368 (java) S 31356 31359 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254346424 26732019712 21933 33554432000 4194304 4196468 140736755866688 139944867253264 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31369] ppid=31356 vsize=26105488 memory=14768 CPUtime=0 cores=0-7
/proc/31359/task/31369/stat : 31369 (java) S 31356 31359 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254346424 26732019712 21933 33554432000 4194304 4196468 140736755866688 139944866200720 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31370] ppid=31356 vsize=26105488 memory=42884 CPUtime=0 cores=0-7
/proc/31359/task/31370/stat : 31370 (java) S 31356 31359 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254346425 26732019712 21933 33554432000 4194304 4196468 140736755866688 139944442902512 139945315117698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0

################
# More data... #
################

[pid=31359/tid=31387] ppid=31356 vsize=27850524 memory=1600 CPUtime=2489.86 cores=0-7
/proc/31359/task/31387/stat : 31387 (java) R 31356 31359 30547 0 -1 4202560 126317 0 0 0 248839 147 0 0 20 0 46 0 254346642 28518936576 690804 33554432000 4194304 4196468 140736755866688 139944410515032 139944960301241 0 4 0 16800975 0 0 0 -1 3 0 0 19 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31388] ppid=31356 vsize=27850524 memory=932 CPUtime=2491.49 cores=0-7
/proc/31359/task/31388/stat : 31388 (java) R 31356 31359 30547 0 -1 4202560 129104 0 0 0 249011 138 0 0 20 0 46 0 254346642 28518936576 690804 33554432000 4194304 4196468 140736755866688 139944409462152 139944960411485 0 4 0 16800975 0 0 0 -1 7 0 0 19 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31389] ppid=31356 vsize=27850524 memory=1168 CPUtime=0.05 cores=0-7
/proc/31359/task/31389/stat : 31389 (java) S 31356 31359 30547 0 -1 1077944384 1120 0 0 0 5 0 0 0 20 0 46 0 254346642 28518936576 690804 33554432000 4194304 4196468 140736755866688 139944408417552 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31390] ppid=31356 vsize=27850524 memory=3632 CPUtime=0.04 cores=0-7
/proc/31359/task/31390/stat : 31390 (java) S 31356 31359 30547 0 -1 1077944384 29 0 0 0 4 0 0 0 20 0 46 0 254346643 28518936576 690804 33554432000 4194304 4196468 140736755866688 139944405267856 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31391] ppid=31356 vsize=27850524 memory=69152 CPUtime=2492.49 cores=0-7
/proc/31359/task/31391/stat : 31391 (java) R 31356 31359 30547 0 -1 4202560 125219 0 0 0 249111 138 0 0 20 0 46 0 254346643 28518936576 690804 33554432000 4194304 4196468 140736755866688 139944404207112 139945301050672 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31392] ppid=31356 vsize=27850524 memory=2056 CPUtime=2491.29 cores=0-7
/proc/31359/task/31392/stat : 31392 (java) R 31356 31359 30547 0 -1 4202560 139809 0 0 0 248968 161 0 0 20 0 46 0 254346643 28518936576 690804 33554432000 4194304 4196468 140736755866688 139944403155160 139944960409412 0 4 0 16800975 0 0 0 -1 2 0 0 18 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31393] ppid=31356 vsize=27850524 memory=6791534058613427641 CPUtime=2491.55 cores=0-7
/proc/31359/task/31393/stat : 31393 (java) R 31356 31359 30547 0 -1 4202560 133081 0 0 0 249006 149 0 0 20 0 46 0 254346643 28518936576 690804 33554432000 4194304 4196468 140736755866688 139944402104928 139944960409651 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31394] ppid=31356 vsize=27850524 memory=288230596050944315 CPUtime=0.04 cores=0-7
/proc/31359/task/31394/stat : 31394 (java) S 31356 31359 30547 0 -1 1077944384 29 0 0 0 4 0 0 0 20 0 46 0 254346649 28518936576 690804 33554432000 4194304 4196468 140736755866688 139944401056656 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31395] ppid=31356 vsize=27850524 memory=13566015871133490 CPUtime=0.02 cores=0-7
/proc/31359/task/31395/stat : 31395 (java) S 31356 31359 30547 0 -1 1077944384 28 0 0 0 2 0 0 0 20 0 46 0 254346654 28518936576 690804 33554432000 4194304 4196468 140736755866688 139944397870096 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31396] ppid=31356 vsize=27850524 memory=4126316290023845779 CPUtime=0.03 cores=0-7
/proc/31359/task/31396/stat : 31396 (java) S 31356 31359 30547 0 -1 1077944384 30 0 0 0 3 0 0 0 20 0 46 0 254346654 28518936576 690804 33554432000 4194304 4196468 140736755866688 139943406462096 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31397] ppid=31356 vsize=27850524 memory=4640 CPUtime=0.04 cores=0-7
/proc/31359/task/31397/stat : 31397 (java) S 31356 31359 30547 0 -1 1077944384 1273 0 0 0 4 0 0 0 20 0 46 0 254346654 28518936576 690804 33554432000 4194304 4196468 140736755866688 139943405409552 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31398] ppid=31356 vsize=27850524 memory=2769372 CPUtime=0.04 cores=0-7
/proc/31359/task/31398/stat : 31398 (java) S 31356 31359 30547 0 -1 1077944384 1242 0 0 0 4 0 0 0 20 0 46 0 254346654 28518936576 690804 33554432000 4194304 4196468 140736755866688 139943404357008 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31399] ppid=31356 vsize=27850524 memory=916 CPUtime=0.04 cores=0-7
/proc/31359/task/31399/stat : 31399 (java) S 31356 31359 30547 0 -1 1077944384 1652 0 0 0 4 0 0 0 20 0 46 0 254346654 28518936576 690804 33554432000 4194304 4196468 140736755866688 139943403304464 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31400] ppid=31356 vsize=27850524 memory=4236 CPUtime=0.04 cores=0-7
/proc/31359/task/31400/stat : 31400 (java) S 31356 31359 30547 0 -1 1077944384 1369 0 0 0 4 0 0 0 20 0 46 0 254346654 28518936576 690804 33554432000 4194304 4196468 140736755866688 139943402251920 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31401] ppid=31356 vsize=27850524 memory=4108 CPUtime=0.04 cores=0-7
/proc/31359/task/31401/stat : 31401 (java) S 31356 31359 30547 0 -1 1077944384 28 0 0 0 4 0 0 0 20 0 46 0 254346654 28518936576 690804 33554432000 4194304 4196468 140736755866688 139943401199376 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31402] ppid=31356 vsize=27850524 memory=1404 CPUtime=0.04 cores=0-7
/proc/31359/task/31402/stat : 31402 (java) S 31356 31359 30547 0 -1 1077944384 1353 0 0 0 4 0 0 0 20 0 46 0 254346655 28518936576 690804 33554432000 4194304 4196468 140736755866688 139943400145808 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31403] ppid=31356 vsize=27850524 memory=4640 CPUtime=0.04 cores=0-7
/proc/31359/task/31403/stat : 31403 (java) S 31356 31359 30547 0 -1 1077944384 1554 0 0 0 4 0 0 0 20 0 46 0 254346655 28518936576 690804 33554432000 4194304 4196468 140736755866688 139943399093264 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31404] ppid=31356 vsize=27850524 memory=2770396 CPUtime=0.04 cores=0-7
/proc/31359/task/31404/stat : 31404 (java) S 31356 31359 30547 0 -1 1077944384 1148 0 0 0 4 0 0 0 20 0 46 0 254346655 28518936576 690804 33554432000 4194304 4196468 140736755866688 139943398040720 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31405] ppid=31356 vsize=27850524 memory=-7531822216215551788 CPUtime=0.03 cores=0-7
/proc/31359/task/31405/stat : 31405 (java) S 31356 31359 30547 0 -1 1077944384 1378 0 0 0 3 0 0 0 20 0 46 0 254346655 28518936576 690804 33554432000 4194304 4196468 140736755866688 139943396988176 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
Current children cumulated CPU time: 19996 s
Current children cumulated vsize: 27850524 KiB
Current children cumulated memory: 2763216 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.32 s]
# the end of solver process 31359 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19982.1 s, system=16.128 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520.2 s]
/proc/loadavg: 8.66 8.76 8.47 10/224 31452
/proc/meminfo: memFree=25927440/32770624 swapFree=67108796/67108860
[pid=31359] ppid=31356 vsize=27984680 memory=2763440 CPUtime=19997.5 cores=0-7
/proc/31359/stat : 31359 (java) S 31356 31359 30547 0 -1 1077944320 2303140 0 0 0 1998144 1610 0 0 20 0 48 0 254346423 28656312320 690860 33554432000 4194304 4196468 140736755866688 140736755849232 139945315106551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
/proc/31359/statm: 6996170 690860 3616 1 0 6957721 0
[pid=31359/tid=31361] ppid=31356 vsize=27984680 memory=4872558044660077418 CPUtime=2.11 cores=0-7
/proc/31359/task/31361/stat : 31361 (java) S 31356 31359 30547 0 -1 1077944384 25740 0 0 0 204 7 0 0 20 0 48 0 254346423 28656312320 690860 33554432000 4194304 4196468 140736755866688 139945319344016 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31362] ppid=31356 vsize=27984680 memory=288230596050944315 CPUtime=5.99 cores=0-7
/proc/31359/task/31362/stat : 31362 (java) S 31356 31359 30547 0 -1 1077944384 131441 0 0 0 550 49 0 0 20 0 48 0 254346424 28656312320 690860 33554432000 4194304 4196468 140736755866688 139945271658768 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31363] ppid=31356 vsize=27984680 memory=13566015871133490 CPUtime=5.99 cores=0-7
/proc/31359/task/31363/stat : 31363 (java) S 31356 31359 30547 0 -1 1077944384 114181 0 0 0 551 48 0 0 20 0 48 0 254346424 28656312320 690860 33554432000 4194304 4196468 140736755866688 139945270606224 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31364] ppid=31356 vsize=27984680 memory=4126316290023845779 CPUtime=5.96 cores=0-7
/proc/31359/task/31364/stat : 31364 (java) S 31356 31359 30547 0 -1 1077944384 125269 0 0 0 550 46 0 0 20 0 48 0 254346424 28656312320 690860 33554432000 4194304 4196468 140736755866688 139945269553680 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31365] ppid=31356 vsize=27984680 memory=796 CPUtime=6 cores=0-7
/proc/31359/task/31365/stat : 31365 (java) S 31356 31359 30547 0 -1 1077944384 113037 0 0 0 554 46 0 0 20 0 48 0 254346424 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944870410896 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31366] ppid=31356 vsize=27984680 memory=1592 CPUtime=5.99 cores=0-7
/proc/31359/task/31366/stat : 31366 (java) S 31356 31359 30547 0 -1 1077944384 126444 0 0 0 553 46 0 0 20 0 48 0 254346424 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944869358352 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31367] ppid=31356 vsize=27984680 memory=3780 CPUtime=5.97 cores=0-7
/proc/31359/task/31367/stat : 31367 (java) S 31356 31359 30547 0 -1 1077944384 119649 0 0 0 551 46 0 0 20 0 48 0 254346424 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944868305808 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31368] ppid=31356 vsize=27984680 memory=3140 CPUtime=5.95 cores=0-7
/proc/31359/task/31368/stat : 31368 (java) S 31356 31359 30547 0 -1 1077944384 126935 0 0 0 548 47 0 0 20 0 48 0 254346424 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944867253264 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31369] ppid=31356 vsize=27984680 memory=1244 CPUtime=5.96 cores=0-7
/proc/31359/task/31369/stat : 31369 (java) S 31356 31359 30547 0 -1 1077944384 117074 0 0 0 549 47 0 0 20 0 48 0 254346424 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944866200720 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31370] ppid=31356 vsize=27984680 memory=1036 CPUtime=4.91 cores=0-7
/proc/31359/task/31370/stat : 31370 (java) S 31356 31359 30547 0 -1 1077944384 197603 0 0 0 404 87 0 0 20 0 48 0 254346425 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944442902512 139945315117698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31371] ppid=31356 vsize=27984680 memory=1776 CPUtime=0 cores=0-7
/proc/31359/task/31371/stat : 31371 (java) S 31356 31359 30547 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 48 0 254346426 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944441848800 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31372] ppid=31356 vsize=27984680 memory=5724 CPUtime=0 cores=0-7
/proc/31359/task/31372/stat : 31372 (java) S 31356 31359 30547 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 48 0 254346426 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944440796160 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31373] ppid=31356 vsize=27984680 memory=14768 CPUtime=0 cores=0-7
/proc/31359/task/31373/stat : 31373 (java) S 31356 31359 30547 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 48 0 254346428 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944439744720 139945315125147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31374] ppid=31356 vsize=27984680 memory=42920 CPUtime=1.78 cores=0-7
/proc/31359/task/31374/stat : 31374 (java) S 31356 31359 30547 0 -1 1077944384 8565 0 0 0 176 2 0 0 20 0 48 0 254346428 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944438692336 139945315117698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31375] ppid=31356 vsize=27984680 memory=6791534058613427641 CPUtime=1.65 cores=0-7
/proc/31359/task/31375/stat : 31375 (java) S 31356 31359 30547 0 -1 1077944384 4931 0 0 0 164 1 0 0 20 0 48 0 254346428 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944437639792 139945315117698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31376] ppid=31356 vsize=27984680 memory=147 CPUtime=1.47 cores=0-7
/proc/31359/task/31376/stat : 31376 (java) S 31356 31359 30547 0 -1 1077944384 5337 0 0 0 145 2 0 0 20 0 48 0 254346428 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944436587248 139945315117698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31377] ppid=31356 vsize=27984680 memory=1 CPUtime=1.04 cores=0-7
/proc/31359/task/31377/stat : 31377 (java) R 31356 31359 30547 0 -1 1077944384 13877 0 0 0 102 2 0 0 20 0 48 0 254346428 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944435534704 139945315117698 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31378] ppid=31356 vsize=27984680 memory=423 CPUtime=0 cores=0-7
/proc/31359/task/31378/stat : 31378 (java) S 31356 31359 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 254346429 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944434481376 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31379] ppid=31356 vsize=27984680 memory=199 CPUtime=0.83 cores=0-7
/proc/31359/task/31379/stat : 31379 (java) S 31356 31359 30547 0 -1 1077944384 9019 0 0 0 31 52 0 0 20 0 48 0 254346429 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944433428912 139945315117698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31380] ppid=31356 vsize=27984680 memory=44164 CPUtime=0.04 cores=0-7
/proc/31359/task/31380/stat : 31380 (java) S 31356 31359 30547 0 -1 1077944384 7223 0 0 0 4 0 0 0 20 0 48 0 254346595 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944422085328 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31381] ppid=31356 vsize=27984680 memory=6791534058613427641 CPUtime=4.6 cores=0-7
/proc/31359/task/31381/stat : 31381 (java) S 31356 31359 30547 0 -1 1077944384 20411 0 0 0 190 270 0 0 20 0 48 0 254346613 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944418935856 139945315117698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31382] ppid=31356 vsize=27984680 memory=1404 CPUtime=2491.54 cores=0-7
/proc/31359/task/31382/stat : 31382 (java) R 31356 31359 30547 0 -1 4202560 121192 0 0 0 249010 144 0 0 20 0 48 0 254346634 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944415778264 139944958976723 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31383] ppid=31356 vsize=27984680 memory=4628 CPUtime=0.07 cores=0-7
/proc/31359/task/31383/stat : 31383 (java) S 31356 31359 30547 0 -1 1077944384 151 0 0 0 7 0 0 0 20 0 48 0 254346635 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944414733840 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31384] ppid=31356 vsize=27984680 memory=2764240 CPUtime=0.07 cores=0-7
/proc/31359/task/31384/stat : 31384 (java) S 31356 31359 30547 0 -1 1077944384 1746 0 0 0 7 0 0 0 20 0 48 0 254346635 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944413681296 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31385] ppid=31356 vsize=27984680 memory=6791534058613427641 CPUtime=2488.81 cores=0-7
/proc/31359/task/31385/stat : 31385 (java) R 31356 31359 30547 0 -1 4202560 121632 0 0 0 248746 135 0 0 20 0 48 0 254346642 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944412621136 139944960408247 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31386] ppid=31356 vsize=27984680 memory=4126316290023845779 CPUtime=2492.33 cores=0-7
/proc/31359/task/31386/stat : 31386 (java) R 31356 31359 30547 0 -1 4202560 122805 0 0 0 249096 137 0 0 20 0 48 0 254346642 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944411567832 139944960155959 0 4 0 16800975 0 0 0 -1 0 0 0 23 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31387] ppid=31356 vsize=27984680 memory=6276 CPUtime=2490.04 cores=0-7
/proc/31359/task/31387/stat : 31387 (java) R 31356 31359 30547 0 -1 4202560 126335 0 0 0 248857 147 0 0 20 0 48 0 254346642 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944410515280 139944960559840 0 4 0 16800975 0 0 0 -1 3 0 0 19 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31388] ppid=31356 vsize=27984680 memory=1994827 CPUtime=2491.67 cores=0-7
/proc/31359/task/31388/stat : 31388 (java) R 31356 31359 30547 0 -1 4202560 129125 0 0 0 249029 138 0 0 20 0 48 0 254346642 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944409462488 139944960564759 0 4 0 16800975 0 0 0 -1 7 0 0 19 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31389] ppid=31356 vsize=27984680 memory=211 CPUtime=0.06 cores=0-7
/proc/31359/task/31389/stat : 31389 (java) S 31356 31359 30547 0 -1 1077944384 1378 0 0 0 6 0 0 0 20 0 48 0 254346642 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944408406752 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31390] ppid=31356 vsize=27984680 memory=599 CPUtime=0.04 cores=0-7
/proc/31359/task/31390/stat : 31390 (java) S 31356 31359 30547 0 -1 1077944384 54 0 0 0 4 0 0 0 20 0 48 0 254346643 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944405257056 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31391] ppid=31356 vsize=27984680 memory=598 CPUtime=2492.68 cores=0-7
/proc/31359/task/31391/stat : 31391 (java) R 31356 31359 30547 0 -1 4202560 125238 0 0 0 249130 138 0 0 20 0 48 0 254346643 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944404207568 139945300316557 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31392] ppid=31356 vsize=27984680 memory=6791534058613427641 CPUtime=2491.45 cores=0-7
/proc/31359/task/31392/stat : 31392 (java) R 31356 31359 30547 0 -1 4202560 139828 0 0 0 248984 161 0 0 20 0 48 0 254346643 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944403154824 139944960409485 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31393] ppid=31356 vsize=27984680 memory=916 CPUtime=2491.72 cores=0-7
/proc/31359/task/31393/stat : 31393 (java) R 31356 31359 30547 0 -1 4202560 133101 0 0 0 249023 149 0 0 20 0 48 0 254346643 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944402102616 139944953256824 0 4 0 16800975 0 0 0 -1 2 0 0 18 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31394] ppid=31356 vsize=27984680 memory=2763728 CPUtime=0.04 cores=0-7
/proc/31359/task/31394/stat : 31394 (java) S 31356 31359 30547 0 -1 1077944384 29 0 0 0 4 0 0 0 20 0 48 0 254346649 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944401056656 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31395] ppid=31356 vsize=27984680 memory=4108 CPUtime=0.02 cores=0-7
/proc/31359/task/31395/stat : 31395 (java) S 31356 31359 30547 0 -1 1077944384 28 0 0 0 2 0 0 0 20 0 48 0 254346654 28656312320 690860 33554432000 4194304 4196468 140736755866688 139944397870096 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31396] ppid=31356 vsize=27984680 memory=1404 CPUtime=0.03 cores=0-7
/proc/31359/task/31396/stat : 31396 (java) S 31356 31359 30547 0 -1 1077944384 35 0 0 0 3 0 0 0 20 0 48 0 254346654 28656312320 690860 33554432000 4194304 4196468 140736755866688 139943406452800 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31397] ppid=31356 vsize=27984680 memory=2763216 CPUtime=0.04 cores=0-7
/proc/31359/task/31397/stat : 31397 (java) S 31356 31359 30547 0 -1 1077944384 1296 0 0 0 4 0 0 0 20 0 48 0 254346654 28656312320 690860 33554432000 4194304 4196468 140736755866688 139943405409552 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31398] ppid=31356 vsize=27984680 memory=2764756 CPUtime=0.04 cores=0-7
/proc/31359/task/31398/stat : 31398 (java) S 31356 31359 30547 0 -1 1077944384 1265 0 0 0 4 0 0 0 20 0 48 0 254346654 28656312320 690860 33554432000 4194304 4196468 140736755866688 139943404346208 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31399] ppid=31356 vsize=27984680 memory=6791534058613427641 CPUtime=0.04 cores=0-7
/proc/31359/task/31399/stat : 31399 (java) S 31356 31359 30547 0 -1 1077944384 1683 0 0 0 4 0 0 0 20 0 48 0 254346654 28656312320 690860 33554432000 4194304 4196468 140736755866688 139943403296464 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31400] ppid=31356 vsize=27984680 memory=4126316290023845779 CPUtime=0.04 cores=0-7
/proc/31359/task/31400/stat : 31400 (java) S 31356 31359 30547 0 -1 1077944384 1391 0 0 0 4 0 0 0 20 0 48 0 254346654 28656312320 690860 33554432000 4194304 4196468 140736755866688 139943402251920 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31401] ppid=31356 vsize=27984680 memory=6791534058613427641 CPUtime=0.04 cores=0-7
/proc/31359/task/31401/stat : 31401 (java) R 31356 31359 30547 0 -1 1077944384 49 0 0 0 4 0 0 0 20 0 48 0 254346654 28656312320 690860 33554432000 4194304 4196468 140736755866688 139943401195776 139945315116757 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31402] ppid=31356 vsize=27984680 memory=4126316290023845779 CPUtime=0.04 cores=0-7
/proc/31359/task/31402/stat : 31402 (java) S 31356 31359 30547 0 -1 1077944384 1378 0 0 0 4 0 0 0 20 0 48 0 254346655 28656312320 690860 33554432000 4194304 4196468 140736755866688 139943400135008 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31403] ppid=31356 vsize=27984680 memory=576587670020715552 CPUtime=0.04 cores=0-7
/proc/31359/task/31403/stat : 31403 (java) S 31356 31359 30547 0 -1 1077944384 1628 0 0 0 4 0 0 0 20 0 48 0 254346655 28656312320 690860 33554432000 4194304 4196468 140736755866688 139943399093264 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31404] ppid=31356 vsize=27984680 memory=7234303152781525078 CPUtime=0.05 cores=0-7
/proc/31359/task/31404/stat : 31404 (java) S 31356 31359 30547 0 -1 1077944384 1394 0 0 0 5 0 0 0 20 0 48 0 254346655 28656312320 690860 33554432000 4194304 4196468 140736755866688 139943398040720 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
[pid=31359/tid=31405] ppid=31356 vsize=27984680 memory=4629771062077588875 CPUtime=0.03 cores=0-7
/proc/31359/task/31405/stat : 31405 (java) S 31356 31359 30547 0 -1 1077944384 1402 0 0 0 3 0 0 0 20 0 48 0 254346655 28656312320 690860 33554432000 4194304 4196468 140736755866688 139943396977376 139945315116757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29900800 140736755868750 140736755868933 140736755868933 140736755871695 0
Current children cumulated CPU time: 19997.5 s
Current children cumulated vsize: 27984680 KiB
Current children cumulated memory: 2763440 KiB

[startup+2520.3 s]*
/proc/loadavg: 8.66 8.76 8.47 2/180 31455
/proc/meminfo: memFree=25930932/32770624 swapFree=67108796/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.32
CPU time (s): 19998.3
CPU user time (s): 19982.1
CPU system time (s): 16.128
CPU usage (%): 793.481
Max. virtual memory (cumulated for all children) (KiB): 27984680
Max. memory (cumulated for all children) (KiB): 3871240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19982.1
system time used= 16.128
maximum resident set size= 3871252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2303568
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 587763
involuntary context switches= 430314


# summary of solver processes directly reported to runsolver:
#   pid: 31359
#   total CPU time (s): 19998.3
#   total CPU user time (s): 19982.1
#   total CPU system time (s): 16.128

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.7535 second user time and 36.1962 second system time

The end

Launcher Data 

Begin job on node138 at 2018-08-15 23:17:12
IDJOB=4308947
IDBENCH=141221
IDSOLVER=2793
FILE ID=node138/4308947-1534367832
RUNJOBID= node138-1534362609-30574
PBS_JOBID= 21038271
Free space on /tmp= 38064 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
BENCH NAME= XCSP18/SumColoring/SumColoring-myciel5_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308947-1534367832/watcher-4308947-1534367832 -o /tmp/evaluation-result-4308947-1534367832/solver-4308947-1534367832 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1534362609-30574 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 797367819 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308947-1534367832.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 129cb36d1c9243226923c7f46c8f3d2b
RANDOM SEED=797367819

node138.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.71
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.71
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.71
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.71
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:        28691636 kB
MemAvailable:   31888912 kB
Buffers:          107564 kB
Cached:          3347604 kB
SwapCached:           12 kB
Active:          1795720 kB
Inactive:        1719976 kB
Active(anon):       4504 kB
Inactive(anon):   116684 kB
Active(file):    1791216 kB
Inactive(file):  1603292 kB
Unevictable:        7260 kB
Mlocked:            7260 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:             35740 kB
Writeback:             0 kB
AnonPages:         80324 kB
Mapped:            54520 kB
Shmem:             57932 kB
Slab:             259108 kB
SReclaimable:     231228 kB
SUnreclaim:        27880 kB
KernelStack:        3520 kB
PageTables:         5284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     357296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 38028 MiB
End job on node138 at 2018-08-15 23:59:13