Trace number 4302285

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2SAT (TO)1646 252.104 221.348

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.97/0.74	c Concrete v3.9.2.1532736233296 running
74.75/49.20	o 2029
80.89/54.41	o 2028
81.93/55.17	o 2027
83.12/55.93	o 2026
83.91/56.57	o 2025
84.71/57.23	o 2024
85.29/57.78	o 2023
86.11/58.53	o 2022
86.87/59.22	o 2021
87.47/59.82	o 2020
87.97/60.37	o 2019
88.57/60.96	o 2018
89.39/61.69	o 2017
90.09/62.31	o 2016
90.69/62.91	o 2015
91.33/63.51	o 2014
91.94/64.16	o 2013
92.53/64.70	o 2012
93.03/65.29	o 2011
93.73/65.97	o 2010
94.34/66.57	o 2009
95.12/67.25	o 2008
95.72/67.80	o 2007
96.32/68.49	o 2006
97.04/69.13	o 2005
97.78/69.74	o 2004
98.38/70.37	o 2003
99.08/70.98	o 2002
99.69/71.54	o 2001
100.30/72.13	o 2000
100.90/72.67	o 1999
101.60/73.34	o 1998
102.10/73.86	o 1997
102.61/74.34	o 1996
103.11/74.81	o 1995
103.61/75.37	o 1994
104.11/75.89	o 1993
104.62/76.39	o 1992
105.12/76.87	o 1991
105.75/77.41	o 1990
106.15/77.90	o 1989
106.84/78.48	o 1988
107.45/79.08	o 1987
107.94/79.59	o 1986
108.55/80.14	o 1985
109.06/80.69	o 1984
109.66/81.21	o 1983
110.17/81.71	o 1982
110.67/82.29	o 1981
111.27/82.85	o 1980
111.87/83.40	o 1979
112.58/84.01	o 1978
113.07/84.52	o 1977
113.47/84.99	o 1976
113.97/85.45	o 1975
114.39/85.88	o 1974
114.89/86.33	o 1973
115.39/86.89	o 1972
116.00/87.47	o 1971
116.71/88.16	o 1970
117.20/88.66	o 1969
117.71/89.17	o 1968
118.29/89.68	o 1967
118.80/90.16	o 1966
119.29/90.66	o 1965
119.70/91.10	o 1964
120.30/91.64	o 1963
120.81/92.15	o 1962
121.40/92.73	o 1961
121.90/93.27	o 1960
122.40/93.79	o 1959
123.00/94.30	o 1958
123.50/94.83	o 1957
124.10/95.32	o 1956
124.61/95.80	o 1955
125.01/96.22	o 1954
125.61/96.85	o 1953
126.13/97.32	o 1952
126.62/97.79	o 1951
127.12/98.25	o 1950
127.52/98.69	o 1949
128.03/99.16	o 1948
128.52/99.61	o 1947
128.93/100.05	o 1946
129.32/100.47	o 1945
129.72/100.87	o 1944
130.31/101.33	o 1943
130.70/101.73	o 1942
131.11/102.16	o 1941
131.81/102.83	o 1940
132.41/103.42	o 1939
133.02/104.04	o 1938
133.52/104.56	o 1937
134.03/105.05	o 1936
134.52/105.54	o 1935
135.03/106.03	o 1934
135.53/106.50	o 1933
136.02/106.97	o 1932
136.52/107.43	o 1931
137.02/107.91	o 1930
137.42/108.38	o 1929
137.92/108.83	o 1928
138.32/109.29	o 1927
138.82/109.72	o 1926
139.32/110.27	o 1925
140.02/110.92	o 1924
140.62/111.51	o 1923
141.13/112.04	o 1922
141.71/112.56	o 1921
142.22/113.01	o 1920
142.61/113.48	o 1919
143.12/113.98	o 1918
143.62/114.44	o 1917
144.12/114.93	o 1916
144.52/115.39	o 1915
145.02/115.85	o 1914
145.52/116.30	o 1913
145.92/116.76	o 1912
146.33/117.19	o 1911
146.82/117.62	o 1910
147.23/118.03	o 1909
147.71/118.48	o 1908
148.31/119.05	o 1907
148.81/119.54	o 1906
149.21/119.99	o 1905
149.71/120.47	o 1904
150.21/120.94	o 1903
150.71/121.43	o 1902
151.12/121.87	o 1901
151.52/122.29	o 1900
152.02/122.72	o 1899
152.43/123.14	o 1898
152.82/123.55	o 1897
153.22/123.95	o 1896
153.81/124.40	o 1895
154.21/124.81	o 1894
154.61/125.20	o 1893
154.91/125.59	o 1892
155.31/125.98	o 1891
155.71/126.34	o 1890
156.01/126.70	o 1889
156.42/127.03	o 1888
156.72/127.36	o 1887
157.12/127.71	o 1886
157.42/128.03	o 1885
157.92/128.57	o 1884
158.53/129.14	o 1883
159.02/129.63	o 1882
159.60/130.19	o 1881
160.09/130.68	o 1880
160.60/131.17	o 1879
161.09/131.60	o 1878
161.49/132.02	o 1877
161.89/132.44	o 1876
162.29/132.86	o 1875
162.69/133.29	o 1874
163.09/133.68	o 1873
163.50/134.06	o 1872
163.89/134.44	o 1871
164.29/134.82	o 1870
164.69/135.21	o 1869
165.19/135.62	o 1868
165.49/135.97	o 1867
165.88/136.34	o 1866
166.28/136.70	o 1865
166.60/137.05	o 1864
166.89/137.39	o 1863
167.29/137.73	o 1862
167.60/138.06	o 1861
167.89/138.39	o 1860
168.29/138.71	o 1859
168.60/139.01	o 1858
168.89/139.31	o 1857
169.39/139.84	o 1856
169.99/140.46	o 1855
170.69/141.06	o 1854
171.33/141.61	o 1853
171.84/142.14	o 1852
172.43/142.71	o 1851
172.93/143.21	o 1850
173.43/143.70	o 1849
173.84/144.20	o 1848
174.33/144.67	o 1847
174.84/145.14	o 1846
175.33/145.60	o 1845
175.73/146.06	o 1844
176.23/146.50	o 1843
176.68/146.98	o 1842
177.18/147.41	o 1841
177.58/147.84	o 1840
177.99/148.27	o 1839
178.49/148.70	o 1838
178.90/149.13	o 1837
179.29/149.51	o 1836
179.59/149.89	o 1835
179.99/150.26	o 1834
180.39/150.62	o 1833
180.69/151.00	o 1832
181.09/151.36	o 1831
181.49/151.71	o 1830
181.80/152.04	o 1829
182.09/152.36	o 1828
182.56/152.71	o 1827
182.87/153.06	o 1826
183.16/153.38	o 1825
183.76/153.99	o 1824
184.36/154.57	o 1823
184.87/155.09	o 1822
185.37/155.58	o 1821
185.87/156.07	o 1820
186.37/156.54	o 1819
186.77/156.99	o 1818
187.27/157.46	o 1817
187.67/157.89	o 1816
188.17/158.34	o 1815
188.62/158.77	o 1814
189.02/159.16	o 1813
189.42/159.55	o 1812
189.82/159.94	o 1811
190.22/160.36	o 1810
190.63/160.76	o 1809
191.04/161.14	o 1808
191.43/161.53	o 1807
191.83/161.91	o 1806
192.13/162.28	o 1805
192.53/162.64	o 1804
192.83/163.00	o 1803
193.23/163.35	o 1802
193.53/163.68	o 1801
193.94/164.01	o 1800
194.28/164.35	o 1799
194.58/164.68	o 1798
194.99/165.01	o 1797
195.29/165.34	o 1796
195.59/165.64	o 1795
195.89/165.95	o 1794
196.19/166.26	o 1793
196.49/166.56	o 1792
196.79/166.85	o 1791
197.10/167.14	o 1790
197.39/167.43	o 1789
197.70/167.72	o 1788
197.90/168.00	o 1787
198.20/168.28	o 1786
198.50/168.53	o 1785
198.70/168.79	o 1784
199.01/169.04	o 1783
199.79/169.73	o 1782
200.29/170.23	o 1781
200.79/170.74	o 1780
201.29/171.27	o 1779
201.79/171.80	o 1778
202.29/172.28	o 1777
202.79/172.79	o 1776
203.29/173.29	o 1775
203.80/173.75	o 1774
204.21/174.20	o 1773
204.70/174.61	o 1772
205.11/175.03	o 1771
205.51/175.48	o 1770
205.97/175.88	o 1769
206.37/176.29	o 1768
206.87/176.71	o 1767
207.18/177.09	o 1766
207.58/177.48	o 1765
207.98/177.87	o 1764
208.38/178.25	o 1763
208.68/178.59	o 1762
209.08/178.95	o 1761
209.38/179.29	o 1760
209.78/179.63	o 1759
210.08/179.96	o 1758
210.38/180.29	o 1757
210.78/180.63	o 1756
211.08/180.96	o 1755
211.54/181.31	o 1754
211.84/181.62	o 1753
212.14/181.94	o 1752
212.45/182.26	o 1751
212.75/182.57	o 1750
213.05/182.88	o 1749
213.36/183.18	o 1748
213.65/183.46	o 1747
213.95/183.75	o 1746
214.25/184.05	o 1745
214.55/184.33	o 1744
214.85/184.60	o 1743
215.05/184.87	o 1742
215.36/185.13	o 1741
215.65/185.40	o 1740
215.85/185.65	o 1739
216.05/185.90	o 1738
216.36/186.14	o 1737
216.55/186.39	o 1736
216.85/186.65	o 1735
217.11/186.88	o 1734
217.42/187.12	o 1733
217.61/187.32	o 1732
217.81/187.52	o 1731
218.32/188.06	o 1730
218.91/188.63	o 1729
219.42/189.15	o 1728
220.01/189.72	o 1727
220.61/190.30	o 1726
221.11/190.82	o 1725
221.62/191.38	o 1724
222.22/191.92	o 1723
222.78/192.46	o 1722
223.28/193.01	o 1721
223.88/193.52	o 1720
224.39/194.01	o 1719
224.88/194.52	o 1718
225.28/195.00	o 1717
225.78/195.49	o 1716
226.28/195.97	o 1715
226.78/196.45	o 1714
227.19/196.88	o 1713
227.59/197.29	o 1712
228.09/197.73	o 1711
228.50/198.15	o 1710
228.94/198.58	o 1709
229.34/198.98	o 1708
229.74/199.39	o 1707
230.14/199.78	o 1706
230.55/200.16	o 1705
230.94/200.53	o 1704
231.24/200.87	o 1703
231.64/201.24	o 1702
232.04/201.61	o 1701
232.34/201.97	o 1700
232.74/202.34	o 1699
233.04/202.69	o 1698
233.44/203.02	o 1697
233.74/203.35	o 1696
234.04/203.69	o 1695
234.51/204.06	o 1694
234.81/204.38	o 1693
235.11/204.69	o 1692
235.41/204.99	o 1691
235.71/205.29	o 1690
236.01/205.58	o 1689
236.32/205.88	o 1688
236.62/206.18	o 1687
236.92/206.48	o 1686
237.22/206.76	o 1685
237.53/207.04	o 1684
237.83/207.32	o 1683
238.03/207.59	o 1682
238.33/207.85	o 1681
238.64/208.11	o 1680
238.83/208.37	o 1679
239.13/208.62	o 1678
239.33/208.86	o 1677
239.53/209.10	o 1676
239.83/209.34	o 1675
240.19/209.60	o 1674
240.39/209.84	o 1673
240.59/210.07	o 1672
240.79/210.29	o 1671
241.09/210.51	o 1670
241.59/211.06	o 1669
242.18/211.65	o 1668
242.69/212.17	o 1667
243.29/212.71	o 1666
243.79/213.20	o 1665
244.19/213.67	o 1664
244.69/214.16	o 1663
245.19/214.61	o 1662
245.76/215.12	o 1661
246.15/215.58	o 1660
246.65/216.01	o 1659
247.05/216.43	o 1658
247.45/216.88	o 1657
247.85/217.28	o 1656
248.35/217.70	o 1655
248.65/218.10	o 1654
249.05/218.48	o 1653
249.45/218.86	o 1652
249.85/219.23	o 1651
250.25/219.61	o 1650
250.55/219.98	o 1649
250.95/220.33	o 1648
251.25/220.68	o 1647
251.74/221.05	o 1646
252.04/221.30	Exception in thread "main" java.util.concurrent.TimeoutException
252.04/221.30		at concrete.MAC.mac(MAC.scala:188)
252.04/221.30		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.04/221.30		at scala.util.Try$.apply(Try.scala:209)
252.04/221.30		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.04/221.30		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.04/221.30		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.04/221.30		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.04/221.30		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.04/221.30		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.04/221.30		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.04/221.30		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.04/221.30		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.04/221.30		at concrete.MAC.oneRun(MAC.scala:253)
252.04/221.30		at concrete.MAC.nextSolution(MAC.scala:272)
252.04/221.30		at concrete.MAC.nextSolution(MAC.scala:355)
252.04/221.30		at concrete.Solver.hasNext(Solver.scala:166)
252.04/221.30		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.04/221.30		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.04/221.30		at concrete.Solver.foreach(Solver.scala:68)
252.04/221.30		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.04/221.30		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.04/221.30		at scala.util.Success.map(Try.scala:209)
252.04/221.30		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.04/221.30		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.04/221.30		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.04/221.30		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.04/221.30		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.04/221.30		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.04/221.30		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.04/221.30		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.04/221.30		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.04/221.30		at scala.collection.immutable.List.foreach(List.scala:389)
252.04/221.30		at scala.App.main(App.scala:76)
252.04/221.30		at scala.App.main$(App.scala:74)
252.04/221.30		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.04/221.30		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.04/221.32	v <instantiation cost="1646">
252.04/221.32	v       <list>
252.04/221.32	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029]
252.04/221.32	v       </list>
252.04/221.32	v       <values>
252.04/221.32	v         3 5 0 0 4 1645 0 0 1645 1646 4 3 1 2 0 3 1645 1 1 4 4 1 1 7 7 4 3 7 7 7 5 1646 7 7 1645 1646 5 5 2 2 9 8 8 2 8 0 0 0 0 0 0 0 0 1646 0 0 0 0 0 0 2 2 1646 2 2 2 2 2 2 2 2 2 2 2 2 4 0 3 2 1 4 4 1646 1 4 6 1 1 2 2 4 6 1 2 6 1 1 1 1 2 2 1 1646 1 1 4 3 1 2 6 1644 4 8 1 4 4 1 1 2 2 1 9 1 2 1645 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1645 2 2 4 6 6 2 1 6 6 7 7 6 6 7 6 2 2 7 7 7 2 1645 7 7 1 1 7 7 7 8 7 7 7 7 7 7 8 7 7 1646 7 7 7 7 7 2 2 7 7 7 2 7 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 2 2 2 1646 1646 2 2 2 2 2 2 2 2 2 2 7 7 7 2 7 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1646 0 0 0 0 1646 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 1 0 2 2 2 2 2 2 2 2 2 2 2 1645 2 2 2 2 2 2 1646 2 1646 2 2 2 1646 2 2 2 2 2 2 1645 1646 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1645 1646 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1646 2 2 2 2 2 2 2 2 2 2 2 2 1646 2 3 0 4 2 1 2 2 1646 0 1645 2 0 0 2 1646 4 3 5 2 0 2 2 2 2 2 2 3 3 2 2 4 5 5 2 5 2 2 5 5 2 2 5 1645 2 1644 4 5 5 2 5 3 3 3 1646 3 3 3 1646 3 3 3 3 3 3 3 1646 1646 2 2 1646 1646 2 2 2 2 2 2 2 2 2 4 5 3 2 5 2 2 2 2 1646 2 3 3 2 2 4 3 5 2 5 2 2 2 2 2 2 3 3 2 2 4 3 5 2 5 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 1646 3 3 3 3 3 2 1646 2 3 3 2 1645 2 2 1644 2 2 3 2 2 4 5 3 2 5 2 2 5 5 2 2 5 5 2 5 5 1645 5 1645 5 2 2 2 2 2 2 5 1646 2 2 5 5 5 2 5 1645 2 5 5 2 2 5 1645 2 1646 1645 5 5 1645 5 5 5 5 5 5 1646 5 5 5 1646 5 5 5 5 5 2 2 2 5 2 2 2 2 1646 2 5 2 1646 5 1646 5 5 5 2 5 3 3 3 1646 3 3 3 3 3 1646 3 3 3 3 3 3 3 1646 3 3 3 3 3 3 3 3 3 3 3 3 3 1646 3 3 3 1646 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 1645 3 3 3 3 3 3 3 1645 2 2 2 2 2 2 1645 2 2 2 5 2 2 2 2 2 2 2 2 2 2 1646 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1646 2 2 2 2 2 2 2 2 2 1646 2 2 2 2 2 2 1646 2 2 2 2 2 2 2 2 2 1646 2 2 5 5 5 2 5 3 0 0 0 4 6 1645 0 2 2 1645 3 6 2 0 3 3 0 0 4 4 0 0 6 6 4 1645 6 6 0 0 0 0 0 0 1646 0 0 2 0 1645 0 1645 0 0 0 0 0 0 0 0 1645 1645 0 0 0 1646 0 0 1646 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 3 2 0 3 3 0 0 4 4 0 0 6 6 4 3 6 6 0 1644 3 0 0 2 1645 0 0 2 2 6 3 6 2 0 0 0 0 0 0 0 1645 1645 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1646 0 1646 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1645 0 0 0 0 0 0 0 0 0 1646 0 0 0 0 0 1646 0 0 0 1646 0 0 0 0 0 0 0 0 1646 1646 0 0 0 0 0 0 0 1646 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1646 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1646 0 0 0 0 0 0 0 0 0 0 0 0 1645 0 0 0 0 0 0 0 1645 0 0 0 0 1645 1645 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1646 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1646 1646 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 6 3 0 0 1 1 1 1646 1 1 1 1 1 1646 1 1 1 1 1 1 1646 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1646 1646 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1646 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 1646 1 1 1646 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1646 1646 1 1 1 1 1 1 1645 1 1 1 1 1 1 1 1 1 1 1 1645 1 1645 1 1 1 1 1 1 1645 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 2 1646 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1646 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1646 1 1 1 1 1 1 1 1 4 1 1 1 1 1 1646 1 1 1 1 1646 1 1 1 1 1 1 1 1646 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 2 1 1 1 1 1 1646 1646 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 1646 1 1 1646 1 1 1 1646 1 1646 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1645 1 1 1 1 1 1 1 1 1 1 1646 1 1 1 1 1 1 1 1645 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 5 1 1 1 0 0 1645 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1645 1646 0 0 1646 0 0 0 0 0 0 0 0 0 0 0 0 1646 1645 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1646 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1646 0 1646 0 0 0 1646 1645 0 0 0 0 1646 1644 0 0 1646 0 0 1646 0 0 0 0 1646 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1645 0 0 0 0 1646 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1646 0 1646 1645 1645 1646 0 1645 1646 0 0 0 0 0 0 0 0 0 0 0 0 1645 0 0 0 0 0 1646 0 0 0 0 1646 0 0 0 0 0 0 0 0 0 1646 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1646 0 0 0 0 0 0 0 0 0 0 0 1646 0 0 1646 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1645 0 0 0 0 0 0 0 1646 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1646 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1645 0 0 0 0 0 0 0 0 0 0 0 1645 0 0 0 0 0 1645 0 1646 0 0 0 0 0 0 0 0 0 1645 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1646 0 0 0 1646 0 0 0 0 0 0 0 0 0 1646 0 0 0 0 1646 0 0 0 0 0 0 0 1646 0 0 0 1646 0 0 0 0 0 0 3 1 5 0 2
252.04/221.32	v       </values>
252.04/221.32	v     </instantiation>
252.04/221.32	s SATISFIABLE

