Trace number 4274507

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 2017-07-26SAT (TO)7 2520.1001 2467.8401

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-3-fullins-5.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 benchmark1504.59
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.23/0.40	c version: 2017-07-26
0.23/0.40	c seed: 1185252803
0.23/0.40	c timeout: 2520
0.23/0.40	c memlimit: 11000
0.23/0.40	c nbcore: 4
0.44/0.42	c Parsing instance...
14.28/7.64	c Parsing done, starting first complete search...
15.98/8.35	o 2029
17.39/9.03	o 2028
18.25/9.65	o 2027
19.01/10.26	o 2026
22.33/11.56	o 2025
23.00/12.12	o 2024
23.59/12.71	o 2023
24.09/13.28	o 2022
24.69/13.84	o 2021
25.29/14.43	o 2020
25.90/15.01	o 2019
26.40/15.56	o 2018
27.02/16.13	o 2017
27.61/16.70	o 2016
28.12/17.27	o 2015
28.73/17.84	o 2014
29.33/18.44	o 2013
29.83/19.00	o 2012
30.43/19.58	o 2011
31.05/20.13	o 2010
31.54/20.69	o 2009
32.14/21.27	o 2008
32.75/21.85	o 2007
33.38/22.40	o 2006
33.88/22.96	o 2005
34.48/23.57	o 2004
35.13/24.15	o 2003
37.33/25.23	o 2002
37.98/25.81	o 2001
38.48/26.39	o 2000
39.08/26.95	o 1999
39.68/27.51	o 1998
40.19/28.07	o 1997
40.78/28.66	o 1996
41.38/29.21	o 1995
41.88/29.76	o 1994
42.48/30.31	o 1993
42.98/30.86	o 1992
43.58/31.40	o 1991
44.08/31.97	o 1990
44.69/32.54	o 1989
45.20/33.09	o 1988
45.79/33.64	o 1987
46.39/34.21	o 1986
46.89/34.77	o 1985
47.50/35.31	o 1984
48.00/35.86	o 1983
48.61/36.41	o 1982
49.11/36.96	o 1981
49.71/37.55	o 1980
50.22/38.09	o 1979
50.81/38.68	o 1978
51.46/39.24	o 1977
52.27/39.86	o 1976
52.87/40.44	o 1975
53.37/40.99	o 1974
53.97/41.56	o 1973
54.58/42.11	o 1972
55.07/42.65	o 1971
55.68/43.20	o 1970
56.18/43.76	o 1969
56.78/44.33	o 1968
57.38/44.91	o 1967
57.88/45.48	o 1966
58.49/46.03	o 1965
58.98/46.57	o 1964
59.49/47.10	o 1963
60.19/47.70	o 1962
60.69/48.25	o 1961
61.29/48.80	o 1960
61.79/49.39	o 1959
62.39/49.98	o 1958
62.99/50.52	o 1957
63.50/51.09	o 1956
64.09/51.64	o 1955
64.69/52.20	o 1954
65.19/52.75	o 1953
65.79/53.32	o 1952
66.60/53.94	o 1951
67.11/54.48	o 1950
67.72/55.05	o 1949
68.32/55.60	o 1948
68.83/56.17	o 1947
69.42/56.71	o 1946
69.92/57.24	o 1945
70.43/57.79	o 1944
71.03/58.34	o 1943
71.53/58.88	o 1942
72.13/59.42	o 1941
72.63/59.98	o 1940
73.23/60.51	o 1939
73.74/61.06	o 1938
74.33/61.66	o 1937
74.93/62.25	o 1936
75.53/62.84	o 1935
76.13/63.41	o 1934
76.63/63.95	o 1933
77.23/64.53	o 1932
77.74/65.07	o 1931
78.33/65.64	o 1930
78.84/66.17	o 1929
79.43/66.72	o 1928
79.93/67.26	o 1927
80.53/67.82	o 1926
81.03/68.37	o 1925
81.87/68.98	o 1924
82.47/69.54	o 1923
82.98/70.08	o 1922
83.57/70.63	o 1921
84.08/71.16	o 1920
84.67/71.72	o 1919
85.17/72.26	o 1918
85.77/72.84	o 1917
86.27/73.39	o 1916
86.87/73.95	o 1915
87.37/74.49	o 1914
87.98/75.03	o 1913
88.47/75.59	o 1912
89.08/76.14	o 1911
89.58/76.67	o 1910
90.18/77.25	o 1909
90.78/77.80	o 1908
91.28/78.34	o 1907
91.78/78.88	o 1906
92.38/79.43	o 1905
92.99/80.01	o 1904
93.48/80.56	o 1903
94.10/81.12	o 1902
94.59/81.66	o 1901
95.10/82.19	o 1900
95.76/82.79	o 1899
96.52/83.35	o 1898
97.12/83.92	o 1897
97.62/84.46	o 1896
98.23/85.03	o 1895
98.72/85.55	o 1894
99.22/86.09	o 1893
99.82/86.64	o 1892
100.36/87.16	o 1891
100.96/87.71	o 1890
101.46/88.27	o 1889
102.06/88.81	o 1888
102.56/89.34	o 1887
103.06/89.88	o 1886
103.66/90.44	o 1885
104.16/90.96	o 1884
104.76/91.51	o 1883
105.27/92.04	o 1882
105.76/92.58	o 1881
106.27/93.10	o 1880
106.86/93.63	o 1879
107.37/94.20	o 1878
107.96/94.72	o 1877
108.46/95.26	o 1876
108.97/95.79	o 1875
109.57/96.34	o 1874
110.07/96.88	o 1873
111.03/97.51	o 1872
111.54/98.04	o 1871
112.03/98.58	o 1870
112.64/99.11	o 1869
113.14/99.67	o 1868
113.73/100.21	o 1867
114.24/100.74	o 1866
114.74/101.24	o 1865
115.24/101.77	o 1864
115.84/102.33	o 1863
116.34/102.83	o 1862
116.84/103.35	o 1861
117.44/103.90	o 1860
117.94/104.42	o 1859
118.44/104.94	o 1858
118.94/105.47	o 1857
119.44/106.00	o 1856
120.04/106.52	o 1855
120.55/107.05	o 1854
121.04/107.60	o 1853
121.66/108.12	o 1852
122.15/108.65	o 1851
122.66/109.18	o 1850
123.15/109.69	o 1849
123.75/110.27	o 1848
124.35/110.83	o 1847
124.86/111.37	o 1846
125.75/111.98	o 1845
126.25/112.48	o 1844
126.75/112.99	o 1843
127.35/113.52	o 1842
127.86/114.04	o 1841
128.35/114.59	o 1840
128.96/115.12	o 1839
129.46/115.65	o 1838
129.97/116.16	o 1837
130.46/116.66	o 1836
130.97/117.17	o 1835
131.56/117.70	o 1834
132.06/118.24	o 1833
132.56/118.75	o 1832
133.06/119.28	o 1831
133.56/119.79	o 1830
134.16/120.35	o 1829
134.66/120.87	o 1828
135.26/121.41	o 1827
135.76/121.96	o 1826
136.36/122.50	o 1825
136.87/123.07	o 1824
137.36/123.59	o 1823
137.97/124.13	o 1822
138.46/124.65	o 1821
138.97/125.18	o 1820
139.46/125.69	o 1819
140.50/126.32	o 1818
141.00/126.85	o 1817
141.60/127.40	o 1816
142.10/127.92	o 1815
142.60/128.45	o 1814
143.10/128.96	o 1813
143.60/129.48	o 1812
144.21/130.06	o 1811
144.70/130.59	o 1810
145.31/131.12	o 1809
145.80/131.65	o 1808
146.31/132.19	o 1807
146.90/132.72	o 1806
147.40/133.25	o 1805
147.90/133.77	o 1804
148.40/134.30	o 1803
149.00/134.81	o 1802
149.51/135.33	o 1801
150.01/135.83	o 1800
150.51/136.34	o 1799
151.01/136.87	o 1798
151.61/137.40	o 1797
152.11/137.95	o 1796
152.61/138.47	o 1795
153.11/138.97	o 1794
153.61/139.45	o 1793
154.11/139.97	o 1792
154.61/140.48	o 1791
155.80/141.16	o 1790
156.29/141.69	o 1789
156.89/142.20	o 1788
157.39/142.73	o 1787
157.89/143.25	o 1786
158.39/143.77	o 1785
158.89/144.27	o 1784
159.39/144.78	o 1783
159.89/145.30	o 1782
160.49/145.81	o 1781
160.99/146.32	o 1780
161.50/146.83	o 1779
162.00/147.36	o 1778
162.50/147.87	o 1777
163.00/148.39	o 1776
163.60/148.92	o 1775
164.10/149.45	o 1774
164.61/149.96	o 1773
165.12/150.49	o 1772
165.62/150.99	o 1771
166.22/151.51	o 1770
166.72/152.03	o 1769
167.21/152.54	o 1768
167.72/153.05	o 1767
168.21/153.56	o 1766
168.72/154.08	o 1765
169.22/154.59	o 1764
169.73/155.10	o 1763
170.84/155.76	o 1762
171.34/156.25	o 1761
171.94/156.81	o 1760
172.44/157.31	o 1759
172.94/157.84	o 1758
173.44/158.36	o 1757
173.94/158.88	o 1756
174.44/159.38	o 1755
175.04/159.93	o 1754
175.54/160.47	o 1753
176.04/160.98	o 1752
176.64/161.53	o 1751
177.15/162.04	o 1750
177.64/162.58	o 1749
178.15/163.09	o 1748
178.64/163.59	o 1747
179.16/164.10	o 1746
179.75/164.61	o 1745
180.16/165.10	o 1744
180.75/165.62	o 1743
181.26/166.13	o 1742
181.75/166.64	o 1741
182.26/167.12	o 1740
182.75/167.63	o 1739
183.26/168.15	o 1738
183.75/168.67	o 1737
184.26/169.17	o 1736
185.56/169.89	o 1735
186.16/170.40	o 1734
186.66/170.90	o 1733
187.16/171.42	o 1732
187.67/171.93	o 1731
188.17/172.44	o 1730
188.67/172.93	o 1729
189.17/173.42	o 1728
189.67/173.94	o 1727
190.17/174.45	o 1726
190.67/174.95	o 1725
191.17/175.45	o 1724
191.67/175.96	o 1723
192.17/176.48	o 1722
192.67/176.99	o 1721
193.17/177.49	o 1720
193.67/177.99	o 1719
194.27/178.51	o 1718
194.78/179.02	o 1717
195.27/179.52	o 1716
195.78/180.04	o 1715
196.27/180.53	o 1714
196.78/181.03	o 1713
197.27/181.53	o 1712
197.78/182.01	o 1711
198.18/182.49	o 1710
198.68/182.99	o 1709
199.28/183.50	o 1708
200.54/184.20	o 1707
201.04/184.70	o 1706
201.54/185.21	o 1705
202.05/185.73	o 1704
202.55/186.23	o 1703
203.05/186.74	o 1702
203.55/187.27	o 1701
204.05/187.77	o 1700
204.55/188.30	o 1699
205.15/188.80	o 1698
205.55/189.29	o 1697
206.15/189.83	o 1696
206.65/190.33	o 1695
207.15/190.86	o 1694
207.65/191.35	o 1693
208.15/191.85	o 1692
208.65/192.34	o 1691
209.15/192.86	o 1690
209.65/193.35	o 1689
210.15/193.84	o 1688
210.65/194.34	o 1687
211.15/194.84	o 1686
211.65/195.34	o 1685
212.15/195.86	o 1684
212.65/196.38	o 1683
213.15/196.89	o 1682
213.65/197.38	o 1681
214.96/198.09	o 1680
215.55/198.61	o 1679
215.96/199.10	o 1678
216.55/199.61	o 1677
217.06/200.11	o 1676
217.55/200.60	o 1675
218.06/201.12	o 1674
218.56/201.61	o 1673
219.07/202.11	o 1672
219.46/202.59	o 1671
219.97/203.07	o 1670
220.46/203.59	o 1669
220.97/204.07	o 1668
221.46/204.59	o 1667
222.07/205.12	o 1666
222.56/205.61	o 1665
223.07/206.11	o 1664
223.56/206.60	o 1663
223.97/207.08	o 1662
224.46/207.58	o 1661
224.97/208.08	o 1660
225.46/208.58	o 1659
225.97/209.10	o 1658
226.56/209.63	o 1657
227.07/210.14	o 1656
227.56/210.64	o 1655
228.89/211.35	o 1654
229.39/211.86	o 1653
229.89/212.36	o 1652
230.39/212.85	o 1651
230.89/213.35	o 1650
231.39/213.85	o 1649
231.89/214.35	o 1648
232.39/214.87	o 1647
232.91/215.37	o 1646
233.41/215.86	o 1645
233.91/216.35	o 1644
234.41/216.83	o 1643
234.91/217.31	o 1642
235.41/217.80	o 1641
235.81/218.28	o 1640
236.31/218.79	o 1639
236.81/219.28	o 1638
237.31/219.78	o 1637
237.81/220.27	o 1636
238.31/220.75	o 1635
238.81/221.23	o 1634
239.31/221.73	o 1633
239.81/222.21	o 1632
240.21/222.69	o 1631
240.72/223.18	o 1630
241.21/223.67	o 1629
241.72/224.16	o 1628
243.08/224.87	o 1627
243.58/225.35	o 1626
244.09/225.86	o 1625
244.59/226.34	o 1624
245.08/226.82	o 1623
245.59/227.33	o 1622
246.08/227.84	o 1621
246.59/228.33	o 1620
247.09/228.83	o 1619
247.59/229.35	o 1618
248.09/229.83	o 1617
248.59/230.30	o 1616
249.09/230.81	o 1615
249.50/231.29	o 1614
249.99/231.77	o 1613
250.49/232.25	o 1612
251.00/232.73	o 1611
251.50/233.23	o 1610
252.00/233.72	o 1609
252.50/234.21	o 1608
252.99/234.71	o 1607
253.40/235.19	o 1606
253.99/235.70	o 1605
254.49/236.20	o 1604
255.91/236.92	o 1603
256.41/237.40	o 1602
256.81/237.87	o 1601
257.31/238.35	o 1600
257.81/238.83	o 1599
258.31/239.31	o 1598
258.71/239.78	o 1597
259.21/240.27	o 1596
259.71/240.75	o 1595
260.21/241.23	o 1594
260.70/241.73	o 1593
261.21/242.23	o 1592
261.71/242.74	o 1591
262.21/243.23	o 1590
262.71/243.71	o 1589
263.12/244.18	o 1588
263.61/244.68	o 1587
264.12/245.16	o 1586
264.61/245.64	o 1585
265.12/246.11	o 1584
265.61/246.60	o 1583
266.02/247.08	o 1582
266.52/247.57	o 1581
267.02/248.05	o 1580
267.51/248.52	o 1579
268.92/249.24	o 1578
269.45/249.74	o 1577
269.95/250.23	o 1576
270.45/250.72	o 1575
270.95/251.21	o 1574
271.35/251.69	o 1573
271.86/252.19	o 1572
272.35/252.66	o 1571
272.86/253.12	o 1570
273.35/253.61	o 1569
273.76/254.09	o 1568
274.25/254.58	o 1567
274.77/255.04	o 1566
275.26/255.52	o 1565
275.66/256.00	o 1564
276.16/256.46	o 1563
276.66/256.93	o 1562
277.16/257.46	o 1561
277.66/257.93	o 1560
278.06/258.39	o 1559
279.84/259.31	c First complete search done, starting ALNS search...
475.64/451.20	o 1557
479.05/454.61	o 1554
482.76/458.38	o 8
527.79/497.09	o 7
2153.45/2104.85	c ALNS done, starting second complete search
2153.45/2104.85	c Best operator: PropGuided(11595.041907174495)_WeightDeg(Min) with improvement of: 1546
2520.04/2467.80	s SATISFIABLE
2520.04/2467.81	v <instantiation>
2520.04/2467.81	v 	<list>
2520.04/2467.81	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]
2520.04/2467.81	v 	</list>
2520.04/2467.81	v 	<values>
2520.04/2467.81	v 		2 0 1 1 0 0 2 2 0 0 3 0 2 1 4 2 0 1 1 0 0 2 2 0 0 3 0 2 1 4 2 0 1 1 0 0 2 2 0 0 3 0 2 1 4 2 0 1 1 0 0 2 2 0 0 3 0 2 1 4 2 0 1 1 0 0 2 2 0 0 5 0 2 1 5 4 6 7 5 3 2 3 1 1 3 3 2 2 1 1 3 5 2 1 4 2 3 1 1 3 3 2 2 1 1 3 5 2 1 4 2 3 1 1 3 3 2 2 1 1 3 5 2 1 4 2 3 1 1 3 3 2 2 1 1 3 7 2 1 4 2 5 1 1 5 5 2 2 1 1 5 5 2 1 5 4 6 7 5 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 3 4 2 0 2 4 0 0 2 2 0 0 3 0 2 6 4 2 0 2 4 0 0 2 2 0 0 3 0 2 7 4 2 0 2 4 0 0 2 2 0 0 3 0 2 6 4 2 0 2 4 0 0 2 2 0 0 3 0 2 6 4 2 0 2 5 0 0 2 2 0 0 5 0 2 5 5 4 6 7 5 3 2 3 2 3 3 3 2 2 5 5 3 5 2 5 4 2 3 2 3 3 3 2 2 5 5 3 5 2 5 4 2 3 2 3 3 3 2 2 5 5 3 5 2 5 4 2 3 2 3 3 3 2 2 6 6 3 6 2 6 4 2 5 2 5 5 5 2 2 5 5 5 5 2 5 5 4 6 7 5 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 2 3 4 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 2 0 2 2 0 0 2 2 0 0 2 0 2 2 2 2 0 2 2 0 0 2 2 0 0 2 0 2 2 2 2 0 2 2 0 0 2 2 0 0 2 0 2 2 2 2 0 2 2 0 0 2 2 0 0 2 0 2 2 2 2 0 2 2 0 0 2 2 0 0 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 2 2 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 3 4 5 
2520.04/2467.81	v 	</values>
2520.04/2467.81	v </instantiation>

