Trace number 4245137

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: Concrete 3.4SAT (TO)7 2400.13 2313.54

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 

3.67/2.18	c Concrete v3.4 running
45.82/17.50	o 2029
47.38/18.52	o 2028
49.02/19.56	o 2027
50.65/20.52	o 2026
51.55/21.39	o 2025
52.51/22.27	o 2024
53.43/23.18	o 2023
54.38/24.06	o 2022
55.28/24.94	o 2021
56.08/25.79	o 2020
57.11/26.70	o 2019
58.01/27.61	o 2018
58.91/28.54	o 2017
59.98/29.51	o 2016
60.88/30.45	o 2015
61.78/31.34	o 2014
62.93/32.25	o 2013
63.84/33.18	o 2012
64.73/34.08	o 2011
65.63/34.97	o 2010
66.54/35.86	o 2009
67.44/36.74	o 2008
68.35/37.62	o 2007
69.15/38.50	o 2006
70.15/39.41	o 2005
71.05/40.31	o 2004
71.96/41.20	o 2003
72.76/42.09	o 2002
73.67/43.00	o 2001
74.57/43.89	o 2000
75.57/44.82	o 1999
76.48/45.73	o 1998
77.59/46.64	o 1997
78.49/47.56	o 1996
79.40/48.44	o 1995
80.30/49.32	o 1994
81.21/50.24	o 1993
82.16/51.12	o 1992
83.01/51.97	o 1991
84.00/52.87	o 1990
84.89/53.75	o 1989
85.80/54.62	o 1988
86.71/55.50	o 1987
87.43/56.27	o 1986
88.22/57.09	o 1985
89.13/57.98	o 1984
90.03/58.88	o 1983
90.94/59.78	o 1982
92.09/60.70	o 1981
93.01/61.63	o 1980
93.91/62.52	o 1979
94.71/63.38	o 1978
95.62/64.23	o 1977
96.52/65.12	o 1976
97.45/66.02	o 1975
98.24/66.88	o 1974
99.14/67.76	o 1973
100.04/68.66	o 1972
100.95/69.52	o 1971
101.75/70.37	o 1970
102.65/71.26	o 1969
103.45/72.07	o 1968
104.35/72.90	o 1967
105.16/73.75	o 1966
106.05/74.63	o 1965
106.86/75.49	o 1964
107.99/76.41	o 1963
108.79/77.28	o 1962
109.70/78.13	o 1961
110.59/79.02	o 1960
111.49/79.90	o 1959
112.29/80.78	o 1958
113.19/81.67	o 1957
114.10/82.56	o 1956
114.99/83.44	o 1955
115.89/84.31	o 1954
116.70/85.20	o 1953
117.60/86.09	o 1952
118.50/86.96	o 1951
119.40/87.84	o 1950
120.30/88.72	o 1949
121.20/89.61	o 1948
122.00/90.48	o 1947
123.00/91.36	o 1946
123.89/92.26	o 1945
124.79/93.13	o 1944
125.59/93.98	o 1943
126.50/94.84	o 1942
127.30/95.69	o 1941
128.20/96.59	o 1940
129.09/97.47	o 1939
129.99/98.37	o 1938
130.89/99.26	o 1937
131.70/100.10	o 1936
132.60/100.97	o 1935
133.50/101.87	o 1934
134.40/102.70	o 1933
135.21/103.57	o 1932
136.10/104.45	o 1931
137.01/105.35	o 1930
138.06/106.27	o 1929
138.96/107.14	o 1928
139.77/107.95	o 1927
140.56/108.79	o 1926
141.47/109.66	o 1925
142.36/110.54	o 1924
143.26/111.40	o 1923
144.07/112.27	o 1922
144.99/113.11	o 1921
145.79/113.97	o 1920
146.69/114.82	o 1919
147.50/115.68	o 1918
148.39/116.55	o 1917
149.29/117.41	o 1916
150.19/118.31	o 1915
150.99/119.19	o 1914
151.90/120.07	o 1913
152.79/120.94	o 1912
153.77/121.81	o 1911
154.58/122.69	o 1910
155.47/123.53	o 1909
156.30/124.38	o 1908
157.20/125.26	o 1907
158.10/126.11	o 1906
158.91/126.96	o 1905
159.81/127.83	o 1904
160.61/128.70	o 1903
161.52/129.59	o 1902
162.42/130.46	o 1901
163.32/131.34	o 1900
164.22/132.21	o 1899
165.03/133.08	o 1898
165.93/133.95	o 1897
166.83/134.82	o 1896
167.73/135.71	o 1895
168.70/136.58	o 1894
169.60/137.45	o 1893
170.50/138.31	o 1892
171.30/139.16	o 1891
172.20/140.04	o 1890
173.10/140.92	o 1889
173.90/141.78	o 1888
174.80/142.66	o 1887
175.70/143.54	o 1886
176.60/144.43	o 1885
177.41/145.28	o 1884
178.30/146.19	o 1883
179.20/147.03	o 1882
180.00/147.89	o 1881
180.90/148.79	o 1880
181.81/149.64	o 1879
182.60/150.49	o 1878
183.50/151.33	o 1877
184.49/152.22	o 1876
185.39/153.11	o 1875
186.19/153.99	o 1874
187.09/154.88	o 1873
187.99/155.71	o 1872
188.89/156.62	o 1871
189.70/157.46	o 1870
190.59/158.35	o 1869
191.49/159.22	o 1868
192.29/160.10	o 1867
193.19/160.97	o 1866
194.10/161.85	o 1865
195.00/162.71	o 1864
195.79/163.59	o 1863
196.70/164.49	o 1862
197.59/165.36	o 1861
198.50/166.22	o 1860
199.49/167.12	o 1859
200.39/168.01	o 1858
201.19/168.86	o 1857
202.09/169.73	o 1856
202.99/170.61	o 1855
203.79/171.48	o 1854
204.69/172.34	o 1853
205.59/173.20	o 1852
206.39/174.08	o 1851
207.29/174.97	o 1850
208.19/175.84	o 1849
209.09/176.72	o 1848
209.99/177.61	o 1847
210.89/178.50	o 1846
211.70/179.38	o 1845
212.59/180.23	o 1844
213.39/181.09	o 1843
214.29/181.98	o 1842
215.37/182.91	o 1841
216.18/183.80	o 1840
217.08/184.64	o 1839
217.98/185.55	o 1838
218.78/186.37	o 1837
219.68/187.21	o 1836
220.49/188.10	o 1835
221.39/188.98	o 1834
222.30/189.88	o 1833
223.20/190.76	o 1832
224.10/191.65	o 1831
225.01/192.51	o 1830
225.90/193.40	o 1829
226.70/194.26	o 1828
227.60/195.13	o 1827
228.50/196.00	o 1826
229.39/196.90	o 1825
230.29/197.75	o 1824
231.19/198.61	o 1823
231.99/199.50	o 1822
232.90/200.37	o 1821
233.80/201.22	o 1820
234.69/202.11	o 1819
235.49/202.97	o 1818
236.39/203.85	o 1817
237.30/204.71	o 1816
238.09/205.55	o 1815
238.99/206.41	o 1814
239.79/207.26	o 1813
240.69/208.12	o 1812
241.49/208.99	o 1811
242.40/209.86	o 1810
243.38/210.76	o 1809
244.28/211.61	o 1808
245.09/212.46	o 1807
245.98/213.34	o 1806
246.88/214.20	o 1805
247.68/215.09	o 1804
248.58/215.98	o 1803
249.49/216.87	o 1802
250.38/217.77	o 1801
251.28/218.65	o 1800
252.18/219.53	o 1799
253.08/220.40	o 1798
253.90/221.25	o 1797
254.79/222.14	o 1796
255.69/223.02	o 1795
256.56/223.88	o 1794
257.46/224.72	o 1793
258.27/225.55	o 1792
259.16/226.41	o 1791
259.96/227.29	o 1790
260.86/228.16	o 1789
261.76/229.03	o 1788
262.56/229.88	o 1787
263.46/230.75	o 1786
264.37/231.62	o 1785
265.17/232.49	o 1784
266.08/233.37	o 1783
266.97/234.24	o 1782
267.87/235.12	o 1781
268.67/235.98	o 1780
269.64/236.84	o 1779
270.45/237.70	o 1778
271.35/238.56	o 1777
272.25/239.41	o 1776
273.15/240.31	o 1775
273.97/241.18	o 1774
274.89/242.02	o 1773
275.78/242.90	o 1772
276.58/243.78	o 1771
277.48/244.63	o 1770
278.38/245.50	o 1769
279.19/246.35	o 1768
279.99/247.19	o 1767
280.89/248.10	o 1766
281.85/248.98	o 1765
282.76/249.86	o 1764
283.65/250.71	o 1763
284.45/251.56	o 1762
285.35/252.42	o 1761
286.25/253.31	o 1760
287.06/254.19	o 1759
287.95/255.05	o 1758
288.75/255.88	o 1757
289.65/256.77	o 1756
290.55/257.64	o 1755
291.46/258.51	o 1754
292.25/259.38	o 1753
293.21/260.24	o 1752
294.11/261.12	o 1751
294.92/261.99	o 1750
295.81/262.86	o 1749
296.72/263.72	o 1748
297.52/264.57	o 1747
298.42/265.47	o 1746
299.32/266.35	o 1745
300.22/267.21	o 1744
301.02/268.07	o 1743
301.92/268.96	o 1742
302.82/269.85	o 1741
303.82/270.75	o 1740
304.71/271.64	o 1739
305.61/272.53	o 1738
306.52/273.41	o 1737
307.42/274.30	o 1736
308.32/275.20	o 1735
309.12/276.09	o 1734
310.02/276.98	o 1733
310.92/277.87	o 1732
311.82/278.73	o 1731
312.63/279.59	o 1730
313.53/280.44	o 1729
314.42/281.30	o 1728
315.30/282.19	o 1727
316.19/283.09	o 1726
317.10/283.97	o 1725
317.99/284.83	o 1724
318.79/285.69	o 1723
319.69/286.56	o 1722
320.50/287.38	o 1721
321.40/288.25	o 1720
322.30/289.12	o 1719
323.10/289.97	o 1718
323.99/290.84	o 1717
324.89/291.70	o 1716
325.75/292.58	o 1715
326.65/293.46	o 1714
327.55/294.34	o 1713
328.45/295.24	o 1712
329.35/296.12	o 1711
330.15/296.95	o 1710
331.05/297.83	o 1709
331.96/298.70	o 1708
332.76/299.56	o 1707
333.67/300.41	o 1706
334.46/301.25	o 1705
335.42/302.15	o 1704
336.32/303.04	o 1703
337.22/303.92	o 1702
338.02/304.80	o 1701
339.02/305.70	o 1700
339.92/306.61	o 1699
340.72/307.45	o 1698
341.62/308.32	o 1697
342.43/309.18	o 1696
343.32/310.04	o 1695
344.31/310.93	o 1694
345.20/311.81	o 1693
346.01/312.67	o 1692
346.92/313.53	o 1691
347.81/314.41	o 1690
348.61/315.28	o 1689
349.52/316.16	o 1688
350.42/317.06	o 1687
351.33/317.93	o 1686
352.22/318.84	o 1685
353.21/319.72	o 1684
354.11/320.60	o 1683
354.91/321.45	o 1682
355.82/322.32	o 1681
356.71/323.21	o 1680
357.61/324.10	o 1679
358.41/324.99	o 1678
359.31/325.83	o 1677
360.22/326.73	o 1676
361.11/327.60	o 1675
362.00/328.47	o 1674
362.90/329.34	o 1673
363.80/330.22	o 1672
364.60/331.08	o 1671
365.50/331.93	o 1670
366.40/332.81	o 1669
367.20/333.60	o 1668
368.01/334.43	o 1667
368.80/335.29	o 1666
369.70/336.14	o 1665
370.57/336.96	o 1664
371.48/337.83	o 1663
372.37/338.70	o 1662
373.17/339.56	o 1661
374.07/340.42	o 1660
374.87/341.28	o 1659
375.78/342.13	o 1658
376.67/343.02	o 1657
377.57/343.90	o 1656
378.55/344.83	o 1655
379.36/345.69	o 1654
380.27/346.54	o 1653
381.17/347.42	o 1652
382.08/348.31	o 1651
382.88/349.15	o 1650
383.78/350.02	o 1649
384.58/350.89	o 1648
385.48/351.78	o 1647
386.49/352.68	o 1646
387.39/353.56	o 1645
388.29/354.40	o 1644
389.10/355.27	o 1643
390.00/356.12	o 1642
390.80/356.97	o 1641
391.70/357.84	o 1640
392.61/358.72	o 1639
393.50/359.62	o 1638
394.47/360.51	o 1637
395.27/361.39	o 1636
396.17/362.28	o 1635
397.07/363.12	o 1634
397.87/363.98	o 1633
398.77/364.87	o 1632
399.67/365.73	o 1631
400.67/366.65	o 1630
401.57/367.52	o 1629
402.37/368.39	o 1628
403.27/369.27	o 1627
404.17/370.17	o 1626
405.07/371.00	o 1625
405.87/371.87	o 1624
406.77/372.70	o 1623
407.66/373.56	o 1622
408.56/374.41	o 1621
409.37/375.29	o 1620
410.26/376.12	o 1619
411.16/377.00	o 1618
411.96/377.88	o 1617
412.76/378.69	o 1616
413.87/379.57	o 1615
414.76/380.42	o 1614
415.66/381.31	o 1613
416.56/382.22	o 1612
417.36/383.07	o 1611
418.27/383.94	o 1610
419.16/384.82	o 1609
420.17/385.71	o 1608
421.07/386.60	o 1607
421.87/387.46	o 1606
422.78/388.32	o 1605
423.57/389.18	o 1604
424.47/390.05	o 1603
425.37/390.93	o 1602
426.41/391.82	o 1601
427.22/392.63	o 1600
428.12/393.50	o 1599
428.92/394.37	o 1598
429.81/395.22	o 1597
430.62/396.10	o 1596
431.51/396.96	o 1595
432.52/397.88	o 1594
433.42/398.73	o 1593
434.34/399.61	o 1592
435.25/400.56	o 1591
436.14/401.44	o 1590
437.05/402.30	o 1589
437.97/403.17	o 1588
438.88/404.02	o 1587
439.79/404.92	o 1586
440.58/405.79	o 1585
441.48/406.60	o 1584
442.38/407.50	o 1583
443.30/408.37	o 1582
444.21/409.25	o 1581
445.10/410.10	o 1580
445.90/410.98	o 1579
446.80/411.85	o 1578
447.70/412.70	o 1577
448.65/413.57	o 1576
449.55/414.46	o 1575
450.45/415.32	o 1574
451.25/416.18	o 1573
452.16/417.01	o 1572
453.05/417.90	o 1571
454.05/418.81	o 1570
454.85/419.70	o 1569
455.75/420.56	o 1568
456.66/421.44	o 1567
457.55/422.31	o 1566
458.46/423.16	o 1565
459.36/424.02	o 1564
460.26/424.91	o 1563
461.07/425.77	o 1562
461.96/426.63	o 1561
462.97/427.50	o 1560
463.77/428.37	o 1559
464.67/429.22	o 1558
465.47/430.05	o 1557
466.37/430.92	o 1556
467.46/431.80	o 1555
468.26/432.68	o 1554
469.07/433.50	o 1553
469.96/434.35	o 1552
470.76/435.20	o 1551
471.80/436.06	o 1550
472.70/436.95	o 1549
473.61/437.82	o 1548
474.40/438.70	o 1547
475.30/439.56	o 1546
476.32/440.47	o 1545
477.22/441.33	o 1544
478.02/442.20	o 1543
478.92/443.07	o 1542
479.97/443.96	o 1541
480.87/444.82	o 1540
481.69/445.66	o 1539
482.58/446.52	o 1538
483.38/447.34	o 1537
484.36/448.19	o 1536
485.26/449.06	o 1535
486.17/449.94	o 1534
487.06/450.85	o 1533
488.12/451.74	o 1532
489.02/452.62	o 1531
489.82/453.49	o 1530
490.73/454.38	o 1529
491.76/455.29	o 1528
492.66/456.16	o 1527
493.56/457.00	o 1526
494.36/457.89	o 1525
495.41/458.76	o 1524
496.20/459.59	o 1523
497.11/460.47	o 1522
498.01/461.34	o 1521
498.94/462.19	o 1520
499.85/463.06	o 1519
500.75/463.94	o 1518
501.66/464.80	o 1517
502.56/465.68	o 1516
503.47/466.53	o 1515
504.36/467.42	o 1514
505.38/468.31	o 1513
506.18/469.16	o 1512
507.08/470.04	o 1511
507.99/470.91	o 1510
508.90/471.80	o 1509
509.80/472.67	o 1508
510.70/473.56	o 1507
511.72/474.44	o 1506
512.63/475.31	o 1505
513.42/476.18	o 1504
514.32/477.05	o 1503
515.33/477.93	o 1502
516.23/478.80	o 1501
517.04/479.68	o 1500
518.03/480.54	o 1499
518.83/481.39	o 1498
519.73/482.27	o 1497
520.72/483.16	o 1496
521.63/484.05	o 1495
522.52/484.93	o 1494
523.51/485.82	o 1493
524.31/486.67	o 1492
525.21/487.57	o 1491
526.19/488.44	o 1490
527.09/489.30	o 1489
528.01/490.15	o 1488
528.91/491.01	o 1487
529.72/491.88	o 1486
530.75/492.76	o 1485
531.55/493.60	o 1484
532.45/494.48	o 1483
533.43/495.37	o 1482
534.34/496.25	o 1481
535.33/497.19	o 1480
536.23/498.07	o 1479
537.13/498.91	o 1478
538.12/499.80	o 1477
538.93/500.68	o 1476
539.92/501.59	o 1475
540.82/502.45	o 1474
541.72/503.31	o 1473
542.60/504.16	o 1472
543.50/505.01	o 1471
544.38/505.88	o 1470
545.28/506.76	o 1469
546.18/507.65	o 1468
547.15/508.53	o 1467
548.05/509.42	o 1466
548.93/510.29	o 1465
549.83/511.19	o 1464
550.81/512.06	o 1463
551.71/512.94	o 1462
552.69/513.88	o 1461
553.58/514.77	o 1460
554.55/515.69	o 1459
555.45/516.56	o 1458
556.42/517.48	o 1457
557.32/518.32	o 1456
558.18/519.20	o 1455
559.08/520.05	o 1454
560.04/520.90	o 1453
560.85/521.77	o 1452
561.82/522.65	o 1451
562.80/523.52	o 1450
563.60/524.34	o 1449
564.58/525.21	o 1448
565.48/526.10	o 1447
566.47/527.05	o 1446
567.36/527.95	o 1445
568.33/528.84	o 1444
569.23/529.71	o 1443
570.21/530.61	o 1442
571.11/531.51	o 1441
571.98/532.35	o 1440
572.88/533.20	o 1439
573.84/534.10	o 1438
574.81/535.00	o 1437
575.61/535.87	o 1436
576.59/536.75	o 1435
577.50/537.61	o 1434
578.52/538.52	o 1433
579.32/539.38	o 1432
580.32/540.28	o 1431
581.21/541.16	o 1430
582.11/542.05	o 1429
583.09/542.98	o 1428
583.99/543.87	o 1427
584.96/544.77	o 1426
585.87/545.61	o 1425
586.86/546.50	o 1424
587.66/547.39	o 1423
588.56/548.25	o 1422
589.56/549.17	o 1421
590.46/550.01	o 1420
591.26/550.89	o 1419
592.34/551.80	o 1418
593.14/552.64	o 1417
594.14/553.52	o 1416
594.94/554.37	o 1415
595.84/555.24	o 1414
596.81/556.12	o 1413
597.61/556.99	o 1412
598.71/557.91	o 1411
599.51/558.77	o 1410
600.52/559.63	o 1409
601.32/560.45	o 1408
602.12/561.29	o 1407
603.11/562.20	o 1406
604.01/563.06	o 1405
605.04/563.93	o 1404
605.94/564.82	o 1403
606.96/565.74	o 1402
607.86/566.61	o 1401
608.66/567.48	o 1400
609.72/568.37	o 1399
610.63/569.23	o 1398
611.43/570.10	o 1397
612.43/570.98	o 1396
613.32/571.88	o 1395
614.23/572.76	o 1394
615.21/573.61	o 1393
616.01/574.48	o 1392
617.03/575.38	o 1391
617.92/576.25	o 1390
618.83/577.10	o 1389
619.79/578.00	o 1388
620.69/578.84	o 1387
621.60/579.72	o 1386
622.60/580.60	o 1385
623.40/581.49	o 1384
624.30/582.36	o 1383
625.36/583.27	o 1382
626.27/584.11	o 1381
627.06/584.98	o 1380
627.96/585.86	o 1379
628.97/586.75	o 1378
629.88/587.62	o 1377
630.68/588.50	o 1376
631.68/589.36	o 1375
632.58/590.23	o 1374
633.48/591.12	o 1373
634.50/592.03	o 1372
635.30/592.90	o 1371
636.20/593.76	o 1370
637.27/594.68	o 1369
638.17/595.56	o 1368
639.07/596.41	o 1367
640.01/597.29	o 1366
640.91/598.14	o 1365
641.81/599.03	o 1364
642.84/599.92	o 1363
643.64/600.75	o 1362
644.54/601.62	o 1361
645.57/602.53	o 1360
646.47/603.41	o 1359
647.27/604.27	o 1358
648.36/605.15	o 1357
649.25/606.02	o 1356
650.15/606.91	o 1355
651.19/607.80	o 1354
651.99/608.65	o 1353
652.80/609.49	o 1352
653.69/610.37	o 1351
654.73/611.27	o 1350
655.63/612.15	o 1349
656.53/613.06	o 1348
657.34/613.89	o 1347
658.33/614.77	o 1346
659.23/615.60	o 1345
660.03/616.46	o 1344
661.10/617.37	o 1343
662.00/618.26	o 1342
662.90/619.11	o 1341
663.80/620.03	o 1340
664.80/620.93	o 1339
665.60/621.79	o 1338
666.51/622.69	o 1337
667.52/623.57	o 1336
668.42/624.45	o 1335
669.32/625.35	o 1334
670.34/626.23	o 1333
671.14/627.10	o 1332
672.04/627.98	o 1331
673.08/628.88	o 1330
673.98/629.75	o 1329
674.89/630.63	o 1328
675.92/631.58	o 1327
676.82/632.46	o 1326
677.72/633.33	o 1325
678.77/634.24	o 1324
679.67/635.11	o 1323
680.48/635.98	o 1322
681.50/636.87	o 1321
682.40/637.75	o 1320
683.20/638.59	o 1319
684.20/639.49	o 1318
685.11/640.37	o 1317
686.14/641.26	o 1316
687.04/642.15	o 1315
687.94/643.01	o 1314
689.04/643.99	o 1313
689.94/644.87	o 1312
690.85/645.73	o 1311
691.87/646.67	o 1310
692.77/647.55	o 1309
693.67/648.42	o 1308
694.70/649.30	o 1307
695.50/650.15	o 1306
696.40/651.01	o 1305
697.42/651.91	o 1304
698.22/652.79	o 1303
699.12/653.68	o 1302
700.03/654.54	o 1301
701.06/655.41	o 1300
701.86/656.27	o 1299
702.76/657.15	o 1298
703.80/658.03	o 1297
704.70/658.91	o 1296
705.50/659.77	o 1295
706.61/660.70	o 1294
707.41/661.56	o 1293
708.31/662.46	o 1292
709.35/663.33	o 1291
710.15/664.16	o 1290
711.05/665.01	o 1289
712.07/665.90	o 1288
712.97/666.81	o 1287
713.77/667.70	o 1286
714.67/668.58	o 1285
715.67/669.43	o 1284
716.57/670.32	o 1283
717.60/671.20	o 1282
718.40/672.06	o 1281
719.31/672.91	o 1280
720.38/673.81	o 1279
721.18/674.68	o 1278
722.09/675.56	o 1277
723.17/676.47	o 1276
724.07/677.35	o 1275
724.97/678.23	o 1274
725.88/679.08	o 1273
726.79/679.95	o 1272
727.68/680.82	o 1271
728.70/681.73	o 1270
729.51/682.59	o 1269
730.41/683.44	o 1268
731.32/684.32	o 1267
732.32/685.24	o 1266
733.22/686.10	o 1265
734.02/686.98	o 1264
735.12/687.90	o 1263
735.92/688.77	o 1262
736.83/689.62	o 1261
737.83/690.55	o 1260
738.73/691.44	o 1259
739.53/692.28	o 1258
740.57/693.15	o 1257
741.46/694.02	o 1256
742.26/694.88	o 1255
743.37/695.81	o 1254
744.18/696.68	o 1253
745.08/697.51	o 1252
745.98/698.37	o 1251
746.88/699.25	o 1250
747.78/700.16	o 1249
748.76/701.02	o 1248
749.57/701.88	o 1247
750.56/702.77	o 1246
751.46/703.63	o 1245
752.36/704.52	o 1244
753.35/705.44	o 1243
754.26/706.31	o 1242
755.34/707.20	o 1241
756.14/708.07	o 1240
757.04/708.92	o 1239
758.05/709.82	o 1238
758.86/710.65	o 1237
759.89/711.52	o 1236
760.79/712.40	o 1235
761.59/713.27	o 1234
762.62/714.13	o 1233
763.42/714.99	o 1232
764.32/715.85	o 1231
765.30/716.73	o 1230
766.10/717.59	o 1229
767.01/718.44	o 1228
768.00/719.33	o 1227
768.80/720.19	o 1226
769.70/721.06	o 1225
770.69/721.93	o 1224
771.50/722.78	o 1223
772.40/723.67	o 1222
773.38/724.54	o 1221
774.28/725.40	o 1220
775.22/726.29	o 1219
776.13/727.16	o 1218
777.02/728.03	o 1217
777.92/728.88	o 1216
778.82/729.76	o 1215
779.72/730.61	o 1214
780.63/731.50	o 1213
781.53/732.35	o 1212
782.54/733.27	o 1211
783.44/734.10	o 1210
784.24/734.97	o 1209
785.23/735.85	o 1208
786.13/736.71	o 1207
787.04/737.59	o 1206
787.94/738.46	o 1205
789.01/739.37	o 1204
789.91/740.23	o 1203
790.81/741.10	o 1202
791.71/741.99	o 1201
792.61/742.87	o 1200
793.61/743.73	o 1199
794.49/744.61	o 1198
795.30/745.43	o 1197
796.32/746.34	o 1196
797.22/747.23	o 1195
798.13/748.13	o 1194
799.04/748.97	o 1193
799.94/749.81	o 1192
800.74/750.67	o 1191
801.74/751.56	o 1190
802.65/752.44	o 1189
803.65/753.36	o 1188
804.45/754.17	o 1187
805.35/755.07	o 1186
806.35/755.96	o 1185
807.25/756.80	o 1184
808.32/757.72	o 1183
809.12/758.59	o 1182
810.02/759.45	o 1181
811.04/760.37	o 1180
811.95/761.25	o 1179
812.84/762.14	o 1178
813.83/763.02	o 1177
814.63/763.87	o 1176
815.67/764.75	o 1175
816.46/765.59	o 1174
817.37/766.47	o 1173
818.51/767.36	o 1172
819.41/768.24	o 1171
820.31/769.13	o 1170
821.11/769.97	o 1169
822.12/770.86	o 1168
823.02/771.74	o 1167
823.82/772.59	o 1166
824.93/773.52	o 1165
825.73/774.37	o 1164
826.63/775.23	o 1163
827.43/776.08	o 1162
828.43/776.96	o 1161
829.34/777.83	o 1160
830.23/778.70	o 1159
831.17/779.59	o 1158
832.07/780.47	o 1157
832.97/781.36	o 1156
833.96/782.21	o 1155
834.87/783.13	o 1154
835.77/784.00	o 1153
836.56/784.85	o 1152
837.62/785.75	o 1151
838.43/786.60	o 1150
839.32/787.45	o 1149
840.38/788.36	o 1148
841.18/789.17	o 1147
842.08/790.04	o 1146
842.99/790.92	o 1145
845.81/792.04	o 1144
846.70/792.90	o 1143
847.71/793.81	o 1142
848.51/794.70	o 1141
849.41/795.59	o 1140
850.31/796.45	o 1139
851.31/797.38	o 1138
852.21/798.23	o 1137
853.11/799.11	o 1136
854.03/799.99	o 1135
854.93/800.87	o 1134
855.84/801.75	o 1133
856.74/802.62	o 1132
857.76/803.52	o 1131
858.56/804.38	o 1130
859.48/805.26	o 1129
860.36/806.14	o 1128
861.37/807.03	o 1127
862.27/807.91	o 1126
863.07/808.78	o 1125
863.98/809.65	o 1124
865.02/810.56	o 1123
865.91/811.45	o 1122
866.81/812.34	o 1121
867.61/813.18	o 1120
868.52/814.04	o 1119
869.43/814.89	o 1118
870.33/815.76	o 1117
871.23/816.63	o 1116
872.13/817.51	o 1115
873.32/818.47	o 1114
874.21/819.30	o 1113
875.01/820.17	o 1112
875.91/821.04	o 1111
876.81/821.95	o 1110
877.83/822.88	o 1109
878.72/823.74	o 1108
879.62/824.62	o 1107
880.52/825.51	o 1106
881.59/826.40	o 1105
882.42/827.27	o 1104
883.21/828.08	o 1103
884.11/828.95	o 1102
885.01/829.83	o 1101
885.82/830.66	o 1100
886.89/831.58	o 1099
887.79/832.45	o 1098
888.69/833.31	o 1097
889.49/834.16	o 1096
890.40/835.01	o 1095
891.58/835.93	o 1094
892.48/836.83	o 1093
893.38/837.72	o 1092
894.18/838.59	o 1091
895.09/839.45	o 1090
896.29/840.39	o 1089
897.09/841.18	o 1088
897.99/842.04	o 1087
898.89/842.90	o 1086
899.80/843.82	o 1085
900.59/844.66	o 1084
901.78/845.58	o 1083
902.68/846.42	o 1082
903.48/847.29	o 1081
904.38/848.14	o 1080
905.18/849.00	o 1079
906.08/849.89	o 1078
907.28/850.79	o 1077
908.18/851.64	o 1076
909.09/852.52	o 1075
909.88/853.38	o 1074
910.78/854.24	o 1073
911.68/855.11	o 1072
912.87/856.03	o 1071
913.67/856.86	o 1070
914.57/857.74	o 1069
915.47/858.62	o 1068
916.27/859.48	o 1067
917.18/860.33	o 1066
918.39/861.25	o 1065
919.29/862.15	o 1064
920.19/863.03	o 1063
921.09/863.90	o 1062
921.90/864.78	o 1061
922.79/865.66	o 1060
923.69/866.52	o 1059
924.84/867.46	o 1058
925.74/868.35	o 1057
926.64/869.23	o 1056
927.44/870.08	o 1055
928.34/870.94	o 1054
929.24/871.81	o 1053
930.46/872.72	o 1052
931.27/873.58	o 1051
932.16/874.44	o 1050
933.07/875.32	o 1049
933.87/876.19	o 1048
934.77/877.07	o 1047
935.68/877.93	o 1046
936.92/878.83	o 1045
937.82/879.70	o 1044
938.62/880.58	o 1043
939.52/881.45	o 1042
940.43/882.33	o 1041
941.22/883.17	o 1040
942.02/883.99	o 1039
942.92/884.87	o 1038
944.14/885.76	o 1037
945.04/886.63	o 1036
945.94/887.53	o 1035
946.74/888.39	o 1034
947.64/889.28	o 1033
948.54/890.13	o 1032
949.34/890.99	o 1031
950.56/891.91	o 1030
951.40/892.80	o 1029
952.29/893.66	o 1028
953.20/894.54	o 1027
954.10/895.44	o 1026
954.99/896.33	o 1025
955.79/897.18	o 1024
956.69/898.03	o 1023
957.60/898.90	o 1022
958.80/899.83	o 1021
959.69/900.71	o 1020
960.49/901.53	o 1019
961.29/902.36	o 1018
962.20/903.26	o 1017
963.09/904.12	o 1016
963.99/905.00	o 1015
964.79/905.85	o 1014
965.99/906.77	o 1013
966.90/907.65	o 1012
967.69/908.48	o 1011
968.59/909.36	o 1010
969.49/910.23	o 1009
970.39/911.12	o 1008
971.20/912.00	o 1007
972.09/912.86	o 1006
973.47/913.81	o 1005
974.27/914.66	o 1004
975.17/915.52	o 1003
975.99/916.40	o 1002
976.88/917.27	o 1001
977.78/918.16	o 1000
978.68/919.02	o 999
979.48/919.90	o 998
980.39/920.78	o 997
981.75/921.72	o 996
982.55/922.56	o 995
983.45/923.40	o 994
984.25/924.25	o 993
985.16/925.12	o 992
985.95/925.98	o 991
986.85/926.84	o 990
987.75/927.72	o 989
988.56/928.56	o 988
989.45/929.42	o 987
990.69/930.34	o 986
991.49/931.19	o 985
992.39/932.06	o 984
993.30/932.94	o 983
994.19/933.81	o 982
994.99/934.66	o 981
995.89/935.53	o 980
996.69/936.39	o 979
997.60/937.26	o 978
998.86/938.17	o 977
999.76/939.02	o 976
1000.66/939.91	o 975
1001.46/940.79	o 974
1002.37/941.66	o 973
1003.26/942.54	o 972
1004.16/943.40	o 971
1004.97/944.25	o 970
1005.87/945.13	o 969
1006.67/945.95	o 968
1008.09/946.90	o 967
1008.89/947.79	o 966
1009.79/948.67	o 965
1010.69/949.54	o 964
1011.49/950.40	o 963
1012.39/951.29	o 962
1013.29/952.15	o 961
1014.19/953.01	o 960
1015.00/953.87	o 959
1015.89/954.72	o 958
1016.79/955.60	o 957
1018.09/956.53	o 956
1018.99/957.40	o 955
1019.79/958.27	o 954
1020.69/959.14	o 953
1021.49/959.98	o 952
1022.39/960.86	o 951
1023.29/961.72	o 950
1024.20/962.61	o 949
1024.99/963.49	o 948
1025.89/964.32	o 947
1026.69/965.14	o 946
1027.93/966.09	o 945
1028.94/967.01	o 944
1029.74/967.87	o 943
1030.64/968.74	o 942
1031.54/969.60	o 941
1032.34/970.49	o 940
1033.24/971.34	o 939
1034.14/972.21	o 938
1035.04/973.10	o 937
1035.84/973.97	o 936
1036.74/974.80	o 935
1038.04/975.72	o 934
1038.93/976.60	o 933
1039.73/977.44	o 932
1040.53/978.26	o 931
1041.44/979.11	o 930
1042.33/980.00	o 929
1043.13/980.85	o 928
1044.03/981.72	o 927
1044.83/982.57	o 926
1045.74/983.44	o 925
1046.53/984.23	o 924
1047.33/985.06	o 923
1048.59/985.98	o 922
1049.40/986.80	o 921
1050.29/987.65	o 920
1051.19/988.54	o 919
1051.99/989.37	o 918
1052.89/990.23	o 917
1053.69/991.10	o 916
1054.59/991.98	o 915
1055.49/992.82	o 914
1056.39/993.70	o 913
1057.20/994.54	o 912
1058.09/995.41	o 911
1059.38/996.32	o 910
1060.28/997.20	o 909
1061.08/998.08	o 908
1061.99/998.94	o 907
1062.88/999.80	o 906
1063.68/1000.69	o 905
1064.59/1001.56	o 904
1065.49/1002.43	o 903
1066.39/1003.31	o 902
1067.19/1004.19	o 901
1068.09/1005.08	o 900
1068.99/1005.95	o 899
1070.40/1006.91	o 898
1071.21/1007.74	o 897
1072.00/1008.57	o 896
1072.90/1009.45	o 895
1073.80/1010.30	o 894
1074.60/1011.17	o 893
1075.51/1012.02	o 892
1076.40/1012.91	o 891
1077.30/1013.80	o 890
1078.10/1014.66	o 889
1079.00/1015.53	o 888
1079.91/1016.41	o 887
1080.70/1017.26	o 886
1082.12/1018.22	o 885
1082.91/1019.09	o 884
1083.91/1020.03	o 883
1084.85/1020.99	o 882
1085.85/1021.94	o 881
1086.74/1022.83	o 880
1087.64/1023.78	o 879
1088.64/1024.72	o 878
1089.54/1025.65	o 877
1090.44/1026.59	o 876
1091.45/1027.57	o 875
1092.45/1028.54	o 874
1093.34/1029.49	o 873
1094.81/1030.48	o 872
1095.71/1031.40	o 871
1096.71/1032.32	o 870
1097.61/1033.25	o 869
1098.61/1034.20	o 868
1099.52/1035.11	o 867
1100.41/1036.05	o 866
1101.31/1036.97	o 865
1102.21/1037.90	o 864
1103.21/1038.81	o 863
1104.11/1039.74	o 862
1105.02/1040.64	o 861
1105.91/1041.59	o 860
1106.91/1042.52	o 859
1108.36/1043.52	o 858
1109.26/1044.43	o 857
1110.16/1045.34	o 856
1111.07/1046.26	o 855
1111.96/1047.18	o 854
1112.97/1048.11	o 853
1113.87/1049.01	o 852
1114.77/1049.94	o 851
1115.67/1050.86	o 850
1116.57/1051.77	o 849
1117.47/1052.63	o 848
1118.37/1053.55	o 847
1119.27/1054.47	o 846
1120.17/1055.39	o 845
1121.17/1056.34	o 844
1122.57/1057.32	o 843
1123.48/1058.25	o 842
1124.37/1059.17	o 841
1125.37/1060.12	o 840
1126.27/1061.01	o 839
1127.17/1061.94	o 838
1128.07/1062.83	o 837
1128.98/1063.78	o 836
1129.97/1064.70	o 835
1130.87/1065.65	o 834
1131.77/1066.54	o 833
1132.67/1067.45	o 832
1133.57/1068.38	o 831
1134.48/1069.27	o 830
1136.09/1070.32	o 829
1136.98/1071.23	o 828
1137.88/1072.13	o 827
1138.78/1073.04	o 826
1139.68/1073.95	o 825
1140.59/1074.86	o 824
1141.48/1075.76	o 823
1142.39/1076.69	o 822
1143.38/1077.60	o 821
1144.29/1078.54	o 820
1145.19/1079.45	o 819
1146.09/1080.39	o 818
1146.99/1081.28	o 817
1147.99/1082.20	o 816
1148.79/1083.09	o 815
1149.79/1084.02	o 814
1151.25/1085.02	o 813
1152.15/1085.96	o 812
1153.15/1086.91	o 811
1154.05/1087.83	o 810
1154.95/1088.74	o 809
1155.85/1089.66	o 808
1156.75/1090.57	o 807
1157.65/1091.50	o 806
1158.65/1092.42	o 805
1159.55/1093.32	o 804
1160.45/1094.27	o 803
1161.35/1095.16	o 802
1162.25/1096.06	o 801
1163.15/1096.94	o 800
1164.06/1097.87	o 799
1165.57/1098.87	o 798
1166.47/1099.80	o 797
1167.47/1100.72	o 796
1168.27/1101.58	o 795
1169.17/1102.48	o 794
1170.08/1103.38	o 793
1170.97/1104.26	o 792
1171.87/1105.17	o 791
1172.87/1106.11	o 790
1173.77/1107.04	o 789
1174.68/1107.95	o 788
1175.58/1108.88	o 787
1176.48/1109.79	o 786
1177.38/1110.70	o 785
1178.38/1111.61	o 784
1179.19/1112.49	o 783
1180.84/1113.51	o 782
1181.74/1114.45	o 781
1182.64/1115.36	o 780
1183.64/1116.30	o 779
1184.54/1117.21	o 778
1185.44/1118.15	o 777
1186.34/1119.07	o 776
1187.25/1119.99	o 775
1188.25/1120.91	o 774
1189.14/1121.83	o 773
1190.04/1122.77	o 772
1191.04/1123.71	o 771
1191.95/1124.64	o 770
1192.85/1125.59	o 769
1193.75/1126.46	o 768
1194.75/1127.40	o 767
1195.55/1128.29	o 766
1197.08/1129.29	o 765
1197.98/1130.19	o 764
1198.98/1131.10	o 763
1199.89/1132.01	o 762
1200.78/1132.90	o 761
1201.68/1133.81	o 760
1202.58/1134.73	o 759
1203.48/1135.65	o 758
1204.39/1136.56	o 757
1205.29/1137.44	o 756
1206.19/1138.37	o 755
1207.19/1139.32	o 754
1208.09/1140.23	o 753
1208.99/1141.14	o 752
1209.89/1142.05	o 751
1210.80/1142.98	o 750
1211.79/1143.92	o 749
1213.30/1144.96	o 748
1214.20/1145.88	o 747
1215.20/1146.80	o 746
1216.00/1147.69	o 745
1217.00/1148.63	o 744
1217.91/1149.59	o 743
1218.90/1150.53	o 742
1219.80/1151.45	o 741
1220.70/1152.35	o 740
1221.60/1153.28	o 739
1222.60/1154.21	o 738
1223.51/1155.15	o 737
1224.40/1156.04	o 736
1225.30/1156.97	o 735
1226.30/1157.90	o 734
1227.10/1158.80	o 733
1228.10/1159.71	o 732
1229.28/1160.70	o 731
1230.28/1161.62	o 730
1231.18/1162.52	o 729
1232.08/1163.42	o 728
1232.98/1164.36	o 727
1233.88/1165.26	o 726
1234.79/1166.17	o 725
1235.68/1167.10	o 724
1236.68/1168.04	o 723
1237.58/1168.99	o 722
1238.58/1169.91	o 721
1239.48/1170.81	o 720
1240.38/1171.73	o 719
1241.29/1172.60	o 718
1242.18/1173.50	o 717
1243.08/1174.41	o 716
1243.98/1175.32	o 715
1245.13/1176.28	o 714
1246.13/1177.20	o 713
1247.04/1178.12	o 712
1247.93/1179.01	o 711
1248.83/1179.91	o 710
1249.73/1180.83	o 709
1250.64/1181.74	o 708
1251.55/1182.66	o 707
1252.44/1183.60	o 706
1253.44/1184.52	o 705
1254.34/1185.40	o 704
1255.24/1186.31	o 703
1256.14/1187.23	o 702
1257.05/1188.14	o 701
1257.94/1189.05	o 700
1258.84/1189.95	o 699
1259.74/1190.85	o 698
1260.64/1191.79	o 697
1261.91/1192.76	o 696
1262.82/1193.69	o 695
1263.82/1194.61	o 694
1264.71/1195.52	o 693
1265.61/1196.41	o 692
1266.51/1197.33	o 691
1267.41/1198.28	o 690
1268.41/1199.23	o 689
1269.21/1200.10	o 688
1270.21/1201.02	o 687
1271.11/1201.94	o 686
1272.02/1202.87	o 685
1273.02/1203.81	o 684
1273.92/1204.72	o 683
1274.83/1205.66	o 682
1275.73/1206.59	o 681
1276.73/1207.55	o 680
1277.99/1208.54	o 679
1278.89/1209.45	o 678
1279.79/1210.34	o 677
1280.70/1211.24	o 676
1281.59/1212.14	o 675
1282.49/1213.06	o 674
1283.40/1213.93	o 673
1284.30/1214.87	o 672
1285.20/1215.79	o 671
1286.21/1216.72	o 670
1287.10/1217.64	o 669
1288.00/1218.57	o 668
1289.01/1219.51	o 667
1289.91/1220.40	o 666
1290.80/1221.32	o 665
1291.71/1222.21	o 664
1292.60/1223.13	o 663
1293.88/1224.10	o 662
1294.78/1225.02	o 661
1295.68/1225.94	o 660
1296.58/1226.88	o 659
1297.58/1227.80	o 658
1298.49/1228.72	o 657
1299.39/1229.64	o 656
1300.29/1230.58	o 655
1301.29/1231.50	o 654
1302.19/1232.47	o 653
1303.09/1233.37	o 652
1304.00/1234.29	o 651
1304.99/1235.20	o 650
1305.89/1236.13	o 649
1306.79/1237.03	o 648
1307.69/1237.96	o 647
1308.59/1238.87	o 646
1309.50/1239.79	o 645
1310.74/1240.74	o 644
1311.64/1241.66	o 643
1312.54/1242.57	o 642
1313.44/1243.49	o 641
1314.44/1244.40	o 640
1315.25/1245.30	o 639
1316.24/1246.20	o 638
1317.14/1247.12	o 637
1318.05/1248.01	o 636
1318.95/1248.91	o 635
1319.84/1249.82	o 634
1320.75/1250.73	o 633
1321.64/1251.62	o 632
1322.54/1252.52	o 631
1323.44/1253.45	o 630
1324.34/1254.34	o 629
1325.25/1255.28	o 628
1326.52/1256.24	o 627
1327.41/1257.16	o 626
1328.41/1258.10	o 625
1329.32/1259.03	o 624
1330.12/1259.87	o 623
1331.03/1260.77	o 622
1331.92/1261.70	o 621
1332.92/1262.60	o 620
1333.82/1263.53	o 619
1334.72/1264.43	o 618
1335.62/1265.39	o 617
1336.53/1266.29	o 616
1337.53/1267.21	o 615
1338.42/1268.15	o 614
1339.32/1269.08	o 613
1340.32/1270.01	o 612
1341.22/1270.96	o 611
1342.50/1271.96	o 610
1343.41/1272.87	o 609
1344.41/1273.82	o 608
1345.30/1274.76	o 607
1346.20/1275.65	o 606
1347.10/1276.56	o 605
1348.10/1277.50	o 604
1349.00/1278.42	o 603
1349.91/1279.34	o 602
1350.80/1280.23	o 601
1351.70/1281.18	o 600
1352.70/1282.10	o 599
1353.60/1283.03	o 598
1354.50/1283.94	o 597
1355.41/1284.88	o 596
1356.30/1285.79	o 595
1357.30/1286.72	o 594
1358.59/1287.71	o 593
1359.39/1288.59	o 592
1360.39/1289.51	o 591
1361.30/1290.41	o 590
1362.19/1291.34	o 589
1363.09/1292.26	o 588
1363.99/1293.19	o 587
1364.99/1294.10	o 586
1365.89/1295.03	o 585
1366.80/1295.93	o 584
1367.69/1296.82	o 583
1368.59/1297.75	o 582
1369.49/1298.69	o 581
1370.49/1299.62	o 580
1371.39/1300.57	o 579
1372.39/1301.50	o 578
1373.30/1302.44	o 577
1374.45/1303.34	o 576
1375.35/1304.30	o 575
1376.35/1305.22	o 574
1377.25/1306.15	o 573
1378.15/1307.06	o 572
1379.07/1307.99	o 571
1380.06/1308.91	o 570
1380.96/1309.85	o 569
1381.86/1310.72	o 568
1382.76/1311.63	o 567
1383.66/1312.51	o 566
1384.57/1313.43	o 565
1385.46/1314.34	o 564
1386.36/1315.27	o 563
1387.26/1316.17	o 562
1388.16/1317.04	o 561
1389.07/1317.95	o 560
1390.35/1318.94	o 559
1391.25/1319.84	o 558
1392.15/1320.79	o 557
1393.15/1321.74	o 556
1394.05/1322.67	o 555
1394.95/1323.55	o 554
1395.86/1324.45	o 553
1396.75/1325.30	o 552
1397.65/1326.22	o 551
1398.55/1327.10	o 550
1399.35/1327.99	o 549
1400.25/1328.90	o 548
1401.25/1329.82	o 547
1402.15/1330.75	o 546
1403.05/1331.64	o 545
1403.95/1332.55	o 544
1404.85/1333.44	o 543
1406.04/1334.37	o 542
1406.93/1335.28	o 541
1407.83/1336.18	o 540
1408.73/1337.05	o 539
1409.64/1337.96	o 538
1410.54/1338.89	o 537
1411.44/1339.79	o 536
1412.44/1340.71	o 535
1413.34/1341.65	o 534
1414.24/1342.59	o 533
1415.14/1343.49	o 532
1416.05/1344.37	o 531
1416.94/1345.26	o 530
1417.84/1346.18	o 529
1418.84/1347.11	o 528
1419.74/1348.03	o 527
1420.64/1348.94	o 526
1421.92/1349.91	o 525
1422.83/1350.83	o 524
1423.72/1351.74	o 523
1424.62/1352.66	o 522
1425.52/1353.58	o 521
1426.52/1354.51	o 520
1427.42/1355.43	o 519
1428.33/1356.37	o 518
1429.22/1357.26	o 517
1430.12/1358.15	o 516
1431.02/1359.05	o 515
1431.92/1359.96	o 514
1432.83/1360.89	o 513
1433.72/1361.79	o 512
1434.72/1362.70	o 511
1435.62/1363.61	o 510
1436.52/1364.52	o 509
1437.81/1365.51	o 508
1438.71/1366.44	o 507
1439.61/1367.36	o 506
1440.51/1368.28	o 505
1441.51/1369.21	o 504
1442.41/1370.14	o 503
1443.30/1371.05	o 502
1444.20/1371.99	o 501
1445.12/1372.90	o 500
1446.11/1373.82	o 499
1447.01/1374.78	o 498
1448.01/1375.75	o 497
1448.91/1376.69	o 496
1449.81/1377.56	o 495
1450.81/1378.51	o 494
1451.72/1379.45	o 493
1452.61/1380.37	o 492
1453.89/1381.32	o 491
1454.79/1382.26	o 490
1455.69/1383.19	o 489
1456.59/1384.10	o 488
1457.60/1385.03	o 487
1458.49/1385.96	o 486
1459.49/1386.91	o 485
1460.39/1387.86	o 484
1461.29/1388.79	o 483
1462.29/1389.72	o 482
1463.19/1390.66	o 481
1464.10/1391.57	o 480
1465.09/1392.52	o 479
1465.99/1393.41	o 478
1466.79/1394.29	o 477
1467.79/1395.21	o 476
1468.69/1396.14	o 475
1469.98/1397.16	o 474
1470.87/1398.09	o 473
1471.88/1399.00	o 472
1472.78/1399.95	o 471
1473.78/1400.91	o 470
1474.68/1401.84	o 469
1475.58/1402.79	o 468
1476.59/1403.73	o 467
1477.48/1404.67	o 466
1478.48/1405.60	o 465
1479.38/1406.54	o 464
1480.28/1407.46	o 463
1481.18/1408.39	o 462
1482.18/1409.31	o 461
1483.08/1410.23	o 460
1483.98/1411.13	o 459
1484.88/1412.05	o 458
1486.16/1413.02	o 457
1487.06/1413.95	o 456
1487.96/1414.87	o 455
1488.87/1415.75	o 454
1489.76/1416.66	o 453
1490.66/1417.59	o 452
1491.66/1418.54	o 451
1492.56/1419.45	o 450
1493.46/1420.35	o 449
1494.37/1421.27	o 448
1495.26/1422.19	o 447
1496.26/1423.12	o 446
1497.16/1424.05	o 445
1498.16/1425.00	o 444
1499.06/1425.91	o 443
1499.97/1426.86	o 442
1500.86/1427.79	o 441
1501.86/1428.75	o 440
1503.02/1429.67	o 439
1503.93/1430.57	o 438
1504.83/1431.48	o 437
1505.74/1432.37	o 436
1506.74/1433.31	o 435
1507.63/1434.26	o 434
1508.53/1435.19	o 433
1509.43/1436.08	o 432
1510.43/1437.01	o 431
1511.33/1437.94	o 430
1512.24/1438.86	o 429
1513.23/1439.80	o 428
1514.13/1440.71	o 427
1515.03/1441.64	o 426
1515.93/1442.54	o 425
1516.83/1443.44	o 424
1517.74/1444.36	o 423
1518.99/1445.33	o 422
1519.89/1446.25	o 421
1520.79/1447.15	o 420
1521.69/1448.08	o 419
1522.69/1449.01	o 418
1523.60/1449.92	o 417
1524.49/1450.84	o 416
1525.39/1451.79	o 415
1526.39/1452.71	o 414
1527.29/1453.62	o 413
1528.19/1454.52	o 412
1529.10/1455.44	o 411
1529.99/1456.40	o 410
1530.99/1457.33	o 409
1531.89/1458.21	o 408
1532.80/1459.13	o 407
1533.70/1460.05	o 406
1534.96/1461.04	o 405
1535.87/1461.94	o 404
1536.76/1462.86	o 403
1537.67/1463.75	o 402
1538.56/1464.68	o 401
1539.56/1465.60	o 400
1540.46/1466.54	o 399
1541.37/1467.46	o 398
1542.26/1468.35	o 397
1543.16/1469.28	o 396
1544.16/1470.22	o 395
1545.06/1471.13	o 394
1545.96/1472.08	o 393
1546.87/1472.99	o 392
1547.76/1473.88	o 391
1548.77/1474.80	o 390
1549.66/1475.70	o 389
1550.83/1476.64	o 388
1551.74/1477.56	o 387
1552.64/1478.50	o 386
1553.64/1479.41	o 385
1554.44/1480.29	o 384
1555.44/1481.23	o 383
1556.34/1482.17	o 382
1557.24/1483.06	o 381
1558.15/1483.98	o 380
1559.04/1484.89	o 379
1559.94/1485.76	o 378
1560.84/1486.67	o 377
1561.74/1487.59	o 376
1562.65/1488.50	o 375
1563.66/1489.42	o 374
1564.55/1490.36	o 373
1565.45/1491.27	o 372
1566.73/1492.25	o 371
1567.63/1493.17	o 370
1568.53/1494.07	o 369
1569.43/1494.95	o 368
1570.33/1495.87	o 367
1571.23/1496.79	o 366
1572.23/1497.70	o 365
1573.13/1498.60	o 364
1574.03/1499.53	o 363
1574.94/1500.43	o 362
1575.83/1501.38	o 361
1576.73/1502.30	o 360
1577.73/1503.22	o 359
1578.63/1504.13	o 358
1579.53/1505.03	o 357
1580.44/1505.96	o 356
1581.33/1506.89	o 355
1582.60/1507.82	o 354
1583.50/1508.73	o 353
1584.40/1509.64	o 352
1585.30/1510.57	o 351
1586.21/1511.48	o 350
1587.10/1512.39	o 349
1588.10/1513.31	o 348
1589.00/1514.22	o 347
1589.80/1515.10	o 346
1590.81/1516.03	o 345
1591.71/1516.92	o 344
1592.61/1517.86	o 343
1593.51/1518.77	o 342
1594.41/1519.68	o 341
1595.31/1520.58	o 340
1596.21/1521.49	o 339
1597.21/1522.41	o 338
1598.48/1523.40	o 337
1599.38/1524.34	o 336
1600.18/1525.19	o 335
1601.08/1526.08	o 334
1602.08/1527.00	o 333
1602.99/1527.91	o 332
1603.88/1528.82	o 331
1604.78/1529.74	o 330
1605.68/1530.64	o 329
1606.58/1531.57	o 328
1607.58/1532.50	o 327
1608.38/1533.39	o 326
1609.44/1534.30	o 325
1610.34/1535.20	o 324
1611.24/1536.15	o 323
1612.14/1537.07	o 322
1613.04/1537.98	o 321
1614.33/1538.93	o 320
1615.22/1539.80	o 319
1616.12/1540.72	o 318
1617.02/1541.65	o 317
1617.92/1542.53	o 316
1618.83/1543.46	o 315
1619.72/1544.37	o 314
1620.62/1545.28	o 313
1621.52/1546.20	o 312
1622.42/1547.09	o 311
1623.32/1547.99	o 310
1624.33/1548.92	o 309
1625.13/1549.79	o 308
1626.13/1550.70	o 307
1627.03/1551.62	o 306
1627.93/1552.50	o 305
1628.83/1553.43	o 304
1630.04/1554.40	o 303
1631.03/1555.33	o 302
1631.93/1556.27	o 301
1632.93/1557.23	o 300
1633.73/1558.09	o 299
1634.73/1559.01	o 298
1635.64/1559.91	o 297
1636.53/1560.81	o 296
1637.43/1561.74	o 295
1638.33/1562.68	o 294
1639.23/1563.59	o 293
1640.24/1564.51	o 292
1641.15/1565.44	o 291
1642.04/1566.36	o 290
1642.94/1567.27	o 289
1643.84/1568.17	o 288
1644.74/1569.06	o 287
1646.06/1570.01	o 286
1646.97/1570.91	o 285
1647.86/1571.84	o 284
1648.76/1572.76	o 283
1649.66/1573.64	o 282
1650.56/1574.58	o 281
1651.56/1575.51	o 280
1652.47/1576.43	o 279
1653.37/1577.35	o 278
1654.28/1578.24	o 277
1655.18/1579.13	o 276
1656.08/1580.02	o 275
1656.98/1580.94	o 274
1657.89/1581.87	o 273
1658.79/1582.79	o 272
1659.79/1583.71	o 271
1660.69/1584.63	o 270
1661.79/1585.58	o 269
1662.79/1586.47	o 268
1663.70/1587.39	o 267
1664.59/1588.29	o 266
1665.60/1589.21	o 265
1666.50/1590.12	o 264
1667.40/1591.03	o 263
1668.30/1591.97	o 262
1669.20/1592.89	o 261
1670.10/1593.79	o 260
1671.00/1594.65	o 259
1671.90/1595.56	o 258
1672.80/1596.44	o 257
1673.71/1597.35	o 256
1674.60/1598.21	o 255
1675.50/1599.11	o 254
1676.40/1600.02	o 253
1677.30/1600.90	o 252
1678.40/1601.79	o 251
1679.40/1602.71	o 250
1680.29/1603.64	o 249
1681.19/1604.52	o 248
1682.09/1605.42	o 247
1682.99/1606.34	o 246
1683.90/1607.25	o 245
1684.79/1608.14	o 244
1685.69/1609.06	o 243
1686.60/1609.95	o 242
1687.50/1610.87	o 241
1688.40/1611.78	o 240
1689.31/1612.70	o 239
1690.31/1613.60	o 238
1691.23/1614.51	o 237
1692.13/1615.43	o 236
1693.03/1616.32	o 235
1694.21/1617.28	o 234
1695.12/1618.19	o 233
1696.11/1619.10	o 232
1696.91/1619.98	o 231
1697.91/1620.90	o 230
1698.81/1621.81	o 229
1699.71/1622.75	o 228
1700.62/1623.63	o 227
1701.51/1624.51	o 226
1702.41/1625.43	o 225
1703.31/1626.32	o 224
1704.21/1627.25	o 223
1705.12/1628.18	o 222
1706.01/1629.07	o 221
1706.91/1629.97	o 220
1707.81/1630.86	o 219
1708.71/1631.77	o 218
1709.99/1632.75	o 217
1710.90/1633.67	o 216
1711.90/1634.62	o 215
1712.79/1635.53	o 214
1713.69/1636.47	o 213
1714.69/1637.41	o 212
1715.59/1638.30	o 211
1716.49/1639.20	o 210
1717.40/1640.13	o 209
1718.29/1641.04	o 208
1719.19/1641.95	o 207
1720.09/1642.86	o 206
1720.99/1643.79	o 205
1721.99/1644.71	o 204
1722.80/1645.60	o 203
1723.80/1646.52	o 202
1724.70/1647.40	o 201
1725.90/1648.38	o 200
1726.80/1649.29	o 199
1727.80/1650.20	o 198
1728.71/1651.12	o 197
1729.61/1652.03	o 196
1730.51/1652.96	o 195
1731.41/1653.88	o 194
1732.31/1654.78	o 193
1733.21/1655.64	o 192
1734.11/1656.54	o 191
1734.91/1657.35	o 190
1735.81/1658.26	o 189
1736.71/1659.19	o 188
1737.61/1660.08	o 187
1738.51/1660.99	o 186
1739.51/1661.92	o 185
1740.41/1662.85	o 184
1741.31/1663.76	o 183
1742.57/1664.74	o 182
1743.38/1665.59	o 181
1744.27/1666.47	o 180
1745.17/1667.38	o 179
1746.07/1668.29	o 178
1747.07/1669.20	o 177
1747.97/1670.10	o 176
1748.78/1670.95	o 175
1749.67/1671.87	o 174
1750.57/1672.79	o 173
1751.57/1673.73	o 172
1752.47/1674.66	o 171
1753.37/1675.53	o 170
1754.28/1676.44	o 169
1755.17/1677.32	o 168
1756.07/1678.24	o 167
1756.97/1679.14	o 166
1758.24/1680.13	o 165
1759.14/1681.05	o 164
1760.05/1681.97	o 163
1761.04/1682.93	o 162
1761.94/1683.81	o 161
1762.84/1684.72	o 160
1763.74/1685.62	o 159
1764.64/1686.55	o 158
1765.55/1687.48	o 157
1766.44/1688.36	o 156
1767.34/1689.25	o 155
1768.24/1690.17	o 154
1769.14/1691.09	o 153
1770.14/1692.03	o 152
1771.05/1692.96	o 151
1771.94/1693.86	o 150
1772.84/1694.78	o 149
1774.00/1695.70	o 148
1775.01/1696.60	o 147
1775.91/1697.51	o 146
1776.82/1698.43	o 145
1777.71/1699.34	o 144
1778.61/1700.26	o 143
1779.51/1701.17	o 142
1780.41/1702.05	o 141
1781.32/1702.98	o 140
1782.21/1703.89	o 139
1783.11/1704.78	o 138
1784.01/1705.70	o 137
1785.01/1706.61	o 136
1785.91/1707.52	o 135
1786.82/1708.41	o 134
1787.72/1709.30	o 133
1788.62/1710.23	o 132
1789.79/1711.20	o 131
1790.79/1712.11	o 130
1791.59/1712.95	o 129
1792.50/1713.85	o 128
1793.29/1714.67	o 127
1794.19/1715.58	o 126
1795.19/1716.50	o 125
1796.10/1717.42	o 124
1797.01/1718.31	o 123
1797.80/1719.19	o 122
1798.80/1720.10	o 121
1799.70/1721.03	o 120
1800.60/1721.93	o 119
1801.50/1722.81	o 118
1802.30/1723.69	o 117
1803.30/1724.61	o 116
1804.20/1725.53	o 115
1805.10/1726.45	o 114
1806.39/1727.41	o 113
1807.29/1728.31	o 112
1808.09/1729.20	o 111
1809.09/1730.11	o 110
1809.99/1731.04	o 109
1810.89/1731.93	o 108
1811.79/1732.81	o 107
1812.70/1733.72	o 106
1813.59/1734.63	o 105
1814.50/1735.52	o 104
1815.40/1736.41	o 103
1816.30/1737.31	o 102
1817.20/1738.22	o 101
1818.11/1739.13	o 100
1819.01/1740.05	o 99
1819.91/1740.95	o 98
1820.81/1741.85	o 97
1821.71/1742.77	o 96
1822.61/1743.67	o 95
1823.77/1744.60	o 94
1824.67/1745.49	o 93
1825.57/1746.38	o 92
1826.47/1747.27	o 91
1827.37/1748.14	o 90
1828.28/1749.04	o 89
1829.17/1749.95	o 88
1830.07/1750.84	o 87
1830.97/1751.77	o 86
1831.87/1752.66	o 85
1832.78/1753.54	o 84
1833.67/1754.45	o 83
1834.57/1755.35	o 82
1835.47/1756.27	o 81
1836.37/1757.18	o 80
1837.37/1758.10	o 79
1838.28/1759.02	o 78
1839.17/1759.94	o 77
1840.37/1760.89	o 76
1841.27/1761.79	o 75
1842.17/1762.64	o 74
1843.10/1763.52	o 73
1844.12/1764.50	o 72
1845.20/1765.49	o 71
1846.53/1766.44	o 70
1847.66/1767.38	o 69
1848.66/1768.32	o 68
1849.56/1769.28	o 67
1850.59/1770.25	o 66
1851.59/1771.22	o 65
1852.50/1772.11	o 64
1853.41/1773.03	o 63
1854.31/1773.94	o 62
1855.21/1774.86	o 61
1856.11/1775.79	o 60
1857.11/1776.72	o 59
1858.27/1777.68	o 58
1859.26/1778.63	o 57
1860.16/1779.57	o 56
1861.16/1780.51	o 55
1862.07/1781.42	o 54
1862.97/1782.36	o 53
1863.88/1783.28	o 52
1864.88/1784.23	o 51
1865.77/1785.16	o 50
1866.68/1786.09	o 49
1867.58/1787.00	o 48
1868.58/1787.95	o 47
1869.48/1788.87	o 46
1870.79/1789.88	o 45
1871.77/1790.82	o 44
1872.66/1791.74	o 43
1873.56/1792.68	o 42
1874.56/1793.61	o 41
1875.46/1794.53	o 40
1876.36/1795.48	o 39
1877.37/1796.42	o 38
1878.26/1797.35	o 37
1879.16/1798.28	o 36
1880.16/1799.21	o 35
1881.06/1800.15	o 34
1881.96/1801.09	o 33
1882.96/1802.01	o 32
1884.13/1802.98	o 31
1885.12/1803.90	o 30
1886.02/1804.82	o 29
1886.92/1805.77	o 28
1887.92/1806.74	o 27
1888.82/1807.67	o 26
1889.82/1808.60	o 25
1890.73/1809.56	o 24
1891.62/1810.47	o 23
1892.62/1811.40	o 22
1893.52/1812.31	o 21
1894.42/1813.26	o 20
1895.42/1814.20	o 19
1896.33/1815.19	o 18
1897.58/1816.18	o 17
1898.57/1817.13	o 16
1899.48/1818.08	o 15
1900.38/1818.99	o 14
1901.30/1819.88	o 13
1902.30/1820.80	o 12
1903.28/1821.75	o 11
1904.94/1822.72	o 10
1905.93/1823.68	o 9
1907.02/1824.66	o 8
1907.96/1825.58	o 7
2400.07/2313.51	java.util.concurrent.TimeoutException
2400.07/2313.51		at concrete.MAC.mac(MAC.scala:74)
2400.07/2313.51		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.07/2313.51		at scala.util.Try$.apply(Try.scala:209)
2400.07/2313.51		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.07/2313.51		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.07/2313.51		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.07/2313.51		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.07/2313.51		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.07/2313.51		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.07/2313.51		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.07/2313.51		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.07/2313.51		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.07/2313.51		at concrete.MAC.oneRun(MAC.scala:146)
2400.07/2313.51		at concrete.MAC.nextSolution(MAC.scala:166)
2400.07/2313.51		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.07/2313.51		at concrete.ProblemState.map(ProblemState.scala:203)
2400.07/2313.51		at concrete.ProblemState.map(ProblemState.scala:188)
2400.07/2313.51		at concrete.MAC.nextSolution(MAC.scala:195)
2400.07/2313.51		at concrete.Solver.hasNext(Solver.scala:202)
2400.07/2313.51		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.07/2313.51		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.07/2313.51		at concrete.Solver.toStream(Solver.scala:73)
2400.07/2313.51		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.07/2313.51		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.07/2313.51		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.07/2313.51		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.07/2313.51		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.07/2313.51		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.07/2313.51		at scala.util.Success.map(Try.scala:209)
2400.07/2313.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.07/2313.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.07/2313.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.07/2313.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.07/2313.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.07/2313.51		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.07/2313.51		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.07/2313.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.07/2313.51		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.07/2313.51		at scala.collection.immutable.List.foreach(List.scala:389)
2400.07/2313.51		at scala.App.main(App.scala:76)
2400.07/2313.51		at scala.App.main$(App.scala:74)
2400.07/2313.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.07/2313.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.07/2313.51	v <instantiation cost="7">
2400.07/2313.51	v       <list>
2400.07/2313.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.07/2313.51	v       </list>
2400.07/2313.51	v       <values>
2400.07/2313.51	v         7 5 2 2 7 6 2 6 7 7 1 0 2 7 4 7 5 7 2 7 7 5 6 7 7 6 6 2 7 6 7 4 0 1 7 4 4 1 7 7 4 4 1 1 4 5 5 5 5 6 2 5 6 6 5 3 2 5 3 3 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 0 2 7 6 6 4 4 4 3 4 4 6 3 3 3 0 3 3 4 3 1 3 3 3 7 5 6 3 3 6 6 3 3 6 6 3 3 3 7 4 4 4 7 4 4 1 4 1 4 5 6 5 6 6 6 6 6 6 6 5 6 5 6 6 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 3 3 1 6 5 7 2 7 7 7 5 7 7 7 7 7 2 7 7 7 7 7 2 7 7 7 5 7 7 2 7 2 7 2 5 7 5 7 7 7 5 7 7 7 7 7 2 7 7 5 5 5 5 2 2 5 5 2 2 5 5 5 2 5 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 2 2 2 7 2 6 6 6 6 3 4 6 6 4 6 5 4 6 4 5 5 7 5 6 5 6 6 6 5 6 6 6 6 3 6 6 6 6 6 4 4 5 6 4 6 4 4 6 4 4 5 6 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 4 4 5 6 6 6 4 4 6 4 4 6 4 3 3 6 5 7 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 5 7 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 2 7 7 7 4 2 3 0 6 6 1 3 4 5 1 2 2 7 7 1 5 2 7 5 6 1 2 2 5 5 2 2 5 5 5 5 2 5 5 4 6 4 4 7 4 4 5 7 7 4 4 4 7 4 2 2 2 3 2 2 3 4 3 3 3 2 3 3 3 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 4 4 2 7 4 6 6 3 3 3 6 5 5 3 3 5 5 5 3 5 3 4 3 3 4 3 5 5 5 3 5 3 5 3 5 6 6 4 4 1 6 6 5 4 4 4 1 4 4 4 3 6 3 3 3 3 6 4 5 3 3 3 3 3 3 4 7 4 7 7 7 7 4 7 7 4 7 7 7 4 3 4 3 4 3 2 7 2 7 7 7 2 7 7 7 7 2 2 7 7 2 2 2 2 2 7 2 6 2 7 2 7 6 2 2 4 6 4 7 7 7 2 7 7 7 2 7 2 7 7 4 2 2 2 2 2 2 2 2 6 2 2 6 2 2 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 2 2 2 7 2 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 4 4 5 3 4 4 5 5 5 4 5 3 5 3 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 4 6 4 4 6 6 6 4 6 6 3 6 4 6 3 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 3 6 4 4 3 2 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 5 7 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 2 7 7 7 4 2 1 1 6 7 7 7 7 6 7 4 6 6 7 4 0 0 4 4 7 5 7 0 1 7 5 6 6 7 0 0 0 0 0 7 7 7 7 7 7 7 7 6 7 7 4 7 7 4 5 5 5 5 3 5 5 6 6 5 3 5 5 0 3 5 6 5 6 6 5 6 6 6 5 6 6 6 5 6 1 0 0 1 1 5 7 4 4 5 5 4 4 4 4 4 0 4 4 4 5 7 3 1 6 5 3 0 0 0 1 0 0 0 0 7 7 4 1 7 7 4 7 7 7 4 7 4 1 4 5 5 5 5 6 6 3 3 6 6 3 6 3 1 3 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 0 1 5 5 7 7 7 7 7 7 7 7 7 7 7 4 7 4 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 7 7 7 7 7 7 7 7 7 7 7 5 7 5 5 3 5 5 5 7 5 3 5 5 3 3 5 6 5 5 6 5 4 4 6 5 0 0 4 5 0 0 6 0 0 0 5 5 4 5 5 5 5 5 5 5 5 5 5 5 5 4 6 4 0 4 6 4 4 4 4 4 0 4 4 4 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 4 6 4 0 4 0 4 4 4 4 4 0 3 4 3 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 4 4 0 3 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 3 0 0 7 3 3 6 6 3 5 6 6 7 5 6 5 6 3 2 5 5 3 3 3 5 5 3 3 5 5 5 5 2 5 5 6 6 3 2 2 6 3 5 5 6 2 6 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 6 6 3 2 2 6 3 2 2 6 2 6 2 2 2 3 2 2 2 3 6 6 6 5 5 6 6 5 5 6 5 6 5 3 5 3 5 5 5 3 5 5 5 5 5 5 3 5 5 5 6 6 6 6 3 6 6 5 2 6 2 6 6 2 2 3 3 3 3 3 3 3 3 5 5 3 3 3 5 3 6 6 6 6 3 6 6 5 2 6 2 6 6 2 2 7 3 3 2 3 3 6 3 3 3 6 3 3 6 6 6 2 3 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 2 6 3 3 2 6 3 5 6 6 5 2 2 5 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 3 6 3 3 6 6 3 3 6 6 2 6 2 2 2 6 2 6 2 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 3 5 5 5 3 5 5 5 5 5 5 3 5 5 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 3 3 3 3 3 3 3 3 5 5 3 3 3 5 3 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 3 5 3 2 3 7 6 2 6 6 6 2 6 6 6 6 6 2 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 5 6 7 5 6 7 7 6 7 7 7 6 5 7 7 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 5 6 5 6 6 6 6 6 6 6 6 6 6 6 6 6 5 6 5 6 6 2 2 2 6 7 7 7 7 6 7 7 7 6 7 7 7 7 4 7 7 7 7 7 4 7 7 7 6 7 7 7 7 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 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 7 6 4 6 4 7 7 7 7 4 7 7 7 4 7 7 7 7 4 7 7 7 7 7 6 7 7 7 4 7 7 7 7 4 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 3 3 7 7 3 7 7 7 3 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 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 6 6 6 6 6 6 6 6 6 6 6 6 7 6 4 6 4 7 4 7 4 7 7 7 7 7 7 7 7 7 7 7 4 6 4 4 7 6 4 4 4 4 4 4 4 4 4 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 6 4 7 7 4 4 4 4 4 4 4 4 4 4 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 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 7 7 3 4 4 7 3 5 0 2 4 1
2400.07/2313.52	v       </values>
2400.07/2313.52	v     </instantiation>
2400.07/2313.52	s SATISFIABLE

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-4245137-1500699859/watcher-4245137-1500699859 -o /tmp/evaluation-result-4245137-1500699859/solver-4245137-1500699859 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500683681-7985 --watchdog 2560 bin/concrete HOME/instance-4245137-1500699859.xml 

