Trace number 4309911

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-14SAT (TO)1479 252.111 238.239

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.56	c version: 2018-08-14
0.67/0.56	c seed: 1049116634
0.67/0.56	c timeout: 252
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
16.74/8.01	c Parsing done, starting search...
18.14/8.87	o 2029
19.12/9.55	o 2028
22.82/11.03	o 2027
23.20/11.35	o 2026
24.25/12.33	o 2025
24.37/12.45	o 2024
24.92/12.95	o 2023
25.65/13.63	o 2022
26.16/14.18	o 2021
27.05/14.96	o 2020
27.17/15.01	o 2019
27.50/15.38	o 2018
28.40/16.26	o 2016
29.74/17.56	o 2015
29.84/17.62	o 2014
29.96/17.77	o 2013
31.06/18.87	o 2012
31.28/19.07	o 2011
32.38/20.17	o 2010
32.38/20.19	o 2005
33.68/21.47	o 2004
33.78/21.57	o 2003
34.19/21.97	o 2002
34.30/22.05	o 2001
34.99/22.78	o 2000
35.49/23.24	o 1999
35.49/23.27	o 1996
35.63/23.40	o 1995
36.49/24.11	o 1994
36.98/24.65	o 1993
37.69/25.39	o 1989
38.29/25.96	o 1987
39.09/26.70	o 1984
40.29/28.00	o 1983
40.76/28.30	o 1982
41.76/29.31	o 1981
41.76/29.34	o 1980
42.73/29.94	o 1979
43.50/30.61	o 1978
43.71/30.84	o 1977
44.81/31.91	o 1976
45.02/32.11	o 1975
45.02/32.16	o 1974
45.02/32.17	o 1973
46.12/33.23	o 1972
46.62/33.79	o 1971
46.82/33.92	o 1970
47.42/34.53	o 1969
47.72/34.88	o 1967
48.03/35.11	o 1965
48.72/35.84	o 1964
49.12/36.27	o 1963
50.04/37.14	o 1962
50.23/37.33	o 1961
51.36/38.45	o 1960
51.86/38.92	o 1959
51.86/38.94	o 1958
52.66/39.75	o 1957
52.86/39.98	o 1954
53.07/40.16	o 1953
53.97/41.05	o 1950
55.26/42.36	o 1947
55.46/42.54	o 1946
56.57/43.66	o 1944
56.87/43.91	o 1943
57.08/44.15	o 1940
57.87/44.97	o 1939
58.37/45.47	o 1938
59.17/46.27	o 1937
59.57/46.63	o 1936
60.57/47.60	o 1933
60.57/47.68	o 1932
61.87/48.92	o 1930
63.30/50.23	o 1929
63.50/50.44	o 1928
64.50/51.49	o 1926
65.21/52.14	o 1924
65.90/52.80	o 1923
66.40/53.32	o 1922
66.50/53.47	o 1920
67.11/54.10	o 1919
67.50/54.47	o 1918
68.50/55.41	o 1917
68.90/55.88	o 1916
69.81/56.71	o 1915
70.12/57.08	o 1914
71.12/58.01	o 1913
71.61/58.50	o 1912
72.41/59.31	o 1910
73.71/60.62	o 1908
73.81/60.76	o 1907
75.01/61.93	o 1906
75.12/62.08	o 1905
76.32/63.24	o 1904
76.82/63.76	o 1903
77.62/64.55	o 1902
77.72/64.65	o 1901
78.92/65.84	o 1900
79.42/66.37	o 1899
79.52/66.48	o 1898
80.23/67.14	o 1896
81.52/68.45	o 1892
82.02/68.90	o 1891
82.02/68.94	o 1890
82.88/69.77	o 1889
83.29/70.19	o 1886
84.19/71.06	o 1885
84.58/71.46	o 1884
84.88/71.71	o 1882
85.48/72.36	o 1881
85.58/72.40	o 1879
86.79/73.66	o 1878
87.20/74.05	o 1877
88.09/74.96	o 1876
88.59/75.49	o 1873
89.39/76.27	o 1872
89.59/76.47	o 1871
90.70/77.58	o 1870
91.00/77.83	o 1863
91.00/77.90	o 1862
92.00/78.88	o 1859
93.31/80.18	o 1857
93.50/80.35	o 1855
94.61/81.48	o 1854
94.81/81.66	o 1853
95.91/82.79	o 1852
96.22/83.03	o 1851
96.61/83.48	o 1850
97.22/84.10	o 1847
97.81/84.61	o 1846
97.81/84.63	o 1845
98.61/85.40	o 1844
98.91/85.75	o 1843
99.22/86.09	o 1842
99.91/86.70	o 1841
100.22/87.08	o 1840
101.22/88.01	o 1839
101.51/88.30	o 1838
102.57/89.33	o 1837
102.77/89.56	o 1836
103.07/89.86	o 1834
103.07/89.87	o 1831
103.87/90.62	o 1829
104.17/91.00	o 1827
104.28/91.07	o 1826
105.17/91.92	o 1825
105.38/92.12	o 1823
106.47/93.22	o 1822
106.57/93.31	o 1821
107.07/93.86	o 1818
107.77/94.53	o 1817
107.97/94.73	o 1816
109.07/95.83	o 1815
109.07/95.85	o 1814
110.38/97.14	o 1812
110.77/97.58	o 1811
111.67/98.44	o 1810
111.87/98.68	o 1809
112.38/99.12	o 1808
112.97/99.74	o 1806
113.28/100.02	o 1805
113.57/100.34	o 1804
114.28/101.04	o 1802
115.57/102.35	o 1801
116.08/102.83	o 1800
116.88/103.65	o 1798
117.48/104.25	o 1796
118.18/104.96	o 1795
118.18/104.96	o 1794
119.48/106.26	o 1792
120.78/107.56	o 1790
121.39/108.18	o 1789
122.08/108.87	o 1787
123.46/110.17	o 1786
123.55/110.20	o 1784
123.95/110.61	o 1783
124.05/110.72	o 1782
124.05/110.72	o 1781
124.75/111.47	o 1780
125.15/111.82	o 1778
125.36/112.06	o 1777
126.05/112.78	o 1776
126.15/112.85	o 1775
127.36/114.09	o 1774
127.85/114.59	o 1773
128.06/114.72	o 1772
128.66/115.39	o 1771
129.06/115.76	o 1770
129.96/116.69	o 1769
130.16/116.80	o 1768
131.26/118.00	o 1767
131.37/118.07	o 1766
132.66/119.30	o 1765
133.06/119.75	o 1763
133.16/119.85	o 1762
133.16/119.86	o 1761
133.96/120.60	o 1759
134.06/120.74	o 1758
135.26/121.91	o 1757
135.47/122.16	o 1756
135.66/122.38	o 1753
136.56/123.21	o 1752
136.76/123.42	o 1750
136.76/123.44	o 1747
137.86/124.51	o 1746
138.26/124.90	o 1745
138.26/124.91	o 1744
139.16/125.82	o 1743
139.56/126.25	o 1742
140.47/127.12	o 1741
140.96/127.60	o 1740
141.06/127.73	o 1738
141.76/128.42	o 1737
141.76/128.45	o 1736
143.13/129.75	o 1735
143.33/129.90	o 1734
143.33/129.95	o 1733
144.44/131.03	o 1732
144.73/131.30	o 1731
145.73/132.33	o 1729
145.93/132.50	o 1727
147.03/133.64	o 1726
147.54/134.14	o 1724
148.33/134.95	o 1722
149.63/136.24	o 1721
149.93/136.56	o 1720
150.93/137.55	o 1719
151.13/137.76	o 1718
152.23/138.86	o 1717
152.54/139.19	o 1716
153.54/140.16	o 1715
154.04/140.62	o 1714
154.14/140.77	o 1712
154.14/140.77	o 1711
154.84/141.46	o 1710
155.14/141.72	o 1709
156.14/142.77	o 1708
156.64/143.21	o 1707
157.44/144.07	o 1705
158.73/145.38	o 1704
159.23/145.87	o 1703
160.03/146.68	o 1702
160.33/146.90	o 1701
161.39/148.00	o 1700
161.99/148.51	o 1699
161.99/148.60	o 1698
162.69/149.29	o 1696
162.99/149.57	o 1694
163.40/149.91	o 1693
164.01/150.59	o 1692
164.52/151.03	o 1690
165.31/151.90	o 1687
165.41/151.91	o 1685
166.01/152.56	o 1684
166.71/153.20	o 1682
166.71/153.27	o 1681
168.02/154.50	o 1679
168.53/155.04	o 1678
169.32/155.80	o 1676
169.32/155.85	o 1675
169.32/155.87	o 1674
169.63/156.15	o 1673
169.72/156.24	o 1671
169.72/156.25	o 1670
170.63/157.11	o 1669
170.72/157.21	o 1668
171.92/158.42	o 1667
171.92/158.46	o 1666
173.21/159.72	o 1665
173.62/160.18	o 1664
174.53/161.02	o 1663
174.82/161.36	o 1662
174.92/161.40	o 1661
175.82/162.33	o 1660
175.92/162.47	o 1659
177.12/163.63	o 1657
178.42/164.93	o 1656
178.82/165.31	o 1655
178.92/165.41	o 1654
179.72/166.24	o 1652
179.92/166.48	o 1650
180.22/166.73	o 1649
181.09/167.56	o 1647
181.19/167.68	o 1646
181.19/167.69	o 1644
181.70/168.15	o 1641
182.39/168.85	o 1640
182.79/169.24	o 1639
183.03/169.43	o 1638
183.74/170.17	o 1635
185.03/171.48	o 1634
185.43/171.82	o 1633
185.43/171.85	o 1630
185.53/171.98	o 1629
186.33/172.78	o 1627
186.93/173.38	o 1626
187.63/174.09	o 1625
188.02/174.46	o 1624
188.93/175.39	o 1623
189.43/175.82	o 1619
190.33/176.70	o 1618
190.53/176.96	o 1617
191.53/178.00	o 1616
191.83/178.25	o 1614
192.13/178.55	o 1613
192.93/179.30	o 1612
193.13/179.53	o 1610
194.23/180.61	o 1609
194.64/181.05	o 1607
195.54/181.91	o 1606
195.54/181.95	o 1605
196.84/183.22	o 1604
196.94/183.39	o 1603
197.04/183.46	o 1602
198.14/184.52	o 1600
198.24/184.62	o 1599
199.44/185.82	o 1597
199.54/186.00	o 1594
200.81/187.15	o 1593
201.20/187.52	o 1592
202.10/188.43	o 1589
202.10/188.47	o 1588
203.40/189.73	o 1587
203.71/190.02	o 1586
204.00/190.31	o 1585
204.71/191.03	o 1584
204.90/191.27	o 1583
205.10/191.41	o 1581
206.00/192.34	o 1580
206.10/192.45	o 1579
206.30/192.65	o 1578
207.30/193.65	o 1577
207.81/194.13	o 1576
208.61/194.95	o 1574
209.91/196.26	o 1573
210.21/196.51	o 1572
211.21/197.55	o 1571
211.61/197.97	o 1570
212.50/198.86	o 1569
212.71/199.07	o 1568
213.82/200.16	o 1567
213.91/200.24	o 1566
215.11/201.47	o 1565
215.31/201.67	o 1564
215.51/201.86	o 1563
216.40/202.77	o 1562
216.60/202.90	o 1561
216.82/203.11	o 1560
217.71/204.08	o 1559
217.91/204.26	o 1558
219.01/205.38	o 1557
219.51/205.88	o 1556
220.47/206.70	o 1555
220.47/206.72	o 1554
220.78/207.07	o 1553
220.78/207.10	o 1552
221.67/207.98	o 1549
221.78/208.07	o 1548
222.97/209.29	o 1547
223.47/209.70	o 1546
223.47/209.72	o 1545
224.27/210.59	o 1544
224.37/210.60	o 1542
224.47/210.74	o 1540
225.67/211.90	o 1539
225.97/212.28	o 1537
226.27/212.50	o 1535
226.97/213.20	o 1533
228.27/214.51	o 1532
228.57/214.85	o 1531
228.67/214.90	o 1530
229.57/215.81	o 1529
229.67/215.94	o 1528
230.88/217.12	o 1527
230.97/217.27	o 1526
232.18/218.42	o 1525
232.18/218.47	o 1524
233.48/219.72	o 1521
233.79/220.07	o 1520
234.78/221.03	o 1519
234.98/221.22	o 1518
236.09/222.34	o 1517
236.58/222.82	o 1516
237.38/223.64	o 1515
237.48/223.70	o 1513
238.68/224.95	o 1512
238.99/225.26	o 1510
239.99/226.25	o 1509
240.19/226.42	o 1508
241.29/227.55	o 1505
242.65/228.85	o 1504
242.75/228.93	o 1503
242.96/229.15	o 1502
243.05/229.20	o 1501
243.96/230.16	o 1500
244.35/230.59	o 1499
244.55/230.75	o 1498
245.25/231.47	o 1497
245.55/231.72	o 1496
245.65/231.87	o 1494
246.55/232.77	o 1493
247.05/233.23	o 1491
247.15/233.35	o 1490
247.86/234.07	o 1489
248.15/234.36	o 1487
249.15/235.37	o 1486
249.55/235.76	o 1485
250.45/236.68	o 1483
251.75/237.98	o 1481
251.86/238.03	o 1480
251.96/238.16	o 1479
252.05/238.20	s SATISFIABLE
252.05/238.21	v <instantiation>
252.05/238.21	v 	<list>
252.05/238.21	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029]
252.05/238.21	v 	</list>
252.05/238.21	v 	<values>
252.05/238.21	v 		1030 154 1101 1179 1390 357 929 1265 839 94 387 50 1346 1019 1040 686 1361 569 908 117 409 1027 924 1370 898 1347 1200 1153 634 865 107 245 1000 1113 1471 572 14 521 656 996 767 1226 728 170 853 957 1262 1127 355 882 1114 1269 766 275 94 1293 992 1149 1017 521 368 410 891 859 1265 607 1166 56 42 707 404 1089 813 759 614 148 347 497 1052 412 120 878 1039 1330 938 390 242 350 1208 1213 812 319 1408 913 1058 284 1155 1136 1451 711 1350 630 572 1422 857 847 542 1344 1013 941 955 406 1265 1288 1379 77 619 1187 1185 994 284 1287 382 70 1339 4 500 316 340 871 1012 136 736 768 427 467 1165 1440 1244 783 167 1295 401 564 78 983 997 665 675 111 870 1428 187 244 155 1111 629 851 7 298 875 1478 736 1224 873 386 189 8 282 29 72 1285 630 1092 509 1383 1370 412 1045 385 337 369 431 1113 1224 905 424 681 839 1455 304 1469 320 376 94 1282 402 1153 286 489 1238 741 1429 112 767 634 1156 29 1387 883 26 1380 1276 1336 901 120 388 741 1129 275 305 85 50 832 90 401 225 1362 928 657 1431 121 369 886 914 1448 1398 263 840 1155 328 177 1199 441 1003 1086 1213 718 892 854 255 618 225 14 128 584 990 312 414 258 114 327 790 539 326 1066 863 1199 1438 1405 467 909 291 562 275 294 1267 1306 1008 290 1175 517 1308 573 1398 1139 694 963 668 920 984 930 746 504 432 208 1350 882 55 399 1291 1043 862 29 707 145 771 528 1212 421 909 1392 988 587 350 316 1010 901 91 486 935 701 215 35 890 448 257 680 1130 795 223 676 61 365 1016 840 970 1184 139 647 190 954 538 869 867 904 1287 497 544 1359 1303 1174 1135 707 26 139 431 1266 1276 542 240 855 733 1361 543 1151 64 16 1255 1447 256 836 1072 1035 763 217 97 743 147 1132 792 534 1147 946 14 559 437 688 626 418 398 1057 1088 513 709 474 903 542 929 222 944 597 1108 491 111 376 228 378 581 1112 1061 469 160 779 696 21 607 510 210 22 891 817 1008 990 632 567 459 236 802 260 948 947 800 751 458 1360 559 605 600 503 86 1020 212 964 904 577 409 1330 55 534 791 84 442 330 788 1294 322 761 928 1468 743 98 733 1375 595 1055 1191 1162 544 725 846 558 1418 915 789 718 26 293 1108 686 50 1404 1403 1395 190 424 1115 604 75 1207 366 569 1435 871 1448 1384 592 539 1235 688 89 472 1147 106 1122 735 1379 63 1227 120 453 685 707 143 878 918 383 661 187 356 1387 984 372 1477 1270 848 449 499 462 292 937 1366 82 1233 765 552 396 837 658 652 454 696 748 1034 481 51 288 1301 687 650 1304 1378 1363 1289 827 1138 520 596 957 1306 1259 805 539 1038 1172 995 867 1438 791 952 830 288 1418 198 138 454 1420 594 1077 174 667 597 403 839 1063 90 1472 1296 1257 765 30 602 1150 1464 707 902 287 1010 997 1339 872 58 185 976 1121 271 129 255 785 508 1443 1476 300 909 867 1100 1137 636 88 701 1214 806 1020 581 354 857 739 285 1013 327 860 181 400 1290 1092 410 687 509 340 817 460 1158 879 1299 588 1222 83 1393 1039 1102 585 557 101 488 1273 726 687 96 1291 699 127 41 266 20 430 854 1101 516 1140 1431 116 919 820 528 373 896 289 938 1411 307 955 1465 928 434 1205 778 935 764 1134 389 1273 266 1104 977 665 100 1187 994 1196 1225 467 1053 444 269 778 983 1234 766 938 929 387 638 1383 1257 430 1127 1034 110 1215 958 80 1404 235 1269 748 697 203 162 662 468 840 327 640 664 1423 794 1272 367 437 590 375 831 1456 82 1136 286 750 300 741 580 868 532 263 22 17 1128 637 278 1363 774 780 214 706 1006 735 152 445 1121 931 247 85 1039 622 1199 1414 1472 466 1148 97 1148 19 1377 538 729 1384 951 711 52 782 54 682 512 292 1228 438 843 280 1374 1356 1040 495 370 816 954 972 1281 1205 427 423 995 1453 1217 909 84 399 502 746 1069 1459 1291 139 644 719 983 1404 255 1121 448 696 23 1169 89 638 641 339 136 1324 1276 631 1119 880 106 136 744 375 490 1178 238 128 1042 1292 1032 887 640 638 159 1051 519 1314 1207 1231 599 473 362 198 619 314 813 275 980 1225 1430 46 1334 931 397 1270 430 273 739 280 1183 220 295 578 1184 1317 1021 1169 1110 803 987 886 946 1338 441 1420 24 1152 1466 1024 1159 517 87 440 279 3 524 245 128 408 1433 1452 5 1402 953 403 1287 867 1264 744 773 142 438 42 1094 939 1074 790 2 993 1192 419 441 1324 577 1432 1187 592 1015 266 1430 534 214 987 268 611 337 322 855 298 1475 727 1299 1174 961 1399 1017 985 1019 243 372 1014 640 982 462 576 347 1155 278 842 1263 604 1003 43 1023 1442 1352 1111 100 1305 1318 721 1459 762 572 194 655 1059 211 834 505 368 1066 1218 517 116 521 1094 384 966 593 1198 1012 609 220 1327 405 996 611 568 146 1072 694 30 414 786 536 566 885 143 1 448 968 624 513 1113 336 46 980 1428 872 623 468 1328 832 1222 681 91 795 176 754 657 1121 918 595 439 37 1234 876 449 132 298 1410 647 95 1215 839 411 1369 681 1051 715 509 430 80 1435 818 1007 878 174 702 540 34 285 548 428 802 322 879 329 1017 1289 91 576 388 904 375 1160 1202 1030 590 292 365 641 736 1075 811 378 574 308 1266 1173 1055 360 978 172 793 670 1370 470 181 1137 153 93 1439 717 808 168 1342 785 1450 1286 355 1121 873 1259 705 181 832 73 182 1284 385 1391 998 338 1177 882 869 483 559 362 1379 104 338 950 196 829 668 52 835 1359 478 234 896 1024 907 1216 1432 996 179 940 1200 27 810 1180 40 14 12 1314 1087 451 863 1137 1144 652 577 539 41 111 1092 1058 1108 362 1254 1115 670 1168 485 395 1 1032 1263 1111 458 637 531 238 1359 119 1339 228 646 228 348 1152 1288 344 1286 949 1373 575 1326 436 773 1002 708 316 715 364 1467 653 487 794 428 734 46 0 732 376 789 1091 175 56 1350 1002 1157 22 1127 1392 342 1106 128 1219 1228 959 1379 1261 360 604 789 1206 295 425 1340 336 537 487 635 1450 1431 1344 410 1219 166 174 1140 1463 1243 867 1327 369 636 589 74 619 1391 1303 26 1451 934 66 169 1418 819 1078 82 1130 1000 608 1424 837 48 1458 1253 1152 58 1020 1298 520 1375 384 484 1200 336 1298 378 425 301 675 585 921 1251 1070 1220 831 127 264 1009 488 1219 845 1166 190 21 118 299 1037 1092 1364 1256 180 1474 1278 799 1014 364 791 334 1149 1078 1085 21 510 182 551 1126 731 1319 1361 338 71 1403 678 138 362 751 1076 1177 175 645 320 1044 329 1250 835 1158 489 330 366 1299 143 371 449 8 1437 1020 1235 1171 570 1108 788 654 10 263 217 582 454 1408 1119 1255 938 1179 922 474 1193 338 482 729 798 1141 1227 293 770 1440 1367 1337 1419 1262 1268 1369 405 873 478 503 121 793 1326 1113 309 156 912 1257 1479 669 335 1445 483 383 819 963 1019 1453 842 114 102 300 141 75 547 1160 660 993 1477 24 1184 1131 1050 1310 716 420 766 1032 904 219 34 1159 1185 182 294 1182 817 307 1348 713 1177 1478 1121 536 218 1057 700 1057 1234 632 1408 1106 1423 260 1478 975 78 870 644 609 158 114 189 891 480 1466 1243 1338 320 255 636 740 472 784 784 292 1058 1298 397 111 61 110 775 1074 1128 405 118 21 1424 87 1451 554 282 1393 1319 184 144 65 208 730 900 1073 651 1076 108 563 606 564 1427 451 1303 814 984 527 173 42 956 404 796 1257 100 228 1225 830 1427 146 1225 865 1010 754 896 260 1477 1447 434 716 159 454 155 656 798 649 819 880 311 55 1107 651 334 947 537 758 960 708 720 1102 701 231 789 693 464 1335 116 318 364 140 984 161 609 639 926 528 561 419 555 692 64 128 1077 135 204 95 913 68 1199 740 948 730 1368 728 540 463 185 442 1051 102 1300 1338 1408 153 528 1313 117 1267 863 1210 869 16 324 546 115 319 1178 1110 902 1101 1055 65 707 1297 1112 165 822 792 1246 167 865 379 759 1126 792 191 1448 1155 925 820 96 1115 1111 94 466 177 1150 357 1273 362 1317 1202 676 999 1356 1096 751 277 524 1178 547 193 772 238 291 166 997 1129 1029 796 1021 3 717 1316 66 701 541 623 703 1012 406 1341 1459 1098 610 1219 944 1115 237 1120 635 23 465 1324 61 33 974 478 975 1142 89 433 743 749 818 346 74 1309 67 1412 484 915 575 1047 1269 376 535 228 1470 1158 1235 1428 1059 216 322 24 142 1139 47 262 753 1146 246 1459 1430 431 18 640 392 1296 973 547 1245 767 94 1286 2 289 1088 831 895 9 729 515 553 1425 351 975 783 465 1360 861 51 511 1068 780 621 308 96 680 833 305 27 1414 722 547 488 407 745 747 1244 553 1006 393 1453 1309 41 550 215 813 873 1181 453 595 224 1018 238 364 710 650 584 941 712 1217 1396 1348 40 308 309 1314 412 1203 369 399 1003 538 373 703 1368 823 52 785 196 542 570 39 1470 986 466 262 219 646 82 211 876 358 1391 764 1153 1011 1087 1206 650 1090 435 315 606 906 764 1221 692 411 1214 49 1411 384 985 975 379 1381 107 623 1428 953 24 510 1419 927 103 723 107 752 515 228 1067 941 318 1042 347 509 213 1253 496 62 408 93 988 418 216 1059 1232 215 526 810 1201 821 498 923 326 742 215 1377 1399 1201 123 966 652 510 969 688 946 456 619 1153 1319 335 773 96 1477 1269 18 1124 359 1222 647 1092 1343 1288 1220 1113 1305 1050 1449 920 1093 469 333 1124 1473 814 1105 158 876 1019 134 914 44 789 287 353 1471 399 941 280 1360 501 166 350 173 913 1077 984 1007 1204 185 777 1183 618 377 855 1006 1013 1110 907 1207 45 1220 146 320 446 67 878 438 541 63 1353 666 1303 1440 1334 413 320 978 542 1296 392 14 312 591 680 421 878 85 1238 390 350 328 1337 
252.05/238.21	v 	</values>
252.05/238.21	v </instantiation>

