Trace number 4293233

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
Concrete 3.8 2018-06-13SAT (TO)7 2520.09 2460.94

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.99/0.74	c Concrete v3.8.1528841891564 running
145.46/117.79	o 2029
152.01/123.22	o 2028
153.16/124.06	o 2027
154.14/124.73	o 2026
155.00/125.46	o 2025
155.87/126.11	o 2024
156.64/126.73	o 2023
157.37/127.42	o 2022
158.16/128.11	o 2021
158.85/128.82	o 2020
159.45/129.45	o 2019
160.16/130.14	o 2018
160.97/130.83	o 2017
161.67/131.51	o 2016
162.28/132.16	o 2015
162.96/132.77	o 2014
163.67/133.43	o 2013
164.28/134.09	o 2012
164.88/134.67	o 2011
165.48/135.26	o 2010
166.09/135.88	o 2009
166.95/136.67	o 2008
167.46/137.19	o 2007
168.16/137.83	o 2006
168.66/138.36	o 2005
169.55/139.08	o 2004
170.14/139.69	o 2003
171.06/140.40	o 2002
171.77/141.11	o 2001
172.36/141.71	o 2000
172.87/142.27	o 1999
173.52/142.87	o 1998
174.12/143.43	o 1997
174.62/143.98	o 1996
175.22/144.50	o 1995
175.73/145.02	o 1994
176.32/145.61	o 1993
176.84/146.19	o 1992
177.48/146.71	o 1991
178.08/147.35	o 1990
178.68/147.95	o 1989
179.18/148.48	o 1988
179.87/149.08	o 1987
180.46/149.69	o 1986
181.06/150.25	o 1985
181.76/150.90	o 1984
182.29/151.45	o 1983
182.90/152.09	o 1982
183.49/152.60	o 1981
183.90/153.10	o 1980
184.61/153.71	o 1979
185.11/154.26	o 1978
185.77/154.81	o 1977
186.27/155.40	o 1976
186.87/155.90	o 1975
187.37/156.40	o 1974
187.77/156.89	o 1973
188.47/157.53	o 1972
189.17/158.21	o 1971
189.57/158.67	o 1970
190.08/159.15	o 1969
190.58/159.61	o 1968
190.99/160.06	o 1967
191.48/160.51	o 1966
191.94/160.98	o 1965
192.44/161.40	o 1964
193.05/162.06	o 1963
193.64/162.61	o 1962
194.15/163.17	o 1961
194.64/163.64	o 1960
195.15/164.14	o 1959
195.54/164.59	o 1958
196.05/165.08	o 1957
196.54/165.54	o 1956
196.94/165.97	o 1955
197.44/166.41	o 1954
197.90/166.86	o 1953
198.51/167.47	o 1952
199.31/168.28	o 1951
199.81/168.77	o 1950
200.41/169.31	o 1949
200.91/169.83	o 1948
201.41/170.35	o 1947
201.92/170.84	o 1946
202.42/171.31	o 1945
202.83/171.79	o 1944
203.33/172.24	o 1943
203.73/172.69	o 1942
204.29/173.15	o 1941
204.68/173.57	o 1940
205.29/174.16	o 1939
205.78/174.69	o 1938
206.39/175.20	o 1937
206.79/175.68	o 1936
207.30/176.17	o 1935
207.79/176.61	o 1934
208.20/177.05	o 1933
208.69/177.51	o 1932
209.09/177.95	o 1931
209.49/178.38	o 1930
210.00/178.80	o 1929
210.45/179.21	o 1928
210.75/179.58	o 1927
211.15/179.96	o 1926
211.55/180.30	o 1925
211.85/180.65	o 1924
212.45/181.28	o 1923
213.05/181.88	o 1922
213.65/182.41	o 1921
214.15/182.91	o 1920
214.75/183.51	o 1919
215.26/184.08	o 1918
215.86/184.62	o 1917
216.42/185.13	o 1916
216.91/185.66	o 1915
217.42/186.13	o 1914
217.91/186.62	o 1913
218.32/187.09	o 1912
218.81/187.57	o 1911
219.32/188.01	o 1910
219.71/188.48	o 1909
220.21/188.92	o 1908
220.61/189.33	o 1907
221.01/189.75	o 1906
221.61/190.31	o 1905
222.11/190.85	o 1904
222.65/191.34	o 1903
223.16/191.82	o 1902
223.66/192.30	o 1901
224.06/192.76	o 1900
224.56/193.21	o 1899
224.96/193.65	o 1898
225.37/194.10	o 1897
225.86/194.53	o 1896
226.27/194.93	o 1895
226.67/195.36	o 1894
227.07/195.76	o 1893
227.48/196.15	o 1892
227.87/196.56	o 1891
228.28/196.94	o 1890
228.74/197.34	o 1889
229.14/197.72	o 1888
229.45/198.10	o 1887
229.84/198.46	o 1886
230.24/198.83	o 1885
230.55/199.18	o 1884
230.94/199.52	o 1883
231.55/200.14	o 1882
232.04/200.67	o 1881
232.65/201.26	o 1880
233.19/201.80	o 1879
233.79/202.31	o 1878
234.29/202.80	o 1877
234.84/203.31	o 1876
235.24/203.79	o 1875
235.74/204.29	o 1874
236.35/204.81	o 1873
236.75/205.29	o 1872
237.25/205.76	o 1871
237.75/206.22	o 1870
238.25/206.70	o 1869
238.75/207.20	o 1868
239.15/207.67	o 1867
239.66/208.13	o 1866
240.05/208.58	o 1865
240.56/209.01	o 1864
241.01/209.47	o 1863
241.41/209.89	o 1862
241.91/210.33	o 1861
242.31/210.74	o 1860
242.72/211.15	o 1859
243.11/211.54	o 1858
243.51/211.92	o 1857
244.01/212.44	o 1856
244.62/213.03	o 1855
245.11/213.56	o 1854
245.65/214.07	o 1853
246.25/214.66	o 1852
246.75/215.19	o 1851
247.39/215.70	o 1850
247.80/216.17	o 1849
248.29/216.64	o 1848
248.80/217.11	o 1847
249.19/217.55	o 1846
249.59/218.00	o 1845
250.09/218.45	o 1844
250.59/218.90	o 1843
250.99/219.31	o 1842
251.39/219.76	o 1841
251.89/220.20	o 1840
252.29/220.62	o 1839
252.70/221.04	o 1838
253.16/221.48	o 1837
253.66/221.91	o 1836
254.06/222.33	o 1835
254.46/222.74	o 1834
254.88/223.16	o 1833
255.27/223.59	o 1832
255.67/223.99	o 1831
256.07/224.40	o 1830
256.47/224.79	o 1829
256.88/225.19	o 1828
257.37/225.60	o 1827
257.67/225.99	o 1826
258.07/226.38	o 1825
258.67/226.95	o 1824
259.33/227.55	o 1823
259.84/228.09	o 1822
260.43/228.64	o 1821
261.03/229.21	o 1820
261.53/229.75	o 1819
262.03/230.27	o 1818
262.53/230.75	o 1817
263.04/231.24	o 1816
263.54/231.71	o 1815
263.95/232.18	o 1814
264.44/232.67	o 1813
264.95/233.14	o 1812
265.44/233.63	o 1811
265.90/234.07	o 1810
266.39/234.55	o 1809
266.79/234.98	o 1808
267.29/235.42	o 1807
267.70/235.86	o 1806
268.10/236.30	o 1805
268.60/236.74	o 1804
269.01/237.13	o 1803
269.40/237.53	o 1802
269.80/237.92	o 1801
270.20/238.30	o 1800
270.50/238.68	o 1799
270.91/239.05	o 1798
271.30/239.41	o 1797
271.77/239.80	o 1796
272.08/240.15	o 1795
272.37/240.48	o 1794
272.77/240.83	o 1793
273.08/241.17	o 1792
273.47/241.51	o 1791
273.78/241.85	o 1790
274.09/242.18	o 1789
274.49/242.51	o 1788
274.79/242.84	o 1787
275.10/243.16	o 1786
275.39/243.49	o 1785
275.89/244.00	o 1784
276.69/244.78	o 1783
277.29/245.31	o 1782
277.84/245.86	o 1781
278.34/246.38	o 1780
278.94/246.91	o 1779
279.44/247.44	o 1778
279.96/247.96	o 1777
280.46/248.46	o 1776
280.96/248.94	o 1775
281.36/249.38	o 1774
281.87/249.84	o 1773
282.27/250.29	o 1772
282.77/250.72	o 1771
283.18/251.15	o 1770
283.58/251.57	o 1769
284.15/252.01	o 1768
284.54/252.44	o 1767
284.94/252.84	o 1766
285.34/253.25	o 1765
285.74/253.64	o 1764
286.15/254.04	o 1763
286.54/254.43	o 1762
286.94/254.82	o 1761
287.34/255.20	o 1760
287.64/255.57	o 1759
288.04/255.93	o 1758
288.44/256.30	o 1757
288.74/256.67	o 1756
289.15/257.02	o 1755
289.44/257.37	o 1754
289.84/257.71	o 1753
290.20/258.07	o 1752
290.60/258.42	o 1751
290.90/258.74	o 1750
291.20/259.07	o 1749
291.60/259.40	o 1748
291.80/259.69	o 1747
292.10/259.98	o 1746
292.40/260.27	o 1745
292.70/260.55	o 1744
292.99/260.81	o 1743
293.20/261.05	o 1742
293.39/261.28	o 1741
293.70/261.51	o 1740
293.90/261.74	o 1739
294.10/261.96	o 1738
294.30/262.17	o 1737
294.50/262.37	o 1736
294.70/262.57	o 1735
294.90/262.76	o 1734
295.10/262.96	o 1733
295.31/263.15	o 1732
296.00/263.72	o 1731
296.50/264.28	o 1730
297.10/264.84	o 1729
297.60/265.37	o 1728
298.20/265.93	o 1727
298.70/266.42	o 1726
299.20/266.92	o 1725
299.70/267.48	o 1724
300.20/267.96	o 1723
300.70/268.47	o 1722
301.20/268.98	o 1721
301.70/269.46	o 1720
302.26/269.95	o 1719
302.76/270.44	o 1718
303.16/270.89	o 1717
303.74/271.37	o 1716
304.24/271.85	o 1715
304.64/272.28	o 1714
305.14/272.73	o 1713
305.64/273.20	o 1712
306.04/273.63	o 1711
306.46/274.07	o 1710
306.86/274.48	o 1709
307.36/274.90	o 1708
307.76/275.32	o 1707
308.22/275.76	o 1706
308.63/276.16	o 1705
309.02/276.56	o 1704
309.42/276.93	o 1703
309.82/277.30	o 1702
310.12/277.65	o 1701
310.42/277.98	o 1700
310.82/278.32	o 1699
311.12/278.66	o 1698
311.42/278.99	o 1697
311.82/279.33	o 1696
312.12/279.65	o 1695
312.43/279.98	o 1694
312.73/280.28	o 1693
313.03/280.60	o 1692
313.33/280.89	o 1691
313.64/281.19	o 1690
313.95/281.48	o 1689
314.32/281.79	o 1688
314.62/282.06	o 1687
314.92/282.32	o 1686
315.12/282.58	o 1685
315.42/282.84	o 1684
315.63/283.10	o 1683
315.92/283.36	o 1682
316.22/283.61	o 1681
316.42/283.87	o 1680
316.73/284.12	o 1679
316.92/284.37	o 1678
317.22/284.61	o 1677
317.42/284.83	o 1676
317.63/285.04	o 1675
317.82/285.26	o 1674
318.02/285.47	o 1673
318.22/285.68	o 1672
318.42/285.88	o 1671
318.63/286.08	o 1670
318.82/286.27	o 1669
319.52/286.95	o 1668
320.07/287.48	o 1667
320.57/288.00	o 1666
321.07/288.47	o 1665
321.57/288.94	o 1664
322.08/289.41	o 1663
322.48/289.89	o 1662
322.98/290.37	o 1661
323.48/290.80	o 1660
323.89/291.25	o 1659
324.29/291.69	o 1658
324.69/292.09	o 1657
325.19/292.53	o 1656
325.58/292.95	o 1655
326.05/293.37	o 1654
326.45/293.77	o 1653
326.86/294.16	o 1652
327.24/294.53	o 1651
327.54/294.90	o 1650
327.94/295.24	o 1649
328.24/295.57	o 1648
328.64/295.90	o 1647
328.96/296.24	o 1646
329.27/296.57	o 1645
329.67/296.91	o 1644
329.97/297.24	o 1643
330.27/297.55	o 1642
330.57/297.88	o 1641
330.88/298.19	o 1640
331.27/298.50	o 1639
331.57/298.81	o 1638
331.88/299.11	o 1637
332.23/299.43	o 1636
332.53/299.72	o 1635
332.73/299.99	o 1634
333.03/300.25	o 1633
333.33/300.51	o 1632
333.53/300.77	o 1631
333.84/301.02	o 1630
334.04/301.27	o 1629
334.34/301.50	o 1628
334.53/301.73	o 1627
334.73/301.94	o 1626
334.94/302.16	o 1625
335.13/302.38	o 1624
335.34/302.58	o 1623
335.54/302.77	o 1622
335.74/302.97	o 1621
335.94/303.15	o 1620
336.14/303.32	o 1619
336.34/303.50	o 1618
336.44/303.65	o 1617
336.54/303.79	o 1616
336.83/303.93	o 1615
336.95/304.07	o 1614
337.05/304.20	o 1613
337.24/304.32	o 1612
337.34/304.44	o 1611
337.44/304.55	o 1610
337.54/304.66	o 1609
337.71/304.76	o 1608
337.81/304.85	o 1607
337.91/304.93	o 1606
338.02/305.02	o 1605
338.02/305.10	o 1604
338.12/305.18	o 1603
338.21/305.26	o 1602
338.31/305.33	o 1601
338.41/305.40	o 1600
338.41/305.47	o 1599
338.51/305.53	o 1598
338.51/305.59	o 1597
338.61/305.64	o 1596
338.71/305.70	o 1595
338.71/305.75	o 1594
338.81/305.80	o 1593
338.81/305.86	o 1592
338.91/305.90	o 1591
338.91/305.95	o 1590
338.91/305.99	o 1589
339.02/306.02	o 1588
339.02/306.06	o 1587
339.02/306.10	o 1586
339.12/306.13	o 1585
339.12/306.15	o 1584
339.12/306.18	o 1583
339.21/306.20	o 1582
339.21/306.22	o 1581
339.21/306.24	o 1580
339.21/306.26	o 1579
339.21/306.27	o 1578
339.21/306.29	o 1577
339.31/306.31	o 1576
339.31/306.32	o 1575
339.31/306.33	o 1574
339.31/306.34	o 1573
339.31/306.35	o 1572
339.31/306.36	o 1571
339.31/306.37	o 1570
339.31/306.38	o 1569
339.31/306.39	o 1568
339.41/306.40	o 1567
339.41/306.41	o 1566
339.41/306.42	o 8
340.67/306.98	o 7
2520.02/2460.91	Exception in thread "main" java.util.concurrent.TimeoutException
2520.02/2460.91		at concrete.MAC.mac(MAC.scala:188)
2520.02/2460.91		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.02/2460.91		at scala.util.Try$.apply(Try.scala:209)
2520.02/2460.91		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.02/2460.91		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.02/2460.91		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.02/2460.91		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.02/2460.91		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.02/2460.91		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.02/2460.91		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.02/2460.91		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.02/2460.91		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.02/2460.91		at concrete.MAC.oneRun(MAC.scala:253)
2520.02/2460.91		at concrete.MAC.nextSolution(MAC.scala:272)
2520.02/2460.91		at concrete.MAC.nextSolution(MAC.scala:355)
2520.02/2460.91		at concrete.Solver.hasNext(Solver.scala:166)
2520.02/2460.91		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.02/2460.91		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.02/2460.91		at concrete.Solver.foreach(Solver.scala:68)
2520.02/2460.91		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.02/2460.91		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.02/2460.91		at scala.util.Success.map(Try.scala:209)
2520.02/2460.91		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.02/2460.91		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.02/2460.91		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.02/2460.91		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.02/2460.91		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.02/2460.91		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.02/2460.91		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.02/2460.91		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.02/2460.91		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.02/2460.91		at scala.collection.immutable.List.foreach(List.scala:389)
2520.02/2460.91		at scala.App.main(App.scala:76)
2520.02/2460.91		at scala.App.main$(App.scala:74)
2520.02/2460.91		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.02/2460.91		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.02/2460.92	v <instantiation cost="7">
2520.02/2460.92	v       <list>
2520.02/2460.92	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029]
2520.02/2460.92	v       </list>
2520.02/2460.92	v       <values>
2520.02/2460.92	v         4 5 7 7 4 4 7 7 2 2 4 3 1 2 0 3 3 0 0 6 6 0 0 2 2 6 6 1 2 0 7 4 4 4 4 4 4 4 2 2 4 4 4 2 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 4 3 2 0 2 2 0 0 2 2 0 0 2 2 4 3 7 2 7 0 0 0 0 6 0 0 0 2 2 6 6 6 2 0 2 2 2 2 2 2 7 7 2 2 7 7 7 2 7 0 0 0 0 5 0 0 0 3 3 3 0 3 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5 7 6 2 5 4 4 1 1 1 1 1 3 1 1 1 1 1 1 1 3 3 4 4 4 4 3 3 6 6 4 3 6 6 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 7 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 3 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 7 0 0 7 0 0 0 0 6 0 0 0 2 2 2 7 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 7 7 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 1 1 1 1 1 1 1 1 1 1 7 1 1 1 1 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 7 4 4 4 0 1 2 4 3 6 1 1 1 2 2 1 1 1 1 5 3 5 2 0 1 1 1 1 5 5 1 1 1 1 5 5 1 5 5 1 1 5 7 7 2 1 1 1 7 5 5 1 5 5 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 7 2 6 6 6 6 6 6 6 6 6 6 6 7 6 1 7 6 2 0 6 6 2 2 2 2 3 3 2 2 5 3 5 2 5 2 2 2 2 2 2 5 5 2 2 5 5 5 2 7 7 2 2 2 2 2 5 5 2 2 5 5 5 2 7 3 3 5 5 7 3 3 3 3 3 6 3 5 5 5 2 2 2 2 2 2 2 2 2 2 7 2 2 2 2 5 5 5 2 5 1 1 1 1 1 1 1 1 1 1 1 1 1 5 5 3 3 5 5 3 3 3 3 3 3 5 3 5 5 5 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 6 0 0 0 0 0 0 0 6 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 2 0 1 1 1 1 1 1 7 1 1 1 1 1 1 1 1 0 0 0 7 7 0 0 0 0 0 0 6 6 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 0 1 1 1 1 1 1 1 1 1 1 1 1 7 1 1 1 1 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 1 1 1 1 1 1 7 1 1 1 7 1 1 1 1 5 7 5 5 5 5 5 5 5 5 5 6 5 5 5 1 1 1 1 1 1 1 7 1 1 1 1 1 1 1 1 1 7 1 1 5 1 2 5 3 3 0 0 0 0 0 0 0 2 2 4 3 4 2 0 0 0 0 0 0 0 0 0 2 2 4 3 4 2 6 0 4 0 4 0 4 0 0 0 0 4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 6 2 2 2 2 2 2 2 6 2 2 2 2 4 3 4 2 4 0 2 0 0 7 0 0 0 2 2 4 3 4 2 0 0 0 6 0 0 0 0 0 2 2 4 3 4 2 4 2 2 2 2 2 2 7 2 2 2 2 2 2 2 2 0 0 0 4 0 0 0 0 0 0 0 0 0 7 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5 4 4 4 3 3 3 4 4 7 4 3 3 4 4 4 3 4 4 4 3 3 4 4 7 4 3 3 4 4 4 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 4 4 4 0 0 0 0 0 0 0 0 6 6 0 0 4 0 0 4 4 7 4 4 4 4 4 4 4 4 4 4 4 4 4 3 0 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 4 4 2 2 4 4 7 2 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4 6 2 2 4 4 4 2 4 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 4 4 4 4 4 4 7 6 4 4 4 4 4 7 4 2 4 0 4 4 4 0 4 4 3 1 1 1 1 1 1 1 1 1 1 1 7 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 7 1 1 1 7 1 1 1 1 1 1 1 1 1 1 1 1 1 7 1 1 1 1 1 1 1 1 1 1 1 6 1 1 7 7 1 1 1 1 1 1 1 1 1 1 1 7 1 1 7 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 7 1 1 1 1 1 7 1 1 1 1 1 1 1 1 1 1 1 7 7 1 1 1 7 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 7 1 1 1 7 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 7 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 1 1 1 1 1 1 1 1 1 1 1 1 1 7 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 7 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 7 1 1 1 1 1 7 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 7 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 7 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 7 0 0 0 0 0 0 0 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 7 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 7 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 6 0 7 0 0 0 0 0 0 0 6 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 7 0 0 0 7 0 0 0 0 0 7 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 2 4 1 0 3
2520.02/2460.92	v       </values>
2520.02/2460.92	v     </instantiation>
2520.02/2460.92	s SATISFIABLE