pid=10832
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: 1.33 1.37 1.40 3/261 10835
/proc/meminfo: memFree=30670092/32770624 swapFree=5800/280568
[pid=10835] ppid=10832 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10835/stat : 10835 (bash) S 10832 10835 7954 0 -1 4202496 685 1535 0 0 0 0 0 0 20 0 1 0 5253413 9736192 350 33554432000 4194304 5098028 140736708595392 140736708593032 140049889856512 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 11399168 140736708597006 140736708597091 140736708597091 140736708599790 0
/proc/10835/statm: 2377 350 278 221 0 86 0

[startup+0.100122 s]
/proc/loadavg: 1.33 1.37 1.40 3/261 10835
/proc/meminfo: memFree=30670092/32770624 swapFree=5800/280568
[pid=10835] ppid=10832 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10835/stat : 10835 (bash) S 10832 10835 7954 0 -1 4202496 879 6425 0 0 0 0 0 1 20 0 1 0 5253413 9871360 377 33554432000 4194304 5098028 140736708595392 140736708589400 140049889856512 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 11399168 140736708597006 140736708597091 140736708597091 140736708599790 0
/proc/10835/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200334 s]
/proc/loadavg: 1.33 1.37 1.40 3/261 10835
/proc/meminfo: memFree=30670092/32770624 swapFree=5800/280568
[pid=10835] ppid=10832 vsize=10901808 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/10835/stat : 10835 (java) S 10832 10835 7954 0 -1 1077944320 5387 12283 0 0 9 1 6 3 20 0 20 0 5253413 11163451392 5637 33554432000 4194304 4196468 140727407726912 140727407709456 140700665257719 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
/proc/10835/statm: 2725452 5637 2582 1 0 2713890 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10901808

