Trace number 4273517

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering 2017-07-26SAT (TO)7 2520.1299 2383.8601

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-3-fullins-5.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 benchmark1504.59
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.27/0.37	c version: 2017-07-26
0.27/0.37	c seed: 2129943108
0.27/0.37	c timeout: 2520
0.27/0.37	c memlimit: 11000
0.27/0.37	c nbcore: 4
0.27/0.39	c Parsing instance...
14.21/6.95	c Parsing done, starting search...
15.63/7.62	o 2029
17.64/8.37	o 2028
18.62/8.94	o 2027
22.06/10.16	o 2026
22.61/10.67	o 2025
23.19/11.18	o 2024
23.80/11.71	o 2023
24.30/12.22	o 2022
24.80/12.72	o 2021
25.30/13.24	o 2020
25.80/13.76	o 2019
26.30/14.26	o 2018
26.80/14.77	o 2017
27.30/15.28	o 2016
27.81/15.78	o 2015
28.31/16.29	o 2014
28.92/16.83	o 2013
29.42/17.33	o 2012
29.92/17.84	o 2011
30.46/18.34	o 2010
30.96/18.84	o 2009
31.46/19.36	o 2008
31.98/19.86	o 2007
32.53/20.36	o 2006
33.03/20.85	o 2005
33.63/21.40	o 2004
35.76/22.41	o 2003
36.26/22.94	o 2002
36.81/23.45	o 2001
37.31/23.97	o 2000
37.81/24.48	o 1999
38.31/24.98	o 1998
38.81/25.48	o 1997
39.31/26.01	o 1996
39.91/26.50	o 1995
40.31/26.99	o 1994
40.82/27.48	o 1993
41.32/27.97	o 1992
41.82/28.44	o 1991
42.32/28.95	o 1990
42.82/29.45	o 1989
43.32/29.94	o 1988
43.82/30.43	o 1987
44.32/30.94	o 1986
44.82/31.44	o 1985
45.33/31.92	o 1984
45.83/32.40	o 1983
46.23/32.89	o 1982
46.73/33.38	o 1981
47.23/33.89	o 1980
47.73/34.38	o 1979
48.34/34.91	o 1978
49.05/35.47	o 1977
49.55/35.97	o 1976
50.06/36.48	o 1975
50.56/36.97	o 1974
51.06/37.47	o 1973
51.56/37.96	o 1972
52.06/38.44	o 1971
52.56/38.93	o 1970
53.06/39.44	o 1969
53.56/39.95	o 1968
54.06/40.47	o 1967
54.56/40.98	o 1966
55.06/41.48	o 1965
55.56/41.95	o 1964
56.06/42.43	o 1963
56.56/42.96	o 1962
57.06/43.45	o 1961
57.56/43.94	o 1960
58.06/44.46	o 1959
58.56/44.99	o 1958
59.06/45.48	o 1957
59.56/45.98	o 1956
60.06/46.47	o 1955
60.57/46.98	o 1954
61.07/47.46	o 1953
61.81/48.04	o 1952
62.39/48.53	o 1951
62.78/49.00	o 1950
63.39/49.51	o 1949
63.79/50.00	o 1948
64.39/50.51	o 1947
64.79/50.99	o 1946
65.30/51.46	o 1945
65.80/51.94	o 1944
66.30/52.42	o 1943
66.80/52.90	o 1942
67.20/53.39	o 1941
67.70/53.89	o 1940
68.20/54.35	o 1939
68.70/54.84	o 1938
69.19/55.38	o 1937
69.79/55.92	o 1936
70.29/56.44	o 1935
70.79/56.95	o 1934
71.29/57.45	o 1933
71.79/57.95	o 1932
72.29/58.44	o 1931
72.79/58.94	o 1930
73.30/59.42	o 1929
73.80/59.91	o 1928
74.20/60.39	o 1927
74.70/60.89	o 1926
75.52/61.45	o 1925
76.02/61.93	o 1924
76.52/62.43	o 1923
77.02/62.90	o 1922
77.42/63.39	o 1921
77.93/63.86	o 1920
78.43/64.37	o 1919
78.93/64.85	o 1918
79.43/65.36	o 1917
79.93/65.85	o 1916
80.43/66.36	o 1915
80.93/66.83	o 1914
81.43/67.32	o 1913
81.93/67.81	o 1912
82.44/68.30	o 1911
82.84/68.78	o 1910
83.34/69.28	o 1909
83.84/69.77	o 1908
84.34/70.24	o 1907
84.84/70.73	o 1906
85.34/71.23	o 1905
85.84/71.75	o 1904
86.35/72.24	o 1903
86.85/72.75	o 1902
87.35/73.24	o 1901
87.85/73.78	o 1900
88.57/74.24	o 1899
89.08/74.74	o 1898
89.58/75.26	o 1897
90.08/75.74	o 1896
90.58/76.23	o 1895
91.08/76.71	o 1894
91.49/77.18	o 1893
91.98/77.67	o 1892
92.49/78.14	o 1891
92.99/78.63	o 1890
93.50/79.12	o 1889
93.99/79.61	o 1888
94.39/80.08	o 1887
94.89/80.55	o 1886
95.39/81.05	o 1885
95.89/81.52	o 1884
96.40/82.02	o 1883
96.79/82.49	o 1882
97.29/82.97	o 1881
97.79/83.44	o 1880
98.29/83.90	o 1879
98.79/84.40	o 1878
99.19/84.88	o 1877
99.69/85.35	o 1876
100.19/85.82	o 1875
100.69/86.31	o 1874
101.46/86.88	o 1873
101.96/87.37	o 1872
102.46/87.84	o 1871
102.96/88.31	o 1870
103.36/88.78	o 1869
103.86/89.28	o 1868
104.36/89.75	o 1867
104.86/90.22	o 1866
105.26/90.67	o 1865
105.77/91.14	o 1864
106.26/91.65	o 1863
106.67/92.09	o 1862
107.16/92.55	o 1861
107.67/93.04	o 1860
108.16/93.51	o 1859
108.57/93.97	o 1858
109.07/94.45	o 1857
109.57/94.92	o 1856
109.97/95.38	o 1855
110.48/95.86	o 1854
110.97/96.34	o 1853
111.48/96.81	o 1852
111.88/97.28	o 1851
112.38/97.74	o 1850
112.88/98.20	o 1849
113.38/98.71	o 1848
113.88/99.21	o 1847
114.82/99.81	o 1846
115.22/100.27	o 1845
115.72/100.72	o 1844
116.13/101.18	o 1843
116.62/101.65	o 1842
117.13/102.12	o 1841
117.62/102.61	o 1840
118.03/103.09	o 1839
118.52/103.56	o 1838
119.04/104.01	o 1837
119.43/104.46	o 1836
119.93/104.91	o 1835
120.33/105.38	o 1834
120.83/105.86	o 1833
121.33/106.31	o 1832
121.73/106.78	o 1831
122.23/107.25	o 1830
122.74/107.75	o 1829
123.24/108.21	o 1828
123.64/108.69	o 1827
124.15/109.17	o 1826
124.64/109.65	o 1825
125.15/110.16	o 1824
125.64/110.63	o 1823
126.15/111.12	o 1822
126.54/111.58	o 1821
127.05/112.05	o 1820
128.00/112.64	o 1819
128.40/113.09	o 1818
128.90/113.56	o 1817
129.40/114.05	o 1816
129.90/114.51	o 1815
130.30/114.99	o 1814
130.80/115.44	o 1813
131.30/115.90	o 1812
131.80/116.41	o 1811
132.20/116.89	o 1810
132.70/117.36	o 1809
133.20/117.83	o 1808
133.70/118.32	o 1807
134.10/118.79	o 1806
134.60/119.26	o 1805
135.10/119.73	o 1804
135.52/120.19	o 1803
136.01/120.65	o 1802
136.52/121.12	o 1801
136.91/121.56	o 1800
137.42/122.03	o 1799
137.81/122.50	o 1798
138.31/122.96	o 1797
138.81/123.46	o 1796
139.31/123.91	o 1795
139.70/124.36	o 1794
140.21/124.80	o 1793
140.61/125.26	o 1792
141.68/125.86	o 1791
142.18/126.33	o 1790
142.68/126.80	o 1789
143.08/127.26	o 1788
143.58/127.73	o 1787
143.99/128.19	o 1786
144.49/128.65	o 1785
144.90/129.09	o 1784
145.39/129.54	o 1783
145.79/130.00	o 1782
146.29/130.46	o 1781
146.79/130.91	o 1780
147.19/131.37	o 1779
147.69/131.84	o 1778
148.09/132.29	o 1777
148.60/132.76	o 1776
149.11/133.22	o 1775
149.51/133.70	o 1774
150.02/134.16	o 1773
150.51/134.62	o 1772
150.92/135.08	o 1771
151.41/135.54	o 1770
151.81/135.99	o 1769
152.31/136.45	o 1768
152.82/136.91	o 1767
153.22/137.36	o 1766
153.72/137.83	o 1765
154.12/138.29	o 1764
155.13/138.87	o 1763
155.63/139.33	o 1762
156.03/139.78	o 1761
156.53/140.28	o 1760
157.03/140.74	o 1759
157.53/141.21	o 1758
157.93/141.67	o 1757
158.44/142.14	o 1756
158.83/142.59	o 1755
159.34/143.08	o 1754
159.84/143.57	o 1753
160.34/144.03	o 1752
160.83/144.51	o 1751
161.24/144.97	o 1750
161.73/145.44	o 1749
162.24/145.91	o 1748
162.64/146.35	o 1747
163.14/146.81	o 1746
163.54/147.27	o 1745
164.04/147.71	o 1744
164.45/148.16	o 1743
164.94/148.63	o 1742
165.35/149.08	o 1741
165.84/149.52	o 1740
166.24/149.98	o 1739
166.74/150.44	o 1738
167.24/150.90	o 1737
168.45/151.55	o 1736
168.96/152.01	o 1735
169.35/152.45	o 1734
169.85/152.90	o 1733
170.25/153.37	o 1732
170.75/153.83	o 1731
171.15/154.27	o 1730
171.65/154.71	o 1729
172.06/155.15	o 1728
172.55/155.61	o 1727
172.96/156.07	o 1726
173.45/156.52	o 1725
173.85/156.97	o 1724
174.35/157.43	o 1723
174.85/157.91	o 1722
175.25/158.36	o 1721
175.75/158.80	o 1720
176.15/159.25	o 1719
176.65/159.71	o 1718
177.06/160.17	o 1717
177.55/160.61	o 1716
177.97/161.07	o 1715
178.46/161.52	o 1714
178.86/161.96	o 1713
179.36/162.41	o 1712
179.76/162.84	o 1711
180.16/163.27	o 1710
180.66/163.72	o 1709
181.80/164.36	o 1708
182.30/164.83	o 1707
182.70/165.27	o 1706
183.20/165.73	o 1705
183.61/166.19	o 1704
184.10/166.64	o 1703
184.51/167.10	o 1702
185.00/167.57	o 1701
185.51/168.02	o 1700
185.90/168.49	o 1699
186.40/168.93	o 1698
186.80/169.37	o 1697
187.30/169.86	o 1696
187.80/170.31	o 1695
188.20/170.78	o 1694
188.70/171.22	o 1693
189.10/171.67	o 1692
189.61/172.11	o 1691
190.00/172.57	o 1690
190.51/173.01	o 1689
190.90/173.44	o 1688
191.40/173.90	o 1687
191.80/174.34	o 1686
192.20/174.78	o 1685
192.70/175.25	o 1684
193.21/175.72	o 1683
193.62/176.17	o 1682
194.91/176.82	o 1681
195.31/177.27	o 1680
195.81/177.73	o 1679
196.22/178.17	o 1678
196.71/178.63	o 1677
197.12/179.08	o 1676
197.62/179.51	o 1675
198.02/179.97	o 1674
198.52/180.42	o 1673
198.92/180.86	o 1672
199.32/181.29	o 1671
199.82/181.72	o 1670
200.23/182.18	o 1669
200.72/182.61	o 1668
201.13/183.07	o 1667
201.62/183.55	o 1666
202.02/183.99	o 1665
202.51/184.43	o 1664
202.91/184.87	o 1663
203.41/185.30	o 1662
203.81/185.75	o 1661
204.31/186.20	o 1660
204.71/186.65	o 1659
205.22/187.12	o 1658
205.61/187.59	o 1657
206.12/188.04	o 1656
207.46/188.71	o 1655
207.87/189.16	o 1654
208.36/189.61	o 1653
208.77/190.05	o 1652
209.16/190.50	o 1651
209.66/190.94	o 1650
210.06/191.39	o 1649
210.56/191.83	o 1648
210.97/192.29	o 1647
211.47/192.75	o 1646
211.89/193.18	o 1645
212.38/193.63	o 1644
212.79/194.06	o 1643
213.18/194.49	o 1642
213.68/194.92	o 1641
214.08/195.35	o 1640
214.58/195.81	o 1639
214.98/196.25	o 1638
215.38/196.69	o 1637
215.89/197.13	o 1636
216.28/197.56	o 1635
216.68/198.00	o 1634
217.18/198.44	o 1633
217.58/198.87	o 1632
218.08/199.30	o 1631
218.48/199.74	o 1630
218.89/200.18	o 1629
220.26/200.85	o 1628
220.66/201.28	o 1627
221.16/201.71	o 1626
221.57/202.17	o 1625
222.06/202.61	o 1624
222.47/203.05	o 1623
222.86/203.49	o 1622
223.36/203.95	o 1621
223.86/204.40	o 1620
224.26/204.84	o 1619
224.76/205.32	o 1618
225.16/205.74	o 1617
225.57/206.16	o 1616
226.06/206.63	o 1615
226.47/207.05	o 1614
226.86/207.49	o 1613
227.36/207.93	o 1612
227.76/208.35	o 1611
228.26/208.81	o 1610
228.66/209.25	o 1609
229.06/209.69	o 1608
229.57/210.14	o 1607
229.96/210.57	o 1606
230.47/211.03	o 1605
230.87/211.47	o 1604
232.29/212.15	o 1603
232.69/212.57	o 1602
233.09/212.99	o 1601
233.58/213.42	o 1600
233.98/213.85	o 1599
234.38/214.28	o 1598
234.88/214.71	o 1597
235.29/215.14	o 1596
235.68/215.57	o 1595
236.19/216.01	o 1594
236.59/216.45	o 1593
236.99/216.89	o 1592
237.49/217.35	o 1591
237.99/217.80	o 1590
238.38/218.23	o 1589
238.78/218.66	o 1588
239.19/219.10	o 1587
239.69/219.53	o 1586
240.09/219.96	o 1585
240.49/220.38	o 1584
240.99/220.82	o 1583
241.39/221.25	o 1582
241.79/221.69	o 1581
242.30/222.12	o 1580
242.69/222.54	o 1579
244.13/223.21	o 1578
244.53/223.66	o 1577
244.94/224.09	o 1576
245.43/224.53	o 1575
245.83/224.97	o 1574
246.33/225.40	o 1573
246.73/225.85	o 1572
247.13/226.27	o 1571
247.53/226.69	o 1570
248.04/227.13	o 1569
248.43/227.56	o 1568
248.83/227.99	o 1567
249.33/228.41	o 1566
249.73/228.83	o 1565
250.13/229.26	o 1564
250.53/229.68	o 1563
250.94/230.10	o 1562
251.43/230.58	o 1561
251.83/231.00	o 1560
252.33/231.42	o 1559
252.74/231.85	o 1558
253.14/232.29	o 1557
253.64/232.73	o 1556
255.12/233.42	o 1555
255.52/233.86	o 1554
255.92/234.28	o 1553
256.42/234.70	o 1552
256.83/235.12	o 1551
257.22/235.52	o 1550
257.62/235.95	o 1549
258.02/236.38	o 1548
258.52/236.80	o 1547
258.92/237.23	o 1546
259.32/237.64	o 1545
259.73/238.06	o 1544
260.12/238.48	o 1543
260.63/238.93	o 1542
261.03/239.35	o 1541
261.43/239.78	o 1540
261.93/240.20	o 1539
262.33/240.62	o 1538
262.74/241.02	o 1537
263.13/241.46	o 1536
263.53/241.88	o 1535
264.03/242.30	o 1534
264.43/242.70	o 1533
264.84/243.12	o 1532
266.35/243.83	o 1531
266.75/244.24	o 1530
267.15/244.66	o 1529
267.56/245.07	o 1528
268.05/245.51	o 1527
268.45/245.93	o 1526
268.86/246.35	o 1525
269.26/246.76	o 1524
269.67/247.18	o 1523
270.06/247.59	o 1522
270.46/248.00	o 1521
270.96/248.45	o 1520
271.36/248.87	o 1519
271.76/249.29	o 1518
272.27/249.71	o 1517
272.68/250.14	o 1516
273.07/250.56	o 1515
273.47/250.98	o 1514
273.87/251.39	o 1513
274.27/251.79	o 1512
274.77/252.20	o 1511
275.17/252.62	o 1510
276.68/253.30	o 1509
277.08/253.74	o 1508
277.49/254.15	o 1507
277.88/254.58	o 1506
278.28/254.98	o 1505
278.68/255.39	o 1504
279.18/255.83	o 1503
279.58/256.25	o 1502
279.98/256.69	o 1501
280.49/257.12	o 1500
280.89/257.53	o 1499
281.29/257.94	o 1498
281.69/258.35	o 1497
282.09/258.78	o 1496
282.50/259.19	o 1495
282.99/259.61	o 1494
283.40/260.04	o 1493
283.79/260.46	o 1492
284.19/260.88	o 1491
284.69/261.31	o 1490
285.09/261.71	o 1489
285.50/262.11	o 1488
285.89/262.51	o 1487
287.40/263.22	o 1486
287.80/263.63	o 1485
288.21/264.07	o 1484
288.60/264.48	o 1483
289.00/264.89	o 1482
289.50/265.31	o 1481
289.90/265.76	o 1480
290.31/266.16	o 1479
290.70/266.56	o 1478
291.10/266.96	o 1477
291.50/267.37	o 1476
291.90/267.78	o 1475
292.31/268.18	o 1474
292.70/268.57	o 1473
293.10/269.00	o 1472
293.60/269.41	o 1471
294.00/269.86	o 1470
294.40/270.27	o 1469
294.80/270.69	o 1468
295.21/271.10	o 1467
295.70/271.51	o 1466
296.10/271.92	o 1465
297.62/272.60	o 1464
298.03/273.03	o 1463
298.42/273.45	o 1462
298.83/273.86	o 1461
299.23/274.27	o 1460
299.63/274.66	o 1459
300.03/275.07	o 1458
300.53/275.52	o 1457
300.93/275.92	o 1456
301.33/276.33	o 1455
301.73/276.74	o 1454
302.14/277.14	o 1453
302.53/277.57	o 1452
302.93/277.98	o 1451
303.33/278.38	o 1450
303.73/278.77	o 1449
304.14/279.17	o 1448
304.53/279.58	o 1447
304.93/279.99	o 1446
305.43/280.41	o 1445
305.83/280.83	o 1444
307.68/281.60	o 1443
308.09/282.01	o 1442
308.48/282.41	o 1441
308.88/282.82	o 1440
309.28/283.23	o 1439
309.68/283.64	o 1438
310.09/284.05	o 1437
310.48/284.45	o 1436
310.88/284.85	o 1435
311.28/285.25	o 1434
311.68/285.67	o 1433
312.09/286.10	o 1432
312.58/286.51	o 1431
312.98/286.92	o 1430
313.38/287.33	o 1429
313.78/287.76	o 1428
314.28/288.22	o 1427
314.68/288.62	o 1426
315.09/289.02	o 1425
315.48/289.47	o 1424
315.88/289.87	o 1423
317.69/290.61	o 1422
318.10/291.01	o 1421
318.49/291.42	o 1420
318.89/291.80	o 1419
319.20/292.19	o 1418
319.69/292.60	o 1417
320.10/293.01	o 1416
320.49/293.42	o 1415
320.89/293.87	o 1414
321.29/294.27	o 1413
321.69/294.66	o 1412
322.10/295.08	o 1411
322.49/295.48	o 1410
322.89/295.87	o 1409
323.29/296.29	o 1408
323.79/296.70	o 1407
324.10/297.09	o 1406
324.59/297.50	o 1405
324.99/297.91	o 1404
325.29/298.29	o 1403
325.69/298.69	o 1402
326.10/299.08	o 1401
327.89/299.83	o 1400
328.29/300.23	o 1399
328.69/300.63	o 1398
329.10/301.02	o 1397
329.50/301.41	o 1396
329.90/301.80	o 1395
330.30/302.20	o 1394
330.60/302.58	o 1393
331.00/302.95	o 1392
331.40/303.34	o 1391
331.80/303.76	o 1390
332.21/304.15	o 1389
332.60/304.54	o 1388
333.00/304.94	o 1387
333.40/305.33	o 1386
333.80/305.72	o 1385
334.21/306.12	o 1384
334.60/306.54	o 1383
335.00/306.94	o 1382
335.40/307.34	o 1381
335.80/307.76	o 1380
337.48/308.47	o 1379
337.88/308.89	o 1378
338.28/309.28	o 1377
338.68/309.68	o 1376
339.09/310.07	o 1375
339.48/310.47	o 1374
339.88/310.86	o 1373
340.28/311.25	o 1372
340.68/311.64	o 1371
341.09/312.04	o 1370
341.48/312.44	o 1369
341.88/312.82	o 1368
342.28/313.22	o 1367
342.68/313.62	o 1366
343.09/314.02	o 1365
343.48/314.41	o 1364
343.88/314.80	o 1363
344.28/315.20	o 1362
344.58/315.60	o 1361
344.98/315.98	o 1360
345.38/316.39	o 1359
347.18/317.11	o 1358
347.47/317.50	o 1357
347.87/317.89	o 1356
348.27/318.29	o 1355
348.67/318.68	o 1354
349.08/319.08	o 1353
349.47/319.48	o 1352
349.87/319.89	o 1351
350.27/320.28	o 1350
350.78/320.70	o 1349
351.19/321.11	o 1348
351.58/321.50	o 1347
351.98/321.90	o 1346
352.28/322.29	o 1345
352.68/322.67	o 1344
353.08/323.07	o 1343
353.48/323.48	o 1342
353.98/323.90	o 1341
354.38/324.30	o 1340
354.68/324.68	o 1339
355.09/325.09	o 1338
356.85/325.80	o 1337
357.25/326.20	o 1336
357.55/326.59	o 1335
357.95/326.97	o 1334
358.35/327.37	o 1333
358.75/327.76	o 1332
359.16/328.14	o 1331
359.55/328.52	o 1330
359.95/328.92	o 1329
360.25/329.29	o 1328
360.65/329.68	o 1327
361.06/330.05	o 1326
361.45/330.42	o 1325
361.85/330.80	o 1324
362.25/331.21	o 1323
362.55/331.58	o 1322
362.95/331.96	o 1321
363.35/332.35	o 1320
363.75/332.73	o 1319
364.06/333.09	o 1318
364.46/333.48	o 1317
364.85/333.87	o 1316
366.49/334.58	o 1315
366.89/334.97	o 1314
367.30/335.35	o 1313
367.70/335.74	o 1312
368.11/336.13	o 1311
368.50/336.50	o 1310
368.80/336.89	o 1309
369.20/337.26	o 1308
369.60/337.64	o 1307
370.01/338.06	o 1306
370.40/338.44	o 1305
370.80/338.82	o 1304
371.20/339.22	o 1303
371.60/339.61	o 1302
371.90/340.00	o 1301
372.30/340.37	o 1300
372.70/340.76	o 1299
373.11/341.14	o 1298
373.50/341.53	o 1297
373.90/341.90	o 1296
374.20/342.29	o 1295
375.97/343.02	o 1294
376.36/343.40	o 1293
376.66/343.78	o 1292
377.07/344.15	o 1291
377.46/344.54	o 1290
377.86/344.92	o 1289
378.26/345.32	o 1288
378.56/345.69	o 1287
378.98/346.07	o 1286
379.37/346.48	o 1285
379.77/346.84	o 1284
380.17/347.21	o 1283
380.57/347.61	o 1282
380.87/348.00	o 1281
381.27/348.39	o 1280
381.67/348.78	o 1279
382.08/349.15	o 1278
382.47/349.53	o 1277
382.87/349.90	o 1276
383.17/350.29	o 1275
383.57/350.67	o 1274
385.22/351.37	o 1273
385.62/351.76	o 1272
386.03/352.13	o 1271
386.42/352.50	o 1270
386.72/352.87	o 1269
387.12/353.25	o 1268
387.52/353.64	o 1267
387.93/354.01	o 1266
388.22/354.38	o 1265
388.62/354.75	o 1264
389.03/355.13	o 1263
389.42/355.52	o 1262
389.72/355.89	o 1261
390.12/356.27	o 1260
390.52/356.65	o 1259
390.93/357.02	o 1258
391.32/357.40	o 1257
391.62/357.78	o 1256
392.03/358.15	o 1255
392.42/358.52	o 1254
392.73/358.88	o 1253
393.13/359.24	o 1252
394.76/359.93	o 1251
395.17/360.33	o 1250
395.56/360.71	o 1249
395.87/361.10	o 1248
396.27/361.48	o 1247
396.67/361.86	o 1246
397.08/362.22	o 1245
397.37/362.58	o 1244
397.77/362.95	o 1243
398.17/363.32	o 1242
398.47/363.69	o 1241
398.88/364.07	o 1240
399.27/364.46	o 1239
399.68/364.84	o 1238
400.08/365.22	o 1237
400.48/365.61	o 1236
400.78/365.98	o 1235
401.18/366.34	o 1234
401.48/366.70	o 1233
401.88/367.06	o 1232
402.28/367.44	o 1231
403.92/368.13	o 1230
404.31/368.50	o 1229
404.61/368.86	o 1228
405.01/369.22	o 1227
405.31/369.59	o 1226
405.71/369.96	o 1225
406.11/370.34	o 1224
406.51/370.71	o 1223
406.82/371.09	o 1222
407.21/371.45	o 1221
407.61/371.82	o 1220
407.92/372.19	o 1219
408.31/372.55	o 1218
408.71/372.92	o 1217
409.01/373.29	o 1216
409.41/373.65	o 1215
409.82/374.02	o 1214
410.11/374.38	o 1213
410.51/374.74	o 1212
410.92/375.12	o 1211
411.21/375.48	o 1210
411.61/375.85	o 1209
412.01/376.20	o 1208
413.56/376.88	o 1207
413.96/377.25	o 1206
414.36/377.62	o 1205
414.66/377.98	o 1204
415.06/378.36	o 1203
415.46/378.72	o 1202
415.77/379.08	o 1201
416.16/379.43	o 1200
416.56/379.82	o 1199
416.87/380.18	o 1198
417.26/380.56	o 1197
417.66/380.93	o 1196
418.06/381.30	o 1195
418.36/381.66	o 1194
418.77/382.02	o 1193
419.06/382.39	o 1192
419.46/382.76	o 1191
419.87/383.12	o 1190
420.16/383.48	o 1189
420.56/383.84	o 1188
420.96/384.22	o 1187
421.36/384.60	o 1186
433.75/389.98	o 1185
434.15/390.35	o 1184
434.55/390.72	o 1183
434.86/391.07	o 1182
435.26/391.43	o 1181
435.66/391.80	o 1180
435.97/392.17	o 1179
436.36/392.57	o 1178
436.76/392.92	o 1177
437.06/393.28	o 1176
437.46/393.63	o 1175
437.76/394.00	o 1174
438.16/394.36	o 1173
438.56/394.72	o 1172
438.87/395.09	o 1171
439.26/395.45	o 1170
439.66/395.82	o 1169
439.97/396.19	o 1168
440.36/396.55	o 1167
440.76/396.92	o 1166
441.06/397.27	o 1165
441.46/397.62	o 1164
443.17/398.37	o 1163
443.68/398.74	o 1162
443.99/399.11	o 1161
444.38/399.46	o 1160
444.78/399.82	o 1159
445.09/400.17	o 1158
445.48/400.54	o 1157
445.88/400.90	o 1156
446.18/401.25	o 1155
446.58/401.61	o 1154
446.88/401.95	o 1153
447.28/402.31	o 1152
447.58/402.68	o 1151
447.99/403.04	o 1150
448.28/403.38	o 1149
448.68/403.73	o 1148
448.99/404.09	o 1147
449.38/404.45	o 1146
449.78/404.82	o 1145
450.09/405.17	o 1144
450.48/405.54	o 1143
450.88/405.91	o 1142
451.18/406.27	o 1141
452.83/406.95	o 1140
453.23/407.32	o 1139
453.53/407.68	o 1138
453.94/408.04	o 1137
454.33/408.40	o 1136
454.63/408.75	o 1135
455.04/409.11	o 1134
455.33/409.44	o 1133
455.63/409.79	o 1132
456.04/410.13	o 1131
456.33/410.49	o 1130
456.73/410.85	o 1129
457.13/411.22	o 1128
457.43/411.59	o 1127
457.83/411.95	o 1126
458.23/412.31	o 1125
458.53/412.67	o 1124
458.94/413.02	o 1123
459.23/413.38	o 1122
459.63/413.74	o 1121
459.94/414.09	o 1120
460.33/414.44	o 1119
460.63/414.79	o 1118
462.95/415.62	o 1117
463.25/415.98	o 1116
463.65/416.32	o 1115
463.95/416.67	o 1114
464.36/417.02	o 1113
464.65/417.39	o 1112
465.05/417.75	o 1111
465.46/418.12	o 1110
465.76/418.47	o 1109
466.16/418.81	o 1108
466.47/419.15	o 1107
466.86/419.51	o 1106
467.16/419.87	o 1105
467.56/420.22	o 1104
467.86/420.58	o 1103
468.26/420.92	o 1102
468.56/421.26	o 1101
468.96/421.61	o 1100
469.26/421.96	o 1099
469.66/422.31	o 1098
469.96/422.66	o 1097
470.26/422.99	o 1096
470.66/423.33	o 1095
470.96/423.68	o 1094
474.00/424.71	o 1093
474.31/425.08	o 1092
474.70/425.43	o 1091
475.00/425.80	o 1090
475.41/426.16	o 1089
475.80/426.51	o 1088
476.10/426.86	o 1087
476.50/427.20	o 1086
476.80/427.55	o 1085
477.20/427.90	o 1084
477.50/428.25	o 1083
477.80/428.59	o 1082
478.20/428.93	o 1081
478.50/429.27	o 1080
478.91/429.61	o 1079
479.21/429.96	o 1078
479.51/430.29	o 1077
479.91/430.63	o 1076
480.21/430.98	o 1075
480.61/431.32	o 1074
480.91/431.65	o 1073
481.21/431.99	o 1072
481.61/432.35	o 1071
484.80/433.41	o 1070
485.10/433.75	o 1069
485.41/434.10	o 1068
485.80/434.42	o 1067
486.11/434.77	o 1066
486.51/435.11	o 1065
486.80/435.45	o 1064
487.20/435.80	o 1063
487.51/436.16	o 1062
487.81/436.50	o 1061
488.21/436.85	o 1060
488.61/437.20	o 1059
488.92/437.55	o 1058
489.22/437.89	o 1057
489.62/438.25	o 1056
489.92/438.58	o 1055
490.32/438.94	o 1054
490.62/439.26	o 1053
490.92/439.60	o 1052
491.32/439.95	o 1051
491.62/440.29	o 1050
492.02/440.64	o 1049
492.32/440.97	o 1048
492.72/441.31	o 1047
495.64/442.33	o 1046
495.94/442.67	o 1045
496.35/443.02	o 1044
496.64/443.36	o 1043
497.04/443.70	o 1042
497.35/444.06	o 1041
497.74/444.40	o 1040
498.04/444.75	o 1039
498.35/445.09	o 1038
498.74/445.42	o 1037
499.04/445.75	o 1036
499.35/446.08	o 1035
499.74/446.42	o 1034
500.04/446.77	o 1033
500.45/447.11	o 1032
500.74/447.48	o 1031
501.14/447.83	o 1030
501.45/448.18	o 1029
501.84/448.52	o 1028
502.14/448.86	o 1027
502.54/449.20	o 1026
502.85/449.54	o 1025
503.15/449.88	o 1024
506.30/450.91	o 1023
506.60/451.25	o 1022
506.90/451.59	o 1021
507.30/451.93	o 1020
507.60/452.27	o 1019
508.00/452.60	o 1018
508.30/452.93	o 1017
508.60/453.28	o 1016
509.00/453.62	o 1015
509.30/453.95	o 1014
509.60/454.28	o 1013
510.00/454.62	o 1012
510.31/454.95	o 1011
510.61/455.30	o 1010
511.01/455.63	o 1009
511.31/455.98	o 1008
511.71/456.32	o 1007
512.01/456.66	o 1006
512.42/457.01	o 1005
512.71/457.36	o 1004
513.01/457.70	o 1003
513.42/458.04	o 1002
513.71/458.38	o 1001
514.11/458.72	o 1000
516.80/459.68	o 999
517.21/460.01	o 998
517.50/460.34	o 997
517.80/460.67	o 996
518.10/461.00	o 995
518.50/461.33	o 994
518.80/461.67	o 993
519.21/462.01	o 992
519.50/462.34	o 991
519.80/462.67	o 990
520.21/463.01	o 989
520.50/463.33	o 988
520.80/463.66	o 987
521.10/463.99	o 986
521.50/464.31	o 985
521.80/464.65	o 984
522.10/464.97	o 983
522.50/465.30	o 982
522.80/465.65	o 981
523.10/465.98	o 980
523.50/466.31	o 979
523.80/466.65	o 978
524.10/466.98	o 977
524.50/467.32	o 976
538.53/472.50	o 975
538.93/472.84	o 974
539.24/473.17	o 973
539.53/473.50	o 972
539.93/473.82	o 971
540.24/474.13	o 970
540.53/474.46	o 969
540.83/474.79	o 968
541.14/475.11	o 967
541.53/475.44	o 966
541.83/475.76	o 965
542.13/476.10	o 964
542.52/476.43	o 963
542.82/476.77	o 962
543.13/477.10	o 961
543.52/477.42	o 960
543.82/477.75	o 959
544.13/478.08	o 958
544.52/478.41	o 957
544.83/478.73	o 956
545.14/479.05	o 955
545.43/479.37	o 954
545.73/479.68	o 953
546.03/480.00	o 952
548.78/480.91	o 951
549.08/481.23	o 950
549.38/481.56	o 949
549.68/481.87	o 948
549.99/482.18	o 947
550.38/482.50	o 946
550.68/482.83	o 945
550.99/483.16	o 944
551.28/483.49	o 943
551.68/483.81	o 942
551.99/484.13	o 941
552.28/484.45	o 940
552.58/484.78	o 939
552.99/485.12	o 938
553.28/485.44	o 937
553.58/485.77	o 936
553.89/486.09	o 935
554.28/486.42	o 934
554.58/486.75	o 933
554.89/487.05	o 932
555.18/487.37	o 931
555.48/487.68	o 930
555.78/488.00	o 929
556.18/488.32	o 928
558.38/489.12	o 927
558.67/489.46	o 926
558.97/489.78	o 925
559.38/490.12	o 924
559.67/490.45	o 923
559.97/490.79	o 922
560.38/491.11	o 921
560.67/491.43	o 920
560.97/491.75	o 919
561.28/492.08	o 918
561.67/492.42	o 917
561.97/492.74	o 916
562.28/493.07	o 915
562.67/493.40	o 914
562.97/493.74	o 913
563.28/494.06	o 912
563.67/494.41	o 911
563.97/494.73	o 910
564.28/495.07	o 909
564.57/495.38	o 908
564.97/495.70	o 907
565.28/496.02	o 906
565.57/496.36	o 905
567.37/497.10	o 904
567.93/497.43	o 903
568.23/497.74	o 902
568.53/498.05	o 901
568.83/498.37	o 900
569.13/498.68	o 899
569.43/498.98	o 898
569.73/499.29	o 897
570.13/499.61	o 896
570.43/499.93	o 895
570.73/500.25	o 894
571.03/500.57	o 893
571.44/500.90	o 892
571.74/501.22	o 891
572.04/501.54	o 890
572.34/501.86	o 889
572.65/502.17	o 888
572.94/502.48	o 887
573.24/502.78	o 886
573.55/503.10	o 885
573.94/503.41	o 884
574.24/503.72	o 883
574.55/504.04	o 882
574.84/504.34	o 881
575.14/504.66	o 880
576.96/505.37	o 879
577.36/505.71	o 878
577.67/506.02	o 877
577.96/506.33	o 876
578.26/506.64	o 875
578.56/506.96	o 874
578.86/507.29	o 873
579.26/507.61	o 872
579.56/507.92	o 871
579.86/508.24	o 870
580.16/508.55	o 869
580.46/508.85	o 868
580.77/509.15	o 867
581.06/509.47	o 866
581.36/509.77	o 865
581.77/510.16	o 864
582.06/510.48	o 863
582.46/510.80	o 862
582.77/511.11	o 861
583.06/511.43	o 860
583.36/511.74	o 859
585.23/512.43	o 858
585.53/512.73	o 857
585.84/513.04	o 856
586.13/513.36	o 855
586.43/513.68	o 854
586.73/513.98	o 853
587.03/514.29	o 852
587.43/514.60	o 851
587.73/514.91	o 850
588.03/515.20	o 849
588.33/515.50	o 848
588.63/515.80	o 847
588.94/516.11	o 846
589.23/516.43	o 845
589.53/516.73	o 844
589.84/517.05	o 843
590.13/517.35	o 842
590.43/517.65	o 841
590.73/517.96	o 840
591.03/518.27	o 839
591.43/518.60	o 838
591.73/518.92	o 837
592.03/519.23	o 836
593.88/519.92	o 835
594.18/520.22	o 834
594.48/520.51	o 833
594.78/520.80	o 832
594.99/521.10	o 831
595.38/521.42	o 830
595.68/521.73	o 829
595.99/522.04	o 828
596.28/522.34	o 827
596.58/522.65	o 826
596.88/522.96	o 825
597.18/523.27	o 824
597.48/523.58	o 823
597.78/523.87	o 822
598.09/524.19	o 821
598.38/524.49	o 820
598.68/524.79	o 819
598.99/525.09	o 818
599.28/525.39	o 817
599.58/525.70	o 816
599.88/525.99	o 815
600.18/526.29	o 814
600.48/526.59	o 813
600.78/526.89	o 812
602.60/527.57	o 811
602.90/527.87	o 810
603.21/528.17	o 809
603.50/528.48	o 808
603.80/528.78	o 807
604.11/529.07	o 806
604.40/529.37	o 805
604.70/529.66	o 804
605.00/529.97	o 803
605.30/530.28	o 802
605.60/530.58	o 801
605.90/530.88	o 800
606.21/531.18	o 799
606.50/531.47	o 798
606.80/531.77	o 797
607.11/532.06	o 796
607.40/532.37	o 795
607.70/532.67	o 794
608.00/532.97	o 793
608.30/533.26	o 792
608.60/533.55	o 791
608.90/533.85	o 790
609.21/534.15	o 789
611.00/534.83	o 788
611.31/535.12	o 787
611.60/535.42	o 786
611.90/535.72	o 785
612.21/536.01	o 784
612.50/536.31	o 783
612.80/536.61	o 782
613.00/536.89	o 781
613.31/537.19	o 780
613.60/537.49	o 779
613.90/537.80	o 778
614.21/538.09	o 777
614.50/538.40	o 776
614.80/538.70	o 775
615.10/538.98	o 774
615.40/539.27	o 773
615.70/539.57	o 772
616.00/539.86	o 771
616.31/540.16	o 770
616.60/540.46	o 769
616.90/540.77	o 768
617.21/541.07	o 767
617.50/541.38	o 766
619.30/542.03	o 765
619.59/542.32	o 764
619.89/542.62	o 763
620.19/542.91	o 762
620.49/543.21	o 761
620.79/543.50	o 760
620.99/543.79	o 759
621.30/544.08	o 758
621.59/544.37	o 757
621.89/544.67	o 756
622.19/544.96	o 755
622.49/545.25	o 754
622.79/545.55	o 753
623.09/545.84	o 752
623.40/546.13	o 751
623.69/546.43	o 750
623.99/546.74	o 749
624.30/547.03	o 748
624.59/547.33	o 747
624.89/547.62	o 746
625.19/547.92	o 745
625.49/548.20	o 744
627.14/548.84	o 743
627.45/549.15	o 742
627.74/549.44	o 741
628.04/549.73	o 740
628.24/550.00	o 739
628.54/550.28	o 738
628.84/550.57	o 737
629.14/550.89	o 736
629.45/551.19	o 735
629.75/551.48	o 734
630.05/551.78	o 733
630.36/552.07	o 732
630.65/552.37	o 731
630.95/552.65	o 730
631.25/552.95	o 729
631.55/553.25	o 728
631.85/553.54	o 727
632.15/553.82	o 726
632.46/554.11	o 725
632.65/554.39	o 724
632.95/554.69	o 723
633.25/554.98	o 722
633.55/555.28	o 721
635.29/555.92	o 720
635.59/556.21	o 719
635.89/556.51	o 718
636.09/556.79	o 717
636.40/557.09	o 716
636.69/557.38	o 715
636.99/557.67	o 714
637.30/557.95	o 713
637.60/558.24	o 712
637.90/558.52	o 711
638.20/558.82	o 710
638.51/559.11	o 709
638.81/559.41	o 708
639.01/559.69	o 707
639.31/559.97	o 706
639.61/560.26	o 705
639.91/560.55	o 704
640.21/560.83	o 703
640.42/561.10	o 702
640.81/561.40	o 701
641.01/561.69	o 700
641.31/561.98	o 699
643.05/562.62	o 698
643.35/562.92	o 697
643.65/563.21	o 696
643.95/563.50	o 695
644.15/563.79	o 694
644.46/564.07	o 693
644.75/564.34	o 692
645.05/564.62	o 691
645.25/564.90	o 690
645.56/565.19	o 689
645.86/565.47	o 688
646.16/565.75	o 687
646.47/566.03	o 686
646.76/566.31	o 685
646.96/566.59	o 684
647.26/566.86	o 683
647.57/567.14	o 682
647.86/567.42	o 681
648.06/567.70	o 680
648.36/567.97	o 679
648.66/568.25	o 678
648.96/568.52	o 677
649.16/568.80	o 676
650.95/569.45	o 675
651.25/569.74	o 674
651.56/570.02	o 673
651.85/570.31	o 672
652.05/570.58	o 671
652.35/570.87	o 670
652.66/571.14	o 669
652.96/571.41	o 668
653.16/571.68	o 667
653.45/571.96	o 666
653.75/572.24	o 665
654.05/572.52	o 664
654.36/572.80	o 663
654.56/573.08	o 662
654.86/573.37	o 661
655.16/573.65	o 660
655.46/573.92	o 659
655.76/574.21	o 658
655.96/574.49	o 657
656.26/574.77	o 656
656.56/575.05	o 655
656.85/575.33	o 654
659.14/576.11	o 653
659.34/576.39	o 652
659.63/576.68	o 651
659.93/576.96	o 650
660.24/577.24	o 649
660.54/577.52	o 648
660.74/577.79	o 647
661.05/578.06	o 646
661.34/578.34	o 645
661.64/578.62	o 644
661.94/578.90	o 643
662.15/579.18	o 642
662.44/579.46	o 641
662.74/579.73	o 640
663.05/580.01	o 639
663.23/580.28	o 638
663.54/580.56	o 637
663.84/580.84	o 636
664.14/581.12	o 635
664.44/581.41	o 634
664.64/581.68	o 633
664.94/581.96	o 632
666.85/582.68	o 631
667.29/582.96	o 630
667.59/583.24	o 629
667.89/583.50	o 628
668.09/583.79	o 627
668.40/584.06	o 626
668.69/584.33	o 625
668.99/584.60	o 624
669.19/584.87	o 623
669.50/585.14	o 622
669.79/585.42	o 621
669.99/585.69	o 620
670.29/585.97	o 619
670.59/586.24	o 618
670.89/586.52	o 617
671.09/586.78	o 616
671.40/587.04	o 615
671.69/587.31	o 614
671.90/587.59	o 613
672.20/587.85	o 612
672.50/588.12	o 611
672.70/588.39	o 610
673.00/588.66	o 609
689.89/594.67	o 608
690.19/594.93	o 607
690.49/595.21	o 606
690.69/595.49	o 605
690.99/595.79	o 604
691.30/596.05	o 603
691.59/596.31	o 602
691.79/596.59	o 601
692.09/596.86	o 600
692.40/597.12	o 599
692.59/597.38	o 598
692.89/597.64	o 597
693.19/597.91	o 596
693.40/598.17	o 595
693.69/598.44	o 594
693.89/598.69	o 593
694.19/598.95	o 592
694.49/599.22	o 591
694.69/599.49	o 590
694.99/599.75	o 589
695.19/600.00	o 588
695.49/600.27	o 587
696.18/600.65	o 586
696.48/600.91	o 585
696.69/601.17	o 584
696.98/601.45	o 583
697.28/601.71	o 582
697.48/601.96	o 581
697.78/602.22	o 580
698.08/602.51	o 579
698.28/602.77	o 578
698.59/603.03	o 577
698.88/603.30	o 576
699.08/603.55	o 575
699.38/603.82	o 574
699.59/604.09	o 573
699.88/604.36	o 572
700.19/604.63	o 571
700.39/604.88	o 570
700.70/605.15	o 569
700.99/605.41	o 568
701.19/605.67	o 567
701.49/605.93	o 566
701.70/606.18	o 565
702.40/606.59	o 564
702.80/606.85	o 563
703.01/607.11	o 562
703.30/607.37	o 561
703.60/607.63	o 560
703.80/607.90	o 559
704.11/608.16	o 558
704.40/608.42	o 557
704.60/608.68	o 556
704.90/608.93	o 555
705.20/609.20	o 554
705.40/609.46	o 553
705.70/609.73	o 552
705.90/609.99	o 551
706.20/610.26	o 550
706.50/610.52	o 549
706.70/610.78	o 548
707.01/611.03	o 547
707.30/611.30	o 546
707.50/611.55	o 545
707.81/611.81	o 544
708.02/612.08	o 543
709.01/612.50	o 542
709.20/612.76	o 541
709.51/613.03	o 540
709.70/613.29	o 539
710.00/613.54	o 538
710.30/613.80	o 537
710.51/614.06	o 536
710.81/614.31	o 535
711.00/614.58	o 534
711.30/614.84	o 533
711.51/615.09	o 532
711.80/615.34	o 531
712.00/615.58	o 530
712.31/615.83	o 529
712.51/616.09	o 528
712.80/616.34	o 527
713.10/616.60	o 526
713.30/616.86	o 525
713.61/617.12	o 524
713.80/617.37	o 523
714.10/617.62	o 522
714.30/617.87	o 521
715.36/618.32	o 520
715.61/618.58	o 519
715.91/618.82	o 518
716.12/619.08	o 517
716.41/619.33	o 516
716.61/619.57	o 515
716.91/619.81	o 514
717.12/620.05	o 513
717.41/620.30	o 512
717.61/620.56	o 511
717.91/620.82	o 510
718.12/621.07	o 509
718.41/621.31	o 508
718.61/621.57	o 507
718.91/621.83	o 506
719.12/622.09	o 505
719.41/622.35	o 504
719.61/622.59	o 503
719.91/622.85	o 502
720.12/623.10	o 501
720.41/623.36	o 500
720.71/623.60	o 499
720.91/623.85	o 498
722.06/624.32	o 497
722.26/624.56	o 496
722.56/624.82	o 495
722.77/625.07	o 494
723.06/625.31	o 493
723.26/625.56	o 492
723.56/625.81	o 491
723.77/626.05	o 490
724.06/626.30	o 489
724.26/626.54	o 488
724.46/626.78	o 487
724.77/627.03	o 486
724.96/627.28	o 485
725.26/627.52	o 484
725.46/627.78	o 483
725.77/628.02	o 482
725.96/628.27	o 481
726.26/628.52	o 480
726.46/628.76	o 479
726.66/629.00	o 478
726.96/629.23	o 477
727.16/629.48	o 476
728.48/630.01	o 475
728.78/630.27	o 474
729.08/630.51	o 473
729.28/630.76	o 472
729.59/631.01	o 471
729.78/631.26	o 470
730.08/631.51	o 469
730.28/631.75	o 468
730.48/631.99	o 467
730.78/632.23	o 466
730.98/632.47	o 465
731.28/632.71	o 464
731.48/632.97	o 463
731.78/633.20	o 462
731.98/633.45	o 461
732.18/633.69	o 460
732.48/633.93	o 459
732.69/634.16	o 458
732.98/634.41	o 457
733.18/634.65	o 456
733.38/634.89	o 455
733.69/635.13	o 454
735.08/635.67	o 453
735.38/635.92	o 452
735.59/636.16	o 451
735.78/636.39	o 450
736.08/636.62	o 449
736.28/636.89	o 448
736.59/637.12	o 447
736.78/637.36	o 446
737.08/637.63	o 445
737.28/637.87	o 444
737.49/638.11	o 443
737.78/638.35	o 442
737.98/638.58	o 441
738.28/638.82	o 440
738.49/639.06	o 439
738.78/639.30	o 438
738.98/639.54	o 437
739.18/639.78	o 436
739.49/640.01	o 435
739.68/640.24	o 434
739.88/640.48	o 433
740.19/640.71	o 432
740.39/640.95	o 431
742.04/641.54	o 430
742.24/641.78	o 429
742.55/642.01	o 428
742.74/642.25	o 427
742.94/642.49	o 426
743.24/642.72	o 425
743.44/642.95	o 424
743.65/643.18	o 423
743.94/643.41	o 422
744.14/643.65	o 421
744.34/643.89	o 420
744.65/644.13	o 419
744.84/644.36	o 418
745.04/644.58	o 417
745.34/644.82	o 416
745.55/645.04	o 415
745.74/645.27	o 414
746.04/645.51	o 413
746.24/645.74	o 412
746.44/645.97	o 411
746.65/646.19	o 410
746.94/646.42	o 409
747.14/646.65	o 408
748.85/647.26	o 407
749.05/647.50	o 406
749.35/647.71	o 405
749.55/647.94	o 404
749.76/648.18	o 403
750.05/648.41	o 402
750.25/648.65	o 401
750.45/648.88	o 400
750.66/649.11	o 399
750.95/649.33	o 398
751.15/649.55	o 397
751.35/649.78	o 396
751.55/650.00	o 395
751.85/650.23	o 394
752.05/650.47	o 393
752.35/650.71	o 392
752.55/650.93	o 391
752.76/651.16	o 390
752.95/651.39	o 389
753.25/651.62	o 388
753.46/651.85	o 387
753.67/652.08	o 386
753.96/652.31	o 385
755.68/652.99	o 384
756.15/653.23	o 383
756.35/653.45	o 382
756.55/653.67	o 381
756.75/653.88	o 380
757.06/654.11	o 379
757.25/654.34	o 378
757.45/654.57	o 377
757.75/654.80	o 376
757.96/655.03	o 375
758.15/655.25	o 374
758.35/655.47	o 373
758.55/655.69	o 372
758.85/655.91	o 371
759.06/656.14	o 370
759.26/656.36	o 369
759.46/656.58	o 368
759.66/656.80	o 367
759.97/657.02	o 366
760.16/657.24	o 365
760.36/657.46	o 364
760.56/657.67	o 363
760.76/657.89	o 362
761.07/658.12	o 361
762.81/658.80	o 360
763.30/659.02	o 359
763.49/659.25	o 358
763.69/659.48	o 357
763.99/659.70	o 356
764.19/659.92	o 355
764.40/660.14	o 354
764.59/660.36	o 353
764.79/660.58	o 352
765.09/660.81	o 351
765.30/661.02	o 350
765.49/661.24	o 349
765.69/661.46	o 348
765.89/661.69	o 347
766.19/661.91	o 346
766.40/662.13	o 345
766.59/662.35	o 344
766.79/662.57	o 343
766.99/662.79	o 342
767.19/663.00	o 341
767.49/663.22	o 340
767.69/663.43	o 339
767.89/663.65	o 338
768.09/663.86	o 337
768.30/664.07	o 336
770.32/664.77	o 335
770.60/664.99	o 334
770.90/665.21	o 333
771.10/665.41	o 332
771.30/665.63	o 331
771.50/665.84	o 330
771.71/666.05	o 329
771.90/666.27	o 328
772.10/666.48	o 327
772.40/666.70	o 326
772.60/666.92	o 325
772.81/667.14	o 324
773.00/667.35	o 323
773.20/667.57	o 322
773.40/667.79	o 321
773.60/668.01	o 320
773.90/668.22	o 319
774.10/668.43	o 318
774.30/668.65	o 317
774.50/668.86	o 316
774.71/669.07	o 315
774.90/669.29	o 314
775.20/669.51	o 313
775.41/669.72	o 312
775.61/669.93	o 311
777.73/670.62	o 310
777.93/670.83	o 309
778.14/671.04	o 308
778.33/671.25	o 307
778.53/671.47	o 306
778.73/671.68	o 305
778.93/671.90	o 304
779.14/672.11	o 303
779.43/672.32	o 302
779.63/672.53	o 301
779.83/672.74	o 300
780.03/672.95	o 299
780.24/673.16	o 298
780.43/673.37	o 297
780.63/673.58	o 296
780.83/673.79	o 295
781.03/674.00	o 294
781.33/674.21	o 293
781.53/674.42	o 292
781.73/674.65	o 291
781.93/674.85	o 290
782.14/675.06	o 289
782.33/675.27	o 288
782.53/675.48	o 287
782.73/675.68	o 286
782.93/675.89	o 285
785.05/676.57	o 284
785.25/676.78	o 283
785.45/676.99	o 282
785.75/677.20	o 281
785.95/677.40	o 280
786.15/677.61	o 279
786.35/677.81	o 278
786.56/678.02	o 277
786.75/678.23	o 276
786.95/678.44	o 275
787.15/678.64	o 274
787.35/678.85	o 273
787.56/679.05	o 272
787.75/679.25	o 271
787.95/679.46	o 270
788.15/679.66	o 269
788.35/679.86	o 268
788.57/680.06	o 267
788.76/680.26	o 266
788.96/680.47	o 265
789.16/680.68	o 264
789.36/680.88	o 263
789.57/681.09	o 262
789.76/681.29	o 261
789.96/681.49	o 260
790.16/681.69	o 259
792.08/682.31	o 258
792.28/682.51	o 257
792.48/682.71	o 256
792.68/682.91	o 255
792.89/683.11	o 254
793.08/683.32	o 253
793.28/683.52	o 252
793.48/683.72	o 251
793.68/683.92	o 250
793.89/684.13	o 249
794.08/684.33	o 248
794.28/684.54	o 247
794.48/684.74	o 246
794.68/684.93	o 245
794.89/685.13	o 244
795.08/685.33	o 243
795.28/685.52	o 242
795.48/685.72	o 241
795.68/685.92	o 240
795.89/686.11	o 239
796.08/686.31	o 238
796.29/686.51	o 237
796.49/686.71	o 236
796.69/686.91	o 235
796.90/687.11	o 234
797.09/687.30	o 233
797.29/687.50	o 232
798.93/688.10	o 231
799.24/688.31	o 230
799.44/688.50	o 229
799.64/688.71	o 228
799.84/688.91	o 227
800.05/689.11	o 226
800.25/689.31	o 225
800.45/689.50	o 224
800.55/689.69	o 223
800.75/689.89	o 222
800.95/690.09	o 221
801.15/690.28	o 220
801.35/690.48	o 219
801.54/690.68	o 218
801.74/690.87	o 217
801.95/691.06	o 216
802.14/691.25	o 215
802.35/691.44	o 214
802.55/691.64	o 213
802.75/691.82	o 212
802.96/692.02	o 211
803.15/692.22	o 210
803.35/692.43	o 209
803.55/692.62	o 208
803.75/692.83	o 207
803.96/693.02	o 206
805.71/693.61	o 205
805.91/693.80	o 204
806.01/693.99	o 203
806.22/694.18	o 202
806.41/694.37	o 201
806.61/694.57	o 200
806.81/694.76	o 199
807.01/694.94	o 198
807.22/695.13	o 197
807.41/695.32	o 196
807.61/695.52	o 195
807.81/695.71	o 194
808.01/695.91	o 193
808.12/696.09	o 192
808.31/696.28	o 191
808.51/696.46	o 190
808.71/696.66	o 189
808.91/696.85	o 188
809.12/697.04	o 187
809.31/697.22	o 186
809.51/697.40	o 185
809.61/697.59	o 184
809.81/697.79	o 183
810.01/697.98	o 182
810.22/698.17	o 181
810.41/698.35	o 180
810.61/698.54	o 179
810.81/698.73	o 178
812.36/699.29	o 177
812.56/699.48	o 176
812.76/699.67	o 175
812.96/699.85	o 174
813.17/700.04	o 173
813.36/700.23	o 172
813.56/700.42	o 171
813.76/700.61	o 170
813.96/700.80	o 169
814.06/700.98	o 168
814.27/701.17	o 167
814.46/701.35	o 166
814.66/701.54	o 165
814.86/701.73	o 164
815.06/701.91	o 163
815.17/702.09	o 162
815.36/702.28	o 161
815.56/702.46	o 160
815.76/702.64	o 159
815.96/702.82	o 158
816.06/703.00	o 157
816.27/703.18	o 156
816.46/703.36	o 155
816.66/703.54	o 154
816.86/703.72	o 153
817.06/703.90	o 152
817.17/704.08	o 151
818.52/704.58	o 150
818.79/704.77	o 149
818.99/704.95	o 148
819.20/705.13	o 147
819.39/705.32	o 146
819.49/705.50	o 145
819.69/705.67	o 144
819.89/705.84	o 143
820.10/706.02	o 142
820.20/706.19	o 141
820.39/706.37	o 140
820.59/706.55	o 139
820.79/706.73	o 138
820.99/706.91	o 137
821.10/707.10	o 136
821.29/707.28	o 135
821.49/707.46	o 134
821.69/707.63	o 133
821.89/707.80	o 132
821.99/707.98	o 131
822.20/708.16	o 130
822.39/708.34	o 129
822.59/708.52	o 128
822.79/708.70	o 127
822.89/708.87	o 126
823.10/709.04	o 125
823.29/709.21	o 124
823.39/709.38	o 123
823.59/709.55	o 122
823.79/709.71	o 121
823.89/709.88	o 120
824.10/710.05	o 119
824.30/710.22	o 118
824.40/710.38	o 117
824.60/710.55	o 116
825.99/711.01	o 115
826.09/711.19	o 114
826.28/711.36	o 113
826.48/711.53	o 112
826.58/711.69	o 111
826.78/711.86	o 110
826.99/712.03	o 109
827.09/712.19	o 108
827.28/712.36	o 107
827.48/712.53	o 106
827.58/712.69	o 105
827.78/712.86	o 104
827.99/713.02	o 103
828.09/713.18	o 102
828.28/713.35	o 101
828.48/713.51	o 100
828.58/713.67	o 99
828.78/713.84	o 98
828.99/714.01	o 97
829.09/714.17	o 96
829.28/714.33	o 95
829.38/714.49	o 94
829.58/714.65	o 93
829.78/714.81	o 92
829.88/714.97	o 91
830.09/715.13	o 90
830.18/715.29	o 89
830.38/715.45	o 88
830.58/715.62	o 87
830.68/715.79	o 86
830.88/715.95	o 85
831.09/716.11	o 84
831.18/716.28	o 83
831.38/716.43	o 82
831.48/716.59	o 81
831.68/716.74	o 80
831.88/716.90	o 79
831.99/717.07	o 78
832.18/717.22	o 77
832.28/717.37	o 76
832.48/717.53	o 75
832.58/717.70	o 74
832.79/717.85	o 73
832.89/718.01	o 72
833.10/718.16	o 71
833.29/718.33	o 70
833.39/718.49	o 69
833.59/718.65	o 68
833.79/718.81	o 67
833.89/718.96	o 66
834.10/719.11	o 65
834.19/719.27	o 64
834.39/719.43	o 63
834.49/719.59	o 62
834.69/719.75	o 61
834.89/719.90	o 60
835.00/720.05	o 59
835.19/720.21	o 58
835.29/720.36	o 57
835.49/720.52	o 56
835.59/720.68	o 55
835.79/720.83	o 54
835.89/720.99	o 53
836.10/721.14	o 52
836.19/721.29	o 51
836.39/721.45	o 50
836.59/721.60	o 49
836.69/721.75	o 48
836.89/721.91	o 47
837.00/722.06	o 46
837.19/722.21	o 45
837.29/722.35	o 44
837.49/722.50	o 43
837.59/722.65	o 42
837.79/722.80	o 41
839.32/723.31	o 40
839.42/723.45	o 39
839.62/723.60	o 38
839.72/723.75	o 37
839.92/723.90	o 36
840.02/724.05	o 35
840.22/724.20	o 34
840.32/724.36	o 33
840.52/724.51	o 32
840.62/724.66	o 31
840.82/724.81	o 30
840.92/724.96	o 29
841.13/725.11	o 28
841.22/725.26	o 27
841.42/725.40	o 26
841.52/725.55	o 25
841.62/725.69	o 24
841.82/725.84	o 23
841.92/725.98	o 22
842.13/726.13	o 21
842.22/726.28	o 20
842.42/726.42	o 19
842.52/726.57	o 18
842.72/726.71	o 17
842.82/726.85	o 16
842.92/726.99	o 15
843.13/727.14	o 14
843.22/727.27	o 13
843.42/727.42	o 12
843.52/727.57	o 11
843.88/727.72	o 10
844.06/727.86	o 9
844.19/728.00	o 8
844.88/728.47	o 7
2520.04/2383.80	s SATISFIABLE
2520.04/2383.81	v <instantiation>
2520.04/2383.81	v 	<list>
2520.04/2383.81	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.04/2383.81	v 	</list>
2520.04/2383.81	v 	<values>
2520.04/2383.81	v 		1 7 4 4 3 7 4 4 3 3 4 6 1 3 2 2 7 2 7 7 7 2 7 7 7 7 7 1 7 7 4 4 5 5 4 7 5 5 4 4 4 4 4 4 4 3 2 5 5 2 2 5 5 2 2 5 2 5 2 5 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 5 3 2 1 0 6 6 5 5 3 3 6 2 3 3 0 6 0 0 2 6 6 5 2 2 2 2 2 7 7 0 6 0 0 2 6 6 6 6 6 6 6 6 0 6 6 6 6 0 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 7 7 4 7 7 7 6 6 7 7 4 7 7 7 4 1 7 4 7 7 7 4 7 7 7 7 7 4 7 7 7 4 7 4 4 7 4 4 4 7 4 7 4 4 4 4 4 1 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 1 4 4 6 6 6 6 3 3 6 6 3 3 6 6 6 2 6 6 6 6 5 0 0 6 6 0 0 6 6 6 0 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 5 5 6 5 5 5 6 6 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 6 4 2 7 3 3 3 5 5 6 7 6 6 5 5 5 6 5 5 5 2 7 5 5 7 7 5 7 7 7 5 7 5 7 5 3 7 3 5 3 7 3 3 3 3 3 3 3 3 3 7 7 5 5 7 7 5 5 7 7 5 7 5 7 5 3 7 3 7 3 3 3 3 3 3 3 7 3 3 3 7 3 2 7 7 5 5 3 5 5 5 5 5 5 5 5 5 5 5 5 6 6 5 5 2 2 5 5 1 1 5 6 5 0 5 6 6 3 6 6 6 6 3 6 6 3 6 6 6 3 7 2 5 5 2 2 5 7 6 6 5 2 5 2 5 7 6 6 6 6 6 6 6 6 6 6 6 6 6 6 7 6 6 7 7 3 7 5 5 3 7 5 5 5 7 5 3 5 5 5 7 7 5 5 7 7 5 5 7 7 5 7 5 7 5 3 7 7 3 3 7 3 3 3 7 3 3 3 3 3 7 5 3 5 5 7 5 5 5 7 5 7 5 5 5 7 7 7 3 3 7 7 3 3 7 7 7 3 3 7 7 3 3 3 7 5 6 5 5 5 5 6 6 5 5 5 5 6 5 5 6 6 5 5 5 5 6 6 5 5 5 5 5 5 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 5 5 5 6 6 5 6 6 6 6 5 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 5 6 5 6 5 7 7 7 7 2 7 7 7 5 7 7 7 7 5 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 2 7 7 7 5 7 7 7 7 2 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 2 7 7 7 5 1 5 1 5 4 7 4 4 4 7 4 4 4 7 4 4 4 4 4 1 7 1 7 7 7 1 7 7 7 7 7 1 7 7 3 3 3 3 3 7 3 3 3 7 3 3 3 3 3 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 3 6 3 6 6 3 3 6 6 3 6 6 6 3 1 3 1 1 1 6 6 0 0 3 7 6 0 3 7 0 6 0 0 0 0 6 0 7 7 0 0 7 7 7 0 6 0 7 0 6 6 6 6 6 7 6 6 6 7 6 6 6 6 6 0 6 0 6 6 6 5 6 6 6 5 6 5 5 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 5 6 0 6 5 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 4 7 4 4 7 7 7 4 7 7 7 7 4 7 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 6 4 4 4 4 6 4 4 4 4 4 4 4 4 4 4 4 4 4 4 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 4 4 6 6 6 6 6 7 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 4 4 6 6 4 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 6 4 6 7 6 5 5 5 5 6 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 4 6 5 5 4 6 4 4 4 4 4 4 4 4 4 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 6 6 5 6 6 6 5 5 6 6 5 6 5 6 5 5 6 5 5 5 5 5 5 6 5 5 5 5 5 5 6 5 5 5 5 5 5 5 5 6 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 4 4 4 4 4 4 4 4 4 4 4 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 6 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 4 5 5 5 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 6 7 7 6 7 7 7 6 7 7 6 7 7 6 7 6 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 6 6 6 7 6 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 6 7 7 7 6 5 4 2 7 3 
2520.04/2383.81	v 	</values>
2520.04/2383.81	v </instantiation>

