Trace number 4293234

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.8-SuperNG 2018-06-13SAT (TO)7 2520.07 2406.26

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.99/0.74	c Concrete v3.8.1528841891564 running
139.75/112.65	o 2029
147.75/118.36	o 2028
149.39/119.17	o 2027
150.70/120.00	o 2026
151.91/120.78	o 2025
153.09/121.78	o 2024
154.12/122.52	o 2023
154.83/123.14	o 2022
155.51/123.79	o 2021
156.26/124.42	o 2020
157.10/125.22	o 2019
158.08/126.11	o 2018
159.03/126.91	o 2017
159.76/127.66	o 2016
160.56/128.41	o 2015
161.42/129.22	o 2014
162.24/130.02	o 2013
163.05/130.84	o 2012
163.66/131.45	o 2011
164.46/132.23	o 2010
165.06/132.83	o 2009
166.18/133.77	o 2008
166.88/134.40	o 2007
167.69/135.25	o 2006
168.39/135.95	o 2005
169.49/136.83	o 2004
170.29/137.65	o 2003
171.11/138.35	o 2002
171.93/139.18	o 2001
172.97/139.94	o 2000
173.57/140.58	o 1999
174.58/141.54	o 1998
175.09/142.10	o 1997
175.68/142.65	o 1996
176.19/143.17	o 1995
177.28/144.22	o 1994
177.89/144.82	o 1993
178.42/145.33	o 1992
179.23/145.95	o 1991
179.85/146.43	o 1990
181.10/147.69	o 1989
181.90/148.41	o 1988
182.54/149.03	o 1987
183.04/149.58	o 1986
183.60/150.09	o 1985
187.87/152.12	o 1984
188.46/152.78	o 1983
189.18/153.45	o 1982
189.79/154.03	o 1981
190.28/154.59	o 1980
190.89/155.16	o 1979
192.09/156.30	o 1978
192.99/157.23	o 1977
193.92/158.08	o 1976
194.65/158.71	o 1975
195.25/159.31	o 1974
195.85/159.93	o 1973
196.45/160.50	o 1972
197.66/161.70	o 1971
198.46/162.52	o 1970
199.26/163.34	o 1969
200.11/164.05	o 1968
200.81/164.73	o 1967
201.41/165.37	o 1966
202.01/165.96	o 1965
202.61/166.55	o 1964
203.22/167.14	o 1963
204.61/168.57	o 1962
205.31/169.25	o 1961
206.33/170.02	o 1960
206.92/170.63	o 1959
207.52/171.22	o 1958
208.12/171.80	o 1957
208.62/172.36	o 1956
209.22/172.96	o 1955
209.83/173.51	o 1954
210.33/174.06	o 1953
210.83/174.59	o 1952
212.86/176.38	o 1951
213.96/177.40	o 1950
214.76/178.27	o 1949
215.46/179.00	o 1948
216.16/179.66	o 1947
216.86/180.36	o 1946
217.71/181.07	o 1945
218.45/181.63	o 1944
218.96/182.17	o 1943
219.56/182.73	o 1942
220.06/183.27	o 1941
220.66/183.82	o 1940
221.16/184.32	o 1939
223.81/186.50	o 1938
224.81/187.54	o 1937
225.61/188.35	o 1936
226.32/189.05	o 1935
227.01/189.71	o 1934
227.62/190.32	o 1933
228.12/190.87	o 1932
228.72/191.41	o 1931
229.78/192.11	o 1930
230.27/192.67	o 1929
230.78/193.16	o 1928
231.27/193.66	o 1927
231.78/194.13	o 1926
232.27/194.62	o 1925
232.68/195.08	o 1924
233.17/195.54	o 1923
236.77/198.80	o 1922
238.49/199.89	o 1921
239.29/200.60	o 1920
239.89/201.29	o 1919
240.59/201.95	o 1918
241.19/202.57	o 1917
241.80/203.17	o 1916
242.50/203.84	o 1915
243.79/204.60	o 1914
244.33/205.17	o 1913
244.92/205.72	o 1912
245.42/206.29	o 1911
246.02/206.82	o 1910
246.52/207.35	o 1909
247.02/207.87	o 1908
247.52/208.38	o 1907
248.02/208.89	o 1906
249.13/209.53	o 1905
252.98/212.87	o 1904
253.99/213.85	o 1903
254.79/214.68	o 1902
260.51/216.79	o 1901
261.31/217.50	o 1900
261.92/218.19	o 1899
262.51/218.79	o 1898
263.21/219.41	o 1897
263.71/220.00	o 1896
264.41/220.61	o 1895
264.92/221.19	o 1894
265.56/221.75	o 1893
266.16/222.31	o 1892
266.66/222.83	o 1891
267.16/223.36	o 1890
267.66/223.89	o 1889
268.27/224.43	o 1888
268.77/224.91	o 1887
269.27/225.40	o 1886
269.67/225.83	o 1885
270.07/226.27	o 1884
270.62/226.72	o 1883
271.02/227.14	o 1882
276.52/231.75	o 1881
277.62/232.83	o 1880
279.12/234.30	o 1879
280.12/235.39	o 1878
281.81/236.54	o 1877
282.71/237.43	o 1876
283.52/238.25	o 1875
284.33/239.05	o 1874
285.12/239.82	o 1873
285.82/240.55	o 1872
286.52/241.21	o 1871
287.32/241.90	o 1870
287.92/242.52	o 1869
288.53/243.11	o 1868
289.02/243.67	o 1867
289.62/244.26	o 1866
290.22/244.83	o 1865
290.72/245.37	o 1864
291.32/245.92	o 1863
291.82/246.44	o 1862
292.38/246.92	o 1861
292.88/247.40	o 1860
293.28/247.88	o 1859
293.79/248.34	o 1858
294.19/248.79	o 1857
294.69/249.21	o 1856
299.68/253.53	o 1855
300.38/254.28	o 1854
301.08/254.98	o 1853
301.78/255.61	o 1852
302.38/256.21	o 1851
307.78/258.08	o 1850
308.37/258.62	o 1849
308.88/259.16	o 1848
309.37/259.69	o 1847
309.88/260.20	o 1846
310.47/260.70	o 1845
310.97/261.20	o 1844
311.47/261.72	o 1843
311.97/262.20	o 1842
312.37/262.69	o 1841
313.03/263.20	o 1840
313.43/263.67	o 1839
313.94/264.18	o 1838
314.44/264.64	o 1837
314.95/265.13	o 1836
315.44/265.60	o 1835
315.85/266.05	o 1834
316.34/266.53	o 1833
316.74/266.95	o 1832
317.14/267.39	o 1831
317.64/267.81	o 1830
318.09/268.25	o 1829
318.49/268.66	o 1828
318.90/269.07	o 1827
319.29/269.48	o 1826
319.69/269.88	o 1825
320.09/270.28	o 1824
320.49/270.67	o 1823
320.90/271.07	o 1822
321.29/271.46	o 1821
331.91/280.15	o 1820
332.81/281.01	o 1819
348.49/285.67	o 1818
349.29/286.42	o 1817
350.00/287.12	o 1816
350.69/287.85	o 1815
351.39/288.53	o 1814
352.09/289.24	o 1813
352.79/289.91	o 1812
353.39/290.53	o 1811
354.18/291.20	o 1810
354.68/291.76	o 1809
355.28/292.34	o 1808
355.88/292.91	o 1807
356.38/293.46	o 1806
356.99/294.01	o 1805
357.48/294.52	o 1804
357.99/295.03	o 1803
358.48/295.51	o 1802
358.88/295.98	o 1801
359.38/296.44	o 1800
359.85/296.89	o 1799
360.35/297.32	o 1798
360.75/297.71	o 1797
361.16/298.12	o 1796
361.45/298.49	o 1795
361.85/298.87	o 1794
362.25/299.24	o 1793
362.66/299.61	o 1792
362.96/299.97	o 1791
363.36/300.32	o 1790
363.66/300.66	o 1789
363.96/301.00	o 1788
364.36/301.32	o 1787
364.66/301.66	o 1786
364.96/302.00	o 1785
365.41/302.31	o 1784
365.71/302.60	o 1783
365.91/302.89	o 1782
366.22/303.17	o 1781
366.51/303.45	o 1780
366.81/303.72	o 1779
367.01/303.99	o 1778
367.31/304.23	o 1777
367.51/304.48	o 1776
395.13/320.06	o 1775
396.32/321.28	o 1774
397.43/322.36	o 1773
398.43/323.31	o 1772
399.31/324.19	o 1771
400.10/324.96	o 1770
400.91/325.73	o 1769
401.51/326.39	o 1768
402.21/327.05	o 1767
402.91/327.71	o 1766
403.51/328.30	o 1765
404.18/328.94	o 1764
404.78/329.53	o 1763
405.29/330.09	o 1762
405.88/330.67	o 1761
406.48/331.22	o 1760
406.98/331.73	o 1759
407.48/332.25	o 1758
407.98/332.74	o 1757
408.48/333.22	o 1756
409.03/333.70	o 1755
409.44/334.16	o 1754
409.93/334.64	o 1753
410.34/335.08	o 1752
410.83/335.54	o 1751
411.23/336.00	o 1750
411.73/336.47	o 1749
412.24/336.90	o 1748
412.64/337.32	o 1747
413.04/337.75	o 1746
413.45/338.19	o 1745
413.89/338.60	o 1744
414.29/338.99	o 1743
414.69/339.35	o 1742
415.09/339.70	o 1741
415.40/340.07	o 1740
415.79/340.40	o 1739
416.09/340.74	o 1738
416.40/341.07	o 1737
416.69/341.39	o 1736
417.09/341.71	o 1735
417.40/342.03	o 1734
417.69/342.33	o 1733
417.99/342.60	o 1732
418.33/342.90	o 1731
418.54/343.18	o 1730
418.83/343.42	o 1729
419.03/343.67	o 1728
419.33/343.91	o 1727
419.54/344.13	o 1726
419.73/344.35	o 1725
419.93/344.57	o 1724
420.13/344.78	o 1723
420.33/344.99	o 1722
420.63/345.20	o 1721
420.73/345.38	o 1720
452.31/365.00	o 1719
453.71/366.35	o 1718
455.01/367.61	o 1717
456.11/368.77	o 1716
457.69/370.04	o 1715
458.58/370.92	o 1714
459.49/371.86	o 1713
460.28/372.69	o 1712
461.19/373.52	o 1711
462.25/374.58	o 1710
463.06/375.32	o 1709
463.96/376.25	o 1708
464.66/376.97	o 1707
465.37/377.67	o 1706
466.06/378.39	o 1705
466.94/379.12	o 1704
467.63/379.82	o 1703
468.33/380.54	o 1702
469.03/381.28	o 1701
469.73/381.95	o 1700
470.43/382.66	o 1699
471.13/383.32	o 1698
471.73/384.00	o 1697
472.48/384.68	o 1696
473.18/385.33	o 1695
473.78/385.92	o 1694
474.38/386.58	o 1693
475.08/387.20	o 1692
475.78/387.92	o 1691
476.29/388.49	o 1690
477.06/389.15	o 1689
477.66/389.75	o 1688
478.26/390.31	o 1687
478.86/390.90	o 1686
479.36/391.45	o 1685
479.98/392.05	o 1684
480.47/392.58	o 1683
480.98/393.09	o 1682
481.57/393.60	o 1681
481.98/394.09	o 1680
482.53/394.57	o 1679
483.03/395.08	o 1678
483.53/395.55	o 1677
484.04/396.05	o 1676
484.53/396.51	o 1675
485.04/397.03	o 1674
485.43/397.47	o 1673
485.93/397.93	o 1672
486.23/398.29	o 1671
486.63/398.61	o 1670
486.93/398.93	o 1669
487.23/399.25	o 1668
487.60/399.58	o 1667
487.99/399.91	o 1666
488.20/400.18	o 1665
488.50/400.44	o 1664
488.70/400.70	o 1663
489.00/400.94	o 1662
489.21/401.18	o 1661
489.50/401.43	o 1660
489.70/401.67	o 1659
490.00/401.91	o 1658
490.21/402.14	o 1657
490.40/402.37	o 1656
490.60/402.58	o 1655
490.80/402.80	o 1654
491.11/403.01	o 1653
491.30/403.22	o 1652
491.40/403.39	o 1651
491.60/403.56	o 1650
530.90/428.08	o 1649
532.96/429.73	o 1648
534.96/431.72	o 1647
536.69/433.28	o 1646
538.00/434.52	o 1645
539.20/435.70	o 1644
540.30/436.84	o 1643
541.47/437.95	o 1642
542.58/439.04	o 1641
543.77/440.25	o 1640
544.87/441.31	o 1639
546.04/442.44	o 1638
547.14/443.55	o 1637
548.14/444.51	o 1636
549.14/445.59	o 1635
549.94/446.37	o 1634
551.10/447.42	o 1633
552.00/448.36	o 1632
553.50/449.88	o 1631
554.50/450.86	o 1630
555.10/451.48	o 1629
555.71/452.06	o 1628
556.77/453.01	o 1627
557.26/453.52	o 1626
557.87/454.15	o 1625
558.56/454.81	o 1624
559.36/455.68	o 1623
560.17/456.42	o 1622
560.67/456.92	o 1621
561.27/457.52	o 1620
561.67/458.00	o 1619
562.44/458.61	o 1618
563.03/459.25	o 1617
563.43/459.64	o 1616
563.84/459.98	o 1615
564.64/460.74	o 1614
564.95/461.05	o 1613
565.25/461.36	o 1612
565.55/461.66	o 1611
565.85/461.94	o 1610
566.15/462.23	o 1609
566.45/462.55	o 1608
566.75/462.80	o 1607
566.96/463.04	o 1606
567.25/463.31	o 1605
567.45/463.55	o 1604
567.75/463.84	o 1603
568.02/464.06	o 1602
568.21/464.27	o 1601
568.41/464.46	o 1600
568.61/464.65	o 1599
568.81/464.85	o 1598
569.02/465.04	o 1597
569.21/465.23	o 1596
569.41/465.43	o 1595
569.61/465.61	o 1594
569.71/465.79	o 1593
569.91/465.96	o 1592
570.12/466.12	o 1591
570.21/466.29	o 1590
570.41/466.44	o 1589
570.61/466.60	o 1588
570.71/466.75	o 1587
570.91/466.91	o 1586
571.02/467.06	o 1585
571.21/467.21	o 1584
571.31/467.35	o 1583
571.41/467.48	o 1582
571.61/467.61	o 1581
571.71/467.74	o 1580
571.81/467.86	o 1579
571.91/467.98	o 1578
572.02/468.09	o 1577
572.21/468.20	o 1576
572.31/468.31	o 1575
572.41/468.42	o 1574
572.51/468.53	o 1573
572.61/468.65	o 1572
572.79/468.74	o 1571
572.89/468.84	o 1570
572.99/468.93	o 1569
573.10/469.03	o 1568
573.20/469.13	o 1567
573.29/469.22	o 1566
573.39/469.30	o 1565
573.39/469.38	o 1564
573.49/469.46	o 1563
573.59/469.54	o 1562
573.69/469.61	o 1561
573.69/469.68	o 1560
573.83/469.74	o 1559
573.93/469.81	o 1558
573.93/469.86	o 1557
574.03/469.91	o 1556
574.03/469.96	o 1555
574.03/469.99	o 1554
574.14/470.02	o 1553
574.14/470.04	o 1552
574.14/470.06	o 1551
574.14/470.09	o 1550
574.24/470.11	o 1549
574.24/470.13	o 1548
574.24/470.15	o 1547
574.24/470.16	o 1546
574.24/470.18	o 1545
574.24/470.19	o 8
577.32/472.04	o 7
2520.00/2406.21	Exception in thread "main" java.util.concurrent.TimeoutException
2520.00/2406.22		at concrete.MAC.mac(MAC.scala:188)
2520.00/2406.22		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.00/2406.22		at scala.util.Try$.apply(Try.scala:209)
2520.00/2406.22		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.00/2406.22		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.00/2406.22		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.00/2406.22		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.00/2406.22		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.00/2406.22		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.00/2406.22		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.00/2406.22		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.00/2406.22		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.00/2406.22		at concrete.MAC.oneRun(MAC.scala:253)
2520.00/2406.22		at concrete.MAC.nextSolution(MAC.scala:272)
2520.00/2406.22		at concrete.MAC.nextSolution(MAC.scala:355)
2520.00/2406.22		at concrete.Solver.hasNext(Solver.scala:166)
2520.00/2406.22		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.00/2406.22		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.00/2406.22		at concrete.Solver.foreach(Solver.scala:68)
2520.00/2406.22		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.00/2406.22		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.00/2406.22		at scala.util.Success.map(Try.scala:209)
2520.00/2406.22		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.00/2406.22		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.00/2406.22		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.00/2406.22		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.00/2406.22		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.00/2406.22		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.00/2406.22		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.00/2406.22		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.00/2406.22		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.00/2406.22		at scala.collection.immutable.List.foreach(List.scala:389)
2520.00/2406.22		at scala.App.main(App.scala:76)
2520.00/2406.22		at scala.App.main$(App.scala:74)
2520.00/2406.22		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.00/2406.22		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.00/2406.23	v <instantiation cost="7">
2520.00/2406.23	v       <list>
2520.00/2406.23	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.00/2406.23	v       </list>
2520.00/2406.23	v       <values>
2520.00/2406.23	v         5 7 6 1 2 3 6 6 2 2 4 3 1 2 0 3 1 1 1 4 4 1 1 1 1 4 3 1 7 7 5 5 7 7 0 0 0 0 0 0 0 0 0 0 0 6 3 3 3 3 3 3 3 3 3 3 3 3 3 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 2 3 1 4 5 0 0 7 5 0 0 0 2 2 4 5 5 2 0 6 0 4 4 4 4 4 4 5 7 4 5 5 7 5 5 0 0 0 5 5 5 5 5 5 0 5 5 5 5 0 0 4 4 4 4 4 4 4 4 4 4 4 4 4 5 5 5 5 5 5 5 5 5 5 5 2 5 5 5 0 2 6 5 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 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 6 1 1 1 1 1 1 1 1 1 1 7 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 7 0 0 0 0 0 0 1 1 1 1 1 1 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 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 2 1 0 4 5 2 2 2 0 2 2 5 3 2 3 4 3 6 2 0 3 3 4 4 3 3 7 3 3 3 7 3 7 7 7 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7 4 2 2 2 2 2 2 3 2 7 4 7 2 2 2 2 2 7 2 2 2 2 2 2 2 2 2 7 2 3 5 4 0 0 0 0 0 0 0 0 2 2 4 3 5 2 5 0 0 4 4 3 3 5 3 3 3 5 3 5 5 5 0 2 2 2 0 2 2 2 0 2 0 2 2 2 2 0 0 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 0 2 3 5 4 2 2 2 2 2 2 3 3 2 2 3 3 6 2 3 5 3 3 3 3 3 7 3 3 3 3 3 3 3 3 7 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 2 2 2 2 2 2 3 2 3 3 3 2 6 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 3 3 3 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 7 5 0 0 0 0 0 0 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 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 3 7 7 3 3 3 3 3 3 6 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 7 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 3 3 3 3 3 3 3 3 3 3 3 2 3 0 4 3 6 6 7 4 1 1 6 4 2 2 4 3 6 2 1 3 3 4 4 4 4 4 3 6 6 4 3 6 7 7 6 6 7 4 6 6 6 6 6 6 6 6 6 4 6 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 6 3 3 3 3 6 6 3 6 6 6 6 6 6 3 6 4 6 6 4 4 1 1 4 4 2 2 4 1 6 2 1 4 4 4 4 7 7 4 4 7 6 4 7 6 7 7 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 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 7 1 1 1 1 1 1 1 1 1 1 1 1 1 7 1 1 1 1 1 1 1 1 1 1 1 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 7 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 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 7 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 7 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 2 6 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 1 3 3 2 2 5 3 5 2 5 1 1 1 1 1 1 1 1 1 1 5 1 1 1 5 1 1 1 1 7 1 1 1 1 1 1 1 1 1 1 1 5 1 1 1 7 1 1 7 1 1 1 1 1 1 2 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 1 3 3 2 2 3 3 3 2 3 1 1 2 2 1 7 3 3 2 2 3 3 3 2 3 1 6 1 1 1 1 1 6 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 6 1 1 1 1 1 1 1 3 3 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 3 3 6 3 3 3 3 3 7 3 3 7 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 7 7 3 3 3 2 3 0 3 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 1 1 1 1 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 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 7 0 0 0 0 6 0 0 6 6 0 0 6 0 0 0 0 0 0 6 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 4 1 1 2 1 5 4 3
2520.00/2406.23	v       </values>
2520.00/2406.23	v     </instantiation>
2520.00/2406.23	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 (8298 MiB free)
  memory of node 1: 16384 MiB (10212 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293234-1532309355/watcher-4293234-1532309355 -o /tmp/evaluation-result-4293234-1532309355/solver-4293234-1532309355 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532297041-4849 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=748413871 -superng HOME/instance-4293234-1532309355.xml 

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

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

solver pid=7070, runsolver pid=7067

[startup+0.100117 s]*
/proc/loadavg: 1.61 1.42 1.35 3/207 7127
/proc/meminfo: memFree=18950360/32770624 swapFree=67108860/67108860
[pid=7070] ppid=7067 vsize=9972712 memory=17072 CPUtime=0.09 cores=0,2,4,6
/proc/7070/stat : 7070 (java) S 7067 7070 4818 0 -1 1077944320 4393 13236 0 0 1 0 5 3 20 0 6 0 48498770 10212057088 4268 33554432000 4194304 4196468 140724454440608 140724454423152 139756857057015 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
/proc/7070/statm: 2493178 4268 1934 1 0 2481616 0
[pid=7070/tid=7123] ppid=7067 vsize=9972712 memory=-8530506832973971397 CPUtime=0.09 cores=0,2,4,6
/proc/7070/task/7123/stat : 7123 (java) R 7067 7070 4818 0 -1 4202560 2231 13236 0 0 1 0 5 3 20 0 6 0 48498779 10212057088 4268 33554432000 4194304 4196468 140724454440608 139756828893776 139756857078941 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7124] ppid=7067 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7124/stat : 7124 (java) S 7067 7070 4818 0 -1 1077944384 2 13236 0 0 0 0 5 3 20 0 6 0 48498780 10212057088 4268 33554432000 4194304 4196468 140724454440608 139756861299088 139756857067221 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7125] ppid=7067 vsize=9972712 memory=140233857762944 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7125/stat : 7125 (java) S 7067 7070 4818 0 -1 1077944384 1 13236 0 0 0 0 5 3 20 0 6 0 48498780 10212057088 4268 33554432000 4194304 4196468 140724454440608 139756430027024 139756857067221 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7126] ppid=7067 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7126/stat : 7126 (java) S 7067 7070 4818 0 -1 1077944384 1 13236 0 0 0 0 5 3 20 0 6 0 48498780 10212057088 4268 33554432000 4194304 4196468 140724454440608 139756428974736 139756857067221 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7127] ppid=7067 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7127/stat : 7127 (java) S 7067 7070 4818 0 -1 1077944384 2 13236 0 0 0 0 5 3 20 0 6 0 48498780 10212057088 4268 33554432000 4194304 4196468 140724454440608 139756427921936 139756857067221 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17072 KiB

