Trace number 4308597

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 - Hybrid 2018-08-14SAT (TO)46 2520.05 2450.33

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 benchmark292.877
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: 225241371
0.67/0.55	c timeout: 2520
0.67/0.55	c memlimit: 11000
0.67/0.55	c nbcore: 4
0.67/0.57	c Parsing instance...
1.61/1.09	c Parsing done, starting first complete search...
1.80/1.12	o 2078
1.80/1.12	o 2077
1.80/1.13	o 2076
1.80/1.13	o 2075
1.80/1.13	o 2074
1.80/1.13	o 2073
1.80/1.13	o 2072
1.80/1.13	o 2071
1.80/1.13	o 2070
1.80/1.13	o 2069
1.80/1.13	o 2068
1.80/1.13	o 2067
1.80/1.13	o 2066
1.80/1.13	o 2065
1.80/1.13	o 2064
1.80/1.13	o 2063
1.80/1.13	o 2062
1.80/1.13	o 2061
1.80/1.13	o 2060
1.80/1.13	o 2059
1.80/1.14	o 2058
1.80/1.14	o 2057
1.80/1.14	o 2056
1.80/1.14	o 2055
1.80/1.14	o 2054
1.80/1.14	o 2053
1.80/1.14	o 2052
1.80/1.14	o 2051
1.80/1.14	o 2050
1.80/1.14	o 2049
1.80/1.14	o 2048
1.80/1.14	o 2047
1.80/1.14	o 2046
1.80/1.14	o 2045
1.80/1.14	o 2044
1.80/1.14	o 2043
1.80/1.14	o 2042
1.80/1.14	o 2041
1.80/1.14	o 2040
1.80/1.14	o 2039
1.80/1.14	o 2038
1.80/1.14	o 2037
1.80/1.14	o 2036
1.80/1.14	o 2035
1.80/1.14	o 2034
1.80/1.14	o 2033
1.80/1.14	o 2032
1.80/1.15	o 2031
1.80/1.15	o 2030
1.80/1.15	o 2029
1.80/1.15	o 2028
1.80/1.15	o 2027
1.80/1.15	o 2026
1.80/1.15	o 2025
1.80/1.15	o 2024
1.80/1.15	o 2023
1.80/1.15	o 2022
1.80/1.15	o 2021
1.80/1.15	o 2020
1.80/1.15	o 2019
1.80/1.15	o 2018
1.80/1.15	o 2017
1.80/1.15	o 2016
1.80/1.15	o 2015
1.80/1.15	o 2014
1.80/1.15	o 2013
1.80/1.15	o 2012
1.80/1.15	o 2011
1.80/1.15	o 2010
1.80/1.15	o 2009
1.80/1.15	o 2008
1.80/1.15	o 2007
1.80/1.15	o 2006
1.80/1.15	o 2005
1.80/1.15	o 2004
1.80/1.16	o 2003
1.80/1.16	o 2002
1.80/1.16	o 2001
1.80/1.16	o 2000
1.80/1.16	o 1999
1.80/1.16	o 1998
1.80/1.16	o 1997
1.80/1.16	o 1996
1.80/1.16	o 1995
1.80/1.16	o 1994
1.80/1.16	o 1993
1.80/1.16	o 1992
1.80/1.17	o 1991
1.80/1.17	o 1990
1.80/1.17	o 1989
1.80/1.17	o 1988
1.80/1.17	o 1987
1.80/1.17	o 1986
1.80/1.17	o 1985
1.80/1.17	o 1984
1.80/1.17	o 1983
1.80/1.17	o 1982
1.80/1.17	o 1981
1.80/1.17	o 1980
1.80/1.17	o 1979
1.80/1.17	o 1978
1.80/1.17	o 1977
1.80/1.17	o 1976
1.80/1.17	o 1975
1.80/1.17	o 1974
1.80/1.17	o 1973
1.80/1.17	o 1972
1.80/1.17	o 1971
1.80/1.17	o 1970
1.80/1.17	o 1969
1.80/1.17	o 1968
1.80/1.17	o 1967
1.80/1.18	o 1966
1.80/1.18	o 1965
1.80/1.18	o 1964
1.80/1.18	o 1963
1.80/1.18	o 1962
1.80/1.18	o 1961
1.80/1.18	o 1960
1.80/1.18	o 1959
1.80/1.18	o 1958
1.80/1.18	o 1957
1.80/1.18	o 1956
1.80/1.18	o 1955
1.80/1.18	o 1954
1.80/1.18	o 1953
1.80/1.18	o 1952
1.80/1.18	o 1951
1.80/1.18	o 1950
1.80/1.18	o 1949
1.80/1.19	o 1948
1.80/1.19	o 1947
1.80/1.19	o 1946
1.80/1.19	o 1945
1.80/1.19	o 1944
1.80/1.19	o 1943
1.80/1.19	o 1942
1.80/1.19	o 1941
1.80/1.19	o 1940
1.80/1.19	o 1939
1.80/1.19	o 1938
1.80/1.19	o 1937
1.80/1.19	o 1936
1.80/1.19	o 1935
1.80/1.19	o 1934
1.80/1.19	o 1933
1.80/1.19	o 1932
1.80/1.19	o 1931
1.80/1.19	o 1930
1.80/1.19	o 1929
1.80/1.19	o 1928
1.80/1.19	o 1927
1.80/1.19	o 1926
1.80/1.19	o 1925
1.80/1.19	o 1924
1.80/1.19	o 1923
1.80/1.19	o 1922
1.80/1.19	o 1921
1.80/1.19	o 1920
1.80/1.19	o 1919
1.80/1.19	o 1918
1.80/1.19	o 1917
1.80/1.19	o 1916
1.80/1.19	o 1915
1.80/1.19	o 1914
1.80/1.19	o 1913
1.80/1.19	o 1912
2.07/1.20	o 1911
2.07/1.20	o 1910
2.07/1.20	o 1909
2.07/1.20	o 1908
2.07/1.20	o 1907
2.07/1.20	o 1906
2.07/1.20	o 1905
2.07/1.20	o 1904
2.07/1.20	o 1903
2.07/1.20	o 1902
2.07/1.20	o 1901
2.07/1.20	o 1900
2.07/1.20	o 1899
2.07/1.20	o 1898
2.07/1.20	o 1897
2.07/1.20	o 1896
2.07/1.20	o 1895
2.07/1.20	o 1894
2.07/1.20	o 1893
2.07/1.20	o 1892
2.07/1.20	o 1891
2.07/1.20	o 1890
2.07/1.20	o 1889
2.07/1.21	o 1888
2.07/1.21	o 1887
2.07/1.21	o 1886
2.07/1.21	o 1885
2.07/1.21	o 1884
2.07/1.21	o 1883
2.07/1.21	o 1882
2.07/1.21	o 1881
2.07/1.21	o 1880
2.07/1.21	o 1879
2.07/1.21	o 1878
2.07/1.21	o 1877
2.07/1.21	o 1876
2.07/1.21	o 1875
2.07/1.21	o 1874
2.07/1.21	o 1873
2.07/1.21	o 1872
2.07/1.21	o 1871
2.07/1.21	o 1870
2.07/1.21	o 1869
2.07/1.21	o 1868
2.07/1.21	o 1867
2.07/1.21	o 1866
2.07/1.21	o 1865
2.07/1.21	o 1864
2.07/1.21	o 1863
2.07/1.21	o 1862
2.07/1.21	o 1861
2.07/1.21	o 1860
2.07/1.21	o 1859
2.07/1.22	o 1858
2.07/1.22	o 1857
2.07/1.22	o 1856
2.07/1.22	o 1855
2.07/1.22	o 1854
2.07/1.22	o 1853
2.07/1.22	o 1852
2.07/1.22	o 1851
2.07/1.22	o 1850
2.07/1.22	o 1849
2.07/1.22	o 1848
2.07/1.22	o 1847
2.07/1.22	o 1846
2.07/1.22	o 1845
2.07/1.22	o 1844
2.07/1.22	o 1843
2.07/1.22	o 1842
2.07/1.22	o 1841
2.07/1.22	o 1840
2.07/1.22	o 1839
2.07/1.22	o 1838
2.07/1.22	o 1837
2.07/1.22	o 1836
2.07/1.22	o 1835
2.07/1.22	o 1834
2.07/1.23	o 1833
2.07/1.23	o 1832
2.07/1.23	o 1831
2.07/1.23	o 1830
2.07/1.23	o 1829
2.07/1.23	o 1828
2.07/1.23	o 1827
2.07/1.23	o 1826
2.07/1.23	o 1825
2.07/1.24	o 1824
2.07/1.24	o 1823
2.07/1.24	o 1822
2.07/1.24	o 1821
2.07/1.24	o 1820
2.07/1.24	o 1819
2.07/1.24	o 1818
2.07/1.24	o 1817
2.07/1.24	o 1816
2.07/1.24	o 1815
2.07/1.24	o 1814
2.07/1.24	o 1813
2.07/1.24	o 1812
2.07/1.24	o 1811
2.07/1.24	o 1810
2.07/1.24	o 1809
2.07/1.24	o 1808
2.07/1.24	o 1807
2.07/1.24	o 1806
2.07/1.24	o 1805
2.07/1.24	o 1804
2.07/1.24	o 1803
2.07/1.24	o 1802
2.07/1.24	o 1801
2.07/1.24	o 1800
2.07/1.24	o 1799
2.07/1.24	o 1798
2.07/1.24	o 1797
2.07/1.24	o 1796
2.07/1.24	o 1795
2.07/1.24	o 1794
2.07/1.24	o 1793
2.07/1.24	o 1792
2.07/1.24	o 1791
2.07/1.24	o 1790
2.07/1.24	o 1789
2.07/1.24	o 1788
2.07/1.24	o 1787
2.07/1.24	o 1786
2.07/1.24	o 1785
2.07/1.24	o 1784
2.07/1.24	o 1783
2.07/1.24	o 1782
2.07/1.24	o 1781
2.07/1.24	o 1780
2.07/1.24	o 1778
2.07/1.24	o 1777
2.07/1.24	o 1776
2.07/1.24	o 1775
2.07/1.24	o 1774
2.07/1.24	o 1773
2.07/1.24	o 1772
2.07/1.24	o 1771
2.07/1.24	o 1770
2.07/1.24	o 1769
2.07/1.24	o 1768
2.07/1.24	o 1767
2.07/1.24	o 1766
2.07/1.24	o 1765
2.07/1.25	o 1764
2.07/1.25	o 1763
2.07/1.25	o 1762
2.07/1.25	o 1761
2.07/1.25	o 1760
2.07/1.25	o 1759
2.07/1.25	o 1758
2.07/1.25	o 1757
2.07/1.25	o 1756
2.07/1.25	o 1755
2.07/1.25	o 1754
2.07/1.25	o 1753
2.07/1.25	o 1752
2.07/1.25	o 1751
2.07/1.25	o 1750
2.07/1.25	o 1749
2.07/1.25	o 1748
2.07/1.25	o 1747
2.07/1.25	o 1746
2.07/1.25	o 1745
2.07/1.25	o 1744
2.07/1.25	o 1743
2.07/1.25	o 1742
2.07/1.25	o 1741
2.07/1.25	o 1740
2.07/1.25	o 1739
2.07/1.25	o 1737
2.07/1.25	o 1736
2.07/1.25	o 1734
2.07/1.25	o 1733
2.07/1.25	o 1732
2.07/1.25	o 1731
2.07/1.25	o 1730
2.07/1.25	o 1729
2.07/1.25	o 1728
2.07/1.25	o 1727
2.07/1.25	o 1726
2.07/1.25	o 1725
2.07/1.25	o 1724
2.07/1.25	o 1723
2.07/1.25	o 1722
2.07/1.25	o 1721
2.07/1.25	o 1720
2.07/1.25	o 1719
2.07/1.25	o 1718
2.07/1.25	o 1717
2.07/1.25	o 1716
2.07/1.25	o 1715
2.07/1.25	o 1714
2.07/1.25	o 1713
2.07/1.25	o 1712
2.07/1.26	o 1711
2.07/1.26	o 1710
2.07/1.26	o 1709
2.07/1.26	o 1708
2.07/1.26	o 1707
2.07/1.26	o 1706
2.07/1.26	o 1705
2.07/1.26	o 1704
2.07/1.26	o 1703
2.07/1.26	o 1702
2.07/1.26	o 1701
2.07/1.26	o 1700
2.07/1.26	o 1699
2.07/1.26	o 1698
2.07/1.26	o 1697
2.07/1.26	o 1696
2.07/1.26	o 1695
2.07/1.26	o 1694
2.07/1.26	o 1693
2.07/1.26	o 1692
2.07/1.26	o 1691
2.07/1.26	o 1690
2.07/1.26	o 1689
2.07/1.26	o 1688
2.07/1.26	o 1687
2.07/1.26	o 1686
2.07/1.26	o 1685
2.07/1.26	o 1684
2.07/1.26	o 1683
2.07/1.26	o 1682
2.07/1.26	o 1681
2.07/1.26	o 1680
2.07/1.26	o 1679
2.07/1.26	o 1678
2.07/1.26	o 1677
2.07/1.26	o 1676
2.07/1.26	o 1675
2.07/1.26	o 1674
2.07/1.27	o 1673
2.07/1.27	o 1672
2.07/1.27	o 1671
2.07/1.27	o 1670
2.07/1.27	o 1669
2.07/1.27	o 1668
2.07/1.27	o 1667
2.07/1.27	o 1666
2.07/1.27	o 1665
2.07/1.27	o 1664
2.07/1.27	o 1663
2.07/1.27	o 1662
2.07/1.27	o 1661
2.07/1.27	o 1660
2.07/1.27	o 1659
2.07/1.27	o 1658
2.07/1.27	o 1657
2.07/1.27	o 1656
2.07/1.27	o 1655
2.07/1.27	o 1654
2.07/1.27	o 1653
2.07/1.27	o 1652
2.07/1.28	o 1651
2.07/1.28	o 1650
2.07/1.28	o 1649
2.07/1.28	o 1648
2.07/1.28	o 1647
2.07/1.28	o 1646
2.07/1.28	o 1645
2.07/1.28	o 1644
2.07/1.28	o 1643
2.07/1.28	o 1642
2.07/1.28	o 1641
2.07/1.28	o 1640
2.07/1.28	o 1639
2.07/1.28	o 1638
2.07/1.28	o 1637
2.07/1.28	o 1636
2.07/1.28	o 1635
2.07/1.28	o 1634
2.07/1.28	o 1633
2.07/1.28	o 1632
2.07/1.28	o 1631
2.07/1.28	o 1630
2.07/1.28	o 1629
2.07/1.28	o 1628
2.07/1.28	o 1627
2.07/1.28	o 1626
2.07/1.28	o 1625
2.07/1.28	o 1624
2.07/1.28	o 1623
2.07/1.28	o 1622
2.07/1.28	o 1621
2.07/1.28	o 1620
2.07/1.28	o 1619
2.07/1.28	o 1618
2.07/1.28	o 1617
2.07/1.28	o 1616
2.07/1.28	o 1615
2.07/1.28	o 1614
2.07/1.28	o 1613
2.07/1.28	o 1612
2.07/1.28	o 1611
2.07/1.28	o 1610
2.07/1.28	o 1609
2.07/1.28	o 1608
2.07/1.28	o 1607
2.07/1.28	o 1606
2.07/1.29	o 1605
2.07/1.29	o 1604
2.07/1.29	o 1603
2.07/1.29	o 1602
2.07/1.29	o 1601
2.07/1.29	o 1600
2.07/1.29	o 1599
2.07/1.29	o 1598
2.07/1.29	o 1597
2.07/1.29	o 1596
2.07/1.29	o 1595
2.07/1.29	o 1594
2.07/1.29	o 1593
2.07/1.29	o 1592
2.07/1.29	o 1591
2.07/1.29	o 1590
2.07/1.29	o 1589
2.07/1.29	o 1588
2.07/1.29	o 1587
2.07/1.29	o 1586
2.07/1.29	o 1585
2.07/1.29	o 1584
2.07/1.29	o 1583
2.07/1.29	o 1582
2.07/1.29	o 1581
2.07/1.29	o 1580
2.07/1.29	o 1579
2.07/1.29	o 1578
2.07/1.29	o 1577
2.07/1.29	o 1576
2.07/1.29	o 1575
2.07/1.30	o 1574
2.07/1.30	o 1573
2.07/1.30	o 1572
2.07/1.30	o 1571
2.40/1.31	o 1570
2.40/1.31	o 1569
2.40/1.31	o 1568
2.40/1.31	o 1567
2.40/1.31	o 1566
2.40/1.31	o 1565
2.40/1.31	o 1564
2.40/1.31	o 1563
2.40/1.31	o 1562
2.40/1.31	o 1561
2.40/1.31	o 1560
2.40/1.31	o 1559
2.40/1.31	o 1558
2.40/1.31	o 1557
2.40/1.31	o 1556
2.40/1.31	o 1555
2.40/1.31	o 1554
2.40/1.31	o 1553
2.40/1.31	o 1552
2.40/1.31	o 1551
2.40/1.31	o 1550
2.40/1.31	o 1549
2.40/1.31	o 1548
2.40/1.31	o 1547
2.40/1.31	o 1546
2.40/1.31	o 1545
2.40/1.31	o 1544
2.40/1.31	o 1543
2.40/1.31	o 1542
2.40/1.31	o 1541
2.40/1.31	o 1540
2.40/1.31	o 1539
2.40/1.31	o 1538
2.40/1.31	o 1537
2.40/1.31	o 1536
2.40/1.31	o 1535
2.40/1.31	o 1534
2.40/1.31	o 1533
2.40/1.31	o 1532
2.40/1.31	o 1531
2.40/1.31	o 1530
2.40/1.31	o 1529
2.40/1.31	o 1528
2.40/1.31	o 1527
2.40/1.31	o 1526
2.40/1.31	o 1525
2.40/1.31	o 1524
2.40/1.32	o 1523
2.40/1.32	o 1522
2.40/1.32	o 1521
2.40/1.32	o 1520
2.40/1.32	o 1519
2.40/1.32	o 1518
2.40/1.32	o 1517
2.40/1.32	o 1516
2.40/1.32	o 1515
2.40/1.32	o 1514
2.40/1.32	o 1513
2.40/1.32	o 1512
2.40/1.32	o 1511
2.40/1.32	o 1510
2.40/1.32	o 1509
2.40/1.32	o 1508
2.40/1.32	o 1507
2.40/1.32	o 1506
2.40/1.32	o 1505
2.40/1.32	o 1504
2.40/1.32	o 1503
2.40/1.32	o 1502
2.40/1.32	o 1501
2.40/1.32	o 1500
2.40/1.32	o 1499
2.40/1.32	o 1498
2.40/1.32	o 1497
2.40/1.32	o 1496
2.40/1.32	o 1495
2.40/1.32	o 1494
2.40/1.32	o 1493
2.40/1.32	o 1492
2.40/1.32	o 1491
2.40/1.32	o 1490
2.40/1.32	o 1489
2.40/1.32	o 1488
2.40/1.32	o 1487
2.40/1.33	o 1486
2.40/1.33	o 1485
2.40/1.33	o 1484
2.40/1.33	o 1483
2.40/1.35	o 1482
2.40/1.35	o 1481
2.40/1.35	o 1480
2.40/1.35	o 1479
2.40/1.35	o 1478
2.40/1.35	o 1477
2.40/1.35	o 1476
2.40/1.35	o 1475
2.40/1.35	o 1474
2.40/1.35	o 1473
2.40/1.35	o 1472
2.40/1.35	o 1471
2.40/1.35	o 1470
2.40/1.35	o 1469
2.40/1.35	o 1468
2.40/1.35	o 1467
2.40/1.35	o 1466
2.40/1.35	o 1465
2.40/1.35	o 1464
2.40/1.35	o 1463
2.40/1.35	o 1462
2.40/1.35	o 1461
2.40/1.35	o 1460
2.40/1.35	o 1459
2.40/1.35	o 1458
2.40/1.35	o 1457
2.40/1.35	o 1456
2.40/1.36	o 1455
2.40/1.36	o 1454
2.40/1.36	o 1453
2.40/1.36	o 1452
2.40/1.36	o 1451
2.40/1.36	o 1450
2.40/1.36	o 1449
2.40/1.36	o 1448
2.40/1.36	o 1447
2.40/1.36	o 1446
2.40/1.36	o 1445
2.40/1.36	o 1444
2.40/1.36	o 1443
2.40/1.36	o 1442
2.40/1.36	o 1441
2.40/1.36	o 1440
2.40/1.36	o 1439
2.40/1.38	o 1438
2.40/1.38	o 1437
2.40/1.38	o 1436
2.40/1.38	o 1435
2.40/1.38	o 1434
2.40/1.38	o 1433
2.40/1.38	o 1432
2.40/1.38	o 1431
2.40/1.38	o 1430
2.40/1.39	o 1429
2.40/1.39	o 1428
2.40/1.39	o 1427
2.40/1.39	o 1426
2.40/1.39	o 1425
2.40/1.39	o 1424
2.40/1.39	o 1423
2.40/1.39	o 1422
2.40/1.39	o 1421
2.40/1.39	o 1420
2.40/1.39	o 1419
2.40/1.39	o 1418
2.40/1.39	o 1417
2.40/1.39	o 1416
2.40/1.39	o 1415
2.40/1.39	o 1414
2.40/1.39	o 1413
2.40/1.39	o 1412
2.40/1.39	o 1411
2.40/1.39	o 1410
2.40/1.39	o 1409
2.40/1.39	o 1408
2.40/1.39	o 1407
2.40/1.39	o 1406
2.40/1.39	o 1405
2.40/1.39	o 1404
2.40/1.39	o 1403
2.40/1.39	o 1402
2.40/1.39	o 1400
2.40/1.39	o 1399
2.40/1.39	o 1398
2.40/1.39	o 1397
2.40/1.39	o 1396
2.40/1.39	o 1395
2.72/1.40	o 1394
2.72/1.40	o 1393
2.72/1.40	o 1392
2.72/1.40	o 1391
2.72/1.40	o 1390
2.72/1.40	o 1389
2.72/1.40	o 1388
2.72/1.40	o 1387
2.72/1.40	o 1386
2.72/1.40	o 1385
2.72/1.41	o 1384
2.72/1.41	o 1383
2.72/1.41	o 1382
2.72/1.41	o 1381
2.72/1.41	o 1380
2.72/1.41	o 1379
2.72/1.41	o 1378
2.72/1.41	o 1377
2.72/1.41	o 1376
2.72/1.41	o 1375
2.72/1.41	o 1374
2.72/1.41	o 1373
2.72/1.41	o 1372
2.72/1.41	o 1371
2.72/1.41	o 1370
2.72/1.41	o 1369
2.72/1.41	o 1368
2.72/1.41	o 1367
2.72/1.41	o 1366
2.72/1.41	o 1365
2.72/1.41	o 1364
2.72/1.41	o 1363
2.72/1.41	o 1362
2.72/1.41	o 1361
2.72/1.41	o 1360
2.72/1.41	o 1359
2.72/1.41	o 1358
2.72/1.41	o 1357
2.72/1.41	o 1356
2.72/1.41	o 1355
2.72/1.41	o 1354
2.72/1.41	o 1353
2.72/1.41	o 1352
2.72/1.42	o 1351
2.72/1.45	o 1350
2.72/1.45	o 1349
2.72/1.45	o 1348
2.72/1.45	o 1347
2.72/1.45	o 1346
2.72/1.45	o 1345
2.72/1.45	o 1344
2.72/1.45	o 1343
2.72/1.45	o 1342
2.72/1.45	o 1341
2.72/1.45	o 1340
2.72/1.45	o 1339
2.72/1.45	o 1338
2.72/1.45	o 1337
2.72/1.45	o 1336
2.72/1.45	o 1335
2.72/1.45	o 1334
2.72/1.45	o 1333
2.72/1.45	o 1332
2.72/1.45	o 1331
2.72/1.45	o 1330
2.72/1.45	o 1329
2.72/1.45	o 1328
2.72/1.45	o 1327
2.72/1.45	o 1326
2.72/1.45	o 1325
2.72/1.45	o 1324
2.72/1.45	o 1323
2.72/1.45	o 1322
2.72/1.45	o 1321
2.72/1.45	o 1320
2.72/1.45	o 1319
2.72/1.45	o 1318
2.72/1.45	o 1317
2.72/1.45	o 1316
2.72/1.45	o 1315
2.72/1.45	o 1314
2.72/1.45	o 1313
2.72/1.45	o 1312
2.72/1.46	o 1311
2.72/1.46	o 1310
2.72/1.46	o 1309
2.72/1.46	o 1308
2.72/1.47	o 1307
2.72/1.47	o 1306
2.72/1.47	o 1305
2.72/1.47	o 1304
2.72/1.48	o 1303
2.72/1.48	o 1302
2.72/1.48	o 1301
2.72/1.48	o 1300
2.72/1.48	o 1299
2.72/1.48	o 1298
2.72/1.48	o 1297
2.72/1.48	o 1296
2.72/1.48	o 1295
2.72/1.48	o 1294
2.72/1.48	o 1293
2.72/1.48	o 1292
2.72/1.48	o 1291
2.72/1.48	o 1290
2.72/1.48	o 1289
2.72/1.48	o 1288
2.72/1.48	o 1287
2.72/1.48	o 1286
2.72/1.48	o 1285
2.72/1.48	o 1284
2.72/1.48	o 1283
2.72/1.48	o 1282
2.72/1.48	o 1281
2.72/1.48	o 1280
2.72/1.48	o 1279
2.72/1.48	o 1278
2.72/1.48	o 1277
2.72/1.48	o 1276
2.72/1.48	o 1275
2.72/1.48	o 1274
2.72/1.48	o 1273
2.72/1.48	o 1272
2.72/1.48	o 1271
2.72/1.48	o 1270
2.72/1.48	o 1269
2.72/1.48	o 1268
2.72/1.48	o 1267
2.72/1.48	o 1266
2.72/1.48	o 1265
2.72/1.48	o 1264
2.72/1.50	o 1263
3.02/1.52	o 1262
3.02/1.52	o 1261
3.02/1.52	o 1260
3.02/1.52	o 1259
3.02/1.52	o 1258
3.02/1.52	o 1257
3.02/1.52	o 1256
3.02/1.52	o 1255
3.02/1.52	o 1254
3.02/1.52	o 1253
3.02/1.52	o 1252
3.02/1.52	o 1251
3.02/1.52	o 1250
3.02/1.52	o 1249
3.02/1.52	o 1248
3.02/1.52	o 1247
3.02/1.52	o 1246
3.02/1.52	o 1245
3.02/1.52	o 1244
3.02/1.52	o 1243
3.02/1.52	o 1242
3.02/1.52	o 1241
3.02/1.52	o 1240
3.02/1.52	o 1239
3.02/1.52	o 1238
3.02/1.52	o 1237
3.02/1.52	o 1236
3.02/1.53	o 1235
3.02/1.53	o 1234
3.02/1.53	o 1233
3.02/1.53	o 1232
3.02/1.53	o 1231
3.02/1.53	o 1230
3.02/1.53	o 1229
3.02/1.53	o 1228
3.02/1.53	o 1227
3.02/1.53	o 1226
3.02/1.53	o 1225
3.02/1.53	o 1224
3.02/1.53	o 1223
3.02/1.53	o 1222
3.02/1.53	o 1221
3.02/1.54	o 1220
3.02/1.54	o 1219
3.02/1.57	o 1218
3.02/1.57	o 1217
3.02/1.57	o 1216
3.02/1.57	o 1215
3.02/1.57	o 1214
3.02/1.57	o 1213
3.02/1.57	o 1212
3.02/1.57	o 1211
3.02/1.57	o 1210
3.02/1.57	o 1209
3.02/1.57	o 1208
3.02/1.57	o 1207
3.02/1.57	o 1206
3.02/1.57	o 1205
3.02/1.57	o 1204
3.02/1.57	o 1203
3.02/1.57	o 1202
3.02/1.57	o 1201
3.02/1.57	o 1200
3.02/1.57	o 1199
3.02/1.57	o 1198
3.02/1.57	o 1197
3.02/1.57	o 1196
3.02/1.57	o 1195
3.02/1.57	o 1194
3.02/1.57	o 1193
3.02/1.57	o 1192
3.02/1.57	o 1191
3.02/1.57	o 1190
3.02/1.57	o 1189
3.02/1.57	o 1188
3.02/1.57	o 1187
3.02/1.57	o 1186
3.02/1.57	o 1185
3.02/1.57	o 1184
3.02/1.57	o 1183
3.02/1.57	o 1182
3.02/1.57	o 1181
3.02/1.57	o 1180
3.02/1.57	o 1179
3.02/1.57	o 1178
3.02/1.57	o 1177
3.02/1.57	o 1176
3.02/1.57	o 1175
3.33/1.60	o 1174
3.33/1.60	o 1173
3.33/1.60	o 1172
3.33/1.60	o 1171
3.33/1.60	o 1170
3.33/1.61	o 1169
3.33/1.61	o 1168
3.33/1.61	o 1167
3.33/1.61	o 1166
3.33/1.61	o 1165
3.33/1.61	o 1164
3.33/1.61	o 1163
3.33/1.61	o 1162
3.33/1.61	o 1161
3.33/1.61	o 1160
3.33/1.61	o 1159
3.33/1.61	o 1158
3.33/1.61	o 1157
3.33/1.61	o 1156
3.33/1.61	o 1155
3.33/1.61	o 1154
3.33/1.61	o 1153
3.33/1.61	o 1152
3.33/1.61	o 1151
3.33/1.61	o 1150
3.33/1.61	o 1149
3.33/1.61	o 1148
3.33/1.61	o 1147
3.33/1.61	o 1146
3.33/1.61	o 1145
3.33/1.61	o 1144
3.33/1.61	o 1143
3.33/1.61	o 1142
3.33/1.61	o 1141
3.33/1.63	o 1140
3.33/1.64	o 1139
3.33/1.64	o 1138
3.33/1.65	o 1137
3.33/1.69	o 1136
3.33/1.69	o 1135
3.63/1.72	o 1134
3.63/1.74	o 1133
3.63/1.74	o 1132
3.63/1.77	o 1131
3.63/1.77	o 1130
3.63/1.77	o 1129
3.63/1.77	o 1128
3.63/1.77	o 1127
3.63/1.77	o 1126
3.63/1.77	o 1125
3.63/1.77	o 1124
3.63/1.77	o 1123
3.63/1.77	o 1122
3.63/1.77	o 1121
3.63/1.77	o 1120
3.63/1.77	o 1119
3.63/1.77	o 1118
3.63/1.77	o 1117
3.63/1.77	o 1116
3.63/1.77	o 1115
3.63/1.77	o 1114
3.63/1.77	o 1113
3.63/1.77	o 1112
3.63/1.77	o 1111
3.63/1.77	o 1110
3.63/1.77	o 1109
3.63/1.77	o 1108
3.63/1.77	o 1107
3.63/1.77	o 1106
3.63/1.77	o 1105
3.63/1.77	o 1104
3.63/1.77	o 1103
3.63/1.77	o 1102
3.63/1.77	o 1101
3.63/1.77	o 1100
3.63/1.77	o 1099
3.63/1.77	o 1098
3.63/1.77	o 1097
3.63/1.77	o 1096
3.63/1.77	o 1095
3.63/1.77	o 1094
3.63/1.77	o 1093
3.63/1.77	o 1092
3.63/1.78	o 1091
3.63/1.78	o 1090
3.63/1.78	o 1089
3.80/1.81	o 1088
3.80/1.83	o 1087
3.80/1.83	o 1086
3.80/1.83	o 1085
3.80/1.83	o 1084
3.80/1.83	o 1083
3.80/1.83	o 1082
3.80/1.83	o 1081
3.80/1.83	o 1080
3.80/1.83	o 1079
3.80/1.83	o 1078
3.80/1.83	o 1077
3.80/1.83	o 1076
3.80/1.83	o 1075
3.80/1.83	o 1074
3.80/1.83	o 1073
3.80/1.83	o 1072
3.80/1.83	o 1071
3.80/1.83	o 1070
3.80/1.83	o 1069
3.80/1.83	o 1068
3.80/1.83	o 1067
3.80/1.83	o 1066
3.80/1.83	o 1065
3.80/1.83	o 1064
3.80/1.83	o 1063
3.80/1.83	o 1062
3.80/1.83	o 1061
3.80/1.83	o 1060
3.80/1.84	o 1059
3.80/1.84	o 1058
3.80/1.87	o 1057
3.80/1.87	o 1056
3.80/1.87	o 1055
4.02/1.91	o 1054
4.02/1.91	o 1053
4.02/1.95	o 1052
4.02/1.95	o 1051
4.02/1.95	o 1050
4.02/1.99	o 1049
4.02/1.99	o 1048
4.02/2.00	o 1047
4.02/2.00	o 1046
4.19/2.08	o 1045
4.19/2.08	o 1044
4.19/2.08	o 1043
4.19/2.08	o 1042
4.19/2.08	o 1041
4.19/2.08	o 1040
4.19/2.08	o 1039
4.19/2.08	o 1038
4.19/2.08	o 1037
4.19/2.08	o 1036
4.19/2.08	o 1035
4.19/2.08	o 1034
4.19/2.08	o 1033
4.19/2.08	o 1032
4.19/2.08	o 1031
4.19/2.08	o 1030
4.19/2.08	o 1029
4.19/2.08	o 1028
4.19/2.08	o 1027
4.19/2.08	o 1026
4.19/2.08	o 1025
4.19/2.08	o 1024
4.19/2.09	o 1023
4.19/2.09	o 1022
4.19/2.09	o 1021
4.19/2.09	o 1020
4.19/2.09	o 1019
4.19/2.09	o 1018
4.19/2.09	o 1017
4.19/2.09	o 1016
4.19/2.09	o 1015
4.19/2.09	o 1014
4.19/2.10	o 1013
4.19/2.10	o 1012
4.19/2.10	o 1011
4.29/2.12	o 1010
4.29/2.12	o 1009
4.29/2.14	o 1008
4.38/2.25	o 1007
4.38/2.25	o 1006
4.80/2.60	o 1005
4.80/2.66	o 1004
4.80/2.66	o 1003
4.90/2.72	o 1002
4.90/2.72	o 1001
4.90/2.72	o 1000
4.90/2.72	o 999
4.90/2.72	o 998
4.90/2.72	o 997
4.90/2.72	o 996
4.90/2.72	o 995
4.90/2.72	o 994
4.90/2.72	o 993
4.90/2.72	o 992
4.90/2.72	o 991
4.90/2.72	o 990
4.90/2.72	o 989
4.90/2.72	o 988
4.90/2.72	o 987
4.90/2.72	o 986
4.90/2.72	o 985
4.90/2.72	o 984
4.90/2.72	o 983
4.90/2.72	o 982
4.90/2.72	o 981
4.90/2.72	o 980
4.90/2.72	o 979
4.90/2.72	o 978
4.90/2.72	o 977
4.90/2.73	o 976
4.90/2.73	o 975
4.90/2.73	o 974
4.90/2.73	o 973
4.90/2.73	o 972
4.90/2.73	o 971
4.90/2.73	o 970
4.90/2.75	o 969
4.90/2.76	o 968
5.04/2.87	o 967
5.32/3.01	o 966
5.43/3.25	o 965
5.62/3.38	o 964
5.62/3.38	o 963
5.82/3.58	o 962
5.92/3.68	o 961
6.63/4.30	o 960
6.63/4.30	o 959
6.63/4.30	o 958
6.63/4.30	o 957
6.63/4.30	o 956
6.63/4.30	o 955
6.63/4.30	o 954
6.63/4.30	o 953
6.63/4.30	o 952
6.63/4.30	o 951
6.63/4.30	o 950
6.63/4.30	o 949
6.63/4.30	o 948
6.63/4.30	o 947
6.63/4.30	o 946
6.63/4.30	o 945
6.63/4.30	o 944
6.63/4.30	o 943
6.63/4.30	o 942
6.63/4.30	o 941
6.63/4.30	o 940
6.63/4.30	o 939
6.63/4.30	o 938
6.63/4.30	o 937
6.63/4.30	o 936
6.63/4.30	o 935
6.63/4.30	o 934
6.63/4.30	o 933
6.63/4.31	o 932
6.63/4.31	o 931
6.63/4.31	o 930
6.63/4.33	o 929
6.63/4.33	o 928
6.63/4.36	o 927
6.96/4.61	o 926
6.96/4.63	o 925
6.96/4.63	o 924
7.16/4.82	o 923
7.66/5.31	o 922
10.08/7.76	o 921
10.18/7.85	o 920
10.18/7.88	o 919
10.86/8.44	o 918
11.16/8.74	o 917
11.16/8.74	o 916
11.16/8.74	o 915
11.16/8.74	o 914
11.16/8.74	o 913
11.16/8.74	o 912
11.16/8.74	o 911
11.16/8.74	o 910
11.16/8.74	o 909
11.16/8.75	o 908
11.16/8.75	o 907
11.16/8.75	o 906
11.16/8.75	o 905
11.16/8.75	o 904
11.16/8.75	o 903
11.16/8.75	o 902
11.16/8.75	o 901
11.16/8.75	o 900
11.16/8.75	o 899
11.16/8.75	o 898
11.16/8.75	o 897
11.16/8.75	o 896
11.16/8.75	o 895
11.16/8.75	o 894
11.16/8.75	o 893
11.16/8.75	o 892
11.16/8.75	o 891
11.16/8.75	o 890
11.16/8.75	o 889
11.16/8.75	o 888
11.16/8.75	o 887
11.16/8.75	o 886
11.16/8.75	o 885
11.16/8.75	o 884
11.16/8.75	o 883
11.16/8.76	o 882
11.16/8.76	o 881
11.16/8.76	o 880
11.26/8.87	o 879
11.26/8.87	o 878
11.26/8.87	o 877
11.36/8.91	o 876
11.36/8.93	o 875
12.47/10.04	o 874
12.47/10.04	o 873
12.47/10.04	o 872
12.47/10.04	o 871
12.47/10.04	o 870
12.47/10.04	o 869
12.47/10.04	o 868
12.47/10.04	o 867
12.47/10.04	o 866
12.47/10.05	o 865
12.47/10.05	o 864
12.47/10.05	o 863
12.47/10.05	o 862
12.47/10.05	o 861
12.47/10.05	o 860
12.47/10.05	o 859
12.47/10.05	o 858
12.47/10.05	o 857
12.47/10.05	o 856
12.47/10.05	o 855
12.47/10.05	o 854
12.47/10.05	o 853
12.47/10.05	o 852
12.47/10.05	o 851
12.47/10.05	o 850
12.47/10.05	o 849
12.47/10.05	o 848
12.47/10.05	o 847
12.47/10.05	o 846
12.47/10.05	o 845
12.47/10.08	o 844
13.86/11.46	o 843
14.16/11.75	o 842
14.36/11.95	o 841
14.47/12.02	o 840
15.36/12.99	o 839
15.36/12.99	o 838
18.59/16.15	o 837
18.59/16.19	o 836
20.18/17.71	o 835
20.18/17.73	o 834
27.51/25.08	o 833
27.51/25.08	o 832
27.51/25.08	o 831
27.51/25.08	o 830
27.51/25.08	o 829
27.51/25.08	o 828
27.51/25.08	o 827
27.51/25.08	o 826
27.51/25.08	o 825
27.51/25.08	o 824
27.51/25.08	o 823
27.51/25.08	o 822
27.51/25.08	o 821
27.51/25.08	o 820
27.51/25.08	o 819
27.51/25.08	o 818
27.51/25.08	o 817
27.51/25.08	o 816
27.51/25.08	o 815
27.51/25.08	o 814
27.51/25.08	o 813
27.51/25.09	o 812
27.51/25.09	o 811
27.51/25.09	o 810
27.51/25.09	o 809
27.51/25.09	o 808
27.51/25.09	o 807
27.51/25.09	o 806
27.51/25.09	o 805
27.51/25.09	o 804
27.51/25.10	o 803
27.51/25.10	o 802
27.62/25.11	o 801
27.62/25.11	o 800
27.62/25.11	o 799
29.22/26.79	o 798
29.62/27.15	o 797
29.92/27.42	o 796
34.94/32.45	o 795
36.45/34.00	o 794
37.85/35.32	o 793
37.85/35.39	o 792
72.96/70.24	c First complete search done, starting ALNS search...
73.10/70.32	o 791
73.10/70.32	o 790
73.10/70.32	o 789
73.10/70.32	o 788
73.10/70.32	o 787
73.10/70.32	o 786
73.10/70.32	o 785
73.10/70.32	o 784
73.10/70.32	o 783
73.10/70.32	o 782
73.10/70.32	o 781
73.10/70.32	o 780
73.10/70.32	o 779
73.10/70.32	o 778
73.10/70.32	o 777
73.10/70.32	o 776
73.10/70.32	o 775
73.10/70.32	o 774
73.10/70.32	o 773
73.10/70.32	o 772
73.10/70.32	o 771
73.10/70.32	o 770
73.10/70.32	o 769
73.10/70.32	o 768
73.10/70.32	o 767
73.10/70.32	o 766
73.10/70.32	o 765
73.10/70.32	o 764
73.10/70.32	o 763
73.10/70.32	o 762
73.10/70.32	o 761
73.10/70.32	o 760
73.10/70.32	o 759
73.10/70.32	o 758
73.10/70.32	o 757
73.10/70.32	o 756
73.10/70.32	o 755
73.10/70.32	o 754
73.10/70.32	o 753
73.10/70.32	o 752
73.10/70.32	o 751
73.10/70.32	o 750
73.10/70.32	o 749
73.10/70.32	o 748
73.10/70.32	o 747
73.10/70.32	o 746
73.10/70.35	o 745
73.10/70.35	o 744
73.10/70.35	o 743
73.10/70.35	o 742
73.10/70.35	o 741
73.10/70.35	o 740
73.10/70.35	o 739
73.10/70.35	o 738
73.10/70.35	o 737
73.10/70.35	o 736
73.10/70.35	o 735
73.10/70.35	o 733
73.10/70.35	o 732
73.10/70.35	o 731
73.10/70.35	o 730
73.10/70.35	o 729
73.10/70.35	o 728
73.10/70.35	o 727
73.10/70.35	o 726
73.10/70.35	o 725
73.10/70.35	o 724
73.10/70.35	o 723
73.10/70.35	o 722
73.10/70.35	o 721
73.10/70.35	o 720
73.10/70.35	o 719
73.10/70.35	o 718
73.10/70.35	o 717
73.10/70.35	o 716
73.10/70.35	o 715
73.10/70.35	o 714
73.10/70.35	o 713
73.10/70.35	o 712
73.10/70.35	o 711
73.10/70.35	o 710
73.10/70.35	o 709
73.10/70.35	o 708
73.10/70.35	o 707
73.10/70.35	o 706
73.10/70.35	o 705
73.10/70.35	o 704
73.10/70.35	o 703
73.10/70.35	o 702
73.10/70.35	o 701
73.10/70.35	o 700
73.10/70.35	o 699
73.10/70.35	o 697
73.10/70.35	o 696
73.10/70.35	o 695
73.10/70.35	o 694
73.10/70.35	o 693
73.10/70.35	o 692
73.10/70.35	o 691
73.10/70.35	o 690
73.10/70.35	o 689
73.10/70.35	o 688
73.10/70.35	o 687
73.10/70.35	o 686
73.10/70.35	o 685
73.10/70.35	o 684
73.10/70.35	o 683
73.10/70.35	o 682
73.10/70.35	o 681
73.10/70.35	o 680
73.10/70.35	o 679
73.10/70.35	o 678
73.10/70.35	o 677
73.10/70.35	o 676
73.10/70.35	o 675
73.10/70.35	o 673
73.10/70.35	o 672
73.10/70.35	o 671
73.10/70.35	o 670
73.10/70.35	o 669
73.10/70.35	o 668
73.10/70.35	o 667
73.10/70.35	o 666
73.10/70.35	o 665
73.10/70.35	o 664
73.10/70.35	o 663
73.10/70.35	o 662
73.10/70.35	o 661
73.10/70.35	o 660
73.10/70.35	o 659
73.10/70.35	o 658
73.10/70.35	o 657
73.10/70.35	o 656
73.10/70.35	o 655
73.10/70.35	o 654
73.10/70.35	o 653
73.10/70.35	o 652
73.10/70.35	o 651
73.10/70.35	o 650
73.10/70.35	o 649
73.10/70.35	o 648
73.10/70.35	o 647
73.10/70.35	o 646
73.10/70.35	o 645
73.10/70.35	o 644
73.10/70.35	o 643
73.10/70.35	o 642
73.10/70.35	o 641
73.10/70.37	o 640
73.10/70.37	o 639
73.10/70.37	o 638
73.10/70.37	o 637
73.10/70.37	o 636
73.10/70.37	o 635
73.10/70.37	o 634
73.10/70.37	o 633
73.10/70.37	o 632
73.10/70.37	o 631
73.10/70.37	o 630
73.10/70.37	o 629
73.10/70.37	o 628
73.10/70.37	o 627
73.10/70.37	o 626
73.10/70.37	o 625
73.10/70.37	o 624
73.10/70.37	o 623
73.10/70.37	o 622
73.10/70.37	o 621
73.10/70.37	o 620
73.10/70.37	o 619
73.10/70.37	o 618
73.10/70.37	o 617
73.10/70.37	o 616
73.10/70.37	o 615
73.10/70.37	o 614
73.10/70.37	o 613
73.10/70.37	o 612
73.10/70.37	o 611
73.10/70.37	o 610
73.10/70.37	o 609
73.10/70.37	o 608
73.10/70.37	o 607
73.10/70.37	o 606
73.10/70.37	o 605
73.10/70.37	o 604
73.10/70.37	o 603
73.10/70.37	o 601
73.10/70.37	o 600
73.10/70.37	o 598
73.10/70.38	o 597
73.10/70.38	o 596
73.10/70.38	o 595
73.10/70.38	o 594
73.10/70.38	o 593
73.10/70.38	o 592
73.10/70.38	o 591
73.10/70.38	o 590
73.10/70.38	o 589
73.10/70.38	o 588
73.10/70.38	o 587
73.10/70.38	o 586
73.10/70.38	o 585
73.10/70.38	o 584
73.10/70.38	o 583
73.10/70.38	o 582
73.10/70.38	o 581
73.10/70.38	o 580
73.10/70.38	o 579
73.10/70.38	o 578
73.10/70.38	o 577
73.10/70.38	o 576
73.10/70.38	o 575
73.10/70.38	o 574
73.10/70.38	o 573
73.10/70.38	o 572
73.10/70.38	o 571
73.10/70.38	o 570
73.10/70.38	o 569
73.10/70.38	o 568
73.10/70.38	o 567
73.10/70.38	o 566
73.10/70.38	o 565
73.10/70.38	o 564
73.10/70.38	o 563
73.10/70.38	o 562
73.10/70.38	o 561
73.10/70.38	o 560
73.10/70.38	o 559
73.10/70.38	o 558
73.10/70.38	o 557
73.10/70.38	o 556
73.33/70.40	o 555
73.33/70.40	o 554
73.33/70.40	o 553
73.33/70.40	o 552
73.33/70.40	o 551
73.33/70.40	o 550
73.33/70.40	o 549
73.33/70.40	o 548
73.33/70.40	o 547
73.33/70.40	o 546
73.33/70.40	o 545
73.33/70.40	o 544
73.33/70.40	o 543
73.33/70.40	o 542
73.33/70.41	o 541
73.33/70.41	o 540
73.33/70.41	o 539
73.33/70.41	o 538
73.33/70.41	o 537
73.33/70.41	o 536
73.33/70.41	o 535
73.33/70.41	o 534
73.33/70.41	o 533
73.33/70.41	o 532
73.33/70.41	o 531
73.33/70.41	o 530
73.33/70.41	o 529
73.33/70.41	o 528
73.33/70.41	o 527
73.33/70.41	o 526
73.33/70.41	o 525
73.33/70.41	o 524
73.33/70.41	o 523
73.33/70.41	o 522
73.33/70.41	o 521
73.33/70.41	o 520
73.33/70.41	o 519
73.33/70.41	o 518
73.33/70.41	o 517
73.33/70.41	o 516
73.33/70.41	o 515
73.33/70.41	o 514
73.33/70.41	o 513
73.33/70.41	o 512
73.33/70.41	o 511
73.33/70.41	o 510
73.33/70.41	o 509
73.33/70.41	o 508
73.33/70.41	o 507
73.33/70.41	o 506
73.33/70.41	o 505
73.33/70.41	o 504
73.33/70.41	o 503
73.33/70.41	o 502
73.33/70.41	o 501
73.33/70.41	o 500
73.33/70.41	o 499
73.33/70.41	o 498
73.33/70.41	o 497
73.33/70.41	o 496
73.33/70.41	o 495
73.33/70.42	o 494
73.33/70.42	o 493
73.33/70.42	o 492
73.33/70.42	o 491
73.33/70.42	o 490
73.33/70.42	o 489
73.33/70.42	o 488
73.33/70.42	o 487
73.33/70.42	o 486
73.33/70.42	o 485
73.33/70.42	o 484
73.33/70.42	o 483
73.33/70.42	o 482
73.33/70.42	o 481
73.33/70.42	o 480
73.33/70.42	o 479
73.33/70.42	o 478
73.33/70.42	o 477
73.33/70.42	o 476
73.33/70.43	o 475
73.33/70.43	o 474
73.33/70.43	o 473
73.33/70.43	o 472
73.33/70.43	o 471
73.33/70.43	o 470
73.33/70.43	o 469
73.33/70.43	o 468
73.33/70.43	o 467
73.33/70.43	o 466
73.33/70.43	o 465
73.33/70.43	o 464
73.33/70.43	o 463
73.33/70.43	o 462
73.33/70.43	o 461
73.33/70.43	o 460
73.33/70.43	o 459
73.33/70.43	o 458
73.33/70.43	o 457
73.33/70.43	o 456
73.33/70.43	o 455
73.33/70.43	o 454
73.33/70.43	o 453
73.33/70.43	o 452
73.33/70.43	o 451
73.33/70.43	o 450
73.33/70.43	o 449
73.33/70.43	o 448
73.33/70.44	o 447
73.33/70.44	o 446
73.33/70.44	o 445
73.33/70.44	o 444
73.33/70.44	o 443
73.33/70.44	o 442
73.33/70.44	o 441
73.33/70.44	o 440
73.33/70.44	o 439
73.33/70.44	o 438
73.33/70.44	o 437
73.33/70.44	o 436
73.33/70.44	o 435
73.33/70.44	o 434
73.33/70.44	o 433
73.33/70.44	o 432
73.33/70.44	o 431
73.33/70.44	o 430
73.33/70.44	o 429
73.33/70.44	o 428
73.33/70.44	o 427
73.33/70.44	o 426
73.33/70.44	o 425
73.33/70.44	o 424
73.33/70.44	o 423
73.33/70.44	o 422
73.33/70.44	o 421
73.33/70.44	o 420
73.33/70.44	o 419
73.33/70.44	o 418
73.33/70.44	o 417
73.33/70.44	o 416
73.33/70.45	o 415
73.33/70.45	o 414
73.33/70.45	o 413
73.33/70.45	o 412
73.33/70.45	o 411
73.33/70.45	o 410
73.33/70.45	o 409
73.33/70.45	o 408
73.33/70.45	o 407
73.33/70.45	o 406
73.33/70.45	o 405
73.33/70.45	o 404
73.33/70.45	o 403
73.33/70.45	o 402
73.33/70.45	o 401
73.33/70.45	o 400
73.33/70.45	o 399
73.33/70.45	o 398
73.33/70.46	o 397
73.33/70.46	o 396
73.33/70.46	o 395
73.33/70.46	o 394
73.33/70.46	o 393
73.33/70.46	o 392
73.33/70.46	o 391
73.33/70.46	o 390
73.33/70.46	o 389
73.33/70.46	o 388
73.33/70.46	o 387
73.33/70.46	o 386
73.33/70.46	o 385
73.33/70.46	o 384
73.33/70.46	o 383
73.33/70.46	o 382
73.33/70.46	o 381
73.33/70.46	o 380
73.33/70.46	o 379
73.33/70.46	o 378
73.33/70.46	o 377
73.33/70.46	o 376
73.33/70.46	o 375
73.33/70.46	o 374
73.33/70.46	o 373
73.33/70.46	o 372
73.33/70.46	o 371
73.33/70.46	o 370
73.33/70.46	o 369
73.33/70.46	o 368
73.33/70.47	o 367
73.33/70.47	o 366
73.33/70.47	o 365
73.33/70.48	o 364
73.33/70.48	o 363
73.33/70.48	o 362
73.33/70.48	o 361
73.33/70.48	o 360
73.33/70.48	o 359
73.33/70.48	o 358
73.33/70.48	o 357
73.33/70.48	o 356
73.33/70.48	o 355
73.33/70.48	o 354
73.33/70.48	o 353
73.33/70.48	o 352
73.33/70.48	o 351
73.33/70.48	o 350
73.33/70.48	o 349
73.33/70.49	o 348
73.33/70.49	o 347
73.33/70.49	o 346
73.33/70.49	o 345
73.33/70.49	o 344
73.33/70.49	o 343
73.33/70.49	o 342
73.33/70.49	o 341
73.33/70.49	o 340
73.33/70.49	o 339
73.33/70.49	o 338
73.33/70.49	o 337
73.33/70.49	o 336
73.33/70.49	o 335
73.33/70.49	o 334
73.33/70.49	o 333
73.33/70.49	o 332
73.33/70.49	o 331
73.33/70.49	o 330
73.33/70.49	o 329
73.33/70.49	o 328
73.33/70.49	o 327
73.33/70.49	o 326
73.33/70.49	o 325
73.33/70.49	o 324
73.33/70.49	o 323
73.58/70.51	o 322
73.58/70.51	o 321
73.58/70.51	o 320
73.58/70.51	o 319
73.58/70.51	o 318
73.58/70.51	o 317
73.58/70.51	o 316
73.58/70.51	o 315
73.58/70.51	o 314
73.58/70.51	o 313
73.58/70.51	o 312
73.58/70.52	o 311
73.58/70.52	o 310
73.58/70.52	o 309
73.58/70.52	o 308
73.58/70.52	o 307
73.58/70.52	o 306
73.58/70.52	o 305
73.58/70.52	o 304
73.58/70.52	o 303
73.58/70.52	o 302
73.58/70.52	o 301
73.58/70.52	o 300
73.58/70.52	o 299
73.58/70.52	o 298
73.58/70.52	o 297
73.58/70.52	o 296
73.58/70.52	o 295
73.58/70.52	o 294
73.58/70.52	o 293
73.58/70.52	o 292
73.58/70.52	o 291
73.58/70.52	o 290
73.58/70.52	o 289
73.58/70.52	o 288
73.58/70.52	o 287
73.58/70.52	o 286
73.58/70.52	o 285
73.58/70.53	o 284
73.58/70.53	o 283
73.58/70.53	o 282
73.58/70.53	o 281
73.58/70.53	o 280
73.58/70.54	o 279
73.58/70.54	o 278
73.58/70.55	o 277
73.58/70.55	o 276
73.58/70.55	o 275
73.58/70.55	o 274
73.58/70.55	o 273
73.58/70.55	o 272
73.58/70.55	o 271
73.58/70.55	o 270
73.58/70.55	o 269
73.58/70.55	o 268
73.58/70.55	o 267
73.58/70.55	o 266
73.58/70.55	o 265
73.58/70.55	o 264
73.58/70.55	o 263
73.58/70.55	o 262
73.58/70.55	o 261
73.58/70.55	o 260
73.58/70.55	o 259
73.58/70.55	o 258
73.58/70.55	o 257
73.58/70.55	o 256
73.58/70.55	o 255
73.58/70.55	o 254
73.58/70.55	o 253
73.58/70.56	o 252
73.58/70.56	o 251
73.58/70.56	o 250
73.58/70.56	o 249
73.58/70.56	o 248
73.58/70.56	o 247
73.58/70.56	o 246
73.58/70.56	o 245
73.58/70.56	o 244
73.58/70.56	o 243
73.58/70.56	o 242
73.58/70.56	o 241
73.58/70.56	o 240
73.58/70.56	o 239
73.58/70.56	o 238
73.58/70.56	o 237
73.58/70.58	o 236
73.58/70.58	o 235
73.58/70.58	o 234
73.58/70.58	o 233
73.58/70.58	o 232
73.58/70.58	o 231
73.58/70.58	o 230
73.58/70.58	o 229
73.58/70.58	o 228
73.58/70.58	o 227
73.58/70.58	o 226
73.58/70.58	o 225
73.58/70.58	o 224
73.58/70.58	o 223
73.58/70.58	o 222
73.58/70.58	o 221
73.58/70.59	o 220
73.58/70.59	o 219
73.58/70.59	o 218
73.58/70.59	o 217
73.58/70.59	o 216
73.58/70.59	o 215
73.58/70.59	o 214
73.58/70.59	o 213
73.58/70.59	o 212
73.58/70.59	o 211
73.58/70.59	o 210
73.58/70.59	o 209
73.58/70.59	o 208
73.58/70.59	o 207
73.58/70.59	o 206
73.58/70.59	o 205
73.58/70.59	o 204
73.58/70.59	o 203
73.58/70.59	o 202
73.58/70.59	o 201
73.58/70.59	o 200
73.58/70.59	o 199
73.58/70.59	o 198
73.58/70.59	o 197
73.58/70.59	o 196
73.58/70.59	o 195
73.58/70.59	o 194
73.71/70.61	o 193
73.71/70.61	o 192
73.71/70.61	o 191
73.71/70.61	o 190
73.71/70.61	o 189
73.71/70.61	o 188
73.71/70.62	o 187
73.71/70.62	o 186
73.71/70.62	o 185
73.71/70.62	o 184
73.71/70.62	o 183
73.71/70.62	o 182
73.71/70.62	o 181
73.71/70.62	o 180
73.71/70.62	o 179
73.71/70.62	o 178
73.71/70.62	o 177
73.71/70.62	o 176
73.71/70.62	o 175
73.71/70.62	o 174
73.71/70.62	o 173
73.71/70.62	o 172
73.71/70.62	o 171
73.71/70.62	o 170
73.71/70.62	o 169
73.71/70.62	o 168
73.71/70.62	o 167
73.71/70.62	o 166
73.71/70.62	o 165
73.71/70.62	o 164
73.71/70.62	o 163
73.71/70.62	o 162
73.71/70.62	o 161
73.71/70.62	o 160
73.71/70.62	o 159
73.71/70.62	o 158
73.71/70.62	o 157
73.71/70.62	o 156
73.71/70.62	o 155
73.71/70.62	o 154
73.71/70.62	o 153
73.71/70.62	o 152
73.71/70.62	o 151
73.71/70.64	o 150
73.71/70.64	o 149
73.71/70.65	o 148
73.71/70.65	o 147
73.71/70.65	o 146
73.71/70.65	o 145
73.71/70.65	o 144
73.71/70.65	o 143
73.71/70.65	o 142
73.71/70.65	o 141
73.71/70.65	o 140
73.71/70.65	o 139
73.71/70.65	o 138
73.71/70.65	o 137
73.71/70.65	o 136
73.71/70.65	o 135
73.71/70.65	o 134
73.71/70.65	o 133
73.71/70.65	o 132
73.71/70.65	o 131
73.71/70.65	o 130
73.71/70.65	o 129
73.71/70.65	o 128
73.71/70.65	o 127
73.71/70.65	o 126
73.71/70.65	o 125
73.71/70.65	o 124
73.71/70.65	o 123
73.71/70.65	o 122
73.71/70.65	o 121
73.71/70.66	o 120
73.71/70.66	o 119
73.71/70.66	o 118
73.71/70.66	o 117
73.71/70.66	o 116
73.71/70.66	o 115
73.71/70.66	o 114
73.71/70.66	o 113
73.71/70.66	o 112
73.71/70.66	o 111
73.71/70.66	o 110
73.71/70.66	o 109
73.71/70.66	o 108
73.71/70.68	o 107
73.71/70.68	o 106
73.71/70.68	o 105
73.71/70.68	o 104
73.71/70.68	o 103
73.71/70.68	o 102
73.71/70.68	o 101
73.71/70.68	o 100
73.71/70.68	o 99
73.71/70.68	o 98
73.71/70.69	o 97
73.71/70.69	o 96
73.71/70.69	o 95
73.71/70.69	o 94
73.71/70.69	o 93
73.71/70.69	o 92
73.71/70.69	o 91
73.71/70.69	o 90
73.71/70.69	o 89
73.71/70.69	o 88
73.71/70.69	o 87
73.71/70.69	o 86
73.71/70.69	o 85
73.71/70.69	o 84
73.71/70.69	o 83
73.71/70.69	o 82
73.71/70.69	o 81
73.71/70.69	o 80
73.71/70.69	o 79
73.71/70.69	o 78
73.71/70.69	o 77
73.71/70.69	o 76
73.71/70.69	o 75
73.71/70.69	o 74
73.71/70.69	o 73
73.71/70.69	o 72
73.71/70.69	o 71
73.71/70.69	o 70
73.71/70.69	o 69
73.71/70.69	o 68
73.71/70.69	o 67
73.71/70.69	o 66
73.86/70.73	o 65
73.86/70.73	o 64
73.86/70.73	o 63
73.86/70.73	o 62
73.86/70.73	o 61
73.86/70.73	o 60
73.86/70.74	o 59
73.86/70.74	o 58
73.86/70.74	o 57
73.86/70.74	o 56
73.86/70.74	o 55
74.92/71.12	o 54
74.92/71.12	o 53
74.92/71.12	o 51
74.92/71.18	o 50
76.51/72.32	o 49
76.71/72.56	o 47
76.71/72.58	o 46
2520.02/2450.30	s SATISFIABLE
2520.02/2450.30	v <instantiation>
2520.02/2450.30	v 	<list>
2520.02/2450.30	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]
2520.02/2450.30	v 	</list>
2520.02/2450.30	v 	<values>
2520.02/2450.30	v 		3 5 4 4 3 2 2 2 2 2 3 1 1 1 1 1 1 1 1 1 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 
2520.02/2450.30	v 	</values>
2520.02/2450.30	v </instantiation>