Verifier Data

OK	7

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274507-1502756891/watcher-4274507-1502756891 -o /tmp/evaluation-result-4274507-1502756891/solver-4274507-1502756891 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13745 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1185252803 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274507-1502756891.xml 

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

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

solver pid=27716, runsolver pid=27713

[startup+0.100132 s]*
/proc/loadavg: 1.71 1.63 1.60 3/204 27722
/proc/meminfo: memFree=25764828/32770624 swapFree=67108860/67108860
[pid=27716] ppid=27713 vsize=13440536 memory=16976 CPUtime=0.01 cores=1,3,5,7
/proc/27716/stat : 27716 (java) S 27713 27716 12395 0 -1 1077944320 3586 0 0 0 1 0 0 0 20 0 7 0 117600488 13763108864 4244 18446744073709551615 4194304 4196468 140723987670128 140723987652672 140368750927607 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
/proc/27716/statm: 3360134 4244 1992 1 0 3349631 0
[pid=27716/tid=27718] ppid=27713 vsize=13440536 memory=-6657276190936633700 CPUtime=0.01 cores=1,3,5,7
/proc/27716/task/27718/stat : 27718 (java) R 27713 27716 12395 0 -1 4202560 2270 0 0 0 1 0 0 0 20 0 7 0 117600497 13763108864 4244 18446744073709551615 4194304 4196468 140723987670128 140368755170064 140368750949533 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27719] ppid=27713 vsize=13440536 memory=5767616535816083849 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27719/stat : 27719 (java) S 27713 27716 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 117600497 13763108864 4244 18446744073709551615 4194304 4196468 140723987670128 140368670341776 140368750937813 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27720] ppid=27713 vsize=13440536 memory=140145517553280 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27720/stat : 27720 (java) S 27713 27716 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 117600497 13763108864 4244 18446744073709551615 4194304 4196468 140723987670128 140368669288976 140368750937813 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27721] ppid=27713 vsize=13440536 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27721/stat : 27721 (java) S 27713 27716 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 117600497 13763108864 4244 18446744073709551615 4194304 4196468 140723987670128 140368668236176 140368750937813 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27722] ppid=27713 vsize=13440536 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27722/stat : 27722 (java) S 27713 27716 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 117600497 13763108864 4244 18446744073709551615 4194304 4196468 140723987670128 140368667183376 140368750937813 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27723] ppid=27713 vsize=13440536 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27723/stat : 27723 (java) S 27713 27716 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 117600499 13763108864 4244 18446744073709551615 4194304 4196468 140723987670128 140368228641648 140368750938754 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13440536 KiB
Current children cumulated memory: 16976 KiB