Verifier Data 

OK	7

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (9626 MiB free)
  memory of node 1: 16384 MiB (11795 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293233-1532312074/watcher-4293233-1532312074 -o /tmp/evaluation-result-4293233-1532312074/solver-4293233-1532312074 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532293810-5214 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=926190816 HOME/instance-4293233-1532312074.xml 

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

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

solver pid=8642, runsolver pid=8639

[startup+0.101514 s]*
/proc/loadavg: 1.60 1.56 1.47 2/207 8699
/proc/meminfo: memFree=21928472/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=9972712 memory=17076 CPUtime=0.09 cores=1,3,5,7
/proc/8642/stat : 8642 (java) S 8639 8642 5182 0 -1 1077944320 4413 13033 0 0 1 1 4 3 20 0 6 0 48770640 10212057088 4269 33554432000 4194304 4196468 140726594725552 140726594708096 139839515496183 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
/proc/8642/statm: 2493178 4269 1934 1 0 2481616 0
[pid=8642/tid=8695] ppid=8639 vsize=9972712 memory=4718545630382498451 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8695/stat : 8695 (java) R 8639 8642 5182 0 -1 4202560 2250 13033 0 0 0 0 4 3 20 0 6 0 48770649 10212057088 4269 33554432000 4194304 4196468 140726594725552 139839487332944 139839500619120 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8696] ppid=8639 vsize=9972712 memory=5793855970444556729 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8696/stat : 8696 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 6 0 48770650 10212057088 4269 33554432000 4194304 4196468 140726594725552 139839519738768 139839515506389 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8697] ppid=8639 vsize=9972712 memory=140719434663552 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8697/stat : 8697 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 6 0 48770650 10212057088 4269 33554432000 4194304 4196468 140726594725552 139839088286480 139839515506389 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8698] ppid=8639 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8698/stat : 8698 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 6 0 48770650 10212057088 4269 33554432000 4194304 4196468 140726594725552 139839087234192 139839515506389 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8699] ppid=8639 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8699/stat : 8699 (java) S 8639 8642 5182 0 -1 1077944384 2 13033 0 0 0 0 4 3 20 0 6 0 48770650 10212057088 4269 33554432000 4194304 4196468 140726594725552 139839086181392 139839515506389 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB

[startup+0.209832 s]*
/proc/loadavg: 1.60 1.56 1.47 3/216 8708
/proc/meminfo: memFree=21908304/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=10818904 memory=43488 CPUtime=0.25 cores=1,3,5,7
/proc/8642/stat : 8642 (java) S 8639 8642 5182 0 -1 1077944320 8092 13033 0 0 16 2 4 3 20 0 15 0 48770640 11078557696 10872 33554432000 4194304 4196468 140726594725552 140726594708096 139839515496183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
/proc/8642/statm: 2704726 10872 2958 1 0 2667149 0
[pid=8642/tid=8695] ppid=8639 vsize=10818904 memory=-2899909650764262549 CPUtime=0.18 cores=1,3,5,7
/proc/8642/task/8695/stat : 8695 (java) R 8639 8642 5182 0 -1 4202560 4676 13033 0 0 10 1 4 3 20 0 15 0 48770649 11078557696 10872 33554432000 4194304 4196468 140726594725552 139839487292224 139839515518109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8696] ppid=8639 vsize=10818904 memory=4211974445639454090 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8696/stat : 8696 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11078557696 10872 33554432000 4194304 4196468 140726594725552 139839519738768 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8697] ppid=8639 vsize=10818904 memory=140719434663552 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8697/stat : 8697 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11078557696 10872 33554432000 4194304 4196468 140726594725552 139839088286480 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8698] ppid=8639 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8698/stat : 8698 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11078557696 10872 33554432000 4194304 4196468 140726594725552 139839087234192 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8699] ppid=8639 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8699/stat : 8699 (java) S 8639 8642 5182 0 -1 1077944384 2 13033 0 0 0 0 4 3 20 0 15 0 48770650 11078557696 10872 33554432000 4194304 4196468 140726594725552 139839086181392 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8700] ppid=8639 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8700/stat : 8700 (java) S 8639 8642 5182 0 -1 1077944384 2 13033 0 0 0 0 4 3 20 0 15 0 48770651 11078557696 10872 33554432000 4194304 4196468 140726594725552 139839042087024 139839515507330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8701] ppid=8639 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8701/stat : 8701 (java) S 8639 8642 5182 0 -1 1077944384 13 13033 0 0 0 0 4 3 20 0 15 0 48770652 11078557696 10872 33554432000 4194304 4196468 140726594725552 139838430896928 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8702] ppid=8639 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8702/stat : 8702 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770652 11078557696 10872 33554432000 4194304 4196468 140726594725552 139838296679536 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8703] ppid=8639 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8703/stat : 8703 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11078557696 10872 33554432000 4194304 4196468 140726594725552 139838056388688 139839515514779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8704] ppid=8639 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8642/task/8704/stat : 8704 (java) S 8639 8642 5182 0 -1 1077944384 545 13033 0 0 1 0 4 3 20 0 15 0 48770655 11078557696 10872 33554432000 4194304 4196468 140726594725552 139839041034864 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8705] ppid=8639 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8705/stat : 8705 (java) S 8639 8642 5182 0 -1 1077944384 62 13033 0 0 0 0 4 3 20 0 15 0 48770655 11078557696 10872 33554432000 4194304 4196468 140726594725552 139839039982064 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8706] ppid=8639 vsize=10818904 memory=140719434663552 CPUtime=0.1 cores=1,3,5,7
/proc/8642/task/8706/stat : 8706 (java) R 8639 8642 5182 0 -1 4202560 614 13033 0 0 3 0 4 3 20 0 15 0 48770655 11078557696 10872 33554432000 4194304 4196468 140726594725552 139839038929776 139839494454139 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8707] ppid=8639 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8707/stat : 8707 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11078557696 10872 33554432000 4194304 4196468 140726594725552 139838022831072 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8708] ppid=8639 vsize=10818904 memory=140719434663552 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8708/stat : 8708 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770655 11078557696 10872 33554432000 4194304 4196468 140726594725552 139839037876656 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43488 KiB