Verifier Data 

OK	7

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273517-1502713753/watcher-4273517-1502713753 -o /tmp/evaluation-result-4273517-1502713753/solver-4273517-1502713753 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6259 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 2129943108 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273517-1502713753.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
Current StackSize limit: 8192 KiB

solver pid=15403, runsolver pid=15400

[startup+0.107286 s]*
/proc/loadavg: 1.66 1.82 1.76 3/205 15410
/proc/meminfo: memFree=26375284/32770624 swapFree=67108860/67108860
[pid=15403] ppid=15400 vsize=13573664 memory=16440 CPUtime=0.01 cores=1,3,5,7
/proc/15403/stat : 15403 (java) S 15400 15403 8289 0 -1 1077944320 4035 0 0 0 1 0 0 0 20 0 9 0 119190436 13899431936 4110 18446744073709551615 4194304 4196468 140726108856832 140726108839376 140533260279543 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
/proc/15403/statm: 3393416 4110 2073 1 0 3382913 0
[pid=15403/tid=15405] ppid=15400 vsize=13573664 memory=-6439968830534014599 CPUtime=0.01 cores=1,3,5,7
/proc/15403/task/15405/stat : 15405 (java) R 15400 15403 8289 0 -1 4202560 2683 0 0 0 1 0 0 0 20 0 9 0 119190444 13899431936 4175 18446744073709551615 4194304 4196468 140726108856832 140533264515592 140533246386352 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15406] ppid=15400 vsize=13573664 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15406/stat : 15406 (java) S 15400 15403 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 119190445 13899431936 4175 18446744073709551615 4194304 4196468 140726108856832 140533217245968 140533260289749 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15407] ppid=15400 vsize=13573664 memory=140227297605248 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15407/stat : 15407 (java) S 15400 15403 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 119190445 13899431936 4175 18446744073709551615 4194304 4196468 140726108856832 140533216193424 140533260289749 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15408] ppid=15400 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15408/stat : 15408 (java) S 15400 15403 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 119190445 13899431936 4175 18446744073709551615 4194304 4196468 140726108856832 140533215140880 140533260289749 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15409] ppid=15400 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15409/stat : 15409 (java) S 15400 15403 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 119190445 13899431936 4175 18446744073709551615 4194304 4196468 140726108856832 140533214088336 140533260289749 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15410] ppid=15400 vsize=13573664 memory=140227297605248 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15410/stat : 15410 (java) S 15400 15403 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 119190446 13899431936 4175 18446744073709551615 4194304 4196468 140726108856832 140532176377840 140533260290690 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15411] ppid=15400 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15411/stat : 15411 (java) S 15400 15403 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 119190447 13899431936 4175 18446744073709551615 4194304 4196468 140726108856832 140532175324064 140533260289749 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15412] ppid=15400 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15412/stat : 15412 (java) S 15400 15403 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 119190447 13899431936 4175 18446744073709551615 4194304 4196468 140726108856832 140532174271536 140533260289749 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 16440 KiB

