Trace number 4310469

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 252.051 243.529

General information on the benchmark

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310469-1534329975/watcher-4310469-1534329975 -o /tmp/evaluation-result-4310469-1534329975/solver-4310469-1534329975 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534329232-16097 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1590050700 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310469-1534329975.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
solver pid=16703, runsolver pid=16700
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 2.05 2.05 1.78 3/220 16718
/proc/meminfo: memFree=23533620/32770624 swapFree=67108852/67108860
[pid=16703] ppid=16700 vsize=14082736 memory=32636 CPUtime=0.11 cores=0,2,4,6
/proc/16703/stat : 16703 (java) S 16700 16703 16066 0 -1 1077944320 7108 0 0 0 10 1 0 0 20 0 15 0 250560664 14420721664 8159 33554432000 4194304 4196468 140730368426752 140730368409296 139639044329207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
/proc/16703/statm: 3520684 8159 3139 1 0 3482761 0
[pid=16703/tid=16705] ppid=16700 vsize=14082736 memory=-8629632960754127485 CPUtime=0.09 cores=0,2,4,6
/proc/16703/task/16705/stat : 16705 (java) R 16700 16703 16066 0 -1 4202560 5248 0 0 0 8 1 0 0 20 0 15 0 250560664 14420721664 8225 33554432000 4194304 4196468 140730368426752 139639048554896 139639024604967 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16706] ppid=16700 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16706/stat : 16706 (java) S 16700 16703 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250560665 14420721664 8225 33554432000 4194304 4196468 140730368426752 139638996949264 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16707] ppid=16700 vsize=14082736 memory=140010177984128 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16707/stat : 16707 (java) S 16700 16703 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250560665 14420721664 8225 33554432000 4194304 4196468 140730368426752 139638995896720 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16708] ppid=16700 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16708/stat : 16708 (java) S 16700 16703 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250560665 14420721664 8225 33554432000 4194304 4196468 140730368426752 139638994844176 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16709] ppid=16700 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16709/stat : 16709 (java) S 16700 16703 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250560665 14420721664 8225 33554432000 4194304 4196468 140730368426752 139638993791632 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16710] ppid=16700 vsize=14082736 memory=140010177984128 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16710/stat : 16710 (java) S 16700 16703 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250560667 14420721664 8291 33554432000 4194304 4196468 140730368426752 139638226008560 139639044340354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16711] ppid=16700 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16711/stat : 16711 (java) S 16700 16703 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250560667 14420721664 8291 33554432000 4194304 4196468 140730368426752 139638224954784 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16712] ppid=16700 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16712/stat : 16712 (java) S 16700 16703 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250560667 14420721664 8291 33554432000 4194304 4196468 140730368426752 139638223902192 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16713] ppid=16700 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16713/stat : 16713 (java) S 16700 16703 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250560670 14420721664 8291 33554432000 4194304 4196468 140730368426752 139638222850768 139639044347803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16714] ppid=16700 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16714/stat : 16714 (java) S 16700 16703 16066 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 250560670 14420721664 8291 33554432000 4194304 4196468 140730368426752 139638221797360 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16715] ppid=16700 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16715/stat : 16715 (java) S 16700 16703 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250560670 14420721664 8291 33554432000 4194304 4196468 140730368426752 139638220744816 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16716] ppid=16700 vsize=14082736 memory=140010177984128 CPUtime=0.01 cores=0,2,4,6
/proc/16703/task/16716/stat : 16716 (java) S 16700 16703 16066 0 -1 1077944384 233 0 0 0 1 0 0 0 20 0 15 0 250560670 14420721664 8291 33554432000 4194304 4196468 140730368426752 139638219692272 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16717] ppid=16700 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16717/stat : 16717 (java) S 16700 16703 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250560670 14420721664 8291 33554432000 4194304 4196468 140730368426752 139638218639968 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16718] ppid=16700 vsize=14082736 memory=140010177984128 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16718/stat : 16718 (java) S 16700 16703 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250560670 14420721664 8291 33554432000 4194304 4196468 140730368426752 139638217587504 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32636 KiB