Verifier Data 

OK	1646

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302285-1532895043/watcher-4302285-1532895043 -o /tmp/evaluation-result-4302285-1532895043/solver-4302285-1532895043 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532894133-1621 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1983108816 HOME/instance-4302285-1532895043.xml 

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

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


[startup+0.100096 s]*
/proc/loadavg: 1.70 1.69 1.61 3/206 2866
/proc/meminfo: memFree=26454056/32770624 swapFree=67108860/67108860
[pid=2809] ppid=2806 vsize=10005480 memory=18332 CPUtime=0.08 cores=1,3,5,7
/proc/2809/stat : 2809 (java) S 2806 2809 22004 0 -1 1077944320 4247 13139 0 0 1 0 5 2 20 0 6 0 107067539 10245611520 4583 33554432000 4194304 4196468 140727047538416 140727047520960 139796715663095 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
/proc/2809/statm: 2501370 4583 1931 1 0 2489808 0
[pid=2809/tid=2862] ppid=2806 vsize=10005480 memory=8326441112148417179 CPUtime=0.08 cores=1,3,5,7
/proc/2809/task/2862/stat : 2862 (java) R 2806 2809 22004 0 -1 4202560 2096 13139 0 0 1 0 5 2 20 0 6 0 107067548 10245611520 4649 33554432000 4194304 4196468 140727047538416 139796687499856 139796700975097 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2863] ppid=2806 vsize=10005480 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2863/stat : 2863 (java) S 2806 2809 22004 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 6 0 107067549 10245611520 4649 33554432000 4194304 4196468 140727047538416 139796719905808 139796715673301 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2864] ppid=2806 vsize=10005480 memory=140665230366336 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2864/stat : 2864 (java) S 2806 2809 22004 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 6 0 107067549 10245611520 4649 33554432000 4194304 4196468 140727047538416 139796574624912 139796715673301 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2865] ppid=2806 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2865/stat : 2865 (java) S 2806 2809 22004 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 6 0 107067549 10245611520 4649 33554432000 4194304 4196468 140727047538416 139796573571856 139796715673301 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2866] ppid=2806 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2866/stat : 2866 (java) S 2806 2809 22004 0 -1 1077944384 2 13139 0 0 0 0 5 2 20 0 6 0 107067549 10245611520 4649 33554432000 4194304 4196468 140727047538416 139796572519312 139796715673301 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18332 KiB

