Trace number 4245135

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
R1: OscaR - Conflict Ordering 2017-06-30SAT (TO)7 2400.1 1943.58

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.41/0.31	c version: 2017-06-30
0.41/0.31	c seed: 2107986605
0.41/0.31	c timeout: 2400
0.41/0.31	c memlimit: 15500
0.41/0.31	c nbcore: 8
0.41/0.33	c Parsing instance...
26.17/7.62	c Parsing done, starting search...
27.95/8.26	o 2029
29.84/8.94	o 2028
30.89/9.53	o 2027
38.95/11.10	o 2026
39.62/11.65	o 2025
40.12/12.18	o 2024
40.72/12.75	o 2023
41.22/13.28	o 2022
41.84/13.82	o 2021
42.34/14.37	o 2020
42.94/14.92	o 2019
43.44/15.45	o 2018
43.95/15.99	o 2017
44.54/16.53	o 2016
45.05/17.06	o 2015
45.65/17.61	o 2014
46.16/18.17	o 2013
46.76/18.71	o 2012
47.27/19.25	o 2011
47.76/19.78	o 2010
48.37/20.31	o 2009
48.86/20.86	o 2008
49.39/21.40	o 2007
50.03/21.92	o 2006
55.16/23.14	o 2005
55.77/23.72	o 2004
56.31/24.26	o 2003
56.91/24.82	o 2002
57.45/25.36	o 2001
58.05/25.90	o 2000
58.55/26.43	o 1999
59.06/26.96	o 1998
59.56/27.49	o 1997
60.16/28.05	o 1996
60.66/28.57	o 1995
61.16/29.10	o 1994
61.76/29.61	o 1993
62.27/30.13	o 1992
62.76/30.64	o 1991
63.26/31.18	o 1990
63.87/31.71	o 1989
64.37/32.23	o 1988
64.87/32.75	o 1987
65.47/33.30	o 1986
65.97/33.83	o 1985
66.47/34.34	o 1984
66.97/34.85	o 1983
67.73/35.40	o 1982
68.23/35.92	o 1981
68.73/36.47	o 1980
69.23/36.99	o 1979
69.83/37.55	o 1978
70.33/38.07	o 1977
70.95/38.60	o 1976
71.47/39.15	o 1975
72.09/39.67	o 1974
72.69/40.21	o 1973
73.19/40.73	o 1972
73.70/41.24	o 1971
74.19/41.76	o 1970
74.70/42.29	o 1969
75.29/42.83	o 1968
75.80/43.36	o 1967
76.39/43.90	o 1966
76.90/44.43	o 1965
77.39/44.93	o 1964
77.89/45.44	o 1963
78.49/46.00	o 1962
78.99/46.52	o 1961
79.49/47.04	o 1960
80.50/47.66	o 1959
81.10/48.21	o 1958
81.60/48.73	o 1957
82.10/49.27	o 1956
82.60/49.78	o 1955
83.20/50.32	o 1954
83.70/50.83	o 1953
84.20/51.37	o 1952
84.70/51.88	o 1951
85.20/52.38	o 1950
85.80/52.92	o 1949
86.30/53.44	o 1948
86.80/53.98	o 1947
87.31/54.49	o 1946
87.80/54.99	o 1945
88.41/55.51	o 1944
88.91/56.02	o 1943
89.41/56.52	o 1942
89.91/57.04	o 1941
90.41/57.57	o 1940
90.91/58.06	o 1939
91.41/58.57	o 1938
92.01/59.13	o 1937
93.09/59.75	o 1936
93.59/60.29	o 1935
94.19/60.82	o 1934
94.68/61.34	o 1933
95.18/61.88	o 1932
95.78/62.40	o 1931
96.29/62.93	o 1930
96.79/63.43	o 1929
97.29/63.95	o 1928
97.79/64.47	o 1927
98.29/64.99	o 1926
98.89/65.51	o 1925
99.39/66.02	o 1924
99.90/66.54	o 1923
100.39/67.04	o 1922
100.90/67.56	o 1921
101.39/68.06	o 1920
101.89/68.59	o 1919
102.49/69.10	o 1918
102.99/69.65	o 1917
103.49/70.17	o 1916
104.09/70.71	o 1915
104.59/71.21	o 1914
106.23/71.88	o 1913
106.84/72.41	o 1912
107.34/72.92	o 1911
107.84/73.43	o 1910
108.34/73.97	o 1909
108.84/74.49	o 1908
109.34/74.99	o 1907
109.84/75.49	o 1906
110.44/76.00	o 1905
110.94/76.53	o 1904
111.45/77.03	o 1903
111.96/77.55	o 1902
112.45/78.07	o 1901
112.96/78.56	o 1900
113.45/79.05	o 1899
113.96/79.58	o 1898
114.56/80.12	o 1897
115.06/80.63	o 1896
115.56/81.16	o 1895
116.06/81.66	o 1894
116.56/82.17	o 1893
117.06/82.68	o 1892
117.56/83.18	o 1891
118.77/83.80	o 1890
119.27/84.32	o 1889
119.77/84.83	o 1888
120.27/85.33	o 1887
120.77/85.84	o 1886
121.28/86.36	o 1885
121.77/86.86	o 1884
122.28/87.38	o 1883
122.77/87.88	o 1882
123.27/88.39	o 1881
123.77/88.89	o 1880
124.27/89.38	o 1879
124.87/89.92	o 1878
125.37/90.42	o 1877
125.87/90.92	o 1876
126.37/91.43	o 1875
126.87/91.95	o 1874
127.37/92.46	o 1873
127.87/92.98	o 1872
128.36/93.48	o 1871
128.87/93.99	o 1870
129.36/94.49	o 1869
129.97/95.02	o 1868
131.31/95.65	o 1867
131.81/96.15	o 1866
132.31/96.63	o 1865
132.81/97.13	o 1864
133.31/97.67	o 1863
133.81/98.14	o 1862
134.31/98.62	o 1861
134.81/99.15	o 1860
135.31/99.64	o 1859
135.81/100.13	o 1858
136.32/100.64	o 1857
136.81/101.13	o 1856
137.32/101.62	o 1855
137.81/102.12	o 1854
138.31/102.64	o 1853
138.81/103.13	o 1852
139.31/103.63	o 1851
139.81/104.13	o 1850
140.31/104.61	o 1849
140.81/105.15	o 1848
141.31/105.68	o 1847
141.82/106.19	o 1846
142.31/106.68	o 1845
142.82/107.16	o 1844
144.05/107.75	o 1843
144.55/108.25	o 1842
145.05/108.75	o 1841
145.55/109.27	o 1840
146.05/109.78	o 1839
146.55/110.28	o 1838
147.05/110.77	o 1837
147.55/111.24	o 1836
148.05/111.73	o 1835
148.55/112.23	o 1834
149.06/112.74	o 1833
149.55/113.22	o 1832
150.06/113.72	o 1831
150.55/114.22	o 1830
151.05/114.75	o 1829
151.55/115.24	o 1828
152.05/115.74	o 1827
152.55/116.26	o 1826
153.05/116.77	o 1825
153.65/117.31	o 1824
154.15/117.81	o 1823
154.65/118.32	o 1822
155.15/118.82	o 1821
155.66/119.31	o 1820
156.98/119.91	o 1819
157.39/120.39	o 1818
157.88/120.89	o 1817
158.49/121.41	o 1816
158.98/121.90	o 1815
159.48/122.40	o 1814
159.88/122.88	o 1813
160.38/123.37	o 1812
160.98/123.91	o 1811
161.48/124.42	o 1810
161.98/124.92	o 1809
162.48/125.43	o 1808
162.99/125.96	o 1807
163.48/126.46	o 1806
163.99/126.96	o 1805
164.48/127.46	o 1804
164.98/127.96	o 1803
165.48/128.44	o 1802
165.98/128.93	o 1801
166.48/129.41	o 1800
166.98/129.90	o 1799
167.48/130.40	o 1798
167.88/130.89	o 1797
168.49/131.42	o 1796
168.98/131.90	o 1795
170.29/132.49	o 1794
170.79/132.95	o 1793
171.29/133.44	o 1792
171.79/133.91	o 1791
172.29/134.41	o 1790
172.79/134.91	o 1789
173.19/135.40	o 1788
173.70/135.89	o 1787
174.19/136.38	o 1786
174.70/136.87	o 1785
175.19/137.33	o 1784
175.69/137.82	o 1783
176.19/138.30	o 1782
176.59/138.79	o 1781
177.09/139.26	o 1780
177.59/139.75	o 1779
178.10/140.25	o 1778
178.59/140.74	o 1777
179.10/141.24	o 1776
179.60/141.74	o 1775
180.10/142.25	o 1774
180.60/142.74	o 1773
181.10/143.23	o 1772
181.60/143.72	o 1771
182.10/144.21	o 1770
183.59/144.82	o 1769
184.09/145.30	o 1768
184.50/145.80	o 1767
184.99/146.28	o 1766
185.50/146.77	o 1765
185.99/147.26	o 1764
186.49/147.73	o 1763
186.99/148.22	o 1762
187.39/148.69	o 1761
187.99/149.22	o 1760
188.49/149.70	o 1759
188.99/150.20	o 1758
189.39/150.69	o 1757
189.90/151.18	o 1756
190.40/151.66	o 1755
190.90/152.18	o 1754
191.40/152.69	o 1753
191.90/153.18	o 1752
192.50/153.70	o 1751
192.90/154.18	o 1750
193.40/154.69	o 1749
193.90/155.18	o 1748
194.41/155.65	o 1747
194.90/156.14	o 1746
196.78/156.80	o 1745
197.18/157.27	o 1744
197.69/157.76	o 1743
198.18/158.25	o 1742
198.68/158.73	o 1741
199.08/159.19	o 1740
199.58/159.67	o 1739
200.08/160.16	o 1738
200.58/160.66	o 1737
201.09/161.13	o 1736
201.58/161.61	o 1735
201.98/162.08	o 1734
202.48/162.56	o 1733
202.98/163.05	o 1732
203.48/163.54	o 1731
203.98/164.02	o 1730
204.39/164.48	o 1729
204.88/164.94	o 1728
205.39/165.44	o 1727
205.89/165.91	o 1726
206.29/166.39	o 1725
206.79/166.86	o 1724
207.29/167.36	o 1723
207.79/167.85	o 1722
208.29/168.33	o 1721
208.69/168.80	o 1720
210.66/169.46	o 1719
211.17/169.95	o 1718
211.66/170.43	o 1717
212.06/170.90	o 1716
212.56/171.39	o 1715
213.06/171.87	o 1714
213.57/172.34	o 1713
214.07/172.81	o 1712
214.48/173.27	o 1711
214.97/173.73	o 1710
215.37/174.20	o 1709
215.87/174.68	o 1708
216.37/175.17	o 1707
216.87/175.64	o 1706
217.37/176.13	o 1705
217.87/176.62	o 1704
218.27/177.10	o 1703
218.78/177.58	o 1702
219.27/178.08	o 1701
219.77/178.55	o 1700
220.27/179.05	o 1699
220.77/179.52	o 1698
221.17/179.99	o 1697
221.77/180.50	o 1696
223.71/181.18	o 1695
224.21/181.67	o 1694
224.71/182.14	o 1693
225.21/182.62	o 1692
225.61/183.08	o 1691
226.11/183.57	o 1690
226.61/184.03	o 1689
227.01/184.49	o 1688
227.51/184.97	o 1687
228.01/185.44	o 1686
228.51/185.91	o 1685
229.02/186.41	o 1684
229.51/186.90	o 1683
229.91/187.39	o 1682
230.41/187.85	o 1681
230.91/188.33	o 1680
231.41/188.82	o 1679
231.81/189.29	o 1678
232.31/189.77	o 1677
232.81/190.25	o 1676
233.31/190.71	o 1675
233.81/191.20	o 1674
234.21/191.67	o 1673
234.71/192.14	o 1672
236.83/192.80	o 1671
237.23/193.25	o 1670
237.73/193.74	o 1669
238.23/194.20	o 1668
238.63/194.69	o 1667
239.14/195.20	o 1666
239.63/195.66	o 1665
240.13/196.13	o 1664
240.53/196.59	o 1663
241.03/197.05	o 1662
241.53/197.52	o 1661
242.03/198.00	o 1660
242.44/198.47	o 1659
242.93/198.97	o 1658
243.43/199.46	o 1657
243.93/199.94	o 1656
244.44/200.42	o 1655
244.83/200.90	o 1654
245.33/201.38	o 1653
245.84/201.85	o 1652
246.33/202.31	o 1651
246.73/202.79	o 1650
247.23/203.26	o 1649
249.42/203.94	o 1648
249.91/204.44	o 1647
250.41/204.92	o 1646
250.82/205.38	o 1645
251.32/205.85	o 1644
251.82/206.31	o 1643
252.22/206.77	o 1642
252.73/207.23	o 1641
253.12/207.68	o 1640
253.63/208.16	o 1639
254.13/208.63	o 1638
254.63/209.10	o 1637
255.04/209.57	o 1636
255.53/210.02	o 1635
255.93/210.49	o 1634
256.43/210.95	o 1633
256.93/211.41	o 1632
257.32/211.87	o 1631
257.82/212.33	o 1630
258.23/212.80	o 1629
258.72/213.26	o 1628
259.22/213.72	o 1627
259.62/214.17	o 1626
261.71/214.89	o 1625
262.42/215.35	o 1624
262.92/215.81	o 1623
263.33/216.29	o 1622
263.83/216.77	o 1621
264.34/217.24	o 1620
264.83/217.71	o 1619
265.34/218.22	o 1618
265.73/218.67	o 1617
266.23/219.11	o 1616
266.73/219.60	o 1615
267.13/220.06	o 1614
267.64/220.52	o 1613
268.03/220.98	o 1612
268.53/221.43	o 1611
269.03/221.91	o 1610
269.43/222.37	o 1609
269.93/222.85	o 1608
270.43/223.31	o 1607
270.84/223.77	o 1606
271.33/224.25	o 1605
271.83/224.72	o 1604
274.14/225.42	o 1603
274.54/225.87	o 1602
275.03/226.32	o 1601
275.43/226.77	o 1600
275.93/227.23	o 1599
276.33/227.68	o 1598
276.84/228.13	o 1597
277.23/228.59	o 1596
277.73/229.05	o 1595
278.23/229.51	o 1594
278.63/229.97	o 1593
279.14/230.44	o 1592
279.63/230.93	o 1591
280.03/231.40	o 1590
280.53/231.86	o 1589
281.03/232.31	o 1588
281.43/232.77	o 1587
281.93/233.23	o 1586
282.34/233.69	o 1585
282.83/234.14	o 1584
283.33/234.60	o 1583
283.73/235.06	o 1582
286.14/235.77	o 1581
286.64/236.22	o 1580
287.04/236.66	o 1579
287.54/237.11	o 1578
287.94/237.58	o 1577
288.45/238.04	o 1576
288.94/238.51	o 1575
289.34/238.98	o 1574
289.84/239.43	o 1573
290.34/239.90	o 1572
290.75/240.35	o 1571
291.14/240.79	o 1570
291.64/241.26	o 1569
292.14/241.71	o 1568
292.54/242.17	o 1567
293.04/242.61	o 1566
293.44/243.06	o 1565
293.95/243.52	o 1564
294.34/243.96	o 1563
294.84/244.41	o 1562
295.34/244.91	o 1561
297.85/245.62	o 1560
298.25/246.06	o 1559
298.75/246.51	o 1558
299.15/246.98	o 1557
299.65/247.45	o 1556
300.05/247.90	o 1555
300.55/248.36	o 1554
301.05/248.81	o 1553
301.45/249.25	o 1552
301.85/249.69	o 1551
302.35/250.13	o 1550
302.74/250.58	o 1549
303.24/251.04	o 1548
303.64/251.48	o 1547
304.14/251.93	o 1546
304.55/252.37	o 1545
305.04/252.81	o 1544
305.44/253.26	o 1543
305.94/253.73	o 1542
306.34/254.17	o 1541
306.85/254.63	o 1540
309.37/255.33	o 1539
309.77/255.78	o 1538
310.27/256.20	o 1537
310.67/256.66	o 1536
311.17/257.11	o 1535
311.57/257.55	o 1534
311.97/257.98	o 1533
312.47/258.42	o 1532
312.87/258.87	o 1531
313.37/259.30	o 1530
313.77/259.75	o 1529
314.17/260.19	o 1528
314.67/260.65	o 1527
315.07/261.10	o 1526
315.57/261.54	o 1525
315.96/261.97	o 1524
316.46/262.41	o 1523
316.86/262.85	o 1522
317.26/263.28	o 1521
317.77/263.76	o 1520
320.32/264.47	o 1519
320.81/264.92	o 1518
321.22/265.36	o 1517
321.72/265.81	o 1516
322.12/266.25	o 1515
322.53/266.70	o 1514
323.02/267.13	o 1513
323.42/267.55	o 1512
323.82/267.99	o 1511
324.32/268.43	o 1510
324.72/268.87	o 1509
325.22/269.33	o 1508
325.62/269.76	o 1507
326.12/270.22	o 1506
326.52/270.64	o 1505
326.92/271.07	o 1504
327.42/271.54	o 1503
327.81/271.98	o 1502
328.31/272.45	o 1501
328.71/272.89	o 1500
331.36/273.60	o 1499
331.76/274.04	o 1498
332.17/274.46	o 1497
332.66/274.91	o 1496
333.06/275.35	o 1495
333.46/275.79	o 1494
333.96/276.25	o 1493
334.37/276.69	o 1492
334.86/277.14	o 1491
335.26/277.59	o 1490
335.77/278.01	o 1489
336.17/278.44	o 1488
336.58/278.87	o 1487
337.07/279.33	o 1486
337.47/279.76	o 1485
337.97/280.22	o 1484
338.37/280.66	o 1483
338.78/281.08	o 1482
339.27/281.53	o 1481
339.78/282.01	o 1480
342.30/282.70	o 1479
342.71/283.12	o 1478
343.10/283.55	o 1477
343.50/283.98	o 1476
344.00/284.41	o 1475
344.40/284.84	o 1474
344.80/285.25	o 1473
345.30/285.70	o 1472
345.70/286.14	o 1471
346.20/286.61	o 1470
346.60/287.05	o 1469
347.00/287.49	o 1468
347.50/287.92	o 1467
347.90/288.35	o 1466
348.31/288.79	o 1465
348.80/289.22	o 1464
349.20/289.67	o 1463
349.70/290.11	o 1462
350.10/290.55	o 1461
352.33/291.24	o 1460
352.99/291.66	o 1459
353.40/292.09	o 1458
353.89/292.56	o 1457
354.29/292.99	o 1456
354.79/293.42	o 1455
355.19/293.85	o 1454
355.60/294.28	o 1453
356.09/294.73	o 1452
356.49/295.16	o 1451
356.89/295.59	o 1450
357.29/296.00	o 1449
357.80/296.42	o 1448
358.19/296.86	o 1447
358.59/297.29	o 1446
359.09/297.73	o 1445
359.49/298.17	o 1444
359.90/298.60	o 1443
360.39/299.03	o 1442
363.58/299.80	o 1441
363.98/300.24	o 1440
364.38/300.67	o 1439
364.88/301.10	o 1438
365.28/301.54	o 1437
365.69/301.96	o 1436
366.08/302.38	o 1435
366.58/302.81	o 1434
366.98/303.24	o 1433
367.38/303.69	o 1432
367.89/304.13	o 1431
368.28/304.56	o 1430
368.68/304.99	o 1429
369.18/305.44	o 1428
369.68/305.93	o 1427
370.09/306.36	o 1426
370.48/306.77	o 1425
370.98/307.25	o 1424
371.38/307.67	o 1423
371.78/308.10	o 1422
374.87/308.86	o 1421
375.28/309.29	o 1420
375.69/309.69	o 1419
376.18/310.10	o 1418
376.58/310.54	o 1417
376.98/310.97	o 1416
377.48/311.40	o 1415
377.89/311.88	o 1414
378.28/312.29	o 1413
378.78/312.71	o 1412
379.18/313.14	o 1411
379.58/313.56	o 1410
379.99/313.98	o 1409
380.48/314.42	o 1408
380.88/314.85	o 1407
381.28/315.26	o 1406
381.68/315.70	o 1405
382.19/316.13	o 1404
382.58/316.53	o 1403
385.61/317.29	o 1402
386.13/317.71	o 1401
386.53/318.15	o 1400
386.93/318.57	o 1399
387.33/318.99	o 1398
387.73/319.40	o 1397
388.23/319.81	o 1396
388.63/320.22	o 1395
389.04/320.64	o 1394
389.43/321.05	o 1393
389.83/321.44	o 1392
390.23/321.85	o 1391
390.63/322.29	o 1390
391.15/322.71	o 1389
391.54/323.12	o 1388
391.94/323.54	o 1387
392.35/323.94	o 1386
392.74/324.36	o 1385
393.14/324.78	o 1384
393.64/325.22	o 1383
396.67/325.98	o 1382
397.07/326.40	o 1381
397.57/326.84	o 1380
397.98/327.25	o 1379
398.37/327.68	o 1378
398.87/328.10	o 1377
399.27/328.52	o 1376
399.67/328.93	o 1375
400.08/329.35	o 1374
400.47/329.76	o 1373
400.87/330.17	o 1372
401.28/330.59	o 1371
401.77/331.01	o 1370
402.17/331.42	o 1369
402.57/331.84	o 1368
402.97/332.25	o 1367
403.38/332.67	o 1366
403.87/333.10	o 1365
404.27/333.51	o 1364
404.67/333.92	o 1363
407.67/334.68	o 1362
408.07/335.09	o 1361
408.47/335.49	o 1360
408.97/335.93	o 1359
409.37/336.34	o 1358
409.77/336.75	o 1357
410.17/337.17	o 1356
410.57/337.59	o 1355
411.07/338.00	o 1354
411.46/338.42	o 1353
411.86/338.84	o 1352
412.27/339.27	o 1351
412.66/339.68	o 1350
413.16/340.13	o 1349
413.56/340.56	o 1348
413.96/340.97	o 1347
414.36/341.39	o 1346
414.86/341.80	o 1345
415.26/342.21	o 1344
418.30/342.96	o 1343
418.80/343.40	o 1342
419.20/343.83	o 1341
419.59/344.26	o 1340
419.99/344.66	o 1339
420.39/345.09	o 1338
420.79/345.50	o 1337
421.30/345.91	o 1336
421.70/346.33	o 1335
422.10/346.73	o 1334
422.50/347.14	o 1333
422.90/347.55	o 1332
423.30/347.96	o 1331
423.70/348.36	o 1330
424.10/348.78	o 1329
424.50/349.17	o 1328
424.90/349.58	o 1327
425.30/349.97	o 1326
425.70/350.36	o 1325
428.29/351.09	o 1324
429.17/351.52	o 1323
429.57/351.91	o 1322
429.97/352.31	o 1321
430.37/352.72	o 1320
430.77/353.13	o 1319
431.17/353.51	o 1318
431.57/353.91	o 1317
431.97/354.33	o 1316
432.38/354.74	o 1315
432.77/355.14	o 1314
433.17/355.55	o 1313
433.57/355.95	o 1312
433.97/356.36	o 1311
434.37/356.76	o 1310
434.77/357.16	o 1309
435.17/357.55	o 1308
435.57/357.96	o 1307
436.07/358.40	o 1306
436.47/358.80	o 1305
439.42/359.53	o 1304
439.82/359.95	o 1303
440.22/360.36	o 1302
440.62/360.76	o 1301
441.02/361.16	o 1300
441.42/361.57	o 1299
441.82/361.97	o 1298
442.23/362.38	o 1297
442.62/362.77	o 1296
443.02/363.19	o 1295
443.52/363.61	o 1294
443.92/364.01	o 1293
444.32/364.41	o 1292
444.72/364.81	o 1291
445.12/365.21	o 1290
445.42/365.60	o 1289
445.92/366.03	o 1288
446.32/366.41	o 1287
446.73/366.81	o 1286
447.12/367.24	o 1285
450.09/367.96	o 1284
450.49/368.34	o 1283
450.89/368.76	o 1282
451.29/369.17	o 1281
451.69/369.58	o 1280
452.09/369.99	o 1279
452.49/370.38	o 1278
452.89/370.78	o 1277
453.30/371.17	o 1276
453.69/371.59	o 1275
454.09/371.98	o 1274
454.50/372.38	o 1273
454.89/372.78	o 1272
455.29/373.18	o 1271
455.69/373.57	o 1270
456.09/373.96	o 1269
456.49/374.35	o 1268
456.89/374.76	o 1267
457.29/375.15	o 1266
460.18/375.88	o 1265
460.67/376.27	o 1264
461.08/376.67	o 1263
461.47/377.08	o 1262
461.87/377.47	o 1261
462.28/377.87	o 1260
462.67/378.26	o 1259
463.07/378.66	o 1258
463.47/379.06	o 1257
463.87/379.45	o 1256
464.27/379.85	o 1255
464.67/380.24	o 1254
465.07/380.61	o 1253
465.37/380.99	o 1252
465.77/381.39	o 1251
466.27/381.81	o 1250
466.68/382.21	o 1249
467.07/382.62	o 1248
467.47/383.02	o 1247
467.87/383.42	o 1246
493.60/389.14	o 1245
494.00/389.54	o 1244
494.41/389.93	o 1243
494.80/390.31	o 1242
495.20/390.71	o 1241
495.60/391.10	o 1240
496.00/391.51	o 1239
496.40/391.92	o 1238
496.80/392.31	o 1237
497.20/392.73	o 1236
497.61/393.12	o 1235
497.90/393.50	o 1234
498.30/393.87	o 1233
498.71/394.25	o 1232
499.10/394.65	o 1231
499.50/395.05	o 1230
499.91/395.44	o 1229
500.30/395.81	o 1228
500.70/396.20	o 1227
501.01/396.59	o 1226
504.03/397.35	o 1225
504.78/397.74	o 1224
505.18/398.14	o 1223
505.58/398.53	o 1222
505.98/398.91	o 1221
506.37/399.30	o 1220
506.67/399.69	o 1219
507.07/400.06	o 1218
507.47/400.46	o 1217
507.88/400.85	o 1216
508.27/401.23	o 1215
508.67/401.62	o 1214
508.98/402.00	o 1213
509.37/402.38	o 1212
509.77/402.77	o 1211
510.18/403.16	o 1210
510.57/403.54	o 1209
510.97/403.91	o 1208
511.28/404.30	o 1207
511.67/404.68	o 1206
512.08/405.07	o 1205
514.97/405.77	o 1204
515.37/406.17	o 1203
515.77/406.55	o 1202
516.17/406.93	o 1201
516.47/407.29	o 1200
516.97/407.70	o 1199
517.27/408.08	o 1198
517.67/408.48	o 1197
518.08/408.86	o 1196
518.48/409.25	o 1195
518.89/409.63	o 1194
519.28/410.02	o 1193
519.68/410.40	o 1192
519.99/410.79	o 1191
520.38/411.16	o 1190
520.78/411.55	o 1189
521.19/411.92	o 1188
521.58/412.32	o 1187
521.98/412.72	o 1186
522.38/413.11	o 1185
525.19/413.82	o 1184
525.69/414.21	o 1183
525.99/414.58	o 1182
526.39/414.95	o 1181
526.79/415.34	o 1180
527.19/415.73	o 1179
527.59/416.14	o 1178
527.99/416.51	o 1177
528.29/416.89	o 1176
528.69/417.26	o 1175
529.09/417.65	o 1174
529.49/418.02	o 1173
529.79/418.40	o 1172
530.19/418.79	o 1171
530.59/419.17	o 1170
531.00/419.56	o 1169
531.39/419.95	o 1168
531.79/420.33	o 1167
532.20/420.72	o 1166
532.49/421.08	o 1165
532.89/421.45	o 1164
535.85/422.17	o 1163
536.25/422.55	o 1162
536.66/422.94	o 1161
537.06/423.31	o 1160
537.36/423.68	o 1159
537.76/424.06	o 1158
538.15/424.44	o 1157
538.55/424.82	o 1156
538.86/425.19	o 1155
539.25/425.56	o 1154
539.65/425.93	o 1153
540.05/426.31	o 1152
540.35/426.69	o 1151
540.75/427.07	o 1150
541.15/427.43	o 1149
541.45/427.79	o 1148
541.85/428.17	o 1147
542.25/428.55	o 1146
542.65/428.93	o 1145
543.05/429.30	o 1144
543.35/429.69	o 1143
546.81/430.47	o 1142
547.21/430.84	o 1141
547.61/431.23	o 1140
548.02/431.62	o 1139
548.31/432.00	o 1138
548.71/432.37	o 1137
549.12/432.75	o 1136
549.52/433.12	o 1135
549.82/433.49	o 1134
550.23/433.85	o 1133
550.62/434.21	o 1132
550.92/434.58	o 1131
551.33/434.95	o 1130
551.72/435.32	o 1129
552.12/435.72	o 1128
552.43/436.10	o 1127
552.82/436.48	o 1126
553.22/436.86	o 1125
553.63/437.24	o 1124
554.02/437.60	o 1123
554.32/437.98	o 1122
561.86/439.26	o 1121
562.25/439.65	o 1120
562.66/440.01	o 1119
562.96/440.38	o 1118
563.36/440.75	o 1117
563.76/441.13	o 1116
564.06/441.49	o 1115
564.46/441.86	o 1114
564.85/442.22	o 1113
565.27/442.62	o 1112
565.55/442.99	o 1111
565.95/443.39	o 1110
566.37/443.76	o 1109
566.75/444.12	o 1108
567.05/444.47	o 1107
567.47/444.86	o 1106
567.85/445.23	o 1105
568.25/445.61	o 1104
568.57/445.98	o 1103
568.95/446.34	o 1102
569.35/446.70	o 1101
577.49/448.06	o 1100
577.89/448.43	o 1099
578.19/448.80	o 1098
578.59/449.16	o 1097
578.99/449.51	o 1096
579.29/449.87	o 1095
579.69/450.24	o 1094
580.09/450.63	o 1093
580.49/451.02	o 1092
580.79/451.38	o 1091
581.19/451.77	o 1090
581.59/452.15	o 1089
582.00/452.52	o 1088
582.29/452.89	o 1087
582.69/453.25	o 1086
583.10/453.62	o 1085
583.39/453.99	o 1084
583.79/454.36	o 1083
584.20/454.72	o 1082
584.49/455.08	o 1081
584.89/455.43	o 1080
585.19/455.80	o 1079
619.83/461.95	o 1078
620.23/462.30	o 1077
620.53/462.66	o 1076
620.93/463.03	o 1075
621.23/463.38	o 1074
621.63/463.73	o 1073
621.93/464.09	o 1072
622.33/464.46	o 1071
622.73/464.83	o 1070
623.03/465.19	o 1069
623.43/465.55	o 1068
623.83/465.90	o 1067
624.13/466.26	o 1066
624.53/466.62	o 1065
624.84/466.98	o 1064
625.23/467.35	o 1063
625.63/467.72	o 1062
625.94/468.09	o 1061
626.33/468.46	o 1060
626.73/468.82	o 1059
627.13/469.20	o 1058
634.56/470.46	o 1057
634.96/470.83	o 1056
635.26/471.19	o 1055
635.66/471.56	o 1054
636.06/471.90	o 1053
636.36/472.25	o 1052
636.76/472.63	o 1051
637.06/472.99	o 1050
637.46/473.36	o 1049
637.86/473.70	o 1048
638.16/474.06	o 1047
638.56/474.43	o 1046
638.86/474.79	o 1045
639.26/475.16	o 1044
639.66/475.52	o 1043
639.96/475.89	o 1042
640.36/476.26	o 1041
640.76/476.62	o 1040
641.06/476.99	o 1039
641.46/477.34	o 1038
641.77/477.69	o 1037
648.45/478.86	o 1036
649.02/479.22	o 1035
649.32/479.58	o 1034
649.72/479.94	o 1033
650.12/480.30	o 1032
650.52/480.72	o 1031
650.82/481.09	o 1030
651.22/481.46	o 1029
651.62/481.82	o 1028
651.92/482.17	o 1027
652.32/482.53	o 1026
652.63/482.89	o 1025
653.03/483.24	o 1024
653.33/483.59	o 1023
653.73/483.94	o 1022
654.03/484.30	o 1021
654.43/484.66	o 1020
654.83/485.01	o 1019
655.13/485.36	o 1018
655.53/485.70	o 1017
655.83/486.07	o 1016
656.23/486.42	o 1015
662.65/487.54	o 1014
662.95/487.89	o 1013
663.35/488.25	o 1012
663.65/488.59	o 1011
664.05/488.95	o 1010
664.45/489.30	o 1009
664.75/489.67	o 1008
665.15/490.03	o 1007
665.45/490.38	o 1006
665.85/490.76	o 1005
666.25/491.12	o 1004
666.55/491.47	o 1003
666.95/491.83	o 1002
667.25/492.18	o 1001
667.65/492.54	o 1000
668.05/492.90	o 999
668.35/493.25	o 998
668.65/493.59	o 997
669.05/493.94	o 996
669.35/494.29	o 995
669.75/494.63	o 994
675.94/495.73	o 993
676.24/496.09	o 992
676.64/496.43	o 991
676.94/496.78	o 990
677.34/497.12	o 989
677.64/497.46	o 988
678.04/497.81	o 987
678.34/498.16	o 986
678.64/498.49	o 985
679.05/498.84	o 984
679.34/499.18	o 983
679.75/499.52	o 982
680.06/499.89	o 981
680.45/500.23	o 980
680.75/500.57	o 979
681.16/500.93	o 978
681.45/501.28	o 977
681.85/501.62	o 976
682.15/501.97	o 975
682.55/502.33	o 974
682.85/502.67	o 973
688.83/503.73	o 972
689.13/504.07	o 971
689.44/504.39	o 970
689.83/504.73	o 969
690.13/505.08	o 968
690.54/505.41	o 967
690.83/505.76	o 966
691.24/506.10	o 965
691.55/506.45	o 964
691.94/506.80	o 963
692.24/507.15	o 962
692.54/507.49	o 961
692.94/507.83	o 960
693.24/508.17	o 959
693.64/508.52	o 958
693.94/508.86	o 957
694.24/509.20	o 956
694.64/509.53	o 955
694.95/509.86	o 954
695.24/510.19	o 953
695.64/510.52	o 952
695.95/510.86	o 951
701.49/511.85	o 950
701.79/512.19	o 949
702.19/512.52	o 948
702.49/512.85	o 947
702.80/513.18	o 946
703.19/513.52	o 945
703.49/513.86	o 944
703.80/514.20	o 943
704.19/514.53	o 942
704.49/514.86	o 941
704.79/515.20	o 940
705.19/515.54	o 939
705.59/515.90	o 938
705.89/516.24	o 937
706.19/516.58	o 936
706.59/516.92	o 935
706.89/517.26	o 934
707.29/517.60	o 933
707.59/517.92	o 932
707.89/518.25	o 931
708.20/518.58	o 930
712.84/519.49	o 929
713.51/519.84	o 928
713.81/520.17	o 927
714.21/520.52	o 926
714.52/520.86	o 925
714.91/521.22	o 924
715.21/521.57	o 923
715.62/521.91	o 922
715.91/522.25	o 921
716.21/522.58	o 920
716.62/522.92	o 919
716.91/523.26	o 918
717.31/523.61	o 917
717.61/523.95	o 916
717.91/524.30	o 915
718.31/524.63	o 914
718.61/524.98	o 913
719.01/525.31	o 912
719.31/525.67	o 911
719.61/526.00	o 910
720.02/526.35	o 909
723.96/527.17	o 908
724.63/527.51	o 907
724.93/527.85	o 906
725.33/528.20	o 905
725.64/528.53	o 904
725.93/528.87	o 903
726.33/529.21	o 902
726.64/529.54	o 901
726.93/529.87	o 900
727.33/530.20	o 899
727.63/530.52	o 898
727.93/530.84	o 897
728.23/531.17	o 896
728.63/531.51	o 895
728.94/531.85	o 894
729.23/532.20	o 893
729.63/532.54	o 892
729.94/532.88	o 891
730.33/533.22	o 890
730.63/533.55	o 889
730.93/533.88	o 888
731.33/534.20	o 887
734.97/534.96	o 886
735.27/535.28	o 885
735.67/535.61	o 884
735.97/535.94	o 883
736.27/536.27	o 882
736.57/536.59	o 881
736.97/536.91	o 880
737.27/537.25	o 879
737.57/537.60	o 878
737.97/537.93	o 877
738.27/538.24	o 876
738.57/538.57	o 875
738.96/538.91	o 874
739.27/539.25	o 873
739.57/539.59	o 872
739.96/539.92	o 871
740.26/540.26	o 870
740.57/540.58	o 869
740.86/540.89	o 868
741.26/541.22	o 867
741.57/541.55	o 866
744.69/542.27	o 865
745.43/542.67	o 864
745.83/543.01	o 863
746.13/543.34	o 862
746.43/543.67	o 861
746.83/544.01	o 860
747.13/544.34	o 859
747.43/544.65	o 858
747.74/544.96	o 857
748.03/545.29	o 856
748.43/545.63	o 855
748.73/545.95	o 854
749.03/546.28	o 853
749.43/546.60	o 852
749.73/546.93	o 851
750.04/547.26	o 850
750.33/547.56	o 849
750.63/547.88	o 848
750.93/548.20	o 847
754.49/548.92	o 846
754.79/549.26	o 845
755.09/549.58	o 844
755.49/549.91	o 843
755.79/550.23	o 842
756.10/550.54	o 841
756.39/550.87	o 840
756.79/551.20	o 839
757.10/551.54	o 838
757.39/551.88	o 837
757.79/552.20	o 836
758.09/552.52	o 835
758.39/552.84	o 834
758.69/553.15	o 833
758.99/553.45	o 832
759.30/553.77	o 831
759.69/554.11	o 830
759.99/554.43	o 829
760.30/554.76	o 828
760.60/555.07	o 827
760.90/555.39	o 826
761.30/555.72	o 825
764.65/556.43	o 824
764.95/556.75	o 823
765.25/557.06	o 822
765.55/557.40	o 821
765.95/557.71	o 820
766.25/558.03	o 819
766.55/558.34	o 818
766.85/558.66	o 817
767.15/558.98	o 816
767.45/559.30	o 815
767.85/559.62	o 814
768.15/559.93	o 813
768.45/560.25	o 812
768.75/560.56	o 811
769.05/560.88	o 810
769.35/561.19	o 809
769.75/561.52	o 808
770.04/561.83	o 807
770.34/562.14	o 806
770.64/562.45	o 805
770.94/562.76	o 804
805.71/569.01	o 803
806.01/569.34	o 802
806.31/569.65	o 801
806.61/569.97	o 800
806.91/570.29	o 799
807.21/570.59	o 798
807.61/570.90	o 797
807.91/571.21	o 796
808.21/571.54	o 795
808.51/571.86	o 794
808.80/572.17	o 793
809.11/572.48	o 792
809.40/572.79	o 791
809.70/573.09	o 790
810.10/573.42	o 789
810.40/573.74	o 788
810.70/574.05	o 787
811.00/574.36	o 786
811.31/574.68	o 785
811.60/574.99	o 784
812.00/575.31	o 783
816.24/576.14	o 782
816.60/576.44	o 781
816.90/576.76	o 780
817.20/577.07	o 779
817.50/577.39	o 778
817.90/577.70	o 777
818.21/578.02	o 776
818.50/578.34	o 775
818.80/578.64	o 774
819.10/578.94	o 773
819.40/579.26	o 772
819.70/579.57	o 771
820.00/579.88	o 770
820.31/580.20	o 769
820.70/580.52	o 768
821.00/580.84	o 767
821.30/581.16	o 766
821.60/581.46	o 765
821.90/581.77	o 764
822.20/582.08	o 763
822.51/582.39	o 762
822.90/582.70	o 761
826.54/583.44	o 760
826.84/583.74	o 759
827.14/584.05	o 758
827.44/584.35	o 757
827.75/584.66	o 756
828.04/584.97	o 755
828.34/585.28	o 754
828.64/585.60	o 753
829.04/585.90	o 752
829.34/586.22	o 751
829.64/586.53	o 750
829.94/586.85	o 749
830.24/587.16	o 748
830.54/587.48	o 747
830.84/587.79	o 746
831.24/588.10	o 745
831.54/588.40	o 744
831.84/588.71	o 743
832.14/589.03	o 742
832.44/589.34	o 741
832.74/589.64	o 740
835.66/590.27	o 739
835.96/590.57	o 738
836.26/590.87	o 737
836.67/591.21	o 736
836.96/591.52	o 735
837.26/591.82	o 734
837.56/592.14	o 733
837.86/592.45	o 732
838.16/592.76	o 731
838.46/593.06	o 730
838.77/593.37	o 729
839.06/593.69	o 728
839.36/593.99	o 727
839.66/594.29	o 726
839.97/594.60	o 725
840.36/594.90	o 724
840.66/595.21	o 723
840.97/595.52	o 722
841.26/595.83	o 721
841.56/596.14	o 720
841.86/596.44	o 719
844.79/597.09	o 718
845.09/597.39	o 717
845.49/597.71	o 716
845.79/598.01	o 715
846.09/598.31	o 714
846.39/598.61	o 713
846.69/598.91	o 712
846.99/599.21	o 711
847.29/599.52	o 710
847.59/599.83	o 709
847.89/600.15	o 708
848.19/600.44	o 707
848.49/600.74	o 706
848.80/601.04	o 705
849.09/601.34	o 704
849.39/601.64	o 703
849.69/601.93	o 702
850.00/602.24	o 701
850.29/602.54	o 700
850.59/602.84	o 699
850.89/603.15	o 698
853.90/603.80	o 697
854.20/604.10	o 696
854.52/604.41	o 695
854.81/604.71	o 694
855.11/605.00	o 693
855.31/605.29	o 692
855.61/605.58	o 691
855.91/605.87	o 690
856.21/606.18	o 689
856.51/606.47	o 688
856.81/606.77	o 687
857.11/607.06	o 686
857.41/607.35	o 685
857.71/607.65	o 684
858.01/607.94	o 683
858.31/608.23	o 682
858.61/608.52	o 681
858.91/608.81	o 680
859.11/609.09	o 679
859.40/609.39	o 678
859.70/609.67	o 677
863.29/610.38	o 676
863.59/610.68	o 675
863.90/610.98	o 674
864.19/611.28	o 673
864.49/611.58	o 672
864.79/611.86	o 671
865.10/612.16	o 670
865.39/612.45	o 669
865.69/612.74	o 668
865.99/613.02	o 667
866.29/613.31	o 666
866.59/613.60	o 665
866.79/613.89	o 664
867.09/614.19	o 663
867.39/614.48	o 662
867.69/614.79	o 661
867.99/615.08	o 660
868.30/615.36	o 659
868.59/615.67	o 658
868.89/615.96	o 657
869.19/616.25	o 656
908.09/622.34	o 655
908.39/622.66	o 654
908.69/622.96	o 653
908.99/623.25	o 652
909.29/623.56	o 651
909.59/623.85	o 650
909.90/624.14	o 649
910.19/624.43	o 648
910.49/624.72	o 647
910.79/625.01	o 646
911.00/625.30	o 645
911.29/625.60	o 644
911.59/625.88	o 643
911.89/626.18	o 642
912.20/626.47	o 641
912.49/626.76	o 640
912.79/627.05	o 639
913.09/627.34	o 638
913.39/627.63	o 637
913.69/627.92	o 636
913.99/628.21	o 635
914.29/628.52	o 634
915.69/628.95	o 633
915.99/629.24	o 632
916.29/629.52	o 631
916.59/629.81	o 630
916.89/630.10	o 629
917.09/630.38	o 628
917.39/630.68	o 627
917.69/630.96	o 626
917.99/631.24	o 625
918.29/631.53	o 624
918.60/631.81	o 623
918.79/632.10	o 622
919.09/632.39	o 621
919.39/632.67	o 620
919.70/632.96	o 619
919.99/633.25	o 618
920.29/633.54	o 617
920.59/633.82	o 616
920.80/634.09	o 615
921.09/634.37	o 614
921.39/634.66	o 613
923.31/635.14	o 612
923.61/635.42	o 611
923.91/635.70	o 610
924.11/635.99	o 609
924.41/636.26	o 608
924.71/636.53	o 607
925.01/636.83	o 606
925.31/637.12	o 605
925.61/637.43	o 604
925.91/637.70	o 603
926.11/637.98	o 602
926.41/638.26	o 601
926.71/638.55	o 600
927.01/638.82	o 599
927.21/639.09	o 598
927.51/639.36	o 597
927.81/639.64	o 596
928.10/639.91	o 595
928.30/640.19	o 594
928.60/640.45	o 593
928.91/640.73	o 592
929.20/641.00	o 591
931.63/641.57	o 590
931.94/641.84	o 589
932.23/642.11	o 588
932.43/642.39	o 587
932.73/642.68	o 586
933.04/642.94	o 585
933.33/643.21	o 584
933.63/643.50	o 583
933.83/643.77	o 582
934.14/644.03	o 581
934.43/644.30	o 580
934.73/644.60	o 579
934.93/644.88	o 578
935.24/645.14	o 577
935.53/645.42	o 576
935.73/645.69	o 575
936.03/645.97	o 574
936.34/646.24	o 573
936.63/646.52	o 572
936.93/646.80	o 571
937.13/647.07	o 570
937.44/647.35	o 569
937.73/647.62	o 568
940.55/648.21	o 567
940.76/648.48	o 566
941.05/648.75	o 565
941.35/649.03	o 564
941.55/649.29	o 563
941.86/649.57	o 562
942.15/649.85	o 561
942.45/650.12	o 560
942.65/650.39	o 559
942.96/650.67	o 558
943.25/650.94	o 557
943.55/651.20	o 556
943.75/651.47	o 555
944.06/651.75	o 554
944.35/652.02	o 553
944.65/652.30	o 552
944.85/652.57	o 551
945.16/652.85	o 550
945.45/653.13	o 549
945.65/653.39	o 548
945.95/653.65	o 547
946.26/653.93	o 546
949.18/654.59	o 545
949.82/654.86	o 544
950.12/655.13	o 543
950.42/655.41	o 542
950.62/655.67	o 541
950.92/655.96	o 540
951.22/656.22	o 539
951.42/656.49	o 538
951.72/656.75	o 537
952.02/657.03	o 536
952.23/657.30	o 535
952.52/657.58	o 534
952.83/657.84	o 533
953.13/658.11	o 532
953.34/658.37	o 531
953.63/658.62	o 530
953.83/658.88	o 529
954.13/659.15	o 528
954.44/659.43	o 527
954.63/659.69	o 526
954.93/659.96	o 525
955.23/660.23	o 524
955.43/660.49	o 523
955.73/660.76	o 522
959.60/661.48	o 521
959.90/661.74	o 520
960.20/662.00	o 519
960.41/662.26	o 518
960.71/662.53	o 517
960.91/662.79	o 516
961.21/663.04	o 515
961.41/663.29	o 514
961.71/663.54	o 513
961.91/663.80	o 512
962.20/664.07	o 511
962.50/664.34	o 510
962.80/664.60	o 509
963.01/664.85	o 508
963.30/665.11	o 507
963.50/665.39	o 506
963.80/665.65	o 505
964.11/665.93	o 504
964.30/666.18	o 503
964.60/666.45	o 502
964.90/666.71	o 501
965.10/666.98	o 500
965.40/667.23	o 499
969.54/668.00	o 498
969.85/668.25	o 497
970.04/668.50	o 496
970.34/668.76	o 495
970.64/669.02	o 494
970.85/669.27	o 493
971.14/669.53	o 492
971.34/669.79	o 491
971.64/670.05	o 490
971.95/670.31	o 489
972.14/670.55	o 488
972.44/670.80	o 487
972.64/671.06	o 486
972.94/671.32	o 485
973.15/671.57	o 484
973.44/671.84	o 483
973.64/672.09	o 482
973.94/672.35	o 481
974.25/672.61	o 480
974.44/672.86	o 479
974.74/673.10	o 478
974.94/673.35	o 477
975.25/673.61	o 476
975.44/673.86	o 475
979.97/674.68	o 474
980.36/674.94	o 473
980.56/675.19	o 472
980.86/675.45	o 471
981.16/675.71	o 470
981.37/675.96	o 469
981.66/676.21	o 468
981.86/676.46	o 467
982.16/676.70	o 466
982.37/676.95	o 465
982.56/677.19	o 464
982.86/677.46	o 463
983.16/677.71	o 462
983.36/677.96	o 461
983.66/678.20	o 460
983.86/678.45	o 459
984.06/678.69	o 458
984.36/678.95	o 457
984.57/679.19	o 456
984.86/679.44	o 455
985.06/679.68	o 454
985.36/679.93	o 453
985.56/680.18	o 452
985.86/680.43	o 451
991.21/681.31	o 450
991.41/681.56	o 449
991.71/681.83	o 448
991.91/682.06	o 447
992.21/682.32	o 446
992.41/682.59	o 445
992.71/682.84	o 444
992.91/683.08	o 443
993.21/683.33	o 442
993.41/683.56	o 441
993.71/683.81	o 440
993.90/684.06	o 439
994.20/684.30	o 438
994.40/684.55	o 437
994.61/684.79	o 436
994.90/685.03	o 435
995.10/685.26	o 434
995.40/685.51	o 433
995.61/685.75	o 432
995.90/686.00	o 431
996.10/686.24	o 430
996.30/686.49	o 429
996.60/686.73	o 428
996.81/686.97	o 427
997.10/687.21	o 426
1002.76/688.15	o 425
1002.96/688.39	o 424
1003.26/688.62	o 423
1003.46/688.86	o 422
1003.77/689.11	o 421
1003.96/689.35	o 420
1004.16/689.59	o 419
1004.46/689.83	o 418
1004.66/690.06	o 417
1004.96/690.30	o 416
1005.16/690.53	o 415
1005.36/690.77	o 414
1005.66/691.01	o 413
1005.86/691.25	o 412
1006.06/691.49	o 411
1006.36/691.72	o 410
1006.56/691.95	o 409
1006.76/692.19	o 408
1007.06/692.42	o 407
1007.26/692.66	o 406
1007.46/692.89	o 405
1007.76/693.12	o 404
1007.96/693.37	o 403
1008.26/693.60	o 402
1008.46/693.85	o 401
1014.92/694.87	o 400
1015.22/695.11	o 399
1015.42/695.34	o 398
1015.62/695.57	o 397
1015.92/695.80	o 396
1016.12/696.03	o 395
1016.31/696.27	o 394
1016.61/696.51	o 393
1016.82/696.75	o 392
1017.01/696.98	o 391
1017.32/697.22	o 390
1017.52/697.45	o 389
1017.72/697.69	o 388
1018.03/697.93	o 387
1018.22/698.16	o 386
1018.52/698.40	o 385
1018.72/698.64	o 384
1018.92/698.88	o 383
1019.22/699.11	o 382
1019.42/699.33	o 381
1019.62/699.55	o 380
1019.82/699.78	o 379
1020.13/700.02	o 378
1020.32/700.26	o 377
1020.52/700.49	o 376
1027.50/701.58	o 375
1027.80/701.81	o 374
1028.00/702.04	o 373
1028.20/702.26	o 372
1028.40/702.49	o 371
1028.70/702.72	o 370
1028.90/702.95	o 369
1029.10/703.18	o 368
1029.30/703.40	o 367
1029.60/703.63	o 366
1029.81/703.86	o 365
1030.01/704.08	o 364
1030.31/704.30	o 363
1030.51/704.53	o 362
1030.70/704.76	o 361
1030.90/704.99	o 360
1031.20/705.22	o 359
1031.40/705.45	o 358
1031.61/705.69	o 357
1031.90/705.91	o 356
1032.10/706.15	o 355
1032.30/706.37	o 354
1032.50/706.60	o 353
1032.80/706.82	o 352
1039.14/707.89	o 351
1039.88/708.12	o 350
1040.08/708.34	o 349
1040.28/708.56	o 348
1040.48/708.80	o 347
1040.78/709.03	o 346
1040.98/709.26	o 345
1041.18/709.48	o 344
1041.48/709.70	o 343
1041.69/709.93	o 342
1041.88/710.15	o 341
1042.08/710.37	o 340
1042.28/710.59	o 339
1042.58/710.81	o 338
1042.79/711.03	o 337
1042.98/711.25	o 336
1043.18/711.47	o 335
1043.38/711.69	o 334
1043.68/711.91	o 333
1043.89/712.13	o 332
1044.08/712.35	o 331
1044.28/712.56	o 330
1044.48/712.78	o 329
1044.78/713.01	o 328
1044.99/713.23	o 327
1051.17/714.20	o 326
1051.38/714.43	o 325
1051.57/714.65	o 324
1051.77/714.87	o 323
1051.97/715.09	o 322
1052.27/715.32	o 321
1052.48/715.54	o 320
1052.67/715.76	o 319
1052.87/715.98	o 318
1053.17/716.20	o 317
1053.37/716.41	o 316
1053.58/716.63	o 315
1053.77/716.85	o 314
1053.97/717.08	o 313
1054.27/717.30	o 312
1054.47/717.51	o 311
1054.68/717.72	o 310
1054.87/717.94	o 309
1055.07/718.15	o 308
1055.27/718.37	o 307
1055.47/718.59	o 306
1055.78/718.81	o 305
1055.97/719.03	o 304
1056.17/719.24	o 303
1056.37/719.45	o 302
1061.93/720.35	o 301
1062.13/720.57	o 300
1062.33/720.78	o 299
1062.54/721.00	o 298
1062.83/721.21	o 297
1063.03/721.43	o 296
1063.23/721.64	o 295
1063.43/721.86	o 294
1063.64/722.08	o 293
1063.83/722.29	o 292
1064.13/722.52	o 291
1064.33/722.73	o 290
1064.53/722.94	o 289
1064.74/723.16	o 288
1064.93/723.37	o 287
1065.13/723.58	o 286
1065.33/723.79	o 285
1065.63/724.00	o 284
1065.84/724.21	o 283
1066.03/724.43	o 282
1066.23/724.64	o 281
1066.43/724.85	o 280
1066.63/725.06	o 279
1066.83/725.26	o 278
1067.04/725.48	o 277
1072.19/726.30	o 276
1072.40/726.52	o 275
1072.59/726.73	o 274
1072.79/726.94	o 273
1072.99/727.15	o 272
1073.19/727.35	o 271
1073.39/727.57	o 270
1073.59/727.77	o 269
1073.79/727.97	o 268
1073.99/728.18	o 267
1074.19/728.39	o 266
1074.39/728.60	o 265
1074.69/728.81	o 264
1074.89/729.02	o 263
1075.09/729.23	o 262
1075.29/729.44	o 261
1075.49/729.64	o 260
1075.69/729.84	o 259
1075.89/730.05	o 258
1076.09/730.25	o 257
1076.29/730.45	o 256
1076.49/730.66	o 255
1076.69/730.87	o 254
1076.89/731.08	o 253
1077.09/731.28	o 252
1081.99/732.09	o 251
1082.28/732.30	o 250
1082.48/732.50	o 249
1082.68/732.72	o 248
1082.88/732.93	o 247
1083.09/733.12	o 246
1083.28/733.32	o 245
1083.48/733.52	o 244
1083.68/733.73	o 243
1083.88/733.93	o 242
1084.08/734.13	o 241
1084.28/734.33	o 240
1084.48/734.53	o 239
1084.68/734.73	o 238
1084.89/734.94	o 237
1085.09/735.14	o 236
1085.30/735.35	o 235
1085.49/735.55	o 234
1085.69/735.74	o 233
1085.89/735.94	o 232
1086.09/736.15	o 231
1086.30/736.36	o 230
1086.49/736.56	o 229
1086.69/736.77	o 228
1086.89/736.97	o 227
1090.91/737.68	o 226
1091.19/737.88	o 225
1091.39/738.07	o 224
1091.59/738.27	o 223
1091.79/738.47	o 222
1091.99/738.67	o 221
1092.19/738.87	o 220
1092.39/739.07	o 219
1092.59/739.27	o 218
1092.79/739.47	o 217
1092.99/739.66	o 216
1093.19/739.86	o 215
1093.39/740.05	o 214
1093.59/740.25	o 213
1093.79/740.44	o 212
1093.99/740.64	o 211
1094.19/740.85	o 210
1094.39/741.06	o 209
1094.59/741.25	o 208
1094.79/741.46	o 207
1094.99/741.66	o 206
1095.19/741.86	o 205
1095.38/742.05	o 204
1095.58/742.25	o 203
1095.78/742.44	o 202
1099.76/743.11	o 201
1099.96/743.31	o 200
1100.16/743.50	o 199
1100.26/743.70	o 198
1100.46/743.89	o 197
1100.66/744.08	o 196
1100.86/744.29	o 195
1101.06/744.48	o 194
1101.26/744.68	o 193
1101.46/744.87	o 192
1101.66/745.06	o 191
1101.86/745.25	o 190
1102.06/745.44	o 189
1102.26/745.64	o 188
1102.46/745.83	o 187
1102.66/746.02	o 186
1102.76/746.20	o 185
1102.96/746.40	o 184
1103.16/746.59	o 183
1103.36/746.79	o 182
1103.55/746.98	o 181
1103.76/747.17	o 180
1103.96/747.36	o 179
1104.16/747.55	o 178
1104.36/747.75	o 177
1104.55/747.94	o 176
1108.05/748.55	o 175
1108.23/748.74	o 174
1108.43/748.93	o 173
1108.63/749.12	o 172
1108.83/749.32	o 171
1109.04/749.51	o 170
1109.23/749.70	o 169
1109.33/749.89	o 168
1109.53/750.08	o 167
1109.73/750.26	o 166
1109.93/750.46	o 165
1110.14/750.65	o 164
1110.33/750.83	o 163
1110.53/751.02	o 162
1110.73/751.21	o 161
1110.83/751.39	o 160
1111.03/751.58	o 159
1111.24/751.76	o 158
1111.43/751.94	o 157
1111.63/752.13	o 156
1111.83/752.30	o 155
1111.93/752.49	o 154
1112.13/752.67	o 153
1112.34/752.86	o 152
1112.53/753.04	o 151
1112.73/753.22	o 150
1115.69/753.77	o 149
1115.90/753.96	o 148
1116.09/754.14	o 147
1116.29/754.33	o 146
1116.49/754.52	o 145
1116.59/754.69	o 144
1116.79/754.86	o 143
1117.00/755.04	o 142
1117.19/755.23	o 141
1117.39/755.40	o 140
1117.49/755.59	o 139
1117.69/755.77	o 138
1117.89/755.95	o 137
1118.10/756.15	o 136
1118.29/756.33	o 135
1118.49/756.51	o 134
1118.59/756.69	o 133
1118.79/756.86	o 132
1118.99/757.04	o 131
1119.20/757.22	o 130
1119.39/757.40	o 129
1119.49/757.58	o 128
1119.69/757.78	o 127
1119.89/757.95	o 126
1120.09/758.12	o 125
1120.19/758.29	o 124
1120.40/758.46	o 123
1120.59/758.63	o 122
1120.79/758.80	o 121
1120.89/758.97	o 120
1123.42/759.44	o 119
1123.61/759.61	o 118
1123.71/759.78	o 117
1123.91/759.94	o 116
1124.11/760.11	o 115
1124.21/760.28	o 114
1124.41/760.46	o 113
1124.62/760.63	o 112
1124.71/760.79	o 111
1124.91/760.97	o 110
1125.11/761.14	o 109
1125.31/761.31	o 108
1125.41/761.48	o 107
1125.62/761.64	o 106
1125.81/761.81	o 105
1125.91/761.98	o 104
1126.11/762.14	o 103
1126.31/762.31	o 102
1126.41/762.48	o 101
1126.61/762.64	o 100
1126.72/762.80	o 99
1126.91/762.97	o 98
1127.11/763.14	o 97
1127.31/763.31	o 96
1127.41/763.47	o 95
1127.61/763.63	o 94
1127.71/763.79	o 93
1127.92/763.96	o 92
1128.11/764.12	o 91
1128.21/764.28	o 90
1128.41/764.44	o 89
1128.61/764.61	o 88
1128.71/764.77	o 87
1128.92/764.95	o 86
1129.11/765.11	o 85
1129.21/765.27	o 84
1129.41/765.44	o 83
1129.61/765.60	o 82
1129.71/765.76	o 81
1129.91/765.92	o 80
1130.02/766.08	o 79
1130.21/766.24	o 78
1130.41/766.40	o 77
1130.51/766.55	o 76
1130.71/766.71	o 75
1130.81/766.88	o 74
1131.01/767.04	o 73
1131.12/767.19	o 72
1131.31/767.35	o 71
1131.51/767.52	o 70
1131.61/767.68	o 69
1131.81/767.84	o 68
1132.01/768.01	o 67
1132.11/768.16	o 66
1132.32/768.32	o 65
1132.41/768.48	o 64
1132.61/768.63	o 63
1132.71/768.79	o 62
1132.91/768.96	o 61
1133.11/769.11	o 60
1133.21/769.27	o 59
1133.42/769.42	o 58
1133.51/769.58	o 57
1133.71/769.73	o 56
1133.91/769.90	o 55
1134.01/770.06	o 54
1134.21/770.21	o 53
1134.31/770.36	o 52
1134.52/770.52	o 51
1134.61/770.67	o 50
1137.30/771.17	o 49
1137.69/771.33	o 48
1137.79/771.49	o 47
1138.00/771.64	o 46
1138.09/771.79	o 45
1138.29/771.94	o 44
1138.39/772.09	o 43
1138.59/772.24	o 42
1138.69/772.39	o 41
1138.89/772.54	o 40
1139.00/772.69	o 39
1139.19/772.84	o 38
1139.29/772.99	o 37
1139.49/773.14	o 36
1139.59/773.30	o 35
1139.79/773.45	o 34
1139.99/773.61	o 33
1140.10/773.76	o 32
1140.29/773.91	o 31
1140.39/774.06	o 30
1140.59/774.22	o 29
1140.69/774.37	o 28
1140.89/774.51	o 27
1140.99/774.66	o 26
1141.20/774.80	o 25
1141.30/774.95	o 24
1141.49/775.10	o 23
1141.59/775.25	o 22
1141.69/775.40	o 21
1141.89/775.54	o 20
1141.99/775.69	o 19
1142.19/775.83	o 18
1142.30/775.98	o 17
1142.49/776.12	o 16
1142.59/776.26	o 15
1142.79/776.41	o 14
1142.89/776.55	o 13
1142.99/776.69	o 12
1143.36/776.86	o 11
1144.05/777.03	o 10
1144.31/777.18	o 9
1144.55/777.32	o 8
1145.24/777.82	o 7
2400.01/1943.50	s SATISFIABLE
2400.01/1943.51	v <instantiation>
2400.01/1943.51	v 	<list>
2400.01/1943.51	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]
2400.01/1943.51	v 	</list>
2400.01/1943.51	v 	<values>
2400.01/1943.51	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 
2400.01/1943.51	v 	</values>
2400.01/1943.51	v </instantiation>

