Trace number 4291457

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-07-02SAT (TO)1142 2400.11 2259.24

General information on the benchmark

NameGraphColoring/
GraphColoring-3-fullins-5_c18.xml
MD5SUM51dc9de19dcdd21b605810f9d7307a76
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark1856.54
Satisfiable
(Un)Satisfiability was proved
Number of variables2030
Number of constraints33751
Number of domains1
Minimum domain size2030
Maximum domain size2030
Distribution of domain sizes[{"size":2030,"count":2030}]
Minimum variable degree9
Maximum variable degree410
Distribution of variable degrees[{"degree":9,"count":4},{"degree":10,"count":14},{"degree":11,"count":12},{"degree":12,"count":36},{"degree":13,"count":23},{"degree":14,"count":54},{"degree":15,"count":22},{"degree":16,"count":66},{"degree":17,"count":41},{"degree":18,"count":123},{"degree":19,"count":41},{"degree":20,"count":123},{"degree":21,"count":19},{"degree":22,"count":57},{"degree":23,"count":42},{"degree":24,"count":131},{"degree":25,"count":8},{"degree":26,"count":24},{"degree":27,"count":29},{"degree":28,"count":87},{"degree":29,"count":44},{"degree":30,"count":132},{"degree":31,"count":87},{"degree":32,"count":261},{"degree":33,"count":5},{"degree":34,"count":15},{"degree":35,"count":15},{"degree":36,"count":45},{"degree":41,"count":5},{"degree":42,"count":15},{"degree":43,"count":5},{"degree":44,"count":15},{"degree":49,"count":5},{"degree":50,"count":15},{"degree":51,"count":15},{"degree":52,"count":45},{"degree":53,"count":15},{"degree":54,"count":45},{"degree":55,"count":45},{"degree":56,"count":135},{"degree":77,"count":5},{"degree":78,"count":15},{"degree":79,"count":15},{"degree":80,"count":45},{"degree":87,"count":5},{"degree":169,"count":5},{"degree":170,"count":15},{"degree":410,"count":5}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":33751}]
Number of extensional constraints0
Number of intensional constraints33751
Distribution of constraint types[{"type":"intension","count":33751}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.66/0.58	c version: 2018-07-02
0.66/0.58	c seed: 1527634064
0.66/0.58	c timeout: 2400
0.66/0.58	c memlimit: 11000
0.66/0.58	c nbcore: 4
0.66/0.61	c Parsing instance...
17.63/8.67	c Parsing done, starting first complete search...
18.85/9.31	o 2029
19.91/9.95	o 2028
23.27/11.25	o 2027
23.95/11.81	o 2026
24.48/12.39	o 2025
25.13/12.96	o 2024
25.73/13.56	o 2023
26.38/14.13	o 2022
26.87/14.69	o 2021
27.47/15.27	o 2020
28.07/15.85	o 2019
28.67/16.40	o 2018
29.17/16.97	o 2017
29.77/17.53	o 2016
30.29/18.09	o 2015
30.89/18.66	o 2014
31.50/19.26	o 2013
32.10/19.81	o 2012
32.60/20.38	o 2011
33.20/20.93	o 2010
33.70/21.49	o 2009
34.31/22.07	o 2008
34.92/22.64	o 2007
35.50/23.19	o 2006
36.09/23.74	o 2005
37.01/24.48	o 2004
37.83/25.05	o 2003
38.42/25.63	o 2002
38.98/26.19	o 2001
39.57/26.77	o 2000
40.17/27.32	o 1999
40.67/27.88	o 1998
41.27/28.43	o 1997
41.88/29.02	o 1996
42.37/29.57	o 1995
42.98/30.12	o 1994
43.48/30.66	o 1993
44.08/31.20	o 1992
44.58/31.73	o 1991
45.08/32.29	o 1990
45.69/32.85	o 1989
46.19/33.40	o 1988
46.79/33.94	o 1987
47.39/34.51	o 1986
47.90/35.06	o 1985
48.39/35.60	o 1984
49.01/36.13	o 1983
49.50/36.68	o 1982
50.10/37.23	o 1981
50.70/37.80	o 1980
51.20/38.34	o 1979
51.99/38.98	o 1978
52.60/39.54	o 1977
53.24/40.11	o 1976
53.83/40.72	o 1975
54.33/41.26	o 1974
54.93/41.82	o 1973
55.44/42.37	o 1972
56.04/42.91	o 1971
56.54/43.46	o 1970
57.14/44.02	o 1969
57.64/44.59	o 1968
58.25/45.16	o 1967
58.83/45.73	o 1966
59.45/46.30	o 1965
59.95/46.84	o 1964
60.45/47.37	o 1963
61.05/47.96	o 1962
61.65/48.50	o 1961
62.15/49.08	o 1960
62.74/49.66	o 1959
63.34/50.24	o 1958
63.84/50.78	o 1957
64.45/51.34	o 1956
65.05/51.92	o 1955
65.55/52.47	o 1954
66.34/53.08	o 1953
66.93/53.64	o 1952
67.53/54.20	o 1951
68.04/54.73	o 1950
68.64/55.30	o 1949
69.14/55.85	o 1948
69.74/56.42	o 1947
70.24/56.98	o 1946
70.85/57.51	o 1945
71.36/58.05	o 1944
71.85/58.58	o 1943
72.46/59.14	o 1942
72.95/59.68	o 1941
73.55/60.24	o 1940
74.05/60.76	o 1939
74.65/61.32	o 1938
75.25/61.92	o 1937
75.85/62.51	o 1936
76.36/63.09	o 1935
76.95/63.67	o 1934
77.55/64.23	o 1933
78.05/64.79	o 1932
78.65/65.34	o 1931
79.25/65.92	o 1930
79.75/66.45	o 1929
80.25/67.00	o 1928
80.99/67.58	o 1927
81.60/68.16	o 1926
82.19/68.70	o 1925
82.69/69.24	o 1924
83.19/69.79	o 1923
83.80/70.34	o 1922
84.29/70.88	o 1921
84.90/71.41	o 1920
85.41/71.97	o 1919
86.01/72.54	o 1918
86.62/73.11	o 1917
87.11/73.65	o 1916
87.71/74.23	o 1915
88.21/74.78	o 1914
88.81/75.32	o 1913
89.31/75.87	o 1912
89.91/76.44	o 1911
90.42/76.97	o 1910
91.02/77.54	o 1909
91.53/78.09	o 1908
92.12/78.65	o 1907
92.63/79.18	o 1906
93.22/79.72	o 1905
93.82/80.31	o 1904
94.32/80.86	o 1903
94.93/81.41	o 1902
95.71/82.02	o 1901
96.20/82.57	o 1900
96.71/83.09	o 1899
97.30/83.64	o 1898
97.90/84.24	o 1897
98.41/84.78	o 1896
99.01/85.35	o 1895
99.51/85.88	o 1894
100.11/86.44	o 1893
100.61/86.99	o 1892
101.21/87.52	o 1891
101.72/88.09	o 1890
102.31/88.66	o 1889
102.91/89.20	o 1888
103.41/89.73	o 1887
103.90/90.29	o 1886
104.50/90.84	o 1885
105.00/91.37	o 1884
105.60/91.94	o 1883
106.10/92.48	o 1882
106.71/93.02	o 1881
107.20/93.55	o 1880
107.71/94.10	o 1879
108.30/94.66	o 1878
108.82/95.19	o 1877
109.67/95.85	o 1876
110.31/96.39	o 1875
110.91/96.94	o 1874
111.41/97.47	o 1873
112.03/98.03	o 1872
112.52/98.58	o 1871
113.12/99.12	o 1870
113.61/99.65	o 1869
114.22/100.23	o 1868
114.72/100.76	o 1867
115.22/101.29	o 1866
115.82/101.82	o 1865
116.32/102.37	o 1864
116.92/102.94	o 1863
117.42/103.45	o 1862
117.92/103.99	o 1861
118.52/104.54	o 1860
119.03/105.07	o 1859
119.52/105.60	o 1858
120.13/106.16	o 1857
120.62/106.68	o 1856
121.13/107.19	o 1855
121.72/107.76	o 1854
122.32/108.30	o 1853
122.82/108.83	o 1852
123.32/109.37	o 1851
123.93/109.91	o 1850
124.82/110.52	o 1849
125.33/111.09	o 1848
125.92/111.67	o 1847
126.52/112.21	o 1846
127.02/112.73	o 1845
127.53/113.28	o 1844
128.03/113.79	o 1843
128.63/114.31	o 1842
129.13/114.85	o 1841
129.73/115.41	o 1840
130.23/115.94	o 1839
130.73/116.47	o 1838
131.23/117.00	o 1837
131.83/117.50	o 1836
132.23/118.00	o 1835
132.83/118.54	o 1834
133.34/119.09	o 1833
133.93/119.60	o 1832
134.44/120.13	o 1831
134.93/120.68	o 1830
135.53/121.24	o 1829
136.03/121.75	o 1828
136.53/122.29	o 1827
137.13/122.86	o 1826
137.63/123.39	o 1825
138.23/123.96	o 1824
138.73/124.49	o 1823
139.79/125.17	o 1822
140.28/125.69	o 1821
140.88/126.21	o 1820
141.38/126.73	o 1819
141.88/127.25	o 1818
142.38/127.79	o 1817
142.98/128.34	o 1816
143.48/128.86	o 1815
143.98/129.39	o 1814
144.58/129.90	o 1813
145.08/130.44	o 1812
145.69/131.01	o 1811
146.18/131.54	o 1810
146.69/132.07	o 1809
147.28/132.60	o 1808
147.79/133.15	o 1807
148.28/133.67	o 1806
148.88/134.22	o 1805
149.38/134.75	o 1804
149.88/135.27	o 1803
150.38/135.78	o 1802
150.98/136.30	o 1801
151.48/136.81	o 1800
151.99/137.35	o 1799
152.49/137.88	o 1798
153.09/138.40	o 1797
153.59/138.95	o 1796
154.56/139.58	o 1795
155.06/140.08	o 1794
155.55/140.58	o 1793
156.06/141.09	o 1792
156.55/141.59	o 1791
157.16/142.11	o 1790
157.65/142.64	o 1789
158.17/143.16	o 1788
158.66/143.68	o 1787
159.26/144.21	o 1786
159.76/144.72	o 1785
160.26/145.21	o 1784
160.76/145.72	o 1783
161.26/146.24	o 1782
161.76/146.75	o 1781
162.26/147.26	o 1780
162.76/147.78	o 1779
163.36/148.31	o 1778
163.86/148.81	o 1777
164.36/149.34	o 1776
164.86/149.86	o 1775
165.37/150.39	o 1774
165.97/150.91	o 1773
166.47/151.43	o 1772
166.97/151.94	o 1771
167.47/152.46	o 1770
167.97/152.97	o 1769
168.47/153.49	o 1768
169.60/154.15	o 1767
170.09/154.66	o 1766
170.60/155.18	o 1765
171.09/155.69	o 1764
171.69/156.20	o 1763
172.19/156.71	o 1762
172.69/157.21	o 1761
173.19/157.77	o 1760
173.69/158.28	o 1759
174.29/158.80	o 1758
174.79/159.33	o 1757
175.29/159.85	o 1756
175.79/160.35	o 1755
176.39/160.90	o 1754
176.89/161.44	o 1753
177.39/161.96	o 1752
177.99/162.51	o 1751
178.50/163.03	o 1750
178.99/163.57	o 1749
179.50/164.08	o 1748
179.99/164.58	o 1747
180.50/165.10	o 1746
181.09/165.62	o 1745
181.60/166.11	o 1744
182.09/166.63	o 1743
182.60/167.15	o 1742
183.09/167.66	o 1741
184.43/168.36	o 1740
184.93/168.87	o 1739
185.43/169.39	o 1738
186.03/169.91	o 1737
186.53/170.41	o 1736
187.04/170.92	o 1735
187.54/171.43	o 1734
188.03/171.93	o 1733
188.53/172.46	o 1732
189.04/172.97	o 1731
189.54/173.48	o 1730
190.04/173.97	o 1729
190.54/174.46	o 1728
191.03/174.98	o 1727
191.54/175.48	o 1726
192.03/175.99	o 1725
192.53/176.49	o 1724
193.14/177.01	o 1723
193.63/177.53	o 1722
194.14/178.04	o 1721
194.63/178.54	o 1720
195.14/179.04	o 1719
195.63/179.57	o 1718
196.14/180.07	o 1717
196.64/180.58	o 1716
197.15/181.09	o 1715
197.64/181.59	o 1714
198.92/182.28	o 1713
199.42/182.78	o 1712
199.92/183.26	o 1711
200.42/183.75	o 1710
200.92/184.26	o 1709
201.42/184.76	o 1708
201.92/185.28	o 1707
202.42/185.77	o 1706
202.92/186.28	o 1705
203.52/186.80	o 1704
204.02/187.31	o 1703
204.52/187.83	o 1702
205.01/188.35	o 1701
205.52/188.85	o 1700
206.02/189.39	o 1699
206.52/189.89	o 1698
207.02/190.39	o 1697
207.62/190.93	o 1696
208.12/191.44	o 1695
208.63/191.96	o 1694
209.13/192.45	o 1693
209.63/192.96	o 1692
210.13/193.45	o 1691
210.63/193.96	o 1690
211.13/194.46	o 1689
211.63/194.95	o 1688
212.13/195.46	o 1687
213.45/196.16	o 1686
213.94/196.66	o 1685
214.45/197.18	o 1684
215.04/197.70	o 1683
215.54/198.21	o 1682
216.04/198.71	o 1681
216.54/199.21	o 1680
217.04/199.72	o 1679
217.54/200.21	o 1678
218.04/200.72	o 1677
218.54/201.22	o 1676
219.04/201.70	o 1675
219.54/202.22	o 1674
220.04/202.71	o 1673
220.54/203.21	o 1672
220.94/203.68	o 1671
221.45/204.17	o 1670
221.94/204.68	o 1669
222.45/205.16	o 1668
222.94/205.67	o 1667
223.54/206.20	o 1666
223.94/206.69	o 1665
224.45/207.18	o 1664
224.94/207.67	o 1663
225.45/208.16	o 1662
225.94/208.65	o 1661
227.29/209.37	o 1660
227.79/209.86	o 1659
228.29/210.39	o 1658
228.89/210.91	o 1657
229.39/211.42	o 1656
229.89/211.92	o 1655
230.39/212.42	o 1654
230.89/212.93	o 1653
231.39/213.42	o 1652
231.89/213.91	o 1651
232.39/214.42	o 1650
232.89/214.92	o 1649
233.40/215.40	o 1648
233.90/215.92	o 1647
234.40/216.43	o 1646
234.90/216.91	o 1645
235.40/217.41	o 1644
235.80/217.89	o 1643
236.30/218.37	o 1642
236.80/218.86	o 1641
237.30/219.34	o 1640
237.80/219.84	o 1639
238.30/220.33	o 1638
238.80/220.83	o 1637
239.30/221.32	o 1636
240.70/222.04	o 1635
241.19/222.53	o 1634
241.70/223.01	o 1633
242.09/223.49	o 1632
242.59/223.98	o 1631
243.09/224.47	o 1630
243.59/224.96	o 1629
244.09/225.44	o 1628
244.59/225.93	o 1627
245.08/226.40	o 1626
245.59/226.91	o 1625
246.09/227.40	o 1624
246.49/227.88	o 1623
246.99/228.38	o 1622
247.49/228.89	o 1621
247.99/229.39	o 1620
248.49/229.89	o 1619
249.09/230.42	o 1618
249.59/230.90	o 1617
249.99/231.37	o 1616
250.50/231.88	o 1615
250.99/232.35	o 1614
251.49/232.83	o 1613
251.99/233.32	o 1612
252.40/233.79	o 1611
253.90/234.53	o 1610
254.41/235.02	o 1609
254.90/235.52	o 1608
255.41/236.01	o 1607
255.80/236.49	o 1606
256.30/237.00	o 1605
256.80/237.49	o 1604
257.30/237.98	o 1603
257.80/238.46	o 1602
258.30/238.93	o 1601
258.80/239.41	o 1600
259.20/239.89	o 1599
259.70/240.36	o 1598
260.20/240.84	o 1597
260.70/241.32	o 1596
261.20/241.80	o 1595
261.60/242.28	o 1594
262.10/242.77	o 1593
262.60/243.27	o 1592
263.10/243.77	o 1591
263.60/244.27	o 1590
264.10/244.75	o 1589
264.60/245.23	o 1588
265.10/245.72	o 1587
266.55/246.45	o 1586
267.05/246.94	o 1585
268.20/248.08	c First complete search done, starting ALNS search...
273.84/253.04	o 1584
275.98/254.22	o 1583
279.83/257.08	o 1582
281.98/259.10	o 1581
284.14/261.13	o 1580
285.73/262.79	o 1579
287.67/264.61	o 1578
290.86/266.85	o 1577
291.47/267.46	o 1576
293.90/269.89	o 1575
296.23/272.12	o 1574
314.93/290.85	o 1573
319.46/295.39	o 1572
320.19/296.02	o 1571
323.75/298.62	o 1570
326.05/300.88	o 1569
327.55/302.31	o 1568
328.65/303.36	o 1567
330.16/304.83	o 1566
333.19/306.96	o 1565
334.69/308.41	o 1564
336.49/310.22	o 1563
349.14/316.67	o 1562
352.04/319.51	o 1561
353.75/321.21	o 1560
354.85/322.35	o 1559
359.03/324.81	o 1558
360.93/326.70	o 1557
363.14/328.93	o 1556
363.74/329.58	o 1555
365.45/331.25	o 1554
369.12/333.20	o 1553
370.42/334.52	o 1552
371.03/335.18	o 1551
374.53/338.62	o 1550
380.11/342.60	o 1549
382.01/344.58	o 1548
382.63/345.18	o 1547
384.12/346.61	o 1546
384.73/347.26	o 1545
389.75/350.82	o 1544
411.25/371.04	o 1543
411.94/371.72	o 1542
415.44/375.28	o 1541
420.96/379.63	o 1540
426.16/384.86	o 1539
432.72/390.43	o 1538
435.53/393.22	o 1537
438.36/395.26	o 1536
440.86/397.72	o 1535
442.76/399.63	o 1534
445.37/402.29	o 1533
449.80/405.78	o 1532
451.71/407.66	o 1531
454.52/410.40	o 1530
458.13/414.02	o 1529
464.23/420.17	o 1528
467.62/423.53	o 1527
471.19/426.32	o 1526
473.19/428.31	o 1525
473.91/429.01	o 1524
477.70/432.82	o 1523
478.31/433.49	o 1522
479.92/435.08	o 1521
480.71/435.82	o 1520
481.41/436.56	o 1519
483.51/438.62	o 1518
486.53/440.90	o 1517
494.14/448.09	o 1516
501.75/455.27	o 1515
505.43/458.89	o 1514
506.23/459.64	o 1513
508.45/461.82	o 1512
510.66/464.05	o 1511
512.06/464.94	o 1510
514.46/467.37	o 1509
517.66/470.57	o 1508
520.17/473.09	o 1507
523.46/476.35	o 1506
526.67/479.53	o 1505
527.38/480.29	o 1504
530.66/482.93	o 1503
531.36/483.66	o 1502
533.96/486.20	o 1501
536.47/488.75	o 1500
538.97/491.26	o 1499
540.50/492.24	o 1498
543.86/495.58	o 1497
546.07/497.72	o 1496
549.17/500.83	o 1495
549.87/501.59	o 1494
554.38/506.08	o 1493
563.52/514.59	o 1492
571.78/522.24	o 1491
573.69/524.19	o 1490
574.48/524.95	o 1489
575.28/525.75	o 1488
577.98/528.40	o 1487
581.28/531.70	o 1486
599.17/549.08	o 1485
599.97/549.86	o 1484
601.78/551.69	o 1483
604.58/554.43	o 1482
605.39/555.23	o 1481
606.20/556.03	o 1480
617.03/561.83	o 1479
619.93/564.74	o 1478
623.03/567.84	o 1477
635.05/579.25	o 1476
643.75/587.71	o 1475
644.55/588.53	o 1474
645.45/589.40	o 1473
648.65/592.69	o 1472
651.16/595.20	o 1471
652.07/596.01	o 1470
655.89/599.41	o 1469
656.69/600.28	o 1468
658.60/602.13	o 1467
676.52/619.56	o 1466
678.02/621.03	o 1465
681.32/624.28	o 1464
682.23/625.12	o 1463
683.61/626.18	o 1462
684.64/627.01	o 1461
685.43/627.84	o 1460
694.24/636.19	o 1459
703.14/644.54	o 1458
706.34/647.78	o 1457
709.86/651.14	o 1456
710.66/651.98	o 1455
714.76/655.56	o 1454
718.17/658.94	o 1453
718.97/659.80	o 1452
721.28/662.01	o 1451
725.74/665.91	o 1450
729.34/669.59	o 1449
730.35/670.50	o 1448
731.25/671.40	o 1447
745.69/684.87	o 1446
752.09/691.25	o 1445
758.10/696.73	o 1444
759.01/697.61	o 1443
763.71/702.30	o 1442
768.33/706.38	o 1441
774.44/712.49	o 1440
792.73/730.17	o 1439
793.63/731.06	o 1438
794.52/731.97	o 1437
796.02/733.47	o 1436
798.52/735.93	o 1435
799.42/736.81	o 1434
804.73/742.15	o 1433
809.55/746.38	o 1432
810.55/747.31	o 1431
814.65/751.45	o 1430
815.55/752.36	o 1429
816.56/753.36	o 1428
834.20/769.84	o 1427
838.20/773.22	o 1426
850.17/784.62	o 1425
864.12/798.06	o 1424
874.81/808.75	o 1423
879.65/813.05	o 1422
891.53/824.47	o 1421
900.53/832.93	o 1420
901.53/833.92	o 1419
918.91/850.33	o 1418
924.12/855.54	o 1417
925.02/856.49	o 1416
926.02/857.45	o 1415
940.05/870.92	o 1414
942.50/872.89	o 1413
944.51/874.80	o 1412
949.10/879.48	o 1411
950.11/880.44	o 1410
953.73/884.09	o 1409
971.70/901.40	o 1408
991.08/919.71	o 1407
992.58/921.25	o 1406
994.18/922.83	o 1405
995.93/924.04	o 1404
996.93/925.08	o 1403
997.93/926.09	o 1402
1000.52/928.63	o 1401
1001.42/929.58	o 1400
1003.42/931.58	o 1399
1008.32/936.43	o 1398
1014.13/941.68	o 1397
1016.24/943.73	o 1396
1018.34/945.87	o 1395
1019.34/946.87	o 1394
1020.44/947.92	o 1393
1040.44/966.89	o 1392
1041.34/967.79	o 1391
1042.44/968.83	o 1390
1045.35/971.71	o 1389
1048.37/974.12	o 1388
1049.17/975.00	o 1387
1063.89/989.10	o 1386
1071.63/996.24	o 1385
1072.63/997.20	o 1384
1075.23/999.81	o 1383
1076.23/1000.80	o 1382
1081.93/1006.52	o 1381
1088.58/1012.59	o 1380
1110.63/1033.40	o 1379
1117.23/1039.42	o 1378
1118.37/1040.51	o 1377
1120.17/1042.31	o 1376
1122.47/1044.66	o 1375
1123.57/1045.73	o 1374
1142.83/1063.64	o 1373
1149.74/1070.55	o 1372
1157.48/1077.65	o 1371
1158.48/1078.69	o 1370
1160.28/1080.49	o 1369
1161.39/1081.53	o 1368
1165.59/1085.75	o 1367
1167.50/1087.67	o 1366
1170.20/1090.31	o 1365
1178.35/1097.89	o 1364
1181.66/1101.16	o 1363
1183.25/1102.79	o 1362
1185.34/1104.82	o 1361
1194.06/1112.80	o 1360
1196.46/1115.26	o 1359
1217.87/1135.35	o 1358
1218.97/1136.41	o 1357
1227.34/1144.11	o 1356
1247.79/1163.59	o 1355
1256.15/1171.65	o 1354
1276.25/1190.48	o 1353
1284.25/1197.88	o 1352
1285.46/1199.10	o 1351
1286.75/1200.31	o 1350
1287.96/1201.52	o 1349
1309.07/1221.44	o 1348
1332.16/1243.40	o 1347
1340.50/1251.06	o 1346
1350.67/1260.61	o 1345
1351.87/1261.81	o 1344
1353.19/1263.12	o 1343
1357.09/1267.04	o 1342
1358.28/1268.21	o 1341
1360.58/1270.56	o 1340
1362.69/1272.06	o 1339
1363.98/1273.37	o 1338
1365.28/1274.64	o 1337
1367.58/1276.99	o 1336
1368.88/1278.22	o 1335
1371.48/1280.80	o 1334
1372.69/1282.01	o 1333
1373.99/1283.34	o 1332
1375.29/1284.60	o 1331
1396.33/1304.56	o 1330
1398.34/1306.05	o 1329
1407.44/1315.11	o 1328
1409.09/1316.49	o 1327
1417.19/1324.30	o 1326
1425.60/1332.27	o 1325
1426.90/1333.54	o 1324
1428.20/1334.87	o 1323
1436.95/1343.01	o 1322
1438.24/1344.36	o 1321
1440.84/1346.96	o 1320
1444.53/1350.01	o 1319
1452.43/1357.96	o 1318
1461.08/1366.08	o 1317
1462.38/1367.38	o 1316
1466.98/1371.96	o 1315
1469.83/1374.24	o 1314
1472.74/1377.14	o 1313
1474.94/1379.31	o 1312
1478.23/1382.64	o 1311
1488.20/1392.01	o 1310
1497.77/1401.04	o 1309
1498.96/1402.23	o 1308
1500.36/1403.60	o 1307
1501.66/1404.97	o 1306
1510.53/1413.26	o 1305
1513.23/1415.94	o 1304
1522.73/1424.86	o 1303
1524.04/1426.15	o 1302
1525.43/1427.54	o 1301
1528.33/1430.40	o 1300
1549.40/1450.33	o 1299
1560.11/1460.41	o 1298
1561.32/1461.62	o 1297
1563.62/1463.91	o 1296
1572.33/1472.07	o 1295
1573.72/1473.46	o 1294
1575.02/1474.77	o 1293
1576.43/1476.15	o 1292
1579.92/1479.67	o 1291
1582.23/1481.90	o 1290
1591.13/1490.28	o 1289
1592.53/1491.67	o 1288
1593.94/1493.01	o 1287
1596.67/1495.29	o 1286
1605.08/1503.67	o 1285
1606.49/1505.03	o 1284
1608.58/1506.58	o 1283
1610.09/1508.01	o 1282
1619.24/1516.61	o 1281
1620.54/1517.96	o 1280
1621.94/1519.38	o 1279
1624.75/1522.11	o 1278
1644.43/1540.69	o 1277
1645.85/1542.03	o 1276
1647.24/1543.47	o 1275
1656.39/1552.08	o 1274
1657.88/1553.50	o 1273
1666.93/1562.09	o 1272
1668.42/1563.53	o 1271
1669.82/1564.93	o 1270
1672.62/1567.80	o 1269
1676.52/1571.66	o 1268
1677.83/1572.92	o 1267
1679.23/1574.36	o 1266
1681.41/1576.00	o 1265
1690.01/1584.56	o 1264
1693.66/1587.61	o 1263
1694.97/1588.90	o 1262
1707.62/1600.99	o 1261
1708.62/1601.91	o 1260
1729.59/1621.83	o 1259
1738.50/1630.70	o 1258
1748.03/1639.74	o 1257
1749.53/1641.21	o 1256
1754.28/1645.41	o 1255
1755.48/1646.68	o 1254
1765.46/1656.05	o 1253
1766.96/1657.56	o 1252
1768.36/1658.98	o 1251
1769.86/1660.43	o 1250
1772.36/1662.93	o 1249
1774.86/1665.40	o 1248
1777.06/1667.69	o 1247
1778.48/1669.04	o 1246
1780.68/1670.68	o 1245
1782.28/1672.20	o 1244
1794.51/1683.96	o 1243
1795.91/1685.37	o 1242
1798.01/1687.48	o 1241
1810.01/1698.87	o 1240
1811.32/1700.14	o 1239
1812.72/1701.57	o 1238
1814.12/1702.98	o 1237
1815.62/1704.41	o 1236
1836.71/1724.40	o 1235
1839.71/1727.46	o 1234
1841.12/1728.88	o 1233
1844.93/1732.06	o 1232
1846.22/1733.39	o 1231
1847.82/1734.93	o 1230
1858.03/1744.58	o 1229
1860.54/1747.10	o 1228
1882.03/1767.30	o 1227
1883.53/1768.80	o 1226
1884.93/1770.26	o 1225
1895.47/1780.12	o 1224
1896.96/1781.61	o 1223
1917.87/1801.49	o 1222
1919.37/1802.97	o 1221
1925.07/1808.69	o 1220
1926.27/1809.89	o 1219
1936.70/1819.65	o 1218
1940.72/1823.67	o 1217
1944.13/1827.04	o 1216
1945.32/1828.29	o 1215
1957.56/1839.85	o 1214
1968.16/1849.83	o 1213
1978.72/1859.86	o 1212
1980.22/1861.36	o 1211
2003.36/1883.33	o 1210
2005.46/1884.87	o 1209
2007.86/1887.23	o 1208
2010.36/1889.79	o 1207
2012.77/1892.13	o 1206
2023.78/1902.55	o 1205
2041.58/1915.29	o 1204
2054.81/1928.28	o 1203
2056.21/1929.64	o 1202
2058.62/1932.02	o 1201
2070.42/1943.46	o 1200
2073.22/1945.81	o 1199
2074.72/1947.39	o 1198
2077.93/1950.54	o 1197
2097.18/1968.91	o 1196
2098.69/1970.47	o 1195
2100.30/1972.04	o 1194
2103.31/1975.03	o 1193
2104.70/1976.43	o 1192
2106.20/1977.99	o 1191
2127.07/1997.96	o 1190
2131.57/2002.41	o 1189
2153.16/2023.08	o 1188
2156.05/2025.97	o 1187
2157.45/2027.39	o 1186
2171.28/2040.11	o 1185
2172.77/2041.57	o 1184
2174.47/2043.23	o 1183
2176.07/2044.89	o 1182
2177.67/2046.45	o 1181
2189.00/2057.23	o 1180
2190.60/2058.87	o 1179
2203.99/2071.70	o 1178
2206.59/2074.38	o 1177
2218.88/2085.54	o 1176
2220.58/2087.25	o 1175
2235.20/2101.33	o 1174
2237.20/2103.34	o 1173
2239.93/2106.08	o 1172
2241.42/2107.54	o 1171
2243.04/2109.15	o 1170
2245.40/2110.97	o 1169
2247.20/2112.70	o 1168
2249.70/2115.21	o 1167
2251.30/2116.80	o 1166
2253.61/2119.12	o 1165
2257.81/2123.35	o 1164
2259.41/2124.93	o 1163
2263.79/2128.77	o 1162
2266.90/2131.83	o 1161
2279.80/2144.11	o 1160
2301.25/2164.53	o 1159
2302.65/2166.00	o 1158
2306.45/2169.73	o 1157
2309.91/2172.66	o 1156
2328.82/2191.05	o 1155
2330.51/2192.79	o 1154
2332.21/2194.45	o 1153
2334.58/2196.38	o 1152
2347.77/2209.09	o 1151
2349.46/2210.77	o 1150
2351.16/2212.44	o 1149
2352.87/2214.14	o 1148
2365.21/2225.98	o 1147
2367.01/2227.74	o 1146
2369.41/2229.69	o 1145
2371.21/2231.47	o 1144
2384.61/2244.32	o 1143
2386.32/2246.04	o 1142
2400.05/2259.20	s SATISFIABLE
2400.05/2259.21	v <instantiation>
2400.05/2259.21	v 	<list>
2400.05/2259.21	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029]
2400.05/2259.21	v 	</list>
2400.05/2259.21	v 	<values>
2400.05/2259.21	v 		1142 1137 1139 1141 1142 1138 1135 1140 1137 1139 1142 1134 1139 1137 1135 1142 1136 1142 1139 1136 1142 1142 1139 1139 1139 1142 1136 1139 1136 1136 1141 1138 1134 1134 1138 1138 1138 1142 1138 1138 1142 1138 1134 1134 1134 1139 1142 1139 1142 1139 1139 1142 1139 1139 1139 1139 1139 1139 1139 1139 1137 1142 1137 1142 1137 1137 1137 1142 1137 1137 1142 1137 1137 1137 1137 1138 1134 1135 1136 1139 1138 1141 1141 1140 1138 1141 1140 1140 1141 1141 1138 1138 1140 1141 1138 1139 1137 1141 1139 1138 1141 1141 1139 1141 1141 1141 1138 1139 1141 1141 1141 1141 1141 1138 1141 1141 1138 1142 1141 1141 1138 1138 1138 1141 1138 1141 1139 1141 1139 1141 1141 1141 1139 1141 1141 1141 1141 1139 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1137 1137 1141 1141 1142 1142 1142 1142 1142 1142 1142 1142 1137 1137 1142 1137 1137 1137 1137 1142 1142 1142 1142 1136 1142 1142 1142 1136 1142 1142 1142 1142 1136 1142 1138 1142 1136 1142 1138 1142 1142 1142 1138 1138 1142 1138 1136 1136 1136 1140 1142 1140 1142 1140 1140 1142 1142 1140 1140 1142 1142 1142 1140 1142 1138 1142 1138 1142 1138 1142 1142 1142 1142 1142 1142 1138 1142 1142 1142 1138 1136 1136 1138 1138 1141 1141 1141 1140 1141 1141 1140 1140 1141 1141 1140 1140 1140 1141 1140 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1137 1141 1141 1137 1137 1141 1141 1137 1137 1137 1141 1137 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1137 1141 1141 1141 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1139 1142 1139 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1139 1142 1139 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1139 1142 1141 1136 1139 1138 1140 1142 1140 1140 1141 1138 1138 1140 1140 1134 1134 1142 1134 1140 1133 1135 1142 1140 1142 1140 1136 1142 1142 1140 1141 1141 1142 1136 1140 1141 1136 1140 1140 1140 1140 1141 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1142 1140 1142 1140 1142 1142 1142 1140 1140 1142 1140 1140 1140 1140 1140 1142 1140 1140 1140 1140 1140 1140 1142 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1141 1141 1141 1135 1141 1141 1141 1141 1141 1141 1140 1141 1141 1141 1140 1140 1141 1140 1135 1140 1141 1141 1141 1141 1142 1140 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1140 1142 1140 1142 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1141 1142 1141 1141 1141 1141 1142 1142 1141 1141 1141 1141 1141 1141 1141 1140 1140 1140 1141 1140 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1141 1142 1142 1142 1141 1142 1142 1142 1142 1141 1142 1142 1142 1142 1142 1142 1142 1140 1140 1142 1142 1140 1142 1142 1142 1140 1142 1142 1142 1142 1140 1142 1142 1142 1140 1142 1142 1142 1142 1140 1142 1142 1142 1142 1142 1142 1142 1140 1140 1142 1142 1140 1142 1142 1142 1140 1142 1142 1140 1140 1142 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1142 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1139 1142 1142 1142 1139 1142 1142 1142 1142 1139 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1139 1142 1142 1142 1139 1142 1142 1142 1142 1139 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1139 1142 1142 1141 1136 1139 1138 1140 1142 1139 1139 1141 1142 1139 1139 1142 1139 1139 1142 1139 1139 1139 1139 1142 1139 1142 1139 1142 1142 1142 1142 1139 1139 1142 1139 1139 1139 1139 1141 1139 1141 1141 1139 1139 1139 1139 1139 1139 1139 1139 1139 1139 1139 1139 1139 1139 1139 1139 1139 1142 1139 1139 1139 1139 1142 1142 1139 1139 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1139 1139 1139 1141 1139 1139 1141 1141 1139 1139 1141 1139 1139 1141 1141 1139 1139 1139 1141 1139 1139 1141 1141 1139 1139 1141 1141 1139 1141 1141 1141 1139 1139 1141 1141 1141 1141 1141 1139 1141 1141 1139 1139 1141 1141 1139 1139 1139 1141 1139 1141 1141 1141 1139 1141 1141 1141 1139 1142 1142 1141 1141 1139 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1139 1139 1141 1141 1142 1142 1142 1142 1142 1142 1142 1142 1138 1138 1142 1138 1138 1138 1138 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1138 1138 1138 1142 1138 1138 1142 1142 1138 1138 1138 1138 1138 1138 1138 1138 1142 1138 1142 1138 1138 1142 1142 1138 1138 1142 1142 1142 1138 1142 1138 1138 1138 1142 1138 1138 1142 1142 1142 1142 1138 1138 1142 1138 1138 1138 1138 1142 1138 1138 1141 1141 1141 1137 1141 1141 1137 1137 1141 1141 1137 1137 1137 1141 1137 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1137 1141 1141 1137 1142 1141 1141 1137 1137 1137 1141 1137 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1137 1141 1141 1141 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1139 1142 1139 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1139 1142 1139 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1139 1142 1141 1137 1139 1138 1137 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1142 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1142 1142 1140 1142 1142 1142 1140 1140 1142 1142 1140 1142 1140 1142 1140 1142 1142 1140 1140 1140 1140 1140 1140 1142 1140 1140 1140 1140 1140 1140 1142 1140 1140 1140 1142 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1142 1140 1140 1140 1140 1140 1140 1140 1140 1140 1142 1140 1140 1140 1142 1140 1140 1140 1140 1140 1142 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1142 1142 1140 1140 1140 1142 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1142 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1142 1142 1142 1142 1142 1140 1140 1140 1142 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1142 1140 1142 1140 1142 1140 1142 1142 1142 1140 1142 1140 1142 1140 1142 1142 1142 1140 1140 1140 1142 1140 1140 1140 1142 1142 1142 1140 1140 1142 1142 1140 1142 1140 1142 1140 1142 1142 1142 1140 1142 1140 1142 1140 1142 1140 1142 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1142 1142 1142 1142 1142 1142 1140 1142 1142 1142 1140 1142 1142 1142 1140 1142 1140 1140 1140 1140 1140 1140 1140 1140 1140 1140 1142 1141 1142 1141 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1141 1141 1141 1141 1141 1141 1141 1141 1142 1142 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1142 1142 1141 1141 1142 1141 1142 1142 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1142 1142 1141 1142 1142 1142 1142 1142 1141 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1141 1141 1141 1141 1141 1142 1141 1141 1142 1142 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1142 1141 1142 1142 1141 1141 1141 1142 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1141 1142 1142 1141 1141 1142 1142 1142 1142 1141 1141 1142 1141 1141 1141 1142 1141 1142 1141 1142 1142 1142 1141 1142 1142 1142 1142 1141 1142 1142 1141 1142 1142 1141 1141 1142 1142 1142 1142 1141 1141 1142 1141 1141 1141 1142 1142 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1142 1141 1142 1141 1141 1141 1142 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1142 1142 1141 1142 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1141 1142 1141 1141 1141 1141 1141 1141 1141 1141 1141 1142 1141 1142 1142 1142 1142 1142 1141 1141 1141 1141 1141 1141 1142 1141 1141 1141 1141 1141 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1142 1141 1141 1141 1142 1141 1138 1137 1140 1141 1139 
2400.05/2259.21	v 	</values>
2400.05/2259.21	v </instantiation>

Verifier Data 

OK	1142

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291457-1532235998/watcher-4291457-1532235998 -o /tmp/evaluation-result-4291457-1532235998/solver-4291457-1532235998 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532226534-26745 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1527634064 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291457-1532235998.xml 

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

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


[startup+0.100062 s]*
/proc/loadavg: 1.71 1.54 1.58 7/215 27787
/proc/meminfo: memFree=28568168/32770624 swapFree=67108860/67108860
[pid=27772] ppid=27769 vsize=14082740 memory=30940 CPUtime=0.11 cores=0,2,4,6
/proc/27772/stat : 27772 (java) S 27769 27772 26714 0 -1 1077944320 6607 0 0 0 10 1 0 0 20 0 15 0 41162988 14420725760 7735 33554432000 4194304 4196468 140724785790448 140724785772992 140352821374711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
/proc/27772/statm: 3520685 7735 3155 1 0 3482761 0
[pid=27772/tid=27774] ppid=27769 vsize=14082740 memory=-8773748148830376314 CPUtime=0.09 cores=0,2,4,6
/proc/27772/task/27774/stat : 27774 (java) R 27769 27772 26714 0 -1 4202560 4652 0 0 0 8 1 0 0 20 0 15 0 41162989 14420725760 7735 33554432000 4194304 4196468 140724785790448 140352825585624 140352801650543 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27775] ppid=27769 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27775/stat : 27775 (java) S 27769 27772 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41162989 14420725760 7735 33554432000 4194304 4196468 140724785790448 140352758975120 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27776] ppid=27769 vsize=14082740 memory=139744098166400 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27776/stat : 27776 (java) S 27769 27772 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41162989 14420725760 7735 33554432000 4194304 4196468 140724785790448 140352757922320 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27777] ppid=27769 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27777/stat : 27777 (java) S 27769 27772 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41162989 14420725760 7735 33554432000 4194304 4196468 140724785790448 140352756869520 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27778] ppid=27769 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27778/stat : 27778 (java) S 27769 27772 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41162989 14420725760 7735 33554432000 4194304 4196468 140724785790448 140352755816720 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27779] ppid=27769 vsize=14082740 memory=139744098166400 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27779/stat : 27779 (java) S 27769 27772 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41162991 14420725760 7735 33554432000 4194304 4196468 140724785790448 140352363289456 140352821385858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27780] ppid=27769 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27780/stat : 27780 (java) S 27769 27772 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41162991 14420725760 7735 33554432000 4194304 4196468 140724785790448 140352362235424 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27781] ppid=27769 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27781/stat : 27781 (java) S 27769 27772 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41162991 14420725760 7735 33554432000 4194304 4196468 140724785790448 140352361182576 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27782] ppid=27769 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27782/stat : 27782 (java) S 27769 27772 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41162994 14420725760 7735 33554432000 4194304 4196468 140724785790448 140352360130896 140352821393307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27783] ppid=27769 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27783/stat : 27783 (java) S 27769 27772 26714 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 41162994 14420725760 7735 33554432000 4194304 4196468 140724785790448 140352359078256 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27784] ppid=27769 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27784/stat : 27784 (java) S 27769 27772 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41162994 14420725760 7735 33554432000 4194304 4196468 140724785790448 140352358025456 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27785] ppid=27769 vsize=14082740 memory=139744098166400 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27785/stat : 27785 (java) S 27769 27772 26714 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 15 0 41162994 14420725760 7735 33554432000 4194304 4196468 140724785790448 140352356972656 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27786] ppid=27769 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27786/stat : 27786 (java) S 27769 27772 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41162994 14420725760 7735 33554432000 4194304 4196468 140724785790448 140352355920096 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27787] ppid=27769 vsize=14082740 memory=139744098166400 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27787/stat : 27787 (java) S 27769 27772 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41162994 14420725760 7735 33554432000 4194304 4196468 140724785790448 140352354868400 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 30940 KiB