[startup+0.210463 s]*
/proc/loadavg: 1.70 1.69 1.61 3/215 2875
/proc/meminfo: memFree=26435196/32770624 swapFree=67108860/67108860
[pid=2809] ppid=2806 vsize=10982744 memory=41588 CPUtime=0.25 cores=1,3,5,7
/proc/2809/stat : 2809 (java) S 2806 2809 22004 0 -1 1077944320 7133 13139 0 0 16 2 5 2 20 0 15 0 107067539 11246329856 10397 33554432000 4194304 4196468 140727047538416 140727047520960 139796715663095 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
/proc/2809/statm: 2745686 10397 2953 1 0 2708109 0
[pid=2809/tid=2862] ppid=2806 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/2809/task/2862/stat : 2862 (java) R 2806 2809 22004 0 -1 4202560 4096 13139 0 0 10 1 5 2 20 0 15 0 107067548 11246329856 10793 33554432000 4194304 4196468 140727047538416 139796687480208 139796695938855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2863] ppid=2806 vsize=10982744 memory=288293255295271337 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2863/stat : 2863 (java) S 2806 2809 22004 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 107067549 11246329856 10859 33554432000 4194304 4196468 140727047538416 139796719905808 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2864] ppid=2806 vsize=10982744 memory=651288 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2864/stat : 2864 (java) S 2806 2809 22004 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 107067549 11246329856 10859 33554432000 4194304 4196468 140727047538416 139796574624912 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2865] ppid=2806 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2865/stat : 2865 (java) S 2806 2809 22004 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 107067549 11246329856 10859 33554432000 4194304 4196468 140727047538416 139796573571856 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2866] ppid=2806 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2866/stat : 2866 (java) S 2806 2809 22004 0 -1 1077944384 2 13139 0 0 0 0 5 2 20 0 15 0 107067549 11246329856 10859 33554432000 4194304 4196468 140727047538416 139796572519312 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2867] ppid=2806 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2867/stat : 2867 (java) S 2806 2809 22004 0 -1 1077944384 2 13139 0 0 0 0 5 2 20 0 15 0 107067550 11246329856 10859 33554432000 4194304 4196468 140727047538416 139795752495344 139796715674242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2868] ppid=2806 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2868/stat : 2868 (java) S 2806 2809 22004 0 -1 1077944384 13 13139 0 0 0 0 5 2 20 0 15 0 107067550 11246329856 10859 33554432000 4194304 4196468 140727047538416 139795548333216 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2869] ppid=2806 vsize=10982744 memory=140665230366336 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2869/stat : 2869 (java) S 2806 2809 22004 0 -1 1077944384 21 13139 0 0 0 0 5 2 20 0 15 0 107067551 11246329856 10859 33554432000 4194304 4196468 140727047538416 139795481219824 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2870] ppid=2806 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2870/stat : 2870 (java) S 2806 2809 22004 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 107067553 11246329856 10859 33554432000 4194304 4196468 140727047538416 139795173824464 139796715681691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2871] ppid=2806 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2809/task/2871/stat : 2871 (java) S 2806 2809 22004 0 -1 1077944384 364 13139 0 0 1 0 5 2 20 0 15 0 107067553 11246329856 10859 33554432000 4194304 4196468 140727047538416 139795751443184 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2872] ppid=2806 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2872/stat : 2872 (java) S 2806 2809 22004 0 -1 1077944384 246 13139 0 0 0 0 5 2 20 0 15 0 107067553 11246329856 10859 33554432000 4194304 4196468 140727047538416 139795414109040 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2873] ppid=2806 vsize=10982744 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/2809/task/2873/stat : 2873 (java) S 2806 2809 22004 0 -1 1077944384 604 13139 0 0 3 0 5 2 20 0 15 0 107067553 11246329856 10859 33554432000 4194304 4196468 140727047538416 139795413055984 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2874] ppid=2806 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2874/stat : 2874 (java) S 2806 2809 22004 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 107067553 11246329856 10925 33554432000 4194304 4196468 140727047538416 139794743028576 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2875] ppid=2806 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2875/stat : 2875 (java) S 2806 2809 22004 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 107067554 11246329856 10925 33554432000 4194304 4196468 140727047538416 139795412003376 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41588 KiB

