Trace number 4256036

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering 2017-07-26SAT (TO)1556 261.401 240.25101

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-3-fullins-5.xml
MD5SUM51dc9de19dcdd21b605810f9d7307a76
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark245.151
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.23/0.38	c version: 2017-07-26
0.23/0.38	c seed: 222439008
0.23/0.38	c timeout: 264
0.23/0.38	c memlimit: 11000
0.23/0.38	c nbcore: 4
0.42/0.40	c Parsing instance...
14.10/6.96	c Parsing done, starting search...
15.78/7.62	o 2029
17.60/8.41	o 2028
18.30/8.98	o 2027
21.68/10.22	o 2026
22.29/10.75	o 2025
22.86/11.27	o 2024
23.46/11.82	o 2023
23.96/12.34	o 2022
24.46/12.86	o 2021
25.06/13.40	o 2020
25.56/13.93	o 2019
26.07/14.45	o 2018
26.56/14.97	o 2017
27.09/15.49	o 2016
27.69/16.01	o 2015
28.20/16.54	o 2014
28.70/17.09	o 2013
29.31/17.60	o 2012
29.80/18.13	o 2011
30.30/18.65	o 2010
30.80/19.16	o 2009
31.30/19.69	o 2008
31.91/20.21	o 2007
32.44/20.72	o 2006
32.94/21.23	o 2005
35.04/22.29	o 2004
35.68/22.82	o 2003
36.19/23.36	o 2002
36.74/23.89	o 2001
37.34/24.43	o 2000
37.84/24.95	o 1999
38.35/25.47	o 1998
38.85/25.98	o 1997
39.46/26.52	o 1996
39.95/27.03	o 1995
40.46/27.54	o 1994
40.95/28.04	o 1993
41.46/28.54	o 1992
41.96/29.03	o 1991
42.46/29.55	o 1990
42.96/30.07	o 1989
43.46/30.57	o 1988
43.96/31.08	o 1987
44.56/31.61	o 1986
45.07/32.12	o 1985
45.57/32.62	o 1984
46.08/33.11	o 1983
46.57/33.62	o 1982
47.08/34.12	o 1981
47.57/34.65	o 1980
48.07/35.15	o 1979
48.57/35.70	o 1978
49.25/36.24	o 1977
49.75/36.74	o 1976
50.26/37.27	o 1975
50.76/37.78	o 1974
51.36/38.30	o 1973
51.86/38.80	o 1972
52.36/39.30	o 1971
52.87/39.80	o 1970
53.37/40.32	o 1969
53.87/40.85	o 1968
54.37/41.38	o 1967
54.97/41.90	o 1966
55.47/42.42	o 1965
55.98/42.91	o 1964
56.47/43.40	o 1963
56.97/43.95	o 1962
57.47/44.46	o 1961
57.97/44.96	o 1960
58.57/45.50	o 1959
59.07/46.04	o 1958
59.57/46.55	o 1957
60.07/47.07	o 1956
60.57/47.57	o 1955
61.07/48.09	o 1954
61.58/48.59	o 1953
62.33/49.17	o 1952
62.86/49.67	o 1951
63.36/50.16	o 1950
63.86/50.68	o 1949
64.36/51.19	o 1948
64.96/51.71	o 1947
65.46/52.21	o 1946
65.86/52.70	o 1945
66.36/53.19	o 1944
66.86/53.69	o 1943
67.36/54.18	o 1942
67.86/54.68	o 1941
68.37/55.19	o 1940
68.86/55.67	o 1939
69.37/56.17	o 1938
69.97/56.73	o 1937
70.48/57.28	o 1936
71.07/57.81	o 1935
71.58/58.34	o 1934
72.07/58.85	o 1933
72.57/59.37	o 1932
73.07/59.88	o 1931
73.57/60.39	o 1930
74.07/60.88	o 1929
74.57/61.39	o 1928
75.07/61.89	o 1927
75.57/62.40	o 1926
76.41/62.98	o 1925
76.92/63.48	o 1924
77.42/64.00	o 1923
77.92/64.48	o 1922
78.42/64.98	o 1921
78.92/65.48	o 1920
79.42/65.99	o 1919
79.92/66.49	o 1918
80.52/67.02	o 1917
81.02/67.53	o 1916
81.52/68.05	o 1915
82.02/68.54	o 1914
82.52/69.04	o 1913
83.02/69.55	o 1912
83.52/70.05	o 1911
84.03/70.54	o 1910
84.52/71.07	o 1909
85.03/71.57	o 1908
85.52/72.06	o 1907
86.02/72.56	o 1906
86.53/73.06	o 1905
87.03/73.60	o 1904
87.63/74.10	o 1903
88.13/74.61	o 1902
88.64/75.12	o 1901
89.36/75.67	o 1900
89.86/76.15	o 1899
90.36/76.66	o 1898
90.87/77.19	o 1897
91.36/77.68	o 1896
91.87/78.20	o 1895
92.36/78.69	o 1894
92.86/79.18	o 1893
93.36/79.68	o 1892
93.86/80.16	o 1891
94.36/80.67	o 1890
94.86/81.18	o 1889
95.36/81.68	o 1888
95.86/82.17	o 1887
96.36/82.66	o 1886
96.86/83.17	o 1885
97.37/83.65	o 1884
97.86/84.17	o 1883
98.36/84.65	o 1882
98.86/85.15	o 1881
99.36/85.63	o 1880
99.86/86.11	o 1879
100.36/86.63	o 1878
100.86/87.12	o 1877
101.36/87.60	o 1876
101.77/88.09	o 1875
102.36/88.60	o 1874
103.15/89.18	o 1873
103.64/89.68	o 1872
104.14/90.17	o 1871
104.64/90.65	o 1870
105.14/91.14	o 1869
105.64/91.65	o 1868
106.14/92.14	o 1867
106.64/92.62	o 1866
107.04/93.09	o 1865
107.55/93.57	o 1864
108.04/94.09	o 1863
108.54/94.55	o 1862
109.04/95.02	o 1861
109.54/95.53	o 1860
110.04/96.02	o 1859
110.44/96.49	o 1858
110.95/96.99	o 1857
111.44/97.46	o 1856
111.95/97.94	o 1855
112.44/98.44	o 1854
112.95/98.94	o 1853
113.45/99.42	o 1852
113.95/99.90	o 1851
114.35/100.38	o 1850
114.85/100.85	o 1849
115.35/101.37	o 1848
115.85/101.88	o 1847
116.88/102.50	o 1846
117.28/102.98	o 1845
117.79/103.45	o 1844
118.29/103.93	o 1843
118.79/104.41	o 1842
119.29/104.90	o 1841
119.69/105.40	o 1840
120.19/105.89	o 1839
120.69/106.38	o 1838
121.20/106.84	o 1837
121.69/107.30	o 1836
122.09/107.77	o 1835
122.59/108.26	o 1834
123.10/108.75	o 1833
123.60/109.22	o 1832
124.10/109.70	o 1831
124.50/110.19	o 1830
125.10/110.70	o 1829
125.50/111.18	o 1828
125.99/111.67	o 1827
126.49/112.18	o 1826
126.99/112.67	o 1825
127.50/113.19	o 1824
128.00/113.68	o 1823
128.50/114.18	o 1822
129.00/114.66	o 1821
129.50/115.14	o 1820
130.46/115.74	o 1819
130.96/116.21	o 1818
131.37/116.70	o 1817
131.96/117.20	o 1816
132.36/117.68	o 1815
132.87/118.17	o 1814
133.37/118.63	o 1813
133.87/119.11	o 1812
134.37/119.63	o 1811
134.87/120.12	o 1810
135.37/120.62	o 1809
135.78/121.10	o 1808
136.37/121.60	o 1807
136.77/122.09	o 1806
137.27/122.57	o 1805
137.77/123.05	o 1804
138.27/123.54	o 1803
138.77/124.00	o 1802
139.18/124.49	o 1801
139.67/124.95	o 1800
140.18/125.43	o 1799
140.67/125.91	o 1798
141.07/126.39	o 1797
141.67/126.90	o 1796
142.07/127.37	o 1795
142.57/127.83	o 1794
142.97/128.29	o 1793
143.48/128.76	o 1792
144.55/129.38	o 1791
145.06/129.86	o 1790
145.55/130.35	o 1789
146.05/130.82	o 1788
146.55/131.31	o 1787
146.95/131.78	o 1786
147.45/132.25	o 1785
147.96/132.70	o 1784
148.36/133.17	o 1783
148.86/133.64	o 1782
149.36/134.12	o 1781
149.76/134.58	o 1780
150.26/135.05	o 1779
150.76/135.54	o 1778
151.26/136.01	o 1777
151.67/136.49	o 1776
152.16/136.97	o 1775
152.67/137.46	o 1774
153.17/137.93	o 1773
153.68/138.41	o 1772
154.08/138.88	o 1771
154.58/139.36	o 1770
155.09/139.83	o 1769
155.48/140.30	o 1768
155.98/140.77	o 1767
156.48/141.24	o 1766
156.98/141.73	o 1765
157.48/142.20	o 1764
158.49/142.80	o 1763
158.89/143.27	o 1762
159.39/143.73	o 1761
159.90/144.25	o 1760
160.39/144.72	o 1759
160.90/145.20	o 1758
161.29/145.69	o 1757
161.79/146.16	o 1756
162.29/146.63	o 1755
162.79/147.14	o 1754
163.29/147.64	o 1753
163.79/148.11	o 1752
164.30/148.62	o 1751
164.69/149.08	o 1750
165.20/149.58	o 1749
165.70/150.06	o 1748
166.20/150.52	o 1747
166.60/150.99	o 1746
167.10/151.47	o 1745
167.60/151.92	o 1744
168.00/152.39	o 1743
168.50/152.87	o 1742
169.00/153.34	o 1741
169.40/153.79	o 1740
169.90/154.26	o 1739
170.40/154.74	o 1738
170.90/155.22	o 1737
172.11/155.88	o 1736
172.62/156.35	o 1735
173.11/156.81	o 1734
173.51/157.27	o 1733
174.01/157.75	o 1732
174.51/158.22	o 1731
174.92/158.69	o 1730
175.42/159.14	o 1729
175.82/159.59	o 1728
176.32/160.07	o 1727
176.82/160.54	o 1726
177.32/161.00	o 1725
177.72/161.46	o 1724
178.22/161.94	o 1723
178.72/162.43	o 1722
179.12/162.89	o 1721
179.62/163.35	o 1720
180.12/163.81	o 1719
180.52/164.29	o 1718
181.02/164.76	o 1717
181.52/165.21	o 1716
181.92/165.69	o 1715
182.42/166.15	o 1714
182.92/166.61	o 1713
183.32/167.07	o 1712
183.82/167.51	o 1711
184.22/167.96	o 1710
184.72/168.42	o 1709
185.88/169.08	o 1708
186.38/169.56	o 1707
186.88/170.02	o 1706
187.28/170.49	o 1705
187.78/170.96	o 1704
188.28/171.43	o 1703
188.78/171.91	o 1702
189.18/172.39	o 1701
189.69/172.85	o 1700
190.19/173.34	o 1699
190.59/173.80	o 1698
191.09/174.25	o 1697
191.59/174.75	o 1696
192.09/175.22	o 1695
192.59/175.70	o 1694
192.99/176.16	o 1693
193.49/176.62	o 1692
193.88/177.08	o 1691
194.38/177.55	o 1690
194.88/178.00	o 1689
195.28/178.45	o 1688
195.78/178.92	o 1687
196.19/179.38	o 1686
196.68/179.84	o 1685
197.18/180.32	o 1684
197.68/180.80	o 1683
198.09/181.27	o 1682
199.39/181.93	o 1681
199.89/182.40	o 1680
200.29/182.87	o 1679
200.79/183.33	o 1678
201.19/183.80	o 1677
201.68/184.26	o 1676
202.19/184.70	o 1675
202.59/185.18	o 1674
203.09/185.64	o 1673
203.59/186.10	o 1672
203.99/186.53	o 1671
204.39/186.98	o 1670
204.89/187.45	o 1669
205.39/187.90	o 1668
205.79/188.38	o 1667
206.29/188.87	o 1666
206.79/189.32	o 1665
207.19/189.78	o 1664
207.70/190.23	o 1663
208.10/190.68	o 1662
208.60/191.13	o 1661
209.10/191.60	o 1660
209.50/192.06	o 1659
210.00/192.55	o 1658
210.50/193.03	o 1657
211.00/193.50	o 1656
212.11/194.18	o 1655
212.74/194.64	o 1654
213.23/195.11	o 1653
213.64/195.56	o 1652
214.14/196.02	o 1651
214.54/196.48	o 1650
215.04/196.94	o 1649
215.44/197.39	o 1648
215.94/197.87	o 1647
216.44/198.34	o 1646
216.85/198.79	o 1645
217.36/199.25	o 1644
217.75/199.69	o 1643
218.25/200.14	o 1642
218.65/200.58	o 1641
219.15/201.03	o 1640
219.65/201.50	o 1639
220.05/201.95	o 1638
220.56/202.41	o 1637
220.95/202.86	o 1636
221.45/203.31	o 1635
221.85/203.76	o 1634
222.35/204.21	o 1633
222.76/204.66	o 1632
223.25/205.11	o 1631
223.65/205.56	o 1630
224.15/206.01	o 1629
225.43/206.69	o 1628
225.93/207.14	o 1627
226.33/207.58	o 1626
226.84/208.06	o 1625
227.33/208.51	o 1624
227.74/208.96	o 1623
228.24/209.42	o 1622
228.64/209.89	o 1621
229.14/210.35	o 1620
229.64/210.82	o 1619
230.15/211.31	o 1618
230.54/211.75	o 1617
230.94/212.18	o 1616
231.44/212.66	o 1615
231.94/213.10	o 1614
232.35/213.55	o 1613
232.84/214.01	o 1612
233.24/214.45	o 1611
233.74/214.91	o 1610
234.14/215.37	o 1609
234.64/215.83	o 1608
235.04/216.29	o 1607
235.54/216.74	o 1606
236.04/217.21	o 1605
236.44/217.67	o 1604
237.85/218.36	o 1603
238.36/218.80	o 1602
238.76/219.23	o 1601
239.16/219.68	o 1600
239.67/220.13	o 1599
240.06/220.56	o 1598
240.56/221.00	o 1597
240.96/221.45	o 1596
241.36/221.90	o 1595
241.87/222.35	o 1594
242.36/222.80	o 1593
242.76/223.26	o 1592
243.26/223.73	o 1591
243.66/224.19	o 1590
244.16/224.64	o 1589
244.56/225.08	o 1588
245.07/225.54	o 1587
245.46/225.98	o 1586
245.96/226.43	o 1585
246.36/226.87	o 1584
246.86/227.32	o 1583
247.27/227.76	o 1582
247.76/228.22	o 1581
248.16/228.66	o 1580
248.56/229.09	o 1579
250.02/229.78	o 1578
250.52/230.23	o 1577
250.92/230.68	o 1576
251.43/231.14	o 1575
251.82/231.59	o 1574
252.32/232.03	o 1573
252.72/232.49	o 1572
253.22/232.94	o 1571
253.63/233.37	o 1570
254.12/233.82	o 1569
254.52/234.26	o 1568
255.02/234.71	o 1567
255.42/235.14	o 1566
255.83/235.58	o 1565
256.32/236.02	o 1564
256.72/236.45	o 1563
257.12/236.89	o 1562
257.62/237.38	o 1561
258.12/237.81	o 1560
258.52/238.25	o 1559
258.92/238.69	o 1558
259.42/239.15	o 1557
259.92/239.60	o 1556
261.29/240.21	s SATISFIABLE
261.29/240.21	v <instantiation>
261.29/240.21	v 	<list>
261.29/240.21	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029]
261.29/240.21	v 	</list>
261.29/240.21	v 	<values>
261.29/240.21	v 		1555 1553 1550 1549 1555 1555 1556 1556 1555 1555 1550 1555 1556 1548 1547 1556 1551 1550 1550 1551 1555 1550 1550 1552 1552 1550 1555 1549 1549 1554 1553 1551 1550 1550 1555 1555 1556 1556 1555 1556 1548 1548 1548 1548 1548 1556 1556 1550 1554 1549 1554 1550 1554 1554 1554 1550 1556 1554 1550 1550 1555 1555 1555 1551 1555 1555 1551 1551 1555 1555 1551 1551 1551 1555 1551 1556 1547 1554 1551 1550 1556 1553 1556 1553 1554 1555 1554 1556 1553 1553 1553 1553 1556 1553 1554 1556 1556 1552 1556 1554 1554 1554 1556 1554 1554 1554 1553 1552 1552 1554 1553 1553 1553 1553 1556 1553 1553 1553 1553 1553 1553 1553 1553 1553 1553 1554 1554 1554 1554 1554 1554 1554 1554 1554 1554 1554 1554 1554 1554 1554 1553 1553 1553 1553 1553 1553 1553 1553 1553 1555 1553 1553 1553 1553 1553 1553 1553 1554 1553 1553 1554 1550 1551 1551 1555 1555 1556 1551 1555 1555 1555 1550 1550 1555 1555 1554 1552 1556 1551 1555 1550 1556 1551 1555 1555 1555 1555 1550 1555 1555 1555 1555 1551 1551 1555 1555 1553 1553 1555 1555 1555 1555 1551 1555 1555 1552 1554 1552 1555 1552 1554 1556 1552 1554 1556 1552 1552 1554 1554 1552 1555 1555 1555 1555 1555 1556 1555 1555 1555 1555 1555 1555 1555 1555 1555 1552 1551 1554 1555 1552 1556 1553 1553 1553 1553 1553 1553 1553 1553 1553 1553 1553 1553 1553 1553 1556 1553 1553 1553 1556 1549 1556 1556 1552 1552 1553 1553 1553 1552 1553 1553 1553 1553 1553 1553 1553 1553 1553 1553 1553 1553 1553 1553 1553 1553 1553 1553 1553 1556 1556 1556 1553 1553 1556 1556 1553 1553 1553 1556 1553 1556 1556 1556 1553 1553 1553 1553 1553 1556 1555 1553 1553 1553 1553 1553 1553 1553 1556 1553 1553 1554 1554 1554 1555 1555 1554 1556 1555 1555 1555 1555 1554 1554 1555 1555 1554 1554 1556 1555 1555 1554 1556 1555 1555 1555 1555 1554 1554 1555 1556 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1554 1555 1554 1555 1555 1555 1556 1554 1556 1556 1554 1554 1554 1556 1554 1555 1556 1555 1555 1555 1556 1555 1555 1555 1555 1555 1555 1555 1555 1555 1554 1555 1554 1555 1554 1552 1550 1549 1554 1553 1555 1554 1552 1552 1555 1555 1551 1556 1555 1555 1551 1551 1546 1551 1551 1555 1552 1556 1552 1555 1555 1551 1552 1551 1555 1552 1551 1551 1551 1551 1552 1555 1552 1552 1551 1551 1551 1555 1552 1555 1551 1551 1548 1551 1551 1554 1556 1552 1552 1555 1552 1554 1554 1555 1555 1552 1552 1552 1555 1552 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1552 1548 1552 1552 1552 1556 1553 1556 1553 1555 1555 1556 1556 1552 1552 1551 1552 1553 1552 1553 1552 1552 1556 1556 1555 1555 1553 1556 1552 1552 1553 1552 1552 1552 1553 1553 1555 1553 1553 1556 1555 1553 1556 1553 1553 1553 1553 1553 1553 1553 1553 1556 1553 1552 1552 1552 1554 1554 1552 1552 1553 1553 1553 1552 1553 1553 1555 1555 1554 1553 1555 1555 1555 1555 1554 1555 1553 1555 1555 1555 1553 1553 1549 1553 1553 1552 1551 1552 1555 1551 1551 1551 1551 1551 1551 1551 1551 1551 1551 1551 1555 1552 1556 1555 1551 1555 1556 1552 1551 1555 1552 1551 1551 1551 1551 1552 1551 1552 1552 1551 1551 1551 1555 1552 1555 1551 1551 1551 1551 1551 1555 1555 1555 1555 1555 1555 1552 1555 1555 1556 1552 1555 1555 1555 1552 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1552 1555 1555 1555 1552 1556 1555 1556 1556 1556 1555 1556 1556 1553 1553 1553 1553 1553 1553 1556 1556 1556 1556 1556 1556 1552 1556 1556 1556 1552 1556 1556 1556 1552 1556 1556 1555 1556 1556 1556 1555 1553 1553 1553 1553 1553 1553 1553 1553 1553 1553 1556 1553 1556 1552 1556 1553 1556 1552 1556 1556 1556 1553 1552 1556 1556 1555 1556 1556 1556 1555 1553 1553 1555 1555 1555 1553 1553 1555 1555 1553 1553 1556 1553 1553 1555 1555 1555 1555 1555 1555 1556 1555 1555 1555 1556 1555 1555 1555 1556 1555 1555 1555 1555 1556 1556 1556 1555 1556 1556 1555 1556 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1551 1555 1555 1556 1554 1555 1555 1555 1554 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1554 1555 1555 1555 1554 1552 1551 1549 1551 1553 1550 1554 1556 1554 1555 1555 1556 1556 1555 1555 1554 1554 1554 1555 1556 1550 1550 1550 1550 1550 1550 1550 1554 1550 1550 1556 1550 1550 1550 1556 1554 1550 1554 1556 1550 1550 1556 1556 1555 1555 1554 1554 1554 1555 1556 1556 1556 1556 1554 1550 1556 1556 1554 1554 1556 1556 1556 1554 1554 1556 1554 1556 1554 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1554 1554 1550 1556 1553 1550 1553 1550 1554 1553 1554 1554 1555 1555 1552 1553 1554 1555 1554 1550 1554 1556 1554 1554 1554 1556 1556 1550 1556 1556 1554 1556 1550 1556 1553 1553 1553 1553 1556 1553 1553 1554 1553 1553 1553 1553 1553 1553 1553 1556 1554 1556 1556 1556 1554 1556 1556 1556 1556 1556 1556 1556 1554 1556 1554 1556 1554 1556 1553 1553 1554 1553 1556 1556 1553 1553 1556 1553 1553 1556 1553 1554 1553 1553 1554 1555 1554 1554 1555 1555 1556 1554 1555 1555 1554 1554 1554 1554 1554 1554 1555 1556 1554 1554 1554 1556 1554 1554 1554 1554 1554 1554 1554 1554 1555 1555 1554 1554 1550 1555 1554 1554 1555 1555 1554 1550 1554 1555 1554 1552 1554 1552 1554 1552 1554 1556 1554 1554 1554 1556 1552 1554 1554 1556 1555 1555 1555 1555 1555 1556 1555 1556 1555 1555 1555 1555 1555 1555 1555 1552 1554 1554 1555 1552 1556 1554 1554 1554 1554 1554 1554 1554 1554 1554 1554 1554 1554 1554 1554 1556 1554 1556 1556 1554 1554 1556 1556 1554 1554 1554 1554 1554 1554 1554 1556 1554 1554 1554 1556 1554 1554 1554 1556 1553 1553 1553 1553 1553 1553 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1553 1556 1556 1556 1553 1556 1556 1556 1553 1556 1553 1556 1553 1556 1554 1555 1554 1554 1555 1555 1556 1554 1555 1555 1554 1555 1554 1554 1554 1554 1555 1556 1554 1554 1554 1556 1554 1554 1554 1554 1554 1554 1554 1554 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1554 1554 1556 1554 1554 1554 1556 1554 1556 1554 1556 1554 1554 1554 1556 1555 1556 1555 1555 1555 1556 1555 1556 1555 1555 1555 1555 1555 1555 1555 1554 1554 1554 1555 1554 1552 1550 1554 1554 1550 1556 1555 1551 1556 1555 1555 1551 1551 1555 1555 1551 1551 1551 1555 1551 1555 1555 1556 1551 1555 1555 1556 1551 1555 1555 1551 1551 1551 1555 1556 1553 1553 1553 1553 1553 1555 1553 1555 1553 1553 1553 1553 1553 1553 1553 1555 1555 1555 1555 1555 1555 1554 1554 1555 1555 1551 1551 1551 1555 1551 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1551 1555 1555 1553 1555 1551 1556 1555 1555 1551 1551 1555 1555 1551 1551 1551 1555 1551 1553 1553 1556 1556 1555 1555 1556 1556 1555 1555 1551 1551 1551 1555 1556 1553 1555 1553 1555 1553 1553 1555 1555 1553 1553 1553 1553 1553 1553 1553 1553 1553 1551 1551 1551 1551 1554 1554 1551 1551 1551 1551 1551 1551 1551 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1553 1553 1551 1553 1553 1553 1555 1556 1555 1555 1555 1551 1551 1555 1555 1551 1551 1551 1551 1551 1556 1555 1555 1555 1556 1556 1551 1551 1556 1556 1551 1556 1551 1551 1551 1553 1553 1553 1553 1553 1553 1553 1555 1553 1553 1553 1553 1553 1553 1553 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1556 1555 1556 1556 1555 1555 1556 1556 1555 1555 1556 1555 1553 1553 1553 1556 1556 1553 1556 1553 1553 1556 1556 1553 1553 1556 1553 1556 1553 1556 1556 1555 1556 1555 1555 1555 1556 1555 1555 1555 1555 1555 1555 1555 1555 1553 1553 1553 1553 1553 1556 1553 1553 1553 1556 1553 1556 1553 1553 1553 1556 1555 1556 1555 1555 1555 1556 1555 1555 1555 1555 1555 1555 1555 1555 1553 1553 1553 1555 1553 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1556 1555 1555 1555 1556 1556 1555 1555 1556 1556 1555 1556 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1555 1553 1551 1553 1555 1553 1552 1552 1556 1552 1553 1553 1556 1556 1553 1553 1553 1553 1553 1553 1556 1552 1552 1556 1552 1552 1556 1556 1556 1556 1556 1556 1552 1556 1556 1556 1552 1552 1556 1556 1553 1553 1556 1556 1553 1553 1553 1553 1553 1553 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1552 1556 1556 1556 1553 1552 1553 1552 1553 1553 1553 1553 1553 1553 1553 1553 1553 1553 1553 1552 1552 1556 1552 1552 1552 1556 1556 1556 1556 1556 1552 1556 1556 1556 1556 1553 1553 1553 1556 1553 1553 1553 1553 1553 1553 1553 1553 1553 1553 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1553 1556 1556 1556 1552 1552 1552 1552 1552 1552 1556 1556 1552 1552 1552 1552 1552 1552 1552 1552 1552 1556 1552 1552 1552 1556 1556 1552 1552 1556 1552 1552 1552 1552 1552 1552 1552 1552 1552 1552 1552 1556 1552 1552 1552 1552 1552 1552 1552 1556 1552 1556 1552 1556 1552 1556 1556 1556 1552 1556 1552 1556 1552 1556 1556 1556 1552 1552 1556 1556 1552 1556 1556 1556 1552 1556 1552 1552 1552 1552 1552 1552 1552 1552 1556 1552 1553 1552 1556 1553 1553 1553 1556 1556 1553 1553 1553 1553 1553 1556 1552 1556 1556 1556 1552 1556 1556 1556 1556 1556 1552 1556 1556 1556 1556 1553 1553 1553 1556 1556 1553 1553 1556 1556 1553 1556 1553 1553 1553 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1556 1553 1556 1556 1556 1552 1552 1552 1552 1552 1552 1556 1556 1552 1552 1552 1552 1552 1552 1552 1552 1552 1556 1552 1552 1552 1556 1556 1552 1552 1556 1552 1552 1552 1552 1552 1552 1552 1552 1552 1552 1552 1556 1552 1552 1552 1552 1552 1552 1552 1556 1552 1556 1552 1556 1552 1556 1556 1556 1552 1556 1552 1556 1552 1556 1556 1556 1552 1552 1556 1556 1552 1556 1556 1556 1552 1556 1552 1552 1552 1552 1552 1552 1552 1552 1552 1552 1552 1552 1552 1555 1550 1551 1552 1554 
261.29/240.21	v 	</values>
261.29/240.21	v </instantiation>

