Trace number 4304252

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.9.2-SuperNGSAT (TO)7 2520.31 2387.32

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 

1.00/0.74	c Concrete v3.9.2.1532736233296 running
84.82/52.92	o 2029
91.84/58.54	o 2028
93.48/59.50	o 2027
94.37/60.26	o 2026
95.54/60.97	o 2025
96.50/61.77	o 2024
97.86/62.75	o 2023
98.69/63.46	o 2022
99.50/64.29	o 2021
100.41/65.17	o 2020
101.10/65.86	o 2019
101.70/66.48	o 2018
102.42/67.19	o 2017
103.43/68.10	o 2016
104.12/68.77	o 2015
104.96/69.59	o 2014
105.79/70.31	o 2013
106.50/71.10	o 2012
107.20/71.79	o 2011
108.00/72.53	o 2010
108.86/73.26	o 2009
109.67/74.09	o 2008
110.36/74.73	o 2007
111.06/75.45	o 2006
111.67/76.06	o 2005
112.62/76.84	o 2004
113.22/77.47	o 2003
113.94/78.08	o 2002
114.73/78.85	o 2001
115.56/79.59	o 2000
116.27/80.26	o 1999
117.18/81.14	o 1998
117.87/81.87	o 1997
118.59/82.52	o 1996
119.20/83.13	o 1995
120.00/84.00	o 1994
120.70/84.66	o 1993
121.63/85.31	o 1992
122.17/85.88	o 1991
123.12/86.75	o 1990
123.84/87.42	o 1989
124.54/88.10	o 1988
125.21/88.69	o 1987
125.80/89.25	o 1986
126.92/90.32	o 1985
127.52/90.93	o 1984
128.49/91.60	o 1983
129.00/92.18	o 1982
129.59/92.73	o 1981
130.09/93.28	o 1980
131.30/94.49	o 1979
132.10/95.27	o 1978
132.70/95.87	o 1977
133.30/96.45	o 1976
134.23/97.08	o 1975
134.72/97.57	o 1974
135.23/98.09	o 1973
136.62/99.44	o 1972
137.42/100.23	o 1971
138.02/100.88	o 1970
138.72/101.52	o 1969
139.74/102.29	o 1968
140.45/102.85	o 1967
140.95/103.39	o 1966
141.55/103.91	o 1965
142.05/104.44	o 1964
143.35/105.77	o 1963
144.05/106.40	o 1962
144.66/107.03	o 1961
145.75/107.79	o 1960
146.35/108.33	o 1959
146.85/108.88	o 1958
147.35/109.39	o 1957
147.95/109.90	o 1956
148.45/110.42	o 1955
148.95/110.95	o 1954
149.45/111.47	o 1953
152.03/113.50	o 1952
152.84/114.34	o 1951
153.65/115.14	o 1950
154.44/115.98	o 1949
155.24/116.78	o 1948
156.78/117.72	o 1947
157.48/118.42	o 1946
158.09/119.09	o 1945
158.78/119.75	o 1944
159.49/120.41	o 1943
160.10/121.01	o 1942
160.69/121.61	o 1941
162.93/123.24	o 1940
163.74/124.04	o 1939
164.44/124.76	o 1938
165.14/125.44	o 1937
165.75/126.10	o 1936
166.44/126.71	o 1935
167.04/127.31	o 1934
168.33/128.06	o 1933
168.92/128.60	o 1932
169.43/129.11	o 1931
169.92/129.63	o 1930
170.43/130.14	o 1929
170.92/130.60	o 1928
171.33/131.08	o 1927
171.82/131.53	o 1926
174.83/134.01	o 1925
176.59/135.12	o 1924
177.38/135.96	o 1923
178.08/136.62	o 1922
178.68/137.23	o 1921
179.29/137.87	o 1920
179.99/138.57	o 1919
180.60/139.16	o 1918
181.99/139.93	o 1917
182.59/140.57	o 1916
183.20/141.13	o 1915
183.69/141.70	o 1914
184.30/142.28	o 1913
184.90/142.86	o 1912
185.50/143.47	o 1911
186.12/144.04	o 1910
187.40/144.79	o 1909
188.00/145.34	o 1908
188.50/145.87	o 1907
193.57/149.33	o 1906
194.47/150.23	o 1905
196.52/151.40	o 1904
197.23/152.19	o 1903
198.02/152.94	o 1902
199.82/153.90	o 1901
200.52/154.61	o 1900
201.12/155.27	o 1899
201.83/155.90	o 1898
203.47/156.81	o 1897
204.07/157.44	o 1896
204.68/158.06	o 1895
205.27/158.65	o 1894
215.44/161.73	o 1893
215.94/162.27	o 1892
216.54/162.85	o 1891
217.05/163.35	o 1890
217.55/163.84	o 1889
218.84/164.54	o 1888
219.35/165.01	o 1887
219.84/165.51	o 1886
220.24/165.95	o 1885
224.58/169.23	o 1884
225.93/170.20	o 1883
226.64/170.90	o 1882
227.34/171.61	o 1881
227.94/172.26	o 1880
228.64/172.93	o 1879
229.75/173.73	o 1878
230.35/174.39	o 1877
230.95/174.99	o 1876
231.55/175.51	o 1875
232.06/176.04	o 1874
233.16/176.68	o 1873
233.76/177.27	o 1872
234.26/177.73	o 1871
234.67/178.18	o 1870
235.16/178.64	o 1869
235.57/179.08	o 1868
236.43/179.66	o 1867
237.01/180.09	o 1866
237.50/180.51	o 1865
237.90/180.92	o 1864
238.30/181.33	o 1863
238.71/181.72	o 1862
239.11/182.13	o 1861
239.50/182.53	o 1860
239.97/182.94	o 1859
240.38/183.34	o 1858
240.78/183.74	o 1857
241.19/184.11	o 1856
241.48/184.48	o 1855
255.78/192.99	o 1854
256.89/194.10	o 1853
257.69/194.86	o 1852
258.80/195.67	o 1851
259.50/196.38	o 1850
260.10/197.00	o 1849
260.80/197.61	o 1848
261.40/198.24	o 1847
262.00/198.81	o 1846
262.50/199.37	o 1845
263.45/200.02	o 1844
263.94/200.53	o 1843
264.45/201.03	o 1842
264.94/201.52	o 1841
265.45/202.02	o 1840
265.84/202.50	o 1839
266.34/202.98	o 1838
266.85/203.46	o 1837
267.41/203.96	o 1836
267.91/204.42	o 1835
268.31/204.86	o 1834
268.81/205.31	o 1833
269.21/205.75	o 1832
269.62/206.16	o 1831
270.01/206.58	o 1830
270.52/207.03	o 1829
270.91/207.47	o 1828
271.31/207.88	o 1827
271.86/208.30	o 1826
272.26/208.71	o 1825
272.67/209.11	o 1824
273.06/209.52	o 1823
273.46/209.93	o 1822
273.86/210.33	o 1821
289.15/218.65	o 1820
290.15/219.65	o 1819
291.44/220.72	o 1818
292.24/221.55	o 1817
293.04/222.39	o 1816
294.04/223.36	o 1815
295.04/224.31	o 1814
295.85/225.17	o 1813
296.65/225.95	o 1812
297.63/226.73	o 1811
298.44/227.59	o 1810
299.24/228.34	o 1809
300.05/229.16	o 1808
300.84/229.92	o 1807
301.44/230.50	o 1806
302.20/231.27	o 1805
302.80/231.85	o 1804
303.40/232.49	o 1803
304.01/233.08	o 1802
304.70/233.72	o 1801
305.41/234.41	o 1800
306.02/235.05	o 1799
306.81/235.80	o 1798
307.41/236.44	o 1797
308.26/237.27	o 1796
309.26/238.26	o 1795
309.96/238.95	o 1794
310.66/239.63	o 1793
311.36/240.37	o 1792
311.96/241.00	o 1791
312.67/241.63	o 1790
313.56/242.50	o 1789
314.26/243.25	o 1788
314.91/243.81	o 1787
315.42/244.37	o 1786
315.92/244.85	o 1785
316.41/245.34	o 1784
316.81/245.79	o 1783
317.31/246.24	o 1782
317.91/246.86	o 1781
318.31/247.26	o 1780
318.91/247.82	o 1779
340.87/259.43	o 1778
342.07/260.68	o 1777
343.60/262.03	o 1776
344.60/263.10	o 1775
345.71/264.13	o 1774
346.62/265.10	o 1773
347.62/266.08	o 1772
348.70/267.01	o 1771
349.59/267.94	o 1770
350.49/268.88	o 1769
351.49/269.84	o 1768
352.45/270.74	o 1767
353.25/271.55	o 1766
354.05/272.37	o 1765
354.95/273.24	o 1764
355.76/274.09	o 1763
356.71/274.91	o 1762
357.42/275.66	o 1761
358.32/276.53	o 1760
359.12/277.31	o 1759
359.93/278.12	o 1758
360.52/278.78	o 1757
361.27/279.40	o 1756
361.88/280.03	o 1755
362.47/280.68	o 1754
363.07/281.27	o 1753
363.77/281.93	o 1752
364.47/282.63	o 1751
365.27/283.43	o 1750
365.93/284.10	o 1749
366.62/284.73	o 1748
367.03/285.14	o 1747
367.52/285.65	o 1746
367.93/286.04	o 1745
368.32/286.42	o 1744
368.62/286.79	o 1743
369.12/287.30	o 1742
369.62/287.77	o 1741
370.04/288.11	o 1740
370.39/288.49	o 1739
370.78/288.82	o 1738
371.09/289.15	o 1737
371.48/289.56	o 1736
371.88/289.93	o 1735
372.28/290.39	o 1734
372.58/290.69	o 1733
372.99/291.03	o 1732
373.28/291.36	o 1731
373.58/291.65	o 1730
373.88/291.93	o 1729
374.18/292.20	o 1728
374.48/292.54	o 1727
374.78/292.81	o 1726
375.25/293.23	o 1725
404.20/308.96	o 1724
405.60/310.37	o 1723
407.14/311.54	o 1722
408.04/312.49	o 1721
408.95/313.39	o 1720
409.85/314.21	o 1719
410.55/314.92	o 1718
411.25/315.61	o 1717
412.07/316.33	o 1716
412.67/316.97	o 1715
413.37/317.61	o 1714
413.97/318.27	o 1713
414.67/318.90	o 1712
415.27/319.54	o 1711
415.88/320.16	o 1710
416.54/320.77	o 1709
417.14/321.38	o 1708
417.74/321.95	o 1707
418.35/322.52	o 1706
418.85/323.07	o 1705
419.44/323.63	o 1704
419.95/324.19	o 1703
420.54/324.73	o 1702
421.04/325.25	o 1701
421.60/325.77	o 1700
422.14/326.28	o 1699
422.64/326.77	o 1698
423.05/327.19	o 1697
423.54/327.62	o 1696
423.95/328.03	o 1695
424.34/328.43	o 1694
424.74/328.84	o 1693
425.14/329.23	o 1692
425.54/329.61	o 1691
425.91/329.99	o 1690
426.31/330.36	o 1689
426.72/330.72	o 1688
427.03/331.07	o 1687
427.42/331.41	o 1686
427.72/331.74	o 1685
428.03/332.08	o 1684
428.43/332.41	o 1683
428.73/332.74	o 1682
429.04/333.05	o 1681
429.33/333.36	o 1680
429.63/333.65	o 1679
429.93/333.93	o 1678
430.27/334.23	o 1677
430.57/334.51	o 1676
430.77/334.79	o 1675
431.08/335.06	o 1674
431.37/335.31	o 1673
431.57/335.57	o 1672
431.87/335.82	o 1671
432.08/336.05	o 1670
432.27/336.24	o 1669
432.47/336.41	o 1668
432.57/336.57	o 1667
432.77/336.73	o 1666
432.87/336.90	o 1665
433.08/337.06	o 1664
433.27/337.21	o 1663
433.37/337.37	o 1662
433.57/337.52	o 1661
433.67/337.67	o 1660
433.87/337.81	o 1659
433.97/337.95	o 1658
434.24/338.11	o 1657
434.32/338.25	o 1656
434.42/338.38	o 1655
434.62/338.52	o 1654
434.72/338.65	o 1653
434.82/338.78	o 1652
434.92/338.89	o 1651
435.13/339.01	o 1650
435.23/339.13	o 1649
484.27/365.14	o 1648
485.56/366.46	o 1647
487.47/367.85	o 1646
488.69/369.03	o 1645
489.69/370.10	o 1644
490.69/371.05	o 1643
491.58/371.94	o 1642
492.48/372.80	o 1641
493.35/373.67	o 1640
494.25/374.43	o 1639
494.96/375.13	o 1638
495.65/375.83	o 1637
496.35/376.55	o 1636
496.97/377.19	o 1635
497.66/377.87	o 1634
498.36/378.52	o 1633
498.97/379.16	o 1632
499.81/379.86	o 1631
500.43/380.46	o 1630
501.04/381.07	o 1629
501.63/381.66	o 1628
502.23/382.25	o 1627
502.83/382.80	o 1626
503.33/383.35	o 1625
503.83/383.88	o 1624
504.43/384.41	o 1623
504.93/384.92	o 1622
505.43/385.44	o 1621
506.09/385.97	o 1620
506.59/386.45	o 1619
507.10/386.92	o 1618
507.60/387.41	o 1617
508.00/387.88	o 1616
508.60/388.36	o 1615
509.10/388.82	o 1614
509.62/389.30	o 1613
510.02/389.78	o 1612
510.52/390.23	o 1611
510.92/390.69	o 1610
511.43/391.12	o 1609
511.88/391.59	o 1608
512.39/392.01	o 1607
512.89/392.41	o 1606
513.29/392.81	o 1605
513.60/393.20	o 1604
513.99/393.57	o 1603
514.39/393.92	o 1602
514.69/394.27	o 1601
515.09/394.60	o 1600
515.39/394.93	o 1599
515.69/395.27	o 1598
516.09/395.60	o 1597
516.39/395.91	o 1596
516.69/396.23	o 1595
516.99/396.55	o 1594
517.29/396.85	o 1593
517.86/397.21	o 1592
518.16/397.53	o 1591
518.46/397.83	o 1590
518.66/398.09	o 1589
518.95/398.34	o 1588
519.15/398.56	o 1587
519.35/398.78	o 1586
519.55/399.00	o 1585
519.85/399.21	o 1584
520.06/399.43	o 1583
520.26/399.63	o 1582
520.46/399.82	o 1581
520.67/400.01	o 1580
520.86/400.20	o 1579
520.96/400.38	o 1578
521.16/400.56	o 1577
521.36/400.73	o 1576
521.46/400.87	o 1575
521.56/401.00	o 1574
521.77/401.12	o 1573
521.89/401.24	o 1572
521.99/401.35	o 1571
522.09/401.45	o 1570
522.20/401.55	o 1569
522.30/401.64	o 1568
522.40/401.73	o 1567
522.50/401.80	o 1566
522.50/401.87	o 1565
522.60/401.94	o 1564
522.71/402.01	o 1563
522.71/402.07	o 1562
522.81/402.18	o 1561
523.05/402.23	o 1560
523.05/402.28	o 1559
523.15/402.33	o 1558
523.15/402.37	o 1557
523.25/402.41	o 1556
523.25/402.44	o 1555
523.25/402.46	o 1554
523.25/402.49	o 1553
523.35/402.51	o 1552
523.35/402.53	o 1551
523.35/402.55	o 1550
523.35/402.56	o 8
526.23/403.94	o 7
2520.09/2387.13	Exception in thread "main" java.util.concurrent.TimeoutException
2520.09/2387.13		at concrete.MAC.mac(MAC.scala:188)
2520.09/2387.13		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.09/2387.13		at scala.util.Try$.apply(Try.scala:209)
2520.09/2387.13		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.09/2387.13		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.09/2387.13		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.09/2387.13		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.09/2387.13		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.09/2387.13		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.09/2387.13		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.09/2387.13		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.09/2387.13		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.09/2387.13		at concrete.MAC.oneRun(MAC.scala:253)
2520.09/2387.13		at concrete.MAC.nextSolution(MAC.scala:272)
2520.09/2387.13		at concrete.MAC.nextSolution(MAC.scala:355)
2520.09/2387.13		at concrete.Solver.hasNext(Solver.scala:166)
2520.09/2387.13		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.09/2387.13		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.09/2387.13		at concrete.Solver.foreach(Solver.scala:68)
2520.09/2387.13		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.09/2387.13		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.09/2387.13		at scala.util.Success.map(Try.scala:209)
2520.09/2387.13		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.09/2387.13		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.09/2387.13		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.09/2387.13		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.09/2387.13		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.09/2387.13		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.09/2387.13		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.09/2387.13		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.09/2387.13		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.09/2387.13		at scala.collection.immutable.List.foreach(List.scala:389)
2520.09/2387.13		at scala.App.main(App.scala:76)
2520.09/2387.13		at scala.App.main$(App.scala:74)
2520.09/2387.13		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.09/2387.13		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.09/2387.13	v <instantiation cost="7">
2520.09/2387.13	v       <list>
2520.09/2387.13	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.09/2387.13	v       </list>
2520.09/2387.13	v       <values>
2520.09/2387.13	v         6 5 0 0 6 6 0 0 2 2 4 3 1 2 0 3 3 0 0 6 6 0 0 7 7 4 3 7 7 0 7 2 7 7 3 3 1 1 3 3 4 3 1 1 1 0 0 0 0 2 0 0 0 0 0 7 0 0 0 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 1 2 0 3 4 2 4 0 0 2 2 0 0 1 6 4 6 1 6 0 4 4 7 1 4 4 4 7 6 7 4 6 7 6 6 4 4 1 4 4 4 4 4 6 6 4 6 1 6 6 1 1 1 1 2 2 2 2 2 2 7 2 7 7 7 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 1 2 6 6 4 3 3 0 0 3 3 0 0 3 3 3 3 3 3 0 3 7 0 0 3 3 0 0 3 3 3 3 7 3 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 3 0 0 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 6 0 0 0 0 0 1 3 4 0 2 2 1 1 1 2 2 3 3 2 2 5 3 1 2 5 1 5 1 1 3 3 7 5 3 7 4 3 5 5 5 2 2 7 5 5 5 5 3 1 5 5 2 5 1 5 5 2 5 2 5 2 2 2 2 2 2 2 2 2 2 2 2 7 3 3 3 3 3 3 6 6 2 3 6 6 5 2 5 5 4 2 2 2 2 2 2 4 4 2 2 4 5 5 2 5 4 4 4 4 4 4 4 4 5 5 4 5 5 5 5 2 2 2 4 2 2 2 5 2 2 2 2 5 2 2 4 6 7 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6 2 2 2 6 2 2 2 6 6 2 2 5 2 5 5 5 2 5 5 5 2 2 3 3 2 2 2 2 7 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 7 2 7 7 5 5 3 5 5 3 5 2 5 5 5 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 6 6 3 3 6 6 3 2 5 3 6 3 2 3 3 5 2 7 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7 2 2 2 2 2 7 2 2 2 2 2 2 2 6 2 2 2 6 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 6 3 3 3 3 3 3 3 3 3 3 7 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 7 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 5 5 5 5 2 3 3 6 6 6 6 6 6 6 6 4 3 1 6 6 3 3 7 1 7 6 3 6 1 1 4 3 7 6 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 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 4 4 4 4 4 4 6 6 4 6 1 6 6 3 3 7 1 4 4 4 7 1 1 4 3 7 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 7 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 6 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 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 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 6 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 6 1 1 1 1 1 1 1 4 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5 2 2 7 7 2 2 2 2 2 2 2 2 2 2 7 2 2 2 2 2 2 2 2 2 7 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6 6 2 2 2 2 6 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7 2 2 2 2 2 2 2 7 2 2 2 2 2 2 2 2 6 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7 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 6 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 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7 2 2 2 2 7 2 2 2 2 2 2 2 2 2 7 2 2 2 2 2 2 6 2 6 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 1 1 1 1 7 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 6 0 0 1 1 1 1 7 1 1 1 1 1 6 1 6 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 6 0 1 0 0 0 1 0 0 7 0 0 0 1 0 0 0 0 0 0 0 0 0 1 6 0 0 0 0 0 0 0 1 0 7 0 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 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 7 1 1 1 1 1 1 1 1 1 7 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 7 0 0 0 0 0 0 0 0 7 0 0 6 0 0 0 6 0 6 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 7 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 6 0 0 6 1 0 7 0 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 7 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 1 1 1 1 1 1 1 1 1 1 5 1 1 1 0 1 1 0 2 0 5 1 3
2520.09/2387.13	v       </values>
2520.09/2387.13	v     </instantiation>
2520.09/2387.14	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 (695 MiB free)
  memory of node 1: 16384 MiB (2785 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304252-1534050629/watcher-4304252-1534050629 -o /tmp/evaluation-result-4304252-1534050629/solver-4304252-1534050629 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534040758-13581 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1213675795 -superng HOME/instance-4304252-1534050629.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
solver pid=15214, runsolver pid=15211
Current StackSize limit: 8192 KiB


[startup+0.100106 s]*
/proc/loadavg: 1.72 1.43 1.43 3/207 15271
/proc/meminfo: memFree=3561552/32770624 swapFree=67108860/67108860
[pid=15214] ppid=15211 vsize=10005480 memory=18952 CPUtime=0.09 cores=1,3,5,7
/proc/15214/stat : 15214 (java) S 15211 15214 11630 0 -1 1077944320 4360 13406 0 0 1 0 5 3 20 0 6 0 222626070 10245611520 4738 33554432000 4194304 4196468 140725785692928 140725785675472 140472182714103 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
/proc/15214/statm: 2501370 4738 1934 1 0 2489808 0
[pid=15214/tid=15267] ppid=15211 vsize=10005480 memory=4279135703946725007 CPUtime=0.09 cores=1,3,5,7
/proc/15214/task/15267/stat : 15267 (java) R 15211 15214 11630 0 -1 4202560 2167 13406 0 0 1 0 5 3 20 0 6 0 222626079 10245611520 4738 33554432000 4194304 4196468 140725785692928 140472154550864 140472168396595 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15268] ppid=15211 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15268/stat : 15268 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 6 0 222626080 10245611520 4738 33554432000 4194304 4196468 140725785692928 140472186956176 140472182724309 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15269] ppid=15211 vsize=10005480 memory=140407506949760 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15269/stat : 15269 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 6 0 222626080 10245611520 4738 33554432000 4194304 4196468 140725785692928 140472074361104 140472182724309 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15270] ppid=15211 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15270/stat : 15270 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 6 0 222626080 10245611520 4738 33554432000 4194304 4196468 140725785692928 140471721339536 140472182724309 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15271] ppid=15211 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15271/stat : 15271 (java) S 15211 15214 11630 0 -1 1077944384 2 13406 0 0 0 0 5 3 20 0 6 0 222626080 10245611520 4738 33554432000 4194304 4196468 140725785692928 140471720286736 140472182724309 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18952 KiB