[startup+0.210764 s]*
/proc/loadavg: 1.71 1.54 1.58 8/215 27787
/proc/meminfo: memFree=28539060/32770624 swapFree=67108860/67108860
[pid=27772] ppid=27769 vsize=14082740 memory=46456 CPUtime=0.29 cores=0,2,4,6
/proc/27772/stat : 27772 (java) S 27769 27772 26714 0 -1 1077944320 10220 0 0 0 26 3 0 0 20 0 15 0 41162988 14420725760 11614 33554432000 4194304 4196468 140724785790448 140724785772992 140352821374711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
/proc/27772/statm: 3520685 11614 3329 1 0 3482761 0
[pid=27772/tid=27774] ppid=27769 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/27772/task/27774/stat : 27774 (java) R 27769 27772 26714 0 -1 4202560 7990 0 0 0 18 2 0 0 20 0 15 0 41162989 14420725760 11614 33554432000 4194304 4196468 140724785790448 140352825591984 140352807467409 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27775] ppid=27769 vsize=14082740 memory=345 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27775/stat : 27775 (java) S 27769 27772 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41162989 14420725760 11614 33554432000 4194304 4196468 140724785790448 140352758975120 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27776] ppid=27769 vsize=14082740 memory=288370120249878144 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27776/stat : 27776 (java) S 27769 27772 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41162989 14420725760 11614 33554432000 4194304 4196468 140724785790448 140352757922320 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27777] ppid=27769 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27777/stat : 27777 (java) S 27769 27772 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41162989 14420725760 11614 33554432000 4194304 4196468 140724785790448 140352756869520 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27778] ppid=27769 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27778/stat : 27778 (java) S 27769 27772 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41162989 14420725760 11614 33554432000 4194304 4196468 140724785790448 140352755816720 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27779] ppid=27769 vsize=14082740 memory=139744098166400 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27779/stat : 27779 (java) S 27769 27772 26714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41162991 14420725760 11614 33554432000 4194304 4196468 140724785790448 140352363289456 140352821385858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27780] ppid=27769 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27780/stat : 27780 (java) S 27769 27772 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41162991 14420725760 11614 33554432000 4194304 4196468 140724785790448 140352362235424 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27781] ppid=27769 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27781/stat : 27781 (java) S 27769 27772 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41162991 14420725760 11614 33554432000 4194304 4196468 140724785790448 140352361182576 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27782] ppid=27769 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27782/stat : 27782 (java) S 27769 27772 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41162994 14420725760 11614 33554432000 4194304 4196468 140724785790448 140352360130896 140352821393307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27783] ppid=27769 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27772/task/27783/stat : 27783 (java) S 27769 27772 26714 0 -1 1077944384 503 0 0 0 1 0 0 0 20 0 15 0 41162994 14420725760 11614 33554432000 4194304 4196468 140724785790448 140352359078256 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27784] ppid=27769 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27784/stat : 27784 (java) R 27769 27772 26714 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 41162994 14420725760 11614 33554432000 4194304 4196468 140724785790448 140352358025552 140352821384917 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27785] ppid=27769 vsize=14082740 memory=139744098166400 CPUtime=0.05 cores=0,2,4,6
/proc/27772/task/27785/stat : 27785 (java) R 27769 27772 26714 0 -1 4202560 324 0 0 0 5 0 0 0 20 0 15 0 41162994 14420725760 11614 33554432000 4194304 4196468 140724785790448 140352356968384 140352821386646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27786] ppid=27769 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27786/stat : 27786 (java) S 27769 27772 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41162994 14420725760 11614 33554432000 4194304 4196468 140724785790448 140352355920096 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27787] ppid=27769 vsize=14082740 memory=139744098166400 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27787/stat : 27787 (java) S 27769 27772 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41162994 14420725760 11614 33554432000 4194304 4196468 140724785790448 140352354868400 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46456 KiB

