Trace number 4312121

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 - Conflict Ordering with restarts 2018-08-17SAT (TO)1470 252.057 238.047

General information on the benchmark

NameGraphColoring/
GraphColoring-3-fullins-5_c18.xml
MD5SUM51dc9de19dcdd21b605810f9d7307a76
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark251.941
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.67/0.55	c version: 2018-08-17
0.67/0.56	c seed: 606398564
0.67/0.56	c timeout: 252
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 1
0.67/0.58	c Parsing instance...
17.08/8.16	c Parsing done, starting search...
18.63/9.02	o 2029
19.59/9.70	o 2028
23.35/11.22	o 2027
23.70/11.54	o 2026
24.74/12.51	o 2025
24.87/12.63	o 2024
25.42/13.14	o 2023
26.11/13.81	o 2022
26.61/14.36	o 2021
27.49/15.14	o 2020
27.49/15.19	o 2019
27.95/15.58	o 2018
28.85/16.44	o 2016
30.15/17.74	o 2015
30.25/17.80	o 2014
30.35/17.96	o 2013
31.46/19.05	o 2012
31.66/19.25	o 2011
32.76/20.36	o 2010
32.76/20.38	o 2005
34.07/21.65	o 2004
34.17/21.75	o 2003
34.78/22.34	o 2002
35.38/22.97	o 2001
35.78/23.32	o 2000
36.69/24.29	o 1999
36.82/24.32	o 1996
36.93/24.45	o 1995
38.07/25.59	o 1994
38.68/26.14	o 1993
39.37/26.88	o 1989
39.87/27.39	o 1987
40.69/28.19	o 1984
42.04/29.49	o 1983
42.88/29.91	o 1982
43.69/30.79	o 1981
43.80/30.83	o 1980
44.30/31.32	o 1979
45.07/32.10	o 1978
45.36/32.33	o 1977
45.57/32.53	o 1976
45.77/32.80	o 1975
46.47/33.40	o 1974
46.47/33.45	o 1973
47.79/34.71	o 1972
48.29/35.22	o 1971
48.39/35.35	o 1970
49.10/36.01	o 1969
49.39/36.35	o 1967
49.69/36.62	o 1965
50.39/37.32	o 1964
50.79/37.74	o 1963
51.69/38.62	o 1962
51.89/38.81	o 1961
52.99/39.93	o 1960
53.39/40.39	o 1959
53.59/40.58	o 1958
54.30/41.23	o 1957
54.40/41.34	o 1954
54.60/41.55	o 1953
55.60/42.54	o 1950
56.90/43.84	o 1947
57.11/44.10	o 1946
58.22/45.14	o 1944
58.81/45.71	o 1943
59.51/46.44	o 1940
60.81/47.75	o 1939
61.31/48.25	o 1938
62.12/49.05	o 1937
62.51/49.41	o 1936
63.63/50.42	o 1933
63.73/50.50	o 1932
64.93/51.70	o 1930
65.24/52.05	o 1929
65.43/52.23	o 1928
66.14/52.97	o 1926
66.74/53.56	o 1924
67.44/54.28	o 1923
68.04/54.83	o 1922
68.04/54.90	o 1920
68.74/55.58	o 1919
69.14/55.95	o 1918
70.04/56.88	o 1917
70.54/57.37	o 1916
70.74/57.57	o 1915
71.35/58.18	o 1914
71.85/58.64	o 1913
72.65/59.48	o 1912
73.15/59.94	o 1910
73.95/60.79	o 1908
75.26/62.10	o 1907
75.75/62.56	o 1906
75.95/62.74	o 1905
76.65/63.41	o 1904
77.15/63.92	o 1903
77.95/64.73	o 1902
78.15/65.00	o 1901
79.26/66.02	o 1900
79.76/66.53	o 1899
79.86/66.64	o 1898
80.56/67.32	o 1896
81.86/68.62	o 1892
82.51/69.24	o 1891
82.61/69.31	o 1890
83.21/69.92	o 1889
83.51/70.26	o 1886
84.51/71.22	o 1885
84.81/71.50	o 1884
84.81/71.52	o 1882
85.81/72.53	o 1881
85.91/72.66	o 1879
87.11/73.83	o 1878
87.51/74.22	o 1877
88.42/75.14	o 1876
88.92/75.65	o 1873
89.73/76.44	o 1872
90.23/76.99	o 1871
91.03/77.75	o 1870
91.44/78.16	o 1863
91.54/78.24	o 1862
92.35/79.05	o 1859
93.64/80.36	o 1857
93.94/80.64	o 1855
94.24/80.92	o 1854
94.95/81.66	o 1853
95.46/82.15	o 1852
96.25/82.96	o 1851
96.55/83.28	o 1850
97.55/84.27	o 1847
98.15/84.83	o 1846
98.15/84.85	o 1845
98.85/85.57	o 1844
99.25/85.91	o 1843
100.15/86.87	o 1842
100.55/87.24	o 1841
101.51/88.18	o 1840
102.00/88.63	o 1839
102.80/89.48	o 1838
103.30/89.93	o 1837
103.41/90.07	o 1836
104.10/90.79	o 1831
104.20/90.87	o 1829
105.41/92.10	o 1827
105.51/92.17	o 1826
106.81/93.40	o 1825
107.01/93.64	o 1823
108.11/94.71	o 1822
108.31/94.96	o 1821
109.42/96.01	o 1818
109.52/96.19	o 1817
109.81/96.43	o 1816
110.71/97.31	o 1815
110.71/97.32	o 1814
112.01/98.62	o 1812
112.21/98.83	o 1811
113.31/99.92	o 1810
113.52/100.15	o 1809
114.01/100.60	o 1808
114.61/101.24	o 1806
114.71/101.39	o 1805
114.81/101.46	o 1804
115.91/102.54	o 1802
116.11/102.76	o 1801
116.61/103.20	o 1800
117.21/103.84	o 1798
117.81/104.41	o 1796
118.53/105.15	o 1795
118.82/105.46	o 1794
118.92/105.59	o 1792
119.82/106.45	o 1790
120.53/107.12	o 1789
121.18/107.78	o 1787
122.49/109.06	o 1786
122.49/109.09	o 1784
122.88/109.40	o 1783
123.08/109.63	o 1782
123.81/110.37	o 1781
124.21/110.74	o 1780
125.11/111.68	o 1778
125.52/112.08	o 1777
125.81/112.31	o 1776
126.41/112.98	o 1775
126.81/113.38	o 1774
127.71/114.29	o 1773
128.11/114.62	o 1772
128.31/114.80	o 1771
129.01/115.59	o 1770
129.31/115.89	o 1769
129.41/115.94	o 1768
130.31/116.90	o 1767
130.41/116.93	o 1766
130.92/117.48	o 1765
131.72/118.20	o 1763
131.82/118.38	o 1762
131.82/118.39	o 1761
133.02/119.50	o 1759
133.12/119.63	o 1758
134.32/120.81	o 1757
134.63/121.15	o 1756
134.92/121.45	o 1753
135.63/122.12	o 1752
136.02/122.50	o 1750
136.92/123.42	o 1747
138.22/124.73	o 1746
138.63/125.14	o 1745
138.63/125.16	o 1744
139.53/126.03	o 1743
139.92/126.47	o 1742
139.92/126.49	o 1741
140.87/127.35	o 1740
141.17/127.63	o 1738
141.48/127.91	o 1737
141.48/127.97	o 1736
142.18/128.63	o 1735
142.28/128.73	o 1734
143.48/129.94	o 1733
143.98/130.41	o 1732
144.78/131.24	o 1731
145.18/131.65	o 1729
145.28/131.72	o 1727
146.08/132.55	o 1726
146.28/132.74	o 1724
146.48/132.93	o 1722
147.38/133.85	o 1721
147.69/134.17	o 1720
148.69/135.16	o 1718
148.88/135.31	o 1717
149.98/136.46	o 1716
150.28/136.78	o 1715
151.29/137.77	o 1714
151.39/137.90	o 1712
152.60/139.07	o 1711
152.79/139.26	o 1710
153.09/139.51	o 1709
153.89/140.37	o 1708
154.09/140.58	o 1707
154.09/140.59	o 1706
155.19/141.69	o 1705
155.70/142.16	o 1704
156.49/142.98	o 1703
156.99/143.49	o 1702
157.79/144.29	o 1701
158.29/144.76	o 1700
158.50/144.93	o 1699
159.09/145.59	o 1698
159.30/145.73	o 1696
160.56/146.91	o 1694
161.86/148.20	o 1693
162.16/148.57	o 1692
163.16/149.51	o 1690
163.36/149.76	o 1687
163.46/149.84	o 1685
164.46/150.80	o 1684
164.56/150.95	o 1682
164.67/151.05	o 1681
165.77/152.11	o 1679
166.37/152.75	o 1678
167.07/153.41	o 1676
167.07/153.44	o 1675
167.17/153.50	o 1674
167.27/153.66	o 1673
168.36/154.71	o 1671
169.67/156.03	o 1670
170.06/156.45	o 1669
170.26/156.60	o 1668
170.96/157.33	o 1667
171.36/157.71	o 1666
171.56/157.95	o 1665
172.26/158.63	o 1664
172.67/159.07	o 1663
173.56/159.93	o 1662
174.07/160.43	o 1661
174.87/161.24	o 1660
175.17/161.58	o 1659
176.17/162.54	o 1657
177.47/163.85	o 1656
177.68/164.03	o 1655
177.68/164.08	o 1654
178.07/164.47	o 1652
178.78/165.15	o 1650
179.17/165.50	o 1649
180.07/166.46	o 1647
180.07/166.46	o 1646
180.17/166.52	o 1644
180.37/166.75	o 1642
180.37/166.79	o 1641
181.43/167.75	o 1640
181.43/167.78	o 1639
182.74/169.07	o 1638
183.03/169.37	o 1635
183.33/169.68	o 1634
184.04/170.37	o 1633
184.14/170.46	o 1631
184.44/170.75	o 1630
185.34/171.67	o 1629
185.75/172.06	o 1627
185.94/172.20	o 1626
185.94/172.22	o 1625
186.64/172.97	o 1623
187.14/173.42	o 1619
187.94/174.28	o 1618
188.14/174.43	o 1617
189.24/175.59	o 1616
189.44/175.78	o 1614
189.64/175.94	o 1613
190.54/176.89	o 1612
190.94/177.27	o 1609
191.85/178.19	o 1607
192.34/178.70	o 1606
192.54/178.81	o 1605
193.24/179.50	o 1604
193.44/179.75	o 1603
193.64/179.90	o 1602
194.54/180.80	o 1600
194.64/180.98	o 1599
195.85/182.11	o 1597
197.14/183.41	o 1595
197.75/184.02	o 1594
198.44/184.71	o 1593
198.54/184.85	o 1592
198.64/184.97	o 1588
199.75/186.02	o 1587
200.04/186.38	o 1586
201.04/187.33	o 1585
201.24/187.55	o 1584
202.40/188.66	o 1583
202.91/189.14	o 1581
203.70/189.93	o 1580
204.00/190.24	o 1579
205.00/191.23	o 1578
205.00/191.27	o 1577
206.31/192.54	o 1576
206.51/192.72	o 1574
206.82/193.06	o 1573
206.92/193.18	o 1572
207.61/193.84	o 1571
208.01/194.27	o 1570
208.92/195.14	o 1569
209.11/195.33	o 1568
210.21/196.45	o 1567
210.41/196.61	o 1566
210.51/196.71	o 1565
211.51/197.75	o 1563
212.82/199.05	o 1562
213.31/199.51	o 1561
213.41/199.66	o 1560
214.11/200.36	o 1559
214.41/200.63	o 1558
215.41/201.67	o 1557
215.61/201.82	o 1556
216.01/202.26	o 1555
216.71/202.97	o 1554
216.92/203.19	o 1553
217.31/203.50	o 1552
218.01/204.27	o 1549
218.31/204.58	o 1548
219.32/205.57	o 1547
219.42/205.66	o 1545
219.72/205.98	o 1544
220.62/206.87	o 1540
221.93/208.18	o 1539
222.42/208.61	o 1535
223.38/209.51	o 1533
224.58/210.79	o 1532
224.78/210.98	o 1531
225.89/212.10	o 1530
226.28/212.46	o 1529
227.18/213.39	o 1528
227.28/213.48	o 1527
228.58/214.72	o 1526
228.88/215.09	o 1525
229.08/215.25	o 1521
229.18/215.34	o 1520
229.89/216.01	o 1519
230.18/216.30	o 1518
230.28/216.46	o 1517
231.18/217.32	o 1516
231.58/217.77	o 1515
231.78/217.97	o 1513
232.49/218.62	o 1512
232.59/218.70	o 1510
233.79/219.93	o 1509
233.79/219.99	o 1508
235.09/221.23	o 1505
236.39/222.54	o 1504
236.69/222.80	o 1503
236.69/222.84	o 1502
236.69/222.89	o 1500
237.01/223.13	o 1499
237.70/223.84	o 1498
238.01/224.20	o 1497
239.01/225.14	o 1496
239.40/225.52	o 1494
239.40/225.57	o 1493
240.30/226.45	o 1492
240.40/226.53	o 1491
240.80/226.97	o 1490
241.60/227.75	o 1489
241.70/227.82	o 1487
242.91/229.04	o 1486
243.30/229.44	o 1485
244.29/230.38	o 1483
245.60/231.67	o 1482
246.00/232.08	o 1480
246.90/232.96	o 1479
246.90/232.99	o 1478
248.20/234.27	o 1477
248.60/234.62	o 1476
248.80/234.89	o 1475
248.90/234.91	o 1474
249.49/235.58	o 1472
250.79/236.88	o 1471
251.29/237.35	o 1470
252.00/238.01	s SATISFIABLE
252.00/238.01	v <instantiation>
252.00/238.01	v 	<list>
252.00/238.01	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]
252.00/238.01	v 	</list>
252.00/238.01	v 	<values>
252.00/238.01	v 		1030 154 1101 1179 1390 357 929 1265 839 940 387 50 1346 1019 1040 686 1361 114 908 320 409 1027 924 1370 1007 1347 819 1153 634 411 107 1288 1000 1035 1211 572 14 521 656 996 767 1226 728 170 853 957 1262 696 355 882 1114 1269 766 275 94 520 1020 952 1017 521 368 410 891 859 1265 607 1166 56 42 707 640 1089 813 868 614 1167 347 497 1052 1309 120 878 1039 1285 938 390 242 350 404 1213 812 319 379 913 1058 284 1155 1136 462 711 1350 822 379 1422 857 847 431 1344 1013 941 955 406 1265 1288 1379 241 619 1451 1185 767 284 1287 382 881 1339 4 500 316 340 871 1012 136 736 768 893 420 1291 1440 1397 783 167 1295 647 564 1363 983 997 665 675 111 870 1428 187 244 155 119 629 851 7 739 875 540 923 950 999 386 189 8 282 29 72 1391 630 1092 509 322 316 412 1045 1231 94 5 431 1113 1224 153 424 681 839 1455 304 845 320 376 94 1282 402 1153 1450 489 1238 741 1429 670 767 634 1156 29 1387 883 1431 1380 1276 1336 901 120 388 137 1129 275 305 85 1023 1149 90 401 225 1362 928 657 88 121 1184 952 914 1448 858 263 840 1155 215 74 1199 1126 1003 845 1422 718 892 854 1215 618 593 14 1187 584 998 312 1383 258 114 327 790 539 326 1066 863 1199 1438 934 848 1289 291 562 275 294 1267 1306 1008 290 1290 517 1308 573 1398 1139 694 963 668 435 984 930 746 504 416 1070 1350 882 55 1255 1291 1043 862 628 471 145 771 168 1212 277 909 1392 988 587 350 316 1010 901 35 486 228 701 215 35 890 448 59 920 1130 795 223 959 186 365 1016 840 970 1184 139 647 713 954 538 869 867 1039 11 497 544 1359 419 371 674 707 1192 139 431 1266 1276 542 240 855 764 1361 543 1151 64 752 1255 1447 256 836 1072 1035 763 217 97 743 365 1132 792 534 1147 1254 14 559 437 688 626 418 838 1057 1088 82 925 914 903 542 556 222 944 597 1108 491 111 376 228 378 581 1112 52 183 932 365 696 21 607 89 210 992 891 849 623 990 632 567 459 236 802 1242 948 947 847 751 458 442 559 605 600 503 86 1020 979 964 1334 676 883 1330 55 534 791 1289 442 330 788 1294 322 761 670 1468 743 98 733 1375 595 1055 1191 1162 1115 725 846 558 1418 915 1255 1092 26 293 1108 686 50 1404 1403 1395 190 467 1115 604 75 1207 366 569 1435 871 1448 1384 592 82 539 291 89 472 1147 106 986 982 129 63 1227 823 453 685 438 143 878 918 383 661 187 356 1102 984 372 1281 1270 848 449 499 1451 292 937 1366 82 938 765 552 396 837 658 652 454 145 748 1034 481 51 962 1301 687 650 1006 1026 1363 1289 827 1138 432 596 957 712 1259 805 539 1038 1172 312 885 1438 791 952 830 288 757 198 138 454 1420 594 1077 174 453 597 1157 839 1063 453 528 1296 837 765 30 442 1150 1464 707 902 287 1010 997 1339 872 58 185 976 1121 271 1307 255 785 508 1443 1007 121 909 867 1100 1137 636 88 701 1214 806 1020 581 354 857 1336 208 1013 327 860 181 400 363 1092 410 92 509 340 817 460 1158 879 165 588 1222 83 1393 1039 1102 585 557 101 817 28 726 687 225 1291 699 127 41 1436 816 430 854 1101 1109 1140 1431 116 919 820 839 373 896 289 1412 1411 307 955 1465 928 434 1205 280 935 764 1134 389 1273 266 818 977 665 100 1187 994 821 948 1408 1053 444 269 778 983 1234 766 938 929 1457 638 1383 1257 24 857 1034 110 178 800 80 1404 235 1269 748 697 203 162 662 1007 840 327 640 664 1423 794 1272 1402 437 590 375 831 1456 82 707 544 594 300 741 580 868 532 263 22 17 1128 637 278 1363 1332 780 214 706 1006 16 152 445 1121 931 247 304 579 622 1199 1414 520 466 297 97 1148 19 1377 538 729 1384 951 711 52 782 54 1155 512 292 1228 438 843 672 154 1356 1040 894 370 816 954 636 286 1205 182 423 995 1453 1217 909 84 399 502 746 1069 1459 1291 139 644 719 983 393 255 1121 448 696 23 1169 89 638 641 782 136 1324 1276 631 1119 880 106 1018 744 622 490 1178 238 128 70 1292 1032 887 640 638 159 1051 1258 1037 1207 1231 599 133 362 198 619 414 813 275 708 1225 628 46 1334 931 397 1270 1059 273 739 377 1183 220 295 338 1184 1317 1273 1169 1110 803 920 886 946 1338 441 1420 24 1152 1466 715 1159 517 414 440 279 3 524 245 128 408 1433 1452 474 1287 953 403 1287 867 416 547 773 142 438 42 714 939 1074 790 2 829 1192 419 441 1324 577 577 1187 592 178 355 1430 534 214 987 791 611 1021 322 855 298 882 727 1299 1174 961 651 1017 985 1019 243 372 1014 640 982 1145 576 347 1155 278 842 1263 604 1003 319 1023 764 1297 1111 100 1305 1209 1044 1459 762 572 1310 655 1059 211 834 1208 368 116 1218 517 116 766 1094 384 966 1338 1198 1012 609 220 1327 1220 666 611 568 146 1072 1444 671 414 786 536 566 867 143 1 448 968 624 572 1113 336 46 980 1428 872 746 1272 1328 832 1222 681 91 795 878 754 657 1071 918 1208 439 37 1234 876 449 132 298 1410 647 95 995 839 411 1369 243 1051 715 509 430 641 1435 818 719 144 446 702 1402 928 285 548 428 802 322 879 329 1017 1289 99 576 388 904 375 1458 1202 1030 590 292 709 641 736 1075 811 378 888 308 1266 848 1055 360 978 457 793 670 1370 1287 181 1137 153 93 1439 717 808 290 1342 74 553 1286 355 746 873 1259 705 181 832 73 618 1284 26 1391 369 338 1177 882 869 483 559 362 1247 104 1030 1224 196 1187 668 52 835 1359 478 234 896 811 907 1216 1432 996 179 94 1200 27 810 1180 40 1221 818 1314 346 451 863 1137 1144 652 1053 539 41 406 1092 1058 1108 362 1254 1265 670 1168 485 395 1 1032 111 1111 1451 964 531 238 1359 119 1006 228 646 228 348 1152 541 434 1116 434 1373 575 1326 436 773 149 708 712 715 1149 1263 653 487 1470 428 734 46 0 902 376 789 1091 175 56 577 1002 1157 22 1127 1392 342 1106 128 1219 295 959 1379 1261 360 94 789 1206 295 425 1340 336 537 487 635 1450 1431 1344 410 1219 166 174 1140 1463 1243 1055 989 1115 636 589 74 619 387 1143 26 273 934 66 169 1418 819 1443 82 69 1000 608 1424 837 48 1458 1253 1152 58 1020 1298 246 1375 384 1310 260 336 1298 378 425 301 675 585 921 1251 1070 458 1381 127 284 1009 488 1219 158 1166 190 21 118 299 1037 1092 56 635 180 380 1278 312 1014 364 513 1156 832 1078 1085 21 510 1142 551 1126 856 1319 1361 578 71 1403 678 138 362 751 865 1071 691 645 320 1299 329 1250 835 1158 489 330 366 1299 143 371 449 8 1437 644 412 764 570 1300 788 342 10 263 217 640 257 467 115 1255 938 1179 561 474 1193 338 482 729 798 1141 1227 293 409 192 1367 1337 228 1262 1268 1369 405 873 478 503 121 793 352 1113 309 156 912 1257 1358 1420 335 1445 483 383 819 963 1019 1453 842 114 102 734 296 75 547 1185 956 993 1221 24 1184 1131 1050 1310 716 426 1349 1032 904 219 34 1159 1185 182 294 1182 817 307 1348 713 1177 691 1121 430 218 1057 285 1057 1234 632 1408 1106 1423 260 1034 975 78 29 644 453 1356 114 189 891 270 137 1243 1338 320 255 636 740 472 784 784 292 1058 1298 397 344 61 251 775 1074 1128 405 1000 21 1424 87 1451 554 282 1393 1319 184 144 65 208 730 900 1073 651 1076 108 563 606 564 935 451 1303 814 984 527 1358 1014 956 404 796 1257 100 228 1225 461 1427 146 1225 865 1010 754 896 1206 1360 1447 1142 716 159 454 155 259 798 649 1104 141 311 55 1107 651 334 947 537 758 960 708 720 1102 701 231 73 601 464 1335 1066 318 364 140 984 161 609 639 926 528 561 419 1363 692 64 128 1077 135 204 95 913 68 1199 740 1225 106 1368 728 350 323 1245 916 1051 102 1300 1172 1408 153 528 1313 117 1364 863 1210 869 16 324 546 115 319 1178 1110 902 1101 1055 65 707 1297 1112 165 822 792 782 167 865 234 759 1126 792 191 1448 461 925 820 96 1172 1408 94 466 941 1150 357 1273 362 1317 1202 676 999 1228 1096 751 277 524 1178 744 193 772 238 291 166 997 386 1029 796 1021 3 717 1316 66 701 541 623 658 1012 406 1341 1459 1098 610 1219 944 1115 237 1120 635 23 465 1324 1160 239 974 478 975 1142 1221 433 743 749 818 346 74 1309 67 117 292 915 1291 1047 1461 376 535 228 1470 1158 1235 1428 1059 216 1136 430 142 1139 47 262 753 1146 246 1459 1430 431 18 640 1353 1296 1143 512 1245 767 94 1286 1295 289 1088 831 895 9 729 515 553 1425 351 975 783 465 315 861 51 511 912 780 621 308 96 680 833 440 27 1414 722 547 488 407 745 747 1244 553 1006 393 257 1309 41 550 215 813 873 1181 1462 595 224 1018 238 424 710 650 584 941 712 1217 510 1348 1035 308 309 1314 147 1203 369 399 456 538 670 703 1368 363 52 785 196 1341 1369 39 1470 452 466 262 219 646 82 211 876 358 1391 764 1153 1011 748 1337 650 122 435 421 109 906 764 1221 692 411 687 49 1411 276 270 975 1215 1381 1326 623 1428 953 24 1396 1419 927 103 723 341 752 515 228 1067 982 318 1042 367 136 213 1253 476 62 0 93 988 418 216 1059 1232 215 526 810 1201 821 1039 971 326 742 215 133 1399 1201 123 1305 652 510 484 688 946 456 619 1153 1319 353 773 96 459 1269 18 1124 359 1222 647 1092 1343 498 1220 1113 1305 1050 1449 8 1093 469 333 1124 480 255 1105 1370 29 1019 134 308 552 789 287 353 513 399 1076 280 1360 516 1329 350 173 913 1077 1310 1007 1204 185 777 1183 182 377 855 214 1013 1379 907 1207 45 1220 146 320 446 67 878 566 541 63 1353 666 1303 1440 864 413 320 978 542 1296 392 758 312 1053 1200 1126 878 85 1238 390 1469 328 788 
252.00/238.01	v 	</values>
252.00/238.01	v </instantiation>