[startup+0.300288 s]
/proc/loadavg: 1.33 1.37 1.40 3/261 10835
/proc/meminfo: memFree=30670092/32770624 swapFree=5800/280568
[pid=10835] ppid=10832 vsize=10902292 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/10835/stat : 10835 (java) S 10832 10835 7954 0 -1 1077944320 7768 12283 0 0 25 2 6 3 20 0 20 0 5253413 11163947008 10015 33554432000 4194304 4196468 140727407726912 140727407709456 140700665257719 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
/proc/10835/statm: 2725573 10015 2959 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902292

[startup+0.700241 s]
/proc/loadavg: 1.33 1.37 1.40 3/261 10835
/proc/meminfo: memFree=30670092/32770624 swapFree=5800/280568
[pid=10835] ppid=10832 vsize=10902720 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/10835/stat : 10835 (java) S 10832 10835 7954 0 -1 1077944320 11713 12283 0 0 75 4 6 3 20 0 20 0 5253413 11164385280 15099 33554432000 4194304 4196468 140727407726912 140727407709456 140700665257719 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
/proc/10835/statm: 2725680 15099 3166 1 0 2713890 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 10902720

[startup+1.50104 s]
/proc/loadavg: 1.33 1.37 1.40 3/281 10908
/proc/meminfo: memFree=30570384/32770624 swapFree=5800/280660
[pid=10835] ppid=10832 vsize=10913344 CPUtime=2.24 cores=0,2,4,6,8,10,12,14
/proc/10835/stat : 10835 (java) S 10832 10835 7954 0 -1 1077944320 25467 12283 0 0 201 14 6 3 20 0 20 0 5253413 11175264256 44095 33554432000 4194304 4196468 140727407726912 140727407709456 140700665257719 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
/proc/10835/statm: 2728336 44095 3404 1 0 2716450 0
[pid=10835/tid=10890] ppid=10832 vsize=10913344 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10890/stat : 10890 (java) R 10832 10835 7954 0 -1 4202560 18806 12283 0 0 127 6 6 3 20 0 20 0 5253423 11175264256 44095 33554432000 4194304 4196468 140727407726912 140700669469232 140700665269654 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10891] ppid=10832 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10891/stat : 10891 (java) S 10832 10835 7954 0 -1 1077944384 46 12283 0 0 0 0 6 3 20 0 20 0 5253424 11175264256 44095 33554432000 4194304 4196468 140727407726912 140700591332112 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10892] ppid=10832 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10892/stat : 10892 (java) S 10832 10835 7954 0 -1 1077944384 13 12283 0 0 1 0 6 3 20 0 20 0 5253424 11175264256 44095 33554432000 4194304 4196468 140727407726912 140700590279568 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10893] ppid=10832 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10893/stat : 10893 (java) S 10832 10835 7954 0 -1 1077944384 11 12283 0 0 0 0 6 3 20 0 20 0 5253424 11175264256 44095 33554432000 4194304 4196468 140727407726912 140700589227024 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10894] ppid=10832 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10894/stat : 10894 (java) S 10832 10835 7954 0 -1 1077944384 39 12283 0 0 0 0 6 3 20 0 20 0 5253424 11175264256 44095 33554432000 4194304 4196468 140727407726912 140700588174480 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10895] ppid=10832 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10895/stat : 10895 (java) S 10832 10835 7954 0 -1 1077944384 16 12283 0 0 0 0 6 3 20 0 20 0 5253424 11175264256 44095 33554432000 4194304 4196468 140727407726912 140700587120912 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10896] ppid=10832 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10896/stat : 10896 (java) S 10832 10835 7954 0 -1 1077944384 38 12283 0 0 1 0 6 3 20 0 20 0 5253424 11175264256 44095 33554432000 4194304 4196468 140727407726912 140700586068368 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10897] ppid=10832 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10897/stat : 10897 (java) S 10832 10835 7954 0 -1 1077944384 10 12283 0 0 0 0 6 3 20 0 20 0 5253424 11175264256 44095 33554432000 4194304 4196468 140727407726912 140700585015824 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10898] ppid=10832 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10898/stat : 10898 (java) S 10832 10835 7954 0 -1 1077944384 151 12283 0 0 0 0 6 3 20 0 20 0 5253424 11175264256 44095 33554432000 4194304 4196468 140727407726912 140700583963280 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10899] ppid=10832 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10899/stat : 10899 (java) S 10832 10835 7954 0 -1 1077944384 1003 12283 0 0 1 0 6 3 20 0 20 0 5253427 11175264256 44095 33554432000 4194304 4196468 140727407726912 140699871357424 140700665268866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10900] ppid=10832 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10900/stat : 10900 (java) S 10832 10835 7954 0 -1 1077944384 55 12283 0 0 0 0 6 3 20 0 20 0 5253427 11175264256 44095 33554432000 4194304 4196468 140727407726912 140699870303712 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10901] ppid=10832 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10901/stat : 10901 (java) S 10832 10835 7954 0 -1 1077944384 44 12283 0 0 0 0 6 3 20 0 20 0 5253428 11175264256 44095 33554432000 4194304 4196468 140727407726912 140699869251072 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10902] ppid=10832 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10902/stat : 10902 (java) S 10832 10835 7954 0 -1 1077944384 1 12283 0 0 0 0 6 3 20 0 20 0 5253432 11175264256 44095 33554432000 4194304 4196468 140727407726912 140699868199632 140700665276315 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10903] ppid=10832 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10903/stat : 10903 (java) R 10832 10835 7954 0 -1 4202560 827 12283 0 0 15 0 6 3 20 0 20 0 5253432 11175264256 44095 33554432000 4194304 4196468 140727407726912 140699867146224 140700643280506 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10904] ppid=10832 vsize=10913344 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10904/stat : 10904 (java) S 10832 10835 7954 0 -1 1077944384 485 12283 0 0 11 0 6 3 20 0 20 0 5253432 11175264256 44095 33554432000 4194304 4196468 140727407726912 140699866093680 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10905] ppid=10832 vsize=10913344 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10905/stat : 10905 (java) S 10832 10835 7954 0 -1 1077944384 678 12283 0 0 9 0 6 3 20 0 20 0 5253432 11175264256 44095 33554432000 4194304 4196468 140727407726912 140699865041136 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10906] ppid=10832 vsize=10913344 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10906/stat : 10906 (java) S 10832 10835 7954 0 -1 1077944384 1105 12283 0 0 27 0 6 3 20 0 20 0 5253432 11175264256 44095 33554432000 4194304 4196468 140727407726912 140699863988592 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10907] ppid=10832 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10907/stat : 10907 (java) S 10832 10835 7954 0 -1 1077944384 3 12283 0 0 0 0 6 3 20 0 20 0 5253432 11175264256 44095 33554432000 4194304 4196468 140727407726912 140699862936288 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10908] ppid=10832 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10908/stat : 10908 (java) S 10832 10835 7954 0 -1 1077944384 7 12283 0 0 0 0 6 3 20 0 20 0 5253432 11175264256 44095 33554432000 4194304 4196468 140727407726912 140699861883824 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 10913344