[startup+0.310214 s]*
/proc/loadavg: 1.70 1.69 1.61 4/215 2875
/proc/meminfo: memFree=26423508/32770624 swapFree=67108860/67108860
[pid=2809] ppid=2806 vsize=10983192 memory=54776 CPUtime=0.37 cores=1,3,5,7
/proc/2809/stat : 2809 (java) S 2806 2809 22004 0 -1 1077944320 10284 13139 0 0 27 3 5 2 20 0 15 0 107067539 11246788608 13694 33554432000 4194304 4196468 140727047538416 140727047520960 139796715663095 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
/proc/2809/statm: 2745798 13694 3072 1 0 2708109 0
[pid=2809/tid=2862] ppid=2806 vsize=10983192 memory=6935054825532540783 CPUtime=0.27 cores=1,3,5,7
/proc/2809/task/2862/stat : 2862 (java) R 2806 2809 22004 0 -1 4202560 6835 13139 0 0 18 2 5 2 20 0 15 0 107067548 11246788608 13736 33554432000 4194304 4196468 140727047538416 139796687452624 139796699743582 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2863] ppid=2806 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2863/stat : 2863 (java) S 2806 2809 22004 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 107067549 11246788608 13736 33554432000 4194304 4196468 140727047538416 139796719905808 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2864] ppid=2806 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2864/stat : 2864 (java) S 2806 2809 22004 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 107067549 11246788608 13736 33554432000 4194304 4196468 140727047538416 139796574624912 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2865] ppid=2806 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2865/stat : 2865 (java) S 2806 2809 22004 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 107067549 11246788608 13736 33554432000 4194304 4196468 140727047538416 139796573571856 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2866] ppid=2806 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2866/stat : 2866 (java) S 2806 2809 22004 0 -1 1077944384 2 13139 0 0 0 0 5 2 20 0 15 0 107067549 11246788608 13736 33554432000 4194304 4196468 140727047538416 139796572519312 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2867] ppid=2806 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2867/stat : 2867 (java) S 2806 2809 22004 0 -1 1077944384 2 13139 0 0 0 0 5 2 20 0 15 0 107067550 11246788608 13736 33554432000 4194304 4196468 140727047538416 139795752495344 139796715674242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2868] ppid=2806 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2868/stat : 2868 (java) S 2806 2809 22004 0 -1 1077944384 13 13139 0 0 0 0 5 2 20 0 15 0 107067550 11246788608 13736 33554432000 4194304 4196468 140727047538416 139795548333216 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2869] ppid=2806 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2869/stat : 2869 (java) S 2806 2809 22004 0 -1 1077944384 21 13139 0 0 0 0 5 2 20 0 15 0 107067551 11246788608 13736 33554432000 4194304 4196468 140727047538416 139795481219824 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2870] ppid=2806 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2870/stat : 2870 (java) S 2806 2809 22004 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 107067553 11246788608 13736 33554432000 4194304 4196468 140727047538416 139795173824464 139796715681691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2871] ppid=2806 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2809/task/2871/stat : 2871 (java) S 2806 2809 22004 0 -1 1077944384 365 13139 0 0 1 0 5 2 20 0 15 0 107067553 11246788608 13736 33554432000 4194304 4196468 140727047538416 139795751443184 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2872] ppid=2806 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2809/task/2872/stat : 2872 (java) S 2806 2809 22004 0 -1 1077944384 249 13139 0 0 1 0 5 2 20 0 15 0 107067553 11246788608 13736 33554432000 4194304 4196468 140727047538416 139795414109040 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2873] ppid=2806 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/2809/task/2873/stat : 2873 (java) S 2806 2809 22004 0 -1 1077944384 610 13139 0 0 5 0 5 2 20 0 15 0 107067553 11246788608 13736 33554432000 4194304 4196468 140727047538416 139795413055984 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2874] ppid=2806 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2874/stat : 2874 (java) S 2806 2809 22004 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 107067553 11246788608 13736 33554432000 4194304 4196468 140727047538416 139794743028576 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2875] ppid=2806 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2875/stat : 2875 (java) S 2806 2809 22004 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 107067554 11246788608 13736 33554432000 4194304 4196468 140727047538416 139795412003376 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54776 KiB