[startup+0.31086 s]*
/proc/loadavg: 1.71 1.54 1.58 5/215 27787
/proc/meminfo: memFree=28496424/32770624 swapFree=67108860/67108860
[pid=27772] ppid=27769 vsize=14082740 memory=50176 CPUtime=0.43 cores=0,2,4,6
/proc/27772/stat : 27772 (java) S 27769 27772 26714 0 -1 1077944320 10713 0 0 0 39 4 0 0 20 0 15 0 41162988 14420725760 12544 33554432000 4194304 4196468 140724785790448 140724785772992 140352821374711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
/proc/27772/statm: 3520685 12544 3370 1 0 3482761 0
[pid=27772/tid=27774] ppid=27769 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/27772/task/27774/stat : 27774 (java) R 27769 27772 26714 0 -1 4202560 8370 0 0 0 26 4 0 0 20 0 15 0 41162989 14420725760 12544 33554432000 4194304 4196468 140724785790448 140352825585888 140352806540366 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27775] ppid=27769 vsize=14082740 memory=288230609002954775 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27775/stat : 27775 (java) S 27769 27772 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41162989 14420725760 12544 33554432000 4194304 4196468 140724785790448 140352758975120 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27776] ppid=27769 vsize=14082740 memory=288370120249878144 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27776/stat : 27776 (java) S 27769 27772 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41162989 14420725760 12544 33554432000 4194304 4196468 140724785790448 140352757922320 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27777] ppid=27769 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27777/stat : 27777 (java) S 27769 27772 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41162989 14420725760 12544 33554432000 4194304 4196468 140724785790448 140352756869520 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27778] ppid=27769 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27778/stat : 27778 (java) S 27769 27772 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41162989 14420725760 12544 33554432000 4194304 4196468 140724785790448 140352755816720 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27779] ppid=27769 vsize=14082740 memory=139744098166400 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27779/stat : 27779 (java) S 27769 27772 26714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41162991 14420725760 12544 33554432000 4194304 4196468 140724785790448 140352363289456 140352821385858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27780] ppid=27769 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27780/stat : 27780 (java) S 27769 27772 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41162991 14420725760 12544 33554432000 4194304 4196468 140724785790448 140352362235424 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27781] ppid=27769 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27781/stat : 27781 (java) S 27769 27772 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41162991 14420725760 12544 33554432000 4194304 4196468 140724785790448 140352361182576 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27782] ppid=27769 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27782/stat : 27782 (java) S 27769 27772 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41162994 14420725760 12544 33554432000 4194304 4196468 140724785790448 140352360130896 140352821393307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27783] ppid=27769 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27772/task/27783/stat : 27783 (java) S 27769 27772 26714 0 -1 1077944384 512 0 0 0 2 0 0 0 20 0 15 0 41162994 14420725760 12544 33554432000 4194304 4196468 140724785790448 140352359078256 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27784] ppid=27769 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27772/task/27784/stat : 27784 (java) S 27769 27772 26714 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 15 0 41162994 14420725760 12544 33554432000 4194304 4196468 140724785790448 140352358025456 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27785] ppid=27769 vsize=14082740 memory=139744098166400 CPUtime=0.07 cores=0,2,4,6
/proc/27772/task/27785/stat : 27785 (java) R 27769 27772 26714 0 -1 4202560 344 0 0 0 7 0 0 0 20 0 15 0 41162994 14420725760 12544 33554432000 4194304 4196468 140724785790448 140352356972656 140352805123985 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27786] ppid=27769 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27786/stat : 27786 (java) S 27769 27772 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41162994 14420725760 12544 33554432000 4194304 4196468 140724785790448 140352355920096 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27787] ppid=27769 vsize=14082740 memory=139744098166400 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27787/stat : 27787 (java) S 27769 27772 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41162994 14420725760 12544 33554432000 4194304 4196468 140724785790448 140352354868400 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50176 KiB