[startup+0.212499 s]*
/proc/loadavg: 1.66 1.82 1.76 3/213 15418
/proc/meminfo: memFree=26364592/32770624 swapFree=67108860/67108860
[pid=15403] ppid=15400 vsize=13976944 memory=34588 CPUtime=0.12 cores=1,3,5,7
/proc/15403/stat : 15403 (java) S 15400 15403 8289 0 -1 1077944320 9146 0 0 0 10 2 0 0 20 0 15 0 119190436 14312390656 8647 18446744073709551615 4194304 4196468 140726108856832 140726108839376 140533260279543 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
/proc/15403/statm: 3494236 8647 3383 1 0 3483015 0
[pid=15403/tid=15405] ppid=15400 vsize=13976944 memory=7077796292425249400 CPUtime=0.08 cores=1,3,5,7
/proc/15403/task/15405/stat : 15405 (java) R 15400 15403 8289 0 -1 4202560 7095 0 0 0 7 1 0 0 20 0 15 0 119190444 14312390656 8647 18446744073709551615 4194304 4196468 140726108856832 140533264468992 140533252996647 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15406] ppid=15400 vsize=13976944 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15406/stat : 15406 (java) S 15400 15403 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119190445 14312390656 8450 18446744073709551615 4194304 4196468 140726108856832 140533217245968 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15407] ppid=15400 vsize=13976944 memory=140227297605248 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15407/stat : 15407 (java) S 15400 15403 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119190445 14312390656 8450 18446744073709551615 4194304 4196468 140726108856832 140533216193424 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15408] ppid=15400 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15408/stat : 15408 (java) S 15400 15403 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119190445 14311342080 8450 18446744073709551615 4194304 4196468 140726108856832 140533215140880 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15409] ppid=15400 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15409/stat : 15409 (java) S 15400 15403 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119190445 14311342080 8450 18446744073709551615 4194304 4196468 140726108856832 140533214088336 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15410] ppid=15400 vsize=13975920 memory=140227297605248 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15410/stat : 15410 (java) S 15400 15403 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119190446 14311342080 8450 18446744073709551615 4194304 4196468 140726108856832 140532176377840 140533260290690 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15411] ppid=15400 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15411/stat : 15411 (java) S 15400 15403 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119190447 14311342080 8450 18446744073709551615 4194304 4196468 140726108856832 140532175324064 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15412] ppid=15400 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15412/stat : 15412 (java) S 15400 15403 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119190447 14312390656 8450 18446744073709551615 4194304 4196468 140726108856832 140532174271472 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15413] ppid=15400 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15413/stat : 15413 (java) S 15400 15403 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119190449 14312390656 8450 18446744073709551615 4194304 4196468 140726108856832 140532173220048 140533260298139 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15414] ppid=15400 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15414/stat : 15414 (java) S 15400 15403 8289 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 15 0 119190449 14312390656 8450 18446744073709551615 4194304 4196468 140726108856832 140532172167664 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15415] ppid=15400 vsize=13976944 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15415/stat : 15415 (java) S 15400 15403 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 119190450 14312390656 8450 18446744073709551615 4194304 4196468 140726108856832 140532171115120 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15416] ppid=15400 vsize=13976944 memory=140227297605248 CPUtime=0.01 cores=1,3,5,7
/proc/15403/task/15416/stat : 15416 (java) S 15400 15403 8289 0 -1 1077944384 382 0 0 0 1 0 0 0 20 0 15 0 119190450 14312390656 8515 18446744073709551615 4194304 4196468 140726108856832 140532170062576 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15417] ppid=15400 vsize=13976944 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15417/stat : 15417 (java) S 15400 15403 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119190450 14312390656 8515 18446744073709551615 4194304 4196468 140726108856832 140532169010272 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15418] ppid=15400 vsize=13976944 memory=140227297605248 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15418/stat : 15418 (java) S 15400 15403 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119190453 14312390656 8515 18446744073709551615 4194304 4196468 140726108856832 140532167956784 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13976944 KiB
Current children cumulated memory: 34588 KiB

