Trace number 4308389

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 - Hybrid 2018-08-14SAT (TO)1093 2520.09 2370.94

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.67/0.54	c version: 2018-08-14
0.67/0.55	c seed: 1238207639
0.67/0.55	c timeout: 2520
0.67/0.55	c memlimit: 11000
0.67/0.55	c nbcore: 4
0.67/0.57	c Parsing instance...
17.93/8.73	c Parsing done, starting first complete search...
19.05/9.37	o 2029
20.18/10.00	o 2028
21.02/10.62	o 2027
24.44/11.93	o 2026
25.06/12.51	o 2025
25.61/13.08	o 2024
26.20/13.68	o 2023
26.84/14.24	o 2022
27.44/14.81	o 2021
27.94/15.39	o 2020
28.54/15.97	o 2019
29.14/16.52	o 2018
29.65/17.09	o 2017
30.24/17.66	o 2016
30.86/18.22	o 2015
31.37/18.79	o 2014
31.97/19.38	o 2013
32.58/19.94	o 2012
33.19/20.51	o 2011
33.69/21.07	o 2010
34.28/21.62	o 2009
34.88/22.20	o 2008
35.41/22.78	o 2007
36.08/23.32	o 2006
36.58/23.87	o 2005
37.76/24.61	o 2004
38.31/25.19	o 2003
38.90/25.77	o 2002
39.55/26.33	o 2001
40.15/26.90	o 2000
40.65/27.46	o 1999
41.26/28.02	o 1998
41.75/28.57	o 1997
42.36/29.16	o 1996
42.95/29.71	o 1995
43.45/30.26	o 1994
44.06/30.80	o 1993
44.55/31.34	o 1992
45.06/31.87	o 1991
45.67/32.43	o 1990
46.17/32.99	o 1989
46.77/33.54	o 1988
47.28/34.09	o 1987
47.87/34.66	o 1986
48.47/35.21	o 1985
48.98/35.75	o 1984
49.48/36.28	o 1983
50.08/36.83	o 1982
50.58/37.38	o 1981
51.17/37.96	o 1980
51.68/38.49	o 1979
52.60/39.15	o 1978
53.19/39.70	o 1977
53.74/40.26	o 1976
54.35/40.84	o 1975
54.85/41.38	o 1974
55.45/41.94	o 1973
55.95/42.48	o 1972
56.56/43.02	o 1971
57.05/43.56	o 1970
57.66/44.12	o 1969
58.15/44.68	o 1968
58.75/45.25	o 1967
59.36/45.81	o 1966
59.86/46.36	o 1965
60.36/46.89	o 1964
60.96/47.42	o 1963
61.57/48.01	o 1962
62.06/48.56	o 1961
62.57/49.10	o 1960
63.16/49.68	o 1959
63.75/50.26	o 1958
64.35/50.80	o 1957
64.86/51.36	o 1956
65.46/51.91	o 1955
65.96/52.47	o 1954
66.71/53.06	o 1953
67.30/53.62	o 1952
67.81/54.15	o 1951
68.30/54.69	o 1950
68.91/55.25	o 1949
69.51/55.80	o 1948
70.01/56.37	o 1947
70.61/56.91	o 1946
71.11/57.44	o 1945
71.61/57.97	o 1944
72.21/58.50	o 1943
72.72/59.04	o 1942
73.21/59.59	o 1941
73.82/60.15	o 1940
74.31/60.66	o 1939
74.91/61.21	o 1938
75.51/61.80	o 1937
76.01/62.39	o 1936
76.61/62.97	o 1935
77.21/63.53	o 1934
77.72/64.08	o 1933
78.31/64.64	o 1932
78.82/65.19	o 1931
79.41/65.74	o 1930
79.91/66.27	o 1929
80.51/66.82	o 1928
81.29/67.42	o 1927
81.80/67.97	o 1926
82.40/68.51	o 1925
82.91/69.05	o 1924
83.49/69.60	o 1923
84.00/70.12	o 1922
84.50/70.66	o 1921
85.01/71.19	o 1920
85.61/71.75	o 1919
86.11/72.29	o 1918
86.71/72.86	o 1917
87.31/73.41	o 1916
87.81/73.97	o 1915
88.41/74.50	o 1914
88.92/75.04	o 1913
89.41/75.59	o 1912
90.02/76.13	o 1911
90.51/76.67	o 1910
91.11/77.23	o 1909
91.62/77.78	o 1908
92.22/78.31	o 1907
92.72/78.85	o 1906
93.22/79.39	o 1905
93.82/79.96	o 1904
94.42/80.50	o 1903
94.93/81.06	o 1902
95.74/81.67	o 1901
96.34/82.20	o 1900
96.84/82.72	o 1899
97.34/83.27	o 1898
97.94/83.84	o 1897
98.44/84.37	o 1896
99.04/84.93	o 1895
99.54/85.46	o 1894
100.05/85.98	o 1893
100.65/86.52	o 1892
101.16/87.05	o 1891
101.75/87.60	o 1890
102.26/88.15	o 1889
102.75/88.68	o 1888
103.35/89.21	o 1887
103.85/89.73	o 1886
104.35/90.28	o 1885
104.95/90.81	o 1884
105.45/91.36	o 1883
105.95/91.88	o 1882
106.55/92.41	o 1881
107.05/92.93	o 1880
107.55/93.46	o 1879
108.16/94.02	o 1878
108.65/94.55	o 1877
109.16/95.07	o 1876
110.15/95.71	o 1875
110.65/96.25	o 1874
111.15/96.78	o 1873
111.75/97.32	o 1872
112.25/97.84	o 1871
112.75/98.37	o 1870
113.26/98.90	o 1869
113.86/99.45	o 1868
114.36/99.97	o 1867
114.96/100.50	o 1866
115.47/101.01	o 1865
115.96/101.53	o 1864
116.47/102.10	o 1863
117.06/102.60	o 1862
117.57/103.11	o 1861
118.06/103.66	o 1860
118.57/104.18	o 1859
119.06/104.69	o 1858
119.66/105.22	o 1857
120.16/105.74	o 1856
120.66/106.25	o 1855
121.15/106.78	o 1854
121.76/107.32	o 1853
122.26/107.84	o 1852
122.76/108.37	o 1851
123.26/108.88	o 1850
124.29/109.50	o 1849
124.80/110.07	o 1848
125.39/110.62	o 1847
125.90/111.17	o 1846
126.39/111.69	o 1845
126.99/112.21	o 1844
127.49/112.73	o 1843
127.99/113.25	o 1842
128.49/113.77	o 1841
129.09/114.31	o 1840
129.59/114.84	o 1839
130.09/115.37	o 1838
130.60/115.88	o 1837
131.10/116.38	o 1836
131.60/116.88	o 1835
132.21/117.41	o 1834
132.71/117.94	o 1833
133.21/118.45	o 1832
133.71/118.97	o 1831
134.31/119.50	o 1830
134.82/120.06	o 1829
135.31/120.57	o 1828
135.82/121.10	o 1827
136.41/121.65	o 1826
136.92/122.18	o 1825
137.51/122.75	o 1824
138.01/123.27	o 1823
139.08/123.94	o 1822
139.58/124.45	o 1821
140.08/124.97	o 1820
140.58/125.48	o 1819
141.08/125.99	o 1818
141.68/126.51	o 1817
142.19/127.06	o 1816
142.68/127.57	o 1815
143.19/128.10	o 1814
143.78/128.61	o 1813
144.29/129.12	o 1812
144.78/129.69	o 1811
145.38/130.22	o 1810
145.88/130.75	o 1809
146.38/131.27	o 1808
146.98/131.81	o 1807
147.48/132.34	o 1806
147.97/132.86	o 1805
148.48/133.38	o 1804
149.08/133.90	o 1803
149.58/134.41	o 1802
150.09/134.93	o 1801
150.59/135.44	o 1800
151.09/135.96	o 1799
151.59/136.48	o 1798
152.09/137.00	o 1797
152.69/137.54	o 1796
153.85/138.21	o 1795
154.35/138.71	o 1794
154.85/139.20	o 1793
155.35/139.72	o 1792
155.85/140.21	o 1791
156.35/140.73	o 1790
156.86/141.25	o 1789
157.36/141.77	o 1788
157.86/142.29	o 1787
158.46/142.80	o 1786
158.96/143.32	o 1785
159.46/143.81	o 1784
159.96/144.31	o 1783
160.46/144.83	o 1782
160.96/145.34	o 1781
161.47/145.84	o 1780
161.97/146.35	o 1779
162.47/146.88	o 1778
162.97/147.39	o 1777
163.57/147.91	o 1776
164.07/148.43	o 1775
164.57/148.95	o 1774
165.08/149.47	o 1773
165.58/149.98	o 1772
166.08/150.49	o 1771
166.58/151.00	o 1770
167.18/151.51	o 1769
167.69/152.02	o 1768
168.73/152.69	o 1767
169.33/153.20	o 1766
169.83/153.72	o 1765
170.33/154.23	o 1764
170.83/154.73	o 1763
171.33/155.24	o 1762
171.83/155.74	o 1761
172.43/156.30	o 1760
172.93/156.80	o 1759
173.43/157.32	o 1758
173.93/157.84	o 1757
174.43/158.36	o 1756
174.93/158.86	o 1755
175.53/159.41	o 1754
176.04/159.95	o 1753
176.54/160.47	o 1752
177.15/161.01	o 1751
177.64/161.52	o 1750
178.14/162.06	o 1749
178.64/162.57	o 1748
179.14/163.07	o 1747
179.63/163.58	o 1746
180.14/164.09	o 1745
180.64/164.58	o 1744
181.15/165.09	o 1743
181.74/165.61	o 1742
182.25/166.12	o 1741
183.59/166.83	o 1740
184.09/167.33	o 1739
184.59/167.85	o 1738
185.09/168.36	o 1737
185.59/168.86	o 1736
186.09/169.36	o 1735
186.59/169.86	o 1734
187.09/170.36	o 1733
187.59/170.89	o 1732
188.09/171.40	o 1731
188.69/171.90	o 1730
189.09/172.39	o 1729
189.59/172.88	o 1728
190.10/173.39	o 1727
190.60/173.90	o 1726
191.20/174.40	o 1725
191.60/174.89	o 1724
192.20/175.41	o 1723
192.70/175.93	o 1722
193.20/176.44	o 1721
193.70/176.94	o 1720
194.20/177.43	o 1719
194.70/177.96	o 1718
195.20/178.46	o 1717
195.70/178.96	o 1716
196.20/179.47	o 1715
197.34/180.18	o 1714
198.00/180.67	o 1713
198.51/181.16	o 1712
199.00/181.64	o 1711
199.51/182.12	o 1710
200.01/182.63	o 1709
200.51/183.13	o 1708
201.01/183.65	o 1707
201.51/184.14	o 1706
202.00/184.65	o 1705
202.51/185.16	o 1704
203.00/185.67	o 1703
203.52/186.18	o 1702
204.11/186.70	o 1701
204.61/187.20	o 1700
205.11/187.73	o 1699
205.61/188.23	o 1698
206.11/188.72	o 1697
206.61/189.26	o 1696
207.11/189.77	o 1695
207.61/190.29	o 1694
208.11/190.78	o 1693
208.61/191.29	o 1692
209.11/191.77	o 1691
209.62/192.29	o 1690
210.11/192.78	o 1689
210.61/193.27	o 1688
211.97/193.99	o 1687
212.47/194.49	o 1686
212.97/194.98	o 1685
213.57/195.51	o 1684
214.08/196.03	o 1683
214.57/196.54	o 1682
215.08/197.04	o 1681
215.57/197.54	o 1680
216.08/198.05	o 1679
216.57/198.54	o 1678
217.08/199.05	o 1677
217.57/199.55	o 1676
218.09/200.04	o 1675
218.58/200.55	o 1674
219.09/201.05	o 1673
219.58/201.54	o 1672
220.09/202.02	o 1671
220.58/202.50	o 1670
221.09/203.01	o 1669
221.48/203.49	o 1668
222.09/204.01	o 1667
222.58/204.54	o 1666
223.09/205.03	o 1665
223.58/205.52	o 1664
224.08/206.01	o 1663
225.46/206.73	o 1662
225.96/207.22	o 1661
226.46/207.72	o 1660
226.96/208.22	o 1659
227.46/208.75	o 1658
227.96/209.27	o 1657
228.46/209.78	o 1656
228.96/210.29	o 1655
229.46/210.78	o 1654
229.97/211.29	o 1653
230.47/211.79	o 1652
230.97/212.28	o 1651
231.47/212.79	o 1650
231.97/213.29	o 1649
232.47/213.77	o 1648
232.97/214.29	o 1647
233.58/214.80	o 1646
233.98/215.28	o 1645
234.48/215.78	o 1644
234.98/216.26	o 1643
235.48/216.75	o 1642
235.98/217.24	o 1641
236.48/217.72	o 1640
236.98/218.22	o 1639
237.48/218.72	o 1638
238.90/219.46	o 1637
239.40/219.95	o 1636
239.90/220.44	o 1635
240.41/220.93	o 1634
240.91/221.42	o 1633
241.41/221.90	o 1632
241.81/222.39	o 1631
242.31/222.89	o 1630
242.81/223.38	o 1629
243.31/223.86	o 1628
243.81/224.35	o 1627
244.31/224.82	o 1626
244.81/225.33	o 1625
245.31/225.81	o 1624
245.81/226.30	o 1623
246.31/226.80	o 1622
246.81/227.31	o 1621
247.31/227.81	o 1620
247.81/228.31	o 1619
248.31/228.84	o 1618
248.81/229.31	o 1617
249.21/229.78	o 1616
249.71/230.30	o 1615
250.21/230.77	o 1614
251.76/231.51	o 1613
252.16/231.99	o 1612
252.66/232.46	o 1611
253.16/232.97	o 1610
253.66/233.46	o 1609
254.16/233.95	o 1608
254.66/234.45	o 1607
255.16/234.93	o 1606
255.66/235.44	o 1605
256.17/235.93	o 1604
256.67/236.42	o 1603
257.17/236.90	o 1602
257.57/237.37	o 1601
258.07/237.85	o 1600
258.57/238.33	o 1599
259.07/238.80	o 1598
259.47/239.28	o 1597
259.97/239.77	o 1596
260.47/240.25	o 1595
260.97/240.73	o 1594
261.47/241.22	o 1593
261.97/241.72	o 1592
262.47/242.23	o 1591
262.97/242.72	o 1590
264.48/243.49	o 1589
264.98/243.97	o 1588
265.48/244.46	o 1587
265.98/244.94	o 1586
266.48/245.43	o 1585
266.88/245.89	o 1584
267.39/246.39	o 1583
267.89/246.86	o 1582
268.39/247.36	o 1581
268.89/247.83	o 1580
269.29/248.29	o 1579
269.79/248.77	o 1578
270.29/249.26	o 1577
270.79/249.75	o 1576
271.29/250.24	o 1575
271.79/250.73	o 1574
272.29/251.21	o 1573
272.79/251.71	o 1572
273.20/252.19	o 1571
273.69/252.66	o 1570
274.20/253.14	o 1569
274.69/253.62	o 1568
275.10/254.10	o 1567
276.71/254.85	o 1566
277.21/255.33	o 1565
277.71/255.81	o 1564
278.11/256.27	o 1563
278.61/256.74	o 1562
279.11/257.27	o 1561
279.61/257.74	o 1560
280.11/258.21	o 1559
280.51/258.69	o 1558
281.02/259.18	o 1557
282.95/260.38	c First complete search done, starting ALNS search...
284.12/261.14	o 1556
284.56/261.55	o 1555
284.97/261.94	o 1554
287.15/263.47	o 1553
289.74/265.66	o 1552
291.32/267.10	o 1551
292.95/268.69	o 1550
295.77/270.57	o 1549
301.85/276.39	o 1548
310.76/285.24	o 1547
320.58/295.07	o 1546
321.20/295.64	o 1545
322.01/296.43	o 1544
323.02/297.40	o 1543
323.92/298.38	o 1542
326.72/300.05	o 1541
327.80/301.05	o 1540
329.19/302.40	o 1539
330.00/303.22	o 1538
330.60/303.86	o 1537
331.40/304.68	o 1536
332.00/305.24	o 1535
332.51/305.77	o 1534
333.52/306.79	o 1533
336.99/309.21	o 1532
339.49/311.77	o 1531
341.39/313.63	o 1530
353.37/319.47	o 1529
355.47/321.58	o 1528
357.02/323.05	o 1527
360.91/326.93	o 1526
367.36/331.51	o 1525
370.07/334.20	o 1524
370.58/334.76	o 1523
371.79/335.98	o 1522
377.02/339.50	o 1521
383.43/345.92	o 1520
390.33/352.86	o 1519
397.01/358.09	o 1518
398.20/359.29	o 1517
399.60/360.67	o 1516
401.63/362.68	o 1515
407.83/368.88	o 1514
414.30/373.91	o 1513
416.69/376.37	o 1512
418.80/378.44	o 1511
421.00/380.61	o 1510
422.21/381.83	o 1509
426.95/385.45	o 1508
430.16/388.69	o 1507
433.61/391.10	o 1506
434.90/392.34	o 1505
435.71/393.19	o 1504
438.11/395.50	o 1503
454.63/412.04	o 1502
458.36/414.81	o 1501
458.97/415.42	o 1500
461.87/418.37	o 1499
466.26/421.96	o 1498
466.86/422.57	o 1497
469.38/425.10	o 1496
481.28/436.92	o 1495
483.39/439.09	o 1494
485.49/441.13	o 1493
488.42/443.34	o 1492
490.14/445.01	o 1491
491.64/446.51	o 1490
492.25/447.11	o 1489
492.84/447.72	o 1488
495.75/450.61	o 1487
496.35/451.25	o 1486
500.98/455.23	o 1485
505.09/459.36	o 1484
511.30/465.03	o 1483
517.49/470.70	o 1482
520.41/473.62	o 1481
526.42/479.26	o 1480
532.53/484.90	o 1479
535.33/487.77	o 1478
536.24/488.60	o 1477
536.84/489.25	o 1476
541.55/493.58	o 1475
546.07/498.10	o 1474
550.17/502.14	o 1473
556.92/508.40	o 1472
564.13/515.68	o 1471
568.64/519.71	o 1470
573.14/524.25	o 1469
573.86/524.90	o 1468
575.98/527.09	o 1467
577.67/528.71	o 1466
593.71/544.23	o 1465
598.76/548.81	o 1464
601.66/551.72	o 1463
603.07/553.18	o 1462
604.26/554.38	o 1461
605.37/555.48	o 1460
609.88/559.95	o 1459
610.68/560.78	o 1458
611.38/561.47	o 1457
620.45/569.95	o 1456
629.44/578.42	o 1455
633.85/582.39	o 1454
642.84/590.89	o 1453
651.85/599.39	o 1452
656.85/604.32	o 1451
660.41/607.35	o 1450
662.62/609.56	o 1449
665.13/612.08	o 1448
667.03/613.98	o 1447
667.95/614.81	o 1446
669.05/615.92	o 1445
672.52/618.86	o 1444
675.33/621.64	o 1443
676.53/622.89	o 1442
677.23/623.60	o 1441
679.13/625.48	o 1440
680.15/626.44	o 1439
681.25/627.51	o 1438
683.95/630.24	o 1437
684.65/630.98	o 1436
686.22/631.90	o 1435
689.03/634.70	o 1434
699.15/644.33	o 1433
709.28/653.97	o 1432
711.09/655.72	o 1431
719.94/664.02	o 1430
737.43/675.51	o 1429
738.63/676.71	o 1428
741.45/679.56	o 1427
746.96/684.25	o 1426
755.87/693.16	o 1425
771.49/708.22	o 1424
772.20/709.00	o 1423
782.40/718.62	o 1422
792.49/728.24	o 1421
794.10/729.87	o 1420
796.90/732.66	o 1419
797.60/733.39	o 1418
798.97/734.28	o 1417
799.88/735.17	o 1416
802.78/738.05	o 1415
806.18/741.45	o 1414
809.28/744.59	o 1413
810.08/745.36	o 1412
818.27/752.90	o 1411
826.69/760.75	o 1410
827.69/761.75	o 1409
828.49/762.51	o 1408
830.10/764.11	o 1407
831.10/765.12	o 1406
832.10/766.13	o 1405
832.90/766.91	o 1404
841.77/775.21	o 1403
851.64/784.53	o 1402
852.52/785.34	o 1401
856.93/789.75	o 1400
858.63/791.47	o 1399
859.34/792.18	o 1398
861.05/793.21	o 1397
862.06/794.24	o 1396
865.66/797.83	o 1395
869.76/801.96	o 1394
873.57/805.75	o 1393
875.78/807.96	o 1392
895.90/827.48	o 1391
896.70/828.30	o 1390
906.45/837.40	o 1389
916.10/846.52	o 1388
919.62/849.58	o 1387
921.03/850.90	o 1386
921.83/851.70	o 1385
923.24/853.14	o 1384
927.03/856.91	o 1383
929.43/859.37	o 1382
934.07/863.30	o 1381
937.57/866.86	o 1380
938.68/867.99	o 1379
939.48/868.76	o 1378
940.68/869.91	o 1377
941.90/871.16	o 1376
942.90/872.19	o 1375
944.00/873.21	o 1374
944.81/874.07	o 1373
945.70/874.97	o 1372
947.93/876.51	o 1371
949.94/878.55	o 1370
950.84/879.48	o 1369
969.21/897.29	o 1368
972.81/900.32	o 1367
973.62/901.16	o 1366
974.52/902.05	o 1365
985.83/912.84	o 1364
996.46/922.96	o 1363
997.46/923.91	o 1362
1001.76/928.24	o 1361
1004.27/930.27	o 1360
1005.18/931.12	o 1359
1009.67/935.64	o 1358
1015.18/940.60	o 1357
1016.08/941.53	o 1356
1016.98/942.42	o 1355
1018.28/943.72	o 1354
1019.18/944.61	o 1353
1024.08/949.55	o 1352
1025.39/950.84	o 1351
1027.12/952.02	o 1350
1028.31/953.28	o 1349
1029.71/954.68	o 1348
1051.25/975.13	o 1347
1052.25/976.13	o 1346
1053.84/977.70	o 1345
1055.04/978.91	o 1344
1056.04/979.90	o 1343
1057.04/980.91	o 1342
1058.04/981.93	o 1341
1059.44/983.34	o 1340
1060.44/984.32	o 1339
1063.59/986.97	o 1338
1065.00/988.34	o 1337
1083.43/1006.27	o 1336
1087.61/1009.98	o 1335
1089.41/1011.75	o 1334
1090.43/1012.77	o 1333
1093.53/1015.86	o 1332
1102.72/1024.45	o 1331
1109.02/1030.75	o 1330
1111.12/1032.88	o 1329
1118.51/1039.66	o 1328
1120.71/1041.84	o 1327
1128.18/1048.76	o 1326
1129.28/1049.84	o 1325
1130.38/1050.94	o 1324
1139.88/1059.85	o 1323
1140.98/1060.92	o 1322
1147.39/1067.36	o 1321
1149.20/1068.63	o 1320
1150.30/1069.79	o 1319
1174.14/1092.64	o 1318
1181.03/1099.04	o 1317
1198.73/1116.28	o 1316
1204.21/1121.29	o 1315
1208.21/1125.23	o 1314
1212.41/1129.44	o 1313
1213.71/1130.79	o 1312
1215.91/1132.95	o 1311
1217.42/1134.43	o 1310
1239.32/1155.20	o 1309
1241.03/1156.49	o 1308
1242.64/1158.02	o 1307
1264.21/1178.58	o 1306
1286.37/1199.65	o 1305
1287.68/1201.00	o 1304
1289.89/1203.14	o 1303
1290.98/1204.27	o 1302
1310.35/1222.52	o 1301
1314.36/1226.58	o 1300
1320.46/1232.03	o 1299
1337.74/1248.76	o 1298
1339.05/1250.09	o 1297
1340.78/1251.78	o 1296
1341.88/1252.81	o 1295
1362.90/1272.75	o 1294
1364.61/1274.43	o 1293
1370.48/1279.58	o 1292
1377.10/1286.19	o 1291
1378.49/1287.54	o 1290
1381.29/1290.35	o 1289
1384.61/1293.05	o 1288
1391.72/1300.14	o 1287
1393.01/1301.44	o 1286
1394.99/1302.80	o 1285
1402.70/1310.58	o 1284
1410.36/1317.69	o 1283
1412.56/1319.81	o 1282
1413.77/1321.03	o 1281
1439.88/1345.35	o 1280
1441.51/1347.00	o 1279
1444.43/1349.82	o 1278
1445.93/1351.31	o 1277
1447.04/1352.49	o 1276
1455.69/1360.49	o 1275
1456.79/1361.59	o 1274
1458.10/1362.80	o 1273
1459.30/1364.07	o 1272
1460.50/1365.28	o 1271
1463.41/1368.18	o 1270
1464.50/1369.26	o 1269
1465.70/1370.47	o 1268
1468.25/1372.38	o 1267
1470.96/1375.01	o 1266
1480.00/1383.43	o 1265
1481.80/1385.23	o 1264
1483.00/1386.44	o 1263
1505.56/1407.77	o 1262
1514.59/1416.13	o 1261
1523.45/1424.49	o 1260
1526.76/1427.72	o 1259
1551.86/1446.76	o 1258
1574.74/1469.42	o 1257
1575.95/1470.60	o 1256
1601.30/1495.14	o 1255
1602.39/1496.23	o 1254
1604.30/1498.18	o 1253
1605.89/1499.77	o 1252
1607.10/1500.97	o 1251
1610.28/1503.67	o 1250
1612.08/1505.48	o 1249
1614.38/1507.70	o 1248
1615.58/1508.93	o 1247
1618.28/1511.69	o 1246
1619.58/1512.91	o 1245
1621.08/1514.44	o 1244
1623.79/1516.67	o 1243
1625.30/1518.19	o 1242
1626.89/1519.71	o 1241
1628.89/1521.70	o 1240
1650.23/1542.15	o 1239
1651.53/1543.47	o 1238
1655.43/1547.37	o 1237
1658.40/1549.80	o 1236
1669.62/1560.55	o 1235
1672.02/1562.98	o 1234
1673.42/1564.30	o 1233
1674.82/1565.71	o 1232
1676.32/1567.20	o 1231
1679.53/1570.49	o 1230
1680.83/1571.73	o 1229
1682.87/1573.26	o 1228
1685.27/1575.66	o 1227
1686.68/1577.01	o 1226
1688.78/1579.12	o 1225
1690.57/1580.92	o 1224
1701.28/1591.09	o 1223
1723.20/1611.89	o 1222
1745.05/1632.52	o 1221
1746.37/1633.82	o 1220
1747.87/1635.37	o 1219
1750.37/1637.25	o 1218
1762.18/1648.44	o 1217
1772.97/1658.65	o 1216
1774.57/1660.27	o 1215
1775.97/1661.62	o 1214
1785.99/1671.03	o 1213
1787.38/1672.48	o 1212
1788.88/1673.90	o 1211
1790.28/1675.36	o 1210
1791.68/1676.79	o 1209
1793.85/1678.40	o 1208
1795.35/1679.89	o 1207
1796.85/1681.37	o 1206
1818.90/1702.28	o 1205
1830.77/1713.53	o 1204
1832.57/1715.31	o 1203
1834.67/1716.85	o 1202
1856.77/1737.86	o 1201
1858.18/1739.27	o 1200
1860.38/1741.43	o 1199
1864.18/1745.22	o 1198
1875.90/1755.87	o 1197
1886.68/1766.18	o 1196
1888.08/1767.55	o 1195
1900.88/1779.81	o 1194
1920.74/1798.69	o 1193
1942.70/1819.67	o 1192
1944.00/1820.99	o 1191
1946.30/1823.23	o 1190
1948.90/1825.85	o 1189
1950.31/1827.25	o 1188
1952.90/1829.35	o 1187
1964.13/1840.09	o 1186
1966.52/1842.43	o 1185
1967.72/1843.69	o 1184
1969.92/1845.87	o 1183
1971.43/1847.35	o 1182
1973.63/1849.54	o 1181
1975.03/1850.92	o 1180
1977.19/1852.57	o 1179
1978.59/1854.00	o 1178
1989.20/1864.10	o 1177
1991.69/1866.51	o 1176
2012.93/1886.76	o 1175
2014.34/1888.19	o 1174
2015.94/1889.71	o 1173
2019.45/1893.20	o 1172
2031.84/1904.51	o 1171
2033.24/1905.92	o 1170
2055.94/1927.67	o 1169
2066.99/1938.18	o 1168
2068.48/1939.69	o 1167
2070.69/1941.81	o 1166
2073.00/1944.17	o 1165
2083.81/1954.49	o 1164
2086.24/1956.49	o 1163
2087.74/1957.94	o 1162
2089.24/1959.46	o 1161
2090.85/1961.07	o 1160
2102.42/1972.18	o 1159
2106.61/1976.35	o 1158
2118.33/1987.54	o 1157
2120.47/1989.28	o 1156
2132.43/2000.79	o 1155
2135.13/2003.45	o 1154
2138.23/2006.53	o 1153
2139.74/2008.06	o 1152
2141.43/2009.75	o 1151
2144.37/2012.12	o 1150
2145.86/2013.64	o 1149
2158.07/2025.36	o 1148
2159.77/2027.05	o 1147
2161.47/2028.71	o 1146
2163.07/2030.35	o 1145
2164.67/2031.99	o 1144
2177.62/2043.93	o 1143
2179.31/2045.65	o 1142
2182.42/2048.72	o 1141
2194.52/2060.33	o 1140
2196.33/2062.19	o 1139
2198.03/2063.81	o 1138
2211.19/2076.10	o 1137
2212.98/2077.82	o 1136
2237.12/2101.02	o 1135
2238.51/2102.48	o 1134
2252.13/2115.57	o 1133
2255.23/2118.63	o 1132
2257.64/2120.54	o 1131
2279.23/2141.17	o 1130
2291.88/2153.35	o 1129
2293.70/2155.11	o 1128
2296.18/2157.66	o 1127
2299.48/2161.00	o 1126
2303.01/2163.90	o 1125
2305.41/2166.34	o 1124
2307.32/2168.28	o 1123
2309.93/2170.86	o 1122
2311.63/2172.52	o 1121
2313.33/2174.21	o 1120
2327.62/2187.48	o 1119
2340.34/2199.65	o 1118
2343.44/2202.79	o 1117
2347.15/2206.44	o 1116
2369.63/2227.82	o 1115
2371.03/2229.26	o 1114
2393.70/2250.32	o 1113
2395.51/2252.13	o 1112
2397.31/2253.91	o 1111
2399.01/2255.66	o 1110
2401.21/2257.88	o 1109
2403.31/2259.97	o 1108
2406.79/2262.81	o 1107
2411.00/2267.01	o 1106
2412.79/2268.82	o 1105
2416.10/2272.19	o 1104
2417.69/2273.77	o 1103
2420.50/2276.59	o 1102
2436.30/2291.28	o 1101
2437.90/2292.84	o 1100
2451.14/2305.59	o 1099
2452.95/2307.35	o 1098
2467.07/2320.47	o 1097
2480.79/2333.60	o 1096
2482.59/2335.43	o 1095
2484.40/2337.25	o 1094
2498.68/2350.52	o 1093
2520.03/2370.90	s SATISFIABLE
2520.03/2370.91	v <instantiation>
2520.03/2370.91	v 	<list>
2520.03/2370.91	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029]
2520.03/2370.91	v 	</list>
2520.03/2370.91	v 	<values>
2520.03/2370.91	v 		1092 1090 1092 1088 1089 1089 1092 1092 1089 1089 1087 1089 1092 1085 1088 1093 1091 1091 1093 1086 1091 1091 1091 1086 1091 1091 1091 1091 1086 1091 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1093 1091 1091 1093 1093 1091 1091 1091 1093 1093 1091 1091 1091 1093 1091 1090 1090 1090 1090 1090 1090 1090 1091 1093 1093 1090 1090 1090 1093 1090 1086 1090 1091 1088 1085 1092 1090 1092 1090 1089 1093 1092 1091 1086 1086 1090 1090 1090 1085 1090 1091 1093 1091 1093 1091 1093 1091 1091 1091 1091 1091 1091 1091 1091 1091 1090 1090 1090 1090 1087 1093 1090 1090 1093 1093 1090 1090 1090 1093 1090 1093 1091 1091 1091 1093 1093 1091 1091 1093 1093 1091 1091 1091 1093 1091 1087 1087 1087 1087 1087 1093 1087 1087 1093 1093 1087 1087 1087 1093 1087 1087 1089 1091 1087 1087 1092 1090 1092 1093 1092 1088 1090 1090 1092 1088 1088 1088 1088 1088 1088 1092 1091 1092 1093 1092 1091 1091 1091 1092 1091 1091 1091 1091 1088 1091 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1091 1091 1088 1093 1091 1091 1090 1090 1091 1091 1088 1091 1088 1088 1088 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1090 1090 1091 1092 1090 1092 1091 1092 1087 1092 1093 1093 1091 1092 1093 1093 1087 1087 1092 1093 1091 1091 1093 1091 1091 1093 1093 1091 1091 1093 1093 1091 1091 1091 1093 1092 1087 1092 1087 1092 1093 1093 1087 1092 1093 1093 1087 1087 1092 1093 1093 1091 1093 1091 1093 1091 1093 1093 1093 1093 1093 1091 1093 1093 1093 1092 1092 1092 1092 1092 1093 1093 1092 1093 1093 1093 1092 1092 1093 1093 1087 1087 1091 1092 1087 1090 1090 1090 1093 1090 1090 1090 1093 1090 1090 1090 1090 1090 1090 1090 1090 1093 1090 1093 1090 1090 1090 1093 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1093 1090 1093 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1091 1088 1087 1090 1092 1089 1089 1088 1088 1089 1093 1088 1093 1093 1093 1093 1089 1084 1093 1093 1093 1093 1088 1093 1093 1093 1088 1088 1093 1093 1087 1086 1086 1093 1088 1092 1092 1092 1092 1092 1093 1092 1092 1093 1093 1092 1092 1092 1093 1092 1093 1093 1092 1092 1093 1093 1092 1092 1093 1093 1092 1092 1092 1093 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1089 1089 1093 1087 1089 1093 1093 1093 1093 1093 1093 1089 1093 1093 1093 1091 1093 1093 1093 1091 1093 1093 1093 1093 1093 1093 1091 1093 1093 1093 1089 1089 1093 1089 1089 1093 1089 1089 1089 1089 1089 1089 1089 1089 1089 1093 1093 1093 1093 1093 1093 1091 1091 1093 1093 1091 1091 1091 1093 1091 1092 1089 1089 1089 1092 1092 1092 1089 1092 1092 1089 1092 1089 1089 1089 1089 1089 1091 1089 1089 1092 1089 1092 1093 1092 1089 1089 1093 1092 1089 1089 1089 1088 1089 1089 1093 1093 1092 1088 1093 1088 1088 1088 1092 1088 1088 1088 1088 1088 1088 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1093 1093 1089 1089 1093 1089 1089 1089 1089 1089 1089 1089 1089 1089 1089 1093 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1088 1089 1088 1092 1088 1089 1093 1089 1093 1089 1093 1093 1093 1089 1093 1093 1089 1093 1089 1093 1091 1093 1091 1093 1091 1093 1093 1093 1091 1093 1093 1091 1093 1091 1093 1089 1093 1089 1093 1089 1093 1093 1093 1089 1089 1089 1089 1089 1089 1093 1093 1093 1093 1093 1093 1093 1093 1093 1093 1093 1093 1093 1093 1093 1093 1089 1093 1089 1093 1091 1093 1093 1093 1091 1091 1089 1091 1089 1089 1093 1093 1089 1093 1089 1093 1093 1089 1089 1093 1093 1089 1089 1093 1089 1089 1089 1089 1089 1089 1089 1093 1093 1089 1089 1093 1089 1089 1093 1089 1089 1089 1089 1089 1089 1089 1093 1089 1089 1089 1089 1089 1089 1089 1089 1089 1089 1089 1089 1089 1089 1093 1093 1089 1089 1093 1089 1089 1089 1089 1089 1089 1089 1089 1089 1089 1093 1089 1093 1089 1089 1089 1089 1089 1089 1089 1089 1089 1089 1089 1089 1089 1089 1089 1089 1089 1089 1088 1089 1089 1089 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1093 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1093 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1093 1093 1090 1090 1090 1090 1090 1093 1090 1090 1090 1093 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1093 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1091 1093 1091 1091 1091 1093 1093 1091 1091 1091 1093 1091 1091 1091 1091 1091 1091 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1090 1090 1090 1092 1090 1090 1093 1092 1090 1090 1092 1090 1090 1093 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1090 1092 1092 1092 1090 1091 1091 1091 1091 1091 1091 1093 1091 1091 1091 1093 1091 1091 1091 1093 1091 1091 1093 1091 1091 1091 1093 1091 1091 1091 1093 1091 1091 1091 1093 1091 1091 1091 1091 1091 1093 1093 1091 1091 1093 1093 1093 1091 1091 1093 1091 1091 1091 1091 1093 1091 1093 1093 1091 1091 1091 1091 1091 1091 1093 1091 1091 1091 1091 1093 1093 1093 1091 1093 1093 1093 1093 1091 1093 1093 1091 1091 1091 1091 1091 1092 1093 1092 1092 1092 1092 1092 1093 1092 1092 1092 1092 1092 1092 1092 1092 1093 1092 1093 1092 1092 1092 1093 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1093 1092 1093 1092 1092 1092 1093 1092 1092 1092 1092 1092 1092 1093 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1091 1090 1091 1092 1091 1093 1088 1093 1088 1093 1093 1093 1093 1093 1093 1093 1093 1093 1093 1093 1093 1093 1093 1093 1093 1093 1088 1093 1093 1093 1088 1093 1093 1093 1088 1093 1092 1093 1092 1092 1092 1093 1093 1092 1092 1093 1092 1093 1092 1093 1093 1093 1093 1092 1093 1093 1092 1092 1093 1093 1092 1092 1092 1093 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1093 1091 1093 1091 1091 1093 1091 1093 1091 1093 1091 1093 1093 1091 1091 1091 1093 1091 1093 1091 1093 1091 1093 1091 1093 1091 1093 1093 1091 1091 1093 1091 1093 1091 1091 1091 1093 1093 1091 1091 1091 1091 1091 1091 1093 1091 1093 1091 1093 1093 1093 1091 1091 1093 1093 1091 1093 1093 1093 1091 1092 1091 1091 1091 1092 1092 1092 1091 1092 1092 1091 1092 1091 1091 1091 1091 1091 1091 1091 1091 1093 1092 1093 1093 1092 1092 1093 1092 1092 1092 1092 1092 1092 1092 1092 1093 1093 1092 1092 1093 1092 1092 1093 1092 1092 1092 1092 1092 1092 1092 1093 1092 1093 1092 1092 1092 1093 1092 1092 1092 1092 1092 1092 1092 1092 1092 1093 1092 1092 1093 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1093 1093 1093 1092 1092 1092 1093 1092 1092 1092 1092 1092 1092 1092 1093 1092 1092 1092 1092 1092 1091 1093 1091 1093 1091 1093 1091 1093 1091 1093 1091 1091 1093 1091 1091 1091 1093 1091 1093 1091 1093 1091 1093 1091 1093 1091 1093 1093 1091 1091 1091 1091 1091 1093 1091 1091 1091 1093 1091 1091 1091 1091 1091 1091 1093 1091 1093 1091 1093 1093 1093 1093 1093 1093 1093 1093 1093 1093 1093 1093 1091 1091 1091 1093 1091 1091 1091 1093 1091 1091 1091 1091 1091 1091 1093 1093 1091 1091 1091 1093 1093 1092 1093 1093 1092 1092 1093 1092 1092 1092 1092 1092 1092 1092 1092 1093 1093 1092 1092 1093 1092 1092 1093 1092 1092 1092 1092 1092 1092 1092 1093 1092 1093 1092 1092 1092 1093 1092 1092 1092 1092 1092 1092 1092 1092 1092 1093 1092 1092 1093 1092 1092 1092 1092 1092 1092 1092 1092 1092 1092 1093 1093 1093 1092 1092 1092 1093 1092 1092 1092 1092 1092 1092 1092 1093 1092 1092 1092 1092 1092 1088 1088 1088 1092 1088 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1093 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1093 1090 1090 1090 1090 1090 1093 1090 1093 1090 1090 1090 1093 1093 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1093 1093 1090 1090 1090 1090 1090 1093 1090 1090 1090 1093 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1093 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1093 1093 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1093 1090 1090 1090 1093 1093 1090 1090 1090 1093 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1093 1090 1093 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1093 1090 1090 1090 1090 1090 1090 1090 1090 1093 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1093 1090 1090 1090 1093 1093 1090 1090 1090 1090 1090 1090 1093 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1093 1090 1090 1090 1093 1090 1090 1090 1093 1090 1090 1093 1090 1090 1090 1093 1093 1093 1090 1093 1090 1093 1090 1093 1090 1090 1090 1090 1090 1093 1093 1090 1090 1093 1093 1093 1090 1090 1093 1090 1090 1090 1090 1093 1090 1093 1093 1090 1090 1090 1090 1090 1090 1093 1090 1093 1090 1090 1093 1093 1093 1090 1093 1093 1093 1093 1090 1093 1093 1090 1090 1090 1090 1090 1090 1093 1090 1090 1090 1090 1090 1093 1090 1093 1090 1090 1090 1090 1090 1090 1093 1090 1093 1090 1090 1090 1093 1090 1090 1090 1090 1090 1090 1090 1090 1093 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1093 1093 1093 1090 1093 1093 1093 1090 1090 1090 1090 1090 1090 1093 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1090 1092 1090 1088 1089 1091 
2520.03/2370.91	v 	</values>
2520.03/2370.91	v </instantiation>