[startup+3.10117 s]
/proc/loadavg: 1.38 1.38 1.40 5/281 10908
/proc/meminfo: memFree=30492168/32770624 swapFree=5800/280660
[pid=10835] ppid=10832 vsize=10923772 CPUtime=7.58 cores=0,2,4,6,8,10,12,14
/proc/10835/stat : 10835 (java) S 10832 10835 7954 0 -1 1077944320 40650 12283 0 0 720 29 6 3 20 0 20 0 5253413 11185942528 73758 33554432000 4194304 4196468 140727407726912 140727407709456 140700665257719 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
/proc/10835/statm: 2730943 73758 3488 1 0 2718498 0
[pid=10835/tid=10890] ppid=10832 vsize=10923772 CPUtime=2.98 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10890/stat : 10890 (java) R 10832 10835 7954 0 -1 4202560 25305 12283 0 0 281 8 6 3 20 0 20 0 5253423 11185942528 73758 33554432000 4194304 4196468 140727407726912 140700669491104 140700645454428 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10891] ppid=10832 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10891/stat : 10891 (java) S 10832 10835 7954 0 -1 1077944384 56 12283 0 0 2 1 6 3 20 0 20 0 5253424 11185942528 73758 33554432000 4194304 4196468 140727407726912 140700591332112 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10892] ppid=10832 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10892/stat : 10892 (java) S 10832 10835 7954 0 -1 1077944384 27 12283 0 0 2 2 6 3 20 0 20 0 5253424 11185942528 73758 33554432000 4194304 4196468 140727407726912 140700590279568 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10893] ppid=10832 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10893/stat : 10893 (java) S 10832 10835 7954 0 -1 1077944384 33 12283 0 0 2 1 6 3 20 0 20 0 5253424 11185942528 73758 33554432000 4194304 4196468 140727407726912 140700589227024 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10894] ppid=10832 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10894/stat : 10894 (java) S 10832 10835 7954 0 -1 1077944384 66 12283 0 0 2 2 6 3 20 0 20 0 5253424 11185942528 73758 33554432000 4194304 4196468 140727407726912 140700588174480 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10895] ppid=10832 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10895/stat : 10895 (java) S 10832 10835 7954 0 -1 1077944384 85 12283 0 0 2 1 6 3 20 0 20 0 5253424 11185942528 73758 33554432000 4194304 4196468 140727407726912 140700587120912 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10896] ppid=10832 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10896/stat : 10896 (java) S 10832 10835 7954 0 -1 1077944384 77 12283 0 0 2 2 6 3 20 0 20 0 5253424 11185942528 73758 33554432000 4194304 4196468 140727407726912 140700586068368 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10897] ppid=10832 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10897/stat : 10897 (java) S 10832 10835 7954 0 -1 1077944384 35 12283 0 0 2 2 6 3 20 0 20 0 5253424 11185942528 73758 33554432000 4194304 4196468 140727407726912 140700585015824 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10898] ppid=10832 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10898/stat : 10898 (java) S 10832 10835 7954 0 -1 1077944384 160 12283 0 0 2 1 6 3 20 0 20 0 5253424 11185942528 73758 33554432000 4194304 4196468 140727407726912 140700583963280 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10899] ppid=10832 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10899/stat : 10899 (java) S 10832 10835 7954 0 -1 1077944384 1297 12283 0 0 2 0 6 3 20 0 20 0 5253427 11185942528 73758 33554432000 4194304 4196468 140727407726912 140699871357424 140700665268866 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10900] ppid=10832 vsize=10923772 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10900/stat : 10900 (java) S 10832 10835 7954 0 -1 1077944384 55 12283 0 0 0 0 6 3 20 0 20 0 5253427 11185942528 73758 33554432000 4194304 4196468 140727407726912 140699870303712 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10901] ppid=10832 vsize=10923772 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10901/stat : 10901 (java) S 10832 10835 7954 0 -1 1077944384 44 12283 0 0 0 0 6 3 20 0 20 0 5253428 11185942528 73758 33554432000 4194304 4196468 140727407726912 140699869251072 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10902] ppid=10832 vsize=10923772 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10902/stat : 10902 (java) S 10832 10835 7954 0 -1 1077944384 1 12283 0 0 0 0 6 3 20 0 20 0 5253432 11185942528 73758 33554432000 4194304 4196468 140727407726912 140699868199632 140700665276315 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10903] ppid=10832 vsize=10923772 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10903/stat : 10903 (java) R 10832 10835 7954 0 -1 4202560 1918 12283 0 0 99 1 6 3 20 0 20 0 5253432 11185942528 73758 33554432000 4194304 4196468 140727407726912 140699867146352 140700651273532 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10904] ppid=10832 vsize=10923772 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10904/stat : 10904 (java) R 10832 10835 7954 0 -1 4202560 4269 12283 0 0 116 1 6 3 20 0 20 0 5253432 11185942528 73758 33554432000 4194304 4196468 140727407726912 140699866082240 140700643424200 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10905] ppid=10832 vsize=10923772 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10905/stat : 10905 (java) R 10832 10835 7954 0 -1 4202560 2040 12283 0 0 99 1 6 3 20 0 20 0 5253432 11185942528 73758 33554432000 4194304 4196468 140727407726912 140699865022152 140700649163908 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10906] ppid=10832 vsize=10923772 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10906/stat : 10906 (java) R 10832 10835 7954 0 -1 4202560 3048 12283 0 0 100 1 6 3 20 0 20 0 5253432 11185942528 73758 33554432000 4194304 4196468 140727407726912 140699863986128 140700665269654 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10907] ppid=10832 vsize=10923772 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10907/stat : 10907 (java) S 10832 10835 7954 0 -1 1077944384 3 12283 0 0 0 0 6 3 20 0 20 0 5253432 11185942528 73758 33554432000 4194304 4196468 140727407726912 140699862936288 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10908] ppid=10832 vsize=10923772 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10908/stat : 10908 (java) S 10832 10835 7954 0 -1 1077944384 8 12283 0 0 0 0 6 3 20 0 20 0 5253432 11185942528 73758 33554432000 4194304 4196468 140727407726912 140699861883824 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
Current children cumulated CPU time (s) 7.58
Current children cumulated vsize (KiB) 10923772