Verifier Data 

OK	1556

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4256036-1501628425/watcher-4256036-1501628425 -o /tmp/evaluation-result-4256036-1501628425/solver-4256036-1501628425 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15686 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 222439008 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256036-1501628425.xml 

pid=19518
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.78 1.65 1.64 2/198 19521
/proc/meminfo: memFree=28876688/32770624 swapFree=0/198192
[pid=19521] ppid=19518 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/19521/stat : 19521 (runsolver) D 19518 19521 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10657868 24240128 106 18446744073709551615 4194304 4338465 140731089112160 140731089109800 140705638449879 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 22659072 140731089113191 140731089113670 140731089113670 140731089117130 0
/proc/19521/statm: 5918 106 53 36 0 2156 0

[startup+0.100114 s]
/proc/loadavg: 1.78 1.65 1.64 2/198 19521
/proc/meminfo: memFree=28876688/32770624 swapFree=0/198192
[pid=19521] ppid=19518 vsize=13358552 CPUtime=0 cores=1,3,5,7
/proc/19521/stat : 19521 (java) S 19518 19521 5228 0 -1 1077944320 3368 0 0 0 0 0 0 0 20 0 6 0 10657868 13679157248 3527 18446744073709551615 4194304 4196468 140728907408272 140728907390816 139625773297399 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
/proc/19521/statm: 3339638 3527 1890 1 0 3329143 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13358552