[startup+0.21063 s]*
/proc/loadavg: 2.05 2.05 1.78 4/220 16718
/proc/meminfo: memFree=23517836/32770624 swapFree=67108852/67108860
[pid=16703] ppid=16700 vsize=14082736 memory=46856 CPUtime=0.3 cores=0,2,4,6
/proc/16703/stat : 16703 (java) S 16700 16703 16066 0 -1 1077944320 10281 0 0 0 28 2 0 0 20 0 15 0 250560664 14420721664 11714 33554432000 4194304 4196468 140730368426752 140730368409296 139639044329207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
/proc/16703/statm: 3520684 11714 3379 1 0 3482761 0
[pid=16703/tid=16705] ppid=16700 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/16703/task/16705/stat : 16705 (java) R 16700 16703 16066 0 -1 4202560 8033 0 0 0 18 1 0 0 20 0 15 0 250560664 14420721664 11714 33554432000 4194304 4196468 140730368426752 139639048558416 139639028372837 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16706] ppid=16700 vsize=14082736 memory=345 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16706/stat : 16706 (java) S 16700 16703 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250560665 14420721664 11714 33554432000 4194304 4196468 140730368426752 139638996949264 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16707] ppid=16700 vsize=14082736 memory=140010179343314 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16707/stat : 16707 (java) S 16700 16703 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250560665 14420721664 11714 33554432000 4194304 4196468 140730368426752 139638995896720 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16708] ppid=16700 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16708/stat : 16708 (java) S 16700 16703 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250560665 14420721664 11714 33554432000 4194304 4196468 140730368426752 139638994844176 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16709] ppid=16700 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16709/stat : 16709 (java) S 16700 16703 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250560665 14420721664 11714 33554432000 4194304 4196468 140730368426752 139638993791632 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16710] ppid=16700 vsize=14082736 memory=140010177984128 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16710/stat : 16710 (java) S 16700 16703 16066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250560667 14420721664 11714 33554432000 4194304 4196468 140730368426752 139638226008560 139639044340354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16711] ppid=16700 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16711/stat : 16711 (java) S 16700 16703 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250560667 14420721664 11714 33554432000 4194304 4196468 140730368426752 139638224954784 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16712] ppid=16700 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16712/stat : 16712 (java) S 16700 16703 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250560667 14420721664 11714 33554432000 4194304 4196468 140730368426752 139638223902192 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16713] ppid=16700 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16713/stat : 16713 (java) S 16700 16703 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250560670 14420721664 11714 33554432000 4194304 4196468 140730368426752 139638222850768 139639044347803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16714] ppid=16700 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16703/task/16714/stat : 16714 (java) R 16700 16703 16066 0 -1 4202560 483 0 0 0 1 0 0 0 20 0 15 0 250560670 14420721664 11714 33554432000 4194304 4196468 140730368426752 139638221778376 139639025029504 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16715] ppid=16700 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16703/task/16715/stat : 16715 (java) R 16700 16703 16066 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 15 0 250560670 14420721664 11714 33554432000 4194304 4196468 140730368426752 139638220744816 139639044340354 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16716] ppid=16700 vsize=14082736 memory=140010177984128 CPUtime=0.06 cores=0,2,4,6
/proc/16703/task/16716/stat : 16716 (java) R 16700 16703 16066 0 -1 4202560 292 0 0 0 6 0 0 0 20 0 15 0 250560670 14420721664 11714 33554432000 4194304 4196468 140730368426752 139638219690112 139639023173630 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16717] ppid=16700 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16717/stat : 16717 (java) S 16700 16703 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250560670 14420721664 11714 33554432000 4194304 4196468 140730368426752 139638218639968 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16718] ppid=16700 vsize=14082736 memory=140010177984128 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16718/stat : 16718 (java) S 16700 16703 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250560670 14420721664 11714 33554432000 4194304 4196468 140730368426752 139638217587504 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46856 KiB