Verifier Data 

OK	1093

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308389-1534280720/watcher-4308389-1534280720 -o /tmp/evaluation-result-4308389-1534280720/solver-4308389-1534280720 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534270838-13463 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1238207639 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308389-1534280720.xml 

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

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


[startup+0.10013 s]*
/proc/loadavg: 1.39 1.58 1.57 4/216 14514
/proc/meminfo: memFree=22379024/32770624 swapFree=67108368/67108860
[pid=14499] ppid=14496 vsize=14082736 memory=33188 CPUtime=0.12 cores=1,3,5,7
/proc/14499/stat : 14499 (java) S 14496 14499 11932 0 -1 1077944320 7234 0 0 0 11 1 0 0 20 0 15 0 245635209 14420721664 8297 33554432000 4194304 4196468 140732978548512 140732978531056 140160129326839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
/proc/14499/statm: 3520684 8297 3140 1 0 3482761 0
[pid=14499/tid=14501] ppid=14496 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=1,3,5,7
/proc/14499/task/14501/stat : 14501 (java) R 14496 14499 11932 0 -1 4202560 5309 0 0 0 9 0 0 0 20 0 15 0 245635210 14420721664 8297 33554432000 4194304 4196468 140732978548512 140160133552528 140160113407326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14502] ppid=14496 vsize=14082736 memory=5793855852060367289 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14502/stat : 14502 (java) S 14496 14499 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245635210 14420721664 8297 33554432000 4194304 4196468 140732978548512 140160085879568 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14503] ppid=14496 vsize=14082736 memory=140601050474112 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14503/stat : 14503 (java) S 14496 14499 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245635210 14420721664 8297 33554432000 4194304 4196468 140732978548512 140160084827024 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14504] ppid=14496 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14504/stat : 14504 (java) S 14496 14499 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245635210 14420721664 8297 33554432000 4194304 4196468 140732978548512 140159723432976 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14505] ppid=14496 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14505/stat : 14505 (java) S 14496 14499 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245635210 14420721664 8297 33554432000 4194304 4196468 140732978548512 140159722380432 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14506] ppid=14496 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14506/stat : 14506 (java) S 14496 14499 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245635212 14420721664 8297 33554432000 4194304 4196468 140732978548512 140159603394544 140160129337986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14507] ppid=14496 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14507/stat : 14507 (java) S 14496 14499 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245635212 14420721664 8297 33554432000 4194304 4196468 140732978548512 140159602340768 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14508] ppid=14496 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14508/stat : 14508 (java) S 14496 14499 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245635212 14420721664 8297 33554432000 4194304 4196468 140732978548512 140159601288176 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14509] ppid=14496 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14509/stat : 14509 (java) S 14496 14499 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245635215 14420721664 8297 33554432000 4194304 4196468 140732978548512 140159600236752 140160129345435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14510] ppid=14496 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14510/stat : 14510 (java) S 14496 14499 11932 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 245635215 14420721664 8297 33554432000 4194304 4196468 140732978548512 140159599184368 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14511] ppid=14496 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14511/stat : 14511 (java) S 14496 14499 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245635215 14420721664 8297 33554432000 4194304 4196468 140732978548512 140159598131824 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14512] ppid=14496 vsize=14082736 memory=140601050474112 CPUtime=0.01 cores=1,3,5,7
/proc/14499/task/14512/stat : 14512 (java) R 14496 14499 11932 0 -1 4202560 240 0 0 0 1 0 0 0 20 0 15 0 245635215 14420721664 8297 33554432000 4194304 4196468 140732978548512 140159597079280 140160108281567 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14513] ppid=14496 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14513/stat : 14513 (java) S 14496 14499 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245635215 14420721664 8297 33554432000 4194304 4196468 140732978548512 140159596026976 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14514] ppid=14496 vsize=14082736 memory=140601050474112 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14514/stat : 14514 (java) S 14496 14499 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245635215 14420721664 8297 33554432000 4194304 4196468 140732978548512 140159594973488 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33188 KiB