[startup+0.310493 s]*
/proc/loadavg: 1.66 1.82 1.76 4/213 15418
/proc/meminfo: memFree=26355076/32770624 swapFree=67108860/67108860
[pid=15403] ppid=15400 vsize=13975920 memory=40600 CPUtime=0.27 cores=1,3,5,7
/proc/15403/stat : 15403 (java) S 15400 15403 8289 0 -1 1077944320 10848 0 0 0 24 3 0 0 20 0 15 0 119190436 14311342080 10150 18446744073709551615 4194304 4196468 140726108856832 140726108839376 140533260279543 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
/proc/15403/statm: 3493980 10150 3546 1 0 3482759 0
[pid=15403/tid=15405] ppid=15400 vsize=13975920 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/15403/task/15405/stat : 15405 (java) R 15400 15403 8289 0 -1 4202560 8475 0 0 0 16 3 0 0 20 0 15 0 119190444 14311342080 10662 18446744073709551615 4194304 4196468 140726108856832 140533264505696 140533260301469 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15406] ppid=15400 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15406/stat : 15406 (java) S 15400 15403 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119190445 14311342080 10662 18446744073709551615 4194304 4196468 140726108856832 140533217245968 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15407] ppid=15400 vsize=13975920 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15407/stat : 15407 (java) S 15400 15403 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119190445 14311342080 10662 18446744073709551615 4194304 4196468 140726108856832 140533216193424 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15408] ppid=15400 vsize=13975920 memory=-8187100386482147110 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15408/stat : 15408 (java) S 15400 15403 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119190445 14311342080 10662 18446744073709551615 4194304 4196468 140726108856832 140533215140880 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15409] ppid=15400 vsize=13975920 memory=-7305533901252758645 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15409/stat : 15409 (java) S 15400 15403 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119190445 14311342080 10662 18446744073709551615 4194304 4196468 140726108856832 140533214088336 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15410] ppid=15400 vsize=13975920 memory=7077796292425249400 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15410/stat : 15410 (java) S 15400 15403 8289 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 119190446 14311342080 10662 18446744073709551615 4194304 4196468 140726108856832 140532176377840 140533260290690 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15411] ppid=15400 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15411/stat : 15411 (java) S 15400 15403 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119190447 14311342080 10662 18446744073709551615 4194304 4196468 140726108856832 140532175324064 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15412] ppid=15400 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15412/stat : 15412 (java) S 15400 15403 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119190447 14311342080 10662 18446744073709551615 4194304 4196468 140726108856832 140532174271472 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15413] ppid=15400 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15413/stat : 15413 (java) S 15400 15403 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119190449 14311342080 10662 18446744073709551615 4194304 4196468 140726108856832 140532173220048 140533260298139 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15414] ppid=15400 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15403/task/15414/stat : 15414 (java) R 15400 15403 8289 0 -1 4202560 340 0 0 0 1 0 0 0 20 0 15 0 119190449 14311342080 10662 18446744073709551615 4194304 4196468 140726108856832 140532172167664 140533252516670 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15415] ppid=15400 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15403/task/15415/stat : 15415 (java) S 15400 15403 8289 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 15 0 119190450 14311342080 10662 18446744073709551615 4194304 4196468 140726108856832 140532171115120 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15416] ppid=15400 vsize=13975920 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/15403/task/15416/stat : 15416 (java) S 15400 15403 8289 0 -1 1077944384 473 0 0 0 5 0 0 0 20 0 15 0 119190450 14311342080 10662 18446744073709551615 4194304 4196468 140726108856832 140532170062576 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15417] ppid=15400 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15417/stat : 15417 (java) S 15400 15403 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119190450 14311342080 10662 18446744073709551615 4194304 4196468 140726108856832 140532169010272 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15418] ppid=15400 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15418/stat : 15418 (java) S 15400 15403 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119190453 14311342080 10662 18446744073709551615 4194304 4196468 140726108856832 140532167956784 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40600 KiB