Verifier Data 

OK	1479

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309911-1534328516/watcher-4309911-1534328516 -o /tmp/evaluation-result-4309911-1534328516/solver-4309911-1534328516 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534328516-21542 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1049116634 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4309911-1534328516.xml 

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

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


[startup+0.100092 s]*
/proc/loadavg: 0.58 0.58 0.65 5/215 21600
/proc/meminfo: memFree=24627960/32770624 swapFree=67108524/67108860
[pid=21567] ppid=21563 vsize=14082736 memory=30736 CPUtime=0.12 cores=1,3,5,7
/proc/21567/stat : 21567 (java) S 21563 21567 21510 0 -1 1077944320 6576 0 0 0 11 1 0 0 20 0 15 0 250414801 14420721664 7684 33554432000 4194304 4196468 140726679747104 140726679729648 140118805929719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
/proc/21567/statm: 3520684 7684 3159 1 0 3482761 0
[pid=21567/tid=21573] ppid=21563 vsize=14082736 memory=6735269665583770266 CPUtime=0.08 cores=1,3,5,7
/proc/21567/task/21573/stat : 21573 (java) R 21563 21567 21510 0 -1 4202560 4629 0 0 0 8 0 0 0 20 0 15 0 250414801 14420721664 7684 33554432000 4194304 4196468 140726679747104 140118810133536 140118805951645 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21575] ppid=21563 vsize=14082736 memory=4211974325136194954 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21575/stat : 21575 (java) S 21563 21567 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250414802 14420721664 7684 33554432000 4194304 4196468 140726679747104 140118758549776 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21576] ppid=21563 vsize=14082736 memory=140598931404416 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21576/stat : 21576 (java) S 21563 21567 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250414802 14420721664 7684 33554432000 4194304 4196468 140726679747104 140118757497232 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21577] ppid=21563 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21577/stat : 21577 (java) S 21563 21567 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250414802 14420721664 7684 33554432000 4194304 4196468 140726679747104 140118756444688 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21578] ppid=21563 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21578/stat : 21578 (java) S 21563 21567 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250414802 14420721664 7684 33554432000 4194304 4196468 140726679747104 140118755392144 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21583] ppid=21563 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21583/stat : 21583 (java) S 21563 21567 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250414804 14420721664 7684 33554432000 4194304 4196468 140726679747104 140117987600880 140118805940866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21585] ppid=21563 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21585/stat : 21585 (java) S 21563 21567 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250414804 14420721664 7684 33554432000 4194304 4196468 140726679747104 140117986547104 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21587] ppid=21563 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21587/stat : 21587 (java) S 21563 21567 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250414804 14420721664 7684 33554432000 4194304 4196468 140726679747104 140117985494512 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21589] ppid=21563 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21589/stat : 21589 (java) S 21563 21567 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250414807 14420721664 7684 33554432000 4194304 4196468 140726679747104 140117984443088 140118805948315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21590] ppid=21563 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21590/stat : 21590 (java) S 21563 21567 21510 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 250414807 14420721664 7684 33554432000 4194304 4196468 140726679747104 140117983389680 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21591] ppid=21563 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21591/stat : 21591 (java) S 21563 21567 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250414807 14420721664 7684 33554432000 4194304 4196468 140726679747104 140117982337136 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21592] ppid=21563 vsize=14082736 memory=140598931404416 CPUtime=0.01 cores=1,3,5,7
/proc/21567/task/21592/stat : 21592 (java) R 21563 21567 21510 0 -1 4202560 269 0 0 0 1 0 0 0 20 0 15 0 250414807 14420721664 7684 33554432000 4194304 4196468 140726679747104 140117981284592 140118791409990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21597] ppid=21563 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21597/stat : 21597 (java) S 21563 21567 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250414807 14420721664 7684 33554432000 4194304 4196468 140726679747104 140117980232288 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21599] ppid=21563 vsize=14082736 memory=140598931404416 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21599/stat : 21599 (java) S 21563 21567 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250414807 14420721664 7684 33554432000 4194304 4196468 140726679747104 140117979179824 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30736 KiB