[startup+0.310762 s]*
/proc/loadavg: 2.05 2.05 1.78 4/220 16718
/proc/meminfo: memFree=23514580/32770624 swapFree=67108852/67108860
[pid=16703] ppid=16700 vsize=14082736 memory=50068 CPUtime=0.43 cores=0,2,4,6
/proc/16703/stat : 16703 (java) S 16700 16703 16066 0 -1 1077944320 10711 0 0 0 41 2 0 0 20 0 15 0 250560664 14420721664 12517 33554432000 4194304 4196468 140730368426752 140730368409296 139639044329207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
/proc/16703/statm: 3520684 12517 3380 1 0 3482761 0
[pid=16703/tid=16705] ppid=16700 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/16703/task/16705/stat : 16705 (java) R 16700 16703 16066 0 -1 4202560 8393 0 0 0 28 1 0 0 20 0 15 0 250560664 14420721664 12517 33554432000 4194304 4196468 140730368426752 139639048537904 139639029494793 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16706] ppid=16700 vsize=14082736 memory=304556157652172823 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16706/stat : 16706 (java) S 16700 16703 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250560665 14420721664 12517 33554432000 4194304 4196468 140730368426752 139638996949264 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16707] ppid=16700 vsize=14082736 memory=140010179342998 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16707/stat : 16707 (java) S 16700 16703 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250560665 14420721664 12517 33554432000 4194304 4196468 140730368426752 139638995896720 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16708] ppid=16700 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16708/stat : 16708 (java) S 16700 16703 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250560665 14420721664 12517 33554432000 4194304 4196468 140730368426752 139638994844176 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16709] ppid=16700 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16709/stat : 16709 (java) S 16700 16703 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250560665 14420721664 12517 33554432000 4194304 4196468 140730368426752 139638993791632 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16710] ppid=16700 vsize=14082736 memory=140010177984128 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16710/stat : 16710 (java) S 16700 16703 16066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250560667 14420721664 12517 33554432000 4194304 4196468 140730368426752 139638226008560 139639044340354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16711] ppid=16700 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16711/stat : 16711 (java) S 16700 16703 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250560667 14420721664 12517 33554432000 4194304 4196468 140730368426752 139638224954784 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16712] ppid=16700 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16712/stat : 16712 (java) S 16700 16703 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250560667 14420721664 12517 33554432000 4194304 4196468 140730368426752 139638223902192 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16713] ppid=16700 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16713/stat : 16713 (java) S 16700 16703 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250560670 14420721664 12517 33554432000 4194304 4196468 140730368426752 139638222850768 139639044347803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16714] ppid=16700 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16703/task/16714/stat : 16714 (java) S 16700 16703 16066 0 -1 1077944384 524 0 0 0 2 0 0 0 20 0 15 0 250560670 14420721664 12517 33554432000 4194304 4196468 140730368426752 139638221797360 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16715] ppid=16700 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/16703/task/16715/stat : 16715 (java) S 16700 16703 16066 0 -1 1077944384 99 0 0 0 2 0 0 0 20 0 15 0 250560670 14420721664 12517 33554432000 4194304 4196468 140730368426752 139638220744816 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16716] ppid=16700 vsize=14082736 memory=140010177984128 CPUtime=0.08 cores=0,2,4,6
/proc/16703/task/16716/stat : 16716 (java) S 16700 16703 16066 0 -1 1077944384 312 0 0 0 8 0 0 0 20 0 15 0 250560670 14420721664 12517 33554432000 4194304 4196468 140730368426752 139638219692272 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16717] ppid=16700 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16717/stat : 16717 (java) S 16700 16703 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250560670 14420721664 12517 33554432000 4194304 4196468 140730368426752 139638218639968 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16718] ppid=16700 vsize=14082736 memory=140010177984128 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16718/stat : 16718 (java) S 16700 16703 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250560670 14420721664 12517 33554432000 4194304 4196468 140730368426752 139638217587504 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50068 KiB

[startup+0.70066 s]
/proc/loadavg: 2.05 2.05 1.78 3/220 16718
/proc/meminfo: memFree=23492568/32770624 swapFree=67108852/67108860
[pid=16703] ppid=16700 vsize=14084804 memory=86912 CPUtime=0.99 cores=0,2,4,6
/proc/16703/stat : 16703 (java) S 16700 16703 16066 0 -1 1077944320 17547 0 0 0 95 4 0 0 20 0 15 0 250560664 14422839296 21728 33554432000 4194304 4196468 140730368426752 140730368409296 139639044329207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
/proc/16703/statm: 3521201 21728 3503 1 0 3483273 0
[pid=16703/tid=16705] ppid=16700 vsize=14084804 memory=3340 CPUtime=0.67 cores=0,2,4,6
/proc/16703/task/16705/stat : 16705 (java) R 16700 16703 16066 0 -1 4202560 14813 0 0 0 64 3 0 0 20 0 15 0 250560664 14422839296 21728 33554432000 4194304 4196468 140730368426752 139639048556272 139639026228855 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16706] ppid=16700 vsize=14084804 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16706/stat : 16706 (java) S 16700 16703 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250560665 14422839296 21728 33554432000 4194304 4196468 140730368426752 139638996949264 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16707] ppid=16700 vsize=14084804 memory=37796 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16707/stat : 16707 (java) S 16700 16703 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250560665 14422839296 21728 33554432000 4194304 4196468 140730368426752 139638995896720 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16708] ppid=16700 vsize=14084804 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16708/stat : 16708 (java) S 16700 16703 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250560665 14422839296 21728 33554432000 4194304 4196468 140730368426752 139638994844176 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16709] ppid=16700 vsize=14084804 memory=496 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16709/stat : 16709 (java) S 16700 16703 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250560665 14422839296 21728 33554432000 4194304 4196468 140730368426752 139638993791632 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16710] ppid=16700 vsize=14084804 memory=928 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16710/stat : 16710 (java) S 16700 16703 16066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250560667 14422839296 21728 33554432000 4194304 4196468 140730368426752 139638226008560 139639044340354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16711] ppid=16700 vsize=14084804 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16711/stat : 16711 (java) S 16700 16703 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250560667 14422839296 21728 33554432000 4194304 4196468 140730368426752 139638224954784 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16712] ppid=16700 vsize=14084804 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16712/stat : 16712 (java) S 16700 16703 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250560667 14422839296 21728 33554432000 4194304 4196468 140730368426752 139638223902192 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16713] ppid=16700 vsize=14084804 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16713/stat : 16713 (java) S 16700 16703 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250560670 14422839296 21728 33554432000 4194304 4196468 140730368426752 139638222850768 139639044347803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16714] ppid=16700 vsize=14084804 memory=7237400421040875609 CPUtime=0.07 cores=0,2,4,6
/proc/16703/task/16714/stat : 16714 (java) S 16700 16703 16066 0 -1 1077944384 665 0 0 0 7 0 0 0 20 0 15 0 250560670 14422839296 21728 33554432000 4194304 4196468 140730368426752 139638221797360 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16715] ppid=16700 vsize=14084804 memory=7523071198212214892 CPUtime=0.07 cores=0,2,4,6
/proc/16703/task/16715/stat : 16715 (java) S 16700 16703 16066 0 -1 1077944384 274 0 0 0 7 0 0 0 20 0 15 0 250560670 14422839296 21728 33554432000 4194304 4196468 140730368426752 139638220744816 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16716] ppid=16700 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/16703/task/16716/stat : 16716 (java) S 16700 16703 16066 0 -1 1077944384 412 0 0 0 15 0 0 0 20 0 15 0 250560670 14422839296 21728 33554432000 4194304 4196468 140730368426752 139638219692272 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16717] ppid=16700 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16717/stat : 16717 (java) S 16700 16703 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250560670 14422839296 21728 33554432000 4194304 4196468 140730368426752 139638218639968 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16718] ppid=16700 vsize=14084804 memory=6436 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16718/stat : 16718 (java) S 16700 16703 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250560670 14422839296 21728 33554432000 4194304 4196468 140730368426752 139638217587504 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 86912 KiB