[startup+0.201874 s]
/proc/loadavg: 1.78 1.65 1.64 2/198 19521
/proc/meminfo: memFree=28876688/32770624 swapFree=0/198192
[pid=19521] ppid=19518 vsize=13975920 CPUtime=0.07 cores=1,3,5,7
/proc/19521/stat : 19521 (java) S 19518 19521 5228 0 -1 1077944320 6802 0 0 0 6 1 0 0 20 0 15 0 10657868 14311342080 6989 18446744073709551615 4194304 4196468 140728907408272 140728907390816 139625773297399 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
/proc/19521/statm: 3493980 6989 3308 1 0 3482767 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13975920

[startup+0.300279 s]
/proc/loadavg: 1.78 1.65 1.64 2/198 19521
/proc/meminfo: memFree=28876688/32770624 swapFree=0/198192
[pid=19521] ppid=19518 vsize=13975920 CPUtime=0.23 cores=1,3,5,7
/proc/19521/stat : 19521 (java) S 19518 19521 5228 0 -1 1077944320 10192 0 0 0 20 3 0 0 20 0 15 0 10657868 14311342080 9908 18446744073709551615 4194304 4196468 140728907408272 140728907390816 139625773297399 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
/proc/19521/statm: 3493980 9908 3478 1 0 3482767 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 13975920