[startup+0.217724 s]*
/proc/loadavg: 1.39 1.58 1.57 4/216 14514
/proc/meminfo: memFree=22364140/32770624 swapFree=67108368/67108860
[pid=14499] ppid=14496 vsize=14082736 memory=47140 CPUtime=0.32 cores=1,3,5,7
/proc/14499/stat : 14499 (java) S 14496 14499 11932 0 -1 1077944320 10414 0 0 0 30 2 0 0 20 0 15 0 245635209 14420721664 11785 33554432000 4194304 4196468 140732978548512 140732978531056 140160129326839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
/proc/14499/statm: 3520684 11785 3369 1 0 3482761 0
[pid=14499/tid=14501] ppid=14496 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/14499/task/14501/stat : 14501 (java) R 14496 14499 11932 0 -1 4202560 8120 0 0 0 19 1 0 0 20 0 15 0 245635210 14420721664 11785 33554432000 4194304 4196468 140732978548512 140160133556816 140160113407326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14502] ppid=14496 vsize=14082736 memory=4211974327255264650 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14502/stat : 14502 (java) S 14496 14499 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245635210 14420721664 11785 33554432000 4194304 4196468 140732978548512 140160085879568 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14503] ppid=14496 vsize=14082736 memory=140601050474112 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14503/stat : 14503 (java) S 14496 14499 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245635210 14420721664 11785 33554432000 4194304 4196468 140732978548512 140160084827024 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14504] ppid=14496 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14504/stat : 14504 (java) S 14496 14499 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245635210 14420721664 11785 33554432000 4194304 4196468 140732978548512 140159723432976 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14505] ppid=14496 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14505/stat : 14505 (java) S 14496 14499 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245635210 14420721664 11785 33554432000 4194304 4196468 140732978548512 140159722380432 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14506] ppid=14496 vsize=14082736 memory=140601050474112 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14506/stat : 14506 (java) S 14496 14499 11932 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245635212 14420721664 11785 33554432000 4194304 4196468 140732978548512 140159603394544 140160129337986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14507] ppid=14496 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14507/stat : 14507 (java) S 14496 14499 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245635212 14420721664 11785 33554432000 4194304 4196468 140732978548512 140159602340768 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14508] ppid=14496 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14508/stat : 14508 (java) S 14496 14499 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245635212 14420721664 11785 33554432000 4194304 4196468 140732978548512 140159601288176 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14509] ppid=14496 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14509/stat : 14509 (java) S 14496 14499 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245635215 14420721664 11785 33554432000 4194304 4196468 140732978548512 140159600236752 140160129345435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14510] ppid=14496 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14499/task/14510/stat : 14510 (java) S 14496 14499 11932 0 -1 1077944384 511 0 0 0 2 0 0 0 20 0 15 0 245635215 14420721664 11785 33554432000 4194304 4196468 140732978548512 140159599184368 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14511] ppid=14496 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/14499/task/14511/stat : 14511 (java) S 14496 14499 11932 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 15 0 245635215 14420721664 11785 33554432000 4194304 4196468 140732978548512 140159598131824 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14512] ppid=14496 vsize=14082736 memory=140601050474112 CPUtime=0.06 cores=1,3,5,7
/proc/14499/task/14512/stat : 14512 (java) R 14496 14499 11932 0 -1 4202560 294 0 0 0 6 0 0 0 20 0 15 0 245635215 14420721664 11785 33554432000 4194304 4196468 140732978548512 140159597079280 140160108265144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14513] ppid=14496 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14513/stat : 14513 (java) S 14496 14499 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245635215 14420721664 11785 33554432000 4194304 4196468 140732978548512 140159596026976 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14514] ppid=14496 vsize=14082736 memory=140601050474112 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14514/stat : 14514 (java) S 14496 14499 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245635215 14420721664 11785 33554432000 4194304 4196468 140732978548512 140159594973488 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47140 KiB