[startup+0.700757 s]
/proc/loadavg: 1.70 1.69 1.61 4/215 2875
/proc/meminfo: memFree=26412864/32770624 swapFree=67108860/67108860
[pid=2809] ppid=2806 vsize=10983192 memory=87356 CPUtime=0.97 cores=1,3,5,7
/proc/2809/stat : 2809 (java) S 2806 2809 22004 0 -1 1077944320 16420 13139 0 0 85 5 5 2 20 0 15 0 107067539 11246788608 21839 33554432000 4194304 4196468 140727047538416 140727047520960 139796715663095 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
/proc/2809/statm: 2745798 21839 3238 1 0 2708109 0
[pid=2809/tid=2862] ppid=2806 vsize=10983192 memory=6307362048920095132 CPUtime=0.65 cores=1,3,5,7
/proc/2809/task/2862/stat : 2862 (java) R 2806 2809 22004 0 -1 4202560 11864 13139 0 0 54 4 5 2 20 0 15 0 107067548 11246788608 21839 33554432000 4194304 4196468 140727047538416 139796687483920 139796715685021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2863] ppid=2806 vsize=10983192 memory=4640492708758985641 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2863/stat : 2863 (java) S 2806 2809 22004 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 107067549 11246788608 21839 33554432000 4194304 4196468 140727047538416 139796719905808 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2864] ppid=2806 vsize=10983192 memory=8027200600010211434 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2864/stat : 2864 (java) S 2806 2809 22004 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 107067549 11246788608 21839 33554432000 4194304 4196468 140727047538416 139796574624912 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2865] ppid=2806 vsize=10983192 memory=6083073847998109799 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2865/stat : 2865 (java) S 2806 2809 22004 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 107067549 11246788608 21839 33554432000 4194304 4196468 140727047538416 139796573571856 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2866] ppid=2806 vsize=10983192 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2866/stat : 2866 (java) S 2806 2809 22004 0 -1 1077944384 2 13139 0 0 0 0 5 2 20 0 15 0 107067549 11246788608 21839 33554432000 4194304 4196468 140727047538416 139796572519312 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2867] ppid=2806 vsize=10983192 memory=140665230365217 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2867/stat : 2867 (java) S 2806 2809 22004 0 -1 1077944384 5 13139 0 0 0 0 5 2 20 0 15 0 107067550 11246788608 21839 33554432000 4194304 4196468 140727047538416 139795752495344 139796715674242 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2868] ppid=2806 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2868/stat : 2868 (java) S 2806 2809 22004 0 -1 1077944384 13 13139 0 0 0 0 5 2 20 0 15 0 107067550 11246788608 21839 33554432000 4194304 4196468 140727047538416 139795548333216 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2869] ppid=2806 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2869/stat : 2869 (java) S 2806 2809 22004 0 -1 1077944384 21 13139 0 0 0 0 5 2 20 0 15 0 107067551 11246788608 21839 33554432000 4194304 4196468 140727047538416 139795481219824 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2870] ppid=2806 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2870/stat : 2870 (java) S 2806 2809 22004 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 107067553 11246788608 21839 33554432000 4194304 4196468 140727047538416 139795173824464 139796715681691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2871] ppid=2806 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/2809/task/2871/stat : 2871 (java) S 2806 2809 22004 0 -1 1077944384 1008 13139 0 0 9 0 5 2 20 0 15 0 107067553 11246788608 21839 33554432000 4194304 4196468 140727047538416 139795751443184 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2872] ppid=2806 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/2809/task/2872/stat : 2872 (java) S 2806 2809 22004 0 -1 1077944384 635 13139 0 0 6 0 5 2 20 0 15 0 107067553 11246788608 21839 33554432000 4194304 4196468 140727047538416 139795414109040 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2873] ppid=2806 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/2809/task/2873/stat : 2873 (java) R 2806 2809 22004 0 -1 4202560 667 13139 0 0 13 0 5 2 20 0 15 0 107067553 11246788608 21839 33554432000 4194304 4196468 140727047538416 139795413055984 139796695093088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2874] ppid=2806 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2874/stat : 2874 (java) S 2806 2809 22004 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 107067553 11246788608 21839 33554432000 4194304 4196468 140727047538416 139794743028576 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2875] ppid=2806 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2875/stat : 2875 (java) S 2806 2809 22004 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 107067554 11246788608 21839 33554432000 4194304 4196468 140727047538416 139795412003376 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87356 KiB

[startup+1.50843 s]
/proc/loadavg: 1.70 1.69 1.61 4/215 2875
/proc/meminfo: memFree=26367276/32770624 swapFree=67108860/67108860
[pid=2809] ppid=2806 vsize=10991948 memory=223700 CPUtime=3.03 cores=1,3,5,7
/proc/2809/stat : 2809 (java) S 2806 2809 22004 0 -1 1077944320 22331 13139 0 0 286 10 5 2 20 0 15 0 107067539 11255754752 55925 33554432000 4194304 4196468 140727047538416 140727047520960 139796715663095 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
/proc/2809/statm: 2747987 55925 3454 1 0 2709645 0
[pid=2809/tid=2862] ppid=2806 vsize=10991948 memory=281330155784888 CPUtime=1.45 cores=1,3,5,7
/proc/2809/task/2862/stat : 2862 (java) S 2806 2809 22004 0 -1 1077944384 14761 13139 0 0 131 7 5 2 20 0 15 0 107067548 11255754752 55925 33554432000 4194304 4196468 140727047538416 139796687497088 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2863] ppid=2806 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2863/stat : 2863 (java) R 2806 2809 22004 0 -1 4202560 33 13139 0 0 0 0 5 2 20 0 15 0 107067549 11255754752 55925 33554432000 4194304 4196468 140727047538416 139796719903608 139796700690514 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2864] ppid=2806 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2864/stat : 2864 (java) R 2806 2809 22004 0 -1 4202560 239 13139 0 0 0 0 5 2 20 0 15 0 107067549 11255754752 55925 33554432000 4194304 4196468 140727047538416 139796574624912 139796700690942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2865] ppid=2806 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2865/stat : 2865 (java) R 2806 2809 22004 0 -1 4202560 9 13139 0 0 0 0 5 2 20 0 15 0 107067549 11255754752 55925 33554432000 4194304 4196468 140727047538416 139796573571856 139796700690978 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2866] ppid=2806 vsize=10991948 memory=-7306379679665460894 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2866/stat : 2866 (java) R 2806 2809 22004 0 -1 4202560 44 13139 0 0 0 0 5 2 20 0 15 0 107067549 11255754752 55925 33554432000 4194304 4196468 140727047538416 139796572516944 139796700690978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2867] ppid=2806 vsize=10991948 memory=-6876588628787748224 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2867/stat : 2867 (java) S 2806 2809 22004 0 -1 1077944384 15 13139 0 0 0 0 5 2 20 0 15 0 107067550 11255754752 55925 33554432000 4194304 4196468 140727047538416 139795752493856 139796715673301 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2868] ppid=2806 vsize=10991948 memory=6944656591801720471 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2868/stat : 2868 (java) S 2806 2809 22004 0 -1 1077944384 13 13139 0 0 0 0 5 2 20 0 15 0 107067550 11255754752 55925 33554432000 4194304 4196468 140727047538416 139795548333216 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2869] ppid=2806 vsize=10991948 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2869/stat : 2869 (java) S 2806 2809 22004 0 -1 1077944384 21 13139 0 0 0 0 5 2 20 0 15 0 107067551 11255754752 55925 33554432000 4194304 4196468 140727047538416 139795481219824 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2870] ppid=2806 vsize=10991948 memory=7450199961610245225 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2870/stat : 2870 (java) S 2806 2809 22004 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 107067553 11255754752 55925 33554432000 4194304 4196468 140727047538416 139795173824464 139796715681691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2871] ppid=2806 vsize=10991948 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/2809/task/2871/stat : 2871 (java) S 2806 2809 22004 0 -1 1077944384 1716 13139 0 0 58 0 5 2 20 0 15 0 107067553 11255754752 56437 33554432000 4194304 4196468 140727047538416 139795751428176 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2872] ppid=2806 vsize=10991948 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/2809/task/2872/stat : 2872 (java) S 2806 2809 22004 0 -1 1077944384 1885 13139 0 0 52 1 5 2 20 0 15 0 107067553 11255754752 56437 33554432000 4194304 4196468 140727047538416 139795414094032 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2873] ppid=2806 vsize=10991948 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/2809/task/2873/stat : 2873 (java) S 2806 2809 22004 0 -1 1077944384 1391 13139 0 0 41 0 5 2 20 0 15 0 107067553 11255754752 56437 33554432000 4194304 4196468 140727047538416 139795413055984 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2874] ppid=2806 vsize=10991948 memory=140665078231600 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2874/stat : 2874 (java) S 2806 2809 22004 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 107067553 11255754752 56437 33554432000 4194304 4196468 140727047538416 139794743028576 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2875] ppid=2806 vsize=10991948 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2875/stat : 2875 (java) R 2806 2809 22004 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 107067554 11255754752 56437 33554432000 4194304 4196468 140727047538416 139795412003376 139796715674242 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 10991948 KiB

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