[startup+0.210043 s]*
/proc/loadavg: 1.72 1.43 1.43 3/216 15280
/proc/meminfo: memFree=3535392/32770624 swapFree=67108860/67108860
[pid=15214] ppid=15211 vsize=10982744 memory=44708 CPUtime=0.26 cores=1,3,5,7
/proc/15214/stat : 15214 (java) S 15211 15214 11630 0 -1 1077944320 7894 13406 0 0 17 1 5 3 20 0 15 0 222626070 11246329856 11177 33554432000 4194304 4196468 140725785692928 140725785675472 140472182714103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
/proc/15214/statm: 2745686 11177 2946 1 0 2708109 0
[pid=15214/tid=15267] ppid=15211 vsize=10982744 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/15214/task/15267/stat : 15267 (java) R 15211 15214 11630 0 -1 4202560 4455 13406 0 0 11 1 5 3 20 0 15 0 222626079 11246329856 11177 33554432000 4194304 4196468 140725785692928 140472154537968 140472182726038 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15268] ppid=15211 vsize=10982744 memory=342 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15268/stat : 15268 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 15 0 222626080 11246329856 11177 33554432000 4194304 4196468 140725785692928 140472186956176 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15269] ppid=15211 vsize=10982744 memory=3689494719770351264 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15269/stat : 15269 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 15 0 222626080 11246329856 11177 33554432000 4194304 4196468 140725785692928 140472074361104 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15270] ppid=15211 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15270/stat : 15270 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 15 0 222626080 11246329856 11177 33554432000 4194304 4196468 140725785692928 140471721339536 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15271] ppid=15211 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15271/stat : 15271 (java) S 15211 15214 11630 0 -1 1077944384 2 13406 0 0 0 0 5 3 20 0 15 0 222626080 11246329856 11177 33554432000 4194304 4196468 140725785692928 140471720286736 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15272] ppid=15211 vsize=10982744 memory=140407506949760 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15272/stat : 15272 (java) S 15211 15214 11630 0 -1 1077944384 2 13406 0 0 0 0 5 3 20 0 15 0 222626081 11246329856 11177 33554432000 4194304 4196468 140725785692928 140471675845232 140472182725250 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15273] ppid=15211 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15273/stat : 15273 (java) S 15211 15214 11630 0 -1 1077944384 13 13406 0 0 0 0 5 3 20 0 15 0 222626081 11246329856 11177 33554432000 4194304 4196468 140725785692928 140470945572128 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15274] ppid=15211 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15274/stat : 15274 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 15 0 222626082 11246329856 11177 33554432000 4194304 4196468 140725785692928 140470797723248 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15275] ppid=15211 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15275/stat : 15275 (java) S 15211 15214 11630 0 -1 1077944384 3 13406 0 0 0 0 5 3 20 0 15 0 222626084 11246329856 11177 33554432000 4194304 4196468 140725785692928 140470490323536 140472182732699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15276] ppid=15211 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15214/task/15276/stat : 15276 (java) R 15211 15214 11630 0 -1 1077944384 365 13406 0 0 1 0 5 3 20 0 15 0 222626084 11246329856 11177 33554432000 4194304 4196468 140725785692928 140471674792048 140472182725250 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15277] ppid=15211 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15277/stat : 15277 (java) S 15211 15214 11630 0 -1 1077944384 262 13406 0 0 0 0 5 3 20 0 15 0 222626084 11246329856 11177 33554432000 4194304 4196468 140725785692928 140471673739248 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15278] ppid=15211 vsize=10982744 memory=140407506949760 CPUtime=0.11 cores=1,3,5,7
/proc/15214/task/15278/stat : 15278 (java) R 15211 15214 11630 0 -1 4202560 619 13406 0 0 3 0 5 3 20 0 15 0 222626084 11246329856 11177 33554432000 4194304 4196468 140725785692928 140471672686960 140472161082955 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15279] ppid=15211 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15279/stat : 15279 (java) S 15211 15214 11630 0 -1 1077944384 3 13406 0 0 0 0 5 3 20 0 15 0 222626085 11246329856 11177 33554432000 4194304 4196468 140725785692928 140470059526624 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15280] ppid=15211 vsize=10982744 memory=140407506949760 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15280/stat : 15280 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 15 0 222626085 11246329856 11177 33554432000 4194304 4196468 140725785692928 140471671634864 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44708 KiB