[startup+0.21097 s]*
/proc/loadavg: 0.58 0.58 0.65 7/215 21600
/proc/meminfo: memFree=24596076/32770624 swapFree=67108524/67108860
[pid=21567] ppid=21563 vsize=14082736 memory=47056 CPUtime=0.3 cores=1,3,5,7
/proc/21567/stat : 21567 (java) S 21563 21567 21510 0 -1 1077944320 10370 0 0 0 28 2 0 0 20 0 15 0 250414801 14420721664 11764 33554432000 4194304 4196468 140726679747104 140726679729648 140118805929719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
/proc/21567/statm: 3520684 11764 3372 1 0 3482761 0
[pid=21567/tid=21573] ppid=21563 vsize=14082736 memory=4871374705135476842 CPUtime=0.2 cores=1,3,5,7
/proc/21567/task/21573/stat : 21573 (java) R 21563 21567 21510 0 -1 4202560 8076 0 0 0 19 1 0 0 20 0 15 0 250414801 14420721664 11764 33554432000 4194304 4196468 140726679747104 140118810156384 140118790010206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21575] ppid=21563 vsize=14082736 memory=4211974325136194954 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21575/stat : 21575 (java) S 21563 21567 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250414802 14420721664 11764 33554432000 4194304 4196468 140726679747104 140118758549776 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21576] ppid=21563 vsize=14082736 memory=140598931404416 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21576/stat : 21576 (java) S 21563 21567 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250414802 14420721664 11764 33554432000 4194304 4196468 140726679747104 140118757497232 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21577] ppid=21563 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21577/stat : 21577 (java) S 21563 21567 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250414802 14420721664 11764 33554432000 4194304 4196468 140726679747104 140118756444688 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21578] ppid=21563 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21578/stat : 21578 (java) S 21563 21567 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250414802 14420721664 11764 33554432000 4194304 4196468 140726679747104 140118755392144 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21583] ppid=21563 vsize=14082736 memory=140598931404416 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21583/stat : 21583 (java) S 21563 21567 21510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250414804 14420721664 11764 33554432000 4194304 4196468 140726679747104 140117987600880 140118805940866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21585] ppid=21563 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21585/stat : 21585 (java) S 21563 21567 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250414804 14420721664 11764 33554432000 4194304 4196468 140726679747104 140117986547104 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21587] ppid=21563 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21587/stat : 21587 (java) S 21563 21567 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250414804 14420721664 11764 33554432000 4194304 4196468 140726679747104 140117985494512 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21589] ppid=21563 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21589/stat : 21589 (java) S 21563 21567 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250414807 14420721664 11764 33554432000 4194304 4196468 140726679747104 140117984443088 140118805948315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21590] ppid=21563 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21567/task/21590/stat : 21590 (java) R 21563 21567 21510 0 -1 4202560 502 0 0 0 1 0 0 0 20 0 15 0 250414807 14420721664 11764 33554432000 4194304 4196468 140726679747104 140117983389680 140118791056120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21591] ppid=21563 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/21567/task/21591/stat : 21591 (java) S 21563 21567 21510 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 15 0 250414807 14420721664 11764 33554432000 4194304 4196468 140726679747104 140117982337136 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21592] ppid=21563 vsize=14082736 memory=140598931404416 CPUtime=0.05 cores=1,3,5,7
/proc/21567/task/21592/stat : 21592 (java) R 21563 21567 21510 0 -1 1077944384 315 0 0 0 5 0 0 0 20 0 15 0 250414807 14420721664 11764 33554432000 4194304 4196468 140726679747104 140117981284592 140118805940866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21597] ppid=21563 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21597/stat : 21597 (java) S 21563 21567 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250414807 14420721664 11764 33554432000 4194304 4196468 140726679747104 140117980232288 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21599] ppid=21563 vsize=14082736 memory=140598931404416 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21599/stat : 21599 (java) S 21563 21567 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250414807 14420721664 11764 33554432000 4194304 4196468 140726679747104 140117979179824 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47056 KiB