[startup+0.700511 s]
/proc/loadavg: 1.78 1.65 1.64 2/198 19521
/proc/meminfo: memFree=28876688/32770624 swapFree=0/198192
[pid=19521] ppid=19518 vsize=13977988 CPUtime=1.17 cores=1,3,5,7
/proc/19521/stat : 19521 (java) S 19518 19521 5228 0 -1 1077944320 14716 0 0 0 112 5 0 0 20 0 15 0 10657868 14313459712 22043 18446744073709551615 4194304 4196468 140728907408272 140728907390816 139625773297399 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
/proc/19521/statm: 3494497 22043 3719 1 0 3483279 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 13977988

[startup+1.50062 s]
/proc/loadavg: 1.78 1.65 1.64 5/213 19536
/proc/meminfo: memFree=28457100/32770624 swapFree=0/198412
[pid=19521] ppid=19518 vsize=13977988 CPUtime=3.75 cores=1,3,5,7
/proc/19521/stat : 19521 (java) S 19518 19521 5228 0 -1 1077944320 17737 0 0 0 366 9 0 0 20 0 15 0 10657868 14313459712 54092 18446744073709551615 4194304 4196468 140728907408272 140728907390816 139625773297399 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
/proc/19521/statm: 3494497 54092 3775 1 0 3483279 0
[pid=19521/tid=19523] ppid=19518 vsize=13977988 CPUtime=1.33 cores=1,3,5,7
/proc/19521/task/19523/stat : 19523 (java) R 19518 19521 5228 0 -1 4202560 10582 0 0 0 127 6 0 0 20 0 15 0 10657877 14313459712 54092 18446744073709551615 4194304 4196468 140728907408272 139625777530672 139625382065103 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19524] ppid=19518 vsize=13977988 CPUtime=0.01 cores=1,3,5,7
/proc/19521/task/19524/stat : 19524 (java) S 19518 19521 5228 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 15 0 10657878 14313459712 54092 18446744073709551615 4194304 4196468 140728907408272 139625707731984 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19525] ppid=19518 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19525/stat : 19525 (java) S 19518 19521 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10657878 14313459712 54092 18446744073709551615 4194304 4196468 140728907408272 139625706679440 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19526] ppid=19518 vsize=13977988 CPUtime=0.01 cores=1,3,5,7
/proc/19521/task/19526/stat : 19526 (java) S 19518 19521 5228 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 15 0 10657878 14313459712 54092 18446744073709551615 4194304 4196468 140728907408272 139625705626384 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19527] ppid=19518 vsize=13977988 CPUtime=0.01 cores=1,3,5,7
/proc/19521/task/19527/stat : 19527 (java) S 19518 19521 5228 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 15 0 10657878 14313459712 54092 18446744073709551615 4194304 4196468 140728907408272 139625704573840 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19528] ppid=19518 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19528/stat : 19528 (java) S 19518 19521 5228 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 10657879 14313459712 54092 18446744073709551615 4194304 4196468 140728907408272 139625251703024 139625773308546 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19529] ppid=19518 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19529/stat : 19529 (java) S 19518 19521 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10657880 14313459712 54092 18446744073709551615 4194304 4196468 140728907408272 139625250649248 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19530] ppid=19518 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19530/stat : 19530 (java) S 19518 19521 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10657880 14313459712 54092 18446744073709551615 4194304 4196468 140728907408272 139625249596144 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19531] ppid=19518 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19531/stat : 19531 (java) S 19518 19521 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10657882 14313459712 54092 18446744073709551615 4194304 4196468 140728907408272 139625248544720 139625773315995 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19532] ppid=19518 vsize=13977988 CPUtime=0.91 cores=1,3,5,7
/proc/19521/task/19532/stat : 19532 (java) R 19518 19521 5228 0 -1 4202560 2035 0 0 0 91 0 0 0 20 0 15 0 10657882 14313459712 54092 18446744073709551615 4194304 4196468 140728907408272 139625247479632 139625756796157 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19533] ppid=19518 vsize=13977988 CPUtime=0.95 cores=1,3,5,7
/proc/19521/task/19533/stat : 19533 (java) R 19518 19521 5228 0 -1 4202560 1917 0 0 0 95 0 0 0 20 0 15 0 10657882 14313459712 54092 18446744073709551615 4194304 4196468 140728907408272 139625246429744 139625754841630 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19534] ppid=19518 vsize=13977988 CPUtime=0.44 cores=1,3,5,7
/proc/19521/task/19534/stat : 19534 (java) S 19518 19521 5228 0 -1 1077944384 1640 0 0 0 44 0 0 0 20 0 15 0 10657882 14313459712 54092 18446744073709551615 4194304 4196468 140728907408272 139625245387248 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19535] ppid=19518 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19535/stat : 19535 (java) S 19518 19521 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10657882 14313459712 54092 18446744073709551615 4194304 4196468 140728907408272 139625244334944 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19536] ppid=19518 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19536/stat : 19536 (java) S 19518 19521 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10657887 14313459712 54092 18446744073709551615 4194304 4196468 140728907408272 139625243281968 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 13977988