[startup+0.310256 s]*
/proc/loadavg: 1.72 1.43 1.43 3/216 15280
/proc/meminfo: memFree=3523608/32770624 swapFree=67108860/67108860
[pid=15214] ppid=15211 vsize=10983192 memory=55616 CPUtime=0.39 cores=1,3,5,7
/proc/15214/stat : 15214 (java) S 15211 15214 11630 0 -1 1077944320 10428 13406 0 0 29 2 5 3 20 0 15 0 222626070 11246788608 13904 33554432000 4194304 4196468 140725785692928 140725785675472 140472182714103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
/proc/15214/statm: 2745798 13904 3091 1 0 2708109 0
[pid=15214/tid=15267] ppid=15211 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/15214/task/15267/stat : 15267 (java) R 15211 15214 11630 0 -1 4202560 6941 13406 0 0 19 1 5 3 20 0 15 0 222626079 11246788608 13904 33554432000 4194304 4196468 140725785692928 140472154526112 140472167879689 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15268] ppid=15211 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15268/stat : 15268 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 15 0 222626080 11246788608 13904 33554432000 4194304 4196468 140725785692928 140472186956176 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15269] ppid=15211 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15269/stat : 15269 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 15 0 222626080 11246788608 13904 33554432000 4194304 4196468 140725785692928 140472074361104 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15270] ppid=15211 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15270/stat : 15270 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 15 0 222626080 11246788608 13904 33554432000 4194304 4196468 140725785692928 140471721339536 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15271] ppid=15211 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15271/stat : 15271 (java) S 15211 15214 11630 0 -1 1077944384 2 13406 0 0 0 0 5 3 20 0 15 0 222626080 11246788608 13904 33554432000 4194304 4196468 140725785692928 140471720286736 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15272] ppid=15211 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15272/stat : 15272 (java) S 15211 15214 11630 0 -1 1077944384 2 13406 0 0 0 0 5 3 20 0 15 0 222626081 11246788608 13904 33554432000 4194304 4196468 140725785692928 140471675845232 140472182725250 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15273] ppid=15211 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15273/stat : 15273 (java) S 15211 15214 11630 0 -1 1077944384 13 13406 0 0 0 0 5 3 20 0 15 0 222626081 11246788608 13904 33554432000 4194304 4196468 140725785692928 140470945572128 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15274] ppid=15211 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15274/stat : 15274 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 15 0 222626082 11246788608 13904 33554432000 4194304 4196468 140725785692928 140470797723248 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15275] ppid=15211 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15275/stat : 15275 (java) S 15211 15214 11630 0 -1 1077944384 3 13406 0 0 0 0 5 3 20 0 15 0 222626084 11246788608 13904 33554432000 4194304 4196468 140725785692928 140470490323536 140472182732699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15276] ppid=15211 vsize=10983192 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/15214/task/15276/stat : 15276 (java) S 15211 15214 11630 0 -1 1077944384 365 13406 0 0 2 0 5 3 20 0 15 0 222626084 11246788608 13904 33554432000 4194304 4196468 140725785692928 140471674792048 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15277] ppid=15211 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/15214/task/15277/stat : 15277 (java) S 15211 15214 11630 0 -1 1077944384 265 13406 0 0 1 0 5 3 20 0 15 0 222626084 11246788608 13904 33554432000 4194304 4196468 140725785692928 140471673739248 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15278] ppid=15211 vsize=10983192 memory=140407506949760 CPUtime=0.12 cores=1,3,5,7
/proc/15214/task/15278/stat : 15278 (java) S 15211 15214 11630 0 -1 1077944384 637 13406 0 0 4 0 5 3 20 0 15 0 222626084 11246788608 13904 33554432000 4194304 4196468 140725785692928 140471672686960 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15279] ppid=15211 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15279/stat : 15279 (java) S 15211 15214 11630 0 -1 1077944384 3 13406 0 0 0 0 5 3 20 0 15 0 222626085 11246788608 13904 33554432000 4194304 4196468 140725785692928 140470059526624 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15280] ppid=15211 vsize=10983192 memory=140407506949760 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15280/stat : 15280 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 15 0 222626085 11246788608 13904 33554432000 4194304 4196468 140725785692928 140471671634864 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55616 KiB