Verifier Data 

OK	1470

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312121-1534569065/watcher-4312121-1534569065 -o /tmp/evaluation-result-4312121-1534569065/solver-4312121-1534569065 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534568574-10485 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 606398564 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312121-1534569065.xml 

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

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

solver pid=10858, runsolver pid=10855

[startup+0.100163 s]*
/proc/loadavg: 1.88 1.56 1.25 3/215 10873
/proc/meminfo: memFree=28034908/32770624 swapFree=67108796/67108860
[pid=10858] ppid=10855 vsize=14082736 memory=30572 CPUtime=0.11 cores=0,2,4,6
/proc/10858/stat : 10858 (java) S 10855 10858 7499 0 -1 1077944320 6554 0 0 0 11 0 0 0 20 0 15 0 274469669 14420721664 7643 33554432000 4194304 4196468 140726929875360 140726929857904 140482248957687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
/proc/10858/statm: 3520684 7643 3155 1 0 3482761 0
[pid=10858/tid=10860] ppid=10855 vsize=14082736 memory=-8773748148830244478 CPUtime=0.09 cores=0,2,4,6
/proc/10858/task/10860/stat : 10860 (java) R 10855 10858 7499 0 -1 4202560 4590 0 0 0 9 0 0 0 20 0 15 0 274469670 14420721664 7643 33554432000 4194304 4196468 140726929875360 140482253178528 140482233038174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10861] ppid=10855 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10861/stat : 10861 (java) S 10855 10858 7499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274469670 14420721664 7643 33554432000 4194304 4196468 140726929875360 140482207718288 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10862] ppid=10855 vsize=14082736 memory=140477174650496 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10862/stat : 10862 (java) S 10855 10858 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274469670 14420721664 7643 33554432000 4194304 4196468 140726929875360 140481843772176 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10863] ppid=10855 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10863/stat : 10863 (java) S 10855 10858 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274469670 14420721664 7643 33554432000 4194304 4196468 140726929875360 140481842719888 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10864] ppid=10855 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10864/stat : 10864 (java) S 10855 10858 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274469670 14420721664 7643 33554432000 4194304 4196468 140726929875360 140481841667088 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10865] ppid=10855 vsize=14082736 memory=140477174650496 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10865/stat : 10865 (java) S 10855 10858 7499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274469672 14420721664 7643 33554432000 4194304 4196468 140726929875360 140481363388528 140482248968834 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10866] ppid=10855 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10866/stat : 10866 (java) S 10855 10858 7499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274469672 14420721664 7643 33554432000 4194304 4196468 140726929875360 140481362334496 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10867] ppid=10855 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10867/stat : 10867 (java) S 10855 10858 7499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274469672 14420721664 7643 33554432000 4194304 4196468 140726929875360 140481361282160 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10868] ppid=10855 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10868/stat : 10868 (java) S 10855 10858 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274469675 14420721664 7643 33554432000 4194304 4196468 140726929875360 140481360230480 140482248976283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10869] ppid=10855 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10869/stat : 10869 (java) S 10855 10858 7499 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 274469675 14420721664 7643 33554432000 4194304 4196468 140726929875360 140481359178352 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10870] ppid=10855 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10870/stat : 10870 (java) S 10855 10858 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274469675 14420721664 7643 33554432000 4194304 4196468 140726929875360 140481358125552 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10871] ppid=10855 vsize=14082736 memory=140477174650496 CPUtime=0.01 cores=0,2,4,6
/proc/10858/task/10871/stat : 10871 (java) R 10855 10858 7499 0 -1 4202560 294 0 0 0 1 0 0 0 20 0 15 0 274469675 14420721664 7643 33554432000 4194304 4196468 140726929875360 140481357073264 140482248969622 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10872] ppid=10855 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10872/stat : 10872 (java) S 10855 10858 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274469675 14420721664 7643 33554432000 4194304 4196468 140726929875360 140481356020704 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10873] ppid=10855 vsize=14082736 memory=140477174650496 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10873/stat : 10873 (java) S 10855 10858 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274469675 14420721664 7643 33554432000 4194304 4196468 140726929875360 140481354967472 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30572 KiB