[startup+0.20989 s]*
/proc/loadavg: 1.71 1.63 1.60 3/213 27731
/proc/meminfo: memFree=25760204/32770624 swapFree=67108860/67108860
[pid=27716] ppid=27713 vsize=13975920 memory=28760 CPUtime=0.07 cores=1,3,5,7
/proc/27716/stat : 27716 (java) S 27713 27716 12395 0 -1 1077944320 6457 0 0 0 6 1 0 0 20 0 15 0 117600488 14311342080 7190 18446744073709551615 4194304 4196468 140723987670128 140723987652672 140368750927607 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
/proc/27716/statm: 3493980 7190 3344 1 0 3482759 0
[pid=27716/tid=27718] ppid=27713 vsize=13975920 memory=8186307655303602072 CPUtime=0.05 cores=1,3,5,7
/proc/27716/task/27718/stat : 27718 (java) R 27713 27716 12395 0 -1 4202560 4510 0 0 0 5 0 0 0 20 0 15 0 117600497 14311342080 7190 18446744073709551615 4194304 4196468 140723987670128 140368755156624 140368743164734 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27719] ppid=27713 vsize=13975920 memory=732370283855006693 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27719/stat : 27719 (java) S 27713 27716 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600497 14311342080 7190 18446744073709551615 4194304 4196468 140723987670128 140368670341776 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27720] ppid=27713 vsize=13975920 memory=140145517553280 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27720/stat : 27720 (java) S 27713 27716 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600497 14311342080 7190 18446744073709551615 4194304 4196468 140723987670128 140368669288976 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27721] ppid=27713 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27721/stat : 27721 (java) S 27713 27716 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600497 14311342080 7190 18446744073709551615 4194304 4196468 140723987670128 140368668236176 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27722] ppid=27713 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27722/stat : 27722 (java) S 27713 27716 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117600497 14311342080 7190 18446744073709551615 4194304 4196468 140723987670128 140368667183376 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27723] ppid=27713 vsize=13975920 memory=140145517553280 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27723/stat : 27723 (java) S 27713 27716 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117600499 14311342080 7190 18446744073709551615 4194304 4196468 140723987670128 140368228641648 140368750938754 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27724] ppid=27713 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27724/stat : 27724 (java) S 27713 27716 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117600499 14311342080 7190 18446744073709551615 4194304 4196468 140723987670128 140368227587616 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27725] ppid=27713 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27725/stat : 27725 (java) S 27713 27716 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117600499 14311342080 7190 18446744073709551615 4194304 4196468 140723987670128 140368226534768 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27726] ppid=27713 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27726/stat : 27726 (java) S 27713 27716 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600502 14311342080 7190 18446744073709551615 4194304 4196468 140723987670128 140368225483088 140368750946203 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27727] ppid=27713 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27727/stat : 27727 (java) S 27713 27716 12395 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 117600502 14311342080 7190 18446744073709551615 4194304 4196468 140723987670128 140368224430448 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27728] ppid=27713 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27728/stat : 27728 (java) S 27713 27716 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600502 14311342080 7190 18446744073709551615 4194304 4196468 140723987670128 140368223377648 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27729] ppid=27713 vsize=13975920 memory=140145517553280 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27729/stat : 27729 (java) R 27713 27716 12395 0 -1 4202560 295 0 0 0 0 0 0 0 20 0 15 0 117600502 14311342080 7190 18446744073709551615 4194304 4196468 140723987670128 140368222324848 140368729853318 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27730] ppid=27713 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27730/stat : 27730 (java) S 27713 27716 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600502 14311342080 7190 18446744073709551615 4194304 4196468 140723987670128 140368221272288 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27731] ppid=27713 vsize=13975920 memory=140145517553280 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27731/stat : 27731 (java) S 27713 27716 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600508 14311342080 7190 18446744073709551615 4194304 4196468 140723987670128 140368220220592 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 28760 KiB