[startup+1.50146 s]
/proc/loadavg: 2.05 2.05 1.78 3/220 16718
/proc/meminfo: memFree=23460060/32770624 swapFree=67108852/67108860
[pid=16703] ppid=16700 vsize=14090948 memory=152164 CPUtime=3 cores=0,2,4,6
/proc/16703/stat : 16703 (java) S 16700 16703 16066 0 -1 1077944320 26854 0 0 0 292 8 0 0 20 0 15 0 250560664 14429130752 38041 33554432000 4194304 4196468 140730368426752 140730368409296 139639044329207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
/proc/16703/statm: 3522737 38041 3537 1 0 3484809 0
[pid=16703/tid=16705] ppid=16700 vsize=14090948 memory=132304 CPUtime=1.46 cores=0,2,4,6
/proc/16703/task/16705/stat : 16705 (java) R 16700 16703 16066 0 -1 4202560 18715 0 0 0 141 5 0 0 20 0 15 0 250560664 14429130752 38041 33554432000 4194304 4196468 140730368426752 139639048558896 139638669758818 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16706] ppid=16700 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16706/stat : 16706 (java) S 16700 16703 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250560665 14429130752 38041 33554432000 4194304 4196468 140730368426752 139638996949264 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16707] ppid=16700 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16707/stat : 16707 (java) S 16700 16703 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250560665 14429130752 38041 33554432000 4194304 4196468 140730368426752 139638995896720 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16708] ppid=16700 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16708/stat : 16708 (java) S 16700 16703 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250560665 14429130752 38041 33554432000 4194304 4196468 140730368426752 139638994844176 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16709] ppid=16700 vsize=14090948 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16709/stat : 16709 (java) S 16700 16703 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250560665 14429130752 38041 33554432000 4194304 4196468 140730368426752 139638993791632 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16710] ppid=16700 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16710/stat : 16710 (java) S 16700 16703 16066 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 250560667 14429130752 38041 33554432000 4194304 4196468 140730368426752 139638226008560 139639044340354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0

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