Verifier Data 

OK	7

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245135-1500697141/watcher-4245135-1500697141 -o /tmp/evaluation-result-4245135-1500697141/solver-4245135-1500697141 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500697134-6764 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 2107986605 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245135-1500697141.xml 

pid=6899
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 7.47 12.04 13.75 4/264 6902
/proc/meminfo: memFree=28807416/32770624 swapFree=5884/296188
[pid=6902] ppid=6899 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/stat : 6902 (java) S 6899 6902 8571 0 -1 1077944320 1717 0 0 0 0 0 0 0 20 0 2 0 4981887 369864704 1925 33554432000 4194304 4196468 140732941043408 140732941025952 140408136269559 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
/proc/6902/statm: 90299 1925 1072 1 0 79210 0
[pid=6902/tid=6903] ppid=6899 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6903/stat : 6903 (java) S 6899 6902 8571 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 4981888 369864704 1925 33554432000 4194304 4196468 140732941043408 140408140511648 140408136280706 0 4 0 16784584 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0

[startup+0.100128 s]
/proc/loadavg: 7.47 12.04 13.75 4/264 6902
/proc/meminfo: memFree=28807416/32770624 swapFree=5884/296188
[pid=6902] ppid=6899 vsize=13261040 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/6902/stat : 6902 (java) S 6899 6902 8571 0 -1 1077944320 4906 0 0 0 8 1 0 0 20 0 20 0 4981887 13579304960 5495 33554432000 4194304 4196468 140732941043408 140732941025952 140408136269559 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
/proc/6902/statm: 3315260 5495 2597 1 0 3303698 0
[pid=6902/tid=6903] ppid=6899 vsize=13261040 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6903/stat : 6903 (java) R 6899 6902 8571 0 -1 4202560 2984 0 0 0 7 1 0 0 20 0 20 0 4981888 13579304960 5495 33554432000 4194304 4196468 140732941043408 140408140511840 140408121436344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13261040