[startup+0.209939 s]*
/proc/loadavg: 1.61 1.42 1.35 3/216 7136
/proc/meminfo: memFree=18927804/32770624 swapFree=67108860/67108860
[pid=7070] ppid=7067 vsize=10818936 memory=45848 CPUtime=0.26 cores=0,2,4,6
/proc/7070/stat : 7070 (java) S 7067 7070 4818 0 -1 1077944320 9359 13236 0 0 16 2 5 3 20 0 15 0 48498770 11078590464 11462 33554432000 4194304 4196468 140724454440608 140724454423152 139756857057015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
/proc/7070/statm: 2704734 11462 2934 1 0 2667157 0
[pid=7070/tid=7123] ppid=7067 vsize=10818936 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/7070/task/7123/stat : 7123 (java) R 7067 7070 4818 0 -1 4202560 6076 13236 0 0 10 1 5 3 20 0 15 0 48498779 11078590464 11515 33554432000 4194304 4196468 140724454440608 139756828881824 139756849736733 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7124] ppid=7067 vsize=10818936 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7124/stat : 7124 (java) S 7067 7070 4818 0 -1 1077944384 2 13236 0 0 0 0 5 3 20 0 15 0 48498780 11078590464 11515 33554432000 4194304 4196468 140724454440608 139756861299088 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7125] ppid=7067 vsize=10818936 memory=140233857770503 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7125/stat : 7125 (java) S 7067 7070 4818 0 -1 1077944384 1 13236 0 0 0 0 5 3 20 0 15 0 48498780 11078590464 11515 33554432000 4194304 4196468 140724454440608 139756430027024 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7126] ppid=7067 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7126/stat : 7126 (java) S 7067 7070 4818 0 -1 1077944384 1 13236 0 0 0 0 5 3 20 0 15 0 48498780 11078590464 11515 33554432000 4194304 4196468 140724454440608 139756428974736 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7127] ppid=7067 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7127/stat : 7127 (java) S 7067 7070 4818 0 -1 1077944384 2 13236 0 0 0 0 5 3 20 0 15 0 48498780 11078590464 11515 33554432000 4194304 4196468 140724454440608 139756427921936 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7128] ppid=7067 vsize=10818904 memory=140233857762944 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7128/stat : 7128 (java) S 7067 7070 4818 0 -1 1077944384 2 13236 0 0 0 0 5 3 20 0 15 0 48498782 11078557696 11515 33554432000 4194304 4196468 140724454440608 139756316519024 139756857068162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7129] ppid=7067 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7129/stat : 7129 (java) S 7067 7070 4818 0 -1 1077944384 13 13236 0 0 0 0 5 3 20 0 15 0 48498782 11078557696 11515 33554432000 4194304 4196468 140724454440608 139755752776992 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7130] ppid=7067 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7130/stat : 7130 (java) S 7067 7070 4818 0 -1 1077944384 1 13236 0 0 0 0 5 3 20 0 15 0 48498782 11078557696 11515 33554432000 4194304 4196468 140724454440608 139755618559600 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7131] ppid=7067 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7131/stat : 7131 (java) S 7067 7070 4818 0 -1 1077944384 3 13236 0 0 0 0 5 3 20 0 15 0 48498785 11078557696 11515 33554432000 4194304 4196468 140724454440608 139755378268752 139756857075611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7132] ppid=7067 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7070/task/7132/stat : 7132 (java) S 7067 7070 4818 0 -1 1077944384 519 13236 0 0 1 0 5 3 20 0 15 0 48498785 11078557696 11515 33554432000 4194304 4196468 140724454440608 139756315465840 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7133] ppid=7067 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7133/stat : 7133 (java) S 7067 7070 4818 0 -1 1077944384 54 13236 0 0 0 0 5 3 20 0 15 0 48498785 11078557696 11515 33554432000 4194304 4196468 140724454440608 139756314413040 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7134] ppid=7067 vsize=10818904 memory=140233857762944 CPUtime=0.11 cores=0,2,4,6
/proc/7070/task/7134/stat : 7134 (java) S 7067 7070 4818 0 -1 1077944384 553 13236 0 0 3 0 5 3 20 0 15 0 48498785 11078557696 11515 33554432000 4194304 4196468 140724454440608 139756313360752 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7135] ppid=7067 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7135/stat : 7135 (java) S 7067 7070 4818 0 -1 1077944384 3 13236 0 0 0 0 5 3 20 0 15 0 48498785 11078557696 11515 33554432000 4194304 4196468 140724454440608 139755344710112 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7136] ppid=7067 vsize=10818904 memory=140233857762944 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7136/stat : 7136 (java) S 7067 7070 4818 0 -1 1077944384 1 13236 0 0 0 0 5 3 20 0 15 0 48498785 11078557696 11515 33554432000 4194304 4196468 140724454440608 139756312308656 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 45848 KiB