[startup+3.10065 s]
/proc/loadavg: 1.78 1.65 1.64 4/213 19536
/proc/meminfo: memFree=28191296/32770624 swapFree=0/198412
[pid=19521] ppid=19518 vsize=13980036 CPUtime=7.27 cores=1,3,5,7
/proc/19521/stat : 19521 (java) S 19518 19521 5228 0 -1 1077944320 27571 0 0 0 667 60 0 0 20 0 15 0 10657868 14315556864 323397 18446744073709551615 4194304 4196468 140728907408272 140728907390816 139625773297399 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
/proc/19521/statm: 3495009 323397 3795 1 0 3483791 0
[pid=19521/tid=19523] ppid=19518 vsize=13980036 CPUtime=2.69 cores=1,3,5,7
/proc/19521/task/19523/stat : 19523 (java) R 19518 19521 5228 0 -1 4202560 14475 0 0 0 252 17 0 0 20 0 15 0 10657877 14315556864 323397 18446744073709551615 4194304 4196468 140728907408272 139625777533448 139625385245780 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19524] ppid=19518 vsize=13980036 CPUtime=0.23 cores=1,3,5,7
/proc/19521/task/19524/stat : 19524 (java) S 19518 19521 5228 0 -1 1077944384 317 0 0 0 13 10 0 0 20 0 15 0 10657878 14315556864 323397 18446744073709551615 4194304 4196468 140728907408272 139625707731984 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19525] ppid=19518 vsize=13980036 CPUtime=0.2 cores=1,3,5,7
/proc/19521/task/19525/stat : 19525 (java) S 19518 19521 5228 0 -1 1077944384 347 0 0 0 11 9 0 0 20 0 15 0 10657878 14315556864 323397 18446744073709551615 4194304 4196468 140728907408272 139625706679440 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19526] ppid=19518 vsize=13980036 CPUtime=0.21 cores=1,3,5,7
/proc/19521/task/19526/stat : 19526 (java) S 19518 19521 5228 0 -1 1077944384 248 0 0 0 12 9 0 0 20 0 15 0 10657878 14315556864 323397 18446744073709551615 4194304 4196468 140728907408272 139625705626384 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19527] ppid=19518 vsize=13980036 CPUtime=0.21 cores=1,3,5,7
/proc/19521/task/19527/stat : 19527 (java) S 19518 19521 5228 0 -1 1077944384 318 0 0 0 12 9 0 0 20 0 15 0 10657878 14315556864 323397 18446744073709551615 4194304 4196468 140728907408272 139625704573840 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19528] ppid=19518 vsize=13980036 CPUtime=0.01 cores=1,3,5,7
/proc/19521/task/19528/stat : 19528 (java) S 19518 19521 5228 0 -1 1077944384 554 0 0 0 1 0 0 0 20 0 15 0 10657879 14315556864 323397 18446744073709551615 4194304 4196468 140728907408272 139625251703024 139625773308546 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19529] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19529/stat : 19529 (java) S 19518 19521 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10657880 14315556864 323397 18446744073709551615 4194304 4196468 140728907408272 139625250649312 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19530] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19530/stat : 19530 (java) S 19518 19521 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10657880 14315556864 323397 18446744073709551615 4194304 4196468 140728907408272 139625249596160 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19531] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19531/stat : 19531 (java) S 19518 19521 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10657882 14315556864 323397 18446744073709551615 4194304 4196468 140728907408272 139625248544720 139625773315995 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19532] ppid=19518 vsize=13980036 CPUtime=1.51 cores=1,3,5,7
/proc/19521/task/19532/stat : 19532 (java) S 19518 19521 5228 0 -1 1077944384 2803 0 0 0 151 0 0 0 20 0 15 0 10657882 14315556864 323909 18446744073709551615 4194304 4196468 140728907408272 139625247492848 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19533] ppid=19518 vsize=13980036 CPUtime=1.47 cores=1,3,5,7
/proc/19521/task/19533/stat : 19533 (java) S 19518 19521 5228 0 -1 1077944384 2615 0 0 0 147 0 0 0 20 0 15 0 10657882 14315556864 323909 18446744073709551615 4194304 4196468 140728907408272 139625246440304 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19534] ppid=19518 vsize=13980036 CPUtime=0.64 cores=1,3,5,7
/proc/19521/task/19534/stat : 19534 (java) S 19518 19521 5228 0 -1 1077944384 4526 0 0 0 63 1 0 0 20 0 15 0 10657882 14315556864 323909 18446744073709551615 4194304 4196468 140728907408272 139625245387248 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19535] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19535/stat : 19535 (java) S 19518 19521 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10657882 14315556864 323909 18446744073709551615 4194304 4196468 140728907408272 139625244334944 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19536] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19536/stat : 19536 (java) S 19518 19521 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10657887 14315556864 323909 18446744073709551615 4194304 4196468 140728907408272 139625243281968 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (KiB) 13980036