[startup+0.215252 s]*
/proc/loadavg: 1.88 1.56 1.25 5/215 10873
/proc/meminfo: memFree=28018256/32770624 swapFree=67108796/67108860
[pid=10858] ppid=10855 vsize=14082736 memory=47212 CPUtime=0.32 cores=0,2,4,6
/proc/10858/stat : 10858 (java) S 10855 10858 7499 0 -1 1077944320 10423 0 0 0 30 2 0 0 20 0 15 0 274469669 14420721664 11803 33554432000 4194304 4196468 140726929875360 140726929857904 140482248957687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
/proc/10858/statm: 3520684 11803 3383 1 0 3482761 0
[pid=10858/tid=10860] ppid=10855 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/10858/task/10860/stat : 10860 (java) R 10855 10858 7499 0 -1 4202560 8097 0 0 0 19 1 0 0 20 0 15 0 274469670 14420721664 11803 33554432000 4194304 4196468 140726929875360 140482253183504 140482248969622 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10861] ppid=10855 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10861/stat : 10861 (java) S 10855 10858 7499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274469670 14420721664 11803 33554432000 4194304 4196468 140726929875360 140482207718288 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10862] ppid=10855 vsize=14082736 memory=3834172914582427296 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10862/stat : 10862 (java) S 10855 10858 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274469670 14420721664 11803 33554432000 4194304 4196468 140726929875360 140481843772176 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10863] ppid=10855 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10863/stat : 10863 (java) S 10855 10858 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274469670 14420721664 11803 33554432000 4194304 4196468 140726929875360 140481842719888 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10864] ppid=10855 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10864/stat : 10864 (java) S 10855 10858 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274469670 14420721664 11803 33554432000 4194304 4196468 140726929875360 140481841667088 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10865] ppid=10855 vsize=14082736 memory=140477174650496 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10865/stat : 10865 (java) S 10855 10858 7499 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274469672 14420721664 11803 33554432000 4194304 4196468 140726929875360 140481363388528 140482248968834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10866] ppid=10855 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10866/stat : 10866 (java) S 10855 10858 7499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274469672 14420721664 11803 33554432000 4194304 4196468 140726929875360 140481362334496 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10867] ppid=10855 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10867/stat : 10867 (java) S 10855 10858 7499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274469672 14420721664 11803 33554432000 4194304 4196468 140726929875360 140481361282160 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10868] ppid=10855 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10868/stat : 10868 (java) S 10855 10858 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274469675 14420721664 11803 33554432000 4194304 4196468 140726929875360 140481360230480 140482248976283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10869] ppid=10855 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10858/task/10869/stat : 10869 (java) R 10855 10858 7499 0 -1 4202560 347 0 0 0 1 0 0 0 20 0 15 0 274469675 14420721664 11803 33554432000 4194304 4196468 140726929875360 140481359178448 140482230468608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10870] ppid=10855 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10858/task/10870/stat : 10870 (java) R 10855 10858 7499 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 15 0 274469675 14420721664 11803 33554432000 4194304 4196468 140726929875360 140481358125552 140482248968834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10871] ppid=10855 vsize=14082736 memory=140477174650496 CPUtime=0.06 cores=0,2,4,6
/proc/10858/task/10871/stat : 10871 (java) R 10855 10858 7499 0 -1 4202560 349 0 0 0 6 0 0 0 20 0 15 0 274469675 14420721664 11803 33554432000 4194304 4196468 140726929875360 140481357068304 140482241194814 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10872] ppid=10855 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10872/stat : 10872 (java) S 10855 10858 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274469675 14420721664 11803 33554432000 4194304 4196468 140726929875360 140481356020704 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10873] ppid=10855 vsize=14082736 memory=140477174650496 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10873/stat : 10873 (java) S 10855 10858 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274469675 14420721664 11803 33554432000 4194304 4196468 140726929875360 140481354967472 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47212 KiB