[startup+0.310221 s]*
/proc/loadavg: 1.60 1.56 1.47 3/216 8708
/proc/meminfo: memFree=21895544/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=10819352 memory=55220 CPUtime=0.38 cores=1,3,5,7
/proc/8642/stat : 8642 (java) S 8639 8642 5182 0 -1 1077944320 10357 13033 0 0 28 3 4 3 20 0 15 0 48770640 11079016448 13805 33554432000 4194304 4196468 140726594725552 140726594708096 139839515496183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
/proc/8642/statm: 2704838 13805 3077 1 0 2667149 0
[pid=8642/tid=8695] ppid=8639 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/8642/task/8695/stat : 8695 (java) R 8639 8642 5182 0 -1 4202560 6914 13033 0 0 19 2 4 3 20 0 15 0 48770649 11079016448 13805 33554432000 4194304 4196468 140726594725552 139839487285712 139839515518109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8696] ppid=8639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8696/stat : 8696 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11079016448 13805 33554432000 4194304 4196468 140726594725552 139839519738768 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8697] ppid=8639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8697/stat : 8697 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11079016448 13805 33554432000 4194304 4196468 140726594725552 139839088286480 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8698] ppid=8639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8698/stat : 8698 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11079016448 13805 33554432000 4194304 4196468 140726594725552 139839087234192 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8699] ppid=8639 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8699/stat : 8699 (java) S 8639 8642 5182 0 -1 1077944384 2 13033 0 0 0 0 4 3 20 0 15 0 48770650 11079016448 13805 33554432000 4194304 4196468 140726594725552 139839086181392 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8700] ppid=8639 vsize=10819352 memory=140719434663551 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8700/stat : 8700 (java) S 8639 8642 5182 0 -1 1077944384 2 13033 0 0 0 0 4 3 20 0 15 0 48770651 11079016448 13805 33554432000 4194304 4196468 140726594725552 139839042087024 139839515507330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8701] ppid=8639 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8701/stat : 8701 (java) S 8639 8642 5182 0 -1 1077944384 13 13033 0 0 0 0 4 3 20 0 15 0 48770652 11079016448 13805 33554432000 4194304 4196468 140726594725552 139838430896928 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8702] ppid=8639 vsize=10819352 memory=140719434663552 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8702/stat : 8702 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770652 11079016448 13805 33554432000 4194304 4196468 140726594725552 139838296679536 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8703] ppid=8639 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8703/stat : 8703 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11079016448 13805 33554432000 4194304 4196468 140726594725552 139838056388688 139839515514779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8704] ppid=8639 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8642/task/8704/stat : 8704 (java) S 8639 8642 5182 0 -1 1077944384 547 13033 0 0 1 0 4 3 20 0 15 0 48770655 11079016448 13805 33554432000 4194304 4196468 140726594725552 139839041034864 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8705] ppid=8639 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8642/task/8705/stat : 8705 (java) S 8639 8642 5182 0 -1 1077944384 65 13033 0 0 1 0 4 3 20 0 15 0 48770655 11079016448 13805 33554432000 4194304 4196468 140726594725552 139839039982064 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8706] ppid=8639 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8642/task/8706/stat : 8706 (java) S 8639 8642 5182 0 -1 1077944384 620 13033 0 0 5 0 4 3 20 0 15 0 48770655 11079016448 13805 33554432000 4194304 4196468 140726594725552 139839038929776 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8707] ppid=8639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8707/stat : 8707 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11079016448 13805 33554432000 4194304 4196468 140726594725552 139838022831072 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8708] ppid=8639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8708/stat : 8708 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770655 11079016448 13805 33554432000 4194304 4196468 140726594725552 139839037876656 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55220 KiB