Verifier Data 

OK	46

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308597-1534290528/watcher-4308597-1534290528 -o /tmp/evaluation-result-4308597-1534290528/solver-4308597-1534290528 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534270838-13463 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 225241371 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308597-1534290528.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=15649, runsolver pid=15646

[startup+0.100581 s]*
/proc/loadavg: 1.69 1.63 1.63 3/215 15664
/proc/meminfo: memFree=22783348/32770624 swapFree=67108368/67108860
[pid=15649] ppid=15646 vsize=14082736 memory=33968 CPUtime=0.12 cores=1,3,5,7
/proc/15649/stat : 15649 (java) S 15646 15649 11932 0 -1 1077944320 6926 0 0 0 11 1 0 0 20 0 15 0 246615943 14420721664 8492 33554432000 4194304 4196468 140733830641664 140733830624208 140244173995767 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
/proc/15649/statm: 3520684 8492 3140 1 0 3482761 0
[pid=15649/tid=15651] ppid=15646 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=1,3,5,7
/proc/15649/task/15651/stat : 15651 (java) R 15646 15649 11932 0 -1 4202560 4994 0 0 0 9 0 0 0 20 0 15 0 246615944 14420721664 8492 33554432000 4194304 4196468 140733830641664 140244178221456 140244158076254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15652] ppid=15646 vsize=14082736 memory=5793855767836457401 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15652/stat : 15652 (java) S 15646 15649 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246615945 14420721664 8492 33554432000 4194304 4196468 140733830641664 140243770194960 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15653] ppid=15646 vsize=14082736 memory=140516826564224 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15653/stat : 15653 (java) S 15646 15649 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246615945 14420721664 8492 33554432000 4194304 4196468 140733830641664 140243769142416 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15654] ppid=15646 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15654/stat : 15654 (java) S 15646 15649 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246615945 14420721664 8492 33554432000 4194304 4196468 140733830641664 140243768089360 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15655] ppid=15646 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15655/stat : 15655 (java) S 15646 15649 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246615945 14420721664 8492 33554432000 4194304 4196468 140733830641664 140243767036816 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15656] ppid=15646 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15656/stat : 15656 (java) S 15646 15649 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246615946 14420721664 8492 33554432000 4194304 4196468 140733830641664 140243716159728 140244174006914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15657] ppid=15646 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15657/stat : 15657 (java) S 15646 15649 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246615946 14420721664 8492 33554432000 4194304 4196468 140733830641664 140243715105952 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15658] ppid=15646 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15658/stat : 15658 (java) S 15646 15649 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246615947 14420721664 8492 33554432000 4194304 4196468 140733830641664 140243714052848 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15659] ppid=15646 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15659/stat : 15659 (java) S 15646 15649 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246615949 14420721664 8492 33554432000 4194304 4196468 140733830641664 140243713001424 140244174014363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15660] ppid=15646 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15660/stat : 15660 (java) S 15646 15649 11932 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 246615949 14420721664 8492 33554432000 4194304 4196468 140733830641664 140243711949552 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15661] ppid=15646 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15661/stat : 15661 (java) S 15646 15649 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246615949 14420721664 8492 33554432000 4194304 4196468 140733830641664 140243710897008 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15662] ppid=15646 vsize=14082736 memory=140516826564224 CPUtime=0.01 cores=1,3,5,7
/proc/15649/task/15662/stat : 15662 (java) R 15646 15649 11932 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 15 0 246615949 14420721664 8492 33554432000 4194304 4196468 140733830641664 140243709843952 140244165950643 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15663] ppid=15646 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15663/stat : 15663 (java) S 15646 15649 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246615949 14420721664 8492 33554432000 4194304 4196468 140733830641664 140243708791648 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15664] ppid=15646 vsize=14082736 memory=140516826564224 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15664/stat : 15664 (java) S 15646 15649 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246615949 14420721664 8492 33554432000 4194304 4196468 140733830641664 140243707738672 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33968 KiB