[startup+0.310999 s]*
/proc/loadavg: 1.81 1.66 1.61 3/213 27731
/proc/meminfo: memFree=25745600/32770624 swapFree=67108860/67108860
[pid=27716] ppid=27713 vsize=13975920 memory=40432 CPUtime=0.23 cores=1,3,5,7
/proc/27716/stat : 27716 (java) S 27713 27716 12395 0 -1 1077944320 10299 0 0 0 20 3 0 0 20 0 15 0 117600488 14311342080 10108 18446744073709551615 4194304 4196468 140723987670128 140723987652672 140368750927607 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
/proc/27716/statm: 3493980 10108 3555 1 0 3482759 0
[pid=27716/tid=27718] ppid=27713 vsize=13975920 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/27716/task/27718/stat : 27718 (java) R 27713 27716 12395 0 -1 4202560 8028 0 0 0 14 2 0 0 20 0 15 0 117600497 14311342080 10108 18446744073709551615 4194304 4196468 140723987670128 140368755152688 140368750949533 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27719] ppid=27713 vsize=13975920 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27719/stat : 27719 (java) S 27713 27716 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600497 14311342080 10108 18446744073709551615 4194304 4196468 140723987670128 140368670341776 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27720] ppid=27713 vsize=13975920 memory=8110268428378128441 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27720/stat : 27720 (java) S 27713 27716 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600497 14311342080 10108 18446744073709551615 4194304 4196468 140723987670128 140368669288976 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27721] ppid=27713 vsize=13975920 memory=1398720917958146503 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27721/stat : 27721 (java) S 27713 27716 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600497 14311342080 10108 18446744073709551615 4194304 4196468 140723987670128 140368668236176 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27722] ppid=27713 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27722/stat : 27722 (java) S 27713 27716 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117600497 14311342080 10108 18446744073709551615 4194304 4196468 140723987670128 140368667183376 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27723] ppid=27713 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27723/stat : 27723 (java) S 27713 27716 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117600499 14311342080 10108 18446744073709551615 4194304 4196468 140723987670128 140368228641648 140368750938754 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27724] ppid=27713 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27724/stat : 27724 (java) S 27713 27716 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117600499 14311342080 10108 18446744073709551615 4194304 4196468 140723987670128 140368227587616 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27725] ppid=27713 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27725/stat : 27725 (java) S 27713 27716 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117600499 14311342080 10108 18446744073709551615 4194304 4196468 140723987670128 140368226534768 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27726] ppid=27713 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27726/stat : 27726 (java) S 27713 27716 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600502 14311342080 10108 18446744073709551615 4194304 4196468 140723987670128 140368225483088 140368750946203 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27727] ppid=27713 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27716/task/27727/stat : 27727 (java) S 27713 27716 12395 0 -1 1077944384 468 0 0 0 1 0 0 0 20 0 15 0 117600502 14311342080 10108 18446744073709551615 4194304 4196468 140723987670128 140368224430448 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27728] ppid=27713 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27728/stat : 27728 (java) R 27713 27716 12395 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 117600502 14311342080 10108 18446744073709551615 4194304 4196468 140723987670128 140368223377648 140368750938754 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27729] ppid=27713 vsize=13975920 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/27716/task/27729/stat : 27729 (java) S 27713 27716 12395 0 -1 1077944384 385 0 0 0 4 0 0 0 20 0 15 0 117600502 14311342080 10108 18446744073709551615 4194304 4196468 140723987670128 140368222324848 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27730] ppid=27713 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27730/stat : 27730 (java) S 27713 27716 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600502 14311342080 10108 18446744073709551615 4194304 4196468 140723987670128 140368221272288 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27731] ppid=27713 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27731/stat : 27731 (java) S 27713 27716 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600508 14311342080 10108 18446744073709551615 4194304 4196468 140723987670128 140368220220592 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40432 KiB