[startup+0.200371 s]
/proc/loadavg: 7.47 12.04 13.75 4/264 6902
/proc/meminfo: memFree=28807416/32770624 swapFree=5884/296188
[pid=6902] ppid=6899 vsize=13263912 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/6902/stat : 6902 (java) S 6899 6902 8571 0 -1 1077944320 8859 0 0 0 23 2 0 0 20 0 20 0 4981887 13582245888 8841 33554432000 4194304 4196468 140732941043408 140732941025952 140408136269559 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
/proc/6902/statm: 3315978 8841 3516 1 0 3303698 0
[pid=6902/tid=6903] ppid=6899 vsize=13263912 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6903/stat : 6903 (java) R 6899 6902 8571 0 -1 4202560 6589 0 0 0 16 1 0 0 20 0 20 0 4981888 13582245888 8841 33554432000 4194304 4196468 140732941043408 140408140497936 140408120584796 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912

[startup+0.300317 s]
/proc/loadavg: 7.47 12.04 13.75 4/264 6902
/proc/meminfo: memFree=28807416/32770624 swapFree=5884/296188
[pid=6902] ppid=6899 vsize=13263912 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/6902/stat : 6902 (java) S 6899 6902 8571 0 -1 1077944320 9838 0 0 0 38 3 0 0 20 0 20 0 4981887 13582245888 10503 33554432000 4194304 4196468 140732941043408 140732941025952 140408136269559 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
/proc/6902/statm: 3315978 10503 3586 1 0 3303698 0
[pid=6902/tid=6903] ppid=6899 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6903/stat : 6903 (java) R 6899 6902 8571 0 -1 4202560 7285 0 0 0 25 2 0 0 20 0 20 0 4981888 13582245888 10503 33554432000 4194304 4196468 140732941043408 140408140498592 140408136291485 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 13263912