[startup+0.31048 s]*
/proc/loadavg: 1.61 1.42 1.35 3/216 7136
/proc/meminfo: memFree=18914284/32770624 swapFree=67108860/67108860
[pid=7070] ppid=7067 vsize=10819352 memory=53936 CPUtime=0.39 cores=0,2,4,6
/proc/7070/stat : 7070 (java) S 7067 7070 4818 0 -1 1077944320 10626 13236 0 0 29 2 5 3 20 0 15 0 48498770 11079016448 13484 33554432000 4194304 4196468 140724454440608 140724454423152 139756857057015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
/proc/7070/statm: 2704838 13484 3053 1 0 2667149 0
[pid=7070/tid=7123] ppid=7067 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/7070/task/7123/stat : 7123 (java) R 7067 7070 4818 0 -1 4202560 7268 13236 0 0 20 1 5 3 20 0 15 0 48498779 11079016448 13484 33554432000 4194304 4196468 140724454440608 139756828869024 139756837332896 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7124] ppid=7067 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7124/stat : 7124 (java) S 7067 7070 4818 0 -1 1077944384 2 13236 0 0 0 0 5 3 20 0 15 0 48498780 11079016448 13484 33554432000 4194304 4196468 140724454440608 139756861299088 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7125] ppid=7067 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7125/stat : 7125 (java) S 7067 7070 4818 0 -1 1077944384 1 13236 0 0 0 0 5 3 20 0 15 0 48498780 11079016448 13484 33554432000 4194304 4196468 140724454440608 139756430027024 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7126] ppid=7067 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7126/stat : 7126 (java) S 7067 7070 4818 0 -1 1077944384 1 13236 0 0 0 0 5 3 20 0 15 0 48498780 11079016448 13484 33554432000 4194304 4196468 140724454440608 139756428974736 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7127] ppid=7067 vsize=10819352 memory=2240 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7127/stat : 7127 (java) S 7067 7070 4818 0 -1 1077944384 2 13236 0 0 0 0 5 3 20 0 15 0 48498780 11079016448 13484 33554432000 4194304 4196468 140724454440608 139756427921936 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7128] ppid=7067 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7128/stat : 7128 (java) S 7067 7070 4818 0 -1 1077944384 2 13236 0 0 0 0 5 3 20 0 15 0 48498782 11079016448 13484 33554432000 4194304 4196468 140724454440608 139756316519024 139756857068162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7129] ppid=7067 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7129/stat : 7129 (java) S 7067 7070 4818 0 -1 1077944384 13 13236 0 0 0 0 5 3 20 0 15 0 48498782 11079016448 13484 33554432000 4194304 4196468 140724454440608 139755752776992 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7130] ppid=7067 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7130/stat : 7130 (java) S 7067 7070 4818 0 -1 1077944384 1 13236 0 0 0 0 5 3 20 0 15 0 48498782 11079016448 13484 33554432000 4194304 4196468 140724454440608 139755618559600 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7131] ppid=7067 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7131/stat : 7131 (java) S 7067 7070 4818 0 -1 1077944384 3 13236 0 0 0 0 5 3 20 0 15 0 48498785 11079016448 13484 33554432000 4194304 4196468 140724454440608 139755378268752 139756857075611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7132] ppid=7067 vsize=10819352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/7070/task/7132/stat : 7132 (java) S 7067 7070 4818 0 -1 1077944384 520 13236 0 0 2 0 5 3 20 0 15 0 48498785 11079016448 13484 33554432000 4194304 4196468 140724454440608 139756315465840 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7133] ppid=7067 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/7070/task/7133/stat : 7133 (java) S 7067 7070 4818 0 -1 1077944384 54 13236 0 0 1 0 5 3 20 0 15 0 48498785 11079016448 13484 33554432000 4194304 4196468 140724454440608 139756314413040 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7134] ppid=7067 vsize=10819352 memory=140233857762944 CPUtime=0.13 cores=0,2,4,6
/proc/7070/task/7134/stat : 7134 (java) S 7067 7070 4818 0 -1 1077944384 565 13236 0 0 5 0 5 3 20 0 15 0 48498785 11079016448 13484 33554432000 4194304 4196468 140724454440608 139756313360752 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7135] ppid=7067 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7135/stat : 7135 (java) S 7067 7070 4818 0 -1 1077944384 3 13236 0 0 0 0 5 3 20 0 15 0 48498785 11079016448 13484 33554432000 4194304 4196468 140724454440608 139755344710112 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7136] ppid=7067 vsize=10819352 memory=140233857762944 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7136/stat : 7136 (java) S 7067 7070 4818 0 -1 1077944384 1 13236 0 0 0 0 5 3 20 0 15 0 48498785 11079016448 13484 33554432000 4194304 4196468 140724454440608 139756312308656 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53936 KiB