/proc/16703/task/16705/stat : 16705 (java) R 16700 16703 16066 0 -1 4202560 31195 0 0 0 16070 9 0 0 20 0 15 0 250560664 14431227904 55245 33554432000 4194304 4196468 140730368426752 139639048566320 139638672785604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16706] ppid=16700 vsize=14092996 memory=220980 CPUtime=0.63 cores=0,2,4,6
/proc/16703/task/16706/stat : 16706 (java) S 16700 16703 16066 0 -1 1077944384 1646 0 0 0 59 4 0 0 20 0 15 0 250560665 14431227904 55245 33554432000 4194304 4196468 140730368426752 139638996949264 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16707] ppid=16700 vsize=14092996 memory=220980 CPUtime=0.64 cores=0,2,4,6
/proc/16703/task/16707/stat : 16707 (java) S 16700 16703 16066 0 -1 1077944384 2424 0 0 0 59 5 0 0 20 0 15 0 250560665 14431227904 55245 33554432000 4194304 4196468 140730368426752 139638995896720 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16708] ppid=16700 vsize=14092996 memory=220980 CPUtime=0.63 cores=0,2,4,6
/proc/16703/task/16708/stat : 16708 (java) S 16700 16703 16066 0 -1 1077944384 2798 0 0 0 58 5 0 0 20 0 15 0 250560665 14431227904 55245 33554432000 4194304 4196468 140730368426752 139638994844176 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16709] ppid=16700 vsize=14092996 memory=218932 CPUtime=0.65 cores=0,2,4,6
/proc/16703/task/16709/stat : 16709 (java) S 16700 16703 16066 0 -1 1077944384 2074 0 0 0 59 6 0 0 20 0 15 0 250560665 14431227904 55245 33554432000 4194304 4196468 140730368426752 139638993791632 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16710] ppid=16700 vsize=14092996 memory=280020056809904 CPUtime=0.59 cores=0,2,4,6
/proc/16703/task/16710/stat : 16710 (java) S 16700 16703 16066 0 -1 1077944384 1751 0 0 0 55 4 0 0 20 0 15 0 250560667 14431227904 55245 33554432000 4194304 4196468 140730368426752 139638226008560 139639044340354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16711] ppid=16700 vsize=14092996 memory=218932 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16711/stat : 16711 (java) S 16700 16703 16066 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 250560667 14431227904 55245 33554432000 4194304 4196468 140730368426752 139638224954848 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16712] ppid=16700 vsize=14092996 memory=218788 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16712/stat : 16712 (java) S 16700 16703 16066 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250560667 14431227904 55245 33554432000 4194304 4196468 140730368426752 139638223902208 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16713] ppid=16700 vsize=14092996 memory=214332 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16713/stat : 16713 (java) S 16700 16703 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250560670 14431227904 55245 33554432000 4194304 4196468 140730368426752 139638222850768 139639044347803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16714] ppid=16700 vsize=14092996 memory=3708 CPUtime=2.21 cores=0,2,4,6
/proc/16703/task/16714/stat : 16714 (java) S 16700 16703 16066 0 -1 1077944384 13928 0 0 0 220 1 0 0 20 0 15 0 250560670 14431227904 55245 33554432000 4194304 4196468 140730368426752 139638221797360 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16715] ppid=16700 vsize=14092996 memory=68228 CPUtime=2.18 cores=0,2,4,6
/proc/16703/task/16715/stat : 16715 (java) S 16700 16703 16066 0 -1 1077944384 11152 0 0 0 216 2 0 0 20 0 15 0 250560670 14431227904 55245 33554432000 4194304 4196468 140730368426752 139638220744816 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16716] ppid=16700 vsize=14092996 memory=220980 CPUtime=0.96 cores=0,2,4,6
/proc/16703/task/16716/stat : 16716 (java) S 16700 16703 16066 0 -1 1077944384 11195 0 0 0 95 1 0 0 20 0 15 0 250560670 14431227904 55245 33554432000 4194304 4196468 140730368426752 139638219692272 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16717] ppid=16700 vsize=14092996 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16717/stat : 16717 (java) S 16700 16703 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250560670 14431227904 55245 33554432000 4194304 4196468 140730368426752 139638218639968 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16718] ppid=16700 vsize=14092996 memory=1796 CPUtime=0.08 cores=0,2,4,6
/proc/16703/task/16718/stat : 16718 (java) S 16700 16703 16066 0 -1 1077944384 937 0 0 0 3 5 0 0 20 0 15 0 250560670 14431227904 55245 33554432000 4194304 4196468 140730368426752 139638217587504 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
Current children cumulated CPU time: 169.5 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 220980 KiB