[startup+0.310575 s]*
/proc/loadavg: 0.58 0.58 0.65 4/215 21600
/proc/meminfo: memFree=24588676/32770624 swapFree=67108524/67108860
[pid=21567] ppid=21563 vsize=14082736 memory=50700 CPUtime=0.44 cores=1,3,5,7
/proc/21567/stat : 21567 (java) S 21563 21567 21510 0 -1 1077944320 10787 0 0 0 42 2 0 0 20 0 15 0 250414801 14420721664 12675 33554432000 4194304 4196468 140726679747104 140726679729648 140118805929719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
/proc/21567/statm: 3520684 12675 3382 1 0 3482761 0
[pid=21567/tid=21573] ppid=21563 vsize=14082736 memory=281197548667120 CPUtime=0.29 cores=1,3,5,7
/proc/21567/task/21573/stat : 21573 (java) R 21563 21567 21510 0 -1 4202560 8441 0 0 0 28 1 0 0 20 0 15 0 250414801 14420721664 12675 33554432000 4194304 4196468 140726679747104 140118810141232 140118789116528 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21575] ppid=21563 vsize=14082736 memory=4211974325136194954 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21575/stat : 21575 (java) S 21563 21567 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250414802 14420721664 12675 33554432000 4194304 4196468 140726679747104 140118758549776 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21576] ppid=21563 vsize=14082736 memory=140598931406773 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21576/stat : 21576 (java) S 21563 21567 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250414802 14420721664 12675 33554432000 4194304 4196468 140726679747104 140118757497232 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21577] ppid=21563 vsize=14082736 memory=140598774442573 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21577/stat : 21577 (java) S 21563 21567 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250414802 14420721664 12675 33554432000 4194304 4196468 140726679747104 140118756444688 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21578] ppid=21563 vsize=14082736 memory=140598774447055 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21578/stat : 21578 (java) S 21563 21567 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250414802 14420721664 12675 33554432000 4194304 4196468 140726679747104 140118755392144 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21583] ppid=21563 vsize=14082736 memory=140598931425926 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21583/stat : 21583 (java) S 21563 21567 21510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250414804 14420721664 12675 33554432000 4194304 4196468 140726679747104 140117987600880 140118805940866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21585] ppid=21563 vsize=14082736 memory=140598774447055 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21585/stat : 21585 (java) S 21563 21567 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250414804 14420721664 12675 33554432000 4194304 4196468 140726679747104 140117986547104 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21587] ppid=21563 vsize=14082736 memory=281197548914832 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21587/stat : 21587 (java) S 21563 21567 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250414804 14420721664 12675 33554432000 4194304 4196468 140726679747104 140117985494512 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21589] ppid=21563 vsize=14082736 memory=281197548912528 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21589/stat : 21589 (java) S 21563 21567 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250414807 14420721664 12675 33554432000 4194304 4196468 140726679747104 140117984443088 140118805948315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21590] ppid=21563 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21567/task/21590/stat : 21590 (java) S 21563 21567 21510 0 -1 1077944384 515 0 0 0 2 0 0 0 20 0 15 0 250414807 14420721664 12675 33554432000 4194304 4196468 140726679747104 140117983389680 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21591] ppid=21563 vsize=14082736 memory=2240 CPUtime=0.03 cores=1,3,5,7
/proc/21567/task/21591/stat : 21591 (java) S 21563 21567 21510 0 -1 1077944384 111 0 0 0 3 0 0 0 20 0 15 0 250414807 14420721664 12675 33554432000 4194304 4196468 140726679747104 140117982337136 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21592] ppid=21563 vsize=14082736 memory=140598931404416 CPUtime=0.07 cores=1,3,5,7
/proc/21567/task/21592/stat : 21592 (java) S 21563 21567 21510 0 -1 1077944384 336 0 0 0 7 0 0 0 20 0 15 0 250414807 14420721664 12675 33554432000 4194304 4196468 140726679747104 140117981284592 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21597] ppid=21563 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21597/stat : 21597 (java) S 21563 21567 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250414807 14420721664 12675 33554432000 4194304 4196468 140726679747104 140117980232288 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21599] ppid=21563 vsize=14082736 memory=140598931404416 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21599/stat : 21599 (java) S 21563 21567 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250414807 14420721664 12675 33554432000 4194304 4196468 140726679747104 140117979179824 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50700 KiB