[startup+0.310571 s]*
/proc/loadavg: 1.88 1.56 1.25 3/215 10873
/proc/meminfo: memFree=28014720/32770624 swapFree=67108796/67108860
[pid=10858] ppid=10855 vsize=14082736 memory=50704 CPUtime=0.45 cores=0,2,4,6
/proc/10858/stat : 10858 (java) S 10855 10858 7499 0 -1 1077944320 10805 0 0 0 42 3 0 0 20 0 15 0 274469669 14420721664 12676 33554432000 4194304 4196468 140726929875360 140726929857904 140482248957687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
/proc/10858/statm: 3520684 12676 3386 1 0 3482761 0
[pid=10858/tid=10860] ppid=10855 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/10858/task/10860/stat : 10860 (java) R 10855 10858 7499 0 -1 4202560 8444 0 0 0 28 2 0 0 20 0 15 0 274469670 14420721664 12676 33554432000 4194304 4196468 140726929875360 140482253167040 140482230522657 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10861] ppid=10855 vsize=14082736 memory=304556161963917335 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10861/stat : 10861 (java) S 10855 10858 7499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274469670 14420721664 12676 33554432000 4194304 4196468 140726929875360 140482207718288 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10862] ppid=10855 vsize=14082736 memory=3546785863849219744 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10862/stat : 10862 (java) S 10855 10858 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274469670 14420721664 12676 33554432000 4194304 4196468 140726929875360 140481843772176 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10863] ppid=10855 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10863/stat : 10863 (java) S 10855 10858 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274469670 14420721664 12676 33554432000 4194304 4196468 140726929875360 140481842719888 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10864] ppid=10855 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10864/stat : 10864 (java) S 10855 10858 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274469670 14420721664 12676 33554432000 4194304 4196468 140726929875360 140481841667088 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10865] ppid=10855 vsize=14082736 memory=140477174650496 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10865/stat : 10865 (java) S 10855 10858 7499 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274469672 14420721664 12676 33554432000 4194304 4196468 140726929875360 140481363388528 140482248968834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10866] ppid=10855 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10866/stat : 10866 (java) S 10855 10858 7499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274469672 14420721664 12676 33554432000 4194304 4196468 140726929875360 140481362334496 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10867] ppid=10855 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10867/stat : 10867 (java) S 10855 10858 7499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274469672 14420721664 12676 33554432000 4194304 4196468 140726929875360 140481361282160 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10868] ppid=10855 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10868/stat : 10868 (java) S 10855 10858 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274469675 14420721664 12676 33554432000 4194304 4196468 140726929875360 140481360230480 140482248976283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10869] ppid=10855 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10858/task/10869/stat : 10869 (java) S 10855 10858 7499 0 -1 1077944384 349 0 0 0 1 0 0 0 20 0 15 0 274469675 14420721664 12676 33554432000 4194304 4196468 140726929875360 140481359178352 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10870] ppid=10855 vsize=14082736 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/10858/task/10870/stat : 10870 (java) S 10855 10858 7499 0 -1 1077944384 263 0 0 0 3 0 0 0 20 0 15 0 274469675 14420721664 12676 33554432000 4194304 4196468 140726929875360 140481358125552 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10871] ppid=10855 vsize=14082736 memory=140477174650496 CPUtime=0.08 cores=0,2,4,6
/proc/10858/task/10871/stat : 10871 (java) S 10855 10858 7499 0 -1 1077944384 369 0 0 0 8 0 0 0 20 0 15 0 274469675 14420721664 12676 33554432000 4194304 4196468 140726929875360 140481357073264 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10872] ppid=10855 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10872/stat : 10872 (java) S 10855 10858 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274469675 14420721664 12676 33554432000 4194304 4196468 140726929875360 140481356020704 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10873] ppid=10855 vsize=14082736 memory=140477174650496 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10873/stat : 10873 (java) S 10855 10858 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274469675 14420721664 12676 33554432000 4194304 4196468 140726929875360 140481354967472 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50704 KiB