[startup+0.210263 s]*
/proc/loadavg: 1.69 1.63 1.63 9/215 15664
/proc/meminfo: memFree=22768836/32770624 swapFree=67108368/67108860
[pid=15649] ppid=15646 vsize=14082736 memory=47352 CPUtime=0.31 cores=1,3,5,7
/proc/15649/stat : 15649 (java) S 15646 15649 11932 0 -1 1077944320 9963 0 0 0 29 2 0 0 20 0 15 0 246615943 14420721664 11838 33554432000 4194304 4196468 140733830641664 140733830624208 140244173995767 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
/proc/15649/statm: 3520684 11838 3375 1 0 3482761 0
[pid=15649/tid=15651] ppid=15646 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/15649/task/15651/stat : 15651 (java) R 15646 15649 11932 0 -1 4202560 7692 0 0 0 19 1 0 0 20 0 15 0 246615944 14420721664 11838 33554432000 4194304 4196468 140733830641664 140244178222160 140244174017693 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15652] ppid=15646 vsize=14082736 memory=4211974243031354762 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15652/stat : 15652 (java) S 15646 15649 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246615945 14420721664 11838 33554432000 4194304 4196468 140733830641664 140243770194960 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15653] ppid=15646 vsize=14082736 memory=140516826564224 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15653/stat : 15653 (java) S 15646 15649 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246615945 14420721664 11838 33554432000 4194304 4196468 140733830641664 140243769142416 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15654] ppid=15646 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15654/stat : 15654 (java) S 15646 15649 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246615945 14420721664 11838 33554432000 4194304 4196468 140733830641664 140243768089360 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15655] ppid=15646 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15655/stat : 15655 (java) S 15646 15649 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246615945 14420721664 11838 33554432000 4194304 4196468 140733830641664 140243767036816 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15656] ppid=15646 vsize=14082736 memory=140516826564224 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15656/stat : 15656 (java) S 15646 15649 11932 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246615946 14420721664 11838 33554432000 4194304 4196468 140733830641664 140243716159728 140244174006914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15657] ppid=15646 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15657/stat : 15657 (java) S 15646 15649 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246615946 14420721664 11838 33554432000 4194304 4196468 140733830641664 140243715105952 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15658] ppid=15646 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15658/stat : 15658 (java) S 15646 15649 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246615947 14420721664 11838 33554432000 4194304 4196468 140733830641664 140243714052848 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15659] ppid=15646 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15659/stat : 15659 (java) S 15646 15649 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246615949 14420721664 11838 33554432000 4194304 4196468 140733830641664 140243713001424 140244174014363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15660] ppid=15646 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15649/task/15660/stat : 15660 (java) R 15646 15649 11932 0 -1 4202560 445 0 0 0 2 0 0 0 20 0 15 0 246615949 14420721664 11838 33554432000 4194304 4196468 140733830641664 140243711941056 140244155523779 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15661] ppid=15646 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15649/task/15661/stat : 15661 (java) S 15646 15649 11932 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 15 0 246615949 14420721664 11838 33554432000 4194304 4196468 140733830641664 140243710897008 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15662] ppid=15646 vsize=14082736 memory=140516826564224 CPUtime=0.06 cores=1,3,5,7
/proc/15649/task/15662/stat : 15662 (java) S 15646 15649 11932 0 -1 1077944384 281 0 0 0 6 0 0 0 20 0 15 0 246615949 14420721664 11838 33554432000 4194304 4196468 140733830641664 140243709843952 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15663] ppid=15646 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15663/stat : 15663 (java) S 15646 15649 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246615949 14420721664 11838 33554432000 4194304 4196468 140733830641664 140243708791648 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15664] ppid=15646 vsize=14082736 memory=140516826564224 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15664/stat : 15664 (java) S 15646 15649 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246615949 14420721664 11838 33554432000 4194304 4196468 140733830641664 140243707738672 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47352 KiB