[startup+0.700834 s]
/proc/loadavg: 1.81 1.66 1.61 4/213 27731
/proc/meminfo: memFree=25733900/32770624 swapFree=67108860/67108860
[pid=27716] ppid=27713 vsize=13977988 memory=86352 CPUtime=1.12 cores=1,3,5,7
/proc/27716/stat : 27716 (java) S 27713 27716 12395 0 -1 1077944320 14199 0 0 0 107 5 0 0 20 0 15 0 117600488 14313459712 21588 18446744073709551615 4194304 4196468 140723987670128 140723987652672 140368750927607 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
/proc/27716/statm: 3494497 21588 3728 1 0 3483271 0
[pid=27716/tid=27718] ppid=27713 vsize=13977988 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/27716/task/27718/stat : 27718 (java) R 27713 27716 12395 0 -1 4202560 9767 0 0 0 50 3 0 0 20 0 15 0 117600497 14313459712 21588 18446744073709551615 4194304 4196468 140723987670128 140368755164272 140368342079187 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27719] ppid=27713 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27719/stat : 27719 (java) S 27713 27716 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600497 14313459712 21588 18446744073709551615 4194304 4196468 140723987670128 140368670341776 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27720] ppid=27713 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27720/stat : 27720 (java) S 27713 27716 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600497 14313459712 21588 18446744073709551615 4194304 4196468 140723987670128 140368669288976 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27721] ppid=27713 vsize=13977988 memory=60 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27721/stat : 27721 (java) S 27713 27716 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600497 14313459712 21588 18446744073709551615 4194304 4196468 140723987670128 140368668236176 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27722] ppid=27713 vsize=13977988 memory=7238798801034556981 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27722/stat : 27722 (java) S 27713 27716 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117600497 14313459712 21588 18446744073709551615 4194304 4196468 140723987670128 140368667183376 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27723] ppid=27713 vsize=13977988 memory=5860421540596830288 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27723/stat : 27723 (java) S 27713 27716 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117600499 14313459712 21588 18446744073709551615 4194304 4196468 140723987670128 140368228641648 140368750938754 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27724] ppid=27713 vsize=13977988 memory=5792825802846453857 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27724/stat : 27724 (java) S 27713 27716 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117600499 14313459712 21588 18446744073709551615 4194304 4196468 140723987670128 140368227587616 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27725] ppid=27713 vsize=13977988 memory=3470692292451393600 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27725/stat : 27725 (java) S 27713 27716 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117600499 14313459712 21588 18446744073709551615 4194304 4196468 140723987670128 140368226534768 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27726] ppid=27713 vsize=13977988 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27726/stat : 27726 (java) S 27713 27716 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600502 14313459712 21588 18446744073709551615 4194304 4196468 140723987670128 140368225483088 140368750946203 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27727] ppid=27713 vsize=13977988 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/27716/task/27727/stat : 27727 (java) R 27713 27716 12395 0 -1 4202560 1177 0 0 0 18 0 0 0 20 0 15 0 117600502 14313459712 21588 18446744073709551615 4194304 4196468 140723987670128 140368224430448 140368728801792 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27728] ppid=27713 vsize=13977988 memory=140145387811144 CPUtime=0.18 cores=1,3,5,7
/proc/27716/task/27728/stat : 27728 (java) R 27713 27716 12395 0 -1 4202560 1085 0 0 0 18 0 0 0 20 0 15 0 117600502 14313459712 21588 18446744073709551615 4194304 4196468 140723987670128 140368223363528 140368734484946 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27729] ppid=27713 vsize=13977988 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/27716/task/27729/stat : 27729 (java) S 27713 27716 12395 0 -1 1077944384 788 0 0 0 19 0 0 0 20 0 15 0 117600502 14313459712 21588 18446744073709551615 4194304 4196468 140723987670128 140368222324848 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27730] ppid=27713 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27730/stat : 27730 (java) S 27713 27716 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600502 14313459712 21588 18446744073709551615 4194304 4196468 140723987670128 140368221272288 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27731] ppid=27713 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27731/stat : 27731 (java) S 27713 27716 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600508 14313459712 21588 18446744073709551615 4194304 4196468 140723987670128 140368220220592 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 86352 KiB

[startup+1.50074 s]
/proc/loadavg: 1.81 1.66 1.61 5/213 27731
/proc/meminfo: memFree=25632940/32770624 swapFree=67108860/67108860
[pid=27716] ppid=27713 vsize=13977988 memory=216852 CPUtime=3.66 cores=1,3,5,7
/proc/27716/stat : 27716 (java) S 27713 27716 12395 0 -1 1077944320 17327 0 0 0 356 10 0 0 20 0 15 0 117600488 14313459712 54213 18446744073709551615 4194304 4196468 140723987670128 140723987652672 140368750927607 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
/proc/27716/statm: 3494497 54213 3784 1 0 3483271 0
[pid=27716/tid=27718] ppid=27713 vsize=13977988 memory=4132 CPUtime=1.31 cores=1,3,5,7
/proc/27716/task/27718/stat : 27718 (java) R 27713 27716 12395 0 -1 4202560 10071 0 0 0 126 5 0 0 20 0 15 0 117600497 14313459712 54213 18446744073709551615 4194304 4196468 140723987670128 140368755161536 140368344612432 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27719] ppid=27713 vsize=13977988 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27716/task/27719/stat : 27719 (java) S 27713 27716 12395 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 117600497 14313459712 54213 18446744073709551615 4194304 4196468 140723987670128 140368670341776 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27720] ppid=27713 vsize=13977988 memory=111 CPUtime=0.01 cores=1,3,5,7
/proc/27716/task/27720/stat : 27720 (java) S 27713 27716 12395 0 -1 1077944384 9 0 0 0 1 0 0 0 20 0 15 0 117600497 14313459712 54213 18446744073709551615 4194304 4196468 140723987670128 140368669288976 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27721] ppid=27713 vsize=13977988 memory=1 CPUtime=0.01 cores=1,3,5,7
/proc/27716/task/27721/stat : 27721 (java) S 27713 27716 12395 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 15 0 117600497 14313459712 54213 18446744073709551615 4194304 4196468 140723987670128 140368668236176 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27722] ppid=27713 vsize=13977988 memory=1 CPUtime=0.01 cores=1,3,5,7
/proc/27716/task/27722/stat : 27722 (java) S 27713 27716 12395 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 15 0 117600497 14313459712 54213 18446744073709551615 4194304 4196468 140723987670128 140368667183376 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27723] ppid=27713 vsize=13977988 memory=1 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27723/stat : 27723 (java) S 27713 27716 12395 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 117600499 14313459712 54213 18446744073709551615 4194304 4196468 140723987670128 140368228641648 140368750938754 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27724] ppid=27713 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27724/stat : 27724 (java) S 27713 27716 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117600499 14313459712 54213 18446744073709551615 4194304 4196468 140723987670128 140368227587616 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27725] ppid=27713 vsize=13977988 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27725/stat : 27725 (java) S 27713 27716 12395 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 117600499 14313459712 54213 18446744073709551615 4194304 4196468 140723987670128 140368226534768 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27726] ppid=27713 vsize=13977988 memory=14695184197749125 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27726/stat : 27726 (java) S 27713 27716 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600502 14313459712 54213 18446744073709551615 4194304 4196468 140723987670128 140368225483088 140368750946203 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27727] ppid=27713 vsize=13977988 memory=0 CPUtime=0.89 cores=1,3,5,7
/proc/27716/task/27727/stat : 27727 (java) R 27713 27716 12395 0 -1 4202560 2233 0 0 0 89 0 0 0 20 0 15 0 117600502 14313459712 54213 18446744073709551615 4194304 4196468 140723987670128 140368224415744 140368735321364 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27728] ppid=27713 vsize=13977988 memory=0 CPUtime=0.89 cores=1,3,5,7
/proc/27716/task/27728/stat : 27728 (java) R 27713 27716 12395 0 -1 4202560 1788 0 0 0 89 0 0 0 20 0 15 0 117600502 14313459712 54213 18446744073709551615 4194304 4196468 140723987670128 140368223358344 140368734424395 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27729] ppid=27713 vsize=13977988 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/27716/task/27729/stat : 27729 (java) S 27713 27716 12395 0 -1 1077944384 1669 0 0 0 44 0 0 0 20 0 15 0 117600502 14313459712 54213 18446744073709551615 4194304 4196468 140723987670128 140368222324848 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27730] ppid=27713 vsize=13977988 memory=-7880843606118635149 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27730/stat : 27730 (java) S 27713 27716 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600502 14313459712 54213 18446744073709551615 4194304 4196468 140723987670128 140368221272288 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27731] ppid=27713 vsize=13977988 memory=-1624781813439352349 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27731/stat : 27731 (java) S 27713 27716 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600508 14313459712 54213 18446744073709551615 4194304 4196468 140723987670128 140368220220592 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0

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