[startup+0.700804 s]
/proc/loadavg: 1.88 1.56 1.25 3/215 10873
/proc/meminfo: memFree=27990736/32770624 swapFree=67108796/67108860
[pid=10858] ppid=10855 vsize=14084804 memory=88824 CPUtime=1 cores=0,2,4,6
/proc/10858/stat : 10858 (java) S 10855 10858 7499 0 -1 1077944320 17635 0 0 0 95 5 0 0 20 0 15 0 274469669 14422839296 22206 33554432000 4194304 4196468 140726929875360 140726929857904 140482248957687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
/proc/10858/statm: 3521201 22206 3500 1 0 3483273 0
[pid=10858/tid=10860] ppid=10855 vsize=14084804 memory=1728 CPUtime=0.68 cores=0,2,4,6
/proc/10858/task/10860/stat : 10860 (java) R 10855 10858 7499 0 -1 4202560 14895 0 0 0 64 4 0 0 20 0 15 0 274469670 14422839296 22206 33554432000 4194304 4196468 140726929875360 140482253180880 140482248979613 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10861] ppid=10855 vsize=14084804 memory=8628 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10861/stat : 10861 (java) S 10855 10858 7499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274469670 14422839296 22206 33554432000 4194304 4196468 140726929875360 140482207718288 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10862] ppid=10855 vsize=14084804 memory=1080 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10862/stat : 10862 (java) S 10855 10858 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274469670 14422839296 22206 33554432000 4194304 4196468 140726929875360 140481843772176 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10863] ppid=10855 vsize=14084804 memory=752 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10863/stat : 10863 (java) S 10855 10858 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274469670 14422839296 22206 33554432000 4194304 4196468 140726929875360 140481842719888 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10864] ppid=10855 vsize=14084804 memory=796 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10864/stat : 10864 (java) S 10855 10858 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274469670 14422839296 22206 33554432000 4194304 4196468 140726929875360 140481841667088 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10865] ppid=10855 vsize=14084804 memory=1592 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10865/stat : 10865 (java) S 10855 10858 7499 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274469672 14422839296 22206 33554432000 4194304 4196468 140726929875360 140481363388528 140482248968834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10866] ppid=10855 vsize=14084804 memory=3780 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10866/stat : 10866 (java) S 10855 10858 7499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274469672 14422839296 22206 33554432000 4194304 4196468 140726929875360 140481362334496 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10867] ppid=10855 vsize=14084804 memory=3140 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10867/stat : 10867 (java) S 10855 10858 7499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274469672 14422839296 22206 33554432000 4194304 4196468 140726929875360 140481361282160 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10868] ppid=10855 vsize=14084804 memory=7302135314614015845 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10868/stat : 10868 (java) S 10855 10858 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274469675 14422839296 22206 33554432000 4194304 4196468 140726929875360 140481360230480 140482248976283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10869] ppid=10855 vsize=14084804 memory=8099279071866868845 CPUtime=0.06 cores=0,2,4,6
/proc/10858/task/10869/stat : 10869 (java) S 10855 10858 7499 0 -1 1077944384 516 0 0 0 6 0 0 0 20 0 15 0 274469675 14422839296 22206 33554432000 4194304 4196468 140726929875360 140481359178352 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10870] ppid=10855 vsize=14084804 memory=6154282490091891024 CPUtime=0.08 cores=0,2,4,6
/proc/10858/task/10870/stat : 10870 (java) S 10855 10858 7499 0 -1 1077944384 401 0 0 0 8 0 0 0 20 0 15 0 274469675 14422839296 22206 33554432000 4194304 4196468 140726929875360 140481358125552 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10871] ppid=10855 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/10858/task/10871/stat : 10871 (java) S 10855 10858 7499 0 -1 1077944384 443 0 0 0 15 0 0 0 20 0 15 0 274469675 14422839296 22206 33554432000 4194304 4196468 140726929875360 140481357073264 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10872] ppid=10855 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10872/stat : 10872 (java) S 10855 10858 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274469675 14422839296 22206 33554432000 4194304 4196468 140726929875360 140481356020704 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10873] ppid=10855 vsize=14084804 memory=33 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10873/stat : 10873 (java) S 10855 10858 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274469675 14422839296 22206 33554432000 4194304 4196468 140726929875360 140481354967472 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88824 KiB