[startup+222.301 s]
/proc/loadavg: 1.50 1.82 1.75 3/220 16798
/proc/meminfo: memFree=19337396/32770624 swapFree=67108852/67108860
[pid=16703] ppid=16700 vsize=14092996 memory=262040 CPUtime=230.45 cores=0,2,4,6
/proc/16703/stat : 16703 (java) S 16700 16703 16066 0 -1 1077944320 82799 0 0 0 22996 49 0 0 20 0 15 0 250560664 14431227904 65510 33554432000 4194304 4196468 140730368426752 140730368409296 139639044329207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
/proc/16703/statm: 3523249 65510 3594 1 0 3485321 0
[pid=16703/tid=16705] ppid=16700 vsize=14092996 memory=262040 CPUtime=220.16 cores=0,2,4,6
/proc/16703/task/16705/stat : 16705 (java) R 16700 16703 16066 0 -1 4202560 31987 0 0 0 22006 10 0 0 20 0 15 0 250560664 14431227904 65510 33554432000 4194304 4196468 140730368426752 139639048566384 139638672786232 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16706] ppid=16700 vsize=14092996 memory=259988 CPUtime=0.96 cores=0,2,4,6
/proc/16703/task/16706/stat : 16706 (java) S 16700 16703 16066 0 -1 1077944384 1840 0 0 0 90 6 0 0 20 0 15 0 250560665 14431227904 65510 33554432000 4194304 4196468 140730368426752 139638996949264 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16707] ppid=16700 vsize=14092996 memory=257940 CPUtime=0.97 cores=0,2,4,6
/proc/16703/task/16707/stat : 16707 (java) S 16700 16703 16066 0 -1 1077944384 2655 0 0 0 91 6 0 0 20 0 15 0 250560665 14431227904 65510 33554432000 4194304 4196468 140730368426752 139638995896720 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16708] ppid=16700 vsize=14092996 memory=255872 CPUtime=0.96 cores=0,2,4,6
/proc/16703/task/16708/stat : 16708 (java) S 16700 16703 16066 0 -1 1077944384 3000 0 0 0 89 7 0 0 20 0 15 0 250560665 14431227904 65510 33554432000 4194304 4196468 140730368426752 139638994844176 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16709] ppid=16700 vsize=14092996 memory=259988 CPUtime=0.97 cores=0,2,4,6
/proc/16703/task/16709/stat : 16709 (java) S 16700 16703 16066 0 -1 1077944384 2291 0 0 0 90 7 0 0 20 0 15 0 250560665 14431227904 65510 33554432000 4194304 4196468 140730368426752 139638993791632 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16710] ppid=16700 vsize=14092996 memory=3708 CPUtime=0.84 cores=0,2,4,6
/proc/16703/task/16710/stat : 16710 (java) S 16700 16703 16066 0 -1 1077944384 1775 0 0 0 78 6 0 0 20 0 15 0 250560667 14431227904 65510 33554432000 4194304 4196468 140730368426752 139638226008560 139639044340354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16711] ppid=16700 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16711/stat : 16711 (java) S 16700 16703 16066 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 250560667 14431227904 65510 33554432000 4194304 4196468 140730368426752 139638224954848 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16712] ppid=16700 vsize=14092996 memory=262040 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16712/stat : 16712 (java) S 16700 16703 16066 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250560667 14431227904 65510 33554432000 4194304 4196468 140730368426752 139638223902208 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16713] ppid=16700 vsize=14092996 memory=262040 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16713/stat : 16713 (java) S 16700 16703 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250560670 14431227904 65510 33554432000 4194304 4196468 140730368426752 139638222850768 139639044347803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16714] ppid=16700 vsize=14092996 memory=259988 CPUtime=2.21 cores=0,2,4,6
/proc/16703/task/16714/stat : 16714 (java) S 16700 16703 16066 0 -1 1077944384 14115 0 0 0 220 1 0 0 20 0 15 0 250560670 14431227904 65510 33554432000 4194304 4196468 140730368426752 139638221797360 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16715] ppid=16700 vsize=14092996 memory=1120 CPUtime=2.18 cores=0,2,4,6
/proc/16703/task/16715/stat : 16715 (java) S 16700 16703 16066 0 -1 1077944384 11244 0 0 0 216 2 0 0 20 0 15 0 250560670 14431227904 65510 33554432000 4194304 4196468 140730368426752 139638220744816 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16716] ppid=16700 vsize=14092996 memory=6436 CPUtime=0.97 cores=0,2,4,6
/proc/16703/task/16716/stat : 16716 (java) S 16700 16703 16066 0 -1 1077944384 11507 0 0 0 96 1 0 0 20 0 15 0 250560670 14431227904 65510 33554432000 4194304 4196468 140730368426752 139638219692272 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16717] ppid=16700 vsize=14092996 memory=259988 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16717/stat : 16717 (java) S 16700 16703 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250560670 14431227904 65510 33554432000 4194304 4196468 140730368426752 139638218639968 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16718] ppid=16700 vsize=14092996 memory=259988 CPUtime=0.12 cores=0,2,4,6
/proc/16703/task/16718/stat : 16718 (java) S 16700 16703 16066 0 -1 1077944384 941 0 0 0 5 7 0 0 20 0 15 0 250560670 14431227904 65510 33554432000 4194304 4196468 140730368426752 139638217587504 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
Current children cumulated CPU time: 230.45 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 262040 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+243.501 s]
/proc/loadavg: 1.50 1.80 1.74 5/220 16837
/proc/meminfo: memFree=23549184/32770624 swapFree=67108852/67108860
[pid=16703] ppid=16700 vsize=14092996 memory=264144 CPUtime=252.02 cores=0,2,4,6
/proc/16703/stat : 16703 (java) S 16700 16703 16066 0 -1 1077944320 84630 0 0 0 25150 52 0 0 20 0 15 0 250560664 14431227904 66036 33554432000 4194304 4196468 140730368426752 140730368409296 139639044329207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
/proc/16703/statm: 3523249 66036 3594 1 0 3485321 0
[pid=16703/tid=16705] ppid=16700 vsize=14092996 memory=262040 CPUtime=241.14 cores=0,2,4,6
/proc/16703/task/16705/stat : 16705 (java) R 16700 16703 16066 0 -1 4202560 32811 0 0 0 24103 11 0 0 20 0 15 0 250560664 14431227904 66036 33554432000 4194304 4196468 140730368426752 139639048566384 139638668336151 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16706] ppid=16700 vsize=14092996 memory=257940 CPUtime=1.08 cores=0,2,4,6
/proc/16703/task/16706/stat : 16706 (java) S 16700 16703 16066 0 -1 1077944384 2449 0 0 0 102 6 0 0 20 0 15 0 250560665 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638996949264 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16707] ppid=16700 vsize=14092996 memory=264100 CPUtime=1.09 cores=0,2,4,6
/proc/16703/task/16707/stat : 16707 (java) S 16700 16703 16066 0 -1 1077944384 2716 0 0 0 102 7 0 0 20 0 15 0 250560665 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638995896720 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16708] ppid=16700 vsize=14092996 memory=264100 CPUtime=1.08 cores=0,2,4,6
/proc/16703/task/16708/stat : 16708 (java) S 16700 16703 16066 0 -1 1077944384 3088 0 0 0 101 7 0 0 20 0 15 0 250560665 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638994844176 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16709] ppid=16700 vsize=14092996 memory=264144 CPUtime=1.09 cores=0,2,4,6
/proc/16703/task/16709/stat : 16709 (java) S 16700 16703 16066 0 -1 1077944384 2421 0 0 0 101 8 0 0 20 0 15 0 250560665 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638993791632 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16710] ppid=16700 vsize=14092996 memory=264144 CPUtime=0.93 cores=0,2,4,6
/proc/16703/task/16710/stat : 16710 (java) S 16700 16703 16066 0 -1 1077944384 1809 0 0 0 86 7 0 0 20 0 15 0 250560667 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638226008560 139639044340354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16711] ppid=16700 vsize=14092996 memory=6436 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16711/stat : 16711 (java) S 16700 16703 16066 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 250560667 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638224954848 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16712] ppid=16700 vsize=14092996 memory=262040 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16712/stat : 16712 (java) S 16700 16703 16066 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250560667 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638223902208 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16713] ppid=16700 vsize=14092996 memory=264100 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16713/stat : 16713 (java) S 16700 16703 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250560670 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638222850768 139639044347803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16714] ppid=16700 vsize=14092996 memory=1404 CPUtime=2.21 cores=0,2,4,6
/proc/16703/task/16714/stat : 16714 (java) S 16700 16703 16066 0 -1 1077944384 14126 0 0 0 220 1 0 0 20 0 15 0 250560670 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638221797360 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16715] ppid=16700 vsize=14092996 memory=3708 CPUtime=2.18 cores=0,2,4,6
/proc/16703/task/16715/stat : 16715 (java) S 16700 16703 16066 0 -1 1077944384 11312 0 0 0 216 2 0 0 20 0 15 0 250560670 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638220744816 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16716] ppid=16700 vsize=14092996 memory=264144 CPUtime=0.97 cores=0,2,4,6
/proc/16703/task/16716/stat : 16716 (java) S 16700 16703 16066 0 -1 1077944384 11507 0 0 0 96 1 0 0 20 0 15 0 250560670 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638219692272 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16717] ppid=16700 vsize=14092996 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16717/stat : 16717 (java) S 16700 16703 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250560670 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638218639968 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16718] ppid=16700 vsize=14092996 memory=264100 CPUtime=0.13 cores=0,2,4,6
/proc/16703/task/16718/stat : 16718 (java) S 16700 16703 16066 0 -1 1077944384 947 0 0 0 6 7 0 0 20 0 15 0 250560670 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638217587504 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 264144 KiB

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