[startup+6.30066 s]
/proc/loadavg: 1.80 1.66 1.64 3/213 19536
/proc/meminfo: memFree=25755704/32770624 swapFree=0/198412
[pid=19521] ppid=19518 vsize=13980036 CPUtime=13.5 cores=1,3,5,7
/proc/19521/stat : 19521 (java) S 19518 19521 5228 0 -1 1077944320 35726 0 0 0 1118 232 0 0 20 0 15 0 10657868 14315556864 860339 18446744073709551615 4194304 4196468 140728907408272 140728907390816 139625773297399 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
/proc/19521/statm: 3495009 860339 3811 1 0 3483791 0
[pid=19521/tid=19523] ppid=19518 vsize=13980036 CPUtime=4.84 cores=1,3,5,7
/proc/19521/task/19523/stat : 19523 (java) R 19518 19521 5228 0 -1 4202560 16521 0 0 0 456 28 0 0 20 0 15 0 10657877 14315556864 860339 18446744073709551615 4194304 4196468 140728907408272 139625777536000 139625385245141 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19524] ppid=19518 vsize=13980036 CPUtime=1.23 cores=1,3,5,7
/proc/19521/task/19524/stat : 19524 (java) S 19518 19521 5228 0 -1 1077944384 1666 0 0 0 73 50 0 0 20 0 15 0 10657878 14315556864 860339 18446744073709551615 4194304 4196468 140728907408272 139625707731984 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19525] ppid=19518 vsize=13980036 CPUtime=1.19 cores=1,3,5,7
/proc/19521/task/19525/stat : 19525 (java) S 19518 19521 5228 0 -1 1077944384 1407 0 0 0 70 49 0 0 20 0 15 0 10657878 14315556864 860339 18446744073709551615 4194304 4196468 140728907408272 139625706679440 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19526] ppid=19518 vsize=13980036 CPUtime=1.22 cores=1,3,5,7
/proc/19521/task/19526/stat : 19526 (java) S 19518 19521 5228 0 -1 1077944384 1158 0 0 0 72 50 0 0 20 0 15 0 10657878 14315556864 860339 18446744073709551615 4194304 4196468 140728907408272 139625705626384 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19527] ppid=19518 vsize=13980036 CPUtime=1.22 cores=1,3,5,7
/proc/19521/task/19527/stat : 19527 (java) S 19518 19521 5228 0 -1 1077944384 1289 0 0 0 73 49 0 0 20 0 15 0 10657878 14315556864 860339 18446744073709551615 4194304 4196468 140728907408272 139625704573840 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19528] ppid=19518 vsize=13980036 CPUtime=0.05 cores=1,3,5,7
/proc/19521/task/19528/stat : 19528 (java) S 19518 19521 5228 0 -1 1077944384 2368 0 0 0 5 0 0 0 20 0 15 0 10657879 14315556864 860339 18446744073709551615 4194304 4196468 140728907408272 139625251703024 139625773308546 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19529] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19529/stat : 19529 (java) S 19518 19521 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10657880 14315556864 860339 18446744073709551615 4194304 4196468 140728907408272 139625250649312 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19530] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19530/stat : 19530 (java) S 19518 19521 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10657880 14315556864 860339 18446744073709551615 4194304 4196468 140728907408272 139625249596160 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19531] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19531/stat : 19531 (java) S 19518 19521 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10657882 14315556864 860339 18446744073709551615 4194304 4196468 140728907408272 139625248544720 139625773315995 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19532] ppid=19518 vsize=13980036 CPUtime=1.54 cores=1,3,5,7
/proc/19521/task/19532/stat : 19532 (java) S 19518 19521 5228 0 -1 1077944384 2805 0 0 0 154 0 0 0 20 0 15 0 10657882 14315556864 860339 18446744073709551615 4194304 4196468 140728907408272 139625247492848 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19533] ppid=19518 vsize=13980036 CPUtime=1.49 cores=1,3,5,7
/proc/19521/task/19533/stat : 19533 (java) S 19518 19521 5228 0 -1 1077944384 2618 0 0 0 149 0 0 0 20 0 15 0 10657882 14315556864 860339 18446744073709551615 4194304 4196468 140728907408272 139625246440304 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19534] ppid=19518 vsize=13980036 CPUtime=0.64 cores=1,3,5,7
/proc/19521/task/19534/stat : 19534 (java) S 19518 19521 5228 0 -1 1077944384 4526 0 0 0 63 1 0 0 20 0 15 0 10657882 14315556864 860339 18446744073709551615 4194304 4196468 140728907408272 139625245387248 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19535] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19535/stat : 19535 (java) S 19518 19521 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10657882 14315556864 860339 18446744073709551615 4194304 4196468 140728907408272 139625244334944 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19536] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19536/stat : 19536 (java) S 19518 19521 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10657887 14315556864 860339 18446744073709551615 4194304 4196468 140728907408272 139625243281968 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
Current children cumulated CPU time (s) 13.5
Current children cumulated vsize (KiB) 13980036

[startup+12.7007 s]
/proc/loadavg: 1.98 1.70 1.65 3/213 19537
/proc/meminfo: memFree=24200948/32770624 swapFree=0/198424
[pid=19521] ppid=19518 vsize=13980036 CPUtime=24.36 cores=1,3,5,7
/proc/19521/stat : 19521 (java) S 19518 19521 5228 0 -1 1077944320 43234 0 0 0 2130 306 0 0 20 0 15 0 10657868 14315556864 1113899 18446744073709551615 4194304 4196468 140728907408272 140728907390816 139625773297399 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
/proc/19521/statm: 3495009 1113899 3813 1 0 3483791 0
[pid=19521/tid=19523] ppid=19518 vsize=13980036 CPUtime=10.56 cores=1,3,5,7
/proc/19521/task/19523/stat : 19523 (java) R 19518 19521 5228 0 -1 4202560 17856 0 0 0 1023 33 0 0 20 0 15 0 10657877 14315556864 1113899 18446744073709551615 4194304 4196468 140728907408272 139625777532816 139625386482022 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19524] ppid=19518 vsize=13980036 CPUtime=1.86 cores=1,3,5,7
/proc/19521/task/19524/stat : 19524 (java) S 19518 19521 5228 0 -1 1077944384 2023 0 0 0 119 67 0 0 20 0 15 0 10657878 14315556864 1113899 18446744073709551615 4194304 4196468 140728907408272 139625707731984 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19525] ppid=19518 vsize=13980036 CPUtime=1.81 cores=1,3,5,7
/proc/19521/task/19525/stat : 19525 (java) S 19518 19521 5228 0 -1 1077944384 1717 0 0 0 115 66 0 0 20 0 15 0 10657878 14315556864 1113899 18446744073709551615 4194304 4196468 140728907408272 139625706679440 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19526] ppid=19518 vsize=13980036 CPUtime=1.84 cores=1,3,5,7
/proc/19521/task/19526/stat : 19526 (java) S 19518 19521 5228 0 -1 1077944384 1671 0 0 0 118 66 0 0 20 0 15 0 10657878 14315556864 1113899 18446744073709551615 4194304 4196468 140728907408272 139625705626384 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19527] ppid=19518 vsize=13980036 CPUtime=1.83 cores=1,3,5,7
/proc/19521/task/19527/stat : 19527 (java) S 19518 19521 5228 0 -1 1077944384 1680 0 0 0 117 66 0 0 20 0 15 0 10657878 14315556864 1113899 18446744073709551615 4194304 4196468 140728907408272 139625704573840 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19528] ppid=19518 vsize=13980036 CPUtime=0.1 cores=1,3,5,7
/proc/19521/task/19528/stat : 19528 (java) S 19518 19521 5228 0 -1 1077944384 2913 0 0 0 10 0 0 0 20 0 15 0 10657879 14315556864 1113899 18446744073709551615 4194304 4196468 140728907408272 139625251703024 139625773308546 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19529] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19529/stat : 19529 (java) S 19518 19521 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10657880 14315556864 1113899 18446744073709551615 4194304 4196468 140728907408272 139625250649312 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19530] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19530/stat : 19530 (java) S 19518 19521 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10657880 14315556864 1113899 18446744073709551615 4194304 4196468 140728907408272 139625249596160 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19531] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19531/stat : 19531 (java) S 19518 19521 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10657882 14315556864 1113899 18446744073709551615 4194304 4196468 140728907408272 139625248544720 139625773315995 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0

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

/proc/19521/task/19535/stat : 19535 (java) S 19518 19521 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10657882 14315556864 1224133 18446744073709551615 4194304 4196468 140728907408272 139625244334944 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19536] ppid=19518 vsize=13980036 CPUtime=0.06 cores=1,3,5,7
/proc/19521/task/19536/stat : 19536 (java) S 19518 19521 5228 0 -1 1077944384 69 0 0 0 3 3 0 0 20 0 15 0 10657887 14315556864 1224133 18446744073709551615 4194304 4196468 140728907408272 139625243281968 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
Current children cumulated CPU time (s) 116.69
Current children cumulated vsize (KiB) 13980036