[startup+0.310668 s]*
/proc/loadavg: 1.69 1.63 1.63 3/215 15664
/proc/meminfo: memFree=22764820/32770624 swapFree=67108368/67108860
[pid=15649] ppid=15646 vsize=14082736 memory=50860 CPUtime=0.43 cores=1,3,5,7
/proc/15649/stat : 15649 (java) S 15646 15649 11932 0 -1 1077944320 10315 0 0 0 41 2 0 0 20 0 15 0 246615943 14420721664 12715 33554432000 4194304 4196468 140733830641664 140733830624208 140244173995767 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
/proc/15649/statm: 3520684 12715 3378 1 0 3482761 0
[pid=15649/tid=15651] ppid=15646 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=1,3,5,7
/proc/15649/task/15651/stat : 15651 (java) R 15646 15649 11932 0 -1 4202560 8032 0 0 0 28 1 0 0 20 0 15 0 246615944 14420721664 12715 33554432000 4194304 4196468 140733830641664 140244178176816 140244155369546 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15652] ppid=15646 vsize=14082736 memory=4211974243031354762 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15652/stat : 15652 (java) S 15646 15649 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246615945 14420721664 12715 33554432000 4194304 4196468 140733830641664 140243770194960 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15653] ppid=15646 vsize=14082736 memory=140516826566575 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15653/stat : 15653 (java) S 15646 15649 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246615945 14420721664 12715 33554432000 4194304 4196468 140733830641664 140243769142416 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15654] ppid=15646 vsize=14082736 memory=140516700313772 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15654/stat : 15654 (java) S 15646 15649 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246615945 14420721664 12715 33554432000 4194304 4196468 140733830641664 140243768089360 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15655] ppid=15646 vsize=14082736 memory=140516700310991 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15655/stat : 15655 (java) S 15646 15649 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246615945 14420721664 12715 33554432000 4194304 4196468 140733830641664 140243767036816 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15656] ppid=15646 vsize=14082736 memory=140516826576183 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15656/stat : 15656 (java) S 15646 15649 11932 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246615946 14420721664 12715 33554432000 4194304 4196468 140733830641664 140243716159728 140244174006914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15657] ppid=15646 vsize=14082736 memory=140516700320175 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15657/stat : 15657 (java) S 15646 15649 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246615946 14420721664 12715 33554432000 4194304 4196468 140733830641664 140243715105952 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15658] ppid=15646 vsize=14082736 memory=281033400631184 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15658/stat : 15658 (java) S 15646 15649 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246615947 14420721664 12715 33554432000 4194304 4196468 140733830641664 140243714052848 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15659] ppid=15646 vsize=14082736 memory=281033400628880 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15659/stat : 15659 (java) S 15646 15649 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246615949 14420721664 12715 33554432000 4194304 4196468 140733830641664 140243713001424 140244174014363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15660] ppid=15646 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15649/task/15660/stat : 15660 (java) S 15646 15649 11932 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 15 0 246615949 14420721664 12715 33554432000 4194304 4196468 140733830641664 140243711949552 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15661] ppid=15646 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15649/task/15661/stat : 15661 (java) S 15646 15649 11932 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 15 0 246615949 14420721664 12715 33554432000 4194304 4196468 140733830641664 140243710897008 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15662] ppid=15646 vsize=14082736 memory=140516826564224 CPUtime=0.07 cores=1,3,5,7
/proc/15649/task/15662/stat : 15662 (java) S 15646 15649 11932 0 -1 1077944384 287 0 0 0 7 0 0 0 20 0 15 0 246615949 14420721664 12715 33554432000 4194304 4196468 140733830641664 140243709843952 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15663] ppid=15646 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15663/stat : 15663 (java) S 15646 15649 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246615949 14420721664 12715 33554432000 4194304 4196468 140733830641664 140243708791648 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15664] ppid=15646 vsize=14082736 memory=140516826564224 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15664/stat : 15664 (java) S 15646 15649 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246615949 14420721664 12715 33554432000 4194304 4196468 140733830641664 140243707738672 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50860 KiB