[startup+0.701041 s]
/proc/loadavg: 1.66 1.82 1.76 3/213 15418
/proc/meminfo: memFree=26339840/32770624 swapFree=67108860/67108860
[pid=15403] ppid=15400 vsize=13977988 memory=88680 CPUtime=1.21 cores=1,3,5,7
/proc/15403/stat : 15403 (java) S 15400 15403 8289 0 -1 1077944320 14783 0 0 0 116 5 0 0 20 0 15 0 119190436 14313459712 22170 18446744073709551615 4194304 4196468 140726108856832 140726108839376 140533260279543 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
/proc/15403/statm: 3494497 22170 3726 1 0 3483271 0
[pid=15403/tid=15405] ppid=15400 vsize=13977988 memory=2590670587649 CPUtime=0.56 cores=1,3,5,7
/proc/15403/task/15405/stat : 15405 (java) R 15400 15403 8289 0 -1 4202560 10268 0 0 0 52 4 0 0 20 0 15 0 119190444 14313459712 22170 18446744073709551615 4194304 4196468 140726108856832 140533264514048 140532890330832 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15406] ppid=15400 vsize=13977988 memory=2616440391425 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15406/stat : 15406 (java) S 15400 15403 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119190445 14313459712 22170 18446744073709551615 4194304 4196468 140726108856832 140533217245968 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15407] ppid=15400 vsize=13977988 memory=2633620260609 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15407/stat : 15407 (java) S 15400 15403 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119190445 14313459712 22170 18446744073709551615 4194304 4196468 140726108856832 140533216193424 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15408] ppid=15400 vsize=13977988 memory=66508736 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15408/stat : 15408 (java) S 15400 15403 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119190445 14313459712 22170 18446744073709551615 4194304 4196468 140726108856832 140533215140880 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15409] ppid=15400 vsize=13977988 memory=-8556737395271162992 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15409/stat : 15409 (java) S 15400 15403 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119190445 14313459712 22170 18446744073709551615 4194304 4196468 140726108856832 140533214088336 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15410] ppid=15400 vsize=13977988 memory=6152287975781979490 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15410/stat : 15410 (java) S 15400 15403 8289 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 119190446 14313459712 22170 18446744073709551615 4194304 4196468 140726108856832 140532176377840 140533260290690 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15411] ppid=15400 vsize=13977988 memory=8025788822668141932 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15411/stat : 15411 (java) S 15400 15403 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119190447 14313459712 22170 18446744073709551615 4194304 4196468 140726108856832 140532175324064 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15412] ppid=15400 vsize=13977988 memory=280454385296096 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15412/stat : 15412 (java) S 15400 15403 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119190447 14313459712 22170 18446744073709551615 4194304 4196468 140726108856832 140532174271472 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15413] ppid=15400 vsize=13977988 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15413/stat : 15413 (java) S 15400 15403 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119190449 14313459712 22170 18446744073709551615 4194304 4196468 140726108856832 140532173220048 140533260298139 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15414] ppid=15400 vsize=13977988 memory=15825482134324680 CPUtime=0.21 cores=1,3,5,7
/proc/15403/task/15414/stat : 15414 (java) R 15400 15403 8289 0 -1 4202560 927 0 0 0 21 0 0 0 20 0 15 0 119190449 14313459712 22170 18446744073709551615 4194304 4196468 140726108856832 140532172154168 140533246303328 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15415] ppid=15400 vsize=13977988 memory=1436 CPUtime=0.21 cores=1,3,5,7
/proc/15403/task/15415/stat : 15415 (java) R 15400 15403 8289 0 -1 4202560 1350 0 0 0 21 0 0 0 20 0 15 0 119190450 14313459712 22170 18446744073709551615 4194304 4196468 140726108856832 140532171099872 140533238681218 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15416] ppid=15400 vsize=13977988 memory=1200 CPUtime=0.2 cores=1,3,5,7
/proc/15403/task/15416/stat : 15416 (java) R 15400 15403 8289 0 -1 4202560 855 0 0 0 20 0 0 0 20 0 15 0 119190450 14313459712 22170 18446744073709551615 4194304 4196468 140726108856832 140532170062576 140533260300890 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15417] ppid=15400 vsize=13977988 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15417/stat : 15417 (java) S 15400 15403 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119190450 14313459712 22170 18446744073709551615 4194304 4196468 140726108856832 140532169010272 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15418] ppid=15400 vsize=13977988 memory=4040 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15418/stat : 15418 (java) S 15400 15403 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119190453 14313459712 22170 18446744073709551615 4194304 4196468 140726108856832 140532167956784 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 88680 KiB