[startup+1.50099 s]
/proc/loadavg: 1.88 1.56 1.25 5/215 10873
/proc/meminfo: memFree=27931888/32770624 swapFree=67108796/67108860
[pid=10858] ppid=10855 vsize=14086852 memory=236908 CPUtime=3.58 cores=0,2,4,6
/proc/10858/stat : 10858 (java) S 10855 10858 7499 0 -1 1077944320 22342 0 0 0 347 11 0 0 20 0 15 0 274469669 14424936448 59227 33554432000 4194304 4196468 140726929875360 140726929857904 140482248957687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
/proc/10858/statm: 3521713 59227 3573 1 0 3483785 0
[pid=10858/tid=10860] ppid=10855 vsize=14086852 memory=6791534058613427641 CPUtime=1.44 cores=0,2,4,6
/proc/10858/task/10860/stat : 10860 (java) R 10855 10858 7499 0 -1 4202560 15670 0 0 0 138 6 0 0 20 0 15 0 274469670 14424936448 59227 33554432000 4194304 4196468 140726929875360 140482253193232 140482230826225 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10861] ppid=10855 vsize=14086852 memory=-8754540793456063680 CPUtime=0.02 cores=0,2,4,6
/proc/10858/task/10861/stat : 10861 (java) S 10855 10858 7499 0 -1 1077944384 97 0 0 0 2 0 0 0 20 0 15 0 274469670 14424936448 59227 33554432000 4194304 4196468 140726929875360 140482207718288 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10862] ppid=10855 vsize=14086852 memory=-2843869621055772062 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10862/stat : 10862 (java) S 10855 10858 7499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274469670 14424936448 59227 33554432000 4194304 4196468 140726929875360 140481843772176 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10863] ppid=10855 vsize=14086852 memory=5450919713671312938 CPUtime=0.01 cores=0,2,4,6
/proc/10858/task/10863/stat : 10863 (java) S 10855 10858 7499 0 -1 1077944384 288 0 0 0 1 0 0 0 20 0 15 0 274469670 14424936448 59227 33554432000 4194304 4196468 140726929875360 140481842719888 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10864] ppid=10855 vsize=14086852 memory=7077795359591905642 CPUtime=0.01 cores=0,2,4,6
/proc/10858/task/10864/stat : 10864 (java) S 10855 10858 7499 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 15 0 274469670 14424936448 59227 33554432000 4194304 4196468 140726929875360 140481841667088 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10865] ppid=10855 vsize=14086852 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10865/stat : 10865 (java) S 10855 10858 7499 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 15 0 274469672 14424936448 59227 33554432000 4194304 4196468 140726929875360 140481363388528 140482248968834 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0

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

/proc/10858/task/10860/stat : 10860 (java) R 10855 10858 7499 0 -1 4202560 62255 0 0 0 9959 43 0 0 20 0 15 0 274469670 14429130752 1233462 33554432000 4194304 4196468 140726929875360 140482253187056 140481896030544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10861] ppid=10855 vsize=14090948 memory=4933848 CPUtime=2.07 cores=0,2,4,6
/proc/10858/task/10861/stat : 10861 (java) S 10855 10858 7499 0 -1 1077944384 4630 0 0 0 126 81 0 0 20 0 15 0 274469670 14429130752 1233462 33554432000 4194304 4196468 140726929875360 140482207718288 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10862] ppid=10855 vsize=14090948 memory=4933848 CPUtime=2.08 cores=0,2,4,6
/proc/10858/task/10862/stat : 10862 (java) S 10855 10858 7499 0 -1 1077944384 5283 0 0 0 128 80 0 0 20 0 15 0 274469670 14429130752 1233462 33554432000 4194304 4196468 140726929875360 140481843772176 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10863] ppid=10855 vsize=14090948 memory=4933848 CPUtime=2.11 cores=0,2,4,6
/proc/10858/task/10863/stat : 10863 (java) S 10855 10858 7499 0 -1 1077944384 6208 0 0 0 130 81 0 0 20 0 15 0 274469670 14429130752 1233462 33554432000 4194304 4196468 140726929875360 140481842719888 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10864] ppid=10855 vsize=14090948 memory=0 CPUtime=2.1 cores=0,2,4,6
/proc/10858/task/10864/stat : 10864 (java) S 10855 10858 7499 0 -1 1077944384 5826 0 0 0 124 86 0 0 20 0 15 0 274469670 14429130752 1233462 33554432000 4194304 4196468 140726929875360 140481841667088 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10865] ppid=10855 vsize=14090948 memory=4935884 CPUtime=0.1 cores=0,2,4,6
/proc/10858/task/10865/stat : 10865 (java) S 10855 10858 7499 0 -1 1077944384 4051 0 0 0 10 0 0 0 20 0 15 0 274469672 14429130752 1233462 33554432000 4194304 4196468 140726929875360 140481363388528 140482248968834 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10866] ppid=10855 vsize=14090948 memory=5732 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10866/stat : 10866 (java) S 10855 10858 7499 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274469672 14429130752 1233462 33554432000 4194304 4196468 140726929875360 140481362334560 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10867] ppid=10855 vsize=14090948 memory=4933848 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10867/stat : 10867 (java) S 10855 10858 7499 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 274469672 14429130752 1233462 33554432000 4194304 4196468 140726929875360 140481361282176 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10868] ppid=10855 vsize=14090948 memory=4933848 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10868/stat : 10868 (java) S 10855 10858 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274469675 14429130752 1233462 33554432000 4194304 4196468 140726929875360 140481360230480 140482248976283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10869] ppid=10855 vsize=14090948 memory=4932856 CPUtime=2.93 cores=0,2,4,6
/proc/10858/task/10869/stat : 10869 (java) S 10855 10858 7499 0 -1 1077944384 8234 0 0 0 291 2 0 0 20 0 15 0 274469675 14429130752 1233462 33554432000 4194304 4196468 140726929875360 140481359178352 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10870] ppid=10855 vsize=14090948 memory=4932856 CPUtime=3.16 cores=0,2,4,6
/proc/10858/task/10870/stat : 10870 (java) S 10855 10858 7499 0 -1 1077944384 7758 0 0 0 315 1 0 0 20 0 15 0 274469675 14429130752 1233462 33554432000 4194304 4196468 140726929875360 140481358125552 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10871] ppid=10855 vsize=14090948 memory=0 CPUtime=0.98 cores=0,2,4,6
/proc/10858/task/10871/stat : 10871 (java) S 10855 10858 7499 0 -1 1077944384 6722 0 0 0 97 1 0 0 20 0 15 0 274469675 14429130752 1233462 33554432000 4194304 4196468 140726929875360 140481357073264 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10872] ppid=10855 vsize=14090948 memory=280954077708528 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10872/stat : 10872 (java) S 10855 10858 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274469675 14429130752 1233462 33554432000 4194304 4196468 140726929875360 140481356020704 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10873] ppid=10855 vsize=14090948 memory=4932852 CPUtime=0.05 cores=0,2,4,6
/proc/10858/task/10873/stat : 10873 (java) S 10855 10858 7499 0 -1 1077944384 180 0 0 0 3 2 0 0 20 0 15 0 274469675 14429130752 1233462 33554432000 4194304 4196468 140726929875360 140481354967472 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
Current children cumulated CPU time: 115.71 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 4933848 KiB