[startup+0.700734 s]
/proc/loadavg: 1.69 1.63 1.63 3/215 15664
/proc/meminfo: memFree=22741040/32770624 swapFree=67108368/67108860
[pid=15649] ppid=15646 vsize=14084804 memory=90692 CPUtime=0.98 cores=1,3,5,7
/proc/15649/stat : 15649 (java) S 15646 15649 11932 0 -1 1077944320 17026 0 0 0 94 4 0 0 20 0 15 0 246615943 14422839296 22673 33554432000 4194304 4196468 140733830641664 140733830624208 140244173995767 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
/proc/15649/statm: 3521201 22673 3504 1 0 3483273 0
[pid=15649/tid=15651] ppid=15646 vsize=14084804 memory=872 CPUtime=0.67 cores=1,3,5,7
/proc/15649/task/15651/stat : 15651 (java) R 15646 15649 11932 0 -1 4202560 14350 0 0 0 64 3 0 0 20 0 15 0 246615944 14422839296 22673 33554432000 4194304 4196468 140733830641664 140244178221072 140244158076254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15652] ppid=15646 vsize=14084804 memory=1920 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15652/stat : 15652 (java) S 15646 15649 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246615945 14422839296 22673 33554432000 4194304 4196468 140733830641664 140243770194960 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15653] ppid=15646 vsize=14084804 memory=6276 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15653/stat : 15653 (java) S 15646 15649 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246615945 14422839296 22673 33554432000 4194304 4196468 140733830641664 140243769142416 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15654] ppid=15646 vsize=14084804 memory=7014751519600366929 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15654/stat : 15654 (java) S 15646 15649 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246615945 14422839296 22673 33554432000 4194304 4196468 140733830641664 140243768089360 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15655] ppid=15646 vsize=14084804 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15655/stat : 15655 (java) S 15646 15649 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246615945 14422839296 22673 33554432000 4194304 4196468 140733830641664 140243767036816 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15656] ppid=15646 vsize=14084804 memory=5787213840016500561 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15656/stat : 15656 (java) S 15646 15649 11932 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246615946 14422839296 22673 33554432000 4194304 4196468 140733830641664 140243716159728 140244174006914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15657] ppid=15646 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15657/stat : 15657 (java) S 15646 15649 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246615946 14422839296 22673 33554432000 4194304 4196468 140733830641664 140243715105952 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15658] ppid=15646 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15658/stat : 15658 (java) S 15646 15649 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246615947 14422839296 22673 33554432000 4194304 4196468 140733830641664 140243714052848 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15659] ppid=15646 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15659/stat : 15659 (java) S 15646 15649 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246615949 14422839296 22673 33554432000 4194304 4196468 140733830641664 140243713001424 140244174014363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15660] ppid=15646 vsize=14084804 memory=221 CPUtime=0.09 cores=1,3,5,7
/proc/15649/task/15660/stat : 15660 (java) S 15646 15649 11932 0 -1 1077944384 598 0 0 0 9 0 0 0 20 0 15 0 246615949 14422839296 22673 33554432000 4194304 4196468 140733830641664 140243711949552 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15661] ppid=15646 vsize=14084804 memory=7 CPUtime=0.05 cores=1,3,5,7
/proc/15649/task/15661/stat : 15661 (java) S 15646 15649 11932 0 -1 1077944384 323 0 0 0 5 0 0 0 20 0 15 0 246615949 14422839296 22673 33554432000 4194304 4196468 140733830641664 140243710897008 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15662] ppid=15646 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/15649/task/15662/stat : 15662 (java) S 15646 15649 11932 0 -1 1077944384 372 0 0 0 15 0 0 0 20 0 15 0 246615949 14422839296 22673 33554432000 4194304 4196468 140733830641664 140243709843952 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15663] ppid=15646 vsize=14084804 memory=281033400815088 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15663/stat : 15663 (java) S 15646 15649 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246615949 14422839296 22673 33554432000 4194304 4196468 140733830641664 140243708791648 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15664] ppid=15646 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15664/stat : 15664 (java) S 15646 15649 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246615949 14422839296 22673 33554432000 4194304 4196468 140733830641664 140243707738672 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 90692 KiB