/proc/27716/task/27718/stat : 27718 (java) R 27713 27716 12395 0 -1 4202560 258542 0 0 0 230508 85 0 0 20 0 15 0 117600497 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368755165792 140368341492240 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27719] ppid=27713 vsize=13982084 memory=5712344 CPUtime=13.75 cores=1,3,5,7
/proc/27716/task/27719/stat : 27719 (java) S 27713 27716 12395 0 -1 1077944384 54287 0 0 0 1269 106 0 0 20 0 15 0 117600497 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368670341776 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27720] ppid=27713 vsize=13982084 memory=5712344 CPUtime=13.78 cores=1,3,5,7
/proc/27716/task/27720/stat : 27720 (java) S 27713 27716 12395 0 -1 1077944384 44464 0 0 0 1274 104 0 0 20 0 15 0 117600497 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368669288976 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27721] ppid=27713 vsize=13982084 memory=5712344 CPUtime=13.74 cores=1,3,5,7
/proc/27716/task/27721/stat : 27721 (java) S 27713 27716 12395 0 -1 1077944384 49932 0 0 0 1269 105 0 0 20 0 15 0 117600497 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368668236176 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27722] ppid=27713 vsize=13982084 memory=5714392 CPUtime=13.69 cores=1,3,5,7
/proc/27716/task/27722/stat : 27722 (java) S 27713 27716 12395 0 -1 1077944384 53446 0 0 0 1262 107 0 0 20 0 15 0 117600497 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368667183376 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27723] ppid=27713 vsize=13982084 memory=5714392 CPUtime=1.88 cores=1,3,5,7
/proc/27716/task/27723/stat : 27723 (java) S 27713 27716 12395 0 -1 1077944384 17360 0 0 0 182 6 0 0 20 0 15 0 117600499 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368228641648 140368750938754 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27724] ppid=27713 vsize=13982084 memory=5714392 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27724/stat : 27724 (java) S 27713 27716 12395 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 117600499 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368227587680 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27725] ppid=27713 vsize=13982084 memory=33628 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27725/stat : 27725 (java) S 27713 27716 12395 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 117600499 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368226534784 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27726] ppid=27713 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27726/stat : 27726 (java) S 27713 27716 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600502 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368225483088 140368750946203 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27727] ppid=27713 vsize=13982084 memory=4132 CPUtime=4.18 cores=1,3,5,7
/proc/27716/task/27727/stat : 27727 (java) S 27713 27716 12395 0 -1 1077944384 25462 0 0 0 415 3 0 0 20 0 15 0 117600502 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368224430448 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27728] ppid=27713 vsize=13982084 memory=5714392 CPUtime=3.92 cores=1,3,5,7
/proc/27716/task/27728/stat : 27728 (java) S 27713 27716 12395 0 -1 1077944384 22705 0 0 0 389 3 0 0 20 0 15 0 117600502 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368223377648 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27729] ppid=27713 vsize=13982084 memory=4048 CPUtime=1.17 cores=1,3,5,7
/proc/27716/task/27729/stat : 27729 (java) S 27713 27716 12395 0 -1 1077944384 29321 0 0 0 114 3 0 0 20 0 15 0 117600502 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368222324848 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27730] ppid=27713 vsize=13982084 memory=5712344 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27730/stat : 27730 (java) S 27713 27716 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600502 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368221272288 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27731] ppid=27713 vsize=13982084 memory=5712344 CPUtime=1.35 cores=1,3,5,7
/proc/27716/task/27731/stat : 27731 (java) S 27713 27716 12395 0 -1 1077944384 2077 0 0 0 60 75 0 0 20 0 15 0 117600508 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368220220592 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 62 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
Current children cumulated CPU time: 2373.48 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 5714392 KiB