[startup+162.301 s]
/proc/loadavg: 1.50 1.54 1.29 3/215 10875
/proc/meminfo: memFree=22305424/32770624 swapFree=67108796/67108860
[pid=10858] ppid=10855 vsize=14090948 memory=4934752 CPUtime=175.97 cores=0,2,4,6
/proc/10858/stat : 10858 (java) S 10855 10858 7499 0 -1 1077944320 135092 0 0 0 17211 386 0 0 20 0 15 0 274469669 14429130752 1233688 33554432000 4194304 4196468 140726929875360 140726929857904 140482248957687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
/proc/10858/statm: 3522737 1233688 3611 1 0 3484809 0
[pid=10858/tid=10860] ppid=10855 vsize=14090948 memory=6944656592455097440 CPUtime=159.94 cores=0,2,4,6
/proc/10858/task/10860/stat : 10860 (java) R 10855 10858 7499 0 -1 4202560 78786 0 0 0 15949 45 0 0 20 0 15 0 274469670 14429130752 1233688 33554432000 4194304 4196468 140726929875360 140482253187296 140481895903137 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10861] ppid=10855 vsize=14090948 memory=4934752 CPUtime=2.13 cores=0,2,4,6
/proc/10858/task/10861/stat : 10861 (java) S 10855 10858 7499 0 -1 1077944384 5362 0 0 0 132 81 0 0 20 0 15 0 274469670 14429130752 1233688 33554432000 4194304 4196468 140726929875360 140482207718288 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10862] ppid=10855 vsize=14090948 memory=4934736 CPUtime=2.14 cores=0,2,4,6
/proc/10858/task/10862/stat : 10862 (java) S 10855 10858 7499 0 -1 1077944384 5765 0 0 0 134 80 0 0 20 0 15 0 274469670 14429130752 1233688 33554432000 4194304 4196468 140726929875360 140481843772176 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10863] ppid=10855 vsize=14090948 memory=4934752 CPUtime=2.16 cores=0,2,4,6
/proc/10858/task/10863/stat : 10863 (java) S 10855 10858 7499 0 -1 1077944384 6897 0 0 0 135 81 0 0 20 0 15 0 274469670 14429130752 1233688 33554432000 4194304 4196468 140726929875360 140481842719888 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10864] ppid=10855 vsize=14090948 memory=4934752 CPUtime=2.16 cores=0,2,4,6
/proc/10858/task/10864/stat : 10864 (java) S 10855 10858 7499 0 -1 1077944384 7211 0 0 0 130 86 0 0 20 0 15 0 274469670 14429130752 1233688 33554432000 4194304 4196468 140726929875360 140481841667088 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10865] ppid=10855 vsize=14090948 memory=4934752 CPUtime=0.11 cores=0,2,4,6
/proc/10858/task/10865/stat : 10865 (java) S 10855 10858 7499 0 -1 1077944384 4340 0 0 0 11 0 0 0 20 0 15 0 274469672 14429130752 1233688 33554432000 4194304 4196468 140726929875360 140481363388528 140482248968834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10866] ppid=10855 vsize=14090948 memory=4934752 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10866/stat : 10866 (java) S 10855 10858 7499 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274469672 14429130752 1233688 33554432000 4194304 4196468 140726929875360 140481362334560 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10867] ppid=10855 vsize=14090948 memory=3780 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10867/stat : 10867 (java) S 10855 10858 7499 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 274469672 14429130752 1233688 33554432000 4194304 4196468 140726929875360 140481361282176 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10868] ppid=10855 vsize=14090948 memory=4934752 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10868/stat : 10868 (java) S 10855 10858 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274469675 14429130752 1233688 33554432000 4194304 4196468 140726929875360 140481360230480 140482248976283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10869] ppid=10855 vsize=14090948 memory=4934752 CPUtime=2.94 cores=0,2,4,6
/proc/10858/task/10869/stat : 10869 (java) S 10855 10858 7499 0 -1 1077944384 8245 0 0 0 292 2 0 0 20 0 15 0 274469675 14429130752 1233688 33554432000 4194304 4196468 140726929875360 140481359178352 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10870] ppid=10855 vsize=14090948 memory=4934752 CPUtime=3.19 cores=0,2,4,6
/proc/10858/task/10870/stat : 10870 (java) S 10855 10858 7499 0 -1 1077944384 8878 0 0 0 318 1 0 0 20 0 15 0 274469675 14429130752 1233688 33554432000 4194304 4196468 140726929875360 140481358125552 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10871] ppid=10855 vsize=14090948 memory=4934752 CPUtime=1 cores=0,2,4,6
/proc/10858/task/10871/stat : 10871 (java) S 10855 10858 7499 0 -1 1077944384 7977 0 0 0 99 1 0 0 20 0 15 0 274469675 14429130752 1233688 33554432000 4194304 4196468 140726929875360 140481357073264 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10872] ppid=10855 vsize=14090948 memory=14768 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10872/stat : 10872 (java) S 10855 10858 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274469675 14429130752 1233688 33554432000 4194304 4196468 140726929875360 140481356020704 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10873] ppid=10855 vsize=14090948 memory=8416 CPUtime=0.08 cores=0,2,4,6
/proc/10858/task/10873/stat : 10873 (java) S 10855 10858 7499 0 -1 1077944384 218 0 0 0 4 4 0 0 20 0 15 0 274469675 14429130752 1233688 33554432000 4194304 4196468 140726929875360 140481354967472 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
Current children cumulated CPU time: 175.97 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 4934752 KiB