[startup+0.700735 s]
/proc/loadavg: 1.72 1.43 1.43 4/216 15280
/proc/meminfo: memFree=3512568/32770624 swapFree=67108860/67108860
[pid=15214] ppid=15211 vsize=10983192 memory=88424 CPUtime=1 cores=1,3,5,7
/proc/15214/stat : 15214 (java) S 15211 15214 11630 0 -1 1077944320 16743 13406 0 0 88 4 5 3 20 0 15 0 222626070 11246788608 22106 33554432000 4194304 4196468 140725785692928 140725785675472 140472182714103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
/proc/15214/statm: 2745798 22106 3238 1 0 2708109 0
[pid=15214/tid=15267] ppid=15211 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/15214/task/15267/stat : 15267 (java) R 15211 15214 11630 0 -1 4202560 12200 13406 0 0 56 2 5 3 20 0 15 0 222626079 11246788608 22106 33554432000 4194304 4196468 140725785692928 140472154534928 140472182736029 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15268] ppid=15211 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15268/stat : 15268 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 15 0 222626080 11246788608 22106 33554432000 4194304 4196468 140725785692928 140472186956176 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15269] ppid=15211 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15269/stat : 15269 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 15 0 222626080 11246788608 22106 33554432000 4194304 4196468 140725785692928 140472074361104 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15270] ppid=15211 vsize=10983192 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15270/stat : 15270 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 15 0 222626080 11246788608 22106 33554432000 4194304 4196468 140725785692928 140471721339536 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15271] ppid=15211 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15271/stat : 15271 (java) S 15211 15214 11630 0 -1 1077944384 2 13406 0 0 0 0 5 3 20 0 15 0 222626080 11246788608 22106 33554432000 4194304 4196468 140725785692928 140471720286736 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15272] ppid=15211 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15272/stat : 15272 (java) S 15211 15214 11630 0 -1 1077944384 5 13406 0 0 0 0 5 3 20 0 15 0 222626081 11246788608 22106 33554432000 4194304 4196468 140725785692928 140471675845232 140472182725250 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15273] ppid=15211 vsize=10983192 memory=140407379997392 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15273/stat : 15273 (java) S 15211 15214 11630 0 -1 1077944384 13 13406 0 0 0 0 5 3 20 0 15 0 222626081 11246788608 22106 33554432000 4194304 4196468 140725785692928 140470945572128 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15274] ppid=15211 vsize=10983192 memory=140411070841443 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15274/stat : 15274 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 15 0 222626082 11246788608 22106 33554432000 4194304 4196468 140725785692928 140470797723248 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15275] ppid=15211 vsize=10983192 memory=10824 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15275/stat : 15275 (java) S 15211 15214 11630 0 -1 1077944384 3 13406 0 0 0 0 5 3 20 0 15 0 222626084 11246788608 22106 33554432000 4194304 4196468 140725785692928 140470490323536 140472182732699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15276] ppid=15211 vsize=10983192 memory=7234564758908855872 CPUtime=0.18 cores=1,3,5,7
/proc/15214/task/15276/stat : 15276 (java) S 15211 15214 11630 0 -1 1077944384 952 13406 0 0 10 0 5 3 20 0 15 0 222626084 11246788608 22106 33554432000 4194304 4196468 140725785692928 140471674792048 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15277] ppid=15211 vsize=10983192 memory=8099279071866868843 CPUtime=0.15 cores=1,3,5,7
/proc/15214/task/15277/stat : 15277 (java) S 15211 15214 11630 0 -1 1077944384 647 13406 0 0 7 0 5 3 20 0 15 0 222626084 11246788608 22106 33554432000 4194304 4196468 140725785692928 140471673739248 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15278] ppid=15211 vsize=10983192 memory=6154282490091891024 CPUtime=0.21 cores=1,3,5,7
/proc/15214/task/15278/stat : 15278 (java) R 15211 15214 11630 0 -1 4202560 721 13406 0 0 13 0 5 3 20 0 15 0 222626084 11246788608 22106 33554432000 4194304 4196468 140725785692928 140471672686960 140472161203744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15279] ppid=15211 vsize=10983192 memory=4128 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15279/stat : 15279 (java) S 15211 15214 11630 0 -1 1077944384 3 13406 0 0 0 0 5 3 20 0 15 0 222626085 11246788608 22106 33554432000 4194304 4196468 140725785692928 140470059526624 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15280] ppid=15211 vsize=10983192 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15280/stat : 15280 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 15 0 222626085 11246788608 22106 33554432000 4194304 4196468 140725785692928 140471671634864 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88424 KiB