[startup+0.310544 s]*
/proc/loadavg: 1.39 1.58 1.57 3/216 14514
/proc/meminfo: memFree=22360604/32770624 swapFree=67108368/67108860
[pid=14499] ppid=14496 vsize=14082736 memory=50328 CPUtime=0.43 cores=1,3,5,7
/proc/14499/stat : 14499 (java) S 14496 14499 11932 0 -1 1077944320 10729 0 0 0 41 2 0 0 20 0 15 0 245635209 14420721664 12582 33554432000 4194304 4196468 140732978548512 140732978531056 140160129326839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
/proc/14499/statm: 3520684 12582 3371 1 0 3482761 0
[pid=14499/tid=14501] ppid=14496 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=1,3,5,7
/proc/14499/task/14501/stat : 14501 (java) R 14496 14499 11932 0 -1 4202560 8421 0 0 0 28 2 0 0 20 0 15 0 245635210 14420721664 12582 33554432000 4194304 4196468 140732978548512 140160133542128 140160110890391 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14502] ppid=14496 vsize=14082736 memory=4211974327255264650 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14502/stat : 14502 (java) S 14496 14499 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245635210 14420721664 12582 33554432000 4194304 4196468 140732978548512 140160085879568 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14503] ppid=14496 vsize=14082736 memory=140601050476463 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14503/stat : 14503 (java) S 14496 14499 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245635210 14420721664 12582 33554432000 4194304 4196468 140732978548512 140160084827024 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14504] ppid=14496 vsize=14082736 memory=140600921938092 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14504/stat : 14504 (java) S 14496 14499 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245635210 14420721664 12582 33554432000 4194304 4196468 140732978548512 140159723432976 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14505] ppid=14496 vsize=14082736 memory=140600921935311 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14505/stat : 14505 (java) S 14496 14499 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245635210 14420721664 12582 33554432000 4194304 4196468 140732978548512 140159722380432 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14506] ppid=14496 vsize=14082736 memory=140601050486071 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14506/stat : 14506 (java) S 14496 14499 11932 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245635212 14420721664 12582 33554432000 4194304 4196468 140732978548512 140159603394544 140160129337986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14507] ppid=14496 vsize=14082736 memory=140600921944527 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14507/stat : 14507 (java) S 14496 14499 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245635212 14420721664 12582 33554432000 4194304 4196468 140732978548512 140159602340768 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14508] ppid=14496 vsize=14082736 memory=281201843879824 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14508/stat : 14508 (java) S 14496 14499 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245635212 14420721664 12582 33554432000 4194304 4196468 140732978548512 140159601288176 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14509] ppid=14496 vsize=14082736 memory=281201843877488 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14509/stat : 14509 (java) S 14496 14499 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245635215 14420721664 12582 33554432000 4194304 4196468 140732978548512 140159600236752 140160129345435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14510] ppid=14496 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14499/task/14510/stat : 14510 (java) S 14496 14499 11932 0 -1 1077944384 511 0 0 0 2 0 0 0 20 0 15 0 245635215 14420721664 12582 33554432000 4194304 4196468 140732978548512 140159599184368 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14511] ppid=14496 vsize=14082736 memory=2240 CPUtime=0.02 cores=1,3,5,7
/proc/14499/task/14511/stat : 14511 (java) S 14496 14499 11932 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 15 0 245635215 14420721664 12582 33554432000 4194304 4196468 140732978548512 140159598131824 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14512] ppid=14496 vsize=14082736 memory=140601050474112 CPUtime=0.08 cores=1,3,5,7
/proc/14499/task/14512/stat : 14512 (java) S 14496 14499 11932 0 -1 1077944384 307 0 0 0 8 0 0 0 20 0 15 0 245635215 14420721664 12582 33554432000 4194304 4196468 140732978548512 140159597079280 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14513] ppid=14496 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14513/stat : 14513 (java) S 14496 14499 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245635215 14420721664 12582 33554432000 4194304 4196468 140732978548512 140159596026976 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14514] ppid=14496 vsize=14082736 memory=140601050474112 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14514/stat : 14514 (java) S 14496 14499 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245635215 14420721664 12582 33554432000 4194304 4196468 140732978548512 140159594973488 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50328 KiB