[startup+0.700755 s]
/proc/loadavg: 0.58 0.58 0.65 3/215 21600
/proc/meminfo: memFree=24540680/32770624 swapFree=67108524/67108860
[pid=21567] ppid=21563 vsize=14084804 memory=88848 CPUtime=0.99 cores=1,3,5,7
/proc/21567/stat : 21567 (java) S 21563 21567 21510 0 -1 1077944320 17632 0 0 0 96 3 0 0 20 0 15 0 250414801 14422839296 22212 33554432000 4194304 4196468 140726679747104 140726679729648 140118805929719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
/proc/21567/statm: 3521201 22212 3498 1 0 3483273 0
[pid=21567/tid=21573] ppid=21563 vsize=14084804 memory=6068 CPUtime=0.67 cores=1,3,5,7
/proc/21567/task/21573/stat : 21573 (java) R 21563 21567 21510 0 -1 4202560 14887 0 0 0 65 2 0 0 20 0 15 0 250414801 14422839296 22212 33554432000 4194304 4196468 140726679747104 140118810142928 140118427520656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21575] ppid=21563 vsize=14084804 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21575/stat : 21575 (java) S 21563 21567 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250414802 14422839296 22212 33554432000 4194304 4196468 140726679747104 140118758549776 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21576] ppid=21563 vsize=14084804 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21576/stat : 21576 (java) S 21563 21567 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250414802 14422839296 22212 33554432000 4194304 4196468 140726679747104 140118757497232 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21577] ppid=21563 vsize=14084804 memory=7668879548562892096 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21577/stat : 21577 (java) S 21563 21567 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250414802 14422839296 22212 33554432000 4194304 4196468 140726679747104 140118756444688 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21578] ppid=21563 vsize=14084804 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21578/stat : 21578 (java) S 21563 21567 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250414802 14422839296 22212 33554432000 4194304 4196468 140726679747104 140118755392144 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21583] ppid=21563 vsize=14084804 memory=5787213844311467857 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21583/stat : 21583 (java) S 21563 21567 21510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250414804 14422839296 22212 33554432000 4194304 4196468 140726679747104 140117987600880 140118805940866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21585] ppid=21563 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21585/stat : 21585 (java) S 21563 21567 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250414804 14422839296 22212 33554432000 4194304 4196468 140726679747104 140117986547104 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21587] ppid=21563 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21587/stat : 21587 (java) S 21563 21567 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250414804 14422839296 22212 33554432000 4194304 4196468 140726679747104 140117985494512 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21589] ppid=21563 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21589/stat : 21589 (java) S 21563 21567 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250414807 14422839296 22212 33554432000 4194304 4196468 140726679747104 140117984443088 140118805948315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21590] ppid=21563 vsize=14084804 memory=1088 CPUtime=0.07 cores=1,3,5,7
/proc/21567/task/21590/stat : 21590 (java) S 21563 21567 21510 0 -1 1077944384 649 0 0 0 7 0 0 0 20 0 15 0 250414807 14422839296 22212 33554432000 4194304 4196468 140726679747104 140117983389680 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21591] ppid=21563 vsize=14084804 memory=14888 CPUtime=0.08 cores=1,3,5,7
/proc/21567/task/21591/stat : 21591 (java) S 21563 21567 21510 0 -1 1077944384 283 0 0 0 8 0 0 0 20 0 15 0 250414807 14422839296 22212 33554432000 4194304 4196468 140726679747104 140117982337136 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21592] ppid=21563 vsize=14084804 memory=37712 CPUtime=0.15 cores=1,3,5,7
/proc/21567/task/21592/stat : 21592 (java) S 21563 21567 21510 0 -1 1077944384 429 0 0 0 15 0 0 0 20 0 15 0 250414807 14422839296 22212 33554432000 4194304 4196468 140726679747104 140117981284592 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21597] ppid=21563 vsize=14084804 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21597/stat : 21597 (java) S 21563 21567 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250414807 14422839296 22212 33554432000 4194304 4196468 140726679747104 140117980232288 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21599] ppid=21563 vsize=14084804 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21599/stat : 21599 (java) S 21563 21567 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250414807 14422839296 22212 33554432000 4194304 4196468 140726679747104 140117979179824 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88848 KiB