[startup+1.50085 s]
/proc/loadavg: 1.72 1.43 1.43 5/216 15280
/proc/meminfo: memFree=3465740/32770624 swapFree=67108860/67108860
[pid=15214] ppid=15211 vsize=10991948 memory=207256 CPUtime=3.02 cores=1,3,5,7
/proc/15214/stat : 15214 (java) S 15211 15214 11630 0 -1 1077944320 22246 13406 0 0 287 7 5 3 20 0 15 0 222626070 11255754752 51814 33554432000 4194304 4196468 140725785692928 140725785675472 140472182714103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
/proc/15214/statm: 2747987 51814 3450 1 0 2709645 0
[pid=15214/tid=15267] ppid=15211 vsize=10991948 memory=12813 CPUtime=1.46 cores=1,3,5,7
/proc/15214/task/15267/stat : 15267 (java) R 15211 15214 11630 0 -1 4202560 14947 13406 0 0 133 5 5 3 20 0 15 0 222626079 11255754752 51814 33554432000 4194304 4196468 140725785692928 140472154545504 140471756473767 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15268] ppid=15211 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15268/stat : 15268 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 15 0 222626080 11255754752 51814 33554432000 4194304 4196468 140725785692928 140472186956176 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15269] ppid=15211 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15269/stat : 15269 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 15 0 222626080 11255754752 51814 33554432000 4194304 4196468 140725785692928 140472074361104 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15270] ppid=15211 vsize=10991948 memory=125 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15270/stat : 15270 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 15 0 222626080 11255754752 51814 33554432000 4194304 4196468 140725785692928 140471721339536 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15271] ppid=15211 vsize=10991948 memory=88424 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15271/stat : 15271 (java) S 15211 15214 11630 0 -1 1077944384 2 13406 0 0 0 0 5 3 20 0 15 0 222626080 11255754752 51814 33554432000 4194304 4196468 140725785692928 140471720286736 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15272] ppid=15211 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15272/stat : 15272 (java) S 15211 15214 11630 0 -1 1077944384 13 13406 0 0 0 0 5 3 20 0 15 0 222626081 11255754752 51814 33554432000 4194304 4196468 140725785692928 140471675845232 140472182725250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15273] ppid=15211 vsize=10991948 memory=280814759936496 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15273/stat : 15273 (java) S 15211 15214 11630 0 -1 1077944384 13 13406 0 0 0 0 5 3 20 0 15 0 222626081 11255754752 51814 33554432000 4194304 4196468 140725785692928 140470945572128 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15274] ppid=15211 vsize=10991948 memory=280814759987296 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15274/stat : 15274 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 15 0 222626082 11255754752 51814 33554432000 4194304 4196468 140725785692928 140470797723248 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15275] ppid=15211 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15275/stat : 15275 (java) S 15211 15214 11630 0 -1 1077944384 3 13406 0 0 0 0 5 3 20 0 15 0 222626084 11255754752 51814 33554432000 4194304 4196468 140725785692928 140470490323536 140472182732699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15276] ppid=15211 vsize=10991948 memory=4638778398332698720 CPUtime=0.64 cores=1,3,5,7
/proc/15214/task/15276/stat : 15276 (java) R 15211 15214 11630 0 -1 4202560 2220 13406 0 0 56 0 5 3 20 0 15 0 222626084 11255754752 51814 33554432000 4194304 4196468 140725785692928 140471674773456 140472164257450 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15277] ppid=15211 vsize=10991948 memory=280814760270720 CPUtime=0.63 cores=1,3,5,7
/proc/15214/task/15277/stat : 15277 (java) R 15211 15214 11630 0 -1 4202560 1469 13406 0 0 55 0 5 3 20 0 15 0 222626084 11255754752 51814 33554432000 4194304 4196468 140725785692928 140471673731280 140472164258547 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15278] ppid=15211 vsize=10991948 memory=-7531822216213012384 CPUtime=0.48 cores=1,3,5,7
/proc/15214/task/15278/stat : 15278 (java) S 15211 15214 11630 0 -1 1077944384 1379 13406 0 0 40 0 5 3 20 0 15 0 222626084 11255754752 51814 33554432000 4194304 4196468 140725785692928 140471672686960 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15279] ppid=15211 vsize=10991948 memory=-7531822216213012384 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15279/stat : 15279 (java) S 15211 15214 11630 0 -1 1077944384 3 13406 0 0 0 0 5 3 20 0 15 0 222626085 11255754752 51814 33554432000 4194304 4196468 140725785692928 140470059526624 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15280] ppid=15211 vsize=10991948 memory=-7233780906022716832 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15280/stat : 15280 (java) S 15211 15214 11630 0 -1 1077944384 1 13406 0 0 0 0 5 3 20 0 15 0 222626085 11255754752 51814 33554432000 4194304 4196468 140725785692928 140471671634864 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 10991948 KiB

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