[startup+0.700763 s]
/proc/loadavg: 1.60 1.56 1.47 3/216 8708
/proc/meminfo: memFree=21884876/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=10819352 memory=87588 CPUtime=0.99 cores=1,3,5,7
/proc/8642/stat : 8642 (java) S 8639 8642 5182 0 -1 1077944320 16488 13033 0 0 87 5 4 3 20 0 15 0 48770640 11079016448 21897 33554432000 4194304 4196468 140726594725552 140726594708096 139839515496183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
/proc/8642/statm: 2704838 21897 3237 1 0 2667149 0
[pid=8642/tid=8695] ppid=8639 vsize=10819352 memory=16040 CPUtime=0.66 cores=1,3,5,7
/proc/8642/task/8695/stat : 8695 (java) R 8639 8642 5182 0 -1 4202560 11990 13033 0 0 55 4 4 3 20 0 15 0 48770649 11079016448 21897 33554432000 4194304 4196468 140726594725552 139839487317008 139839495771505 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8696] ppid=8639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8696/stat : 8696 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11079016448 21897 33554432000 4194304 4196468 140726594725552 139839519738768 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8697] ppid=8639 vsize=10819352 memory=288230587427467614 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8697/stat : 8697 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11079016448 21897 33554432000 4194304 4196468 140726594725552 139839088286480 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8698] ppid=8639 vsize=10819352 memory=14689686622849938 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8698/stat : 8698 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11079016448 21897 33554432000 4194304 4196468 140726594725552 139839087234192 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8699] ppid=8639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8699/stat : 8699 (java) S 8639 8642 5182 0 -1 1077944384 2 13033 0 0 0 0 4 3 20 0 15 0 48770650 11079016448 21897 33554432000 4194304 4196468 140726594725552 139839086181392 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8700] ppid=8639 vsize=10819352 memory=140719302156800 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8700/stat : 8700 (java) S 8639 8642 5182 0 -1 1077944384 5 13033 0 0 0 0 4 3 20 0 15 0 48770651 11079016448 21897 33554432000 4194304 4196468 140726594725552 139839042087024 139839515507330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8701] ppid=8639 vsize=10819352 memory=140720308487148 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8701/stat : 8701 (java) S 8639 8642 5182 0 -1 1077944384 13 13033 0 0 0 0 4 3 20 0 15 0 48770652 11079016448 21897 33554432000 4194304 4196468 140726594725552 139838430896928 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8702] ppid=8639 vsize=10819352 memory=1240 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8702/stat : 8702 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770652 11079016448 21897 33554432000 4194304 4196468 140726594725552 139838296679536 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8703] ppid=8639 vsize=10819352 memory=7305218370954224980 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8703/stat : 8703 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11079016448 21897 33554432000 4194304 4196468 140726594725552 139838056388688 139839515514779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8704] ppid=8639 vsize=10819352 memory=6441954429982824551 CPUtime=0.15 cores=1,3,5,7
/proc/8642/task/8704/stat : 8704 (java) S 8639 8642 5182 0 -1 1077944384 980 13033 0 0 8 0 4 3 20 0 15 0 48770655 11079016448 21897 33554432000 4194304 4196468 140726594725552 139839041034864 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8705] ppid=8639 vsize=10819352 memory=6935654753453035600 CPUtime=0.15 cores=1,3,5,7
/proc/8642/task/8705/stat : 8705 (java) S 8639 8642 5182 0 -1 1077944384 611 13033 0 0 8 0 4 3 20 0 15 0 48770655 11079016448 21897 33554432000 4194304 4196468 140726594725552 139839039982064 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8706] ppid=8639 vsize=10819352 memory=5450909908396308010 CPUtime=0.2 cores=1,3,5,7
/proc/8642/task/8706/stat : 8706 (java) S 8639 8642 5182 0 -1 1077944384 685 13033 0 0 13 0 4 3 20 0 15 0 48770655 11079016448 21897 33554432000 4194304 4196468 140726594725552 139839038929776 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8707] ppid=8639 vsize=10819352 memory=1404238533841559158 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8707/stat : 8707 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11079016448 21897 33554432000 4194304 4196468 140726594725552 139838022831072 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8708] ppid=8639 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8708/stat : 8708 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770655 11079016448 21897 33554432000 4194304 4196468 140726594725552 139839037876656 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 87588 KiB