/proc/2809/task/2862/stat : 2862 (java) R 2806 2809 22004 0 -1 4202560 57863 13139 0 0 9747 40 5 2 20 0 15 0 107067548 11343855616 798808 33554432000 4194304 4196468 140727047538416 139796687484720 139796254705567 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2863] ppid=2806 vsize=11077984 memory=3193180 CPUtime=3.96 cores=1,3,5,7
/proc/2809/task/2863/stat : 2863 (java) S 2806 2809 22004 0 -1 1077944384 4685 13139 0 0 368 21 5 2 20 0 15 0 107067549 11343855616 798808 33554432000 4194304 4196468 140727047538416 139796719905808 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2864] ppid=2806 vsize=11077984 memory=164 CPUtime=3.97 cores=1,3,5,7
/proc/2809/task/2864/stat : 2864 (java) S 2806 2809 22004 0 -1 1077944384 5094 13139 0 0 368 22 5 2 20 0 15 0 107067549 11343855616 798808 33554432000 4194304 4196468 140727047538416 139796574624912 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2865] ppid=2806 vsize=11077984 memory=0 CPUtime=3.97 cores=1,3,5,7
/proc/2809/task/2865/stat : 2865 (java) S 2806 2809 22004 0 -1 1077944384 4441 13139 0 0 368 22 5 2 20 0 15 0 107067549 11343855616 798808 33554432000 4194304 4196468 140727047538416 139796573571856 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2866] ppid=2806 vsize=11077984 memory=281330156713312 CPUtime=3.97 cores=1,3,5,7
/proc/2809/task/2866/stat : 2866 (java) S 2806 2809 22004 0 -1 1077944384 5222 13139 0 0 367 23 5 2 20 0 15 0 107067549 11343855616 798808 33554432000 4194304 4196468 140727047538416 139796572519312 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2867] ppid=2806 vsize=11077984 memory=3184988 CPUtime=0.38 cores=1,3,5,7
/proc/2809/task/2867/stat : 2867 (java) S 2806 2809 22004 0 -1 1077944384 3578 13139 0 0 31 0 5 2 20 0 15 0 107067550 11343855616 798808 33554432000 4194304 4196468 140727047538416 139795752495344 139796715674242 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2868] ppid=2806 vsize=11077984 memory=3168580 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2868/stat : 2868 (java) S 2806 2809 22004 0 -1 1077944384 30 13139 0 0 0 0 5 2 20 0 15 0 107067550 11343855616 798808 33554432000 4194304 4196468 140727047538416 139795548333280 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2869] ppid=2806 vsize=11077984 memory=55 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2869/stat : 2869 (java) S 2806 2809 22004 0 -1 1077944384 52 13139 0 0 0 0 5 2 20 0 15 0 107067551 11343855616 798808 33554432000 4194304 4196468 140727047538416 139795481219840 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2870] ppid=2806 vsize=11077984 memory=14751 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2870/stat : 2870 (java) S 2806 2809 22004 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 107067553 11343855616 798808 33554432000 4194304 4196468 140727047538416 139795173824464 139796715681691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2871] ppid=2806 vsize=11077984 memory=3472343848388211300 CPUtime=7.54 cores=1,3,5,7
/proc/2809/task/2871/stat : 2871 (java) S 2806 2809 22004 0 -1 1077944384 15130 13139 0 0 744 3 5 2 20 0 15 0 107067553 11343855616 798808 33554432000 4194304 4196468 140727047538416 139795751443184 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2872] ppid=2806 vsize=11077984 memory=14815 CPUtime=7.45 cores=1,3,5,7
/proc/2809/task/2872/stat : 2872 (java) S 2806 2809 22004 0 -1 1077944384 16603 13139 0 0 733 5 5 2 20 0 15 0 107067553 11343855616 798808 33554432000 4194304 4196468 140727047538416 139795414109040 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2873] ppid=2806 vsize=11077984 memory=0 CPUtime=2.53 cores=1,3,5,7
/proc/2809/task/2873/stat : 2873 (java) S 2806 2809 22004 0 -1 1077944384 16689 13139 0 0 242 4 5 2 20 0 15 0 107067553 11343855616 798808 33554432000 4194304 4196468 140727047538416 139795413055984 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2874] ppid=2806 vsize=11077984 memory=7599388386692169796 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2874/stat : 2874 (java) S 2806 2809 22004 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 107067553 11343855616 798808 33554432000 4194304 4196468 140727047538416 139794743028576 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2875] ppid=2806 vsize=11077984 memory=3184988 CPUtime=0.12 cores=1,3,5,7
/proc/2809/task/2875/stat : 2875 (java) S 2806 2809 22004 0 -1 1077944384 1663 13139 0 0 2 3 5 2 20 0 15 0 107067554 11343855616 798808 33554432000 4194304 4196468 140727047538416 139795412003376 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
Current children cumulated CPU time: 131.31 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3195232 KiB