/proc/15214/task/15274/stat : 15274 (java) S 15211 15214 11630 0 -1 1077944384 7 13406 0 0 0 0 5 3 20 0 15 0 222626082 11343855616 1353847 33554432000 4194304 4196468 140725785692928 140470797723264 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15275] ppid=15211 vsize=11077984 memory=4128 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15275/stat : 15275 (java) S 15211 15214 11630 0 -1 1077944384 3 13406 0 0 0 0 5 3 20 0 15 0 222626084 11343855616 1353847 33554432000 4194304 4196468 140725785692928 140470490323536 140472182732699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15276] ppid=15211 vsize=11077984 memory=5415388 CPUtime=10.03 cores=1,3,5,7
/proc/15214/task/15276/stat : 15276 (java) S 15211 15214 11630 0 -1 1077944384 36504 13406 0 0 989 6 5 3 20 0 15 0 222626084 11343855616 1353847 33554432000 4194304 4196468 140725785692928 140471674792048 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15277] ppid=15211 vsize=11077984 memory=5415388 CPUtime=10.17 cores=1,3,5,7
/proc/15214/task/15277/stat : 15277 (java) S 15211 15214 11630 0 -1 1077944384 41248 13406 0 0 1002 7 5 3 20 0 15 0 222626084 11343855616 1353847 33554432000 4194304 4196468 140725785692928 140471673739248 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15278] ppid=15211 vsize=11077984 memory=1428 CPUtime=2.95 cores=1,3,5,7
/proc/15214/task/15278/stat : 15278 (java) S 15211 15214 11630 0 -1 1077944384 39885 13406 0 0 281 6 5 3 20 0 15 0 222626084 11343855616 1353847 33554432000 4194304 4196468 140725785692928 140471672686960 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15279] ppid=15211 vsize=11077984 memory=5415388 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15279/stat : 15279 (java) S 15211 15214 11630 0 -1 1077944384 3 13406 0 0 0 0 5 3 20 0 15 0 222626085 11343855616 1353847 33554432000 4194304 4196468 140725785692928 140470059526624 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15280] ppid=15211 vsize=11077984 memory=5415388 CPUtime=1.42 cores=1,3,5,7
/proc/15214/task/15280/stat : 15280 (java) S 15211 15214 11630 0 -1 1077944384 3693 13406 0 0 58 76 5 3 20 0 15 0 222626085 11343855616 1353847 33554432000 4194304 4196468 140725785692928 140471671634864 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
Current children cumulated CPU time: 2394.78 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 5415388 KiB