[startup+0.7007 s]
/proc/loadavg: 1.71 1.54 1.58 5/215 27787
/proc/meminfo: memFree=28483464/32770624 swapFree=67108860/67108860
[pid=27772] ppid=27769 vsize=14084808 memory=86012 CPUtime=0.98 cores=0,2,4,6
/proc/27772/stat : 27772 (java) S 27769 27772 26714 0 -1 1077944320 17443 0 0 0 90 8 0 0 20 0 15 0 41162988 14422843392 21503 33554432000 4194304 4196468 140724785790448 140724785772992 140352821374711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
/proc/27772/statm: 3521202 21503 3498 1 0 3483273 0
[pid=27772/tid=27774] ppid=27769 vsize=14084808 memory=1724 CPUtime=0.68 cores=0,2,4,6
/proc/27772/task/27774/stat : 27774 (java) R 27769 27772 26714 0 -1 4202560 14690 0 0 0 61 7 0 0 20 0 15 0 41162989 14422843392 21503 33554432000 4194304 4196468 140724785790448 140352825603408 140352821396637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27775] ppid=27769 vsize=14084808 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27775/stat : 27775 (java) S 27769 27772 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41162989 14422843392 21503 33554432000 4194304 4196468 140724785790448 140352758975120 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27776] ppid=27769 vsize=14084808 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27776/stat : 27776 (java) S 27769 27772 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41162989 14422843392 21503 33554432000 4194304 4196468 140724785790448 140352757922320 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27777] ppid=27769 vsize=14084808 memory=796 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27777/stat : 27777 (java) S 27769 27772 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41162989 14422843392 21503 33554432000 4194304 4196468 140724785790448 140352756869520 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27778] ppid=27769 vsize=14084808 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27778/stat : 27778 (java) S 27769 27772 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41162989 14422843392 21503 33554432000 4194304 4196468 140724785790448 140352755816720 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27779] ppid=27769 vsize=14084808 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27779/stat : 27779 (java) S 27769 27772 26714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41162991 14422843392 21503 33554432000 4194304 4196468 140724785790448 140352363289456 140352821385858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27780] ppid=27769 vsize=14084808 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27780/stat : 27780 (java) S 27769 27772 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41162991 14422843392 21503 33554432000 4194304 4196468 140724785790448 140352362235424 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27781] ppid=27769 vsize=14084808 memory=8356 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27781/stat : 27781 (java) S 27769 27772 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41162991 14422843392 21503 33554432000 4194304 4196468 140724785790448 140352361182576 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27782] ppid=27769 vsize=14084808 memory=5520 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27782/stat : 27782 (java) S 27769 27772 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41162994 14422843392 21503 33554432000 4194304 4196468 140724785790448 140352360130896 140352821393307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27783] ppid=27769 vsize=14084808 memory=7092418796125250880 CPUtime=0.06 cores=0,2,4,6
/proc/27772/task/27783/stat : 27783 (java) S 27769 27772 26714 0 -1 1077944384 680 0 0 0 6 0 0 0 20 0 15 0 41162994 14422843392 21503 33554432000 4194304 4196468 140724785790448 140352359078256 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27784] ppid=27769 vsize=14084808 memory=7597685182856913236 CPUtime=0.06 cores=0,2,4,6
/proc/27772/task/27784/stat : 27784 (java) R 27769 27772 26714 0 -1 4202560 234 0 0 0 6 0 0 0 20 0 15 0 41162994 14422843392 21503 33554432000 4194304 4196468 140724785790448 140352358025456 140352799263184 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27785] ppid=27769 vsize=14084808 memory=7301858164987948385 CPUtime=0.15 cores=0,2,4,6
/proc/27772/task/27785/stat : 27785 (java) S 27769 27772 26714 0 -1 1077944384 456 0 0 0 15 0 0 0 20 0 15 0 41162994 14422843392 21503 33554432000 4194304 4196468 140724785790448 140352356972656 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27786] ppid=27769 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27786/stat : 27786 (java) S 27769 27772 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41162994 14422843392 21503 33554432000 4194304 4196468 140724785790448 140352355920096 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27787] ppid=27769 vsize=14084808 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27787/stat : 27787 (java) S 27769 27772 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41162994 14422843392 21503 33554432000 4194304 4196468 140724785790448 140352354868400 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 86012 KiB