[startup+162.301 s]
/proc/loadavg: 1.78 1.84 1.68 3/215 3006
/proc/meminfo: memFree=20841788/32770624 swapFree=67108860/67108860
[pid=2809] ppid=2806 vsize=11077984 memory=3230152 CPUtime=192.23 cores=1,3,5,7
/proc/2809/stat : 2809 (java) S 2806 2809 22004 0 -1 1077944320 147662 13139 0 0 19062 154 5 2 20 0 15 0 107067539 11343855616 807538 33554432000 4194304 4196468 140727047538416 140727047520960 139796715663095 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
/proc/2809/statm: 2769496 807538 3538 1 0 2731149 0
[pid=2809/tid=2862] ppid=2806 vsize=11077984 memory=3230152 CPUtime=157.65 cores=1,3,5,7
/proc/2809/task/2862/stat : 2862 (java) R 2806 2809 22004 0 -1 4202560 62946 13139 0 0 15717 41 5 2 20 0 15 0 107067548 11343855616 807538 33554432000 4194304 4196468 140727047538416 139796687495856 139796255662250 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2863] ppid=2806 vsize=11077984 memory=3230116 CPUtime=4.23 cores=1,3,5,7
/proc/2809/task/2863/stat : 2863 (java) S 2806 2809 22004 0 -1 1077944384 4963 13139 0 0 394 22 5 2 20 0 15 0 107067549 11343855616 807538 33554432000 4194304 4196468 140727047538416 139796719905808 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2864] ppid=2806 vsize=11077984 memory=3230132 CPUtime=4.24 cores=1,3,5,7
/proc/2809/task/2864/stat : 2864 (java) S 2806 2809 22004 0 -1 1077944384 6660 13139 0 0 394 23 5 2 20 0 15 0 107067549 11343855616 807538 33554432000 4194304 4196468 140727047538416 139796574624912 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2865] ppid=2806 vsize=11077984 memory=3230152 CPUtime=4.23 cores=1,3,5,7
/proc/2809/task/2865/stat : 2865 (java) S 2806 2809 22004 0 -1 1077944384 5598 13139 0 0 393 23 5 2 20 0 15 0 107067549 11343855616 807538 33554432000 4194304 4196468 140727047538416 139796573571856 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2866] ppid=2806 vsize=11077984 memory=3230152 CPUtime=4.23 cores=1,3,5,7
/proc/2809/task/2866/stat : 2866 (java) S 2806 2809 22004 0 -1 1077944384 5969 13139 0 0 392 24 5 2 20 0 15 0 107067549 11343855616 807538 33554432000 4194304 4196468 140727047538416 139796572519312 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2867] ppid=2806 vsize=11077984 memory=281330157108160 CPUtime=0.41 cores=1,3,5,7
/proc/2809/task/2867/stat : 2867 (java) S 2806 2809 22004 0 -1 1077944384 3882 13139 0 0 33 1 5 2 20 0 15 0 107067550 11343855616 807538 33554432000 4194304 4196468 140727047538416 139795752495344 139796715674242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2868] ppid=2806 vsize=11077984 memory=3230116 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2868/stat : 2868 (java) S 2806 2809 22004 0 -1 1077944384 30 13139 0 0 0 0 5 2 20 0 15 0 107067550 11343855616 807538 33554432000 4194304 4196468 140727047538416 139795548333280 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2869] ppid=2806 vsize=11077984 memory=3228068 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2869/stat : 2869 (java) S 2806 2809 22004 0 -1 1077944384 52 13139 0 0 0 0 5 2 20 0 15 0 107067551 11343855616 807538 33554432000 4194304 4196468 140727047538416 139795481219840 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2870] ppid=2806 vsize=11077984 memory=3228068 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2870/stat : 2870 (java) S 2806 2809 22004 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 107067553 11343855616 807538 33554432000 4194304 4196468 140727047538416 139795173824464 139796715681691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2871] ppid=2806 vsize=11077984 memory=3230140 CPUtime=7.55 cores=1,3,5,7
/proc/2809/task/2871/stat : 2871 (java) S 2806 2809 22004 0 -1 1077944384 15565 13139 0 0 745 3 5 2 20 0 15 0 107067553 11343855616 807538 33554432000 4194304 4196468 140727047538416 139795751443184 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2872] ppid=2806 vsize=11077984 memory=3230116 CPUtime=7.48 cores=1,3,5,7
/proc/2809/task/2872/stat : 2872 (java) S 2806 2809 22004 0 -1 1077944384 18091 13139 0 0 736 5 5 2 20 0 15 0 107067553 11343855616 807538 33554432000 4194304 4196468 140727047538416 139795414109040 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2873] ppid=2806 vsize=11077984 memory=2424 CPUtime=2.58 cores=1,3,5,7
/proc/2809/task/2873/stat : 2873 (java) S 2806 2809 22004 0 -1 1077944384 19988 13139 0 0 247 4 5 2 20 0 15 0 107067553 11343855616 807538 33554432000 4194304 4196468 140727047538416 139795413055984 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2874] ppid=2806 vsize=11077984 memory=1840 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2874/stat : 2874 (java) S 2806 2809 22004 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 107067553 11343855616 807538 33554432000 4194304 4196468 140727047538416 139794743028576 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2875] ppid=2806 vsize=11077984 memory=3230140 CPUtime=0.16 cores=1,3,5,7
/proc/2809/task/2875/stat : 2875 (java) S 2806 2809 22004 0 -1 1077944384 1717 13139 0 0 4 5 5 2 20 0 15 0 107067554 11343855616 807538 33554432000 4194304 4196468 140727047538416 139795412003376 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
Current children cumulated CPU time: 192.23 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3230152 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+221.301 s]
/proc/loadavg: 2.20 1.93 1.72 3/215 3007
/proc/meminfo: memFree=21032892/32770624 swapFree=67108860/67108860
[pid=2809] ppid=2806 vsize=11077984 memory=3244552 CPUtime=252.04 cores=1,3,5,7
/proc/2809/stat : 2809 (java) S 2806 2809 22004 0 -1 1077944320 164156 13139 0 0 25037 160 5 2 20 0 15 0 107067539 11343855616 811138 33554432000 4194304 4196468 140727047538416 140727047520960 139796715663095 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
/proc/2809/statm: 2769496 811138 3538 1 0 2731149 0
[pid=2809/tid=2862] ppid=2806 vsize=11077984 memory=3244544 CPUtime=216.41 cores=1,3,5,7
/proc/2809/task/2862/stat : 2862 (java) R 2806 2809 22004 0 -1 4202560 67415 13139 0 0 21592 42 5 2 20 0 15 0 107067548 11343855616 811138 33554432000 4194304 4196468 140727047538416 139796687498272 139796254092560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2863] ppid=2806 vsize=11077984 memory=3244524 CPUtime=4.45 cores=1,3,5,7
/proc/2809/task/2863/stat : 2863 (java) S 2806 2809 22004 0 -1 1077944384 5217 13139 0 0 416 22 5 2 20 0 15 0 107067549 11343855616 811138 33554432000 4194304 4196468 140727047538416 139796719905808 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2864] ppid=2806 vsize=11077984 memory=24828 CPUtime=4.47 cores=1,3,5,7
/proc/2809/task/2864/stat : 2864 (java) S 2806 2809 22004 0 -1 1077944384 7036 13139 0 0 416 24 5 2 20 0 15 0 107067549 11343855616 811138 33554432000 4194304 4196468 140727047538416 139796574624912 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2865] ppid=2806 vsize=11077984 memory=3244524 CPUtime=4.45 cores=1,3,5,7
/proc/2809/task/2865/stat : 2865 (java) S 2806 2809 22004 0 -1 1077944384 7300 13139 0 0 414 24 5 2 20 0 15 0 107067549 11343855616 811138 33554432000 4194304 4196468 140727047538416 139796573571856 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2866] ppid=2806 vsize=11077984 memory=3244524 CPUtime=4.44 cores=1,3,5,7
/proc/2809/task/2866/stat : 2866 (java) S 2806 2809 22004 0 -1 1077944384 6249 13139 0 0 413 24 5 2 20 0 15 0 107067549 11343855616 811138 33554432000 4194304 4196468 140727047538416 139796572519312 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2867] ppid=2806 vsize=11077984 memory=3244544 CPUtime=0.42 cores=1,3,5,7
/proc/2809/task/2867/stat : 2867 (java) S 2806 2809 22004 0 -1 1077944384 4232 13139 0 0 34 1 5 2 20 0 15 0 107067550 11343855616 811138 33554432000 4194304 4196468 140727047538416 139795752495344 139796715674242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2868] ppid=2806 vsize=11077984 memory=3244552 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2868/stat : 2868 (java) S 2806 2809 22004 0 -1 1077944384 30 13139 0 0 0 0 5 2 20 0 15 0 107067550 11343855616 811138 33554432000 4194304 4196468 140727047538416 139795548333280 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2869] ppid=2806 vsize=11077984 memory=281330157108160 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2869/stat : 2869 (java) S 2806 2809 22004 0 -1 1077944384 52 13139 0 0 0 0 5 2 20 0 15 0 107067551 11343855616 811138 33554432000 4194304 4196468 140727047538416 139795481219840 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2870] ppid=2806 vsize=11077984 memory=3244524 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2870/stat : 2870 (java) S 2806 2809 22004 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 107067553 11343855616 811138 33554432000 4194304 4196468 140727047538416 139795173824464 139796715681691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2871] ppid=2806 vsize=11077984 memory=4028 CPUtime=7.57 cores=1,3,5,7
/proc/2809/task/2871/stat : 2871 (java) S 2806 2809 22004 0 -1 1077944384 16080 13139 0 0 747 3 5 2 20 0 15 0 107067553 11343855616 811138 33554432000 4194304 4196468 140727047538416 139795751443184 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2872] ppid=2806 vsize=11077984 memory=4028 CPUtime=7.51 cores=1,3,5,7
/proc/2809/task/2872/stat : 2872 (java) S 2806 2809 22004 0 -1 1077944384 18968 13139 0 0 739 5 5 2 20 0 15 0 107067553 11343855616 811138 33554432000 4194304 4196468 140727047538416 139795414109040 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2873] ppid=2806 vsize=11077984 memory=30492 CPUtime=2.66 cores=1,3,5,7
/proc/2809/task/2873/stat : 2873 (java) S 2806 2809 22004 0 -1 1077944384 27611 13139 0 0 254 5 5 2 20 0 15 0 107067553 11343855616 811138 33554432000 4194304 4196468 140727047538416 139795413055984 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2874] ppid=2806 vsize=11077984 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2874/stat : 2874 (java) S 2806 2809 22004 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 107067553 11343855616 811138 33554432000 4194304 4196468 140727047538416 139794743028576 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2875] ppid=2806 vsize=11077984 memory=2424 CPUtime=0.19 cores=1,3,5,7
/proc/2809/task/2875/stat : 2875 (java) S 2806 2809 22004 0 -1 1077944384 1765 13139 0 0 5 7 5 2 20 0 15 0 107067554 11343855616 811138 33554432000 4194304 4196468 140727047538416 139795412003376 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3244552 KiB

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