[startup+1.50111 s]
/proc/loadavg: 1.69 1.63 1.63 3/215 15664
/proc/meminfo: memFree=22711984/32770624 swapFree=67108368/67108860
[pid=15649] ppid=15646 vsize=14090948 memory=157884 CPUtime=3.02 cores=1,3,5,7
/proc/15649/stat : 15649 (java) S 15646 15649 11932 0 -1 1077944320 25200 0 0 0 294 8 0 0 20 0 15 0 246615943 14429130752 39471 33554432000 4194304 4196468 140733830641664 140733830624208 140244173995767 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
/proc/15649/statm: 3522737 39471 3538 1 0 3484809 0
[pid=15649/tid=15651] ppid=15646 vsize=14090948 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/15649/task/15651/stat : 15651 (java) R 15646 15649 11932 0 -1 4202560 18797 0 0 0 141 5 0 0 20 0 15 0 246615944 14429130752 39471 33554432000 4194304 4196468 140733830641664 140244178225488 140243789220576 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15652] ppid=15646 vsize=14090948 memory=-1088251628401078322 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15652/stat : 15652 (java) S 15646 15649 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246615945 14429130752 39471 33554432000 4194304 4196468 140733830641664 140243770194960 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15653] ppid=15646 vsize=14090948 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15653/stat : 15653 (java) S 15646 15649 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246615945 14429130752 39471 33554432000 4194304 4196468 140733830641664 140243769142416 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15654] ppid=15646 vsize=14090948 memory=-6585528546044026665 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15654/stat : 15654 (java) S 15646 15649 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246615945 14429130752 39471 33554432000 4194304 4196468 140733830641664 140243768089360 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15655] ppid=15646 vsize=14090948 memory=-7594874757988700718 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15655/stat : 15655 (java) S 15646 15649 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246615945 14429130752 39471 33554432000 4194304 4196468 140733830641664 140243767036816 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15656] ppid=15646 vsize=14090948 memory=-6007061419333544290 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15656/stat : 15656 (java) S 15646 15649 11932 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 246615946 14429130752 39471 33554432000 4194304 4196468 140733830641664 140243716159728 140244174006914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0

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