[startup+1.50072 s]
/proc/loadavg: 1.71 1.54 1.58 8/215 27787
/proc/meminfo: memFree=28420536/32770624 swapFree=67108860/67108860
[pid=27772] ppid=27769 vsize=14086856 memory=235148 CPUtime=3.39 cores=0,2,4,6
/proc/27772/stat : 27772 (java) S 27769 27772 26714 0 -1 1077944320 24553 0 0 0 324 15 0 0 20 0 15 0 41162988 14424940544 58787 33554432000 4194304 4196468 140724785790448 140724785772992 140352821374711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
/proc/27772/statm: 3521714 58787 3565 1 0 3483785 0
[pid=27772/tid=27774] ppid=27769 vsize=14086856 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/27772/task/27774/stat : 27774 (java) R 27769 27772 26714 0 -1 4202560 16142 0 0 0 135 10 0 0 20 0 15 0 41162989 14424940544 58787 33554432000 4194304 4196468 140724785790448 140352825608656 140352434547974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27775] ppid=27769 vsize=14086856 memory=-6951259422114956437 CPUtime=0.01 cores=0,2,4,6
/proc/27772/task/27775/stat : 27775 (java) S 27769 27772 26714 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 15 0 41162989 14424940544 58787 33554432000 4194304 4196468 140724785790448 140352758975120 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27776] ppid=27769 vsize=14086856 memory=-6509546260019855299 CPUtime=0.01 cores=0,2,4,6
/proc/27772/task/27776/stat : 27776 (java) S 27769 27772 26714 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 15 0 41162989 14424940544 58787 33554432000 4194304 4196468 140724785790448 140352757922320 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27777] ppid=27769 vsize=14086856 memory=-7390251449858225344 CPUtime=0.01 cores=0,2,4,6
/proc/27772/task/27777/stat : 27777 (java) S 27769 27772 26714 0 -1 1077944384 370 0 0 0 1 0 0 0 20 0 15 0 41162989 14424940544 58787 33554432000 4194304 4196468 140724785790448 140352756869520 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27778] ppid=27769 vsize=14086856 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27778/stat : 27778 (java) S 27769 27772 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41162989 14424940544 58787 33554432000 4194304 4196468 140724785790448 140352755816720 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27779] ppid=27769 vsize=14086856 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27779/stat : 27779 (java) S 27769 27772 26714 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 41162991 14424940544 58787 33554432000 4194304 4196468 140724785790448 140352363289456 140352821385858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0

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