[startup+1.50148 s]
/proc/loadavg: 1.60 1.56 1.47 3/216 8708
/proc/meminfo: memFree=21838544/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=10828108 memory=209956 CPUtime=2.98 cores=1,3,5,7
/proc/8642/stat : 8642 (java) S 8639 8642 5182 0 -1 1077944320 21881 13033 0 0 282 9 4 3 20 0 15 0 48770640 11087982592 52489 33554432000 4194304 4196468 140726594725552 140726594708096 139839515496183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
/proc/8642/statm: 2707027 52489 3448 1 0 2668685 0
[pid=8642/tid=8695] ppid=8639 vsize=10828108 memory=143476 CPUtime=1.45 cores=1,3,5,7
/proc/8642/task/8695/stat : 8695 (java) R 8639 8642 5182 0 -1 4202560 14734 13033 0 0 132 6 4 3 20 0 15 0 48770649 11087982592 52489 33554432000 4194304 4196468 140726594725552 139839487326960 139839122941752 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8696] ppid=8639 vsize=10828108 memory=-3117775541953848416 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8696/stat : 8696 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11087982592 52489 33554432000 4194304 4196468 140726594725552 139839519738768 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8697] ppid=8639 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8697/stat : 8697 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11087982592 52489 33554432000 4194304 4196468 140726594725552 139839088286480 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8698] ppid=8639 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8698/stat : 8698 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770650 11087982592 52489 33554432000 4194304 4196468 140726594725552 139839087234192 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8699] ppid=8639 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8699/stat : 8699 (java) S 8639 8642 5182 0 -1 1077944384 2 13033 0 0 0 0 4 3 20 0 15 0 48770650 11087982592 52489 33554432000 4194304 4196468 140726594725552 139839086181392 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8700] ppid=8639 vsize=10828108 memory=178085517383707 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8700/stat : 8700 (java) S 8639 8642 5182 0 -1 1077944384 6 13033 0 0 0 0 4 3 20 0 15 0 48770651 11087982592 52489 33554432000 4194304 4196468 140726594725552 139839042087024 139839515507330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8701] ppid=8639 vsize=10828108 memory=267430 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8701/stat : 8701 (java) S 8639 8642 5182 0 -1 1077944384 13 13033 0 0 0 0 4 3 20 0 15 0 48770652 11087982592 52489 33554432000 4194304 4196468 140726594725552 139838430896928 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8702] ppid=8639 vsize=10828108 memory=4638778398332768848 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8702/stat : 8702 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770652 11087982592 52489 33554432000 4194304 4196468 140726594725552 139838296679536 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8703] ppid=8639 vsize=10828108 memory=6935649255759568960 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8703/stat : 8703 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11087982592 52489 33554432000 4194304 4196468 140726594725552 139838056388688 139839515514779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8704] ppid=8639 vsize=10828108 memory=281438603706608 CPUtime=0.63 cores=1,3,5,7
/proc/8642/task/8704/stat : 8704 (java) R 8639 8642 5182 0 -1 4202560 2321 13033 0 0 56 0 4 3 20 0 15 0 48770655 11087982592 52489 33554432000 4194304 4196468 140726594725552 139839041021056 139839494742693 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8705] ppid=8639 vsize=10828108 memory=4638778398332698726 CPUtime=0.6 cores=1,3,5,7
/proc/8642/task/8705/stat : 8705 (java) R 8639 8642 5182 0 -1 4202560 1270 13033 0 0 53 0 4 3 20 0 15 0 48770655 11087982592 52489 33554432000 4194304 4196468 140726594725552 139839039971216 139839494739998 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8706] ppid=8639 vsize=10828108 memory=9049311197192159405 CPUtime=0.45 cores=1,3,5,7
/proc/8642/task/8706/stat : 8706 (java) S 8639 8642 5182 0 -1 1077944384 1333 13033 0 0 38 0 4 3 20 0 15 0 48770655 11087982592 52489 33554432000 4194304 4196468 140726594725552 139839038929776 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8707] ppid=8639 vsize=10828108 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8707/stat : 8707 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11087982592 52489 33554432000 4194304 4196468 140726594725552 139838022831072 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8708] ppid=8639 vsize=10828108 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8708/stat : 8708 (java) S 8639 8642 5182 0 -1 1077944384 1 13033 0 0 0 0 4 3 20 0 15 0 48770655 11087982592 52489 33554432000 4194304 4196468 140726594725552 139839037876656 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 10828108 KiB

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

/proc/8642/task/8695/stat : 8695 (java) R 8639 8642 5182 0 -1 4202560 188741 13033 0 0 236905 74 4 3 20 0 15 0 48770649 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839487330432 139839131563199 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8696] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.17 cores=1,3,5,7
/proc/8642/task/8696/stat : 8696 (java) S 8639 8642 5182 0 -1 1077944384 32597 13033 0 0 1083 27 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839519738768 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8697] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.15 cores=1,3,5,7
/proc/8642/task/8697/stat : 8697 (java) S 8639 8642 5182 0 -1 1077944384 30297 13033 0 0 1082 26 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839088286480 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8698] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.17 cores=1,3,5,7
/proc/8642/task/8698/stat : 8698 (java) S 8639 8642 5182 0 -1 1077944384 36125 13033 0 0 1083 27 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839087234192 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8699] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.14 cores=1,3,5,7
/proc/8642/task/8699/stat : 8699 (java) S 8639 8642 5182 0 -1 1077944384 36057 13033 0 0 1081 26 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839086181392 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8700] ppid=8639 vsize=10914144 memory=3205436 CPUtime=1.16 cores=1,3,5,7
/proc/8642/task/8700/stat : 8700 (java) S 8639 8642 5182 0 -1 1077944384 26370 13033 0 0 98 11 4 3 20 0 15 0 48770651 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839042087024 139839515507330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8701] ppid=8639 vsize=10914144 memory=1568 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8701/stat : 8701 (java) S 8639 8642 5182 0 -1 1077944384 34 13033 0 0 0 0 4 3 20 0 15 0 48770652 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838430896992 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8702] ppid=8639 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8702/stat : 8702 (java) S 8639 8642 5182 0 -1 1077944384 17 13033 0 0 0 0 4 3 20 0 15 0 48770652 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838296679552 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8703] ppid=8639 vsize=10914144 memory=3205436 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8703/stat : 8703 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838056388688 139839515514779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8704] ppid=8639 vsize=10914144 memory=3205436 CPUtime=10.22 cores=1,3,5,7
/proc/8642/task/8704/stat : 8704 (java) S 8639 8642 5182 0 -1 1077944384 32666 13033 0 0 1009 6 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839041034864 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8705] ppid=8639 vsize=10914144 memory=4140 CPUtime=10.3 cores=1,3,5,7
/proc/8642/task/8705/stat : 8705 (java) S 8639 8642 5182 0 -1 1077944384 37189 13033 0 0 1017 6 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839039982064 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8706] ppid=8639 vsize=10914144 memory=16064 CPUtime=2.82 cores=1,3,5,7
/proc/8642/task/8706/stat : 8706 (java) S 8639 8642 5182 0 -1 1077944384 40387 13033 0 0 270 5 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839038929776 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8707] ppid=8639 vsize=10914144 memory=3205436 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8707/stat : 8707 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838022831072 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8708] ppid=8639 vsize=10914144 memory=3205436 CPUtime=1.52 cores=1,3,5,7
/proc/8642/task/8708/stat : 8708 (java) S 8639 8642 5182 0 -1 1077944384 2071 13033 0 0 60 85 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839037876656 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
Current children cumulated CPU time: 2439.97 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 3205436 KiB