[startup+222.301 s]
/proc/loadavg: 2.16 1.72 1.37 3/215 10876
/proc/meminfo: memFree=22294484/32770624 swapFree=67108796/67108860
[pid=10858] ppid=10855 vsize=14090948 memory=4935216 CPUtime=236.19 cores=0,2,4,6
/proc/10858/stat : 10858 (java) S 10855 10858 7499 0 -1 1077944320 158525 0 0 0 23229 390 0 0 20 0 15 0 274469669 14429130752 1233804 33554432000 4194304 4196468 140726929875360 140726929857904 140482248957687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
/proc/10858/statm: 3522737 1233804 3611 1 0 3484809 0
[pid=10858/tid=10860] ppid=10855 vsize=14090948 memory=4935016 CPUtime=219.88 cores=0,2,4,6
/proc/10858/task/10860/stat : 10860 (java) R 10855 10858 7499 0 -1 4202560 95247 0 0 0 21940 48 0 0 20 0 15 0 274469670 14429130752 1233804 33554432000 4194304 4196468 140726929875360 140482253193392 140481889131614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10861] ppid=10855 vsize=14090948 memory=4935016 CPUtime=2.2 cores=0,2,4,6
/proc/10858/task/10861/stat : 10861 (java) S 10855 10858 7499 0 -1 1077944384 6383 0 0 0 138 82 0 0 20 0 15 0 274469670 14429130752 1233804 33554432000 4194304 4196468 140726929875360 140482207718288 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10862] ppid=10855 vsize=14090948 memory=4935212 CPUtime=2.2 cores=0,2,4,6
/proc/10858/task/10862/stat : 10862 (java) S 10855 10858 7499 0 -1 1077944384 6779 0 0 0 140 80 0 0 20 0 15 0 274469670 14429130752 1233804 33554432000 4194304 4196468 140726929875360 140481843772176 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10863] ppid=10855 vsize=14090948 memory=4935016 CPUtime=2.22 cores=0,2,4,6
/proc/10858/task/10863/stat : 10863 (java) S 10855 10858 7499 0 -1 1077944384 7818 0 0 0 141 81 0 0 20 0 15 0 274469670 14429130752 1233804 33554432000 4194304 4196468 140726929875360 140481842719888 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10864] ppid=10855 vsize=14090948 memory=4935212 CPUtime=2.22 cores=0,2,4,6
/proc/10858/task/10864/stat : 10864 (java) S 10855 10858 7499 0 -1 1077944384 8351 0 0 0 136 86 0 0 20 0 15 0 274469670 14429130752 1233804 33554432000 4194304 4196468 140726929875360 140481841667088 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10865] ppid=10855 vsize=14090948 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/10858/task/10865/stat : 10865 (java) S 10855 10858 7499 0 -1 1077944384 4613 0 0 0 11 1 0 0 20 0 15 0 274469672 14429130752 1233804 33554432000 4194304 4196468 140726929875360 140481363388528 140482248968834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10866] ppid=10855 vsize=14090948 memory=4935016 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10866/stat : 10866 (java) S 10855 10858 7499 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274469672 14429130752 1233804 33554432000 4194304 4196468 140726929875360 140481362334560 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10867] ppid=10855 vsize=14090948 memory=4935212 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10867/stat : 10867 (java) S 10855 10858 7499 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 274469672 14429130752 1233804 33554432000 4194304 4196468 140726929875360 140481361282176 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10868] ppid=10855 vsize=14090948 memory=4935216 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10868/stat : 10868 (java) S 10855 10858 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274469675 14429130752 1233804 33554432000 4194304 4196468 140726929875360 140481360230480 140482248976283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10869] ppid=10855 vsize=14090948 memory=4935212 CPUtime=2.94 cores=0,2,4,6
/proc/10858/task/10869/stat : 10869 (java) S 10855 10858 7499 0 -1 1077944384 8248 0 0 0 292 2 0 0 20 0 15 0 274469675 14429130752 1233804 33554432000 4194304 4196468 140726929875360 140481359178352 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10870] ppid=10855 vsize=14090948 memory=4935216 CPUtime=3.2 cores=0,2,4,6
/proc/10858/task/10870/stat : 10870 (java) S 10855 10858 7499 0 -1 1077944384 8881 0 0 0 319 1 0 0 20 0 15 0 274469675 14429130752 1233804 33554432000 4194304 4196468 140726929875360 140481358125552 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10871] ppid=10855 vsize=14090948 memory=1776 CPUtime=1.03 cores=0,2,4,6
/proc/10858/task/10871/stat : 10871 (java) S 10855 10858 7499 0 -1 1077944384 10550 0 0 0 101 2 0 0 20 0 15 0 274469675 14429130752 1233804 33554432000 4194304 4196468 140726929875360 140481357073264 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10872] ppid=10855 vsize=14090948 memory=6756 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10872/stat : 10872 (java) S 10855 10858 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274469675 14429130752 1233804 33554432000 4194304 4196468 140726929875360 140481356020704 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10873] ppid=10855 vsize=14090948 memory=2056 CPUtime=0.12 cores=0,2,4,6
/proc/10858/task/10873/stat : 10873 (java) S 10855 10858 7499 0 -1 1077944384 242 0 0 0 6 6 0 0 20 0 15 0 274469675 14429130752 1233804 33554432000 4194304 4196468 140726929875360 140481354967472 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
Current children cumulated CPU time: 236.19 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 4935216 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+238.001 s]*
/proc/loadavg: 2.05 1.72 1.38 6/214 10907
/proc/meminfo: memFree=23665788/32770624 swapFree=67108796/67108860
[pid=10858] ppid=10855 vsize=14090948 memory=4935328 CPUtime=252 cores=0,2,4,6
/proc/10858/stat : 10858 (java) S 10855 10858 7499 0 -1 1077944320 163793 0 0 0 24808 392 0 0 20 0 15 0 274469669 14429130752 1233832 33554432000 4194304 4196468 140726929875360 140726929857904 140482248957687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
/proc/10858/statm: 3522737 1233832 3611 1 0 3484809 0
[pid=10858/tid=10860] ppid=10855 vsize=14090948 memory=1244 CPUtime=235.56 cores=0,2,4,6
/proc/10858/task/10860/stat : 10860 (java) R 10855 10858 7499 0 -1 4202560 96840 0 0 0 23508 48 0 0 20 0 15 0 274469670 14429130752 1233832 33554432000 4194304 4196468 140726929875360 140482253187600 140481896030529 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10861] ppid=10855 vsize=14090948 memory=1036 CPUtime=2.22 cores=0,2,4,6
/proc/10858/task/10861/stat : 10861 (java) S 10855 10858 7499 0 -1 1077944384 7093 0 0 0 140 82 0 0 20 0 15 0 274469670 14429130752 1233832 33554432000 4194304 4196468 140726929875360 140482207718288 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10862] ppid=10855 vsize=14090948 memory=1776 CPUtime=2.22 cores=0,2,4,6
/proc/10858/task/10862/stat : 10862 (java) S 10855 10858 7499 0 -1 1077944384 7315 0 0 0 142 80 0 0 20 0 15 0 274469670 14429130752 1233832 33554432000 4194304 4196468 140726929875360 140481843772176 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10863] ppid=10855 vsize=14090948 memory=4872558044660077418 CPUtime=2.24 cores=0,2,4,6
/proc/10858/task/10863/stat : 10863 (java) S 10855 10858 7499 0 -1 1077944384 8474 0 0 0 143 81 0 0 20 0 15 0 274469670 14429130752 1233832 33554432000 4194304 4196468 140726929875360 140481842719888 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10864] ppid=10855 vsize=14090948 memory=2056 CPUtime=2.24 cores=0,2,4,6
/proc/10858/task/10864/stat : 10864 (java) S 10855 10858 7499 0 -1 1077944384 8932 0 0 0 138 86 0 0 20 0 15 0 274469670 14429130752 1233832 33554432000 4194304 4196468 140726929875360 140481841667088 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10865] ppid=10855 vsize=14090948 memory=932 CPUtime=0.12 cores=0,2,4,6
/proc/10858/task/10865/stat : 10865 (java) S 10855 10858 7499 0 -1 1077944384 4771 0 0 0 11 1 0 0 20 0 15 0 274469672 14429130752 1233832 33554432000 4194304 4196468 140726929875360 140481363388528 140482248968834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10866] ppid=10855 vsize=14090948 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10866/stat : 10866 (java) S 10855 10858 7499 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274469672 14429130752 1233832 33554432000 4194304 4196468 140726929875360 140481362334560 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10867] ppid=10855 vsize=14090948 memory=8628 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10867/stat : 10867 (java) S 10855 10858 7499 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 274469672 14429130752 1233832 33554432000 4194304 4196468 140726929875360 140481361282176 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10868] ppid=10855 vsize=14090948 memory=800 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10868/stat : 10868 (java) S 10855 10858 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274469675 14429130752 1233832 33554432000 4194304 4196468 140726929875360 140481360230480 140482248976283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10869] ppid=10855 vsize=14090948 memory=1796 CPUtime=2.96 cores=0,2,4,6
/proc/10858/task/10869/stat : 10869 (java) S 10855 10858 7499 0 -1 1077944384 9268 0 0 0 294 2 0 0 20 0 15 0 274469675 14429130752 1233832 33554432000 4194304 4196468 140726929875360 140481359178352 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10870] ppid=10855 vsize=14090948 memory=916 CPUtime=3.2 cores=0,2,4,6
/proc/10858/task/10870/stat : 10870 (java) S 10855 10858 7499 0 -1 1077944384 8881 0 0 0 319 1 0 0 20 0 15 0 274469675 14429130752 1233832 33554432000 4194304 4196468 140726929875360 140481358125552 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10871] ppid=10855 vsize=14090948 memory=3848 CPUtime=1.03 cores=0,2,4,6
/proc/10858/task/10871/stat : 10871 (java) S 10855 10858 7499 0 -1 1077944384 10564 0 0 0 101 2 0 0 20 0 15 0 274469675 14429130752 1233832 33554432000 4194304 4196468 140726929875360 140481357073264 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10872] ppid=10855 vsize=14090948 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/10858/task/10872/stat : 10872 (java) S 10855 10858 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274469675 14429130752 1233832 33554432000 4194304 4196468 140726929875360 140481356020704 140482248967893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
[pid=10858/tid=10873] ppid=10855 vsize=14090948 memory=2580 CPUtime=0.13 cores=0,2,4,6
/proc/10858/task/10873/stat : 10873 (java) S 10855 10858 7499 0 -1 1077944384 242 0 0 0 6 7 0 0 20 0 15 0 274469675 14429130752 1233832 33554432000 4194304 4196468 140726929875360 140481354967472 140482248968834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23732224 140726929884239 140726929884430 140726929884430 140726929887183 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 4935328 KiB

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

[startup+238.047 s]
# the end of solver process 10858 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=248.106 s, system=3.95069 s

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

Child status: 143
Real time (s): 238.047
CPU time (s): 252.057
CPU user time (s): 248.106
CPU system time (s): 3.95069
CPU usage (%): 105.885
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 4935884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.106
system time used= 3.95069
maximum resident set size= 4935948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164260
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9383
involuntary context switches= 439


# summary of solver processes directly reported to runsolver:
#   pid: 10858
#   total CPU time (s): 252.057
#   total CPU user time (s): 248.106
#   total CPU system time (s): 3.95069

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40858 second user time and 2.3645 second system time

The end

Launcher Data 

Begin job on node138 at 2018-08-18 07:11:05
IDJOB=4312121
IDBENCH=141138
IDSOLVER=2800
FILE ID=node138/4312121-1534569065
RUNJOBID= node138-1534568574-10485
PBS_JOBID= 21038633
Free space on /tmp= 46996 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17
BENCH NAME= XCSP18/GraphColoring/GraphColoring-3-fullins-5_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312121-1534569065/watcher-4312121-1534569065 -o /tmp/evaluation-result-4312121-1534569065/solver-4312121-1534569065 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534568574-10485 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 606398564 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312121-1534569065.xml

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

MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76
RANDOM SEED=606398564

node138.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28051580 kB
MemAvailable:   31285464 kB
Buffers:          157352 kB
Cached:          3357980 kB
SwapCached:           12 kB
Active:          2476152 kB
Inactive:        1701592 kB
Active(anon):     624400 kB
Inactive(anon):   107576 kB
Active(file):    1851752 kB
Inactive(file):  1594016 kB
Unevictable:        7260 kB
Mlocked:            7260 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:             37144 kB
Writeback:             0 kB
AnonPages:        756568 kB
Mapped:            30696 kB
Shmem:             66124 kB
Slab:             236728 kB
SReclaimable:     207904 kB
SUnreclaim:        28824 kB
KernelStack:        3808 kB
PageTables:         6436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2227604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    638976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 46960 MiB
End job on node138 at 2018-08-18 07:15:03