[startup+162.301 s]
/proc/loadavg: 1.93 1.78 1.69 3/214 19543
/proc/meminfo: memFree=22022400/32770624 swapFree=0/198680
[pid=19521] ppid=19518 vsize=13980036 CPUtime=178.62 cores=1,3,5,7
/proc/19521/stat : 19521 (java) S 19518 19521 5228 0 -1 1077944320 101254 0 0 0 17461 401 0 0 20 0 15 0 10657868 14315556864 1290897 18446744073709551615 4194304 4196468 140728907408272 140728907390816 139625773297399 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
/proc/19521/statm: 3495009 1290897 3814 1 0 3483791 0
[pid=19521/tid=19523] ppid=19518 vsize=13980036 CPUtime=158.58 cores=1,3,5,7
/proc/19521/task/19523/stat : 19523 (java) R 19518 19521 5228 0 -1 4202560 39048 0 0 0 15819 39 0 0 20 0 15 0 10657877 14315556864 1290897 18446744073709551615 4194304 4196468 140728907408272 139625777527568 139625386575509 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19524] ppid=19518 vsize=13980036 CPUtime=3.29 cores=1,3,5,7
/proc/19521/task/19524/stat : 19524 (java) S 19518 19521 5228 0 -1 1077944384 7267 0 0 0 242 87 0 0 20 0 15 0 10657878 14315556864 1290897 18446744073709551615 4194304 4196468 140728907408272 139625707731984 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19525] ppid=19518 vsize=13980036 CPUtime=3.24 cores=1,3,5,7
/proc/19521/task/19525/stat : 19525 (java) S 19518 19521 5228 0 -1 1077944384 8142 0 0 0 236 88 0 0 20 0 15 0 10657878 14315556864 1290897 18446744073709551615 4194304 4196468 140728907408272 139625706679440 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19526] ppid=19518 vsize=13980036 CPUtime=3.28 cores=1,3,5,7
/proc/19521/task/19526/stat : 19526 (java) S 19518 19521 5228 0 -1 1077944384 8090 0 0 0 242 86 0 0 20 0 15 0 10657878 14315556864 1290897 18446744073709551615 4194304 4196468 140728907408272 139625705626384 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19527] ppid=19518 vsize=13980036 CPUtime=3.27 cores=1,3,5,7
/proc/19521/task/19527/stat : 19527 (java) S 19518 19521 5228 0 -1 1077944384 7421 0 0 0 240 87 0 0 20 0 15 0 10657878 14315556864 1290897 18446744073709551615 4194304 4196468 140728907408272 139625704573840 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19528] ppid=19518 vsize=13980036 CPUtime=0.24 cores=1,3,5,7
/proc/19521/task/19528/stat : 19528 (java) S 19518 19521 5228 0 -1 1077944384 8480 0 0 0 23 1 0 0 20 0 15 0 10657879 14315556864 1290897 18446744073709551615 4194304 4196468 140728907408272 139625251703024 139625773308546 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19529] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19529/stat : 19529 (java) S 19518 19521 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10657880 14315556864 1290897 18446744073709551615 4194304 4196468 140728907408272 139625250649312 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19530] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19530/stat : 19530 (java) S 19518 19521 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10657880 14315556864 1290897 18446744073709551615 4194304 4196468 140728907408272 139625249596160 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19531] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19531/stat : 19531 (java) S 19518 19521 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10657882 14315556864 1290897 18446744073709551615 4194304 4196468 140728907408272 139625248544720 139625773315995 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19532] ppid=19518 vsize=13980036 CPUtime=2.85 cores=1,3,5,7
/proc/19521/task/19532/stat : 19532 (java) S 19518 19521 5228 0 -1 1077944384 5848 0 0 0 284 1 0 0 20 0 15 0 10657882 14315556864 1290897 18446744073709551615 4194304 4196468 140728907408272 139625247492848 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19533] ppid=19518 vsize=13980036 CPUtime=2.85 cores=1,3,5,7
/proc/19521/task/19533/stat : 19533 (java) S 19518 19521 5228 0 -1 1077944384 6320 0 0 0 284 1 0 0 20 0 15 0 10657882 14315556864 1290897 18446744073709551615 4194304 4196468 140728907408272 139625246440304 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19534] ppid=19518 vsize=13980036 CPUtime=0.82 cores=1,3,5,7
/proc/19521/task/19534/stat : 19534 (java) S 19518 19521 5228 0 -1 1077944384 9173 0 0 0 80 2 0 0 20 0 15 0 10657882 14315556864 1290897 18446744073709551615 4194304 4196468 140728907408272 139625245387248 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19535] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19535/stat : 19535 (java) S 19518 19521 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10657882 14315556864 1290897 18446744073709551615 4194304 4196468 140728907408272 139625244334944 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19536] ppid=19518 vsize=13980036 CPUtime=0.09 cores=1,3,5,7
/proc/19521/task/19536/stat : 19536 (java) S 19518 19521 5228 0 -1 1077944384 98 0 0 0 3 6 0 0 20 0 15 0 10657887 14315556864 1290897 18446744073709551615 4194304 4196468 140728907408272 139625243281968 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
Current children cumulated CPU time (s) 178.62
Current children cumulated vsize (KiB) 13980036