[startup+6.30093 s]
/proc/loadavg: 1.38 1.38 1.40 10/281 10908
/proc/meminfo: memFree=30097420/32770624 swapFree=5800/280668
[pid=10835] ppid=10832 vsize=10925820 CPUtime=17.39 cores=0,2,4,6,8,10,12,14
/proc/10835/stat : 10835 (java) S 10832 10835 7954 0 -1 1077944320 50046 12283 0 0 1599 131 6 3 20 0 20 0 5253413 11188039680 183261 33554432000 4194304 4196468 140727407726912 140727407709456 140700665257719 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
/proc/10835/statm: 2731455 183261 3511 1 0 2719010 0
[pid=10835/tid=10890] ppid=10832 vsize=10925820 CPUtime=5.88 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10890/stat : 10890 (java) R 10832 10835 7954 0 -1 4202560 27077 12283 0 0 568 11 6 3 20 0 20 0 5253423 11188039680 183261 33554432000 4194304 4196468 140727407726912 140700669490104 140700273297478 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10891] ppid=10832 vsize=10925820 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10891/stat : 10891 (java) S 10832 10835 7954 0 -1 1077944384 288 12283 0 0 16 13 6 3 20 0 20 0 5253424 11188039680 183261 33554432000 4194304 4196468 140727407726912 140700591332112 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10892] ppid=10832 vsize=10925820 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10892/stat : 10892 (java) S 10832 10835 7954 0 -1 1077944384 281 12283 0 0 14 13 6 3 20 0 20 0 5253424 11188039680 183261 33554432000 4194304 4196468 140727407726912 140700590279568 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10893] ppid=10832 vsize=10925820 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10893/stat : 10893 (java) S 10832 10835 7954 0 -1 1077944384 281 12283 0 0 17 13 6 3 20 0 20 0 5253424 11188039680 183261 33554432000 4194304 4196468 140727407726912 140700589227024 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10894] ppid=10832 vsize=10925820 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10894/stat : 10894 (java) S 10832 10835 7954 0 -1 1077944384 255 12283 0 0 17 14 6 3 20 0 20 0 5253424 11188039680 183261 33554432000 4194304 4196468 140727407726912 140700588174480 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10895] ppid=10832 vsize=10925820 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10895/stat : 10895 (java) S 10832 10835 7954 0 -1 1077944384 516 12283 0 0 17 13 6 3 20 0 20 0 5253424 11188039680 183261 33554432000 4194304 4196468 140727407726912 140700587120912 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10896] ppid=10832 vsize=10925820 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10896/stat : 10896 (java) S 10832 10835 7954 0 -1 1077944384 472 12283 0 0 16 14 6 3 20 0 20 0 5253424 11188039680 183261 33554432000 4194304 4196468 140727407726912 140700586068368 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10897] ppid=10832 vsize=10925820 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10897/stat : 10897 (java) S 10832 10835 7954 0 -1 1077944384 404 12283 0 0 17 12 6 3 20 0 20 0 5253424 11188039680 183261 33554432000 4194304 4196468 140727407726912 140700585015824 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10898] ppid=10832 vsize=10925820 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10898/stat : 10898 (java) S 10832 10835 7954 0 -1 1077944384 384 12283 0 0 15 13 6 3 20 0 20 0 5253424 11188039680 183261 33554432000 4194304 4196468 140727407726912 140700583963280 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10899] ppid=10832 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10899/stat : 10899 (java) S 10832 10835 7954 0 -1 1077944384 1548 12283 0 0 3 0 6 3 20 0 20 0 5253427 11188039680 183261 33554432000 4194304 4196468 140727407726912 140699871357424 140700665268866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10900] ppid=10832 vsize=10925820 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10900/stat : 10900 (java) S 10832 10835 7954 0 -1 1077944384 55 12283 0 0 0 0 6 3 20 0 20 0 5253427 11188039680 183261 33554432000 4194304 4196468 140727407726912 140699870303712 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10901] ppid=10832 vsize=10925820 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10901/stat : 10901 (java) S 10832 10835 7954 0 -1 1077944384 44 12283 0 0 0 0 6 3 20 0 20 0 5253428 11188039680 183261 33554432000 4194304 4196468 140727407726912 140699869251072 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10902] ppid=10832 vsize=10925820 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10902/stat : 10902 (java) S 10832 10835 7954 0 -1 1077944384 1 12283 0 0 0 0 6 3 20 0 20 0 5253432 11188039680 183261 33554432000 4194304 4196468 140727407726912 140699868199632 140700665276315 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10903] ppid=10832 vsize=10925820 CPUtime=2.38 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10903/stat : 10903 (java) S 10832 10835 7954 0 -1 1077944384 2434 12283 0 0 228 1 6 3 20 0 20 0 5253432 11188039680 183773 33554432000 4194304 4196468 140727407726912 140699867146224 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10904] ppid=10832 vsize=10925820 CPUtime=2.76 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10904/stat : 10904 (java) R 10832 10835 7954 0 -1 4202560 4745 12283 0 0 266 1 6 3 20 0 20 0 5253432 11188039680 183773 33554432000 4194304 4196468 140727407726912 140699866074672 140700648743661 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10905] ppid=10832 vsize=10925820 CPUtime=2.58 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10905/stat : 10905 (java) S 10832 10835 7954 0 -1 1077944384 2898 12283 0 0 248 1 6 3 20 0 20 0 5253432 11188039680 183773 33554432000 4194304 4196468 140727407726912 140699865041136 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10906] ppid=10832 vsize=10925820 CPUtime=1.62 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10906/stat : 10906 (java) S 10832 10835 7954 0 -1 1077944384 6135 12283 0 0 151 2 6 3 20 0 20 0 5253432 11188039680 183773 33554432000 4194304 4196468 140727407726912 140699863988592 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10907] ppid=10832 vsize=10925820 CPUtime=0.09 cores=0,2,4,6,8,10,12,14

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