[startup+0.700749 s]
/proc/loadavg: 1.61 1.42 1.35 3/216 7136
/proc/meminfo: memFree=18905848/32770624 swapFree=67108860/67108860
[pid=7070] ppid=7067 vsize=10819352 memory=86656 CPUtime=0.99 cores=0,2,4,6
/proc/7070/stat : 7070 (java) S 7067 7070 4818 0 -1 1077944320 16741 13236 0 0 87 4 5 3 20 0 15 0 48498770 11079016448 21664 33554432000 4194304 4196468 140724454440608 140724454423152 139756857057015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
/proc/7070/statm: 2704838 21664 3239 1 0 2667149 0
[pid=7070/tid=7123] ppid=7067 vsize=10819352 memory=2372 CPUtime=0.66 cores=0,2,4,6
/proc/7070/task/7123/stat : 7123 (java) R 7067 7070 4818 0 -1 4202560 12336 13236 0 0 56 2 5 3 20 0 15 0 48498779 11079016448 21664 33554432000 4194304 4196468 140724454440608 139756828877840 139756842222654 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7124] ppid=7067 vsize=10819352 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7124/stat : 7124 (java) S 7067 7070 4818 0 -1 1077944384 2 13236 0 0 0 0 5 3 20 0 15 0 48498780 11079016448 21664 33554432000 4194304 4196468 140724454440608 139756861299088 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7125] ppid=7067 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7125/stat : 7125 (java) S 7067 7070 4818 0 -1 1077944384 1 13236 0 0 0 0 5 3 20 0 15 0 48498780 11079016448 21664 33554432000 4194304 4196468 140724454440608 139756430027024 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7126] ppid=7067 vsize=10819352 memory=140234977182277 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7126/stat : 7126 (java) S 7067 7070 4818 0 -1 1077944384 1 13236 0 0 0 0 5 3 20 0 15 0 48498780 11079016448 21664 33554432000 4194304 4196468 140724454440608 139756428974736 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7127] ppid=7067 vsize=10819352 memory=140234977182279 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7127/stat : 7127 (java) S 7067 7070 4818 0 -1 1077944384 2 13236 0 0 0 0 5 3 20 0 15 0 48498780 11079016448 21664 33554432000 4194304 4196468 140724454440608 139756427921936 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7128] ppid=7067 vsize=10819352 memory=140234977182299 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7128/stat : 7128 (java) S 7067 7070 4818 0 -1 1077944384 5 13236 0 0 0 0 5 3 20 0 15 0 48498782 11079016448 21664 33554432000 4194304 4196468 140724454440608 139756316519024 139756857068162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7129] ppid=7067 vsize=10819352 memory=140234977182300 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7129/stat : 7129 (java) S 7067 7070 4818 0 -1 1077944384 13 13236 0 0 0 0 5 3 20 0 15 0 48498782 11079016448 21664 33554432000 4194304 4196468 140724454440608 139755752776992 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7130] ppid=7067 vsize=10819352 memory=140234977182304 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7130/stat : 7130 (java) S 7067 7070 4818 0 -1 1077944384 1 13236 0 0 0 0 5 3 20 0 15 0 48498782 11079016448 21664 33554432000 4194304 4196468 140724454440608 139755618559600 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7131] ppid=7067 vsize=10819352 memory=140234977182313 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7131/stat : 7131 (java) S 7067 7070 4818 0 -1 1077944384 3 13236 0 0 0 0 5 3 20 0 15 0 48498785 11079016448 21664 33554432000 4194304 4196468 140724454440608 139755378268752 139756857075611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7132] ppid=7067 vsize=10819352 memory=140234977182316 CPUtime=0.18 cores=0,2,4,6
/proc/7070/task/7132/stat : 7132 (java) S 7067 7070 4818 0 -1 1077944384 1135 13236 0 0 10 0 5 3 20 0 15 0 48498785 11079016448 21664 33554432000 4194304 4196468 140724454440608 139756315465840 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7133] ppid=7067 vsize=10819352 memory=142820547494542 CPUtime=0.13 cores=0,2,4,6
/proc/7070/task/7133/stat : 7133 (java) S 7067 7070 4818 0 -1 1077944384 412 13236 0 0 5 0 5 3 20 0 15 0 48498785 11079016448 21664 33554432000 4194304 4196468 140724454440608 139756314413040 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7134] ppid=7067 vsize=10819352 memory=18464 CPUtime=0.21 cores=0,2,4,6
/proc/7070/task/7134/stat : 7134 (java) S 7067 7070 4818 0 -1 1077944384 636 13236 0 0 13 0 5 3 20 0 15 0 48498785 11079016448 21664 33554432000 4194304 4196468 140724454440608 139756313360752 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7135] ppid=7067 vsize=10819352 memory=10516 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7135/stat : 7135 (java) S 7067 7070 4818 0 -1 1077944384 3 13236 0 0 0 0 5 3 20 0 15 0 48498785 11079016448 21664 33554432000 4194304 4196468 140724454440608 139755344710112 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7136] ppid=7067 vsize=10819352 memory=4052 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7136/stat : 7136 (java) S 7067 7070 4818 0 -1 1077944384 1 13236 0 0 0 0 5 3 20 0 15 0 48498785 11079016448 21664 33554432000 4194304 4196468 140724454440608 139756312308656 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86656 KiB