/proc/15649/task/15651/stat : 15651 (java) R 15646 15649 11932 0 -1 4202560 224993 0 0 0 235667 86 0 0 20 0 15 0 246615944 14431227904 421048 33554432000 4194304 4196468 140733830641664 140244178233824 140243793185278 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15652] ppid=15646 vsize=14092996 memory=1736500 CPUtime=20.18 cores=1,3,5,7
/proc/15649/task/15652/stat : 15652 (java) S 15646 15649 11932 0 -1 1077944384 16138 0 0 0 1959 59 0 0 20 0 15 0 246615945 14431227904 421048 33554432000 4194304 4196468 140733830641664 140243770194960 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15653] ppid=15646 vsize=14092996 memory=1710352 CPUtime=20.19 cores=1,3,5,7
/proc/15649/task/15653/stat : 15653 (java) S 15646 15649 11932 0 -1 1077944384 15666 0 0 0 1964 55 0 0 20 0 15 0 246615945 14431227904 421048 33554432000 4194304 4196468 140733830641664 140243769142416 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15654] ppid=15646 vsize=14092996 memory=1692916 CPUtime=20.17 cores=1,3,5,7
/proc/15649/task/15654/stat : 15654 (java) S 15646 15649 11932 0 -1 1077944384 15243 0 0 0 1960 57 0 0 20 0 15 0 246615945 14431227904 421048 33554432000 4194304 4196468 140733830641664 140243768089360 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15655] ppid=15646 vsize=14092996 memory=1692916 CPUtime=20.2 cores=1,3,5,7
/proc/15649/task/15655/stat : 15655 (java) S 15646 15649 11932 0 -1 1077944384 16146 0 0 0 1965 55 0 0 20 0 15 0 246615945 14431227904 421048 33554432000 4194304 4196468 140733830641664 140243767036816 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15656] ppid=15646 vsize=14092996 memory=1684192 CPUtime=3.14 cores=1,3,5,7
/proc/15649/task/15656/stat : 15656 (java) S 15646 15649 11932 0 -1 1077944384 47956 0 0 0 274 40 0 0 20 0 15 0 246615946 14431227904 421048 33554432000 4194304 4196468 140733830641664 140243716159728 140244174006914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15657] ppid=15646 vsize=14092996 memory=1684192 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15657/stat : 15657 (java) S 15646 15649 11932 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 246615946 14431227904 421048 33554432000 4194304 4196468 140733830641664 140243715106016 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15658] ppid=15646 vsize=14092996 memory=1684192 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15658/stat : 15658 (java) S 15646 15649 11932 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 246615947 14431227904 421048 33554432000 4194304 4196468 140733830641664 140243714052864 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15659] ppid=15646 vsize=14092996 memory=1684192 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15659/stat : 15659 (java) S 15646 15649 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246615949 14431227904 421048 33554432000 4194304 4196468 140733830641664 140243713001424 140244174014363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15660] ppid=15646 vsize=14092996 memory=496 CPUtime=2.94 cores=1,3,5,7
/proc/15649/task/15660/stat : 15660 (java) S 15646 15649 11932 0 -1 1077944384 14612 0 0 0 291 3 0 0 20 0 15 0 246615949 14431227904 421048 33554432000 4194304 4196468 140733830641664 140243711949552 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15661] ppid=15646 vsize=14092996 memory=1684192 CPUtime=3.23 cores=1,3,5,7
/proc/15649/task/15661/stat : 15661 (java) S 15646 15649 11932 0 -1 1077944384 19005 0 0 0 320 3 0 0 20 0 15 0 246615949 14431227904 421048 33554432000 4194304 4196468 140733830641664 140243710897008 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15662] ppid=15646 vsize=14092996 memory=3684 CPUtime=1 cores=1,3,5,7
/proc/15649/task/15662/stat : 15662 (java) S 15646 15649 11932 0 -1 1077944384 11741 0 0 0 96 4 0 0 20 0 15 0 246615949 14431227904 421048 33554432000 4194304 4196468 140733830641664 140243709843952 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15663] ppid=15646 vsize=14092996 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15663/stat : 15663 (java) S 15646 15649 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246615949 14431227904 421048 33554432000 4194304 4196468 140733830641664 140243708791648 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15664] ppid=15646 vsize=14092996 memory=1764 CPUtime=1.42 cores=1,3,5,7
/proc/15649/task/15664/stat : 15664 (java) S 15646 15649 11932 0 -1 1077944384 1633 0 0 0 64 78 0 0 20 0 15 0 246615949 14431227904 421048 33554432000 4194304 4196468 140733830641664 140243707738672 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
Current children cumulated CPU time: 2450.09 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1684192 KiB