[startup+243.529 s]
# the end of solver process 16703 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.516 s, system=0.535499 s

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

[startup+243.501 s]
/proc/loadavg: 1.50 1.80 1.74 5/220 16837
/proc/meminfo: memFree=23549184/32770624 swapFree=67108852/67108860
[pid=16703] ppid=16700 vsize=14092996 memory=264144 CPUtime=252.02 cores=0,2,4,6
/proc/16703/stat : 16703 (java) S 16700 16703 16066 0 -1 1077944320 84630 0 0 0 25150 52 0 0 20 0 15 0 250560664 14431227904 66036 33554432000 4194304 4196468 140730368426752 140730368409296 139639044329207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
/proc/16703/statm: 3523249 66036 3594 1 0 3485321 0
[pid=16703/tid=16705] ppid=16700 vsize=14092996 memory=262040 CPUtime=241.14 cores=0,2,4,6
/proc/16703/task/16705/stat : 16705 (java) R 16700 16703 16066 0 -1 4202560 32811 0 0 0 24103 11 0 0 20 0 15 0 250560664 14431227904 66036 33554432000 4194304 4196468 140730368426752 139639048566384 139638668336151 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16706] ppid=16700 vsize=14092996 memory=257940 CPUtime=1.08 cores=0,2,4,6
/proc/16703/task/16706/stat : 16706 (java) S 16700 16703 16066 0 -1 1077944384 2449 0 0 0 102 6 0 0 20 0 15 0 250560665 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638996949264 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16707] ppid=16700 vsize=14092996 memory=264100 CPUtime=1.09 cores=0,2,4,6
/proc/16703/task/16707/stat : 16707 (java) S 16700 16703 16066 0 -1 1077944384 2716 0 0 0 102 7 0 0 20 0 15 0 250560665 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638995896720 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16708] ppid=16700 vsize=14092996 memory=264100 CPUtime=1.08 cores=0,2,4,6
/proc/16703/task/16708/stat : 16708 (java) S 16700 16703 16066 0 -1 1077944384 3088 0 0 0 101 7 0 0 20 0 15 0 250560665 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638994844176 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16709] ppid=16700 vsize=14092996 memory=264144 CPUtime=1.09 cores=0,2,4,6
/proc/16703/task/16709/stat : 16709 (java) S 16700 16703 16066 0 -1 1077944384 2421 0 0 0 101 8 0 0 20 0 15 0 250560665 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638993791632 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16710] ppid=16700 vsize=14092996 memory=264144 CPUtime=0.93 cores=0,2,4,6
/proc/16703/task/16710/stat : 16710 (java) S 16700 16703 16066 0 -1 1077944384 1809 0 0 0 86 7 0 0 20 0 15 0 250560667 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638226008560 139639044340354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16711] ppid=16700 vsize=14092996 memory=6436 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16711/stat : 16711 (java) S 16700 16703 16066 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 250560667 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638224954848 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16712] ppid=16700 vsize=14092996 memory=262040 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16712/stat : 16712 (java) S 16700 16703 16066 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250560667 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638223902208 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16713] ppid=16700 vsize=14092996 memory=264100 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16713/stat : 16713 (java) S 16700 16703 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250560670 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638222850768 139639044347803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16714] ppid=16700 vsize=14092996 memory=1404 CPUtime=2.21 cores=0,2,4,6
/proc/16703/task/16714/stat : 16714 (java) S 16700 16703 16066 0 -1 1077944384 14126 0 0 0 220 1 0 0 20 0 15 0 250560670 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638221797360 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16715] ppid=16700 vsize=14092996 memory=3708 CPUtime=2.18 cores=0,2,4,6
/proc/16703/task/16715/stat : 16715 (java) S 16700 16703 16066 0 -1 1077944384 11312 0 0 0 216 2 0 0 20 0 15 0 250560670 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638220744816 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16716] ppid=16700 vsize=14092996 memory=264144 CPUtime=0.97 cores=0,2,4,6
/proc/16703/task/16716/stat : 16716 (java) S 16700 16703 16066 0 -1 1077944384 11507 0 0 0 96 1 0 0 20 0 15 0 250560670 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638219692272 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16717] ppid=16700 vsize=14092996 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/16703/task/16717/stat : 16717 (java) S 16700 16703 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250560670 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638218639968 139639044339413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
[pid=16703/tid=16718] ppid=16700 vsize=14092996 memory=264100 CPUtime=0.13 cores=0,2,4,6
/proc/16703/task/16718/stat : 16718 (java) S 16700 16703 16066 0 -1 1077944384 947 0 0 0 6 7 0 0 20 0 15 0 250560670 14431227904 66036 33554432000 4194304 4196468 140730368426752 139638217587504 139639044340354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140730368431194 140730368431374 140730368431374 140730368434127 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 264144 KiB