[pid=10835/tid=10904] ppid=10832 vsize=10997500 CPUtime=7.06 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10904/stat : 10904 (java) S 10832 10835 7954 0 -1 1077944384 16205 12283 0 0 693 4 6 3 20 0 20 0 5253432 11261440000 827933 33554432000 4194304 4196468 140727407726912 140699866093680 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10905] ppid=10832 vsize=10997500 CPUtime=7.56 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10905/stat : 10905 (java) S 10832 10835 7954 0 -1 1077944384 21310 12283 0 0 743 4 6 3 20 0 20 0 5253432 11261440000 827933 33554432000 4194304 4196468 140727407726912 140699865041136 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10906] ppid=10832 vsize=10997500 CPUtime=3.38 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10906/stat : 10906 (java) S 10832 10835 7954 0 -1 1077944384 50371 12283 0 0 322 7 6 3 20 0 20 0 5253432 11261440000 827933 33554432000 4194304 4196468 140727407726912 140699863988592 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10907] ppid=10832 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10907/stat : 10907 (java) S 10832 10835 7954 0 -1 1077944384 3 12283 0 0 0 0 6 3 20 0 20 0 5253432 11261440000 827933 33554432000 4194304 4196468 140727407726912 140699862936288 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10908] ppid=10832 vsize=10997500 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10908/stat : 10908 (java) S 10832 10835 7954 0 -1 1077944384 1736 12283 0 0 58 56 6 3 20 0 20 0 5253432 11261440000 827933 33554432000 4194304 4196468 140727407726912 140699861883824 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
Current children cumulated CPU time (s) 2288.61
Current children cumulated vsize (KiB) 10997500