[startup+0.700214 s]
/proc/loadavg: 7.47 12.04 13.75 4/264 6902
/proc/meminfo: memFree=28807416/32770624 swapFree=5884/296188
[pid=6902] ppid=6899 vsize=13265980 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/6902/stat : 6902 (java) S 6899 6902 8571 0 -1 1077944320 13325 0 0 0 145 5 0 0 20 0 20 0 4981887 13584363520 22798 33554432000 4194304 4196468 140732941043408 140732941025952 140408136269559 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
/proc/6902/statm: 3316495 22798 3752 1 0 3304210 0
[pid=6902/tid=6903] ppid=6899 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6903/stat : 6903 (java) R 6899 6902 8571 0 -1 4202560 8439 0 0 0 63 4 0 0 20 0 20 0 4981888 13584363520 22798 33554432000 4194304 4196468 140732941043408 140408140504800 140407732315914 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 13265980

[startup+1.50113 s]
/proc/loadavg: 7.19 11.91 13.70 6/284 6922
/proc/meminfo: memFree=28606576/32770624 swapFree=5884/296160
[pid=6902] ppid=6899 vsize=13265980 CPUtime=4.78 cores=0,2,4,6,8,10,12,14
/proc/6902/stat : 6902 (java) S 6899 6902 8571 0 -1 1077944320 18836 0 0 0 447 31 0 0 20 0 20 0 4981887 13584363520 63765 33554432000 4194304 4196468 140732941043408 140732941025952 140408136269559 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
/proc/6902/statm: 3316495 63765 3811 1 0 3304210 0
[pid=6902/tid=6903] ppid=6899 vsize=13265980 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6903/stat : 6903 (java) S 6899 6902 8571 0 -1 1077944384 8662 0 0 0 135 5 0 0 20 0 20 0 4981888 13584363520 63765 33554432000 4194304 4196468 140732941043408 140408140505696 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6905] ppid=6899 vsize=13265980 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6905/stat : 6905 (java) S 6899 6902 8571 0 -1 1077944384 49 0 0 0 2 3 0 0 20 0 20 0 4981889 13584363520 63765 33554432000 4194304 4196468 140732941043408 140408054749584 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6906] ppid=6899 vsize=13265980 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6906/stat : 6906 (java) S 6899 6902 8571 0 -1 1077944384 36 0 0 0 2 3 0 0 20 0 20 0 4981889 13584363520 63765 33554432000 4194304 4196468 140732941043408 140408053696784 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6907] ppid=6899 vsize=13265980 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6907/stat : 6907 (java) S 6899 6902 8571 0 -1 1077944384 33 0 0 0 3 2 0 0 20 0 20 0 4981889 13584363520 63765 33554432000 4194304 4196468 140732941043408 140408052644496 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6908] ppid=6899 vsize=13265980 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6908/stat : 6908 (java) S 6899 6902 8571 0 -1 1077944384 21 0 0 0 1 2 0 0 20 0 20 0 4981889 13584363520 63765 33554432000 4194304 4196468 140732941043408 140407732169232 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6909] ppid=6899 vsize=13265980 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6909/stat : 6909 (java) S 6899 6902 8571 0 -1 1077944384 38 0 0 0 2 3 0 0 20 0 20 0 4981889 13584363520 63765 33554432000 4194304 4196468 140732941043408 140407731116944 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6910] ppid=6899 vsize=13265980 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6910/stat : 6910 (java) S 6899 6902 8571 0 -1 1077944384 39 0 0 0 2 3 0 0 20 0 20 0 4981889 13584363520 63765 33554432000 4194304 4196468 140732941043408 140407730064144 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6911] ppid=6899 vsize=13265980 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6911/stat : 6911 (java) S 6899 6902 8571 0 -1 1077944384 19 0 0 0 1 2 0 0 20 0 20 0 4981889 13584363520 63765 33554432000 4194304 4196468 140732941043408 140407729011856 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6912] ppid=6899 vsize=13265980 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6912/stat : 6912 (java) S 6899 6902 8571 0 -1 1077944384 42 0 0 0 1 2 0 0 20 0 20 0 4981889 13584363520 63765 33554432000 4194304 4196468 140732941043408 140407727959056 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6913] ppid=6899 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6913/stat : 6913 (java) R 6899 6902 8571 0 -1 4202560 86 0 0 0 0 0 0 0 20 0 20 0 4981891 13584363520 63765 33554432000 4194304 4196468 140732941043408 140407599379104 140408121307957 0 0 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6914] ppid=6899 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6914/stat : 6914 (java) S 6899 6902 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4981892 13584363520 63765 33554432000 4194304 4196468 140732941043408 140407598326624 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6915] ppid=6899 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6915/stat : 6915 (java) S 6899 6902 8571 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4981892 13584363520 63765 33554432000 4194304 4196468 140732941043408 140407597274240 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6916] ppid=6899 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6916/stat : 6916 (java) S 6899 6902 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4981896 13584363520 63765 33554432000 4194304 4196468 140732941043408 140407596222544 140408136288155 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6917] ppid=6899 vsize=13265980 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6917/stat : 6917 (java) R 6899 6902 8571 0 -1 4202560 2357 0 0 0 78 1 0 0 20 0 20 0 4981896 13584363520 63765 33554432000 4194304 4196468 140732941043408 140407595151432 140408119769962 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6918] ppid=6899 vsize=13265980 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6918/stat : 6918 (java) R 6899 6902 8571 0 -1 4202560 1942 0 0 0 81 0 0 0 20 0 20 0 4981896 13584363520 63765 33554432000 4194304 4196468 140732941043408 140407594098392 140408119766347 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6919] ppid=6899 vsize=13265980 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6919/stat : 6919 (java) S 6899 6902 8571 0 -1 1077944384 2712 0 0 0 84 0 0 0 20 0 20 0 4981896 13584363520 63765 33554432000 4194304 4196468 140732941043408 140407593044880 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6920] ppid=6899 vsize=13265980 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6920/stat : 6920 (java) S 6899 6902 8571 0 -1 1077944384 1421 0 0 0 47 0 0 0 20 0 20 0 4981896 13584363520 63765 33554432000 4194304 4196468 140732941043408 140407592012528 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6921] ppid=6899 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6921/stat : 6921 (java) S 6899 6902 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4981897 13584363520 63765 33554432000 4194304 4196468 140732941043408 140407590959456 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6922] ppid=6899 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6922/stat : 6922 (java) S 6899 6902 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4981897 13584363520 63765 33554432000 4194304 4196468 140732941043408 140407589906736 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 13265980