[startup+1.50099 s]
/proc/loadavg: 1.61 1.42 1.35 4/216 7136
/proc/meminfo: memFree=18859256/32770624 swapFree=67108860/67108860
[pid=7070] ppid=7067 vsize=10828108 memory=208760 CPUtime=2.98 cores=0,2,4,6
/proc/7070/stat : 7070 (java) S 7067 7070 4818 0 -1 1077944320 22084 13236 0 0 281 9 5 3 20 0 15 0 48498770 11087982592 52190 33554432000 4194304 4196468 140724454440608 140724454423152 139756857057015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
/proc/7070/statm: 2707027 52190 3452 1 0 2668685 0
[pid=7070/tid=7123] ppid=7067 vsize=10828108 memory=110632 CPUtime=1.46 cores=0,2,4,6
/proc/7070/task/7123/stat : 7123 (java) R 7067 7070 4818 0 -1 4202560 15075 13236 0 0 132 6 5 3 20 0 15 0 48498779 11087982592 52702 33554432000 4194304 4196468 140724454440608 139756828889728 139756445116410 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7124] ppid=7067 vsize=10828108 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7124/stat : 7124 (java) S 7067 7070 4818 0 -1 1077944384 2 13236 0 0 0 0 5 3 20 0 15 0 48498780 11087982592 52702 33554432000 4194304 4196468 140724454440608 139756861299088 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7125] ppid=7067 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7125/stat : 7125 (java) S 7067 7070 4818 0 -1 1077944384 1 13236 0 0 0 0 5 3 20 0 15 0 48498780 11087982592 52702 33554432000 4194304 4196468 140724454440608 139756430027024 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7126] ppid=7067 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7126/stat : 7126 (java) S 7067 7070 4818 0 -1 1077944384 1 13236 0 0 0 0 5 3 20 0 15 0 48498780 11087982592 52702 33554432000 4194304 4196468 140724454440608 139756428974736 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7127] ppid=7067 vsize=10828108 memory=140233702298896 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7127/stat : 7127 (java) S 7067 7070 4818 0 -1 1077944384 2 13236 0 0 0 0 5 3 20 0 15 0 48498780 11087982592 52702 33554432000 4194304 4196468 140724454440608 139756427921936 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7128] ppid=7067 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7128/stat : 7128 (java) S 7067 7070 4818 0 -1 1077944384 6 13236 0 0 0 0 5 3 20 0 15 0 48498782 11087982592 52702 33554432000 4194304 4196468 140724454440608 139756316519024 139756857068162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7129] ppid=7067 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7129/stat : 7129 (java) S 7067 7070 4818 0 -1 1077944384 13 13236 0 0 0 0 5 3 20 0 15 0 48498782 11087982592 52702 33554432000 4194304 4196468 140724454440608 139755752776992 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7130] ppid=7067 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7130/stat : 7130 (java) S 7067 7070 4818 0 -1 1077944384 1 13236 0 0 0 0 5 3 20 0 15 0 48498782 11087982592 52702 33554432000 4194304 4196468 140724454440608 139755618559600 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7131] ppid=7067 vsize=10828108 memory=4580 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7131/stat : 7131 (java) S 7067 7070 4818 0 -1 1077944384 3 13236 0 0 0 0 5 3 20 0 15 0 48498785 11087982592 52702 33554432000 4194304 4196468 140724454440608 139755378268752 139756857075611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7132] ppid=7067 vsize=10828108 memory=280467404639936 CPUtime=0.64 cores=0,2,4,6
/proc/7070/task/7132/stat : 7132 (java) R 7067 7070 4818 0 -1 4202560 1825 13236 0 0 56 0 5 3 20 0 15 0 48498785 11087982592 52702 33554432000 4194304 4196468 140724454440608 139756315459032 139756840542965 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7133] ppid=7067 vsize=10828108 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/7070/task/7133/stat : 7133 (java) R 7067 7070 4818 0 -1 4202560 1696 13236 0 0 52 0 5 3 20 0 15 0 48498785 11087982592 52702 33554432000 4194304 4196468 140724454440608 139756314413040 139756836574768 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7134] ppid=7067 vsize=10828108 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/7070/task/7134/stat : 7134 (java) S 7067 7070 4818 0 -1 1077944384 1266 13236 0 0 38 0 5 3 20 0 15 0 48498785 11087982592 52702 33554432000 4194304 4196468 140724454440608 139756313360752 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7135] ppid=7067 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7135/stat : 7135 (java) S 7067 7070 4818 0 -1 1077944384 3 13236 0 0 0 0 5 3 20 0 15 0 48498785 11087982592 52702 33554432000 4194304 4196468 140724454440608 139755344710112 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7136] ppid=7067 vsize=10828108 memory=-7452431979323206951 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7136/stat : 7136 (java) S 7067 7070 4818 0 -1 1077944384 1 13236 0 0 0 0 5 3 20 0 15 0 48498785 11087982592 52702 33554432000 4194304 4196468 140724454440608 139756312308656 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 10828108 KiB

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