[startup+2262.3 s]
/proc/loadavg: 1.76 1.76 1.70 3/282 11263
/proc/meminfo: memFree=27756916/32770624 swapFree=5800/284452
[pid=10835] ppid=10832 vsize=10997500 CPUtime=2348.74 cores=0,2,4,6,8,10,12,14
/proc/10835/stat : 10835 (java) S 10832 10835 7954 0 -1 1077944320 413514 12283 0 0 233502 1363 6 3 20 0 20 0 5253413 11261440000 827985 33554432000 4194304 4196468 140727407726912 140727407709456 140700665257719 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
/proc/10835/statm: 2749375 827985 3529 1 0 2736930 0
[pid=10835/tid=10890] ppid=10832 vsize=10997500 CPUtime=2251.83 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10890/stat : 10890 (java) R 10832 10835 7954 0 -1 4202560 201609 12283 0 0 225102 72 6 3 20 0 20 0 5253423 11261440000 827985 33554432000 4194304 4196468 140727407726912 140700669491792 140700272653090 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10891] ppid=10832 vsize=10997500 CPUtime=8.89 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10891/stat : 10891 (java) S 10832 10835 7954 0 -1 1077944384 7752 12283 0 0 728 152 6 3 20 0 20 0 5253424 11261440000 827985 33554432000 4194304 4196468 140727407726912 140700591332112 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10892] ppid=10832 vsize=10997500 CPUtime=8.87 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10892/stat : 10892 (java) S 10832 10835 7954 0 -1 1077944384 7572 12283 0 0 725 153 6 3 20 0 20 0 5253424 11261440000 827985 33554432000 4194304 4196468 140727407726912 140700590279568 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10893] ppid=10832 vsize=10997500 CPUtime=8.74 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10893/stat : 10893 (java) S 10832 10835 7954 0 -1 1077944384 11147 12283 0 0 714 151 6 3 20 0 20 0 5253424 11261440000 827985 33554432000 4194304 4196468 140727407726912 140700589227024 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10894] ppid=10832 vsize=10997500 CPUtime=8.83 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10894/stat : 10894 (java) S 10832 10835 7954 0 -1 1077944384 11356 12283 0 0 721 153 6 3 20 0 20 0 5253424 11261440000 827985 33554432000 4194304 4196468 140727407726912 140700588174480 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10895] ppid=10832 vsize=10997500 CPUtime=8.88 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10895/stat : 10895 (java) S 10832 10835 7954 0 -1 1077944384 8273 12283 0 0 727 152 6 3 20 0 20 0 5253424 11261440000 827985 33554432000 4194304 4196468 140727407726912 140700587120912 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10896] ppid=10832 vsize=10997500 CPUtime=8.92 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10896/stat : 10896 (java) S 10832 10835 7954 0 -1 1077944384 9345 12283 0 0 730 153 6 3 20 0 20 0 5253424 11261440000 827985 33554432000 4194304 4196468 140727407726912 140700586068368 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10897] ppid=10832 vsize=10997500 CPUtime=8.82 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10897/stat : 10897 (java) S 10832 10835 7954 0 -1 1077944384 5938 12283 0 0 723 150 6 3 20 0 20 0 5253424 11261440000 827985 33554432000 4194304 4196468 140727407726912 140700585015824 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10898] ppid=10832 vsize=10997500 CPUtime=8.75 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10898/stat : 10898 (java) S 10832 10835 7954 0 -1 1077944384 6045 12283 0 0 715 151 6 3 20 0 20 0 5253424 11261440000 827985 33554432000 4194304 4196468 140727407726912 140700583963280 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10899] ppid=10832 vsize=10997500 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10899/stat : 10899 (java) S 10832 10835 7954 0 -1 1077944384 28869 12283 0 0 55 10 6 3 20 0 20 0 5253427 11261440000 827985 33554432000 4194304 4196468 140727407726912 140699871357424 140700665268866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10900] ppid=10832 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10900/stat : 10900 (java) S 10832 10835 7954 0 -1 1077944384 129 12283 0 0 1 0 6 3 20 0 20 0 5253427 11261440000 827985 33554432000 4194304 4196468 140727407726912 140699870303840 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10901] ppid=10832 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10901/stat : 10901 (java) S 10832 10835 7954 0 -1 1077944384 57 12283 0 0 0 0 6 3 20 0 20 0 5253428 11261440000 827985 33554432000 4194304 4196468 140727407726912 140699869251072 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10902] ppid=10832 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10902/stat : 10902 (java) S 10832 10835 7954 0 -1 1077944384 1 12283 0 0 0 0 6 3 20 0 20 0 5253432 11261440000 827985 33554432000 4194304 4196468 140727407726912 140699868199632 140700665276315 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10903] ppid=10832 vsize=10997500 CPUtime=7.27 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10903/stat : 10903 (java) S 10832 10835 7954 0 -1 1077944384 23630 12283 0 0 714 4 6 3 20 0 20 0 5253432 11261440000 827985 33554432000 4194304 4196468 140727407726912 140699867146224 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10904] ppid=10832 vsize=10997500 CPUtime=7.06 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10904/stat : 10904 (java) S 10832 10835 7954 0 -1 1077944384 16207 12283 0 0 693 4 6 3 20 0 20 0 5253432 11261440000 827985 33554432000 4194304 4196468 140727407726912 140699866093680 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10905] ppid=10832 vsize=10997500 CPUtime=7.56 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10905/stat : 10905 (java) S 10832 10835 7954 0 -1 1077944384 21312 12283 0 0 743 4 6 3 20 0 20 0 5253432 11261440000 827985 33554432000 4194304 4196468 140727407726912 140699865041136 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10906] ppid=10832 vsize=10997500 CPUtime=3.39 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10906/stat : 10906 (java) S 10832 10835 7954 0 -1 1077944384 50373 12283 0 0 322 8 6 3 20 0 20 0 5253432 11261440000 827985 33554432000 4194304 4196468 140727407726912 140699863988592 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10907] ppid=10832 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10907/stat : 10907 (java) S 10832 10835 7954 0 -1 1077944384 3 12283 0 0 0 0 6 3 20 0 20 0 5253432 11261440000 827985 33554432000 4194304 4196468 140727407726912 140699862936288 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10908] ppid=10832 vsize=10997500 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10908/stat : 10908 (java) S 10832 10835 7954 0 -1 1077944384 1767 12283 0 0 60 58 6 3 20 0 20 0 5253432 11261440000 827985 33554432000 4194304 4196468 140727407726912 140699861883824 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
Current children cumulated CPU time (s) 2348.74
Current children cumulated vsize (KiB) 10997500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2313.5 s]
/proc/loadavg: 1.49 1.69 1.68 3/282 11264
/proc/meminfo: memFree=27753352/32770624 swapFree=5800/284504
[pid=10835] ppid=10832 vsize=10997500 CPUtime=2400.07 cores=0,2,4,6,8,10,12,14
/proc/10835/stat : 10835 (java) S 10832 10835 7954 0 -1 1077944320 418198 12283 0 0 238632 1366 6 3 20 0 20 0 5253413 11261440000 829012 33554432000 4194304 4196468 140727407726912 140727407709456 140700665257719 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
/proc/10835/statm: 2749375 829012 3529 1 0 2736930 0
[pid=10835/tid=10890] ppid=10832 vsize=10997500 CPUtime=2302.98 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10890/stat : 10890 (java) R 10832 10835 7954 0 -1 4202560 205249 12283 0 0 230217 72 6 3 20 0 20 0 5253423 11261440000 829012 33554432000 4194304 4196468 140727407726912 140700669491680 140700280155580 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10891] ppid=10832 vsize=10997500 CPUtime=8.91 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10891/stat : 10891 (java) S 10832 10835 7954 0 -1 1077944384 7904 12283 0 0 730 152 6 3 20 0 20 0 5253424 11261440000 829012 33554432000 4194304 4196468 140727407726912 140700591332112 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10892] ppid=10832 vsize=10997500 CPUtime=8.88 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10892/stat : 10892 (java) S 10832 10835 7954 0 -1 1077944384 7575 12283 0 0 726 153 6 3 20 0 20 0 5253424 11261440000 829012 33554432000 4194304 4196468 140727407726912 140700590279568 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10893] ppid=10832 vsize=10997500 CPUtime=8.75 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10893/stat : 10893 (java) S 10832 10835 7954 0 -1 1077944384 11413 12283 0 0 715 151 6 3 20 0 20 0 5253424 11261440000 829012 33554432000 4194304 4196468 140727407726912 140700589227024 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10894] ppid=10832 vsize=10997500 CPUtime=8.85 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10894/stat : 10894 (java) S 10832 10835 7954 0 -1 1077944384 11550 12283 0 0 722 154 6 3 20 0 20 0 5253424 11261440000 829012 33554432000 4194304 4196468 140727407726912 140700588174480 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10895] ppid=10832 vsize=10997500 CPUtime=8.91 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10895/stat : 10895 (java) S 10832 10835 7954 0 -1 1077944384 8304 12283 0 0 729 153 6 3 20 0 20 0 5253424 11261440000 829012 33554432000 4194304 4196468 140727407726912 140700587120912 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10896] ppid=10832 vsize=10997500 CPUtime=8.94 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10896/stat : 10896 (java) S 10832 10835 7954 0 -1 1077944384 9420 12283 0 0 732 153 6 3 20 0 20 0 5253424 11261440000 829012 33554432000 4194304 4196468 140727407726912 140700586068368 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10897] ppid=10832 vsize=10997500 CPUtime=8.84 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10897/stat : 10897 (java) S 10832 10835 7954 0 -1 1077944384 5964 12283 0 0 725 150 6 3 20 0 20 0 5253424 11261440000 829012 33554432000 4194304 4196468 140727407726912 140700585015824 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10898] ppid=10832 vsize=10997500 CPUtime=8.78 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10898/stat : 10898 (java) S 10832 10835 7954 0 -1 1077944384 6098 12283 0 0 717 152 6 3 20 0 20 0 5253424 11261440000 829012 33554432000 4194304 4196468 140727407726912 140700583963280 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10899] ppid=10832 vsize=10997500 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10899/stat : 10899 (java) S 10832 10835 7954 0 -1 1077944384 29075 12283 0 0 56 10 6 3 20 0 20 0 5253427 11261440000 829012 33554432000 4194304 4196468 140727407726912 140699871357424 140700665268866 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10900] ppid=10832 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10900/stat : 10900 (java) S 10832 10835 7954 0 -1 1077944384 129 12283 0 0 1 0 6 3 20 0 20 0 5253427 11261440000 829012 33554432000 4194304 4196468 140727407726912 140699870303840 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10901] ppid=10832 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10901/stat : 10901 (java) S 10832 10835 7954 0 -1 1077944384 57 12283 0 0 0 0 6 3 20 0 20 0 5253428 11261440000 829012 33554432000 4194304 4196468 140727407726912 140699869251072 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10902] ppid=10832 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10902/stat : 10902 (java) S 10832 10835 7954 0 -1 1077944384 1 12283 0 0 0 0 6 3 20 0 20 0 5253432 11261440000 829012 33554432000 4194304 4196468 140727407726912 140699868199632 140700665276315 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10903] ppid=10832 vsize=10997500 CPUtime=7.27 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10903/stat : 10903 (java) S 10832 10835 7954 0 -1 1077944384 23632 12283 0 0 714 4 6 3 20 0 20 0 5253432 11261440000 829012 33554432000 4194304 4196468 140727407726912 140699867146224 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10904] ppid=10832 vsize=10997500 CPUtime=7.06 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10904/stat : 10904 (java) S 10832 10835 7954 0 -1 1077944384 16209 12283 0 0 693 4 6 3 20 0 20 0 5253432 11261440000 829012 33554432000 4194304 4196468 140727407726912 140699866093680 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10905] ppid=10832 vsize=10997500 CPUtime=7.56 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10905/stat : 10905 (java) S 10832 10835 7954 0 -1 1077944384 21315 12283 0 0 743 4 6 3 20 0 20 0 5253432 11261440000 829012 33554432000 4194304 4196468 140727407726912 140699865041136 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10906] ppid=10832 vsize=10997500 CPUtime=3.39 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10906/stat : 10906 (java) S 10832 10835 7954 0 -1 1077944384 50375 12283 0 0 322 8 6 3 20 0 20 0 5253432 11261440000 829012 33554432000 4194304 4196468 140727407726912 140699863988592 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10907] ppid=10832 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10907/stat : 10907 (java) S 10832 10835 7954 0 -1 1077944384 3 12283 0 0 0 0 6 3 20 0 20 0 5253432 11261440000 829012 33554432000 4194304 4196468 140727407726912 140699862936288 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10908] ppid=10832 vsize=10997500 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10908/stat : 10908 (java) S 10832 10835 7954 0 -1 1077944384 1796 12283 0 0 61 60 6 3 20 0 20 0 5253432 11261440000 829012 33554432000 4194304 4196468 140727407726912 140699861883824 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 10997500

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 10835 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2313.5 s]
/proc/loadavg: 1.49 1.69 1.68 3/282 11264
/proc/meminfo: memFree=27753352/32770624 swapFree=5800/284504
[pid=10835] ppid=10832 vsize=10997500 CPUtime=2400.07 cores=0,2,4,6,8,10,12,14
/proc/10835/stat : 10835 (java) S 10832 10835 7954 0 -1 1077944320 418198 12283 0 0 238632 1366 6 3 20 0 20 0 5253413 11261440000 829012 33554432000 4194304 4196468 140727407726912 140727407709456 140700665257719 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
/proc/10835/statm: 2749375 829012 3529 1 0 2736930 0
[pid=10835/tid=10890] ppid=10832 vsize=10997500 CPUtime=2302.98 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10890/stat : 10890 (java) R 10832 10835 7954 0 -1 4202560 205249 12283 0 0 230217 72 6 3 20 0 20 0 5253423 11261440000 829012 33554432000 4194304 4196468 140727407726912 140700669491680 140700280155580 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10891] ppid=10832 vsize=10997500 CPUtime=8.91 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10891/stat : 10891 (java) S 10832 10835 7954 0 -1 1077944384 7904 12283 0 0 730 152 6 3 20 0 20 0 5253424 11261440000 829012 33554432000 4194304 4196468 140727407726912 140700591332112 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10892] ppid=10832 vsize=10997500 CPUtime=8.88 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10892/stat : 10892 (java) S 10832 10835 7954 0 -1 1077944384 7575 12283 0 0 726 153 6 3 20 0 20 0 5253424 11261440000 829012 33554432000 4194304 4196468 140727407726912 140700590279568 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10893] ppid=10832 vsize=10997500 CPUtime=8.75 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10893/stat : 10893 (java) S 10832 10835 7954 0 -1 1077944384 11413 12283 0 0 715 151 6 3 20 0 20 0 5253424 11261440000 829012 33554432000 4194304 4196468 140727407726912 140700589227024 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10894] ppid=10832 vsize=10997500 CPUtime=8.85 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10894/stat : 10894 (java) S 10832 10835 7954 0 -1 1077944384 11550 12283 0 0 722 154 6 3 20 0 20 0 5253424 11261440000 829012 33554432000 4194304 4196468 140727407726912 140700588174480 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10895] ppid=10832 vsize=10997500 CPUtime=8.91 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10895/stat : 10895 (java) S 10832 10835 7954 0 -1 1077944384 8304 12283 0 0 729 153 6 3 20 0 20 0 5253424 11261440000 829012 33554432000 4194304 4196468 140727407726912 140700587120912 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10896] ppid=10832 vsize=10997500 CPUtime=8.94 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10896/stat : 10896 (java) S 10832 10835 7954 0 -1 1077944384 9420 12283 0 0 732 153 6 3 20 0 20 0 5253424 11261440000 829012 33554432000 4194304 4196468 140727407726912 140700586068368 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10897] ppid=10832 vsize=10997500 CPUtime=8.84 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10897/stat : 10897 (java) S 10832 10835 7954 0 -1 1077944384 5964 12283 0 0 725 150 6 3 20 0 20 0 5253424 11261440000 829012 33554432000 4194304 4196468 140727407726912 140700585015824 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10898] ppid=10832 vsize=10997500 CPUtime=8.78 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10898/stat : 10898 (java) S 10832 10835 7954 0 -1 1077944384 6098 12283 0 0 717 152 6 3 20 0 20 0 5253424 11261440000 829012 33554432000 4194304 4196468 140727407726912 140700583963280 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10899] ppid=10832 vsize=10997500 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10899/stat : 10899 (java) S 10832 10835 7954 0 -1 1077944384 29075 12283 0 0 56 10 6 3 20 0 20 0 5253427 11261440000 829012 33554432000 4194304 4196468 140727407726912 140699871357424 140700665268866 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10900] ppid=10832 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10900/stat : 10900 (java) S 10832 10835 7954 0 -1 1077944384 129 12283 0 0 1 0 6 3 20 0 20 0 5253427 11261440000 829012 33554432000 4194304 4196468 140727407726912 140699870303840 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10901] ppid=10832 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10901/stat : 10901 (java) S 10832 10835 7954 0 -1 1077944384 57 12283 0 0 0 0 6 3 20 0 20 0 5253428 11261440000 829012 33554432000 4194304 4196468 140727407726912 140699869251072 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10902] ppid=10832 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10902/stat : 10902 (java) S 10832 10835 7954 0 -1 1077944384 1 12283 0 0 0 0 6 3 20 0 20 0 5253432 11261440000 829012 33554432000 4194304 4196468 140727407726912 140699868199632 140700665276315 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10903] ppid=10832 vsize=10997500 CPUtime=7.27 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10903/stat : 10903 (java) S 10832 10835 7954 0 -1 1077944384 23632 12283 0 0 714 4 6 3 20 0 20 0 5253432 11261440000 829012 33554432000 4194304 4196468 140727407726912 140699867146224 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10904] ppid=10832 vsize=10997500 CPUtime=7.06 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10904/stat : 10904 (java) S 10832 10835 7954 0 -1 1077944384 16209 12283 0 0 693 4 6 3 20 0 20 0 5253432 11261440000 829012 33554432000 4194304 4196468 140727407726912 140699866093680 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10905] ppid=10832 vsize=10997500 CPUtime=7.56 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10905/stat : 10905 (java) S 10832 10835 7954 0 -1 1077944384 21315 12283 0 0 743 4 6 3 20 0 20 0 5253432 11261440000 829012 33554432000 4194304 4196468 140727407726912 140699865041136 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10906] ppid=10832 vsize=10997500 CPUtime=3.39 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10906/stat : 10906 (java) S 10832 10835 7954 0 -1 1077944384 50375 12283 0 0 322 8 6 3 20 0 20 0 5253432 11261440000 829012 33554432000 4194304 4196468 140727407726912 140699863988592 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10907] ppid=10832 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10907/stat : 10907 (java) S 10832 10835 7954 0 -1 1077944384 3 12283 0 0 0 0 6 3 20 0 20 0 5253432 11261440000 829012 33554432000 4194304 4196468 140727407726912 140699862936288 140700665267925 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
[pid=10835/tid=10908] ppid=10832 vsize=10997500 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/10835/task/10908/stat : 10908 (java) S 10832 10835 7954 0 -1 1077944384 1796 12283 0 0 61 60 6 3 20 0 20 0 5253432 11261440000 829012 33554432000 4194304 4196468 140727407726912 140699861883824 140700665268866 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18780160 140727407733441 140727407736215 140727407736215 140727407738831 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 10997500