[startup+0.700786 s]
/proc/loadavg: 1.39 1.58 1.57 3/216 14514
/proc/meminfo: memFree=22336792/32770624 swapFree=67108368/67108860
[pid=14499] ppid=14496 vsize=14084804 memory=88864 CPUtime=0.98 cores=1,3,5,7
/proc/14499/stat : 14499 (java) S 14496 14499 11932 0 -1 1077944320 17608 0 0 0 94 4 0 0 20 0 15 0 245635209 14422839296 22216 33554432000 4194304 4196468 140732978548512 140732978531056 140160129326839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
/proc/14499/statm: 3521201 22216 3498 1 0 3483273 0
[pid=14499/tid=14501] ppid=14496 vsize=14084804 memory=872 CPUtime=0.67 cores=1,3,5,7
/proc/14499/task/14501/stat : 14501 (java) R 14496 14499 11932 0 -1 4202560 14866 0 0 0 64 3 0 0 20 0 15 0 245635210 14422839296 22216 33554432000 4194304 4196468 140732978548512 140160133550832 140160113407326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14502] ppid=14496 vsize=14084804 memory=1920 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14502/stat : 14502 (java) S 14496 14499 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245635210 14422839296 22216 33554432000 4194304 4196468 140732978548512 140160085879568 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14503] ppid=14496 vsize=14084804 memory=6272 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14503/stat : 14503 (java) S 14496 14499 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245635210 14422839296 22216 33554432000 4194304 4196468 140732978548512 140160084827024 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14504] ppid=14496 vsize=14084804 memory=7014751519600366929 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14504/stat : 14504 (java) S 14496 14499 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245635210 14422839296 22216 33554432000 4194304 4196468 140732978548512 140159723432976 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14505] ppid=14496 vsize=14084804 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14505/stat : 14505 (java) S 14496 14499 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245635210 14422839296 22216 33554432000 4194304 4196468 140732978548512 140159722380432 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14506] ppid=14496 vsize=14084804 memory=5787213857196369745 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14506/stat : 14506 (java) S 14496 14499 11932 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245635212 14422839296 22216 33554432000 4194304 4196468 140732978548512 140159603394544 140160129337986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14507] ppid=14496 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14507/stat : 14507 (java) S 14496 14499 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245635212 14422839296 22216 33554432000 4194304 4196468 140732978548512 140159602340768 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14508] ppid=14496 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14508/stat : 14508 (java) S 14496 14499 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245635212 14422839296 22216 33554432000 4194304 4196468 140732978548512 140159601288176 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14509] ppid=14496 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14509/stat : 14509 (java) S 14496 14499 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245635215 14422839296 22216 33554432000 4194304 4196468 140732978548512 140159600236752 140160129345435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14510] ppid=14496 vsize=14084804 memory=219 CPUtime=0.08 cores=1,3,5,7
/proc/14499/task/14510/stat : 14510 (java) S 14496 14499 11932 0 -1 1077944384 683 0 0 0 8 0 0 0 20 0 15 0 245635215 14422839296 22216 33554432000 4194304 4196468 140732978548512 140159599184368 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14511] ppid=14496 vsize=14084804 memory=7 CPUtime=0.06 cores=1,3,5,7
/proc/14499/task/14511/stat : 14511 (java) S 14496 14499 11932 0 -1 1077944384 257 0 0 0 6 0 0 0 20 0 15 0 245635215 14422839296 22216 33554432000 4194304 4196468 140732978548512 140159598131824 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14512] ppid=14496 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/14499/task/14512/stat : 14512 (java) S 14496 14499 11932 0 -1 1077944384 420 0 0 0 15 0 0 0 20 0 15 0 245635215 14422839296 22216 33554432000 4194304 4196468 140732978548512 140159597079280 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14513] ppid=14496 vsize=14084804 memory=281201844063728 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14513/stat : 14513 (java) S 14496 14499 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245635215 14422839296 22216 33554432000 4194304 4196468 140732978548512 140159596026976 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14514] ppid=14496 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14514/stat : 14514 (java) S 14496 14499 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245635215 14422839296 22216 33554432000 4194304 4196468 140732978548512 140159594973488 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88864 KiB