[startup+1.50197 s]
/proc/loadavg: 0.58 0.58 0.65 6/215 21600
/proc/meminfo: memFree=24453804/32770624 swapFree=67108524/67108860
[pid=21567] ppid=21563 vsize=14086852 memory=237096 CPUtime=3.55 cores=1,3,5,7
/proc/21567/stat : 21567 (java) S 21563 21567 21510 0 -1 1077944320 23237 0 0 0 347 8 0 0 20 0 15 0 250414801 14424936448 59274 33554432000 4194304 4196468 140726679747104 140726679729648 140118805929719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
/proc/21567/statm: 3521713 59274 3567 1 0 3483785 0
[pid=21567/tid=21573] ppid=21563 vsize=14086852 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/21567/task/21573/stat : 21573 (java) R 21563 21567 21510 0 -1 4202560 15988 0 0 0 140 4 0 0 20 0 15 0 250414801 14424936448 59302 33554432000 4194304 4196468 140726679747104 140118810161744 140118430451630 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21575] ppid=21563 vsize=14086852 memory=185413738211483 CPUtime=0.01 cores=1,3,5,7
/proc/21567/task/21575/stat : 21575 (java) S 21563 21567 21510 0 -1 1077944384 312 0 0 0 1 0 0 0 20 0 15 0 250414802 14424936448 59302 33554432000 4194304 4196468 140726679747104 140118758549776 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21576] ppid=21563 vsize=14086852 memory=281197548874016 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21576/stat : 21576 (java) S 21563 21567 21510 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 250414802 14424936448 59302 33554432000 4194304 4196468 140726679747104 140118757497232 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21577] ppid=21563 vsize=14086852 memory=3833181415407878176 CPUtime=0.01 cores=1,3,5,7
/proc/21567/task/21577/stat : 21577 (java) S 21563 21567 21510 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 15 0 250414802 14424936448 59302 33554432000 4194304 4196468 140726679747104 140118756444688 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21578] ppid=21563 vsize=14086852 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21567/task/21578/stat : 21578 (java) S 21563 21567 21510 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 15 0 250414802 14424936448 59302 33554432000 4194304 4196468 140726679747104 140118755392144 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21583] ppid=21563 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21583/stat : 21583 (java) S 21563 21567 21510 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 15 0 250414804 14424936448 59302 33554432000 4194304 4196468 140726679747104 140117987600880 140118805940866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0

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

/proc/21567/task/21573/stat : 21573 (java) R 21563 21567 21510 0 -1 4202560 53369 0 0 0 9964 40 0 0 20 0 15 0 250414801 14429130752 1231195 33554432000 4194304 4196468 140726679747104 140118810159088 140118436657667 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21575] ppid=21563 vsize=14090948 memory=4924780 CPUtime=2.08 cores=1,3,5,7
/proc/21567/task/21575/stat : 21575 (java) S 21563 21567 21510 0 -1 1077944384 3727 0 0 0 137 71 0 0 20 0 15 0 250414802 14429130752 1231195 33554432000 4194304 4196468 140726679747104 140118758549776 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21576] ppid=21563 vsize=14090948 memory=3712 CPUtime=2.06 cores=1,3,5,7
/proc/21567/task/21576/stat : 21576 (java) S 21563 21567 21510 0 -1 1077944384 6117 0 0 0 128 78 0 0 20 0 15 0 250414802 14429130752 1231195 33554432000 4194304 4196468 140726679747104 140118757497232 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21577] ppid=21563 vsize=14090948 memory=4924780 CPUtime=2.06 cores=1,3,5,7
/proc/21567/task/21577/stat : 21577 (java) S 21563 21567 21510 0 -1 1077944384 5735 0 0 0 133 73 0 0 20 0 15 0 250414802 14429130752 1231195 33554432000 4194304 4196468 140726679747104 140118756444688 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21578] ppid=21563 vsize=14090948 memory=4465 CPUtime=2.04 cores=1,3,5,7
/proc/21567/task/21578/stat : 21578 (java) S 21563 21567 21510 0 -1 1077944384 5434 0 0 0 125 79 0 0 20 0 15 0 250414802 14429130752 1231195 33554432000 4194304 4196468 140726679747104 140118755392144 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21583] ppid=21563 vsize=14090948 memory=4420 CPUtime=0.11 cores=1,3,5,7
/proc/21567/task/21583/stat : 21583 (java) S 21563 21567 21510 0 -1 1077944384 4002 0 0 0 11 0 0 0 20 0 15 0 250414804 14429130752 1231195 33554432000 4194304 4196468 140726679747104 140117987600880 140118805940866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21585] ppid=21563 vsize=14090948 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21585/stat : 21585 (java) S 21563 21567 21510 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250414804 14429130752 1231195 33554432000 4194304 4196468 140726679747104 140117986547168 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21587] ppid=21563 vsize=14090948 memory=68136 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21587/stat : 21587 (java) S 21563 21567 21510 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 250414804 14429130752 1231195 33554432000 4194304 4196468 140726679747104 140117985494528 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21589] ppid=21563 vsize=14090948 memory=281197549601696 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21589/stat : 21589 (java) S 21563 21567 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250414807 14429130752 1231195 33554432000 4194304 4196468 140726679747104 140117984443088 140118805948315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21590] ppid=21563 vsize=14090948 memory=7812726576340533336 CPUtime=3.13 cores=1,3,5,7
/proc/21567/task/21590/stat : 21590 (java) S 21563 21567 21510 0 -1 1077944384 6251 0 0 0 312 1 0 0 20 0 15 0 250414807 14429130752 1231195 33554432000 4194304 4196468 140726679747104 140117983389680 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21591] ppid=21563 vsize=14090948 memory=68136 CPUtime=2.94 cores=1,3,5,7
/proc/21567/task/21591/stat : 21591 (java) S 21563 21567 21510 0 -1 1077944384 7570 0 0 0 292 2 0 0 20 0 15 0 250414807 14429130752 1231195 33554432000 4194304 4196468 140726679747104 140117982337136 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21592] ppid=21563 vsize=14090948 memory=1064 CPUtime=0.98 cores=1,3,5,7
/proc/21567/task/21592/stat : 21592 (java) S 21563 21567 21510 0 -1 1077944384 7794 0 0 0 96 2 0 0 20 0 15 0 250414807 14429130752 1231195 33554432000 4194304 4196468 140726679747104 140117981284592 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21597] ppid=21563 vsize=14090948 memory=56 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21597/stat : 21597 (java) S 21563 21567 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250414807 14429130752 1231195 33554432000 4194304 4196468 140726679747104 140117980232288 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21599] ppid=21563 vsize=14090948 memory=281197549140640 CPUtime=0.05 cores=1,3,5,7
/proc/21567/task/21599/stat : 21599 (java) S 21563 21567 21510 0 -1 1077944384 266 0 0 0 3 2 0 0 20 0 15 0 250414807 14429130752 1231195 33554432000 4194304 4196468 140726679747104 140117979179824 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
Current children cumulated CPU time: 115.57 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 4924780 KiB