/proc/27772/task/27774/stat : 27774 (java) R 27769 27772 26714 0 -1 4202560 338201 0 0 0 203721 81 0 0 20 0 15 0 41162989 14431232000 1610114 33554432000 4194304 4196468 140724785790448 140352825612176 140352442060368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27775] ppid=27769 vsize=14093000 memory=6440356 CPUtime=40.73 cores=0,2,4,6
/proc/27772/task/27775/stat : 27775 (java) S 27769 27772 26714 0 -1 1077944384 97169 0 0 0 3964 109 0 0 20 0 15 0 41162989 14431232000 1610114 33554432000 4194304 4196468 140724785790448 140352758975120 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27776] ppid=27769 vsize=14093000 memory=6440456 CPUtime=40.82 cores=0,2,4,6
/proc/27772/task/27776/stat : 27776 (java) S 27769 27772 26714 0 -1 1077944384 108756 0 0 0 3970 112 0 0 20 0 15 0 41162989 14431232000 1610114 33554432000 4194304 4196468 140724785790448 140352757922320 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27777] ppid=27769 vsize=14093000 memory=6440456 CPUtime=40.67 cores=0,2,4,6
/proc/27772/task/27777/stat : 27777 (java) S 27769 27772 26714 0 -1 1077944384 97164 0 0 0 3957 110 0 0 20 0 15 0 41162989 14431232000 1610114 33554432000 4194304 4196468 140724785790448 140352756869520 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27778] ppid=27769 vsize=14093000 memory=6440456 CPUtime=40.77 cores=0,2,4,6
/proc/27772/task/27778/stat : 27778 (java) S 27769 27772 26714 0 -1 1077944384 104323 0 0 0 3964 113 0 0 20 0 15 0 41162989 14431232000 1610114 33554432000 4194304 4196468 140724785790448 140352755816720 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27779] ppid=27769 vsize=14093000 memory=6440456 CPUtime=3.03 cores=0,2,4,6
/proc/27772/task/27779/stat : 27779 (java) S 27769 27772 26714 0 -1 1077944384 24364 0 0 0 299 4 0 0 20 0 15 0 41162991 14431232000 1610114 33554432000 4194304 4196468 140724785790448 140352363289456 140352821385858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27780] ppid=27769 vsize=14093000 memory=6440456 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27780/stat : 27780 (java) S 27769 27772 26714 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 41162991 14431232000 1610114 33554432000 4194304 4196468 140724785790448 140352362235488 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27781] ppid=27769 vsize=14093000 memory=6440456 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27781/stat : 27781 (java) S 27769 27772 26714 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 41162991 14431232000 1610114 33554432000 4194304 4196468 140724785790448 140352361182592 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27782] ppid=27769 vsize=14093000 memory=6440456 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27782/stat : 27782 (java) S 27769 27772 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41162994 14431232000 1610114 33554432000 4194304 4196468 140724785790448 140352360130896 140352821393307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27783] ppid=27769 vsize=14093000 memory=6440456 CPUtime=4.19 cores=0,2,4,6
/proc/27772/task/27783/stat : 27783 (java) S 27769 27772 26714 0 -1 1077944384 21058 0 0 0 415 4 0 0 20 0 15 0 41162994 14431232000 1610114 33554432000 4194304 4196468 140724785790448 140352359078256 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27784] ppid=27769 vsize=14093000 memory=1724 CPUtime=4.21 cores=0,2,4,6
/proc/27772/task/27784/stat : 27784 (java) S 27769 27772 26714 0 -1 1077944384 17626 0 0 0 417 4 0 0 20 0 15 0 41162994 14431232000 1610114 33554432000 4194304 4196468 140724785790448 140352358025456 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27785] ppid=27769 vsize=14093000 memory=1004 CPUtime=1.47 cores=0,2,4,6
/proc/27772/task/27785/stat : 27785 (java) S 27769 27772 26714 0 -1 1077944384 45257 0 0 0 142 5 0 0 20 0 15 0 41162994 14431232000 1610114 33554432000 4194304 4196468 140724785790448 140352356972656 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27786] ppid=27769 vsize=14093000 memory=6440456 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27786/stat : 27786 (java) S 27769 27772 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41162994 14431232000 1610114 33554432000 4194304 4196468 140724785790448 140352355920096 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27787] ppid=27769 vsize=14093000 memory=56 CPUtime=1.15 cores=0,2,4,6
/proc/27772/task/27787/stat : 27787 (java) S 27769 27772 26714 0 -1 1077944384 1400 0 0 0 58 57 0 0 20 0 15 0 41162994 14431232000 1610114 33554432000 4194304 4196468 140724785790448 140352354868400 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
Current children cumulated CPU time: 2215.16 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 6440456 KiB