[startup+2442.3 s]
/proc/loadavg: 1.88 1.82 1.76 3/215 9038
/proc/meminfo: memFree=19215700/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=10914144 memory=3205436 CPUtime=2501.06 cores=1,3,5,7
/proc/8642/stat : 8642 (java) S 8639 8642 5182 0 -1 1077944320 470910 13033 0 0 249816 283 4 3 20 0 15 0 48770640 11176083456 801359 33554432000 4194304 4196468 140726594725552 140726594708096 139839515496183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
/proc/8642/statm: 2728536 801359 3538 1 0 2690189 0
[pid=8642/tid=8695] ppid=8639 vsize=10914144 memory=3205436 CPUtime=2429.46 cores=1,3,5,7
/proc/8642/task/8695/stat : 8695 (java) R 8639 8642 5182 0 -1 4202560 191058 13033 0 0 242865 74 4 3 20 0 15 0 48770649 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839487330720 139839127341440 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8696] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.52 cores=1,3,5,7
/proc/8642/task/8696/stat : 8696 (java) S 8639 8642 5182 0 -1 1077944384 33430 13033 0 0 1118 27 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839519738768 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8697] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.49 cores=1,3,5,7
/proc/8642/task/8697/stat : 8697 (java) S 8639 8642 5182 0 -1 1077944384 31212 13033 0 0 1116 26 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839088286480 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8698] ppid=8639 vsize=10914144 memory=7302986371175112809 CPUtime=11.52 cores=1,3,5,7
/proc/8642/task/8698/stat : 8698 (java) S 8639 8642 5182 0 -1 1077944384 36584 13033 0 0 1118 27 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839087234192 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8699] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.51 cores=1,3,5,7
/proc/8642/task/8699/stat : 8699 (java) S 8639 8642 5182 0 -1 1077944384 36971 13033 0 0 1117 27 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839086181392 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8700] ppid=8639 vsize=10914144 memory=3205436 CPUtime=1.19 cores=1,3,5,7
/proc/8642/task/8700/stat : 8700 (java) S 8639 8642 5182 0 -1 1077944384 27023 13033 0 0 101 11 4 3 20 0 15 0 48770651 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839042087024 139839515507330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8701] ppid=8639 vsize=10914144 memory=3205436 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8701/stat : 8701 (java) S 8639 8642 5182 0 -1 1077944384 34 13033 0 0 0 0 4 3 20 0 15 0 48770652 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838430896992 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8702] ppid=8639 vsize=10914144 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8702/stat : 8702 (java) S 8639 8642 5182 0 -1 1077944384 17 13033 0 0 0 0 4 3 20 0 15 0 48770652 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838296679552 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8703] ppid=8639 vsize=10914144 memory=3205436 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8703/stat : 8703 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838056388688 139839515514779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8704] ppid=8639 vsize=10914144 memory=3205436 CPUtime=10.22 cores=1,3,5,7
/proc/8642/task/8704/stat : 8704 (java) S 8639 8642 5182 0 -1 1077944384 32672 13033 0 0 1009 6 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839041034864 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8705] ppid=8639 vsize=10914144 memory=3205436 CPUtime=10.3 cores=1,3,5,7
/proc/8642/task/8705/stat : 8705 (java) S 8639 8642 5182 0 -1 1077944384 37193 13033 0 0 1017 6 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839039982064 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8706] ppid=8639 vsize=10914144 memory=7392 CPUtime=2.82 cores=1,3,5,7
/proc/8642/task/8706/stat : 8706 (java) S 8639 8642 5182 0 -1 1077944384 40393 13033 0 0 270 5 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839038929776 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8707] ppid=8639 vsize=10914144 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8707/stat : 8707 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838022831072 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8708] ppid=8639 vsize=10914144 memory=9800 CPUtime=1.56 cores=1,3,5,7
/proc/8642/task/8708/stat : 8708 (java) S 8639 8642 5182 0 -1 1077944384 2126 13033 0 0 62 87 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839037876656 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
Current children cumulated CPU time: 2501.06 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 3205436 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2460.9 s]
/proc/loadavg: 1.83 1.81 1.76 3/215 9038
/proc/meminfo: memFree=19215864/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=10914144 memory=3205436 CPUtime=2520.02 cores=1,3,5,7
/proc/8642/stat : 8642 (java) S 8639 8642 5182 0 -1 1077944320 471709 13033 0 0 251711 284 4 3 20 0 15 0 48770640 11176083456 801359 33554432000 4194304 4196468 140726594725552 140726594708096 139839515496183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
/proc/8642/statm: 2728536 801359 3538 1 0 2690189 0
[pid=8642/tid=8695] ppid=8639 vsize=10914144 memory=3205436 CPUtime=2447.92 cores=1,3,5,7
/proc/8642/task/8695/stat : 8695 (java) R 8639 8642 5182 0 -1 4202560 191477 13033 0 0 244711 74 4 3 20 0 15 0 48770649 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839487330448 139839136546560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8696] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.63 cores=1,3,5,7
/proc/8642/task/8696/stat : 8696 (java) S 8639 8642 5182 0 -1 1077944384 33515 13033 0 0 1129 27 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839519738768 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8697] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.61 cores=1,3,5,7
/proc/8642/task/8697/stat : 8697 (java) S 8639 8642 5182 0 -1 1077944384 31219 13033 0 0 1128 26 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839088286480 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8698] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.64 cores=1,3,5,7
/proc/8642/task/8698/stat : 8698 (java) S 8639 8642 5182 0 -1 1077944384 36586 13033 0 0 1130 27 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839087234192 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8699] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.62 cores=1,3,5,7
/proc/8642/task/8699/stat : 8699 (java) S 8639 8642 5182 0 -1 1077944384 37227 13033 0 0 1128 27 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839086181392 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8700] ppid=8639 vsize=10914144 memory=1788 CPUtime=1.2 cores=1,3,5,7
/proc/8642/task/8700/stat : 8700 (java) S 8639 8642 5182 0 -1 1077944384 27051 13033 0 0 102 11 4 3 20 0 15 0 48770651 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839042087024 139839515507330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8701] ppid=8639 vsize=10914144 memory=952 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8701/stat : 8701 (java) S 8639 8642 5182 0 -1 1077944384 34 13033 0 0 0 0 4 3 20 0 15 0 48770652 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838430896992 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8702] ppid=8639 vsize=10914144 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8702/stat : 8702 (java) S 8639 8642 5182 0 -1 1077944384 17 13033 0 0 0 0 4 3 20 0 15 0 48770652 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838296679552 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8703] ppid=8639 vsize=10914144 memory=16064 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8703/stat : 8703 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838056388688 139839515514779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8704] ppid=8639 vsize=10914144 memory=2200 CPUtime=10.22 cores=1,3,5,7
/proc/8642/task/8704/stat : 8704 (java) S 8639 8642 5182 0 -1 1077944384 32672 13033 0 0 1009 6 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839041034864 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8705] ppid=8639 vsize=10914144 memory=7392 CPUtime=10.3 cores=1,3,5,7
/proc/8642/task/8705/stat : 8705 (java) S 8639 8642 5182 0 -1 1077944384 37193 13033 0 0 1017 6 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839039982064 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8706] ppid=8639 vsize=10914144 memory=3205436 CPUtime=2.82 cores=1,3,5,7
/proc/8642/task/8706/stat : 8706 (java) S 8639 8642 5182 0 -1 1077944384 40393 13033 0 0 270 5 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839038929776 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8707] ppid=8639 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8707/stat : 8707 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838022831072 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8708] ppid=8639 vsize=10914144 memory=9800 CPUtime=1.57 cores=1,3,5,7
/proc/8642/task/8708/stat : 8708 (java) S 8639 8642 5182 0 -1 1077944384 2128 13033 0 0 63 87 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839037876656 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 3205436 KiB

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