[startup+3.1009 s]
/proc/loadavg: 7.19 11.91 13.70 3/284 6922
/proc/meminfo: memFree=28030916/32770624 swapFree=5884/296168
[pid=6902] ppid=6899 vsize=13268028 CPUtime=10.31 cores=0,2,4,6,8,10,12,14
/proc/6902/stat : 6902 (java) S 6899 6902 8571 0 -1 1077944320 27214 0 0 0 846 185 0 0 20 0 20 0 4981887 13586460672 294842 33554432000 4194304 4196468 140732941043408 140732941025952 140408136269559 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
/proc/6902/statm: 3317007 294842 3828 1 0 3304722 0
[pid=6902/tid=6903] ppid=6899 vsize=13268028 CPUtime=2.67 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6903/stat : 6903 (java) R 6899 6902 8571 0 -1 4202560 10838 0 0 0 250 17 0 0 20 0 20 0 4981888 13586460672 294842 33554432000 4194304 4196468 140732941043408 140408140505592 140407740425162 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6905] ppid=6899 vsize=13268028 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6905/stat : 6905 (java) S 6899 6902 8571 0 -1 1077944384 199 0 0 0 14 22 0 0 20 0 20 0 4981889 13586460672 294842 33554432000 4194304 4196468 140732941043408 140408054749584 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6906] ppid=6899 vsize=13268028 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6906/stat : 6906 (java) S 6899 6902 8571 0 -1 1077944384 202 0 0 0 14 21 0 0 20 0 20 0 4981889 13586460672 294842 33554432000 4194304 4196468 140732941043408 140408053696784 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6907] ppid=6899 vsize=13268028 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6907/stat : 6907 (java) S 6899 6902 8571 0 -1 1077944384 170 0 0 0 13 18 0 0 20 0 20 0 4981889 13586460672 294842 33554432000 4194304 4196468 140732941043408 140408052644496 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6908] ppid=6899 vsize=13268028 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6908/stat : 6908 (java) S 6899 6902 8571 0 -1 1077944384 159 0 0 0 14 16 0 0 20 0 20 0 4981889 13586460672 294842 33554432000 4194304 4196468 140732941043408 140407732169232 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6909] ppid=6899 vsize=13268028 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6909/stat : 6909 (java) S 6899 6902 8571 0 -1 1077944384 166 0 0 0 13 21 0 0 20 0 20 0 4981889 13586460672 295354 33554432000 4194304 4196468 140732941043408 140407731116944 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6910] ppid=6899 vsize=13268028 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6910/stat : 6910 (java) S 6899 6902 8571 0 -1 1077944384 178 0 0 0 14 21 0 0 20 0 20 0 4981889 13586460672 295354 33554432000 4194304 4196468 140732941043408 140407730064144 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6911] ppid=6899 vsize=13268028 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6911/stat : 6911 (java) S 6899 6902 8571 0 -1 1077944384 171 0 0 0 12 20 0 0 20 0 20 0 4981889 13586460672 295354 33554432000 4194304 4196468 140732941043408 140407729011856 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6912] ppid=6899 vsize=13268028 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6912/stat : 6912 (java) S 6899 6902 8571 0 -1 1077944384 177 0 0 0 11 20 0 0 20 0 20 0 4981889 13586460672 295354 33554432000 4194304 4196468 140732941043408 140407727959056 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6913] ppid=6899 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6913/stat : 6913 (java) S 6899 6902 8571 0 -1 1077944384 554 0 0 0 1 0 0 0 20 0 20 0 4981891 13586460672 295354 33554432000 4194304 4196468 140732941043408 140407599380592 140408136280706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6914] ppid=6899 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6914/stat : 6914 (java) S 6899 6902 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4981892 13586460672 295354 33554432000 4194304 4196468 140732941043408 140407598326624 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6915] ppid=6899 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6915/stat : 6915 (java) S 6899 6902 8571 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4981892 13586460672 295354 33554432000 4194304 4196468 140732941043408 140407597274240 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6916] ppid=6899 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6916/stat : 6916 (java) S 6899 6902 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4981896 13586460672 295354 33554432000 4194304 4196468 140732941043408 140407596222544 140408136288155 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6917] ppid=6899 vsize=13268028 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6917/stat : 6917 (java) S 6899 6902 8571 0 -1 1077944384 3253 0 0 0 118 1 0 0 20 0 20 0 4981896 13586460672 295354 33554432000 4194304 4196468 140732941043408 140407595170416 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6918] ppid=6899 vsize=13268028 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6918/stat : 6918 (java) S 6899 6902 8571 0 -1 1077944384 2691 0 0 0 168 0 0 0 20 0 20 0 4981896 13586460672 295354 33554432000 4194304 4196468 140732941043408 140407594117616 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6919] ppid=6899 vsize=13268028 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6919/stat : 6919 (java) S 6899 6902 8571 0 -1 1077944384 3592 0 0 0 128 1 0 0 20 0 20 0 4981896 13586460672 295354 33554432000 4194304 4196468 140732941043408 140407593065328 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6920] ppid=6899 vsize=13268028 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6920/stat : 6920 (java) S 6899 6902 8571 0 -1 1077944384 3485 0 0 0 69 0 0 0 20 0 20 0 4981896 13586460672 295354 33554432000 4194304 4196468 140732941043408 140407592012528 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6921] ppid=6899 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6921/stat : 6921 (java) S 6899 6902 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4981897 13586460672 295354 33554432000 4194304 4196468 140732941043408 140407590959456 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6922] ppid=6899 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6922/stat : 6922 (java) S 6899 6902 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4981897 13586460672 295354 33554432000 4194304 4196468 140732941043408 140407589906736 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
Current children cumulated CPU time (s) 10.31
Current children cumulated vsize (KiB) 13268028