Child status: 143
Real time (s): 243.529
CPU time (s): 252.051
CPU user time (s): 251.516
CPU system time (s): 0.535499
CPU usage (%): 103.5
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 264144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.516
system time used= 0.535499
maximum resident set size= 264708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85144
page faults= 0
swaps= 0
block input operations= 0
block output operations= 752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32879
involuntary context switches= 847


# summary of solver processes directly reported to runsolver:
#   pid: 16703
#   total CPU time (s): 252.051
#   total CPU user time (s): 251.516
#   total CPU system time (s): 0.535499

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.37575 second user time and 2.51203 second system time

The end

Launcher Data 

Begin job on node133 at 2018-08-15 12:46:15
IDJOB=4310469
IDBENCH=141221
IDSOLVER=2796
FILE ID=node133/4310469-1534329975
RUNJOBID= node133-1534329232-16097
PBS_JOBID= 21038161
Free space on /tmp= 39280 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-4310469-1534329975/watcher-4310469-1534329975 -o /tmp/evaluation-result-4310469-1534329975/solver-4310469-1534329975 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534329232-16097 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1590050700 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310469-1534329975.xml

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

MD5SUM BENCH= 129cb36d1c9243226923c7f46c8f3d2b
RANDOM SEED=1590050700

node133.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.24
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.24
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.24
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.24
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:        23551568 kB
MemAvailable:   31600924 kB
Buffers:          157868 kB
Cached:          8131496 kB
SwapCached:            4 kB
Active:          4650304 kB
Inactive:        3990596 kB
Active(anon):     302084 kB
Inactive(anon):   109924 kB
Active(file):    4348220 kB
Inactive(file):  3880672 kB
Unevictable:        7072 kB
Mlocked:            7072 kB
SwapTotal:      67108860 kB
SwapFree:       67108852 kB
Dirty:             35748 kB
Writeback:             0 kB
AnonPages:        396416 kB
Mapped:            69776 kB
Shmem:             58008 kB
Slab:             277176 kB
SReclaimable:     248924 kB
SUnreclaim:        28252 kB
KernelStack:        3888 kB
PageTables:         6272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1468576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 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= 39244 MiB
End job on node133 at 2018-08-15 12:50:19