[startup+162.301 s]
/proc/loadavg: 1.57 1.03 0.81 3/215 21602
/proc/meminfo: memFree=18689976/32770624 swapFree=67108524/67108860
[pid=21567] ppid=21563 vsize=14090948 memory=4925056 CPUtime=175.82 cores=1,3,5,7
/proc/21567/stat : 21567 (java) S 21563 21567 21510 0 -1 1077944320 120254 0 0 0 17224 358 0 0 20 0 15 0 250414801 14429130752 1231264 33554432000 4194304 4196468 140726679747104 140726679729648 140118805929719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
/proc/21567/statm: 3522737 1231264 3610 1 0 3484809 0
[pid=21567/tid=21573] ppid=21563 vsize=14090948 memory=4925056 CPUtime=159.98 cores=1,3,5,7
/proc/21567/task/21573/stat : 21573 (java) R 21563 21567 21510 0 -1 4202560 66233 0 0 0 15955 43 0 0 20 0 15 0 250414801 14429130752 1231264 33554432000 4194304 4196468 140726679747104 140118810159328 140118436657729 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21575] ppid=21563 vsize=14090948 memory=4925056 CPUtime=2.14 cores=1,3,5,7
/proc/21567/task/21575/stat : 21575 (java) S 21563 21567 21510 0 -1 1077944384 4825 0 0 0 143 71 0 0 20 0 15 0 250414802 14429130752 1231264 33554432000 4194304 4196468 140726679747104 140118758549776 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21576] ppid=21563 vsize=14090948 memory=4924956 CPUtime=2.11 cores=1,3,5,7
/proc/21567/task/21576/stat : 21576 (java) S 21563 21567 21510 0 -1 1077944384 6911 0 0 0 133 78 0 0 20 0 15 0 250414802 14429130752 1231264 33554432000 4194304 4196468 140726679747104 140118757497232 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21577] ppid=21563 vsize=14090948 memory=4924960 CPUtime=2.12 cores=1,3,5,7
/proc/21567/task/21577/stat : 21577 (java) S 21563 21567 21510 0 -1 1077944384 6328 0 0 0 139 73 0 0 20 0 15 0 250414802 14429130752 1231264 33554432000 4194304 4196468 140726679747104 140118756444688 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21578] ppid=21563 vsize=14090948 memory=4924960 CPUtime=2.1 cores=1,3,5,7
/proc/21567/task/21578/stat : 21578 (java) S 21563 21567 21510 0 -1 1077944384 6619 0 0 0 131 79 0 0 20 0 15 0 250414802 14429130752 1231264 33554432000 4194304 4196468 140726679747104 140118755392144 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21583] ppid=21563 vsize=14090948 memory=4925056 CPUtime=0.11 cores=1,3,5,7
/proc/21567/task/21583/stat : 21583 (java) S 21563 21567 21510 0 -1 1077944384 4277 0 0 0 11 0 0 0 20 0 15 0 250414804 14429130752 1231264 33554432000 4194304 4196468 140726679747104 140117987600880 140118805940866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21585] ppid=21563 vsize=14090948 memory=4925056 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21585/stat : 21585 (java) S 21563 21567 21510 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250414804 14429130752 1231264 33554432000 4194304 4196468 140726679747104 140117986547168 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21587] ppid=21563 vsize=14090948 memory=4925056 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21587/stat : 21587 (java) S 21563 21567 21510 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 250414804 14429130752 1231264 33554432000 4194304 4196468 140726679747104 140117985494528 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21589] ppid=21563 vsize=14090948 memory=4925056 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21589/stat : 21589 (java) S 21563 21567 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250414807 14429130752 1231264 33554432000 4194304 4196468 140726679747104 140117984443088 140118805948315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21590] ppid=21563 vsize=14090948 memory=4925056 CPUtime=3.13 cores=1,3,5,7
/proc/21567/task/21590/stat : 21590 (java) S 21563 21567 21510 0 -1 1077944384 6254 0 0 0 312 1 0 0 20 0 15 0 250414807 14429130752 1231264 33554432000 4194304 4196468 140726679747104 140117983389680 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21591] ppid=21563 vsize=14090948 memory=4925056 CPUtime=2.94 cores=1,3,5,7
/proc/21567/task/21591/stat : 21591 (java) S 21563 21567 21510 0 -1 1077944384 7688 0 0 0 292 2 0 0 20 0 15 0 250414807 14429130752 1231264 33554432000 4194304 4196468 140726679747104 140117982337136 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21592] ppid=21563 vsize=14090948 memory=4925056 CPUtime=1 cores=1,3,5,7
/proc/21567/task/21592/stat : 21592 (java) S 21563 21567 21510 0 -1 1077944384 9397 0 0 0 98 2 0 0 20 0 15 0 250414807 14429130752 1231264 33554432000 4194304 4196468 140726679747104 140117981284592 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21597] ppid=21563 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21597/stat : 21597 (java) S 21563 21567 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250414807 14429130752 1231264 33554432000 4194304 4196468 140726679747104 140117980232288 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21599] ppid=21563 vsize=14090948 memory=4925056 CPUtime=0.09 cores=1,3,5,7
/proc/21567/task/21599/stat : 21599 (java) S 21563 21567 21510 0 -1 1077944384 308 0 0 0 5 4 0 0 20 0 15 0 250414807 14429130752 1231264 33554432000 4194304 4196468 140726679747104 140117979179824 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
Current children cumulated CPU time: 175.82 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 4925056 KiB