[startup+2382.3 s]
/proc/loadavg: 1.78 1.70 1.70 3/213 27953
/proc/meminfo: memFree=24859148/32770624 swapFree=67108860/67108860
[pid=27716] ppid=27713 vsize=13982084 memory=5714392 CPUtime=2433.92 cores=1,3,5,7
/proc/27716/stat : 27716 (java) S 27713 27716 12395 0 -1 1077944320 570568 0 0 0 242804 588 0 0 20 0 15 0 117600488 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140723987652672 140368750927607 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
/proc/27716/statm: 3495521 1428598 3835 1 0 3484295 0
[pid=27716/tid=27718] ppid=27713 vsize=13982084 memory=5714392 CPUtime=2365.78 cores=1,3,5,7
/proc/27716/task/27718/stat : 27718 (java) R 27713 27716 12395 0 -1 4202560 264111 0 0 0 236492 86 0 0 20 0 15 0 117600497 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368755165712 140368341710364 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27719] ppid=27713 vsize=13982084 memory=5714392 CPUtime=13.88 cores=1,3,5,7
/proc/27716/task/27719/stat : 27719 (java) S 27713 27716 12395 0 -1 1077944384 55252 0 0 0 1282 106 0 0 20 0 15 0 117600497 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368670341776 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27720] ppid=27713 vsize=13982084 memory=5714392 CPUtime=13.92 cores=1,3,5,7
/proc/27716/task/27720/stat : 27720 (java) S 27713 27716 12395 0 -1 1077944384 45766 0 0 0 1288 104 0 0 20 0 15 0 117600497 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368669288976 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27721] ppid=27713 vsize=13982084 memory=5714392 CPUtime=13.87 cores=1,3,5,7
/proc/27716/task/27721/stat : 27721 (java) S 27713 27716 12395 0 -1 1077944384 51510 0 0 0 1282 105 0 0 20 0 15 0 117600497 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368668236176 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27722] ppid=27713 vsize=13982084 memory=5714392 CPUtime=13.84 cores=1,3,5,7
/proc/27716/task/27722/stat : 27722 (java) S 27713 27716 12395 0 -1 1077944384 54562 0 0 0 1276 108 0 0 20 0 15 0 117600497 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368667183376 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27723] ppid=27713 vsize=13982084 memory=33628 CPUtime=1.88 cores=1,3,5,7
/proc/27716/task/27723/stat : 27723 (java) S 27713 27716 12395 0 -1 1077944384 17601 0 0 0 182 6 0 0 20 0 15 0 117600499 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368228641648 140368750938754 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27724] ppid=27713 vsize=13982084 memory=5714392 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27724/stat : 27724 (java) S 27713 27716 12395 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 117600499 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368227587680 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27725] ppid=27713 vsize=13982084 memory=5714392 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27725/stat : 27725 (java) S 27713 27716 12395 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 117600499 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368226534784 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27726] ppid=27713 vsize=13982084 memory=5714392 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27726/stat : 27726 (java) S 27713 27716 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600502 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368225483088 140368750946203 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27727] ppid=27713 vsize=13982084 memory=1992 CPUtime=4.18 cores=1,3,5,7
/proc/27716/task/27727/stat : 27727 (java) S 27713 27716 12395 0 -1 1077944384 25469 0 0 0 415 3 0 0 20 0 15 0 117600502 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368224430448 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27728] ppid=27713 vsize=13982084 memory=5714392 CPUtime=3.92 cores=1,3,5,7
/proc/27716/task/27728/stat : 27728 (java) S 27713 27716 12395 0 -1 1077944384 22708 0 0 0 389 3 0 0 20 0 15 0 117600502 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368223377648 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27729] ppid=27713 vsize=13982084 memory=5714392 CPUtime=1.17 cores=1,3,5,7
/proc/27716/task/27729/stat : 27729 (java) S 27713 27716 12395 0 -1 1077944384 30059 0 0 0 114 3 0 0 20 0 15 0 117600502 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368222324848 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27730] ppid=27713 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27730/stat : 27730 (java) S 27713 27716 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600502 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368221272288 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27731] ppid=27713 vsize=13982084 memory=8099838555597596775 CPUtime=1.38 cores=1,3,5,7
/proc/27716/task/27731/stat : 27731 (java) S 27713 27716 12395 0 -1 1077944384 2109 0 0 0 61 77 0 0 20 0 15 0 117600508 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368220220592 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 62 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
Current children cumulated CPU time: 2433.92 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 5714392 KiB