[startup+6.30089 s]
/proc/loadavg: 7.19 11.91 13.70 3/284 6922
/proc/meminfo: memFree=25832120/32770624 swapFree=5884/296172
[pid=6902] ppid=6899 vsize=13268028 CPUtime=21.89 cores=0,2,4,6,8,10,12,14
/proc/6902/stat : 6902 (java) S 6899 6902 8571 0 -1 1077944320 33716 0 0 0 1506 683 0 0 20 0 20 0 4981887 13586460672 746192 33554432000 4194304 4196468 140732941043408 140732941025952 140408136269559 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
/proc/6902/statm: 3317007 746192 3844 1 0 3304722 0
[pid=6902/tid=6903] ppid=6899 vsize=13268028 CPUtime=4.63 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6903/stat : 6903 (java) R 6899 6902 8571 0 -1 4202560 11495 0 0 0 433 30 0 0 20 0 20 0 4981888 13586460672 746192 33554432000 4194304 4196468 140732941043408 140408140507240 140407740424345 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6905] ppid=6899 vsize=13268028 CPUtime=1.55 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6905/stat : 6905 (java) S 6899 6902 8571 0 -1 1077944384 766 0 0 0 72 83 0 0 20 0 20 0 4981889 13586460672 746192 33554432000 4194304 4196468 140732941043408 140408054749584 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6906] ppid=6899 vsize=13268028 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6906/stat : 6906 (java) S 6899 6902 8571 0 -1 1077944384 658 0 0 0 73 81 0 0 20 0 20 0 4981889 13586460672 746192 33554432000 4194304 4196468 140732941043408 140408053696784 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6907] ppid=6899 vsize=13268028 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6907/stat : 6907 (java) S 6899 6902 8571 0 -1 1077944384 770 0 0 0 73 78 0 0 20 0 20 0 4981889 13586460672 746192 33554432000 4194304 4196468 140732941043408 140408052644496 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6908] ppid=6899 vsize=13268028 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6908/stat : 6908 (java) S 6899 6902 8571 0 -1 1077944384 668 0 0 0 72 78 0 0 20 0 20 0 4981889 13586460672 746192 33554432000 4194304 4196468 140732941043408 140407732169232 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6909] ppid=6899 vsize=13268028 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6909/stat : 6909 (java) S 6899 6902 8571 0 -1 1077944384 701 0 0 0 72 81 0 0 20 0 20 0 4981889 13586460672 746192 33554432000 4194304 4196468 140732941043408 140407731116944 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6910] ppid=6899 vsize=13268028 CPUtime=1.55 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6910/stat : 6910 (java) S 6899 6902 8571 0 -1 1077944384 661 0 0 0 73 82 0 0 20 0 20 0 4981889 13586460672 746192 33554432000 4194304 4196468 140732941043408 140407730064144 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6911] ppid=6899 vsize=13268028 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6911/stat : 6911 (java) S 6899 6902 8571 0 -1 1077944384 623 0 0 0 71 81 0 0 20 0 20 0 4981889 13586460672 746192 33554432000 4194304 4196468 140732941043408 140407729011856 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6912] ppid=6899 vsize=13268028 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6912/stat : 6912 (java) S 6899 6902 8571 0 -1 1077944384 713 0 0 0 69 78 0 0 20 0 20 0 4981889 13586460672 746192 33554432000 4194304 4196468 140732941043408 140407727959056 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6913] ppid=6899 vsize=13268028 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6913/stat : 6913 (java) S 6899 6902 8571 0 -1 1077944384 2257 0 0 0 4 0 0 0 20 0 20 0 4981891 13586460672 746192 33554432000 4194304 4196468 140732941043408 140407599380592 140408136280706 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6914] ppid=6899 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6914/stat : 6914 (java) S 6899 6902 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4981892 13586460672 746192 33554432000 4194304 4196468 140732941043408 140407598326624 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6915] ppid=6899 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6915/stat : 6915 (java) S 6899 6902 8571 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4981892 13586460672 746192 33554432000 4194304 4196468 140732941043408 140407597274240 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6916] ppid=6899 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