[startup+1.50081 s]
/proc/loadavg: 1.39 1.58 1.57 5/216 14514
/proc/meminfo: memFree=22278372/32770624 swapFree=67108368/67108860
[pid=14499] ppid=14496 vsize=14086852 memory=236892 CPUtime=3.57 cores=1,3,5,7
/proc/14499/stat : 14499 (java) S 14496 14499 11932 0 -1 1077944320 24830 0 0 0 346 11 0 0 20 0 15 0 245635209 14424936448 59223 33554432000 4194304 4196468 140732978548512 140732978531056 140160129326839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
/proc/14499/statm: 3521713 59223 3568 1 0 3483785 0
[pid=14499/tid=14501] ppid=14496 vsize=14086852 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/14499/task/14501/stat : 14501 (java) R 14496 14499 11932 0 -1 4202560 16437 0 0 0 139 6 0 0 20 0 15 0 245635210 14424936448 59223 33554432000 4194304 4196468 140732978548512 140160133561904 140159765003240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14502] ppid=14496 vsize=14086852 memory=-1088251628401078322 CPUtime=0.01 cores=1,3,5,7
/proc/14499/task/14502/stat : 14502 (java) S 14496 14499 11932 0 -1 1077944384 370 0 0 0 1 0 0 0 20 0 15 0 245635210 14424936448 59223 33554432000 4194304 4196468 140732978548512 140160085879568 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14503] ppid=14496 vsize=14086852 memory=-3472574513799858009 CPUtime=0.01 cores=1,3,5,7
/proc/14499/task/14503/stat : 14503 (java) S 14496 14499 11932 0 -1 1077944384 136 0 0 0 1 0 0 0 20 0 15 0 245635210 14424936448 59223 33554432000 4194304 4196468 140732978548512 140160084827024 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14504] ppid=14496 vsize=14086852 memory=-6585528546044026665 CPUtime=0.01 cores=1,3,5,7
/proc/14499/task/14504/stat : 14504 (java) S 14496 14499 11932 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 15 0 245635210 14424936448 59223 33554432000 4194304 4196468 140732978548512 140159723432976 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14505] ppid=14496 vsize=14086852 memory=-7162240026497995310 CPUtime=0.01 cores=1,3,5,7
/proc/14499/task/14505/stat : 14505 (java) S 14496 14499 11932 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 15 0 245635210 14424936448 59223 33554432000 4194304 4196468 140732978548512 140159722380432 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14506] ppid=14496 vsize=14086852 memory=-6079119013371537250 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14506/stat : 14506 (java) S 14496 14499 11932 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 15 0 245635212 14424936448 59223 33554432000 4194304 4196468 140732978548512 140159603394544 140160129337986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0

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