/proc/7070/task/7123/stat : 7123 (java) R 7067 7070 4818 0 -1 4202560 247361 13236 0 0 222978 89 5 3 20 0 15 0 48498779 11176083456 1296067 33554432000 4194304 4196468 140724454440608 139756828892256 139756461682380 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7124] ppid=7067 vsize=10914144 memory=5184032 CPUtime=29.34 cores=0,2,4,6
/proc/7070/task/7124/stat : 7124 (java) S 7067 7070 4818 0 -1 1077944384 49312 13236 0 0 2838 88 5 3 20 0 15 0 48498780 11176083456 1296067 33554432000 4194304 4196468 140724454440608 139756861299088 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7125] ppid=7067 vsize=10914144 memory=5184032 CPUtime=29.24 cores=0,2,4,6
/proc/7070/task/7125/stat : 7125 (java) S 7067 7070 4818 0 -1 1077944384 63762 13236 0 0 2837 79 5 3 20 0 15 0 48498780 11176083456 1296067 33554432000 4194304 4196468 140724454440608 139756430027024 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7126] ppid=7067 vsize=10914144 memory=5177316 CPUtime=29.34 cores=0,2,4,6
/proc/7070/task/7126/stat : 7126 (java) S 7067 7070 4818 0 -1 1077944384 59293 13236 0 0 2838 88 5 3 20 0 15 0 48498780 11176083456 1296067 33554432000 4194304 4196468 140724454440608 139756428974736 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7127] ppid=7067 vsize=10914144 memory=5184268 CPUtime=29.27 cores=0,2,4,6
/proc/7070/task/7127/stat : 7127 (java) S 7067 7070 4818 0 -1 1077944384 53894 13236 0 0 2839 80 5 3 20 0 15 0 48498780 11176083456 1296067 33554432000 4194304 4196468 140724454440608 139756427921936 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7128] ppid=7067 vsize=10914144 memory=5184268 CPUtime=1.22 cores=0,2,4,6
/proc/7070/task/7128/stat : 7128 (java) S 7067 7070 4818 0 -1 1077944384 78237 13236 0 0 104 10 5 3 20 0 15 0 48498782 11176083456 1296067 33554432000 4194304 4196468 140724454440608 139756316519024 139756857068162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 53 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7129] ppid=7067 vsize=10914144 memory=5184268 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7129/stat : 7129 (java) S 7067 7070 4818 0 -1 1077944384 22 13236 0 0 0 0 5 3 20 0 15 0 48498782 11176083456 1296067 33554432000 4194304 4196468 140724454440608 139755752777056 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7130] ppid=7067 vsize=10914144 memory=4136 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7130/stat : 7130 (java) S 7067 7070 4818 0 -1 1077944384 8 13236 0 0 0 0 5 3 20 0 15 0 48498782 11176083456 1296067 33554432000 4194304 4196468 140724454440608 139755618559616 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7131] ppid=7067 vsize=10914144 memory=4136 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7131/stat : 7131 (java) S 7067 7070 4818 0 -1 1077944384 3 13236 0 0 0 0 5 3 20 0 15 0 48498785 11176083456 1296067 33554432000 4194304 4196468 140724454440608 139755378268752 139756857075611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7132] ppid=7067 vsize=10914144 memory=5184268 CPUtime=11.68 cores=0,2,4,6
/proc/7070/task/7132/stat : 7132 (java) S 7067 7070 4818 0 -1 1077944384 40169 13236 0 0 1154 6 5 3 20 0 15 0 48498785 11176083456 1296067 33554432000 4194304 4196468 140724454440608 139756315465840 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7133] ppid=7067 vsize=10914144 memory=0 CPUtime=11.1 cores=0,2,4,6
/proc/7070/task/7133/stat : 7133 (java) S 7067 7070 4818 0 -1 1077944384 42479 13236 0 0 1097 5 5 3 20 0 15 0 48498785 11176083456 1296067 33554432000 4194304 4196468 140724454440608 139756314413040 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7134] ppid=7067 vsize=10914144 memory=5184268 CPUtime=3.07 cores=0,2,4,6
/proc/7070/task/7134/stat : 7134 (java) S 7067 7070 4818 0 -1 1077944384 39340 13236 0 0 292 7 5 3 20 0 15 0 48498785 11176083456 1296067 33554432000 4194304 4196468 140724454440608 139756313360752 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7135] ppid=7067 vsize=10914144 memory=5184268 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7135/stat : 7135 (java) S 7067 7070 4818 0 -1 1077944384 3 13236 0 0 0 0 5 3 20 0 15 0 48498785 11176083456 1296067 33554432000 4194304 4196468 140724454440608 139755344710112 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7136] ppid=7067 vsize=10914144 memory=16156 CPUtime=1.32 cores=0,2,4,6
/proc/7070/task/7136/stat : 7136 (java) S 7067 7070 4818 0 -1 1077944384 1742 13236 0 0 68 56 5 3 20 0 15 0 48498785 11176083456 1296067 33554432000 4194304 4196468 140724454440608 139756312308656 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 51 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
Current children cumulated CPU time: 2375.74 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 5184268 KiB