[startup+2142.3 s]
/proc/loadavg: 1.66 1.81 1.85 3/216 27930
/proc/meminfo: memFree=19034076/32770624 swapFree=67108860/67108860
[pid=27772] ppid=27769 vsize=14093000 memory=6437796 CPUtime=2277.99 cores=0,2,4,6
/proc/27772/stat : 27772 (java) S 27769 27772 26714 0 -1 1077944320 878474 0 0 0 227205 594 0 0 20 0 15 0 41162988 14431232000 1609449 33554432000 4194304 4196468 140724785790448 140724785772992 140352821374711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
/proc/27772/statm: 3523250 1609449 3628 1 0 3485321 0
[pid=27772/tid=27774] ppid=27769 vsize=14093000 memory=6434260 CPUtime=2097.08 cores=0,2,4,6
/proc/27772/task/27774/stat : 27774 (java) R 27769 27772 26714 0 -1 4202560 344478 0 0 0 209626 82 0 0 20 0 15 0 41162989 14431232000 1609449 33554432000 4194304 4196468 140724785790448 140352825612176 140352439695710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27775] ppid=27769 vsize=14093000 memory=6434260 CPUtime=41.66 cores=0,2,4,6
/proc/27772/task/27775/stat : 27775 (java) S 27769 27772 26714 0 -1 1077944384 100824 0 0 0 4057 109 0 0 20 0 15 0 41162989 14431232000 1609449 33554432000 4194304 4196468 140724785790448 140352758975120 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27776] ppid=27769 vsize=14093000 memory=6434260 CPUtime=41.74 cores=0,2,4,6
/proc/27772/task/27776/stat : 27776 (java) S 27769 27772 26714 0 -1 1077944384 112058 0 0 0 4062 112 0 0 20 0 15 0 41162989 14431232000 1609449 33554432000 4194304 4196468 140724785790448 140352757922320 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27777] ppid=27769 vsize=14093000 memory=6437392 CPUtime=41.58 cores=0,2,4,6
/proc/27772/task/27777/stat : 27777 (java) S 27769 27772 26714 0 -1 1077944384 99322 0 0 0 4048 110 0 0 20 0 15 0 41162989 14431232000 1609449 33554432000 4194304 4196468 140724785790448 140352756869520 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27778] ppid=27769 vsize=14093000 memory=6434260 CPUtime=41.71 cores=0,2,4,6
/proc/27772/task/27778/stat : 27778 (java) S 27769 27772 26714 0 -1 1077944384 107166 0 0 0 4057 114 0 0 20 0 15 0 41162989 14431232000 1609449 33554432000 4194304 4196468 140724785790448 140352755816720 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27779] ppid=27769 vsize=14093000 memory=6434260 CPUtime=3.03 cores=0,2,4,6
/proc/27772/task/27779/stat : 27779 (java) S 27769 27772 26714 0 -1 1077944384 24584 0 0 0 299 4 0 0 20 0 15 0 41162991 14431232000 1609449 33554432000 4194304 4196468 140724785790448 140352363289456 140352821385858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27780] ppid=27769 vsize=14093000 memory=6437796 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27780/stat : 27780 (java) S 27769 27772 26714 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 41162991 14431232000 1609449 33554432000 4194304 4196468 140724785790448 140352362235488 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27781] ppid=27769 vsize=14093000 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27781/stat : 27781 (java) S 27769 27772 26714 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 41162991 14431232000 1609449 33554432000 4194304 4196468 140724785790448 140352361182592 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27782] ppid=27769 vsize=14093000 memory=33 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27782/stat : 27782 (java) S 27769 27772 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41162994 14431232000 1609449 33554432000 4194304 4196468 140724785790448 140352360130896 140352821393307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27783] ppid=27769 vsize=14093000 memory=6437796 CPUtime=4.2 cores=0,2,4,6
/proc/27772/task/27783/stat : 27783 (java) S 27769 27772 26714 0 -1 1077944384 22040 0 0 0 416 4 0 0 20 0 15 0 41162994 14431232000 1609449 33554432000 4194304 4196468 140724785790448 140352359078256 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27784] ppid=27769 vsize=14093000 memory=4140 CPUtime=4.21 cores=0,2,4,6
/proc/27772/task/27784/stat : 27784 (java) S 27769 27772 26714 0 -1 1077944384 17907 0 0 0 417 4 0 0 20 0 15 0 41162994 14431232000 1609449 33554432000 4194304 4196468 140724785790448 140352358025456 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27785] ppid=27769 vsize=14093000 memory=288230574492221466 CPUtime=1.47 cores=0,2,4,6
/proc/27772/task/27785/stat : 27785 (java) S 27769 27772 26714 0 -1 1077944384 47194 0 0 0 142 5 0 0 20 0 15 0 41162994 14431232000 1609449 33554432000 4194304 4196468 140724785790448 140352356972656 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27786] ppid=27769 vsize=14093000 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27786/stat : 27786 (java) S 27769 27772 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41162994 14431232000 1609449 33554432000 4194304 4196468 140724785790448 140352355920096 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27787] ppid=27769 vsize=14093000 memory=15544002879425055 CPUtime=1.18 cores=0,2,4,6
/proc/27772/task/27787/stat : 27787 (java) S 27769 27772 26714 0 -1 1077944384 1439 0 0 0 60 58 0 0 20 0 15 0 41162994 14431232000 1609449 33554432000 4194304 4196468 140724785790448 140352354868400 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
Current children cumulated CPU time: 2277.99 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 6437796 KiB