[startup+1.50104 s]
/proc/loadavg: 1.66 1.82 1.76 5/213 15418
/proc/meminfo: memFree=26233108/32770624 swapFree=67108860/67108860
[pid=15403] ppid=15400 vsize=13977988 memory=215808 CPUtime=3.76 cores=1,3,5,7
/proc/15403/stat : 15403 (java) S 15400 15403 8289 0 -1 1077944320 17630 0 0 0 366 10 0 0 20 0 15 0 119190436 14313459712 53952 18446744073709551615 4194304 4196468 140726108856832 140726108839376 140533260279543 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
/proc/15403/statm: 3494497 53952 3781 1 0 3483271 0
[pid=15403/tid=15405] ppid=15400 vsize=13977988 memory=4420 CPUtime=1.34 cores=1,3,5,7
/proc/15403/task/15405/stat : 15405 (java) R 15400 15403 8289 0 -1 4202560 10564 0 0 0 128 6 0 0 20 0 15 0 119190444 14313459712 54018 18446744073709551615 4194304 4196468 140726108856832 140533264513792 140532895533322 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15406] ppid=15400 vsize=13977988 memory=6628 CPUtime=0.01 cores=1,3,5,7
/proc/15403/task/15406/stat : 15406 (java) S 15400 15403 8289 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 15 0 119190445 14313459712 54018 18446744073709551615 4194304 4196468 140726108856832 140533217245968 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15407] ppid=15400 vsize=13977988 memory=8836 CPUtime=0.01 cores=1,3,5,7
/proc/15403/task/15407/stat : 15407 (java) S 15400 15403 8289 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 119190445 14313459712 54018 18446744073709551615 4194304 4196468 140726108856832 140533216193424 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15408] ppid=15400 vsize=13977988 memory=11044 CPUtime=0.01 cores=1,3,5,7
/proc/15403/task/15408/stat : 15408 (java) S 15400 15403 8289 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 15 0 119190445 14313459712 54018 18446744073709551615 4194304 4196468 140726108856832 140533215140880 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15409] ppid=15400 vsize=13977988 memory=13252 CPUtime=0.01 cores=1,3,5,7
/proc/15403/task/15409/stat : 15409 (java) S 15400 15403 8289 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 15 0 119190445 14313459712 54018 18446744073709551615 4194304 4196468 140726108856832 140533214088336 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15410] ppid=15400 vsize=13977988 memory=114 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15410/stat : 15410 (java) S 15400 15403 8289 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 119190446 14313459712 54018 18446744073709551615 4194304 4196468 140726108856832 140532176377840 140533260290690 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15411] ppid=15400 vsize=13977988 memory=1 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15411/stat : 15411 (java) S 15400 15403 8289 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 119190447 14313459712 54018 18446744073709551615 4194304 4196468 140726108856832 140532175324064 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15412] ppid=15400 vsize=13977988 memory=1 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15412/stat : 15412 (java) S 15400 15403 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119190447 14313459712 54018 18446744073709551615 4194304 4196468 140726108856832 140532174271472 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15413] ppid=15400 vsize=13977988 memory=1 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15413/stat : 15413 (java) S 15400 15403 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119190449 14313459712 54018 18446744073709551615 4194304 4196468 140726108856832 140532173220048 140533260298139 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15414] ppid=15400 vsize=13977988 memory=1 CPUtime=0.92 cores=1,3,5,7
/proc/15403/task/15414/stat : 15414 (java) R 15400 15403 8289 0 -1 4202560 1943 0 0 0 92 0 0 0 20 0 15 0 119190449 14313459712 54018 18446744073709551615 4194304 4196468 140726108856832 140532172167664 140533241038025 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15415] ppid=15400 vsize=13977988 memory=0 CPUtime=0.93 cores=1,3,5,7
/proc/15403/task/15415/stat : 15415 (java) R 15400 15403 8289 0 -1 4202560 1878 0 0 0 93 0 0 0 20 0 15 0 119190450 14313459712 54018 18446744073709551615 4194304 4196468 140726108856832 140532171093888 140533243690336 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15416] ppid=15400 vsize=13977988 memory=144569404641335 CPUtime=0.45 cores=1,3,5,7
/proc/15403/task/15416/stat : 15416 (java) S 15400 15403 8289 0 -1 1077944384 1678 0 0 0 44 1 0 0 20 0 15 0 119190450 14313459712 54018 18446744073709551615 4194304 4196468 140726108856832 140532170062576 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0

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