[startup+2322.3 s]
/proc/loadavg: 1.92 2.02 1.93 3/215 7551
/proc/meminfo: memFree=14247464/32770624 swapFree=67108860/67108860
[pid=7070] ppid=7067 vsize=10914144 memory=5200068 CPUtime=2435.9 cores=0,2,4,6
/proc/7070/stat : 7070 (java) S 7067 7070 4818 0 -1 1077944320 706475 13236 0 0 243082 500 5 3 20 0 15 0 48498770 11176083456 1300017 33554432000 4194304 4196468 140724454440608 140724454423152 139756857057015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
/proc/7070/statm: 2728536 1300017 3540 1 0 2690189 0
[pid=7070/tid=7123] ppid=7067 vsize=10914144 memory=5192184 CPUtime=2290.7 cores=0,2,4,6
/proc/7070/task/7123/stat : 7123 (java) R 7067 7070 4818 0 -1 4202560 268196 13236 0 0 228971 91 5 3 20 0 15 0 48498779 11176083456 1300017 33554432000 4194304 4196468 140724454440608 139756828891296 139756460148627 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7124] ppid=7067 vsize=10914144 memory=5192184 CPUtime=29.39 cores=0,2,4,6
/proc/7070/task/7124/stat : 7124 (java) S 7067 7070 4818 0 -1 1077944384 49944 13236 0 0 2843 88 5 3 20 0 15 0 48498780 11176083456 1300017 33554432000 4194304 4196468 140724454440608 139756861299088 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7125] ppid=7067 vsize=10914144 memory=5200008 CPUtime=29.28 cores=0,2,4,6
/proc/7070/task/7125/stat : 7125 (java) S 7067 7070 4818 0 -1 1077944384 67466 13236 0 0 2841 79 5 3 20 0 15 0 48498780 11176083456 1300017 33554432000 4194304 4196468 140724454440608 139756430027024 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7126] ppid=7067 vsize=10914144 memory=5200068 CPUtime=29.38 cores=0,2,4,6
/proc/7070/task/7126/stat : 7126 (java) S 7067 7070 4818 0 -1 1077944384 60602 13236 0 0 2842 88 5 3 20 0 15 0 48498780 11176083456 1300017 33554432000 4194304 4196468 140724454440608 139756428974736 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7127] ppid=7067 vsize=10914144 memory=5200068 CPUtime=29.32 cores=0,2,4,6
/proc/7070/task/7127/stat : 7127 (java) S 7067 7070 4818 0 -1 1077944384 55635 13236 0 0 2844 80 5 3 20 0 15 0 48498780 11176083456 1300017 33554432000 4194304 4196468 140724454440608 139756427921936 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7128] ppid=7067 vsize=10914144 memory=5192184 CPUtime=1.23 cores=0,2,4,6
/proc/7070/task/7128/stat : 7128 (java) S 7067 7070 4818 0 -1 1077944384 78625 13236 0 0 105 10 5 3 20 0 15 0 48498782 11176083456 1300017 33554432000 4194304 4196468 140724454440608 139756316519024 139756857068162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 53 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7129] ppid=7067 vsize=10914144 memory=5792 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7129/stat : 7129 (java) S 7067 7070 4818 0 -1 1077944384 22 13236 0 0 0 0 5 3 20 0 15 0 48498782 11176083456 1300017 33554432000 4194304 4196468 140724454440608 139755752777056 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7130] ppid=7067 vsize=10914144 memory=5192184 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7130/stat : 7130 (java) S 7067 7070 4818 0 -1 1077944384 8 13236 0 0 0 0 5 3 20 0 15 0 48498782 11176083456 1300017 33554432000 4194304 4196468 140724454440608 139755618559616 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7131] ppid=7067 vsize=10914144 memory=5192184 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7131/stat : 7131 (java) S 7067 7070 4818 0 -1 1077944384 3 13236 0 0 0 0 5 3 20 0 15 0 48498785 11176083456 1300017 33554432000 4194304 4196468 140724454440608 139755378268752 139756857075611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7132] ppid=7067 vsize=10914144 memory=5200008 CPUtime=11.68 cores=0,2,4,6
/proc/7070/task/7132/stat : 7132 (java) S 7067 7070 4818 0 -1 1077944384 40173 13236 0 0 1154 6 5 3 20 0 15 0 48498785 11176083456 1300017 33554432000 4194304 4196468 140724454440608 139756315465840 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7133] ppid=7067 vsize=10914144 memory=16156 CPUtime=11.1 cores=0,2,4,6
/proc/7070/task/7133/stat : 7133 (java) S 7067 7070 4818 0 -1 1077944384 42487 13236 0 0 1097 5 5 3 20 0 15 0 48498785 11176083456 1300017 33554432000 4194304 4196468 140724454440608 139756314413040 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7134] ppid=7067 vsize=10914144 memory=4136 CPUtime=3.07 cores=0,2,4,6
/proc/7070/task/7134/stat : 7134 (java) S 7067 7070 4818 0 -1 1077944384 39344 13236 0 0 292 7 5 3 20 0 15 0 48498785 11176083456 1300017 33554432000 4194304 4196468 140724454440608 139756313360752 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7135] ppid=7067 vsize=10914144 memory=16156 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7135/stat : 7135 (java) S 7067 7070 4818 0 -1 1077944384 3 13236 0 0 0 0 5 3 20 0 15 0 48498785 11176083456 1300017 33554432000 4194304 4196468 140724454440608 139755344710112 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7136] ppid=7067 vsize=10914144 memory=8112282956445269571 CPUtime=1.34 cores=0,2,4,6
/proc/7070/task/7136/stat : 7136 (java) S 7067 7070 4818 0 -1 1077944384 1777 13236 0 0 69 57 5 3 20 0 15 0 48498785 11176083456 1300017 33554432000 4194304 4196468 140724454440608 139756312308656 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 51 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
Current children cumulated CPU time: 2435.9 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 5200068 KiB