[startup+222.301 s]
/proc/loadavg: 1.45 1.09 0.84 3/215 21604
/proc/meminfo: memFree=18689068/32770624 swapFree=67108524/67108860
[pid=21567] ppid=21563 vsize=14090948 memory=4925252 CPUtime=236.09 cores=1,3,5,7
/proc/21567/stat : 21567 (java) S 21563 21567 21510 0 -1 1077944320 141643 0 0 0 23246 363 0 0 20 0 15 0 250414801 14429130752 1231313 33554432000 4194304 4196468 140726679747104 140726679729648 140118805929719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
/proc/21567/statm: 3522737 1231313 3610 1 0 3484809 0
[pid=21567/tid=21573] ppid=21563 vsize=14090948 memory=4925252 CPUtime=219.91 cores=1,3,5,7
/proc/21567/task/21573/stat : 21573 (java) R 21563 21567 21510 0 -1 4202560 80696 0 0 0 21945 46 0 0 20 0 15 0 250414801 14429130752 1231313 33554432000 4194304 4196468 140726679747104 140118810159632 140118436657720 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21575] ppid=21563 vsize=14090948 memory=4925252 CPUtime=2.2 cores=1,3,5,7
/proc/21567/task/21575/stat : 21575 (java) S 21563 21567 21510 0 -1 1077944384 5640 0 0 0 149 71 0 0 20 0 15 0 250414802 14429130752 1231313 33554432000 4194304 4196468 140726679747104 140118758549776 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21576] ppid=21563 vsize=14090948 memory=4925252 CPUtime=2.17 cores=1,3,5,7
/proc/21567/task/21576/stat : 21576 (java) S 21563 21567 21510 0 -1 1077944384 7198 0 0 0 139 78 0 0 20 0 15 0 250414802 14429130752 1231313 33554432000 4194304 4196468 140726679747104 140118757497232 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21577] ppid=21563 vsize=14090948 memory=56 CPUtime=2.19 cores=1,3,5,7
/proc/21567/task/21577/stat : 21577 (java) S 21563 21567 21510 0 -1 1077944384 7905 0 0 0 145 74 0 0 20 0 15 0 250414802 14429130752 1231313 33554432000 4194304 4196468 140726679747104 140118756444688 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21578] ppid=21563 vsize=14090948 memory=4925252 CPUtime=2.16 cores=1,3,5,7
/proc/21567/task/21578/stat : 21578 (java) S 21563 21567 21510 0 -1 1077944384 7287 0 0 0 137 79 0 0 20 0 15 0 250414802 14429130752 1231313 33554432000 4194304 4196468 140726679747104 140118755392144 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21583] ppid=21563 vsize=14090948 memory=4925252 CPUtime=0.12 cores=1,3,5,7
/proc/21567/task/21583/stat : 21583 (java) S 21563 21567 21510 0 -1 1077944384 4501 0 0 0 11 1 0 0 20 0 15 0 250414804 14429130752 1231313 33554432000 4194304 4196468 140726679747104 140117987600880 140118805940866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21585] ppid=21563 vsize=14090948 memory=4925252 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21585/stat : 21585 (java) S 21563 21567 21510 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250414804 14429130752 1231313 33554432000 4194304 4196468 140726679747104 140117986547168 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21587] ppid=21563 vsize=14090948 memory=4925252 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21587/stat : 21587 (java) S 21563 21567 21510 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 250414804 14429130752 1231313 33554432000 4194304 4196468 140726679747104 140117985494528 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21589] ppid=21563 vsize=14090948 memory=4925252 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21589/stat : 21589 (java) S 21563 21567 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250414807 14429130752 1231313 33554432000 4194304 4196468 140726679747104 140117984443088 140118805948315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21590] ppid=21563 vsize=14090948 memory=4925252 CPUtime=3.14 cores=1,3,5,7
/proc/21567/task/21590/stat : 21590 (java) S 21563 21567 21510 0 -1 1077944384 6257 0 0 0 313 1 0 0 20 0 15 0 250414807 14429130752 1231313 33554432000 4194304 4196468 140726679747104 140117983389680 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21591] ppid=21563 vsize=14090948 memory=4925252 CPUtime=2.98 cores=1,3,5,7
/proc/21567/task/21591/stat : 21591 (java) S 21563 21567 21510 0 -1 1077944384 8960 0 0 0 296 2 0 0 20 0 15 0 250414807 14429130752 1231313 33554432000 4194304 4196468 140726679747104 140117982337136 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21592] ppid=21563 vsize=14090948 memory=2964 CPUtime=1.02 cores=1,3,5,7
/proc/21567/task/21592/stat : 21592 (java) S 21563 21567 21510 0 -1 1077944384 11427 0 0 0 99 3 0 0 20 0 15 0 250414807 14429130752 1231313 33554432000 4194304 4196468 140726679747104 140117981284592 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21597] ppid=21563 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21597/stat : 21597 (java) S 21563 21567 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250414807 14429130752 1231313 33554432000 4194304 4196468 140726679747104 140117980232288 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21599] ppid=21563 vsize=14090948 memory=1740 CPUtime=0.12 cores=1,3,5,7
/proc/21567/task/21599/stat : 21599 (java) S 21563 21567 21510 0 -1 1077944384 357 0 0 0 6 6 0 0 20 0 15 0 250414807 14429130752 1231313 33554432000 4194304 4196468 140726679747104 140117979179824 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
Current children cumulated CPU time: 236.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 4925252 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+238.201 s]
/proc/loadavg: 1.40 1.10 0.85 3/215 21604
/proc/meminfo: memFree=18688696/32770624 swapFree=67108524/67108860
[pid=21567] ppid=21563 vsize=14090948 memory=4925692 CPUtime=252.05 cores=1,3,5,7
/proc/21567/stat : 21567 (java) S 21563 21567 21510 0 -1 1077944320 154681 0 0 0 24840 365 0 0 20 0 15 0 250414801 14429130752 1231423 33554432000 4194304 4196468 140726679747104 140726679729648 140118805929719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
/proc/21567/statm: 3522737 1231423 3610 1 0 3484809 0
[pid=21567/tid=21573] ppid=21563 vsize=14090948 memory=288230596050944315 CPUtime=235.79 cores=1,3,5,7
/proc/21567/task/21573/stat : 21573 (java) R 21563 21567 21510 0 -1 4202560 90151 0 0 0 23532 47 0 0 20 0 15 0 250414801 14429130752 1231423 33554432000 4194304 4196468 140726679747104 140118810159632 140118436657955 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21575] ppid=21563 vsize=14090948 memory=15258134151170443 CPUtime=2.22 cores=1,3,5,7
/proc/21567/task/21575/stat : 21575 (java) S 21563 21567 21510 0 -1 1077944384 6903 0 0 0 151 71 0 0 20 0 15 0 250414802 14429130752 1231423 33554432000 4194304 4196468 140726679747104 140118758549776 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21576] ppid=21563 vsize=14090948 memory=0 CPUtime=2.19 cores=1,3,5,7
/proc/21567/task/21576/stat : 21576 (java) S 21563 21567 21510 0 -1 1077944384 7856 0 0 0 140 79 0 0 20 0 15 0 250414802 14429130752 1231423 33554432000 4194304 4196468 140726679747104 140118757497232 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21577] ppid=21563 vsize=14090948 memory=281197549103296 CPUtime=2.2 cores=1,3,5,7
/proc/21567/task/21577/stat : 21577 (java) S 21563 21567 21510 0 -1 1077944384 8167 0 0 0 146 74 0 0 20 0 15 0 250414802 14429130752 1231423 33554432000 4194304 4196468 140726679747104 140118756444688 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21578] ppid=21563 vsize=14090948 memory=140598774616216 CPUtime=2.18 cores=1,3,5,7
/proc/21567/task/21578/stat : 21578 (java) S 21563 21567 21510 0 -1 1077944384 8065 0 0 0 139 79 0 0 20 0 15 0 250414802 14429130752 1231423 33554432000 4194304 4196468 140726679747104 140118755392144 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21583] ppid=21563 vsize=14090948 memory=804 CPUtime=0.12 cores=1,3,5,7
/proc/21567/task/21583/stat : 21583 (java) S 21563 21567 21510 0 -1 1077944384 4707 0 0 0 11 1 0 0 20 0 15 0 250414804 14429130752 1231423 33554432000 4194304 4196468 140726679747104 140117987600880 140118805940866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21585] ppid=21563 vsize=14090948 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21585/stat : 21585 (java) S 21563 21567 21510 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250414804 14429130752 1231423 33554432000 4194304 4196468 140726679747104 140117986547168 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21587] ppid=21563 vsize=14090948 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21587/stat : 21587 (java) S 21563 21567 21510 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 250414804 14429130752 1231423 33554432000 4194304 4196468 140726679747104 140117985494528 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21589] ppid=21563 vsize=14090948 memory=920 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21589/stat : 21589 (java) S 21563 21567 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250414807 14429130752 1231423 33554432000 4194304 4196468 140726679747104 140117984443088 140118805948315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21590] ppid=21563 vsize=14090948 memory=3796 CPUtime=3.14 cores=1,3,5,7
/proc/21567/task/21590/stat : 21590 (java) S 21563 21567 21510 0 -1 1077944384 6257 0 0 0 313 1 0 0 20 0 15 0 250414807 14429130752 1231423 33554432000 4194304 4196468 140726679747104 140117983389680 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21591] ppid=21563 vsize=14090948 memory=2300 CPUtime=2.98 cores=1,3,5,7
/proc/21567/task/21591/stat : 21591 (java) S 21563 21567 21510 0 -1 1077944384 8960 0 0 0 296 2 0 0 20 0 15 0 250414807 14429130752 1231423 33554432000 4194304 4196468 140726679747104 140117982337136 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21592] ppid=21563 vsize=14090948 memory=2300 CPUtime=1.02 cores=1,3,5,7
/proc/21567/task/21592/stat : 21592 (java) S 21563 21567 21510 0 -1 1077944384 11836 0 0 0 99 3 0 0 20 0 15 0 250414807 14429130752 1231423 33554432000 4194304 4196468 140726679747104 140117981284592 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21597] ppid=21563 vsize=14090948 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/21567/task/21597/stat : 21597 (java) S 21563 21567 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250414807 14429130752 1231423 33554432000 4194304 4196468 140726679747104 140117980232288 140118805939925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
[pid=21567/tid=21599] ppid=21563 vsize=14090948 memory=1408 CPUtime=0.14 cores=1,3,5,7
/proc/21567/task/21599/stat : 21599 (java) S 21563 21567 21510 0 -1 1077944384 364 0 0 0 7 7 0 0 20 0 15 0 250414807 14429130752 1231423 33554432000 4194304 4196468 140726679747104 140117979179824 140118805940866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8478720 140726679753806 140726679753998 140726679753998 140726679756751 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 4925692 KiB

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

[startup+238.239 s]
# the end of solver process 21567 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=248.423 s, system=3.68843 s

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

Child status: 143
Real time (s): 238.239
CPU time (s): 252.111
CPU user time (s): 248.423
CPU system time (s): 3.68843
CPU usage (%): 105.823
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 4925692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.423
system time used= 3.68843
maximum resident set size= 4926312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155292
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9327
involuntary context switches= 266


# summary of solver processes directly reported to runsolver:
#   pid: 21567
#   total CPU time (s): 252.111
#   total CPU user time (s): 248.423
#   total CPU system time (s): 3.68843

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.59527 second user time and 2.29684 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-15 12:21:56
IDJOB=4309911
IDBENCH=141138
IDSOLVER=2795
FILE ID=node107/4309911-1534328516
RUNJOBID= node107-1534328516-21542
PBS_JOBID= 21038151
Free space on /tmp= 42292 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
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 NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309911-1534328516/watcher-4309911-1534328516 -o /tmp/evaluation-result-4309911-1534328516/solver-4309911-1534328516 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534328516-21542 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1049116634 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4309911-1534328516.xml

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

MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76
RANDOM SEED=1049116634

node107.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.40
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.40
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.40
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.40
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:        24664584 kB
MemAvailable:   31896968 kB
Buffers:          210276 kB
Cached:          7250232 kB
SwapCached:           20 kB
Active:          3992492 kB
Inactive:        3522572 kB
Active(anon):       3356 kB
Inactive(anon):   111372 kB
Active(file):    3989136 kB
Inactive(file):  3411200 kB
Unevictable:        6980 kB
Mlocked:            6980 kB
SwapTotal:      67108860 kB
SwapFree:       67108524 kB
Dirty:             72508 kB
Writeback:             8 kB
AnonPages:         61020 kB
Mapped:            54744 kB
Shmem:             57824 kB
Slab:             288700 kB
SReclaimable:     260508 kB
SUnreclaim:        28192 kB
KernelStack:        3136 kB
PageTables:         4884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     358504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 42220 MiB
End job on node107 at 2018-08-15 12:25:55