Child status: 143
Real time (s): 2313.54
CPU time (s): 2400.13
CPU user time (s): 2386.41
CPU system time (s): 13.7186
CPU usage (%): 103.743
Max. virtual memory (cumulated for all children) (KiB): 10997572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2386.41
system time used= 13.7186
maximum resident set size= 3319420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 431776
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78307
involuntary context switches= 126620

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7664 second user time and 18.4641 second system time

The end

Launcher Data 

Begin job on node128 at 2017-07-22 07:04:19
IDJOB=4245137
IDBENCH=120574
IDSOLVER=2630
FILE ID=node128/4245137-1500699859
RUNJOBID= node128-1500683681-7985
PBS_JOBID= 20623342
Free space on /tmp= 61996 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-3-fullins-5.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245137-1500699859/watcher-4245137-1500699859 -o /tmp/evaluation-result-4245137-1500699859/solver-4245137-1500699859 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500683681-7985 --watchdog 2560  bin/concrete HOME/instance-4245137-1500699859.xml

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

MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76
RANDOM SEED=1172142659

node128.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		: 2133.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.12
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.54
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		: 1600.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.12
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		: 1600.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.54
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.12
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		: 1600.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.54
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		: 2400.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.12
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		: 1600.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.54
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.12
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		: 1600.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.54
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		: 1867.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.12
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		: 1600.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.54
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.12
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.54
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		: 2267.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.12
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		: 1600.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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30670784 kB
MemAvailable:   30885860 kB
Buffers:          115464 kB
Cached:           381276 kB
SwapCached:            0 kB
Active:          1377792 kB
Inactive:         289312 kB
Active(anon):    1172140 kB
Inactive(anon):     8744 kB
Active(file):     205652 kB
Inactive(file):   280568 kB
Unevictable:        5800 kB
Mlocked:            5800 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24920 kB
Writeback:             0 kB
AnonPages:       1175744 kB
Mapped:            43512 kB
Shmem:              8844 kB
Slab:             122692 kB
SReclaimable:      89380 kB
SUnreclaim:        33312 kB
KernelStack:        4528 kB
PageTables:         7188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1943508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1075200 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= 61972 MiB
End job on node128 at 2017-07-22 07:42:53