[startup+2382.3 s]
/proc/loadavg: 1.97 2.01 1.93 3/215 7552
/proc/meminfo: memFree=14238872/32770624 swapFree=67108860/67108860
[pid=7070] ppid=7067 vsize=10914144 memory=5208088 CPUtime=2496.02 cores=0,2,4,6
/proc/7070/stat : 7070 (java) S 7067 7070 4818 0 -1 1077944320 718638 13236 0 0 249091 503 5 3 20 0 15 0 48498770 11176083456 1302022 33554432000 4194304 4196468 140724454440608 140724454423152 139756857057015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
/proc/7070/statm: 2728536 1302022 3540 1 0 2690189 0
[pid=7070/tid=7123] ppid=7067 vsize=10914144 memory=0 CPUtime=2350.65 cores=0,2,4,6
/proc/7070/task/7123/stat : 7123 (java) R 7067 7070 4818 0 -1 4202560 275422 13236 0 0 234965 92 5 3 20 0 15 0 48498779 11176083456 1302022 33554432000 4194304 4196468 140724454440608 139756828891248 139756461682316 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7124] ppid=7067 vsize=10914144 memory=5208088 CPUtime=29.42 cores=0,2,4,6
/proc/7070/task/7124/stat : 7124 (java) S 7067 7070 4818 0 -1 1077944384 51141 13236 0 0 2846 88 5 3 20 0 15 0 48498780 11176083456 1302022 33554432000 4194304 4196468 140724454440608 139756861299088 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7125] ppid=7067 vsize=10914144 memory=5208088 CPUtime=29.31 cores=0,2,4,6
/proc/7070/task/7125/stat : 7125 (java) S 7067 7070 4818 0 -1 1077944384 69439 13236 0 0 2844 79 5 3 20 0 15 0 48498780 11176083456 1302022 33554432000 4194304 4196468 140724454440608 139756430027024 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7126] ppid=7067 vsize=10914144 memory=5208088 CPUtime=29.42 cores=0,2,4,6
/proc/7070/task/7126/stat : 7126 (java) S 7067 7070 4818 0 -1 1077944384 61963 13236 0 0 2846 88 5 3 20 0 15 0 48498780 11176083456 1302022 33554432000 4194304 4196468 140724454440608 139756428974736 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7127] ppid=7067 vsize=10914144 memory=5208088 CPUtime=29.35 cores=0,2,4,6
/proc/7070/task/7127/stat : 7127 (java) S 7067 7070 4818 0 -1 1077944384 55688 13236 0 0 2847 80 5 3 20 0 15 0 48498780 11176083456 1302022 33554432000 4194304 4196468 140724454440608 139756427921936 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7128] ppid=7067 vsize=10914144 memory=5208088 CPUtime=1.23 cores=0,2,4,6
/proc/7070/task/7128/stat : 7128 (java) S 7067 7070 4818 0 -1 1077944384 78924 13236 0 0 105 10 5 3 20 0 15 0 48498782 11176083456 1302022 33554432000 4194304 4196468 140724454440608 139756316519024 139756857068162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 53 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7129] ppid=7067 vsize=10914144 memory=5208088 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7129/stat : 7129 (java) S 7067 7070 4818 0 -1 1077944384 22 13236 0 0 0 0 5 3 20 0 15 0 48498782 11176083456 1302022 33554432000 4194304 4196468 140724454440608 139755752777056 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7130] ppid=7067 vsize=10914144 memory=5208088 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7130/stat : 7130 (java) S 7067 7070 4818 0 -1 1077944384 8 13236 0 0 0 0 5 3 20 0 15 0 48498782 11176083456 1302022 33554432000 4194304 4196468 140724454440608 139755618559616 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7131] ppid=7067 vsize=10914144 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7131/stat : 7131 (java) S 7067 7070 4818 0 -1 1077944384 3 13236 0 0 0 0 5 3 20 0 15 0 48498785 11176083456 1302022 33554432000 4194304 4196468 140724454440608 139755378268752 139756857075611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7132] ppid=7067 vsize=10914144 memory=5208088 CPUtime=11.69 cores=0,2,4,6
/proc/7070/task/7132/stat : 7132 (java) S 7067 7070 4818 0 -1 1077944384 40177 13236 0 0 1155 6 5 3 20 0 15 0 48498785 11176083456 1302022 33554432000 4194304 4196468 140724454440608 139756315465840 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7133] ppid=7067 vsize=10914144 memory=5208088 CPUtime=11.1 cores=0,2,4,6
/proc/7070/task/7133/stat : 7133 (java) S 7067 7070 4818 0 -1 1077944384 42495 13236 0 0 1097 5 5 3 20 0 15 0 48498785 11176083456 1302022 33554432000 4194304 4196468 140724454440608 139756314413040 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7134] ppid=7067 vsize=10914144 memory=0 CPUtime=3.07 cores=0,2,4,6
/proc/7070/task/7134/stat : 7134 (java) S 7067 7070 4818 0 -1 1077944384 39348 13236 0 0 292 7 5 3 20 0 15 0 48498785 11176083456 1302022 33554432000 4194304 4196468 140724454440608 139756313360752 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7135] ppid=7067 vsize=10914144 memory=5208088 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7135/stat : 7135 (java) S 7067 7070 4818 0 -1 1077944384 3 13236 0 0 0 0 5 3 20 0 15 0 48498785 11176083456 1302022 33554432000 4194304 4196468 140724454440608 139755344710112 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7136] ppid=7067 vsize=10914144 memory=5208088 CPUtime=1.38 cores=0,2,4,6
/proc/7070/task/7136/stat : 7136 (java) S 7067 7070 4818 0 -1 1077944384 1815 13236 0 0 71 59 5 3 20 0 15 0 48498785 11176083456 1302022 33554432000 4194304 4196468 140724454440608 139756312308656 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
Current children cumulated CPU time: 2496.02 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 5208088 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2406.2 s]
/proc/loadavg: 1.92 2.00 1.93 3/215 7552
/proc/meminfo: memFree=14231724/32770624 swapFree=67108860/67108860
[pid=7070] ppid=7067 vsize=10914144 memory=5215156 CPUtime=2520 cores=0,2,4,6
/proc/7070/stat : 7070 (java) S 7067 7070 4818 0 -1 1077944320 732257 13236 0 0 251487 505 5 3 20 0 15 0 48498770 11176083456 1303789 33554432000 4194304 4196468 140724454440608 140724454423152 139756857057015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
/proc/7070/statm: 2728536 1303789 3540 1 0 2690189 0
[pid=7070/tid=7123] ppid=7067 vsize=10914144 memory=288230621803970871 CPUtime=2374.52 cores=0,2,4,6
/proc/7070/task/7123/stat : 7123 (java) R 7067 7070 4818 0 -1 4202560 283131 13236 0 0 237351 93 5 3 20 0 15 0 48498779 11176083456 1303789 33554432000 4194304 4196468 140724454440608 139756828891488 139756454618188 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7124] ppid=7067 vsize=10914144 memory=14410445029116127 CPUtime=29.44 cores=0,2,4,6
/proc/7070/task/7124/stat : 7124 (java) S 7067 7070 4818 0 -1 1077944384 52411 13236 0 0 2848 88 5 3 20 0 15 0 48498780 11176083456 1303789 33554432000 4194304 4196468 140724454440608 139756861299088 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7125] ppid=7067 vsize=10914144 memory=6299802978650451056 CPUtime=29.34 cores=0,2,4,6
/proc/7070/task/7125/stat : 7125 (java) S 7067 7070 4818 0 -1 1077944384 70795 13236 0 0 2847 79 5 3 20 0 15 0 48498780 11176083456 1303789 33554432000 4194304 4196468 140724454440608 139756430027024 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7126] ppid=7067 vsize=10914144 memory=8101247189090653289 CPUtime=29.44 cores=0,2,4,6
/proc/7070/task/7126/stat : 7126 (java) S 7067 7070 4818 0 -1 1077944384 64381 13236 0 0 2847 89 5 3 20 0 15 0 48498780 11176083456 1303789 33554432000 4194304 4196468 140724454440608 139756428974736 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7127] ppid=7067 vsize=10914144 memory=6944656575208382560 CPUtime=29.37 cores=0,2,4,6
/proc/7070/task/7127/stat : 7127 (java) S 7067 7070 4818 0 -1 1077944384 56215 13236 0 0 2849 80 5 3 20 0 15 0 48498780 11176083456 1303789 33554432000 4194304 4196468 140724454440608 139756427921936 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7128] ppid=7067 vsize=10914144 memory=280467404226800 CPUtime=1.23 cores=0,2,4,6
/proc/7070/task/7128/stat : 7128 (java) S 7067 7070 4818 0 -1 1077944384 79259 13236 0 0 105 10 5 3 20 0 15 0 48498782 11176083456 1303789 33554432000 4194304 4196468 140724454440608 139756316519024 139756857068162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 53 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7129] ppid=7067 vsize=10914144 memory=140233703210272 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7129/stat : 7129 (java) S 7067 7070 4818 0 -1 1077944384 22 13236 0 0 0 0 5 3 20 0 15 0 48498782 11176083456 1303789 33554432000 4194304 4196468 140724454440608 139755752777056 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7130] ppid=7067 vsize=10914144 memory=-6205556071697900160 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7130/stat : 7130 (java) S 7067 7070 4818 0 -1 1077944384 8 13236 0 0 0 0 5 3 20 0 15 0 48498782 11176083456 1303789 33554432000 4194304 4196468 140724454440608 139755618559616 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7131] ppid=7067 vsize=10914144 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7131/stat : 7131 (java) S 7067 7070 4818 0 -1 1077944384 3 13236 0 0 0 0 5 3 20 0 15 0 48498785 11176083456 1303789 33554432000 4194304 4196468 140724454440608 139755378268752 139756857075611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7132] ppid=7067 vsize=10914144 memory=8112282956445269571 CPUtime=11.69 cores=0,2,4,6
/proc/7070/task/7132/stat : 7132 (java) S 7067 7070 4818 0 -1 1077944384 40177 13236 0 0 1155 6 5 3 20 0 15 0 48498785 11176083456 1303789 33554432000 4194304 4196468 140724454440608 139756315465840 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7133] ppid=7067 vsize=10914144 memory=6655300316396806240 CPUtime=11.1 cores=0,2,4,6
/proc/7070/task/7133/stat : 7133 (java) S 7067 7070 4818 0 -1 1077944384 42495 13236 0 0 1097 5 5 3 20 0 15 0 48498785 11176083456 1303789 33554432000 4194304 4196468 140724454440608 139756314413040 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7134] ppid=7067 vsize=10914144 memory=6944656592387989600 CPUtime=3.07 cores=0,2,4,6
/proc/7070/task/7134/stat : 7134 (java) S 7067 7070 4818 0 -1 1077944384 39348 13236 0 0 292 7 5 3 20 0 15 0 48498785 11176083456 1303789 33554432000 4194304 4196468 140724454440608 139756313360752 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7135] ppid=7067 vsize=10914144 memory=589972051086833205 CPUtime=0.08 cores=0,2,4,6
/proc/7070/task/7135/stat : 7135 (java) S 7067 7070 4818 0 -1 1077944384 3 13236 0 0 0 0 5 3 20 0 15 0 48498785 11176083456 1303789 33554432000 4194304 4196468 140724454440608 139755344710112 139756857067221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
[pid=7070/tid=7136] ppid=7067 vsize=10914144 memory=4128 CPUtime=1.39 cores=0,2,4,6
/proc/7070/task/7136/stat : 7136 (java) S 7067 7070 4818 0 -1 1077944384 1819 13236 0 0 71 60 5 3 20 0 15 0 48498785 11176083456 1303789 33554432000 4194304 4196468 140724454440608 139756312308656 139756857068162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 51 0 0 6293624 6294260 39383040 140724454443180 140724454446428 140724454446428 140724454449103 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 5215156 KiB

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

[startup+2406.26 s]
# the end of solver process 7070 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.95 s, system=5.12291 s

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

Child status: 143
Real time (s): 2406.26
CPU time (s): 2520.07
CPU user time (s): 2514.95
CPU system time (s): 5.12291
CPU usage (%): 104.73
Max. virtual memory (cumulated for all children) (KiB): 10916784
Max. memory (cumulated for all children) (KiB): 5348612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.95
system time used= 5.12291
maximum resident set size= 5348612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 748851
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= 68222
involuntary context switches= 5703


# summary of solver processes directly reported to runsolver:
#   pid: 7070
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2514.95
#   total CPU system time (s): 5.12291

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7886 second user time and 21.9774 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-23 03:29:15
IDJOB=4293234
IDBENCH=141138
IDSOLVER=2751
FILE ID=node150/4293234-1532309355
RUNJOBID= node150-1532297041-4849
PBS_JOBID= 21018991
Free space on /tmp= 57192 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/GraphColoring/GraphColoring-3-fullins-5_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293234-1532309355/watcher-4293234-1532309355 -o /tmp/evaluation-result-4293234-1532309355/solver-4293234-1532309355 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532297041-4849 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=748413871 -superng HOME/instance-4293234-1532309355.xml

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

MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76
RANDOM SEED=748413871

node150.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.76
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.76
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.76
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.76
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:        18955720 kB
MemAvailable:   28056416 kB
Buffers:          201220 kB
Cached:          9107708 kB
SwapCached:            0 kB
Active:          5072272 kB
Inactive:        8164976 kB
Active(anon):    3887140 kB
Inactive(anon):    61480 kB
Active(file):    1185132 kB
Inactive(file):  8103496 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             27536 kB
Writeback:             0 kB
AnonPages:       3951040 kB
Mapped:            49824 kB
Shmem:             17064 kB
Slab:             267788 kB
SReclaimable:     240528 kB
SUnreclaim:        27260 kB
KernelStack:        3824 kB
PageTables:        12864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4533884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3758080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 57200 MiB
End job on node150 at 2018-07-23 04:09:21