[startup+2460.94 s]
# the end of solver process 8642 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.19 s, system=2.90315 s

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

[startup+2460.9 s]
/proc/loadavg: 1.83 1.81 1.76 3/215 9038
/proc/meminfo: memFree=19215864/32770624 swapFree=67108860/67108860
[pid=8642] ppid=8639 vsize=10914144 memory=3205436 CPUtime=2520.02 cores=1,3,5,7
/proc/8642/stat : 8642 (java) S 8639 8642 5182 0 -1 1077944320 471709 13033 0 0 251711 284 4 3 20 0 15 0 48770640 11176083456 801359 33554432000 4194304 4196468 140726594725552 140726594708096 139839515496183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
/proc/8642/statm: 2728536 801359 3538 1 0 2690189 0
[pid=8642/tid=8695] ppid=8639 vsize=10914144 memory=3205436 CPUtime=2447.92 cores=1,3,5,7
/proc/8642/task/8695/stat : 8695 (java) R 8639 8642 5182 0 -1 4202560 191477 13033 0 0 244711 74 4 3 20 0 15 0 48770649 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839487330448 139839136546560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8696] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.63 cores=1,3,5,7
/proc/8642/task/8696/stat : 8696 (java) S 8639 8642 5182 0 -1 1077944384 33515 13033 0 0 1129 27 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839519738768 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8697] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.61 cores=1,3,5,7
/proc/8642/task/8697/stat : 8697 (java) S 8639 8642 5182 0 -1 1077944384 31219 13033 0 0 1128 26 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839088286480 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8698] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.64 cores=1,3,5,7
/proc/8642/task/8698/stat : 8698 (java) S 8639 8642 5182 0 -1 1077944384 36586 13033 0 0 1130 27 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839087234192 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8699] ppid=8639 vsize=10914144 memory=3205436 CPUtime=11.62 cores=1,3,5,7
/proc/8642/task/8699/stat : 8699 (java) S 8639 8642 5182 0 -1 1077944384 37227 13033 0 0 1128 27 4 3 20 0 15 0 48770650 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839086181392 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8700] ppid=8639 vsize=10914144 memory=1788 CPUtime=1.2 cores=1,3,5,7
/proc/8642/task/8700/stat : 8700 (java) S 8639 8642 5182 0 -1 1077944384 27051 13033 0 0 102 11 4 3 20 0 15 0 48770651 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839042087024 139839515507330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8701] ppid=8639 vsize=10914144 memory=952 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8701/stat : 8701 (java) S 8639 8642 5182 0 -1 1077944384 34 13033 0 0 0 0 4 3 20 0 15 0 48770652 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838430896992 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8702] ppid=8639 vsize=10914144 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8702/stat : 8702 (java) S 8639 8642 5182 0 -1 1077944384 17 13033 0 0 0 0 4 3 20 0 15 0 48770652 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838296679552 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8703] ppid=8639 vsize=10914144 memory=16064 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8703/stat : 8703 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838056388688 139839515514779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8704] ppid=8639 vsize=10914144 memory=2200 CPUtime=10.22 cores=1,3,5,7
/proc/8642/task/8704/stat : 8704 (java) S 8639 8642 5182 0 -1 1077944384 32672 13033 0 0 1009 6 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839041034864 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8705] ppid=8639 vsize=10914144 memory=7392 CPUtime=10.3 cores=1,3,5,7
/proc/8642/task/8705/stat : 8705 (java) S 8639 8642 5182 0 -1 1077944384 37193 13033 0 0 1017 6 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839039982064 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8706] ppid=8639 vsize=10914144 memory=3205436 CPUtime=2.82 cores=1,3,5,7
/proc/8642/task/8706/stat : 8706 (java) S 8639 8642 5182 0 -1 1077944384 40393 13033 0 0 270 5 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839038929776 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8707] ppid=8639 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8642/task/8707/stat : 8707 (java) S 8639 8642 5182 0 -1 1077944384 3 13033 0 0 0 0 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139838022831072 139839515506389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
[pid=8642/tid=8708] ppid=8639 vsize=10914144 memory=9800 CPUtime=1.57 cores=1,3,5,7
/proc/8642/task/8708/stat : 8708 (java) S 8639 8642 5182 0 -1 1077944384 2128 13033 0 0 63 87 4 3 20 0 15 0 48770655 11176083456 801359 33554432000 4194304 4196468 140726594725552 139839037876656 139839515507330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140726594730607 140726594733404 140726594733404 140726594736079 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 3205436 KiB

Child status: 143
Real time (s): 2460.94
CPU time (s): 2520.09
CPU user time (s): 2517.19
CPU system time (s): 2.90315
CPU usage (%): 102.403
Max. virtual memory (cumulated for all children) (KiB): 10916780
Max. memory (cumulated for all children) (KiB): 3214268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.19
system time used= 2.90315
maximum resident set size= 3214268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 487630
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80107
involuntary context switches= 2407


# summary of solver processes directly reported to runsolver:
#   pid: 8642
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2517.19
#   total CPU system time (s): 2.90315

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3371 second user time and 23.3632 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-23 04:14:34
IDJOB=4293233
IDBENCH=141138
IDSOLVER=2750
FILE ID=node103/4293233-1532312074
RUNJOBID= node103-1532293810-5214
PBS_JOBID= 21018979
Free space on /tmp= 56828 MiB

SOLVER NAME= Concrete 3.8 2018-06-13
BENCH NAME= XCSP18/GraphColoring/GraphColoring-3-fullins-5_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293233-1532312074/watcher-4293233-1532312074 -o /tmp/evaluation-result-4293233-1532312074/solver-4293233-1532312074 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532293810-5214 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=926190816 HOME/instance-4293233-1532312074.xml

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

MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76
RANDOM SEED=926190816

node103.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.48
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.48
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.48
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.48
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:        21936576 kB
MemAvailable:   30494740 kB
Buffers:          248424 kB
Cached:          8510360 kB
SwapCached:            0 kB
Active:          2972932 kB
Inactive:        7282392 kB
Active(anon):    1499384 kB
Inactive(anon):    16976 kB
Active(file):    1473548 kB
Inactive(file):  7265416 kB
Unevictable:        7144 kB
Mlocked:            7144 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             27724 kB
Writeback:             0 kB
AnonPages:       1487260 kB
Mapped:            49732 kB
Shmem:             17036 kB
Slab:             275944 kB
SReclaimable:     247660 kB
SUnreclaim:        28284 kB
KernelStack:        3808 kB
PageTables:         8184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2449424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1232896 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56800 MiB
End job on node103 at 2018-07-23 04:55:36