[startup+2442.3 s]
/proc/loadavg: 1.36 1.39 1.50 3/215 15842
/proc/meminfo: memFree=18330388/32770624 swapFree=67108368/67108860
[pid=15649] ppid=15646 vsize=14092996 memory=1950392 CPUtime=2511.85 cores=1,3,5,7
/proc/15649/stat : 15649 (java) S 15646 15649 11932 0 -1 1077944320 395280 0 0 0 250758 427 0 0 20 0 15 0 246615943 14431227904 487598 33554432000 4194304 4196468 140733830641664 140733830624208 140244173995767 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
/proc/15649/statm: 3523249 487598 3622 1 0 3485321 0
[pid=15649/tid=15651] ppid=15646 vsize=14092996 memory=1958600 CPUtime=2416.91 cores=1,3,5,7
/proc/15649/task/15651/stat : 15651 (java) R 15646 15649 11932 0 -1 4202560 232310 0 0 0 241600 91 0 0 20 0 15 0 246615944 14431227904 487598 33554432000 4194304 4196468 140733830641664 140244178233760 140243792089188 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15652] ppid=15646 vsize=14092996 memory=1958600 CPUtime=20.75 cores=1,3,5,7
/proc/15649/task/15652/stat : 15652 (java) S 15646 15649 11932 0 -1 1077944384 16683 0 0 0 2014 61 0 0 20 0 15 0 246615945 14431227904 487598 33554432000 4194304 4196468 140733830641664 140243770194960 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15653] ppid=15646 vsize=14092996 memory=1958600 CPUtime=20.74 cores=1,3,5,7
/proc/15649/task/15653/stat : 15653 (java) S 15646 15649 11932 0 -1 1077944384 16118 0 0 0 2018 56 0 0 20 0 15 0 246615945 14431227904 487598 33554432000 4194304 4196468 140733830641664 140243769142416 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15654] ppid=15646 vsize=14092996 memory=928 CPUtime=20.74 cores=1,3,5,7
/proc/15649/task/15654/stat : 15654 (java) S 15646 15649 11932 0 -1 1077944384 15700 0 0 0 2015 59 0 0 20 0 15 0 246615945 14431227904 487598 33554432000 4194304 4196468 140733830641664 140243768089360 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15655] ppid=15646 vsize=14092996 memory=1959628 CPUtime=20.77 cores=1,3,5,7
/proc/15649/task/15655/stat : 15655 (java) S 15646 15649 11932 0 -1 1077944384 16580 0 0 0 2020 57 0 0 20 0 15 0 246615945 14431227904 487598 33554432000 4194304 4196468 140733830641664 140243767036816 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15656] ppid=15646 vsize=14092996 memory=1649308 CPUtime=3.19 cores=1,3,5,7
/proc/15649/task/15656/stat : 15656 (java) S 15646 15649 11932 0 -1 1077944384 49146 0 0 0 278 41 0 0 20 0 15 0 246615946 14431227904 487598 33554432000 4194304 4196468 140733830641664 140243716159728 140244174006914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15657] ppid=15646 vsize=14092996 memory=1640588 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15657/stat : 15657 (java) S 15646 15649 11932 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 246615946 14431227904 487598 33554432000 4194304 4196468 140733830641664 140243715106016 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15658] ppid=15646 vsize=14092996 memory=1711416 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15658/stat : 15658 (java) S 15646 15649 11932 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 246615947 14431227904 487598 33554432000 4194304 4196468 140733830641664 140243714052864 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15659] ppid=15646 vsize=14092996 memory=1721372 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15659/stat : 15659 (java) S 15646 15649 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246615949 14431227904 487598 33554432000 4194304 4196468 140733830641664 140243713001424 140244174014363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15660] ppid=15646 vsize=14092996 memory=1951072 CPUtime=2.97 cores=1,3,5,7
/proc/15649/task/15660/stat : 15660 (java) S 15646 15649 11932 0 -1 1077944384 14771 0 0 0 294 3 0 0 20 0 15 0 246615949 14431227904 487598 33554432000 4194304 4196468 140733830641664 140243711949552 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15661] ppid=15646 vsize=14092996 memory=1951072 CPUtime=3.24 cores=1,3,5,7
/proc/15649/task/15661/stat : 15661 (java) S 15646 15649 11932 0 -1 1077944384 19036 0 0 0 321 3 0 0 20 0 15 0 246615949 14431227904 487598 33554432000 4194304 4196468 140733830641664 140243710897008 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15662] ppid=15646 vsize=14092996 memory=1958600 CPUtime=1 cores=1,3,5,7
/proc/15649/task/15662/stat : 15662 (java) S 15646 15649 11932 0 -1 1077944384 11826 0 0 0 96 4 0 0 20 0 15 0 246615949 14431227904 487598 33554432000 4194304 4196468 140733830641664 140243709843952 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15663] ppid=15646 vsize=14092996 memory=1920 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15663/stat : 15663 (java) S 15646 15649 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246615949 14431227904 487598 33554432000 4194304 4196468 140733830641664 140243708791648 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15664] ppid=15646 vsize=14092996 memory=1958600 CPUtime=1.45 cores=1,3,5,7
/proc/15649/task/15664/stat : 15664 (java) S 15646 15649 11932 0 -1 1077944384 1649 0 0 0 66 79 0 0 20 0 15 0 246615949 14431227904 487598 33554432000 4194304 4196468 140733830641664 140243707738672 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
Current children cumulated CPU time: 2511.85 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1950392 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2450.3 s]
/proc/loadavg: 1.38 1.40 1.50 3/215 15842
/proc/meminfo: memFree=18351672/32770624 swapFree=67108368/67108860
[pid=15649] ppid=15646 vsize=14092996 memory=1941160 CPUtime=2520.02 cores=1,3,5,7
/proc/15649/stat : 15649 (java) S 15646 15649 11932 0 -1 1077944320 398479 0 0 0 251575 427 0 0 20 0 15 0 246615943 14431227904 485290 33554432000 4194304 4196468 140733830641664 140733830624208 140244173995767 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
/proc/15649/statm: 3523249 485290 3622 1 0 3485321 0
[pid=15649/tid=15651] ppid=15646 vsize=14092996 memory=1941160 CPUtime=2424.85 cores=1,3,5,7
/proc/15649/task/15651/stat : 15651 (java) R 15646 15649 11932 0 -1 4202560 235509 0 0 0 242394 91 0 0 20 0 15 0 246615944 14431227904 485290 33554432000 4194304 4196468 140733830641664 140244178233536 140243792346952 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15652] ppid=15646 vsize=14092996 memory=1949368 CPUtime=20.81 cores=1,3,5,7
/proc/15649/task/15652/stat : 15652 (java) S 15646 15649 11932 0 -1 1077944384 16683 0 0 0 2020 61 0 0 20 0 15 0 246615945 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243770194960 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15653] ppid=15646 vsize=14092996 memory=1949368 CPUtime=20.8 cores=1,3,5,7
/proc/15649/task/15653/stat : 15653 (java) S 15646 15649 11932 0 -1 1077944384 16118 0 0 0 2024 56 0 0 20 0 15 0 246615945 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243769142416 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15654] ppid=15646 vsize=14092996 memory=1649308 CPUtime=20.8 cores=1,3,5,7
/proc/15649/task/15654/stat : 15654 (java) S 15646 15649 11932 0 -1 1077944384 15700 0 0 0 2021 59 0 0 20 0 15 0 246615945 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243768089360 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15655] ppid=15646 vsize=14092996 memory=1640588 CPUtime=20.83 cores=1,3,5,7
/proc/15649/task/15655/stat : 15655 (java) S 15646 15649 11932 0 -1 1077944384 16580 0 0 0 2026 57 0 0 20 0 15 0 246615945 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243767036816 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15656] ppid=15646 vsize=14092996 memory=1711416 CPUtime=3.19 cores=1,3,5,7
/proc/15649/task/15656/stat : 15656 (java) S 15646 15649 11932 0 -1 1077944384 49146 0 0 0 278 41 0 0 20 0 15 0 246615946 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243716159728 140244174006914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15657] ppid=15646 vsize=14092996 memory=1951072 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15657/stat : 15657 (java) S 15646 15649 11932 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 246615946 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243715106016 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15658] ppid=15646 vsize=14092996 memory=1951072 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15658/stat : 15658 (java) S 15646 15649 11932 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 246615947 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243714052864 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15659] ppid=15646 vsize=14092996 memory=1950392 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15659/stat : 15659 (java) S 15646 15649 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246615949 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243713001424 140244174014363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15660] ppid=15646 vsize=14092996 memory=1950392 CPUtime=2.97 cores=1,3,5,7
/proc/15649/task/15660/stat : 15660 (java) S 15646 15649 11932 0 -1 1077944384 14771 0 0 0 294 3 0 0 20 0 15 0 246615949 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243711949552 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15661] ppid=15646 vsize=14092996 memory=1941160 CPUtime=3.24 cores=1,3,5,7
/proc/15649/task/15661/stat : 15661 (java) S 15646 15649 11932 0 -1 1077944384 19036 0 0 0 321 3 0 0 20 0 15 0 246615949 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243710897008 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15662] ppid=15646 vsize=14092996 memory=1941160 CPUtime=1 cores=1,3,5,7
/proc/15649/task/15662/stat : 15662 (java) S 15646 15649 11932 0 -1 1077944384 11826 0 0 0 96 4 0 0 20 0 15 0 246615949 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243709843952 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15663] ppid=15646 vsize=14092996 memory=1941160 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15663/stat : 15663 (java) S 15646 15649 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246615949 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243708791648 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15664] ppid=15646 vsize=14092996 memory=1941160 CPUtime=1.46 cores=1,3,5,7
/proc/15649/task/15664/stat : 15664 (java) S 15646 15649 11932 0 -1 1077944384 1649 0 0 0 66 80 0 0 20 0 15 0 246615949 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243707738672 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1941160 KiB

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

[startup+2450.33 s]
# the end of solver process 15649 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.76 s, system=4.28819 s

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

[startup+2450.3 s]
/proc/loadavg: 1.38 1.40 1.50 3/215 15842
/proc/meminfo: memFree=18351672/32770624 swapFree=67108368/67108860
[pid=15649] ppid=15646 vsize=14092996 memory=1941160 CPUtime=2520.02 cores=1,3,5,7
/proc/15649/stat : 15649 (java) S 15646 15649 11932 0 -1 1077944320 398479 0 0 0 251575 427 0 0 20 0 15 0 246615943 14431227904 485290 33554432000 4194304 4196468 140733830641664 140733830624208 140244173995767 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
/proc/15649/statm: 3523249 485290 3622 1 0 3485321 0
[pid=15649/tid=15651] ppid=15646 vsize=14092996 memory=1941160 CPUtime=2424.85 cores=1,3,5,7
/proc/15649/task/15651/stat : 15651 (java) R 15646 15649 11932 0 -1 4202560 235509 0 0 0 242394 91 0 0 20 0 15 0 246615944 14431227904 485290 33554432000 4194304 4196468 140733830641664 140244178233536 140243792346952 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15652] ppid=15646 vsize=14092996 memory=1949368 CPUtime=20.81 cores=1,3,5,7
/proc/15649/task/15652/stat : 15652 (java) S 15646 15649 11932 0 -1 1077944384 16683 0 0 0 2020 61 0 0 20 0 15 0 246615945 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243770194960 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15653] ppid=15646 vsize=14092996 memory=1949368 CPUtime=20.8 cores=1,3,5,7
/proc/15649/task/15653/stat : 15653 (java) S 15646 15649 11932 0 -1 1077944384 16118 0 0 0 2024 56 0 0 20 0 15 0 246615945 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243769142416 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15654] ppid=15646 vsize=14092996 memory=1649308 CPUtime=20.8 cores=1,3,5,7
/proc/15649/task/15654/stat : 15654 (java) S 15646 15649 11932 0 -1 1077944384 15700 0 0 0 2021 59 0 0 20 0 15 0 246615945 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243768089360 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15655] ppid=15646 vsize=14092996 memory=1640588 CPUtime=20.83 cores=1,3,5,7
/proc/15649/task/15655/stat : 15655 (java) S 15646 15649 11932 0 -1 1077944384 16580 0 0 0 2026 57 0 0 20 0 15 0 246615945 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243767036816 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15656] ppid=15646 vsize=14092996 memory=1711416 CPUtime=3.19 cores=1,3,5,7
/proc/15649/task/15656/stat : 15656 (java) S 15646 15649 11932 0 -1 1077944384 49146 0 0 0 278 41 0 0 20 0 15 0 246615946 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243716159728 140244174006914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15657] ppid=15646 vsize=14092996 memory=1951072 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15657/stat : 15657 (java) S 15646 15649 11932 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 246615946 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243715106016 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15658] ppid=15646 vsize=14092996 memory=1951072 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15658/stat : 15658 (java) S 15646 15649 11932 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 246615947 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243714052864 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15659] ppid=15646 vsize=14092996 memory=1950392 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15659/stat : 15659 (java) S 15646 15649 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246615949 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243713001424 140244174014363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15660] ppid=15646 vsize=14092996 memory=1950392 CPUtime=2.97 cores=1,3,5,7
/proc/15649/task/15660/stat : 15660 (java) S 15646 15649 11932 0 -1 1077944384 14771 0 0 0 294 3 0 0 20 0 15 0 246615949 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243711949552 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15661] ppid=15646 vsize=14092996 memory=1941160 CPUtime=3.24 cores=1,3,5,7
/proc/15649/task/15661/stat : 15661 (java) S 15646 15649 11932 0 -1 1077944384 19036 0 0 0 321 3 0 0 20 0 15 0 246615949 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243710897008 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15662] ppid=15646 vsize=14092996 memory=1941160 CPUtime=1 cores=1,3,5,7
/proc/15649/task/15662/stat : 15662 (java) S 15646 15649 11932 0 -1 1077944384 11826 0 0 0 96 4 0 0 20 0 15 0 246615949 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243709843952 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15663] ppid=15646 vsize=14092996 memory=1941160 CPUtime=0 cores=1,3,5,7
/proc/15649/task/15663/stat : 15663 (java) S 15646 15649 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246615949 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243708791648 140244174005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
[pid=15649/tid=15664] ppid=15646 vsize=14092996 memory=1941160 CPUtime=1.46 cores=1,3,5,7
/proc/15649/task/15664/stat : 15664 (java) S 15646 15649 11932 0 -1 1077944384 1649 0 0 0 66 80 0 0 20 0 15 0 246615949 14431227904 485290 33554432000 4194304 4196468 140733830641664 140243707738672 140244174006914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35676160 140733830648917 140733830649097 140733830649097 140733830651855 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1941160 KiB

Child status: 143
Real time (s): 2450.33
CPU time (s): 2520.05
CPU user time (s): 2515.76
CPU system time (s): 4.28819
CPU usage (%): 102.845
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 1959628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.76
system time used= 4.28819
maximum resident set size= 1960304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 398605
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125825
involuntary context switches= 3536


# summary of solver processes directly reported to runsolver:
#   pid: 15649
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2515.76
#   total CPU system time (s): 4.28819

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8704 second user time and 22.854 second system time

The end

Launcher Data 

Begin job on node148 at 2018-08-15 01:48:48
IDJOB=4308597
IDBENCH=141221
IDSOLVER=2792
FILE ID=node148/4308597-1534290528
RUNJOBID= node148-1534270838-13463
PBS_JOBID= 21038117
Free space on /tmp= 42612 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/SumColoring/SumColoring-myciel5_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308597-1534290528/watcher-4308597-1534290528 -o /tmp/evaluation-result-4308597-1534290528/solver-4308597-1534290528 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534270838-13463 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 225241371 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308597-1534290528.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 129cb36d1c9243226923c7f46c8f3d2b
RANDOM SEED=225241371

node148.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.50
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.50
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.50
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.50
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:        22803088 kB
MemAvailable:   30914936 kB
Buffers:          166240 kB
Cached:          8152092 kB
SwapCached:            4 kB
Active:          5400464 kB
Inactive:        3959020 kB
Active(anon):     994948 kB
Inactive(anon):    98752 kB
Active(file):    4405516 kB
Inactive(file):  3860268 kB
Unevictable:        7348 kB
Mlocked:            7348 kB
SwapTotal:      67108860 kB
SwapFree:       67108368 kB
Dirty:             36020 kB
Writeback:             0 kB
AnonPages:       1048792 kB
Mapped:            68288 kB
Shmem:             49588 kB
Slab:             303092 kB
SReclaimable:     274524 kB
SUnreclaim:        28568 kB
KernelStack:        3584 kB
PageTables:         7572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1659152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    968704 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 42576 MiB
End job on node148 at 2018-08-15 02:29:38