[startup+221.348 s]
# the end of solver process 2809 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.446 s, system=1.65744 s

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

[startup+221.301 s]
/proc/loadavg: 2.20 1.93 1.72 3/215 3007
/proc/meminfo: memFree=21032892/32770624 swapFree=67108860/67108860
[pid=2809] ppid=2806 vsize=11077984 memory=3244552 CPUtime=252.04 cores=1,3,5,7
/proc/2809/stat : 2809 (java) S 2806 2809 22004 0 -1 1077944320 164156 13139 0 0 25037 160 5 2 20 0 15 0 107067539 11343855616 811138 33554432000 4194304 4196468 140727047538416 140727047520960 139796715663095 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
/proc/2809/statm: 2769496 811138 3538 1 0 2731149 0
[pid=2809/tid=2862] ppid=2806 vsize=11077984 memory=3244544 CPUtime=216.41 cores=1,3,5,7
/proc/2809/task/2862/stat : 2862 (java) R 2806 2809 22004 0 -1 4202560 67415 13139 0 0 21592 42 5 2 20 0 15 0 107067548 11343855616 811138 33554432000 4194304 4196468 140727047538416 139796687498272 139796254092560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2863] ppid=2806 vsize=11077984 memory=3244524 CPUtime=4.45 cores=1,3,5,7
/proc/2809/task/2863/stat : 2863 (java) S 2806 2809 22004 0 -1 1077944384 5217 13139 0 0 416 22 5 2 20 0 15 0 107067549 11343855616 811138 33554432000 4194304 4196468 140727047538416 139796719905808 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2864] ppid=2806 vsize=11077984 memory=24828 CPUtime=4.47 cores=1,3,5,7
/proc/2809/task/2864/stat : 2864 (java) S 2806 2809 22004 0 -1 1077944384 7036 13139 0 0 416 24 5 2 20 0 15 0 107067549 11343855616 811138 33554432000 4194304 4196468 140727047538416 139796574624912 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2865] ppid=2806 vsize=11077984 memory=3244524 CPUtime=4.45 cores=1,3,5,7
/proc/2809/task/2865/stat : 2865 (java) S 2806 2809 22004 0 -1 1077944384 7300 13139 0 0 414 24 5 2 20 0 15 0 107067549 11343855616 811138 33554432000 4194304 4196468 140727047538416 139796573571856 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2866] ppid=2806 vsize=11077984 memory=3244524 CPUtime=4.44 cores=1,3,5,7
/proc/2809/task/2866/stat : 2866 (java) S 2806 2809 22004 0 -1 1077944384 6249 13139 0 0 413 24 5 2 20 0 15 0 107067549 11343855616 811138 33554432000 4194304 4196468 140727047538416 139796572519312 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2867] ppid=2806 vsize=11077984 memory=3244544 CPUtime=0.42 cores=1,3,5,7
/proc/2809/task/2867/stat : 2867 (java) S 2806 2809 22004 0 -1 1077944384 4232 13139 0 0 34 1 5 2 20 0 15 0 107067550 11343855616 811138 33554432000 4194304 4196468 140727047538416 139795752495344 139796715674242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2868] ppid=2806 vsize=11077984 memory=3244552 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2868/stat : 2868 (java) S 2806 2809 22004 0 -1 1077944384 30 13139 0 0 0 0 5 2 20 0 15 0 107067550 11343855616 811138 33554432000 4194304 4196468 140727047538416 139795548333280 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2869] ppid=2806 vsize=11077984 memory=281330157108160 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2869/stat : 2869 (java) S 2806 2809 22004 0 -1 1077944384 52 13139 0 0 0 0 5 2 20 0 15 0 107067551 11343855616 811138 33554432000 4194304 4196468 140727047538416 139795481219840 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2870] ppid=2806 vsize=11077984 memory=3244524 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2870/stat : 2870 (java) S 2806 2809 22004 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 107067553 11343855616 811138 33554432000 4194304 4196468 140727047538416 139795173824464 139796715681691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2871] ppid=2806 vsize=11077984 memory=4028 CPUtime=7.57 cores=1,3,5,7
/proc/2809/task/2871/stat : 2871 (java) S 2806 2809 22004 0 -1 1077944384 16080 13139 0 0 747 3 5 2 20 0 15 0 107067553 11343855616 811138 33554432000 4194304 4196468 140727047538416 139795751443184 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2872] ppid=2806 vsize=11077984 memory=4028 CPUtime=7.51 cores=1,3,5,7
/proc/2809/task/2872/stat : 2872 (java) S 2806 2809 22004 0 -1 1077944384 18968 13139 0 0 739 5 5 2 20 0 15 0 107067553 11343855616 811138 33554432000 4194304 4196468 140727047538416 139795414109040 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2873] ppid=2806 vsize=11077984 memory=30492 CPUtime=2.66 cores=1,3,5,7
/proc/2809/task/2873/stat : 2873 (java) S 2806 2809 22004 0 -1 1077944384 27611 13139 0 0 254 5 5 2 20 0 15 0 107067553 11343855616 811138 33554432000 4194304 4196468 140727047538416 139795413055984 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2874] ppid=2806 vsize=11077984 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/2809/task/2874/stat : 2874 (java) S 2806 2809 22004 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 107067553 11343855616 811138 33554432000 4194304 4196468 140727047538416 139794743028576 139796715673301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
[pid=2809/tid=2875] ppid=2806 vsize=11077984 memory=2424 CPUtime=0.19 cores=1,3,5,7
/proc/2809/task/2875/stat : 2875 (java) S 2806 2809 22004 0 -1 1077944384 1765 13139 0 0 5 7 5 2 20 0 15 0 107067554 11343855616 811138 33554432000 4194304 4196468 140727047538416 139795412003376 139796715674242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140727047543409 140727047546209 140727047546209 140727047548879 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3244552 KiB

Child status: 143
Real time (s): 221.348
CPU time (s): 252.104
CPU user time (s): 250.446
CPU system time (s): 1.65744
CPU usage (%): 113.895
Max. virtual memory (cumulated for all children) (KiB): 11080620
Max. memory (cumulated for all children) (KiB): 3244552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.446
system time used= 1.65745
maximum resident set size= 3247008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177804
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15587
involuntary context switches= 412


# summary of solver processes directly reported to runsolver:
#   pid: 2809
#   total CPU time (s): 252.104
#   total CPU user time (s): 250.446
#   total CPU system time (s): 1.65744

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32235 second user time and 2.17864 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-29 22:10:43
IDJOB=4302285
IDBENCH=141138
IDSOLVER=2776
FILE ID=node151/4302285-1532895043
RUNJOBID= node151-1532894133-1621
PBS_JOBID= 21022509
Free space on /tmp= 59284 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/GraphColoring/GraphColoring-3-fullins-5_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302285-1532895043/watcher-4302285-1532895043 -o /tmp/evaluation-result-4302285-1532895043/solver-4302285-1532895043 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532894133-1621 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1983108816 HOME/instance-4302285-1532895043.xml

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

MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76
RANDOM SEED=1983108816

node151.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.87
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.87
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.87
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.87
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:        26464144 kB
MemAvailable:   30199844 kB
Buffers:          215860 kB
Cached:          3793440 kB
SwapCached:            0 kB
Active:          3201052 kB
Inactive:        2630144 kB
Active(anon):    1771452 kB
Inactive(anon):    78188 kB
Active(file):    1429600 kB
Inactive(file):  2551956 kB
Unevictable:        7804 kB
Mlocked:            7804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             27584 kB
Writeback:             0 kB
AnonPages:       1829076 kB
Mapped:            57752 kB
Shmem:             25224 kB
Slab:             168060 kB
SReclaimable:     139956 kB
SUnreclaim:        28104 kB
KernelStack:        3552 kB
PageTables:         9040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2965868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1597440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59256 MiB
End job on node151 at 2018-07-29 22:14:25