[startup+2442.3 s]
/proc/loadavg: 1.66 1.69 1.69 3/213 27955
/proc/meminfo: memFree=24860364/32770624 swapFree=67108860/67108860
[pid=27716] ppid=27713 vsize=13982084 memory=5714392 CPUtime=2494.38 cores=1,3,5,7
/proc/27716/stat : 27716 (java) S 27713 27716 12395 0 -1 1077944320 582426 0 0 0 248847 591 0 0 20 0 15 0 117600488 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140723987652672 140368750927607 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
/proc/27716/statm: 3495521 1428598 3835 1 0 3484295 0
[pid=27716/tid=27718] ppid=27713 vsize=13982084 memory=5714392 CPUtime=2425.65 cores=1,3,5,7
/proc/27716/task/27718/stat : 27718 (java) R 27713 27716 12395 0 -1 4202560 269922 0 0 0 242478 87 0 0 20 0 15 0 117600497 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368755165712 140368341492139 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27719] ppid=27713 vsize=13982084 memory=5714392 CPUtime=14.02 cores=1,3,5,7
/proc/27716/task/27719/stat : 27719 (java) S 27713 27716 12395 0 -1 1077944384 56484 0 0 0 1296 106 0 0 20 0 15 0 117600497 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368670341776 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27720] ppid=27713 vsize=13982084 memory=5714392 CPUtime=14.05 cores=1,3,5,7
/proc/27716/task/27720/stat : 27720 (java) S 27713 27716 12395 0 -1 1077944384 47149 0 0 0 1301 104 0 0 20 0 15 0 117600497 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368669288976 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27721] ppid=27713 vsize=13982084 memory=5714392 CPUtime=14.01 cores=1,3,5,7
/proc/27716/task/27721/stat : 27721 (java) S 27713 27716 12395 0 -1 1077944384 53272 0 0 0 1296 105 0 0 20 0 15 0 117600497 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368668236176 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27722] ppid=27713 vsize=13982084 memory=5714392 CPUtime=13.97 cores=1,3,5,7
/proc/27716/task/27722/stat : 27722 (java) S 27713 27716 12395 0 -1 1077944384 55947 0 0 0 1289 108 0 0 20 0 15 0 117600497 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368667183376 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27723] ppid=27713 vsize=13982084 memory=5714392 CPUtime=1.89 cores=1,3,5,7
/proc/27716/task/27723/stat : 27723 (java) S 27713 27716 12395 0 -1 1077944384 17846 0 0 0 183 6 0 0 20 0 15 0 117600499 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368228641648 140368750938754 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27724] ppid=27713 vsize=13982084 memory=5714392 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27724/stat : 27724 (java) S 27713 27716 12395 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 117600499 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368227587680 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27725] ppid=27713 vsize=13982084 memory=33628 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27725/stat : 27725 (java) S 27713 27716 12395 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 117600499 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368226534784 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27726] ppid=27713 vsize=13982084 memory=5714392 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27726/stat : 27726 (java) S 27713 27716 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600502 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368225483088 140368750946203 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27727] ppid=27713 vsize=13982084 memory=5784 CPUtime=4.18 cores=1,3,5,7
/proc/27716/task/27727/stat : 27727 (java) S 27713 27716 12395 0 -1 1077944384 25477 0 0 0 415 3 0 0 20 0 15 0 117600502 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368224430448 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27728] ppid=27713 vsize=13982084 memory=5714392 CPUtime=3.92 cores=1,3,5,7
/proc/27716/task/27728/stat : 27728 (java) S 27713 27716 12395 0 -1 1077944384 22711 0 0 0 389 3 0 0 20 0 15 0 117600502 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368223377648 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27729] ppid=27713 vsize=13982084 memory=5714392 CPUtime=1.17 cores=1,3,5,7
/proc/27716/task/27729/stat : 27729 (java) S 27713 27716 12395 0 -1 1077944384 30062 0 0 0 114 3 0 0 20 0 15 0 117600502 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368222324848 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27730] ppid=27713 vsize=13982084 memory=5714392 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27730/stat : 27730 (java) S 27713 27716 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600502 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368221272288 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27731] ppid=27713 vsize=13982084 memory=5714392 CPUtime=1.42 cores=1,3,5,7
/proc/27716/task/27731/stat : 27731 (java) S 27713 27716 12395 0 -1 1077944384 2135 0 0 0 63 79 0 0 20 0 15 0 117600508 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368220220592 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 62 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
Current children cumulated CPU time: 2494.38 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 5714392 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2467.8 s]
/proc/loadavg: 1.57 1.67 1.68 3/213 27956
/proc/meminfo: memFree=24867912/32770624 swapFree=67108860/67108860
[pid=27716] ppid=27713 vsize=13982084 memory=5714392 CPUtime=2520.04 cores=1,3,5,7
/proc/27716/stat : 27716 (java) S 27713 27716 12395 0 -1 1077944320 584016 0 0 0 251412 592 0 0 20 0 15 0 117600488 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140723987652672 140368750927607 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
/proc/27716/statm: 3495521 1428598 3835 1 0 3484295 0
[pid=27716/tid=27718] ppid=27713 vsize=13982084 memory=4132 CPUtime=2451.1 cores=1,3,5,7
/proc/27716/task/27718/stat : 27718 (java) R 27713 27716 12395 0 -1 4202560 271334 0 0 0 245023 87 0 0 20 0 15 0 117600497 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368755165680 140368341710364 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27719] ppid=27713 vsize=13982084 memory=-8774313645642428999 CPUtime=14.06 cores=1,3,5,7
/proc/27716/task/27719/stat : 27719 (java) S 27713 27716 12395 0 -1 1077944384 56513 0 0 0 1300 106 0 0 20 0 15 0 117600497 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368670341776 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27720] ppid=27713 vsize=13982084 memory=1012 CPUtime=14.1 cores=1,3,5,7
/proc/27716/task/27720/stat : 27720 (java) S 27713 27716 12395 0 -1 1077944384 47239 0 0 0 1306 104 0 0 20 0 15 0 117600497 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368669288976 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27721] ppid=27713 vsize=13982084 memory=1228 CPUtime=14.05 cores=1,3,5,7
/proc/27716/task/27721/stat : 27721 (java) S 27713 27716 12395 0 -1 1077944384 53303 0 0 0 1300 105 0 0 20 0 15 0 117600497 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368668236176 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27722] ppid=27713 vsize=13982084 memory=1992 CPUtime=14.02 cores=1,3,5,7
/proc/27716/task/27722/stat : 27722 (java) S 27713 27716 12395 0 -1 1077944384 55972 0 0 0 1294 108 0 0 20 0 15 0 117600497 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368667183376 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27723] ppid=27713 vsize=13982084 memory=-8774313645642428999 CPUtime=1.89 cores=1,3,5,7
/proc/27716/task/27723/stat : 27723 (java) S 27713 27716 12395 0 -1 1077944384 17847 0 0 0 183 6 0 0 20 0 15 0 117600499 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368228641648 140368750938754 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27724] ppid=27713 vsize=13982084 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27724/stat : 27724 (java) S 27713 27716 12395 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 117600499 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368227587680 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27725] ppid=27713 vsize=13982084 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27725/stat : 27725 (java) S 27713 27716 12395 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 117600499 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368226534784 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27726] ppid=27713 vsize=13982084 memory=12132 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27726/stat : 27726 (java) S 27713 27716 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600502 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368225483088 140368750946203 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27727] ppid=27713 vsize=13982084 memory=796 CPUtime=4.18 cores=1,3,5,7
/proc/27716/task/27727/stat : 27727 (java) S 27713 27716 12395 0 -1 1077944384 25477 0 0 0 415 3 0 0 20 0 15 0 117600502 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368224430448 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27728] ppid=27713 vsize=13982084 memory=5784 CPUtime=3.92 cores=1,3,5,7
/proc/27716/task/27728/stat : 27728 (java) S 27713 27716 12395 0 -1 1077944384 22711 0 0 0 389 3 0 0 20 0 15 0 117600502 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368223377648 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27729] ppid=27713 vsize=13982084 memory=4612 CPUtime=1.17 cores=1,3,5,7
/proc/27716/task/27729/stat : 27729 (java) S 27713 27716 12395 0 -1 1077944384 30062 0 0 0 114 3 0 0 20 0 15 0 117600502 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368222324848 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27730] ppid=27713 vsize=13982084 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/27716/task/27730/stat : 27730 (java) S 27713 27716 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600502 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368221272288 140368750937813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
[pid=27716/tid=27731] ppid=27713 vsize=13982084 memory=9040 CPUtime=1.44 cores=1,3,5,7
/proc/27716/task/27731/stat : 27731 (java) S 27713 27716 12395 0 -1 1077944384 2137 0 0 0 64 80 0 0 20 0 15 0 117600508 14317654016 1428598 18446744073709551615 4194304 4196468 140723987670128 140368220220592 140368750938754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 62 0 0 6293624 6294260 26775552 140723987677554 140723987677737 140723987677737 140723987681231 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 5714392 KiB

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

[startup+2467.84 s]
# the end of solver process 27716 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.15 s, system=5.95177 s

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

Child status: 143
Real time (s): 2467.84
CPU time (s): 2520.1
CPU user time (s): 2514.15
CPU system time (s): 5.95177
CPU usage (%): 102.118
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 5714392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.15
system time used= 5.95177
maximum resident set size= 5714948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 585613
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62204
involuntary context switches= 2707


# summary of solver processes directly reported to runsolver:
#   pid: 27716
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2514.15
#   total CPU system time (s): 5.95177

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1879 second user time and 23.8813 second system time

The end

Launcher Data

Begin job on node135 at 2017-08-15 02:14:18
IDJOB=4274507
IDBENCH=120574
IDSOLVER=2667
FILE ID=node135/4274507-1502756891
RUNJOBID= node135-1502658244-13745
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Hybrid 2017-07-26
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-3-fullins-5.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274507-1502756891/watcher-4274507-1502756891 -o /tmp/evaluation-result-4274507-1502756891/solver-4274507-1502756891 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13745 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1185252803 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274507-1502756891.xml

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

MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76
RANDOM SEED=1185252803

node135.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.21
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.21
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.21
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.21
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:        25772988 kB
MemAvailable:   26807904 kB
Buffers:          322284 kB
Cached:          1007844 kB
SwapCached:            0 kB
Active:          5957496 kB
Inactive:         579840 kB
Active(anon):    5207708 kB
Inactive(anon):    41324 kB
Active(file):     749788 kB
Inactive(file):   538516 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             43488 kB
Writeback:             4 kB
AnonPages:       5207408 kB
Mapped:            73068 kB
Shmem:             41656 kB
Slab:             152652 kB
SReclaimable:     124892 kB
SUnreclaim:        27760 kB
KernelStack:        3488 kB
PageTables:        15076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5911848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5054464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61948 MiB
End job on node135 at 2017-08-15 02:55:26