/proc/14499/task/14501/stat : 14501 (java) R 14496 14499 11932 0 -1 4202560 341935 0 0 0 221336 83 0 0 20 0 15 0 245635210 14431227904 1601407 33554432000 4194304 4196468 140732978548512 140160133555792 140159767450671 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14502] ppid=14496 vsize=14092996 memory=6405628 CPUtime=44.15 cores=1,3,5,7
/proc/14499/task/14502/stat : 14502 (java) S 14496 14499 11932 0 -1 1077944384 102058 0 0 0 4301 114 0 0 20 0 15 0 245635210 14431227904 1601407 33554432000 4194304 4196468 140732978548512 140160085879568 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14503] ppid=14496 vsize=14092996 memory=6405628 CPUtime=44.11 cores=1,3,5,7
/proc/14499/task/14503/stat : 14503 (java) S 14496 14499 11932 0 -1 1077944384 119487 0 0 0 4292 119 0 0 20 0 15 0 245635210 14431227904 1601407 33554432000 4194304 4196468 140732978548512 140160084827024 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14504] ppid=14496 vsize=14092996 memory=6405628 CPUtime=44.12 cores=1,3,5,7
/proc/14499/task/14504/stat : 14504 (java) S 14496 14499 11932 0 -1 1077944384 132843 0 0 0 4295 117 0 0 20 0 15 0 245635210 14431227904 1601407 33554432000 4194304 4196468 140732978548512 140159723432976 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14505] ppid=14496 vsize=14092996 memory=6405628 CPUtime=44.18 cores=1,3,5,7
/proc/14499/task/14505/stat : 14505 (java) S 14496 14499 11932 0 -1 1077944384 109601 0 0 0 4302 116 0 0 20 0 15 0 245635210 14431227904 1601407 33554432000 4194304 4196468 140732978548512 140159722380432 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14506] ppid=14496 vsize=14092996 memory=6405628 CPUtime=3.05 cores=1,3,5,7
/proc/14499/task/14506/stat : 14506 (java) S 14496 14499 11932 0 -1 1077944384 29597 0 0 0 299 6 0 0 20 0 15 0 245635212 14431227904 1601407 33554432000 4194304 4196468 140732978548512 140159603394544 140160129337986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14507] ppid=14496 vsize=14092996 memory=6405628 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14507/stat : 14507 (java) S 14496 14499 11932 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 245635212 14431227904 1601407 33554432000 4194304 4196468 140732978548512 140159602340832 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14508] ppid=14496 vsize=14092996 memory=6405628 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14508/stat : 14508 (java) S 14496 14499 11932 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 245635212 14431227904 1601407 33554432000 4194304 4196468 140732978548512 140159601288192 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14509] ppid=14496 vsize=14092996 memory=6405628 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14509/stat : 14509 (java) S 14496 14499 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245635215 14431227904 1601407 33554432000 4194304 4196468 140732978548512 140159600236752 140160129345435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14510] ppid=14496 vsize=14092996 memory=6405628 CPUtime=4.76 cores=1,3,5,7
/proc/14499/task/14510/stat : 14510 (java) S 14496 14499 11932 0 -1 1077944384 24219 0 0 0 472 4 0 0 20 0 15 0 245635215 14431227904 1601407 33554432000 4194304 4196468 140732978548512 140159599184368 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14511] ppid=14496 vsize=14092996 memory=6405628 CPUtime=4.22 cores=1,3,5,7
/proc/14499/task/14511/stat : 14511 (java) S 14496 14499 11932 0 -1 1077944384 23534 0 0 0 419 3 0 0 20 0 15 0 245635215 14431227904 1601407 33554432000 4194304 4196468 140732978548512 140159598131824 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 55 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14512] ppid=14496 vsize=14092996 memory=3920 CPUtime=1.47 cores=1,3,5,7
/proc/14499/task/14512/stat : 14512 (java) S 14496 14499 11932 0 -1 1077944384 48178 0 0 0 142 5 0 0 20 0 15 0 245635215 14431227904 1601407 33554432000 4194304 4196468 140732978548512 140159597079280 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14513] ppid=14496 vsize=14092996 memory=1288 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14513/stat : 14513 (java) S 14496 14499 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245635215 14431227904 1601407 33554432000 4194304 4196468 140732978548512 140159596026976 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14514] ppid=14496 vsize=14092996 memory=3460 CPUtime=1.38 cores=1,3,5,7
/proc/14499/task/14514/stat : 14514 (java) S 14496 14499 11932 0 -1 1077944384 1543 0 0 0 61 77 0 0 20 0 15 0 245635215 14431227904 1601407 33554432000 4194304 4196468 140732978548512 140159594973488 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 60 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
Current children cumulated CPU time: 2405.71 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 6405628 KiB

[startup+2322.3 s]
/proc/loadavg: 1.78 1.84 1.84 3/216 14664
/proc/meminfo: memFree=12609676/32770624 swapFree=67108368/67108860
[pid=14499] ppid=14496 vsize=14092996 memory=6411776 CPUtime=2468.97 cores=1,3,5,7
/proc/14499/stat : 14499 (java) S 14496 14499 11932 0 -1 1077944320 955776 0 0 0 246260 637 0 0 20 0 15 0 245635209 14431227904 1602944 33554432000 4194304 4196468 140732978548512 140732978531056 140160129326839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
/proc/14499/statm: 3523249 1602944 3628 1 0 3485321 0
[pid=14499/tid=14501] ppid=14496 vsize=14092996 memory=6411776 CPUtime=2273.11 cores=1,3,5,7
/proc/14499/task/14501/stat : 14501 (java) R 14496 14499 11932 0 -1 4202560 348025 0 0 0 227227 84 0 0 20 0 15 0 245635210 14431227904 1602944 33554432000 4194304 4196468 140732978548512 140160133564240 140159772979699 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14502] ppid=14496 vsize=14092996 memory=6411776 CPUtime=45.22 cores=1,3,5,7
/proc/14499/task/14502/stat : 14502 (java) S 14496 14499 11932 0 -1 1077944384 105472 0 0 0 4408 114 0 0 20 0 15 0 245635210 14431227904 1602944 33554432000 4194304 4196468 140732978548512 140160085879568 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14503] ppid=14496 vsize=14092996 memory=6411776 CPUtime=45.18 cores=1,3,5,7
/proc/14499/task/14503/stat : 14503 (java) S 14496 14499 11932 0 -1 1077944384 122189 0 0 0 4399 119 0 0 20 0 15 0 245635210 14431227904 1602944 33554432000 4194304 4196468 140732978548512 140160084827024 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14504] ppid=14496 vsize=14092996 memory=6411776 CPUtime=45.18 cores=1,3,5,7
/proc/14499/task/14504/stat : 14504 (java) S 14496 14499 11932 0 -1 1077944384 137269 0 0 0 4401 117 0 0 20 0 15 0 245635210 14431227904 1602944 33554432000 4194304 4196468 140732978548512 140159723432976 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14505] ppid=14496 vsize=14092996 memory=6411776 CPUtime=45.25 cores=1,3,5,7
/proc/14499/task/14505/stat : 14505 (java) S 14496 14499 11932 0 -1 1077944384 113298 0 0 0 4408 117 0 0 20 0 15 0 245635210 14431227904 1602944 33554432000 4194304 4196468 140732978548512 140159722380432 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14506] ppid=14496 vsize=14092996 memory=6411776 CPUtime=3.06 cores=1,3,5,7
/proc/14499/task/14506/stat : 14506 (java) S 14496 14499 11932 0 -1 1077944384 29852 0 0 0 300 6 0 0 20 0 15 0 245635212 14431227904 1602944 33554432000 4194304 4196468 140732978548512 140159603394544 140160129337986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14507] ppid=14496 vsize=14092996 memory=6411776 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14507/stat : 14507 (java) S 14496 14499 11932 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 245635212 14431227904 1602944 33554432000 4194304 4196468 140732978548512 140159602340832 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14508] ppid=14496 vsize=14092996 memory=6411776 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14508/stat : 14508 (java) S 14496 14499 11932 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 245635212 14431227904 1602944 33554432000 4194304 4196468 140732978548512 140159601288192 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14509] ppid=14496 vsize=14092996 memory=6411776 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14509/stat : 14509 (java) S 14496 14499 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245635215 14431227904 1602944 33554432000 4194304 4196468 140732978548512 140159600236752 140160129345435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14510] ppid=14496 vsize=14092996 memory=6411776 CPUtime=4.76 cores=1,3,5,7
/proc/14499/task/14510/stat : 14510 (java) S 14496 14499 11932 0 -1 1077944384 24907 0 0 0 472 4 0 0 20 0 15 0 245635215 14431227904 1602944 33554432000 4194304 4196468 140732978548512 140159599184368 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14511] ppid=14496 vsize=14092996 memory=6411776 CPUtime=4.22 cores=1,3,5,7
/proc/14499/task/14511/stat : 14511 (java) S 14496 14499 11932 0 -1 1077944384 23537 0 0 0 419 3 0 0 20 0 15 0 245635215 14431227904 1602944 33554432000 4194304 4196468 140732978548512 140159598131824 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 55 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14512] ppid=14496 vsize=14092996 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/14499/task/14512/stat : 14512 (java) S 14496 14499 11932 0 -1 1077944384 48183 0 0 0 142 5 0 0 20 0 15 0 245635215 14431227904 1602944 33554432000 4194304 4196468 140732978548512 140159597079280 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14513] ppid=14496 vsize=14092996 memory=6411776 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14513/stat : 14513 (java) S 14496 14499 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245635215 14431227904 1602944 33554432000 4194304 4196468 140732978548512 140159596026976 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14514] ppid=14496 vsize=14092996 memory=6411776 CPUtime=1.41 cores=1,3,5,7
/proc/14499/task/14514/stat : 14514 (java) S 14496 14499 11932 0 -1 1077944384 1581 0 0 0 62 79 0 0 20 0 15 0 245635215 14431227904 1602944 33554432000 4194304 4196468 140732978548512 140159594973488 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 60 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
Current children cumulated CPU time: 2468.97 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 6411776 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2370.9 s]
/proc/loadavg: 1.84 1.85 1.85 3/216 14665
/proc/meminfo: memFree=12572800/32770624 swapFree=67108368/67108860
[pid=14499] ppid=14496 vsize=14092996 memory=6446600 CPUtime=2520.03 cores=1,3,5,7
/proc/14499/stat : 14499 (java) S 14496 14499 11932 0 -1 1077944320 974671 0 0 0 251361 642 0 0 20 0 15 0 245635209 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140732978531056 140160129326839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
/proc/14499/statm: 3523249 1611650 3628 1 0 3485321 0
[pid=14499/tid=14501] ppid=14496 vsize=14092996 memory=0 CPUtime=2320.89 cores=1,3,5,7
/proc/14499/task/14501/stat : 14501 (java) R 14496 14499 11932 0 -1 4202560 353428 0 0 0 232004 85 0 0 20 0 15 0 245635210 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140160133564240 140159769577192 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14502] ppid=14496 vsize=14092996 memory=6444552 CPUtime=46.04 cores=1,3,5,7
/proc/14499/task/14502/stat : 14502 (java) S 14496 14499 11932 0 -1 1077944384 108236 0 0 0 4489 115 0 0 20 0 15 0 245635210 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140160085879568 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14503] ppid=14496 vsize=14092996 memory=6444552 CPUtime=46 cores=1,3,5,7
/proc/14499/task/14503/stat : 14503 (java) S 14496 14499 11932 0 -1 1077944384 126868 0 0 0 4480 120 0 0 20 0 15 0 245635210 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140160084827024 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14504] ppid=14496 vsize=14092996 memory=6444552 CPUtime=45.99 cores=1,3,5,7
/proc/14499/task/14504/stat : 14504 (java) S 14496 14499 11932 0 -1 1077944384 140360 0 0 0 4482 117 0 0 20 0 15 0 245635210 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140159723432976 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14505] ppid=14496 vsize=14092996 memory=6444552 CPUtime=46.05 cores=1,3,5,7
/proc/14499/task/14505/stat : 14505 (java) S 14496 14499 11932 0 -1 1077944384 115961 0 0 0 4487 118 0 0 20 0 15 0 245635210 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140159722380432 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14506] ppid=14496 vsize=14092996 memory=6411776 CPUtime=3.06 cores=1,3,5,7
/proc/14499/task/14506/stat : 14506 (java) S 14496 14499 11932 0 -1 1077944384 30109 0 0 0 300 6 0 0 20 0 15 0 245635212 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140159603394544 140160129337986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14507] ppid=14496 vsize=14092996 memory=6446600 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14507/stat : 14507 (java) S 14496 14499 11932 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 245635212 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140159602340832 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14508] ppid=14496 vsize=14092996 memory=6446600 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14508/stat : 14508 (java) S 14496 14499 11932 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 245635212 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140159601288192 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14509] ppid=14496 vsize=14092996 memory=3684 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14509/stat : 14509 (java) S 14496 14499 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245635215 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140159600236752 140160129345435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14510] ppid=14496 vsize=14092996 memory=6444552 CPUtime=4.76 cores=1,3,5,7
/proc/14499/task/14510/stat : 14510 (java) S 14496 14499 11932 0 -1 1077944384 24910 0 0 0 472 4 0 0 20 0 15 0 245635215 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140159599184368 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14511] ppid=14496 vsize=14092996 memory=0 CPUtime=4.22 cores=1,3,5,7
/proc/14499/task/14511/stat : 14511 (java) S 14496 14499 11932 0 -1 1077944384 23539 0 0 0 419 3 0 0 20 0 15 0 245635215 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140159598131824 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 55 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14512] ppid=14496 vsize=14092996 memory=281201844270160 CPUtime=1.47 cores=1,3,5,7
/proc/14499/task/14512/stat : 14512 (java) S 14496 14499 11932 0 -1 1077944384 48188 0 0 0 142 5 0 0 20 0 15 0 245635215 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140159597079280 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14513] ppid=14496 vsize=14092996 memory=66852 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14513/stat : 14513 (java) S 14496 14499 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245635215 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140159596026976 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14514] ppid=14496 vsize=14092996 memory=2148 CPUtime=1.44 cores=1,3,5,7
/proc/14499/task/14514/stat : 14514 (java) S 14496 14499 11932 0 -1 1077944384 1609 0 0 0 63 81 0 0 20 0 15 0 245635215 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140159594973488 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 60 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 6446600 KiB

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