[pid=6902/tid=6918] ppid=6899 vsize=13268028 CPUtime=3.27 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6918/stat : 6918 (java) S 6899 6902 8571 0 -1 1077944384 12532 0 0 0 325 2 0 0 20 0 20 0 4981896 13586460672 1754904 33554432000 4194304 4196468 140732941043408 140407594117616 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6919] ppid=6899 vsize=13268028 CPUtime=2.89 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6919/stat : 6919 (java) S 6899 6902 8571 0 -1 1077944384 12297 0 0 0 288 1 0 0 20 0 20 0 4981896 13586460672 1754904 33554432000 4194304 4196468 140732941043408 140407593065328 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6920] ppid=6899 vsize=13268028 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6920/stat : 6920 (java) S 6899 6902 8571 0 -1 1077944384 15468 0 0 0 93 1 0 0 20 0 20 0 4981896 13586460672 1754904 33554432000 4194304 4196468 140732941043408 140407592012528 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6921] ppid=6899 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6921/stat : 6921 (java) S 6899 6902 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4981897 13586460672 1754904 33554432000 4194304 4196468 140732941043408 140407590959456 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6922] ppid=6899 vsize=13268028 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6922/stat : 6922 (java) S 6899 6902 8571 0 -1 1077944384 953 0 0 0 57 51 0 0 20 0 20 0 4981897 13586460672 1754904 33554432000 4194304 4196468 140732941043408 140407589906736 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
Current children cumulated CPU time (s) 2297.19
Current children cumulated vsize (KiB) 13268028