/proc/15403/task/15405/stat : 15405 (java) R 15400 15403 8289 0 -1 4202560 248495 0 0 0 221146 97 0 0 20 0 15 0 119190444 14315556864 1823434 18446744073709551615 4194304 4196468 140726108856832 140533264517808 140532898695944 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15406] ppid=15400 vsize=13980036 memory=7293736 CPUtime=42.24 cores=1,3,5,7
/proc/15403/task/15406/stat : 15406 (java) S 15400 15403 8289 0 -1 1077944384 149388 0 0 0 4086 138 0 0 20 0 15 0 119190445 14315556864 1823434 18446744073709551615 4194304 4196468 140726108856832 140533217245968 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15407] ppid=15400 vsize=13980036 memory=7293736 CPUtime=42.25 cores=1,3,5,7
/proc/15403/task/15407/stat : 15407 (java) S 15400 15403 8289 0 -1 1077944384 150852 0 0 0 4090 135 0 0 20 0 15 0 119190445 14315556864 1823434 18446744073709551615 4194304 4196468 140726108856832 140533216193424 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15408] ppid=15400 vsize=13980036 memory=7293736 CPUtime=42.37 cores=1,3,5,7
/proc/15403/task/15408/stat : 15408 (java) S 15400 15403 8289 0 -1 1077944384 179879 0 0 0 4101 136 0 0 20 0 15 0 119190445 14315556864 1823434 18446744073709551615 4194304 4196468 140726108856832 140533215140880 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15409] ppid=15400 vsize=13980036 memory=7293736 CPUtime=42.54 cores=1,3,5,7
/proc/15403/task/15409/stat : 15409 (java) S 15400 15403 8289 0 -1 1077944384 168599 0 0 0 4118 136 0 0 20 0 15 0 119190445 14315556864 1823434 18446744073709551615 4194304 4196468 140726108856832 140533214088336 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15410] ppid=15400 vsize=13980036 memory=7293736 CPUtime=6.69 cores=1,3,5,7
/proc/15403/task/15410/stat : 15410 (java) S 15400 15403 8289 0 -1 1077944384 31409 0 0 0 663 6 0 0 20 0 15 0 119190446 14315556864 1823434 18446744073709551615 4194304 4196468 140726108856832 140532176377840 140533260290690 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15411] ppid=15400 vsize=13980036 memory=7293736 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15411/stat : 15411 (java) S 15400 15403 8289 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 119190447 14315556864 1823434 18446744073709551615 4194304 4196468 140726108856832 140532175324128 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15412] ppid=15400 vsize=13980036 memory=339 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15412/stat : 15412 (java) S 15400 15403 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119190447 14315556864 1823434 18446744073709551615 4194304 4196468 140726108856832 140532174271488 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15413] ppid=15400 vsize=13980036 memory=2257 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15413/stat : 15413 (java) S 15400 15403 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119190449 14315556864 1823434 18446744073709551615 4194304 4196468 140726108856832 140532173220048 140533260298139 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15414] ppid=15400 vsize=13980036 memory=140227192746593 CPUtime=3.39 cores=1,3,5,7
/proc/15403/task/15414/stat : 15414 (java) S 15400 15403 8289 0 -1 1077944384 10312 0 0 0 338 1 0 0 20 0 15 0 119190449 14315556864 1823434 18446744073709551615 4194304 4196468 140726108856832 140532172167664 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15415] ppid=15400 vsize=13980036 memory=4168 CPUtime=3.49 cores=1,3,5,7
/proc/15403/task/15415/stat : 15415 (java) S 15400 15403 8289 0 -1 1077944384 8879 0 0 0 348 1 0 0 20 0 15 0 119190450 14315556864 1823434 18446744073709551615 4194304 4196468 140726108856832 140532171115120 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15416] ppid=15400 vsize=13980036 memory=7293736 CPUtime=0.86 cores=1,3,5,7
/proc/15403/task/15416/stat : 15416 (java) S 15400 15403 8289 0 -1 1077944384 13726 0 0 0 83 3 0 0 20 0 15 0 119190450 14315556864 1823434 18446744073709551615 4194304 4196468 140726108856832 140532170062576 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15417] ppid=15400 vsize=13980036 memory=7293736 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15417/stat : 15417 (java) S 15400 15403 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119190450 14315556864 1823434 18446744073709551615 4194304 4196468 140726108856832 140532169010272 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15418] ppid=15400 vsize=13980036 memory=7293736 CPUtime=1.37 cores=1,3,5,7
/proc/15403/task/15418/stat : 15418 (java) S 15400 15403 8289 0 -1 1077944384 1232 0 0 0 56 81 0 0 20 0 15 0 119190453 14315556864 1823434 18446744073709551615 4194304 4196468 140726108856832 140532167956784 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
Current children cumulated CPU time: 2397.72 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 7293736 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.00 3/212 15636
/proc/meminfo: memFree=21639160/32770624 swapFree=67108860/67108860
[pid=15403] ppid=15400 vsize=13980036 memory=7293748 CPUtime=2458.13 cores=1,3,5,7
/proc/15403/stat : 15403 (java) S 15400 15403 8289 0 -1 1077944320 980459 0 0 0 245092 721 0 0 20 0 15 0 119190436 14315556864 1823437 18446744073709551615 4194304 4196468 140726108856832 140726108839376 140533260279543 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
/proc/15403/statm: 3495009 1823437 3819 1 0 3483783 0
[pid=15403/tid=15405] ppid=15400 vsize=13980036 memory=7293748 CPUtime=2272.3 cores=1,3,5,7
/proc/15403/task/15405/stat : 15405 (java) R 15400 15403 8289 0 -1 4202560 253840 0 0 0 227131 99 0 0 20 0 15 0 119190444 14315556864 1823437 18446744073709551615 4194304 4196468 140726108856832 140533264517808 140532898628500 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15406] ppid=15400 vsize=13980036 memory=7293748 CPUtime=42.36 cores=1,3,5,7
/proc/15403/task/15406/stat : 15406 (java) S 15400 15403 8289 0 -1 1077944384 152081 0 0 0 4098 138 0 0 20 0 15 0 119190445 14315556864 1823437 18446744073709551615 4194304 4196468 140726108856832 140533217245968 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15407] ppid=15400 vsize=13980036 memory=7293748 CPUtime=42.37 cores=1,3,5,7
/proc/15403/task/15407/stat : 15407 (java) S 15400 15403 8289 0 -1 1077944384 153037 0 0 0 4102 135 0 0 20 0 15 0 119190445 14315556864 1823437 18446744073709551615 4194304 4196468 140726108856832 140533216193424 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15408] ppid=15400 vsize=13980036 memory=7293748 CPUtime=42.5 cores=1,3,5,7
/proc/15403/task/15408/stat : 15408 (java) S 15400 15403 8289 0 -1 1077944384 182402 0 0 0 4113 137 0 0 20 0 15 0 119190445 14315556864 1823437 18446744073709551615 4194304 4196468 140726108856832 140533215140880 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15409] ppid=15400 vsize=13980036 memory=7293748 CPUtime=42.67 cores=1,3,5,7
/proc/15403/task/15409/stat : 15409 (java) S 15400 15403 8289 0 -1 1077944384 171920 0 0 0 4130 137 0 0 20 0 15 0 119190445 14315556864 1823437 18446744073709551615 4194304 4196468 140726108856832 140533214088336 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15410] ppid=15400 vsize=13980036 memory=7293748 CPUtime=6.69 cores=1,3,5,7
/proc/15403/task/15410/stat : 15410 (java) S 15400 15403 8289 0 -1 1077944384 31654 0 0 0 663 6 0 0 20 0 15 0 119190446 14315556864 1823437 18446744073709551615 4194304 4196468 140726108856832 140532176377840 140533260290690 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15411] ppid=15400 vsize=13980036 memory=7293748 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15411/stat : 15411 (java) S 15400 15403 8289 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 119190447 14315556864 1823437 18446744073709551615 4194304 4196468 140726108856832 140532175324128 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15412] ppid=15400 vsize=13980036 memory=7293748 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15412/stat : 15412 (java) S 15400 15403 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119190447 14315556864 1823437 18446744073709551615 4194304 4196468 140726108856832 140532174271488 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15413] ppid=15400 vsize=13980036 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15413/stat : 15413 (java) S 15400 15403 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119190449 14315556864 1823437 18446744073709551615 4194304 4196468 140726108856832 140532173220048 140533260298139 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15414] ppid=15400 vsize=13980036 memory=15880 CPUtime=3.39 cores=1,3,5,7
/proc/15403/task/15414/stat : 15414 (java) S 15400 15403 8289 0 -1 1077944384 10312 0 0 0 338 1 0 0 20 0 15 0 119190449 14315556864 1823437 18446744073709551615 4194304 4196468 140726108856832 140532172167664 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15415] ppid=15400 vsize=13980036 memory=7293748 CPUtime=3.49 cores=1,3,5,7
/proc/15403/task/15415/stat : 15415 (java) S 15400 15403 8289 0 -1 1077944384 8879 0 0 0 348 1 0 0 20 0 15 0 119190450 14315556864 1823437 18446744073709551615 4194304 4196468 140726108856832 140532171115120 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15416] ppid=15400 vsize=13980036 memory=7293748 CPUtime=0.86 cores=1,3,5,7
/proc/15403/task/15416/stat : 15416 (java) S 15400 15403 8289 0 -1 1077944384 13726 0 0 0 83 3 0 0 20 0 15 0 119190450 14315556864 1823437 18446744073709551615 4194304 4196468 140726108856832 140532170062576 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15417] ppid=15400 vsize=13980036 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15417/stat : 15417 (java) S 15400 15403 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119190450 14315556864 1823437 18446744073709551615 4194304 4196468 140726108856832 140532169010272 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15418] ppid=15400 vsize=13980036 memory=58064 CPUtime=1.4 cores=1,3,5,7
/proc/15403/task/15418/stat : 15418 (java) S 15400 15403 8289 0 -1 1077944384 1236 0 0 0 58 82 0 0 20 0 15 0 119190453 14315556864 1823437 18446744073709551615 4194304 4196468 140726108856832 140532167956784 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
Current children cumulated CPU time: 2458.13 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 7293748 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 2.00 3/212 15638
/proc/meminfo: memFree=21306232/32770624 swapFree=67108860/67108860
[pid=15403] ppid=15400 vsize=13980036 memory=7295816 CPUtime=2518.54 cores=1,3,5,7
/proc/15403/stat : 15403 (java) S 15400 15403 8289 0 -1 1077944320 997070 0 0 0 251127 727 0 0 20 0 15 0 119190436 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140726108839376 140533260279543 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
/proc/15403/statm: 3495009 1823954 3819 1 0 3483783 0
[pid=15403/tid=15405] ppid=15400 vsize=13980036 memory=7295816 CPUtime=2332.17 cores=1,3,5,7
/proc/15403/task/15405/stat : 15405 (java) R 15400 15403 8289 0 -1 4202560 259777 0 0 0 233117 100 0 0 20 0 15 0 119190444 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140533264517936 140532899665958 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15406] ppid=15400 vsize=13980036 memory=33 CPUtime=42.48 cores=1,3,5,7
/proc/15403/task/15406/stat : 15406 (java) S 15400 15403 8289 0 -1 1077944384 154218 0 0 0 4110 138 0 0 20 0 15 0 119190445 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140533217245968 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15407] ppid=15400 vsize=13980036 memory=7293748 CPUtime=42.51 cores=1,3,5,7
/proc/15403/task/15407/stat : 15407 (java) S 15400 15403 8289 0 -1 1077944384 155565 0 0 0 4115 136 0 0 20 0 15 0 119190445 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140533216193424 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15408] ppid=15400 vsize=13980036 memory=7295816 CPUtime=42.62 cores=1,3,5,7
/proc/15403/task/15408/stat : 15408 (java) S 15400 15403 8289 0 -1 1077944384 185412 0 0 0 4125 137 0 0 20 0 15 0 119190445 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140533215140880 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15409] ppid=15400 vsize=13980036 memory=7295816 CPUtime=42.78 cores=1,3,5,7
/proc/15403/task/15409/stat : 15409 (java) S 15400 15403 8289 0 -1 1077944384 174630 0 0 0 4141 137 0 0 20 0 15 0 119190445 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140533214088336 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15410] ppid=15400 vsize=13980036 memory=7295816 CPUtime=6.69 cores=1,3,5,7
/proc/15403/task/15410/stat : 15410 (java) S 15400 15403 8289 0 -1 1077944384 31903 0 0 0 663 6 0 0 20 0 15 0 119190446 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140532176377840 140533260290690 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15411] ppid=15400 vsize=13980036 memory=7295816 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15411/stat : 15411 (java) S 15400 15403 8289 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 119190447 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140532175324128 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15412] ppid=15400 vsize=13980036 memory=7295816 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15412/stat : 15412 (java) S 15400 15403 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119190447 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140532174271488 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15413] ppid=15400 vsize=13980036 memory=7295816 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15413/stat : 15413 (java) S 15400 15403 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119190449 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140532173220048 140533260298139 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15414] ppid=15400 vsize=13980036 memory=7295816 CPUtime=3.39 cores=1,3,5,7
/proc/15403/task/15414/stat : 15414 (java) S 15400 15403 8289 0 -1 1077944384 10319 0 0 0 338 1 0 0 20 0 15 0 119190449 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140532172167664 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15415] ppid=15400 vsize=13980036 memory=4288 CPUtime=3.49 cores=1,3,5,7
/proc/15403/task/15415/stat : 15415 (java) S 15400 15403 8289 0 -1 1077944384 8883 0 0 0 348 1 0 0 20 0 15 0 119190450 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140532171115120 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15416] ppid=15400 vsize=13980036 memory=7295816 CPUtime=0.86 cores=1,3,5,7
/proc/15403/task/15416/stat : 15416 (java) S 15400 15403 8289 0 -1 1077944384 13729 0 0 0 83 3 0 0 20 0 15 0 119190450 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140532170062576 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15417] ppid=15400 vsize=13980036 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15417/stat : 15417 (java) S 15400 15403 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119190450 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140532169010272 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15418] ppid=15400 vsize=13980036 memory=58064 CPUtime=1.44 cores=1,3,5,7
/proc/15403/task/15418/stat : 15418 (java) S 15400 15403 8289 0 -1 1077944384 1262 0 0 0 60 84 0 0 20 0 15 0 119190453 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140532167956784 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
Current children cumulated CPU time: 2518.54 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 7295816 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2383.8 s]
/proc/loadavg: 2.00 1.99 2.00 3/212 15638
/proc/meminfo: memFree=21306232/32770624 swapFree=67108860/67108860
[pid=15403] ppid=15400 vsize=13980036 memory=7295816 CPUtime=2520.04 cores=1,3,5,7
/proc/15403/stat : 15403 (java) S 15400 15403 8289 0 -1 1077944320 997154 0 0 0 251277 727 0 0 20 0 15 0 119190436 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140726108839376 140533260279543 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
/proc/15403/statm: 3495009 1823954 3819 1 0 3483783 0
[pid=15403/tid=15405] ppid=15400 vsize=13980036 memory=7295816 CPUtime=2333.67 cores=1,3,5,7
/proc/15403/task/15405/stat : 15405 (java) R 15400 15403 8289 0 -1 4202560 259859 0 0 0 233267 100 0 0 20 0 15 0 119190444 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140533264517936 140532899666371 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15406] ppid=15400 vsize=13980036 memory=7295816 CPUtime=42.48 cores=1,3,5,7
/proc/15403/task/15406/stat : 15406 (java) S 15400 15403 8289 0 -1 1077944384 154218 0 0 0 4110 138 0 0 20 0 15 0 119190445 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140533217245968 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15407] ppid=15400 vsize=13980036 memory=-8774313645642428999 CPUtime=42.51 cores=1,3,5,7
/proc/15403/task/15407/stat : 15407 (java) S 15400 15403 8289 0 -1 1077944384 155565 0 0 0 4115 136 0 0 20 0 15 0 119190445 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140533216193424 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15408] ppid=15400 vsize=13980036 memory=2752 CPUtime=42.62 cores=1,3,5,7
/proc/15403/task/15408/stat : 15408 (java) S 15400 15403 8289 0 -1 1077944384 185412 0 0 0 4125 137 0 0 20 0 15 0 119190445 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140533215140880 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15409] ppid=15400 vsize=13980036 memory=3912 CPUtime=42.78 cores=1,3,5,7
/proc/15403/task/15409/stat : 15409 (java) S 15400 15403 8289 0 -1 1077944384 174630 0 0 0 4141 137 0 0 20 0 15 0 119190445 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140533214088336 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15410] ppid=15400 vsize=13980036 memory=4068 CPUtime=6.69 cores=1,3,5,7
/proc/15403/task/15410/stat : 15410 (java) S 15400 15403 8289 0 -1 1077944384 31903 0 0 0 663 6 0 0 20 0 15 0 119190446 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140532176377840 140533260290690 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15411] ppid=15400 vsize=13980036 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15411/stat : 15411 (java) S 15400 15403 8289 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 119190447 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140532175324128 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15412] ppid=15400 vsize=13980036 memory=3084 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15412/stat : 15412 (java) S 15400 15403 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119190447 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140532174271488 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15413] ppid=15400 vsize=13980036 memory=7295816 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15413/stat : 15413 (java) S 15400 15403 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119190449 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140532173220048 140533260298139 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15414] ppid=15400 vsize=13980036 memory=1156 CPUtime=3.39 cores=1,3,5,7
/proc/15403/task/15414/stat : 15414 (java) S 15400 15403 8289 0 -1 1077944384 10319 0 0 0 338 1 0 0 20 0 15 0 119190449 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140532172167664 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15415] ppid=15400 vsize=13980036 memory=2776 CPUtime=3.49 cores=1,3,5,7
/proc/15403/task/15415/stat : 15415 (java) S 15400 15403 8289 0 -1 1077944384 8883 0 0 0 348 1 0 0 20 0 15 0 119190450 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140532171115120 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15416] ppid=15400 vsize=13980036 memory=2637460 CPUtime=0.86 cores=1,3,5,7
/proc/15403/task/15416/stat : 15416 (java) S 15400 15403 8289 0 -1 1077944384 13729 0 0 0 83 3 0 0 20 0 15 0 119190450 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140532170062576 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15417] ppid=15400 vsize=13980036 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/15403/task/15417/stat : 15417 (java) S 15400 15403 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119190450 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140532169010272 140533260289749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
[pid=15403/tid=15418] ppid=15400 vsize=13980036 memory=1228 CPUtime=1.45 cores=1,3,5,7
/proc/15403/task/15418/stat : 15418 (java) S 15400 15403 8289 0 -1 1077944384 1264 0 0 0 60 85 0 0 20 0 15 0 119190453 14315556864 1823954 18446744073709551615 4194304 4196468 140726108856832 140532167956784 140533260290690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33345536 140726108864878 140726108865065 140726108865065 140726108868559 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 7295816 KiB

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