[startup+2370.94 s]
# the end of solver process 14499 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2513.63 s, system=6.45973 s

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

[startup+2370.9 s]
/proc/loadavg: 1.84 1.85 1.85 3/216 14665
/proc/meminfo: memFree=12572800/32770624 swapFree=67108368/67108860
[pid=14499] ppid=14496 vsize=14092996 memory=6446600 CPUtime=2520.03 cores=1,3,5,7
/proc/14499/stat : 14499 (java) S 14496 14499 11932 0 -1 1077944320 974671 0 0 0 251361 642 0 0 20 0 15 0 245635209 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140732978531056 140160129326839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
/proc/14499/statm: 3523249 1611650 3628 1 0 3485321 0
[pid=14499/tid=14501] ppid=14496 vsize=14092996 memory=0 CPUtime=2320.89 cores=1,3,5,7
/proc/14499/task/14501/stat : 14501 (java) R 14496 14499 11932 0 -1 4202560 353428 0 0 0 232004 85 0 0 20 0 15 0 245635210 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140160133564240 140159769577192 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14502] ppid=14496 vsize=14092996 memory=6444552 CPUtime=46.04 cores=1,3,5,7
/proc/14499/task/14502/stat : 14502 (java) S 14496 14499 11932 0 -1 1077944384 108236 0 0 0 4489 115 0 0 20 0 15 0 245635210 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140160085879568 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14503] ppid=14496 vsize=14092996 memory=6444552 CPUtime=46 cores=1,3,5,7
/proc/14499/task/14503/stat : 14503 (java) S 14496 14499 11932 0 -1 1077944384 126868 0 0 0 4480 120 0 0 20 0 15 0 245635210 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140160084827024 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14504] ppid=14496 vsize=14092996 memory=6444552 CPUtime=45.99 cores=1,3,5,7
/proc/14499/task/14504/stat : 14504 (java) S 14496 14499 11932 0 -1 1077944384 140360 0 0 0 4482 117 0 0 20 0 15 0 245635210 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140159723432976 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14505] ppid=14496 vsize=14092996 memory=6444552 CPUtime=46.05 cores=1,3,5,7
/proc/14499/task/14505/stat : 14505 (java) S 14496 14499 11932 0 -1 1077944384 115961 0 0 0 4487 118 0 0 20 0 15 0 245635210 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140159722380432 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14506] ppid=14496 vsize=14092996 memory=6411776 CPUtime=3.06 cores=1,3,5,7
/proc/14499/task/14506/stat : 14506 (java) S 14496 14499 11932 0 -1 1077944384 30109 0 0 0 300 6 0 0 20 0 15 0 245635212 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140159603394544 140160129337986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14507] ppid=14496 vsize=14092996 memory=6446600 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14507/stat : 14507 (java) S 14496 14499 11932 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 245635212 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140159602340832 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14508] ppid=14496 vsize=14092996 memory=6446600 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14508/stat : 14508 (java) S 14496 14499 11932 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 245635212 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140159601288192 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14509] ppid=14496 vsize=14092996 memory=3684 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14509/stat : 14509 (java) S 14496 14499 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245635215 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140159600236752 140160129345435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14510] ppid=14496 vsize=14092996 memory=6444552 CPUtime=4.76 cores=1,3,5,7
/proc/14499/task/14510/stat : 14510 (java) S 14496 14499 11932 0 -1 1077944384 24910 0 0 0 472 4 0 0 20 0 15 0 245635215 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140159599184368 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14511] ppid=14496 vsize=14092996 memory=0 CPUtime=4.22 cores=1,3,5,7
/proc/14499/task/14511/stat : 14511 (java) S 14496 14499 11932 0 -1 1077944384 23539 0 0 0 419 3 0 0 20 0 15 0 245635215 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140159598131824 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 55 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14512] ppid=14496 vsize=14092996 memory=281201844270160 CPUtime=1.47 cores=1,3,5,7
/proc/14499/task/14512/stat : 14512 (java) S 14496 14499 11932 0 -1 1077944384 48188 0 0 0 142 5 0 0 20 0 15 0 245635215 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140159597079280 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14513] ppid=14496 vsize=14092996 memory=66852 CPUtime=0 cores=1,3,5,7
/proc/14499/task/14513/stat : 14513 (java) S 14496 14499 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245635215 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140159596026976 140160129337045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
[pid=14499/tid=14514] ppid=14496 vsize=14092996 memory=2148 CPUtime=1.44 cores=1,3,5,7
/proc/14499/task/14514/stat : 14514 (java) S 14496 14499 11932 0 -1 1077944384 1609 0 0 0 63 81 0 0 20 0 15 0 245635215 14431227904 1611650 33554432000 4194304 4196468 140732978548512 140159594973488 140160129337986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 60 0 0 6293624 6294260 22863872 140732978549844 140732978550025 140732978550025 140732978552783 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 6446600 KiB

Child status: 143
Real time (s): 2370.94
CPU time (s): 2520.09
CPU user time (s): 2513.63
CPU system time (s): 6.45973
CPU usage (%): 106.291
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 6446600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.63
system time used= 6.45973
maximum resident set size= 6446944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 975991
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61335
involuntary context switches= 3094


# summary of solver processes directly reported to runsolver:
#   pid: 14499
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2513.63
#   total CPU system time (s): 6.45973

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1628 second user time and 22.278 second system time

The end

Launcher Data 

Begin job on node148 at 2018-08-14 23:05:20
IDJOB=4308389
IDBENCH=141138
IDSOLVER=2792
FILE ID=node148/4308389-1534280720
RUNJOBID= node148-1534270838-13463
PBS_JOBID= 21038117
Free space on /tmp= 42612 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/GraphColoring/GraphColoring-3-fullins-5_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308389-1534280720/watcher-4308389-1534280720 -o /tmp/evaluation-result-4308389-1534280720/solver-4308389-1534280720 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534270838-13463 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1238207639 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308389-1534280720.xml

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

MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76
RANDOM SEED=1238207639

node148.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.50
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.50
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.50
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.50
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:        22397468 kB
MemAvailable:   30501568 kB
Buffers:          160060 kB
Cached:          8150292 kB
SwapCached:            4 kB
Active:          5810380 kB
Inactive:        3952352 kB
Active(anon):    1405908 kB
Inactive(anon):    98752 kB
Active(file):    4404472 kB
Inactive(file):  3853600 kB
Unevictable:        7348 kB
Mlocked:            7348 kB
SwapTotal:      67108860 kB
SwapFree:       67108368 kB
Dirty:             36960 kB
Writeback:             0 kB
AnonPages:       1460088 kB
Mapped:            68040 kB
Shmem:             49588 kB
Slab:             303568 kB
SReclaimable:     274488 kB
SUnreclaim:        29080 kB
KernelStack:        3552 kB
PageTables:         8608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2406464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1384448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 42576 MiB
End job on node148 at 2018-08-14 23:44:52