[startup+2322.3 s]
/proc/loadavg: 2.11 1.94 1.84 5/215 15473
/proc/meminfo: memFree=3559984/32770624 swapFree=67108860/67108860
[pid=15214] ppid=15211 vsize=11077984 memory=5415436 CPUtime=2455.01 cores=1,3,5,7
/proc/15214/stat : 15214 (java) S 15211 15214 11630 0 -1 1077944320 8721662 13406 0 0 243574 1919 5 3 20 0 15 0 222626070 11343855616 1353859 33554432000 4194304 4196468 140725785692928 140725785675472 140472182714103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
/proc/15214/statm: 2769496 1353859 3543 1 0 2731149 0
[pid=15214/tid=15267] ppid=15211 vsize=11077984 memory=5415436 CPUtime=2284.26 cores=1,3,5,7
/proc/15214/task/15267/stat : 15267 (java) R 15211 15214 11630 0 -1 4202560 5586895 13406 0 0 227982 436 5 3 20 0 15 0 222626079 11343855616 1353859 33554432000 4194304 4196468 140725785692928 140472154548176 140471755953690 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15268] ppid=15211 vsize=11077984 memory=5415436 CPUtime=36.36 cores=1,3,5,7
/proc/15214/task/15268/stat : 15268 (java) S 15211 15214 11630 0 -1 1077944384 745994 13406 0 0 3286 342 5 3 20 0 15 0 222626080 11343855616 1353859 33554432000 4194304 4196468 140725785692928 140472186956176 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15269] ppid=15211 vsize=11077984 memory=5415436 CPUtime=36.37 cores=1,3,5,7
/proc/15214/task/15269/stat : 15269 (java) S 15211 15214 11630 0 -1 1077944384 685702 13406 0 0 3308 321 5 3 20 0 15 0 222626080 11343855616 1353859 33554432000 4194304 4196468 140725785692928 140472074361104 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15270] ppid=15211 vsize=11077984 memory=5415436 CPUtime=36.48 cores=1,3,5,7
/proc/15214/task/15270/stat : 15270 (java) S 15211 15214 11630 0 -1 1077944384 736811 13406 0 0 3278 362 5 3 20 0 15 0 222626080 11343855616 1353859 33554432000 4194304 4196468 140725785692928 140471721339536 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15271] ppid=15211 vsize=11077984 memory=5415436 CPUtime=36.37 cores=1,3,5,7
/proc/15214/task/15271/stat : 15271 (java) S 15211 15214 11630 0 -1 1077944384 769727 13406 0 0 3260 369 5 3 20 0 15 0 222626080 11343855616 1353859 33554432000 4194304 4196468 140725785692928 140471720286736 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15272] ppid=15211 vsize=11077984 memory=5415420 CPUtime=1.18 cores=1,3,5,7
/proc/15214/task/15272/stat : 15272 (java) S 15211 15214 11630 0 -1 1077944384 72924 13406 0 0 100 10 5 3 20 0 15 0 222626081 11343855616 1353859 33554432000 4194304 4196468 140725785692928 140471675845232 140472182725250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15273] ppid=15211 vsize=11077984 memory=5415436 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15273/stat : 15273 (java) S 15211 15214 11630 0 -1 1077944384 24 13406 0 0 0 0 5 3 20 0 15 0 222626081 11343855616 1353859 33554432000 4194304 4196468 140725785692928 140470945572192 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15274] ppid=15211 vsize=11077984 memory=5415436 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15274/stat : 15274 (java) S 15211 15214 11630 0 -1 1077944384 7 13406 0 0 0 0 5 3 20 0 15 0 222626082 11343855616 1353859 33554432000 4194304 4196468 140725785692928 140470797723264 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15275] ppid=15211 vsize=11077984 memory=5415436 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15275/stat : 15275 (java) S 15211 15214 11630 0 -1 1077944384 3 13406 0 0 0 0 5 3 20 0 15 0 222626084 11343855616 1353859 33554432000 4194304 4196468 140725785692928 140470490323536 140472182732699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15276] ppid=15211 vsize=11077984 memory=1240 CPUtime=10.03 cores=1,3,5,7
/proc/15214/task/15276/stat : 15276 (java) S 15211 15214 11630 0 -1 1077944384 36508 13406 0 0 989 6 5 3 20 0 15 0 222626084 11343855616 1353859 33554432000 4194304 4196468 140725785692928 140471674792048 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15277] ppid=15211 vsize=11077984 memory=5415436 CPUtime=10.17 cores=1,3,5,7
/proc/15214/task/15277/stat : 15277 (java) S 15211 15214 11630 0 -1 1077944384 41251 13406 0 0 1002 7 5 3 20 0 15 0 222626084 11343855616 1353859 33554432000 4194304 4196468 140725785692928 140471673739248 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15278] ppid=15211 vsize=11077984 memory=4128 CPUtime=2.95 cores=1,3,5,7
/proc/15214/task/15278/stat : 15278 (java) S 15211 15214 11630 0 -1 1077944384 39893 13406 0 0 281 6 5 3 20 0 15 0 222626084 11343855616 1353859 33554432000 4194304 4196468 140725785692928 140471672686960 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15279] ppid=15211 vsize=11077984 memory=8298058112166840213 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15279/stat : 15279 (java) S 15211 15214 11630 0 -1 1077944384 3 13406 0 0 0 0 5 3 20 0 15 0 222626085 11343855616 1353859 33554432000 4194304 4196468 140725785692928 140470059526624 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15280] ppid=15211 vsize=11077984 memory=6791534058613427641 CPUtime=1.46 cores=1,3,5,7
/proc/15214/task/15280/stat : 15280 (java) S 15211 15214 11630 0 -1 1077944384 3728 13406 0 0 60 78 5 3 20 0 15 0 222626085 11343855616 1353859 33554432000 4194304 4196468 140725785692928 140471671634864 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
Current children cumulated CPU time: 2455.01 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 5415436 KiB