[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 3.57 3/281 6985
/proc/meminfo: memFree=19751464/32770624 swapFree=5884/298788
[pid=6902] ppid=6899 vsize=13268028 CPUtime=2358.26 cores=0,2,4,6,8,10,12,14
/proc/6902/stat : 6902 (java) S 6899 6902 8571 0 -1 1077944320 946702 0 0 0 233674 2152 0 0 20 0 20 0 4981887 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140732941025952 140408136269559 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
/proc/6902/statm: 3317007 1754907 3846 1 0 3304722 0
[pid=6902/tid=6903] ppid=6899 vsize=13268028 CPUtime=1828.87 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6903/stat : 6903 (java) R 6899 6902 8571 0 -1 4202560 166835 0 0 0 182814 73 0 0 20 0 20 0 4981888 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140408140507840 140407742070810 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6905] ppid=6899 vsize=13268028 CPUtime=64.24 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6905/stat : 6905 (java) S 6899 6902 8571 0 -1 1077944384 73761 0 0 0 6169 255 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140408054749584 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6906] ppid=6899 vsize=13268028 CPUtime=63.85 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6906/stat : 6906 (java) S 6899 6902 8571 0 -1 1077944384 94148 0 0 0 6136 249 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140408053696784 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6907] ppid=6899 vsize=13268028 CPUtime=63.68 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6907/stat : 6907 (java) S 6899 6902 8571 0 -1 1077944384 91847 0 0 0 6112 256 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140408052644496 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6908] ppid=6899 vsize=13268028 CPUtime=63.85 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6908/stat : 6908 (java) S 6899 6902 8571 0 -1 1077944384 93145 0 0 0 6133 252 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407732169232 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6909] ppid=6899 vsize=13268028 CPUtime=64.01 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6909/stat : 6909 (java) S 6899 6902 8571 0 -1 1077944384 80144 0 0 0 6146 255 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407731116944 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6910] ppid=6899 vsize=13268028 CPUtime=64.02 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6910/stat : 6910 (java) S 6899 6902 8571 0 -1 1077944384 86710 0 0 0 6145 257 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407730064144 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6911] ppid=6899 vsize=13268028 CPUtime=64.06 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6911/stat : 6911 (java) S 6899 6902 8571 0 -1 1077944384 89016 0 0 0 6155 251 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407729011856 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6912] ppid=6899 vsize=13268028 CPUtime=63.87 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6912/stat : 6912 (java) S 6899 6902 8571 0 -1 1077944384 80136 0 0 0 6144 243 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407727959056 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6913] ppid=6899 vsize=13268028 CPUtime=7.05 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6913/stat : 6913 (java) S 6899 6902 8571 0 -1 1077944384 35407 0 0 0 699 6 0 0 20 0 20 0 4981891 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407599380592 140408136280706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6914] ppid=6899 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6914/stat : 6914 (java) S 6899 6902 8571 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 4981892 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407598326624 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6915] ppid=6899 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6915/stat : 6915 (java) S 6899 6902 8571 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 4981892 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407597274240 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6916] ppid=6899 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6916/stat : 6916 (java) S 6899 6902 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4981896 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407596222544 140408136288155 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6917] ppid=6899 vsize=13268028 CPUtime=2.38 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6917/stat : 6917 (java) S 6899 6902 8571 0 -1 1077944384 12877 0 0 0 236 2 0 0 20 0 20 0 4981896 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407595170416 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6918] ppid=6899 vsize=13268028 CPUtime=3.27 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6918/stat : 6918 (java) S 6899 6902 8571 0 -1 1077944384 12535 0 0 0 325 2 0 0 20 0 20 0 4981896 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407594117616 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6919] ppid=6899 vsize=13268028 CPUtime=2.89 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6919/stat : 6919 (java) S 6899 6902 8571 0 -1 1077944384 12306 0 0 0 288 1 0 0 20 0 20 0 4981896 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407593065328 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6920] ppid=6899 vsize=13268028 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6920/stat : 6920 (java) S 6899 6902 8571 0 -1 1077944384 15473 0 0 0 93 1 0 0 20 0 20 0 4981896 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407592012528 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6921] ppid=6899 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6921/stat : 6921 (java) S 6899 6902 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4981897 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407590959456 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6922] ppid=6899 vsize=13268028 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6922/stat : 6922 (java) S 6899 6902 8571 0 -1 1077944384 981 0 0 0 58 53 0 0 20 0 20 0 4981897 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407589906736 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
Current children cumulated CPU time (s) 2358.26
Current children cumulated vsize (KiB) 13268028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1943.5 s]
/proc/loadavg: 2.00 2.04 3.51 3/281 6986
/proc/meminfo: memFree=19753788/32770624 swapFree=5884/298836
[pid=6902] ppid=6899 vsize=13268028 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14
/proc/6902/stat : 6902 (java) S 6899 6902 8571 0 -1 1077944320 971771 0 0 0 237844 2157 0 0 20 0 20 0 4981887 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140732941025952 140408136269559 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
/proc/6902/statm: 3317007 1754907 3846 1 0 3304722 0
[pid=6902/tid=6903] ppid=6899 vsize=13268028 CPUtime=1869.96 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6903/stat : 6903 (java) R 6899 6902 8571 0 -1 4202560 171053 0 0 0 186922 74 0 0 20 0 20 0 4981888 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140408140507792 140407742376151 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6905] ppid=6899 vsize=13268028 CPUtime=64.32 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6905/stat : 6905 (java) S 6899 6902 8571 0 -1 1077944384 75418 0 0 0 6177 255 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140408054749584 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6906] ppid=6899 vsize=13268028 CPUtime=63.93 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6906/stat : 6906 (java) S 6899 6902 8571 0 -1 1077944384 96446 0 0 0 6144 249 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140408053696784 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6907] ppid=6899 vsize=13268028 CPUtime=63.76 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6907/stat : 6907 (java) S 6899 6902 8571 0 -1 1077944384 94365 0 0 0 6120 256 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140408052644496 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6908] ppid=6899 vsize=13268028 CPUtime=63.92 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6908/stat : 6908 (java) S 6899 6902 8571 0 -1 1077944384 95885 0 0 0 6140 252 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407732169232 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6909] ppid=6899 vsize=13268028 CPUtime=64.09 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6909/stat : 6909 (java) S 6899 6902 8571 0 -1 1077944384 82779 0 0 0 6153 256 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407731116944 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6910] ppid=6899 vsize=13268028 CPUtime=64.11 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6910/stat : 6910 (java) S 6899 6902 8571 0 -1 1077944384 89341 0 0 0 6153 258 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407730064144 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6911] ppid=6899 vsize=13268028 CPUtime=64.15 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6911/stat : 6911 (java) S 6899 6902 8571 0 -1 1077944384 91925 0 0 0 6163 252 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407729011856 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6912] ppid=6899 vsize=13268028 CPUtime=63.96 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6912/stat : 6912 (java) S 6899 6902 8571 0 -1 1077944384 83351 0 0 0 6152 244 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407727959056 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6913] ppid=6899 vsize=13268028 CPUtime=7.05 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6913/stat : 6913 (java) S 6899 6902 8571 0 -1 1077944384 35651 0 0 0 699 6 0 0 20 0 20 0 4981891 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407599380592 140408136280706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6914] ppid=6899 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6914/stat : 6914 (java) S 6899 6902 8571 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 4981892 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407598326624 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6915] ppid=6899 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6915/stat : 6915 (java) S 6899 6902 8571 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 4981892 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407597274240 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6916] ppid=6899 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6916/stat : 6916 (java) S 6899 6902 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4981896 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407596222544 140408136288155 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6917] ppid=6899 vsize=13268028 CPUtime=2.38 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6917/stat : 6917 (java) S 6899 6902 8571 0 -1 1077944384 12877 0 0 0 236 2 0 0 20 0 20 0 4981896 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407595170416 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6918] ppid=6899 vsize=13268028 CPUtime=3.27 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6918/stat : 6918 (java) S 6899 6902 8571 0 -1 1077944384 12535 0 0 0 325 2 0 0 20 0 20 0 4981896 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407594117616 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6919] ppid=6899 vsize=13268028 CPUtime=2.89 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6919/stat : 6919 (java) S 6899 6902 8571 0 -1 1077944384 12306 0 0 0 288 1 0 0 20 0 20 0 4981896 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407593065328 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6920] ppid=6899 vsize=13268028 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6920/stat : 6920 (java) S 6899 6902 8571 0 -1 1077944384 15473 0 0 0 93 1 0 0 20 0 20 0 4981896 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407592012528 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6921] ppid=6899 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6921/stat : 6921 (java) S 6899 6902 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4981897 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407590959456 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6922] ppid=6899 vsize=13268028 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6922/stat : 6922 (java) S 6899 6902 8571 0 -1 1077944384 985 0 0 0 59 54 0 0 20 0 20 0 4981897 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407589906736 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 13268028

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

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

[startup+1943.5 s]
/proc/loadavg: 2.00 2.04 3.51 3/281 6986
/proc/meminfo: memFree=19753788/32770624 swapFree=5884/298836
[pid=6902] ppid=6899 vsize=13268028 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14
/proc/6902/stat : 6902 (java) S 6899 6902 8571 0 -1 1077944320 971771 0 0 0 237844 2157 0 0 20 0 20 0 4981887 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140732941025952 140408136269559 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
/proc/6902/statm: 3317007 1754907 3846 1 0 3304722 0
[pid=6902/tid=6903] ppid=6899 vsize=13268028 CPUtime=1869.96 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6903/stat : 6903 (java) R 6899 6902 8571 0 -1 4202560 171053 0 0 0 186922 74 0 0 20 0 20 0 4981888 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140408140507792 140407742376151 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6905] ppid=6899 vsize=13268028 CPUtime=64.32 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6905/stat : 6905 (java) S 6899 6902 8571 0 -1 1077944384 75418 0 0 0 6177 255 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140408054749584 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6906] ppid=6899 vsize=13268028 CPUtime=63.93 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6906/stat : 6906 (java) S 6899 6902 8571 0 -1 1077944384 96446 0 0 0 6144 249 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140408053696784 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6907] ppid=6899 vsize=13268028 CPUtime=63.76 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6907/stat : 6907 (java) S 6899 6902 8571 0 -1 1077944384 94365 0 0 0 6120 256 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140408052644496 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6908] ppid=6899 vsize=13268028 CPUtime=63.92 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6908/stat : 6908 (java) S 6899 6902 8571 0 -1 1077944384 95885 0 0 0 6140 252 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407732169232 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6909] ppid=6899 vsize=13268028 CPUtime=64.09 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6909/stat : 6909 (java) S 6899 6902 8571 0 -1 1077944384 82779 0 0 0 6153 256 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407731116944 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6910] ppid=6899 vsize=13268028 CPUtime=64.11 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6910/stat : 6910 (java) S 6899 6902 8571 0 -1 1077944384 89341 0 0 0 6153 258 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407730064144 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6911] ppid=6899 vsize=13268028 CPUtime=64.15 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6911/stat : 6911 (java) S 6899 6902 8571 0 -1 1077944384 91925 0 0 0 6163 252 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407729011856 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6912] ppid=6899 vsize=13268028 CPUtime=63.96 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6912/stat : 6912 (java) S 6899 6902 8571 0 -1 1077944384 83351 0 0 0 6152 244 0 0 20 0 20 0 4981889 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407727959056 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6913] ppid=6899 vsize=13268028 CPUtime=7.05 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6913/stat : 6913 (java) S 6899 6902 8571 0 -1 1077944384 35651 0 0 0 699 6 0 0 20 0 20 0 4981891 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407599380592 140408136280706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6914] ppid=6899 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6914/stat : 6914 (java) S 6899 6902 8571 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 4981892 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407598326624 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6915] ppid=6899 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6915/stat : 6915 (java) S 6899 6902 8571 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 4981892 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407597274240 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6916] ppid=6899 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6916/stat : 6916 (java) S 6899 6902 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4981896 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407596222544 140408136288155 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6917] ppid=6899 vsize=13268028 CPUtime=2.38 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6917/stat : 6917 (java) S 6899 6902 8571 0 -1 1077944384 12877 0 0 0 236 2 0 0 20 0 20 0 4981896 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407595170416 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6918] ppid=6899 vsize=13268028 CPUtime=3.27 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6918/stat : 6918 (java) S 6899 6902 8571 0 -1 1077944384 12535 0 0 0 325 2 0 0 20 0 20 0 4981896 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407594117616 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6919] ppid=6899 vsize=13268028 CPUtime=2.89 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6919/stat : 6919 (java) S 6899 6902 8571 0 -1 1077944384 12306 0 0 0 288 1 0 0 20 0 20 0 4981896 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407593065328 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6920] ppid=6899 vsize=13268028 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6920/stat : 6920 (java) S 6899 6902 8571 0 -1 1077944384 15473 0 0 0 93 1 0 0 20 0 20 0 4981896 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407592012528 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6921] ppid=6899 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6921/stat : 6921 (java) S 6899 6902 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4981897 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407590959456 140408136279765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
[pid=6902/tid=6922] ppid=6899 vsize=13268028 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/6902/task/6922/stat : 6922 (java) S 6899 6902 8571 0 -1 1077944384 985 0 0 0 59 54 0 0 20 0 20 0 4981897 13586460672 1754907 33554432000 4194304 4196468 140732941043408 140407589906736 140408136280706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 27463680 140732941051017 140732941051204 140732941051204 140732941053903 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 13268028

Child status: 143
Real time (s): 1943.58
CPU time (s): 2400.1
CPU user time (s): 2378.48
CPU system time (s): 21.6242
CPU usage (%): 123.489
Max. virtual memory (cumulated for all children) (KiB): 13268028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2378.48
system time used= 21.6242
maximum resident set size= 7065408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 973431
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58299
involuntary context switches= 139406

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.2651 second user time and 16.9662 second system time

The end

Launcher Data 

Begin job on node126 at 2017-07-22 06:19:01
IDJOB=4245135
IDBENCH=120574
IDSOLVER=2628
FILE ID=node126/4245135-1500697141
RUNJOBID= node126-1500697134-6764
PBS_JOBID= 20623339
Free space on /tmp= 61940 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-06-30
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-3-fullins-5.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245135-1500697141/watcher-4245135-1500697141 -o /tmp/evaluation-result-4245135-1500697141/solver-4245135-1500697141 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500697134-6764 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 2107986605 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245135-1500697141.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76
RANDOM SEED=2107986605

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

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

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

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

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

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        28808896 kB
MemAvailable:   29099052 kB
Buffers:          118876 kB
Cached:           452296 kB
SwapCached:            0 kB
Active:          3221328 kB
Inactive:         304844 kB
Active(anon):    2957896 kB
Inactive(anon):     8656 kB
Active(file):     263432 kB
Inactive(file):   296188 kB
Unevictable:        5884 kB
Mlocked:            5884 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             43556 kB
Writeback:             0 kB
AnonPages:       2961088 kB
Mapped:            44784 kB
Shmem:              8840 kB
Slab:             126520 kB
SReclaimable:      92740 kB
SUnreclaim:        33780 kB
KernelStack:        4560 kB
PageTables:        10668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5083736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2830336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61896 MiB
End job on node126 at 2017-07-22 06:51:25