[startup+2383.86 s]
# the end of solver process 15403 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2512.82 s, system=7.31229 s

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

Child status: 143
Real time (s): 2383.86
CPU time (s): 2520.13
CPU user time (s): 2512.82
CPU system time (s): 7.31229
CPU usage (%): 105.716
Max. virtual memory (cumulated for all children) (KiB): 14111108
Max. memory (cumulated for all children) (KiB): 7295816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.82
system time used= 7.31229
maximum resident set size= 7307876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 999312
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58738
involuntary context switches= 5104


# summary of solver processes directly reported to runsolver:
#   pid: 15403
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2512.82
#   total CPU system time (s): 7.31229

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5959 second user time and 22.9549 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-14 14:15:05
IDJOB=4273517
IDBENCH=120574
IDSOLVER=2666
FILE ID=node133/4273517-1502713753
RUNJOBID= node133-1502652501-6259
PBS_JOBID= 
Free space on /tmp= 61988 MiB

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

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

MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76
RANDOM SEED=2129943108

node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26382096 kB
MemAvailable:   27111904 kB
Buffers:          258116 kB
Cached:           764636 kB
SwapCached:            0 kB
Active:          5702472 kB
Inactive:         224296 kB
Active(anon):    4845204 kB
Inactive(anon):   100772 kB
Active(file):     857268 kB
Inactive(file):   123524 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             43516 kB
Writeback:             0 kB
AnonPages:       4904136 kB
Mapped:            73024 kB
Shmem:             41660 kB
Slab:             157704 kB
SReclaimable:     129704 kB
SUnreclaim:        28000 kB
KernelStack:        3456 kB
PageTables:        14520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5921716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4763648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61948 MiB
End job on node133 at 2017-08-14 14:54:49