[startup+222.307 s]
/proc/loadavg: 2.12 1.86 1.72 3/214 19628
/proc/meminfo: memFree=25867732/32770624 swapFree=0/198828
[pid=19521] ppid=19518 vsize=13980036 CPUtime=241.87 cores=1,3,5,7
/proc/19521/stat : 19521 (java) S 19518 19521 5228 0 -1 1077944320 120740 0 0 0 23781 406 0 0 20 0 15 0 10657868 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 140728907390816 139625773297399 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
/proc/19521/statm: 3495009 1291071 3814 1 0 3483791 0
[pid=19521/tid=19523] ppid=19518 vsize=13980036 CPUtime=217.52 cores=1,3,5,7
/proc/19521/task/19523/stat : 19523 (java) R 19518 19521 5228 0 -1 4202560 46111 0 0 0 21710 42 0 0 20 0 15 0 10657877 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625777527712 139625386575519 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19524] ppid=19518 vsize=13980036 CPUtime=4.36 cores=1,3,5,7
/proc/19521/task/19524/stat : 19524 (java) S 19518 19521 5228 0 -1 1077944384 10744 0 0 0 349 87 0 0 20 0 15 0 10657878 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625707731984 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19525] ppid=19518 vsize=13980036 CPUtime=4.31 cores=1,3,5,7
/proc/19521/task/19525/stat : 19525 (java) S 19518 19521 5228 0 -1 1077944384 9015 0 0 0 343 88 0 0 20 0 15 0 10657878 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625706679440 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19526] ppid=19518 vsize=13980036 CPUtime=4.34 cores=1,3,5,7
/proc/19521/task/19526/stat : 19526 (java) S 19518 19521 5228 0 -1 1077944384 9664 0 0 0 348 86 0 0 20 0 15 0 10657878 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625705626384 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19527] ppid=19518 vsize=13980036 CPUtime=4.33 cores=1,3,5,7
/proc/19521/task/19527/stat : 19527 (java) S 19518 19521 5228 0 -1 1077944384 11230 0 0 0 346 87 0 0 20 0 15 0 10657878 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625704573840 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19528] ppid=19518 vsize=13980036 CPUtime=0.24 cores=1,3,5,7
/proc/19521/task/19528/stat : 19528 (java) S 19518 19521 5228 0 -1 1077944384 8686 0 0 0 23 1 0 0 20 0 15 0 10657879 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625251703024 139625773308546 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19529] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19529/stat : 19529 (java) S 19518 19521 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10657880 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625250649312 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19530] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19530/stat : 19530 (java) S 19518 19521 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10657880 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625249596160 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19531] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19531/stat : 19531 (java) S 19518 19521 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10657882 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625248544720 139625773315995 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19532] ppid=19518 vsize=13980036 CPUtime=2.85 cores=1,3,5,7
/proc/19521/task/19532/stat : 19532 (java) S 19518 19521 5228 0 -1 1077944384 5851 0 0 0 284 1 0 0 20 0 15 0 10657882 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625247492848 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19533] ppid=19518 vsize=13980036 CPUtime=2.85 cores=1,3,5,7
/proc/19521/task/19533/stat : 19533 (java) S 19518 19521 5228 0 -1 1077944384 6328 0 0 0 284 1 0 0 20 0 15 0 10657882 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625246440304 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19534] ppid=19518 vsize=13980036 CPUtime=0.83 cores=1,3,5,7
/proc/19521/task/19534/stat : 19534 (java) S 19518 19521 5228 0 -1 1077944384 11620 0 0 0 81 2 0 0 20 0 15 0 10657882 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625245387248 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19535] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19535/stat : 19535 (java) S 19518 19521 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10657882 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625244334944 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19536] ppid=19518 vsize=13980036 CPUtime=0.13 cores=1,3,5,7
/proc/19521/task/19536/stat : 19536 (java) S 19518 19521 5228 0 -1 1077944384 124 0 0 0 5 8 0 0 20 0 15 0 10657887 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625243281968 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
Current children cumulated CPU time (s) 241.87
Current children cumulated vsize (KiB) 13980036



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.002 s]
/proc/loadavg: 2.02 1.86 1.72 3/214 19628
/proc/meminfo: memFree=25253816/32770624 swapFree=0/198864
[pid=19521] ppid=19518 vsize=13980036 CPUtime=260.49 cores=1,3,5,7
/proc/19521/stat : 19521 (java) S 19518 19521 5228 0 -1 1077944320 131673 0 0 0 25641 408 0 0 20 0 15 0 10657868 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 140728907390816 139625773297399 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
/proc/19521/statm: 3495009 1291071 3814 1 0 3483791 0
[pid=19521/tid=19523] ppid=19518 vsize=13980036 CPUtime=234.9 cores=1,3,5,7
/proc/19521/task/19523/stat : 19523 (java) S 19518 19521 5228 0 -1 1077944384 48035 0 0 0 23448 42 0 0 20 0 15 0 10657877 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625777536144 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19524] ppid=19518 vsize=13980036 CPUtime=4.66 cores=1,3,5,7
/proc/19521/task/19524/stat : 19524 (java) R 19518 19521 5228 0 -1 4202560 11332 0 0 0 379 87 0 0 20 0 15 0 10657878 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625707731984 139625758325449 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19525] ppid=19518 vsize=13980036 CPUtime=4.61 cores=1,3,5,7
/proc/19521/task/19525/stat : 19525 (java) R 19518 19521 5228 0 -1 4202560 13053 0 0 0 373 88 0 0 20 0 15 0 10657878 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625706679440 139625754923483 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19526] ppid=19518 vsize=13980036 CPUtime=4.65 cores=1,3,5,7
/proc/19521/task/19526/stat : 19526 (java) R 19518 19521 5228 0 -1 4202560 13421 0 0 0 378 87 0 0 20 0 15 0 10657878 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625705626584 139625758325459 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19527] ppid=19518 vsize=13980036 CPUtime=4.64 cores=1,3,5,7
/proc/19521/task/19527/stat : 19527 (java) R 19518 19521 5228 0 -1 4202560 11743 0 0 0 377 87 0 0 20 0 15 0 10657878 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625704574040 139625758319520 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19528] ppid=19518 vsize=13980036 CPUtime=0.25 cores=1,3,5,7
/proc/19521/task/19528/stat : 19528 (java) S 19518 19521 5228 0 -1 1077944384 8763 0 0 0 24 1 0 0 20 0 15 0 10657879 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625251701536 139625773307605 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19529] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19529/stat : 19529 (java) S 19518 19521 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10657880 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625250649312 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19530] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19530/stat : 19530 (java) S 19518 19521 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10657880 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625249596160 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19531] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19531/stat : 19531 (java) S 19518 19521 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10657882 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625248544720 139625773315995 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19532] ppid=19518 vsize=13980036 CPUtime=2.85 cores=1,3,5,7
/proc/19521/task/19532/stat : 19532 (java) S 19518 19521 5228 0 -1 1077944384 5854 0 0 0 284 1 0 0 20 0 15 0 10657882 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625247492848 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19533] ppid=19518 vsize=13980036 CPUtime=2.85 cores=1,3,5,7
/proc/19521/task/19533/stat : 19533 (java) S 19518 19521 5228 0 -1 1077944384 6336 0 0 0 284 1 0 0 20 0 15 0 10657882 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625246440304 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19534] ppid=19518 vsize=13980036 CPUtime=0.83 cores=1,3,5,7
/proc/19521/task/19534/stat : 19534 (java) S 19518 19521 5228 0 -1 1077944384 11623 0 0 0 81 2 0 0 20 0 15 0 10657882 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625245387248 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19535] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19535/stat : 19535 (java) S 19518 19521 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10657882 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625244334944 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19536] ppid=19518 vsize=13980036 CPUtime=0.14 cores=1,3,5,7
/proc/19521/task/19536/stat : 19536 (java) S 19518 19521 5228 0 -1 1077944384 146 0 0 0 6 8 0 0 20 0 15 0 10657887 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625243281968 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
Current children cumulated CPU time (s) 260.49
Current children cumulated vsize (KiB) 13980036

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19521 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+240.202 s]
/proc/loadavg: 2.02 1.86 1.72 3/214 19628
/proc/meminfo: memFree=25253816/32770624 swapFree=0/198864
[pid=19521] ppid=19518 vsize=13980036 CPUtime=261.29 cores=1,3,5,7
/proc/19521/stat : 19521 (java) S 19518 19521 5228 0 -1 1077944320 132349 0 0 0 25721 408 0 0 20 0 15 0 10657868 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 140728907390816 139625773297399 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
/proc/19521/statm: 3495009 1291071 3814 1 0 3483791 0
[pid=19521/tid=19523] ppid=19518 vsize=13980036 CPUtime=234.9 cores=1,3,5,7
/proc/19521/task/19523/stat : 19523 (java) S 19518 19521 5228 0 -1 1077944384 48035 0 0 0 23448 42 0 0 20 0 15 0 10657877 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625777536144 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19524] ppid=19518 vsize=13980036 CPUtime=4.86 cores=1,3,5,7
/proc/19521/task/19524/stat : 19524 (java) R 19518 19521 5228 0 -1 4202560 11547 0 0 0 399 87 0 0 20 0 15 0 10657878 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625707731984 139625758319520 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19525] ppid=19518 vsize=13980036 CPUtime=4.81 cores=1,3,5,7
/proc/19521/task/19525/stat : 19525 (java) R 19518 19521 5228 0 -1 4202560 13263 0 0 0 393 88 0 0 20 0 15 0 10657878 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625706679560 139625758319520 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19526] ppid=19518 vsize=13980036 CPUtime=4.85 cores=1,3,5,7
/proc/19521/task/19526/stat : 19526 (java) R 19518 19521 5228 0 -1 4202560 13459 0 0 0 398 87 0 0 20 0 15 0 10657878 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625705626584 139625758319494 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19527] ppid=19518 vsize=13980036 CPUtime=4.84 cores=1,3,5,7
/proc/19521/task/19527/stat : 19527 (java) R 19518 19521 5228 0 -1 4202560 11949 0 0 0 397 87 0 0 20 0 15 0 10657878 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625704574040 139625758318971 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19528] ppid=19518 vsize=13980036 CPUtime=0.25 cores=1,3,5,7
/proc/19521/task/19528/stat : 19528 (java) S 19518 19521 5228 0 -1 1077944384 8763 0 0 0 24 1 0 0 20 0 15 0 10657879 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625251701536 139625773307605 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19529] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19529/stat : 19529 (java) S 19518 19521 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10657880 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625250649312 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19530] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19530/stat : 19530 (java) S 19518 19521 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10657880 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625249596160 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19531] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19531/stat : 19531 (java) S 19518 19521 5228 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 10657882 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625248544368 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19532] ppid=19518 vsize=13980036 CPUtime=2.85 cores=1,3,5,7
/proc/19521/task/19532/stat : 19532 (java) S 19518 19521 5228 0 -1 1077944384 5854 0 0 0 284 1 0 0 20 0 15 0 10657882 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625247492848 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19533] ppid=19518 vsize=13980036 CPUtime=2.85 cores=1,3,5,7
/proc/19521/task/19533/stat : 19533 (java) S 19518 19521 5228 0 -1 1077944384 6336 0 0 0 284 1 0 0 20 0 15 0 10657882 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625246440304 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19534] ppid=19518 vsize=13980036 CPUtime=0.83 cores=1,3,5,7
/proc/19521/task/19534/stat : 19534 (java) S 19518 19521 5228 0 -1 1077944384 11623 0 0 0 81 2 0 0 20 0 15 0 10657882 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625245387248 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19535] ppid=19518 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/19521/task/19535/stat : 19535 (java) S 19518 19521 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10657882 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625244334944 139625773307605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
[pid=19521/tid=19536] ppid=19518 vsize=13980036 CPUtime=0.14 cores=1,3,5,7
/proc/19521/task/19536/stat : 19536 (java) S 19518 19521 5228 0 -1 1077944384 146 0 0 0 6 8 0 0 20 0 15 0 10657887 14315556864 1291071 18446744073709551615 4194304 4196468 140728907408272 139625243281968 139625773308546 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30773248 140728907415954 140728907416139 140728907416139 140728907419599 0
Current children cumulated CPU time (s) 261.29
Current children cumulated vsize (KiB) 13980036

Child status: 143
Real time (s): 240.251
CPU time (s): 261.401
CPU user time (s): 257.294
CPU system time (s): 4.10655
CPU usage (%): 108.803
Max. virtual memory (cumulated for all children) (KiB): 13980036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 257.294
system time used= 4.10655
maximum resident set size= 5164844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134070
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8774
involuntary context switches= 571

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.06958 second user time and 1.62805 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-02 00:46:19
IDJOB=4256036
IDBENCH=120574
IDSOLVER=2639
FILE ID=node133/4256036-1501628425
RUNJOBID= node133-1501622945-15686
PBS_JOBID= 
Free space on /tmp= 61820 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-3-fullins-5.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4256036-1501628425/watcher-4256036-1501628425 -o /tmp/evaluation-result-4256036-1501628425/solver-4256036-1501628425 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15686 --watchdog 300  java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 222439008 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256036-1501628425.xml

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

MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76
RANDOM SEED=222439008

node133.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.17
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.17
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.17
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.17
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:        28877180 kB
MemAvailable:   29074712 kB
Buffers:          100680 kB
Cached:           379412 kB
SwapCached:            0 kB
Active:          3276708 kB
Inactive:         206968 kB
Active(anon):    3004212 kB
Inactive(anon):     8536 kB
Active(file):     272496 kB
Inactive(file):   198432 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             43768 kB
Writeback:             4 kB
AnonPages:       2938380 kB
Mapped:            44480 kB
Shmem:              8892 kB
Slab:             110428 kB
SReclaimable:      84876 kB
SUnreclaim:        25552 kB
KernelStack:        3536 kB
PageTables:        10116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4908148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2809856 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61780 MiB
End job on node133 at 2017-08-02 00:50:19