[startup+2202.3 s]
/proc/loadavg: 1.64 1.78 1.84 3/216 27931
/proc/meminfo: memFree=19159972/32770624 swapFree=67108860/67108860
[pid=27772] ppid=27769 vsize=14093000 memory=6430608 CPUtime=2340.58 cores=0,2,4,6
/proc/27772/stat : 27772 (java) S 27769 27772 26714 0 -1 1077944320 896336 0 0 0 233462 596 0 0 20 0 15 0 41162988 14431232000 1607652 33554432000 4194304 4196468 140724785790448 140724785772992 140352821374711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
/proc/27772/statm: 3523250 1607652 3628 1 0 3485321 0
[pid=27772/tid=27774] ppid=27769 vsize=14093000 memory=6430608 CPUtime=2156.21 cores=0,2,4,6
/proc/27772/task/27774/stat : 27774 (java) R 27769 27772 26714 0 -1 4202560 350237 0 0 0 215538 83 0 0 20 0 15 0 41162989 14431232000 1607652 33554432000 4194304 4196468 140724785790448 140352825603616 140352435604120 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27775] ppid=27769 vsize=14093000 memory=6434108 CPUtime=42.52 cores=0,2,4,6
/proc/27772/task/27775/stat : 27775 (java) S 27769 27772 26714 0 -1 1077944384 103630 0 0 0 4143 109 0 0 20 0 15 0 41162989 14431232000 1607652 33554432000 4194304 4196468 140724785790448 140352758975120 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27776] ppid=27769 vsize=14093000 memory=0 CPUtime=42.6 cores=0,2,4,6
/proc/27772/task/27776/stat : 27776 (java) S 27769 27772 26714 0 -1 1077944384 114158 0 0 0 4148 112 0 0 20 0 15 0 41162989 14431232000 1607652 33554432000 4194304 4196468 140724785790448 140352757922320 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27777] ppid=27769 vsize=14093000 memory=6430608 CPUtime=42.43 cores=0,2,4,6
/proc/27772/task/27777/stat : 27777 (java) S 27769 27772 26714 0 -1 1077944384 102659 0 0 0 4133 110 0 0 20 0 15 0 41162989 14431232000 1607652 33554432000 4194304 4196468 140724785790448 140352756869520 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27778] ppid=27769 vsize=14093000 memory=6430608 CPUtime=42.57 cores=0,2,4,6
/proc/27772/task/27778/stat : 27778 (java) S 27769 27772 26714 0 -1 1077944384 109933 0 0 0 4143 114 0 0 20 0 15 0 41162989 14431232000 1607652 33554432000 4194304 4196468 140724785790448 140352755816720 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27779] ppid=27769 vsize=14093000 memory=6430532 CPUtime=3.04 cores=0,2,4,6
/proc/27772/task/27779/stat : 27779 (java) S 27769 27772 26714 0 -1 1077944384 24846 0 0 0 300 4 0 0 20 0 15 0 41162991 14431232000 1607652 33554432000 4194304 4196468 140724785790448 140352363289456 140352821385858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27780] ppid=27769 vsize=14093000 memory=6430608 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27780/stat : 27780 (java) S 27769 27772 26714 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 41162991 14431232000 1607652 33554432000 4194304 4196468 140724785790448 140352362235488 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27781] ppid=27769 vsize=14093000 memory=6430532 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27781/stat : 27781 (java) S 27769 27772 26714 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 41162991 14431232000 1607652 33554432000 4194304 4196468 140724785790448 140352361182592 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27782] ppid=27769 vsize=14093000 memory=6430608 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27782/stat : 27782 (java) S 27769 27772 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41162994 14431232000 1607652 33554432000 4194304 4196468 140724785790448 140352360130896 140352821393307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27783] ppid=27769 vsize=14093000 memory=6430608 CPUtime=4.2 cores=0,2,4,6
/proc/27772/task/27783/stat : 27783 (java) S 27769 27772 26714 0 -1 1077944384 22528 0 0 0 416 4 0 0 20 0 15 0 41162994 14431232000 1607652 33554432000 4194304 4196468 140724785790448 140352359078256 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27784] ppid=27769 vsize=14093000 memory=6437392 CPUtime=4.21 cores=0,2,4,6
/proc/27772/task/27784/stat : 27784 (java) S 27769 27772 26714 0 -1 1077944384 17909 0 0 0 417 4 0 0 20 0 15 0 41162994 14431232000 1607652 33554432000 4194304 4196468 140724785790448 140352358025456 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27785] ppid=27769 vsize=14093000 memory=6437392 CPUtime=1.48 cores=0,2,4,6
/proc/27772/task/27785/stat : 27785 (java) S 27769 27772 26714 0 -1 1077944384 47503 0 0 0 143 5 0 0 20 0 15 0 41162994 14431232000 1607652 33554432000 4194304 4196468 140724785790448 140352356972656 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27786] ppid=27769 vsize=14093000 memory=14356 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27786/stat : 27786 (java) S 27769 27772 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41162994 14431232000 1607652 33554432000 4194304 4196468 140724785790448 140352355920096 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27787] ppid=27769 vsize=14093000 memory=1296 CPUtime=1.21 cores=0,2,4,6
/proc/27772/task/27787/stat : 27787 (java) S 27769 27772 26714 0 -1 1077944384 1471 0 0 0 62 59 0 0 20 0 15 0 41162994 14431232000 1607652 33554432000 4194304 4196468 140724785790448 140352354868400 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
Current children cumulated CPU time: 2340.58 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 6430608 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2259.2 s]
/proc/loadavg: 1.85 1.81 1.84 3/216 27932
/proc/meminfo: memFree=19284616/32770624 swapFree=67108860/67108860
[pid=27772] ppid=27769 vsize=14093000 memory=6438740 CPUtime=2400.05 cores=0,2,4,6
/proc/27772/stat : 27772 (java) S 27769 27772 26714 0 -1 1077944320 918170 0 0 0 239405 600 0 0 20 0 15 0 41162988 14431232000 1609685 33554432000 4194304 4196468 140724785790448 140724785772992 140352821374711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
/proc/27772/statm: 3523250 1609685 3628 1 0 3485321 0
[pid=27772/tid=27774] ppid=27769 vsize=14093000 memory=6438740 CPUtime=2212.27 cores=0,2,4,6
/proc/27772/task/27774/stat : 27774 (java) R 27769 27772 26714 0 -1 4202560 356299 0 0 0 221142 85 0 0 20 0 15 0 41162989 14431232000 1609685 33554432000 4194304 4196468 140724785790448 140352825608952 140352442312812 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27775] ppid=27769 vsize=14093000 memory=6438740 CPUtime=43.37 cores=0,2,4,6
/proc/27772/task/27775/stat : 27775 (java) S 27769 27772 26714 0 -1 1077944384 106980 0 0 0 4227 110 0 0 20 0 15 0 41162989 14431232000 1609685 33554432000 4194304 4196468 140724785790448 140352758975120 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27776] ppid=27769 vsize=14093000 memory=6438728 CPUtime=43.45 cores=0,2,4,6
/proc/27772/task/27776/stat : 27776 (java) S 27769 27772 26714 0 -1 1077944384 119539 0 0 0 4232 113 0 0 20 0 15 0 41162989 14431232000 1609685 33554432000 4194304 4196468 140724785790448 140352757922320 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27777] ppid=27769 vsize=14093000 memory=6438728 CPUtime=43.27 cores=0,2,4,6
/proc/27772/task/27777/stat : 27777 (java) S 27769 27772 26714 0 -1 1077944384 107233 0 0 0 4217 110 0 0 20 0 15 0 41162989 14431232000 1609685 33554432000 4194304 4196468 140724785790448 140352756869520 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27778] ppid=27769 vsize=14093000 memory=4140 CPUtime=43.41 cores=0,2,4,6
/proc/27772/task/27778/stat : 27778 (java) S 27769 27772 26714 0 -1 1077944384 111415 0 0 0 4227 114 0 0 20 0 15 0 41162989 14431232000 1609685 33554432000 4194304 4196468 140724785790448 140352755816720 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27779] ppid=27769 vsize=14093000 memory=14356 CPUtime=3.04 cores=0,2,4,6
/proc/27772/task/27779/stat : 27779 (java) S 27769 27772 26714 0 -1 1077944384 25091 0 0 0 300 4 0 0 20 0 15 0 41162991 14431232000 1609685 33554432000 4194304 4196468 140724785790448 140352363289456 140352821385858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27780] ppid=27769 vsize=14093000 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27780/stat : 27780 (java) S 27769 27772 26714 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 41162991 14431232000 1609685 33554432000 4194304 4196468 140724785790448 140352362235488 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27781] ppid=27769 vsize=14093000 memory=6438740 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27781/stat : 27781 (java) S 27769 27772 26714 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 41162991 14431232000 1609685 33554432000 4194304 4196468 140724785790448 140352361182592 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27782] ppid=27769 vsize=14093000 memory=6438740 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27782/stat : 27782 (java) S 27769 27772 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41162994 14431232000 1609685 33554432000 4194304 4196468 140724785790448 140352360130896 140352821393307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27783] ppid=27769 vsize=14093000 memory=6438728 CPUtime=4.2 cores=0,2,4,6
/proc/27772/task/27783/stat : 27783 (java) S 27769 27772 26714 0 -1 1077944384 22531 0 0 0 416 4 0 0 20 0 15 0 41162994 14431232000 1609685 33554432000 4194304 4196468 140724785790448 140352359078256 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27784] ppid=27769 vsize=14093000 memory=6438728 CPUtime=4.21 cores=0,2,4,6
/proc/27772/task/27784/stat : 27784 (java) S 27769 27772 26714 0 -1 1077944384 17916 0 0 0 417 4 0 0 20 0 15 0 41162994 14431232000 1609685 33554432000 4194304 4196468 140724785790448 140352358025456 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27785] ppid=27769 vsize=14093000 memory=6791534058613427641 CPUtime=1.48 cores=0,2,4,6
/proc/27772/task/27785/stat : 27785 (java) S 27769 27772 26714 0 -1 1077944384 48205 0 0 0 143 5 0 0 20 0 15 0 41162994 14431232000 1609685 33554432000 4194304 4196468 140724785790448 140352356972656 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27786] ppid=27769 vsize=14093000 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/27772/task/27786/stat : 27786 (java) S 27769 27772 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41162994 14431232000 1609685 33554432000 4194304 4196468 140724785790448 140352355920096 140352821384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
[pid=27772/tid=27787] ppid=27769 vsize=14093000 memory=640 CPUtime=1.25 cores=0,2,4,6
/proc/27772/task/27787/stat : 27787 (java) S 27769 27772 26714 0 -1 1077944384 1499 0 0 0 64 61 0 0 20 0 15 0 41162994 14431232000 1609685 33554432000 4194304 4196468 140724785790448 140352354868400 140352821385858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7643136 140724785792084 140724785792265 140724785792265 140724785795023 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 6438740 KiB

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

[startup+2259.24 s]
# the end of solver process 27772 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2394.08 s, system=6.03451 s

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

Child status: 143
Real time (s): 2259.24
CPU time (s): 2400.11
CPU user time (s): 2394.08
CPU system time (s): 6.03451
CPU usage (%): 106.235
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 6469584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.08
system time used= 6.03451
maximum resident set size= 6469584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 919036
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59242
involuntary context switches= 5208


# summary of solver processes directly reported to runsolver:
#   pid: 27772
#   total CPU time (s): 2400.11
#   total CPU user time (s): 2394.08
#   total CPU system time (s): 6.03451

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8589 second user time and 22.4482 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-22 07:06:38
IDJOB=4291457
IDBENCH=141138
IDSOLVER=2746
FILE ID=node149/4291457-1532235998
RUNJOBID= node149-1532226534-26745
PBS_JOBID= 21018956
Free space on /tmp= 51840 MiB

SOLVER NAME= OscaR - Hybrid 2018-07-02
BENCH NAME= XCSP18/GraphColoring/GraphColoring-3-fullins-5_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-4291457-1532235998/watcher-4291457-1532235998 -o /tmp/evaluation-result-4291457-1532235998/solver-4291457-1532235998 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532226534-26745 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1527634064 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291457-1532235998.xml

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

MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76
RANDOM SEED=1527634064

node149.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.60
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.60
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.60
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.60
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:        28625740 kB
MemAvailable:   31281136 kB
Buffers:           91116 kB
Cached:          2825000 kB
SwapCached:            0 kB
Active:          2216288 kB
Inactive:        1448288 kB
Active(anon):     698540 kB
Inactive(anon):    70216 kB
Active(file):    1517748 kB
Inactive(file):  1378072 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             80680 kB
Writeback:             0 kB
AnonPages:        791688 kB
Mapped:            48456 kB
Shmem:             17032 kB
Slab:             178548 kB
SReclaimable:     150820 kB
SUnreclaim:        27728 kB
KernelStack:        3488 kB
PageTables:         6684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1673032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    671744 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 51812 MiB
End job on node149 at 2018-07-22 07:44:17