[startup+2382.3 s]
/proc/loadavg: 2.04 1.96 1.85 3/216 15504
/proc/meminfo: memFree=833808/32770624 swapFree=67108860/67108860
[pid=15214] ppid=15211 vsize=11077984 memory=5415488 CPUtime=2515.25 cores=1,3,5,7
/proc/15214/stat : 15214 (java) S 15211 15214 11630 0 -1 1077944320 8927414 13406 0 0 249579 1938 5 3 20 0 15 0 222626070 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140725785675472 140472182714103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
/proc/15214/statm: 2769496 1353872 3543 1 0 2731149 0
[pid=15214/tid=15267] ppid=15211 vsize=11077984 memory=5415436 CPUtime=2344.16 cores=1,3,5,7
/proc/15214/task/15267/stat : 15267 (java) R 15211 15214 11630 0 -1 4202560 5746290 13406 0 0 233959 449 5 3 20 0 15 0 222626079 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140472154548464 140471765506046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15268] ppid=15211 vsize=11077984 memory=5415488 CPUtime=36.43 cores=1,3,5,7
/proc/15214/task/15268/stat : 15268 (java) S 15211 15214 11630 0 -1 1077944384 757816 13406 0 0 3293 342 5 3 20 0 15 0 222626080 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140472186956176 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15269] ppid=15211 vsize=11077984 memory=5415488 CPUtime=36.45 cores=1,3,5,7
/proc/15214/task/15269/stat : 15269 (java) S 15211 15214 11630 0 -1 1077944384 697630 13406 0 0 3314 323 5 3 20 0 15 0 222626080 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140472074361104 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15270] ppid=15211 vsize=11077984 memory=5415488 CPUtime=36.55 cores=1,3,5,7
/proc/15214/task/15270/stat : 15270 (java) S 15211 15214 11630 0 -1 1077944384 746737 13406 0 0 3284 363 5 3 20 0 15 0 222626080 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140471721339536 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15271] ppid=15211 vsize=11077984 memory=5415488 CPUtime=36.44 cores=1,3,5,7
/proc/15214/task/15271/stat : 15271 (java) S 15211 15214 11630 0 -1 1077944384 781991 13406 0 0 3266 370 5 3 20 0 15 0 222626080 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140471720286736 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15272] ppid=15211 vsize=11077984 memory=5415436 CPUtime=1.19 cores=1,3,5,7
/proc/15214/task/15272/stat : 15272 (java) S 15211 15214 11630 0 -1 1077944384 73301 13406 0 0 101 10 5 3 20 0 15 0 222626081 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140471675845232 140472182725250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15273] ppid=15211 vsize=11077984 memory=5415436 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15273/stat : 15273 (java) S 15211 15214 11630 0 -1 1077944384 24 13406 0 0 0 0 5 3 20 0 15 0 222626081 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140470945572192 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15274] ppid=15211 vsize=11077984 memory=5415436 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15274/stat : 15274 (java) S 15211 15214 11630 0 -1 1077944384 7 13406 0 0 0 0 5 3 20 0 15 0 222626082 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140470797723264 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15275] ppid=15211 vsize=11077984 memory=288230621803970871 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15275/stat : 15275 (java) S 15211 15214 11630 0 -1 1077944384 3 13406 0 0 0 0 5 3 20 0 15 0 222626084 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140470490323536 140472182732699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15276] ppid=15211 vsize=11077984 memory=5415476 CPUtime=10.03 cores=1,3,5,7
/proc/15214/task/15276/stat : 15276 (java) S 15211 15214 11630 0 -1 1077944384 36512 13406 0 0 989 6 5 3 20 0 15 0 222626084 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140471674792048 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15277] ppid=15211 vsize=11077984 memory=5415476 CPUtime=10.17 cores=1,3,5,7
/proc/15214/task/15277/stat : 15277 (java) S 15211 15214 11630 0 -1 1077944384 41254 13406 0 0 1002 7 5 3 20 0 15 0 222626084 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140471673739248 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15278] ppid=15211 vsize=11077984 memory=60528 CPUtime=2.95 cores=1,3,5,7
/proc/15214/task/15278/stat : 15278 (java) S 15211 15214 11630 0 -1 1077944384 39901 13406 0 0 281 6 5 3 20 0 15 0 222626084 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140471672686960 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15279] ppid=15211 vsize=11077984 memory=1240 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15279/stat : 15279 (java) S 15211 15214 11630 0 -1 1077944384 3 13406 0 0 0 0 5 3 20 0 15 0 222626085 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140470059526624 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15280] ppid=15211 vsize=11077984 memory=5415488 CPUtime=1.49 cores=1,3,5,7
/proc/15214/task/15280/stat : 15280 (java) S 15211 15214 11630 0 -1 1077944384 3753 13406 0 0 62 79 5 3 20 0 15 0 222626085 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140471671634864 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
Current children cumulated CPU time: 2515.25 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 5415488 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2387.11 s]
/proc/loadavg: 2.04 1.97 1.85 4/216 15504
/proc/meminfo: memFree=833316/32770624 swapFree=67108860/67108860
[pid=15214] ppid=15211 vsize=11077984 memory=5415488 CPUtime=2520.09 cores=1,3,5,7
/proc/15214/stat : 15214 (java) S 15211 15214 11630 0 -1 1077944320 8927426 13406 0 0 250063 1938 5 3 20 0 15 0 222626070 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140725785675472 140472182714103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
/proc/15214/statm: 2769496 1353872 3543 1 0 2731149 0
[pid=15214/tid=15267] ppid=15211 vsize=11077984 memory=5415488 CPUtime=2348.96 cores=1,3,5,7
/proc/15214/task/15267/stat : 15267 (java) R 15211 15214 11630 0 -1 4202560 5746300 13406 0 0 234439 449 5 3 20 0 15 0 222626079 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140472154548576 140471764622583 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15268] ppid=15211 vsize=11077984 memory=5415488 CPUtime=36.44 cores=1,3,5,7
/proc/15214/task/15268/stat : 15268 (java) S 15211 15214 11630 0 -1 1077944384 757816 13406 0 0 3294 342 5 3 20 0 15 0 222626080 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140472186956176 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15269] ppid=15211 vsize=11077984 memory=5415488 CPUtime=36.46 cores=1,3,5,7
/proc/15214/task/15269/stat : 15269 (java) S 15211 15214 11630 0 -1 1077944384 697630 13406 0 0 3315 323 5 3 20 0 15 0 222626080 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140472074361104 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15270] ppid=15211 vsize=11077984 memory=5415488 CPUtime=36.56 cores=1,3,5,7
/proc/15214/task/15270/stat : 15270 (java) S 15211 15214 11630 0 -1 1077944384 746737 13406 0 0 3285 363 5 3 20 0 15 0 222626080 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140471721339536 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15271] ppid=15211 vsize=11077984 memory=5415488 CPUtime=36.45 cores=1,3,5,7
/proc/15214/task/15271/stat : 15271 (java) S 15211 15214 11630 0 -1 1077944384 781991 13406 0 0 3267 370 5 3 20 0 15 0 222626080 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140471720286736 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15272] ppid=15211 vsize=11077984 memory=5415436 CPUtime=1.19 cores=1,3,5,7
/proc/15214/task/15272/stat : 15272 (java) S 15211 15214 11630 0 -1 1077944384 73301 13406 0 0 101 10 5 3 20 0 15 0 222626081 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140471675845232 140472182725250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15273] ppid=15211 vsize=11077984 memory=5415488 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15273/stat : 15273 (java) S 15211 15214 11630 0 -1 1077944384 24 13406 0 0 0 0 5 3 20 0 15 0 222626081 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140470945572192 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15274] ppid=15211 vsize=11077984 memory=5415436 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15274/stat : 15274 (java) S 15211 15214 11630 0 -1 1077944384 7 13406 0 0 0 0 5 3 20 0 15 0 222626082 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140470797723264 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15275] ppid=15211 vsize=11077984 memory=4128 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15275/stat : 15275 (java) S 15211 15214 11630 0 -1 1077944384 3 13406 0 0 0 0 5 3 20 0 15 0 222626084 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140470490323536 140472182732699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15276] ppid=15211 vsize=11077984 memory=5415488 CPUtime=10.03 cores=1,3,5,7
/proc/15214/task/15276/stat : 15276 (java) S 15211 15214 11630 0 -1 1077944384 36512 13406 0 0 989 6 5 3 20 0 15 0 222626084 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140471674792048 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15277] ppid=15211 vsize=11077984 memory=5415488 CPUtime=10.17 cores=1,3,5,7
/proc/15214/task/15277/stat : 15277 (java) S 15211 15214 11630 0 -1 1077944384 41254 13406 0 0 1002 7 5 3 20 0 15 0 222626084 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140471673739248 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15278] ppid=15211 vsize=11077984 memory=5415488 CPUtime=2.95 cores=1,3,5,7
/proc/15214/task/15278/stat : 15278 (java) S 15211 15214 11630 0 -1 1077944384 39901 13406 0 0 281 6 5 3 20 0 15 0 222626084 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140471672686960 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15279] ppid=15211 vsize=11077984 memory=5415488 CPUtime=0.08 cores=1,3,5,7
/proc/15214/task/15279/stat : 15279 (java) S 15211 15214 11630 0 -1 1077944384 3 13406 0 0 0 0 5 3 20 0 15 0 222626085 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140470059526624 140472182724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
[pid=15214/tid=15280] ppid=15211 vsize=11077984 memory=8804 CPUtime=1.49 cores=1,3,5,7
/proc/15214/task/15280/stat : 15280 (java) S 15211 15214 11630 0 -1 1077944384 3755 13406 0 0 62 79 5 3 20 0 15 0 222626085 11343855616 1353872 33554432000 4194304 4196468 140725785692928 140471671634864 140472182725250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140725785700963 140725785703772 140725785703772 140725785706447 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 5415488 KiB

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

[startup+2387.32 s]
# the end of solver process 15214 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2500.71 s, system=19.6008 s

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

[startup+2387.21 s]*
/proc/loadavg: 2.04 1.97 1.85 6/203 15506
/proc/meminfo: memFree=2498196/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2387.31 s]
/proc/loadavg: 2.04 1.97 1.85 6/203 15506
/proc/meminfo: memFree=2498196/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2387.32
CPU time (s): 2520.31
CPU user time (s): 2500.71
CPU system time (s): 19.6008
CPU usage (%): 105.571
Max. virtual memory (cumulated for all children) (KiB): 11077984
Max. memory (cumulated for all children) (KiB): 5415488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2500.71
system time used= 19.6008
maximum resident set size= 5417884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8944036
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74696
involuntary context switches= 3305


# summary of solver processes directly reported to runsolver:
#   pid: 15214
#   total CPU time (s): 2520.31
#   total CPU user time (s): 2500.71
#   total CPU system time (s): 19.6008

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6827 second user time and 18.5941 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-12 07:10:29
IDJOB=4304252
IDBENCH=141138
IDSOLVER=2781
FILE ID=node139/4304252-1534050629
RUNJOBID= node139-1534040758-13581
PBS_JOBID= 21036956
Free space on /tmp= 28188 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/GraphColoring/GraphColoring-3-fullins-5_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304252-1534050629/watcher-4304252-1534050629 -o /tmp/evaluation-result-4304252-1534050629/solver-4304252-1534050629 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534040758-13581 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=1213675795 -superng HOME/instance-4304252-1534050629.xml

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

MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76
RANDOM SEED=1213675795

node139.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.80
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.80
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.80
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.80
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:         3565528 kB
MemAvailable:   28473988 kB
Buffers:          215308 kB
Cached:         24541004 kB
SwapCached:            0 kB
Active:         11567076 kB
Inactive:       16669696 kB
Active(anon):    3430208 kB
Inactive(anon):   102748 kB
Active(file):    8136868 kB
Inactive(file): 16566948 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             27732 kB
Writeback:             0 kB
AnonPages:       3501708 kB
Mapped:            74544 kB
Shmem:             49804 kB
Slab:             661476 kB
SReclaimable:     633104 kB
SUnreclaim:        28372 kB
KernelStack:        3808 kB
PageTables:        11800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4797312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3307520 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 28168 MiB
End job on node139 at 2018-08-12 07:50:16