Trace number 4261956

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
Concrete 3.4SAT (TO)7 2520.1201 2467.8501

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.13/2.17	c Concrete v3.4 running
37.35/17.62	o 2029
38.78/18.63	o 2028
40.46/19.66	o 2027
42.27/20.62	o 2026
43.26/21.46	o 2025
44.24/22.32	o 2024
45.09/23.19	o 2023
46.06/24.04	o 2022
46.87/24.88	o 2021
47.77/25.70	o 2020
48.60/26.57	o 2019
49.50/27.45	o 2018
50.40/28.35	o 2017
51.36/29.27	o 2016
52.27/30.16	o 2015
53.23/31.03	o 2014
54.04/31.84	o 2013
54.94/32.73	o 2012
55.74/33.59	o 2011
56.64/34.44	o 2010
57.45/35.29	o 2009
58.35/36.13	o 2008
59.15/36.97	o 2007
60.05/37.81	o 2006
60.86/38.68	o 2005
61.76/39.55	o 2004
62.57/40.39	o 2003
63.47/41.24	o 2002
64.37/42.11	o 2001
65.19/42.95	o 2000
66.16/43.86	o 1999
67.06/44.72	o 1998
67.86/45.55	o 1997
68.77/46.42	o 1996
69.57/47.26	o 1995
70.37/48.09	o 1994
71.28/48.96	o 1993
72.12/49.80	o 1992
73.11/50.61	o 1991
73.94/51.47	o 1990
74.85/52.30	o 1989
75.65/53.14	o 1988
76.46/53.98	o 1987
77.26/54.71	o 1986
78.05/55.50	o 1985
78.87/56.33	o 1984
79.83/57.20	o 1983
80.62/58.06	o 1982
81.54/58.90	o 1981
82.34/59.77	o 1980
83.27/60.62	o 1979
84.06/61.45	o 1978
84.87/62.27	o 1977
85.77/63.12	o 1976
86.69/64.00	o 1975
87.49/64.85	o 1974
88.39/65.71	o 1973
89.20/66.58	o 1972
90.10/67.41	o 1971
90.91/68.24	o 1970
91.70/69.09	o 1969
92.51/69.89	o 1968
93.41/70.72	o 1967
94.29/71.59	o 1966
95.18/72.44	o 1965
95.99/73.26	o 1964
96.90/74.12	o 1963
97.70/74.97	o 1962
98.50/75.79	o 1961
99.40/76.65	o 1960
100.30/77.50	o 1959
101.10/78.36	o 1958
102.01/79.22	o 1957
102.80/80.08	o 1956
103.71/80.94	o 1955
104.51/81.78	o 1954
105.42/82.64	o 1953
106.32/83.50	o 1952
107.12/84.35	o 1951
108.02/85.20	o 1950
108.82/86.05	o 1949
109.72/86.93	o 1948
110.70/87.83	o 1947
111.50/88.66	o 1946
112.40/89.53	o 1945
113.21/90.37	o 1944
114.11/91.21	o 1943
114.91/92.03	o 1942
115.71/92.86	o 1941
116.61/93.73	o 1940
117.41/94.58	o 1939
118.31/95.45	o 1938
119.21/96.30	o 1937
120.01/97.12	o 1936
120.82/97.96	o 1935
121.71/98.83	o 1934
122.51/99.64	o 1933
123.32/100.49	o 1932
124.22/101.34	o 1931
125.13/102.21	o 1930
125.93/103.03	o 1929
126.73/103.88	o 1928
127.54/104.68	o 1927
128.48/105.52	o 1926
129.29/106.35	o 1925
130.09/107.19	o 1924
130.99/108.02	o 1923
131.79/108.85	o 1922
132.60/109.66	o 1921
133.51/110.50	o 1920
134.31/111.32	o 1919
135.11/112.15	o 1918
136.01/113.00	o 1917
136.81/113.83	o 1916
137.71/114.70	o 1915
138.52/115.55	o 1914
139.41/116.41	o 1913
140.21/117.25	o 1912
141.01/118.08	o 1911
141.92/118.93	o 1910
142.71/119.75	o 1909
143.51/120.57	o 1908
144.41/121.43	o 1907
145.22/122.25	o 1906
146.07/123.09	o 1905
146.97/123.94	o 1904
147.77/124.78	o 1903
148.69/125.63	o 1902
149.50/126.47	o 1901
150.40/127.32	o 1900
151.20/128.16	o 1899
152.00/129.00	o 1898
152.91/129.84	o 1897
153.70/130.68	o 1896
154.60/131.54	o 1895
155.40/132.36	o 1894
156.30/133.22	o 1893
157.10/134.05	o 1892
157.90/134.88	o 1891
158.80/135.73	o 1890
159.61/136.58	o 1889
160.50/137.41	o 1888
161.30/138.25	o 1887
162.20/139.11	o 1886
163.01/139.98	o 1885
163.91/140.82	o 1884
164.86/141.72	o 1883
165.66/142.54	o 1882
166.46/143.38	o 1881
167.38/144.24	o 1880
168.17/145.07	o 1879
168.97/145.89	o 1878
169.87/146.71	o 1877
170.68/147.55	o 1876
171.57/148.41	o 1875
172.37/149.27	o 1874
173.27/150.12	o 1873
174.07/150.93	o 1872
174.98/151.81	o 1871
175.77/152.62	o 1870
176.57/153.48	o 1869
177.48/154.32	o 1868
178.28/155.17	o 1867
179.18/156.02	o 1866
179.98/156.86	o 1865
180.78/157.69	o 1864
181.68/158.55	o 1863
182.58/159.41	o 1862
183.45/160.27	o 1861
184.35/161.11	o 1860
185.15/161.96	o 1859
186.06/162.82	o 1858
186.85/163.65	o 1857
187.65/164.49	o 1856
188.55/165.34	o 1855
189.36/166.18	o 1854
190.25/167.01	o 1853
191.05/167.84	o 1852
191.86/168.70	o 1851
192.76/169.56	o 1850
193.66/170.40	o 1849
194.46/171.25	o 1848
195.36/172.12	o 1847
196.16/172.97	o 1846
197.06/173.82	o 1845
197.86/174.65	o 1844
198.66/175.48	o 1843
199.57/176.34	o 1842
200.37/177.19	o 1841
201.27/178.05	o 1840
202.07/178.86	o 1839
202.97/179.77	o 1838
203.85/180.58	o 1837
204.74/181.40	o 1836
205.54/182.26	o 1835
206.44/183.11	o 1834
207.24/183.98	o 1833
208.15/184.84	o 1832
208.95/185.69	o 1831
209.85/186.53	o 1830
210.65/187.39	o 1829
211.55/188.22	o 1828
212.35/189.06	o 1827
213.25/189.91	o 1826
214.05/190.77	o 1825
214.95/191.60	o 1824
215.75/192.44	o 1823
216.55/193.30	o 1822
217.45/194.14	o 1821
218.25/194.97	o 1820
219.16/195.83	o 1819
219.95/196.67	o 1818
220.86/197.52	o 1817
221.66/198.35	o 1816
222.54/199.19	o 1815
223.43/200.02	o 1814
224.23/200.84	o 1813
225.03/201.68	o 1812
225.94/202.51	o 1811
226.73/203.35	o 1810
227.63/204.21	o 1809
228.43/205.03	o 1808
229.24/205.89	o 1807
230.13/206.73	o 1806
230.93/207.58	o 1805
231.84/208.43	o 1804
232.64/209.29	o 1803
233.55/210.15	o 1802
234.44/211.03	o 1801
235.24/211.87	o 1800
236.14/212.72	o 1799
236.95/213.55	o 1798
237.74/214.38	o 1797
238.64/215.24	o 1796
239.44/216.09	o 1795
240.34/216.92	o 1794
241.18/217.73	o 1793
241.98/218.53	o 1792
242.78/219.37	o 1791
243.68/220.23	o 1790
244.48/221.07	o 1789
245.38/221.92	o 1788
246.18/222.75	o 1787
247.09/223.60	o 1786
247.89/224.45	o 1785
248.69/225.29	o 1784
249.59/226.15	o 1783
250.40/226.98	o 1782
251.30/227.83	o 1781
252.10/228.68	o 1780
253.00/229.50	o 1779
253.80/230.34	o 1778
254.61/231.17	o 1777
255.50/232.00	o 1776
256.31/232.88	o 1775
257.22/233.73	o 1774
258.03/234.54	o 1773
258.97/235.41	o 1772
259.76/236.27	o 1771
260.66/237.10	o 1770
261.46/237.94	o 1769
262.27/238.76	o 1768
263.06/239.59	o 1767
263.96/240.46	o 1766
264.86/241.32	o 1765
265.67/242.18	o 1764
266.56/243.00	o 1763
267.36/243.83	o 1762
268.16/244.67	o 1761
269.06/245.54	o 1760
269.86/246.40	o 1759
270.76/247.24	o 1758
271.56/248.06	o 1757
272.47/248.92	o 1756
273.28/249.78	o 1755
274.17/250.62	o 1754
275.01/251.48	o 1753
275.91/252.31	o 1752
276.72/253.18	o 1751
277.61/254.02	o 1750
278.41/254.87	o 1749
279.31/255.71	o 1748
280.11/256.54	o 1747
281.02/257.41	o 1746
281.81/258.27	o 1745
282.72/259.12	o 1744
283.52/259.96	o 1743
284.42/260.82	o 1742
285.22/261.68	o 1741
286.12/262.50	o 1740
286.92/263.36	o 1739
287.82/264.22	o 1738
288.62/265.07	o 1737
289.52/265.92	o 1736
290.32/266.79	o 1735
291.26/267.66	o 1734
292.17/268.52	o 1733
292.96/269.37	o 1732
293.76/270.19	o 1731
294.66/271.02	o 1730
295.47/271.84	o 1729
296.27/272.66	o 1728
297.17/273.51	o 1727
297.97/274.38	o 1726
298.87/275.23	o 1725
299.67/276.06	o 1724
300.47/276.89	o 1723
301.37/277.73	o 1722
302.17/278.52	o 1721
302.97/279.36	o 1720
303.87/280.20	o 1719
304.67/281.03	o 1718
305.47/281.86	o 1717
306.42/282.71	o 1716
307.22/283.54	o 1715
308.02/284.39	o 1714
308.92/285.25	o 1713
309.82/286.10	o 1712
310.62/286.96	o 1711
311.42/287.75	o 1710
312.32/288.60	o 1709
313.13/289.45	o 1708
313.92/290.28	o 1707
314.83/291.10	o 1706
315.63/291.91	o 1705
316.43/292.76	o 1704
317.33/293.63	o 1703
318.13/294.47	o 1702
319.03/295.32	o 1701
319.83/296.19	o 1700
320.78/297.07	o 1699
321.58/297.89	o 1698
322.48/298.72	o 1697
323.28/299.55	o 1696
324.08/300.38	o 1695
324.98/301.23	o 1694
325.78/302.08	o 1693
326.68/302.91	o 1692
327.48/303.74	o 1691
328.28/304.59	o 1690
329.18/305.42	o 1689
329.98/306.28	o 1688
330.88/307.14	o 1687
331.68/307.99	o 1686
332.58/308.86	o 1685
333.38/309.70	o 1684
334.33/310.56	o 1683
335.14/311.37	o 1682
336.03/312.21	o 1681
336.83/313.07	o 1680
337.73/313.92	o 1679
338.54/314.77	o 1678
339.33/315.58	o 1677
340.23/316.44	o 1676
341.03/317.28	o 1675
341.85/318.08	o 1674
342.74/318.93	o 1673
343.54/319.78	o 1672
344.45/320.63	o 1671
345.25/321.45	o 1670
346.15/322.30	o 1669
346.85/323.08	o 1668
347.78/323.90	o 1667
348.59/324.74	o 1666
349.38/325.56	o 1665
350.19/326.35	o 1664
351.09/327.20	o 1663
351.89/328.05	o 1662
352.69/328.88	o 1661
353.60/329.72	o 1660
354.39/330.55	o 1659
355.20/331.38	o 1658
356.11/332.25	o 1657
357.01/333.10	o 1656
357.80/333.95	o 1655
358.60/334.78	o 1654
359.52/335.61	o 1653
360.31/336.46	o 1652
361.25/337.34	o 1651
362.06/338.16	o 1650
362.96/339.00	o 1649
363.76/339.84	o 1648
364.67/340.70	o 1647
365.48/341.56	o 1646
366.39/342.42	o 1645
367.20/343.24	o 1644
367.99/344.09	o 1643
368.89/344.91	o 1642
369.69/345.74	o 1641
370.50/346.59	o 1640
371.39/347.45	o 1639
372.29/348.30	o 1638
373.13/349.19	o 1637
374.03/350.04	o 1636
374.84/350.89	o 1635
375.74/351.71	o 1634
376.54/352.55	o 1633
377.44/353.42	o 1632
378.24/354.25	o 1631
379.04/355.08	o 1630
379.94/355.93	o 1629
380.74/356.77	o 1628
381.64/357.62	o 1627
382.54/358.50	o 1626
383.34/359.31	o 1625
384.14/360.15	o 1624
384.98/360.97	o 1623
385.78/361.79	o 1622
386.68/362.62	o 1621
387.48/363.47	o 1620
388.28/364.28	o 1619
389.18/365.14	o 1618
389.98/365.99	o 1617
390.79/366.78	o 1616
391.78/367.62	o 1615
392.58/368.45	o 1614
393.48/369.31	o 1613
394.28/370.19	o 1612
395.18/371.02	o 1611
396.02/371.88	o 1610
396.91/372.74	o 1609
397.71/373.54	o 1608
398.61/374.40	o 1607
399.42/375.23	o 1606
400.21/376.06	o 1605
401.01/376.89	o 1604
401.92/377.71	o 1603
402.72/378.57	o 1602
403.52/379.38	o 1601
404.32/380.17	o 1600
405.22/381.02	o 1599
406.03/381.85	o 1598
406.86/382.69	o 1597
407.76/383.55	o 1596
408.56/384.37	o 1595
409.46/385.20	o 1594
410.26/386.02	o 1593
411.08/386.87	o 1592
411.99/387.74	o 1591
412.89/388.61	o 1590
413.69/389.44	o 1589
414.49/390.27	o 1588
415.39/391.10	o 1587
416.35/392.00	o 1586
417.15/392.83	o 1585
417.95/393.63	o 1584
418.85/394.50	o 1583
419.65/395.33	o 1582
420.45/396.18	o 1581
421.35/397.02	o 1580
422.15/397.87	o 1579
423.05/398.72	o 1578
423.85/399.55	o 1577
424.65/400.37	o 1576
425.55/401.23	o 1575
426.39/402.08	o 1574
427.29/402.92	o 1573
428.10/403.73	o 1572
428.89/404.59	o 1571
429.79/405.46	o 1570
430.69/406.32	o 1569
431.50/407.16	o 1568
432.39/408.01	o 1567
433.19/408.86	o 1566
434.00/409.67	o 1565
434.90/410.51	o 1564
435.75/411.39	o 1563
436.65/412.22	o 1562
437.45/413.06	o 1561
438.25/413.88	o 1560
439.17/414.73	o 1559
439.96/415.56	o 1558
440.76/416.37	o 1557
441.56/417.19	o 1556
442.47/418.02	o 1555
443.26/418.88	o 1554
444.22/419.70	o 1553
445.02/420.53	o 1552
445.83/421.35	o 1551
446.62/422.18	o 1550
447.53/423.04	o 1549
448.33/423.89	o 1548
449.24/424.74	o 1547
450.03/425.58	o 1546
450.93/426.46	o 1545
451.83/427.30	o 1544
452.69/428.17	o 1543
453.61/429.02	o 1542
454.40/429.86	o 1541
455.20/430.69	o 1540
456.12/431.51	o 1539
456.92/432.34	o 1538
457.72/433.14	o 1537
458.52/433.95	o 1536
459.32/434.79	o 1535
460.22/435.65	o 1534
461.19/436.55	o 1533
461.99/437.39	o 1532
462.90/438.24	o 1531
463.70/439.08	o 1530
464.59/439.95	o 1529
465.49/440.81	o 1528
466.29/441.66	o 1527
467.09/442.47	o 1526
468.00/443.32	o 1525
468.80/444.15	o 1524
469.65/444.97	o 1523
470.55/445.83	o 1522
471.36/446.68	o 1521
472.15/447.49	o 1520
473.05/448.34	o 1519
473.87/449.19	o 1518
474.78/450.03	o 1517
475.58/450.86	o 1516
476.52/451.71	o 1515
477.32/452.57	o 1514
478.22/453.43	o 1513
479.02/454.25	o 1512
479.92/455.10	o 1511
480.72/455.95	o 1510
481.62/456.81	o 1509
482.43/457.66	o 1508
483.33/458.52	o 1507
484.18/459.37	o 1506
485.08/460.22	o 1505
485.89/461.06	o 1504
486.68/461.88	o 1503
487.58/462.74	o 1502
488.38/463.59	o 1501
489.28/464.44	o 1500
490.08/465.26	o 1499
491.05/466.11	o 1498
491.85/466.97	o 1497
492.75/467.82	o 1496
493.56/468.69	o 1495
494.45/469.53	o 1494
495.25/470.39	o 1493
496.15/471.22	o 1492
496.96/472.08	o 1491
497.92/472.95	o 1490
498.72/473.78	o 1489
499.52/474.59	o 1488
500.42/475.43	o 1487
501.23/476.28	o 1486
502.13/477.11	o 1485
502.93/477.92	o 1484
503.73/478.78	o 1483
504.68/479.65	o 1482
505.58/480.50	o 1481
506.38/481.35	o 1480
507.28/482.20	o 1479
508.08/483.02	o 1478
508.88/483.88	o 1477
509.78/484.71	o 1476
510.64/485.59	o 1475
511.54/486.43	o 1474
512.34/487.26	o 1473
513.14/488.07	o 1472
513.94/488.89	o 1471
514.84/489.71	o 1470
515.64/490.56	o 1469
516.60/491.43	o 1468
517.40/492.28	o 1467
518.31/493.14	o 1466
519.11/493.97	o 1465
520.01/494.81	o 1464
520.81/495.64	o 1463
521.71/496.50	o 1462
522.57/497.36	o 1461
523.47/498.22	o 1460
524.27/499.06	o 1459
525.17/499.90	o 1458
525.97/500.75	o 1457
526.77/501.57	o 1456
527.74/502.43	o 1455
528.54/503.26	o 1454
529.34/504.08	o 1453
530.24/504.91	o 1452
531.04/505.77	o 1451
531.94/506.60	o 1450
532.82/507.43	o 1449
533.63/508.27	o 1448
534.53/509.13	o 1447
535.43/510.00	o 1446
536.23/510.87	o 1445
537.13/511.72	o 1444
538.00/512.58	o 1443
538.90/513.44	o 1442
539.80/514.30	o 1441
540.50/515.10	o 1440
541.41/515.92	o 1439
542.20/516.77	o 1438
543.18/517.64	o 1437
543.98/518.47	o 1436
544.89/519.31	o 1435
545.68/520.13	o 1434
546.48/520.99	o 1433
547.38/521.82	o 1432
548.24/522.69	o 1431
549.14/523.53	o 1430
549.94/524.37	o 1429
550.84/525.23	o 1428
551.74/526.10	o 1427
552.60/526.99	o 1426
553.49/527.80	o 1425
554.29/528.65	o 1424
555.19/529.52	o 1423
556.00/530.35	o 1422
556.95/531.21	o 1421
557.75/532.04	o 1420
558.55/532.88	o 1419
559.45/533.74	o 1418
560.25/534.56	o 1417
561.21/535.42	o 1416
562.01/536.25	o 1415
562.81/537.09	o 1414
563.75/537.94	o 1413
564.54/538.78	o 1412
565.49/539.66	o 1411
566.39/540.50	o 1410
567.20/541.31	o 1409
568.00/542.11	o 1408
568.79/542.93	o 1407
569.74/543.81	o 1406
570.55/544.66	o 1405
571.34/545.48	o 1404
572.24/546.35	o 1403
573.20/547.24	o 1402
574.00/548.08	o 1401
574.91/548.93	o 1400
575.70/549.77	o 1399
576.60/550.62	o 1398
577.45/551.47	o 1397
578.35/552.32	o 1396
579.15/553.19	o 1395
580.07/554.06	o 1394
580.94/554.89	o 1393
581.83/555.73	o 1392
582.64/556.59	o 1391
583.54/557.43	o 1390
584.39/558.28	o 1389
585.29/559.13	o 1388
586.10/559.96	o 1387
586.99/560.83	o 1386
587.84/561.66	o 1385
588.74/562.54	o 1384
589.54/563.38	o 1383
590.50/564.26	o 1382
591.30/565.08	o 1381
592.20/565.93	o 1380
593.00/566.77	o 1379
593.96/567.63	o 1378
594.76/568.48	o 1377
595.66/569.34	o 1376
596.46/570.19	o 1375
597.44/571.03	o 1374
598.34/571.90	o 1373
599.14/572.75	o 1372
600.09/573.62	o 1371
600.89/574.46	o 1370
601.79/575.33	o 1369
602.74/576.21	o 1368
603.54/577.03	o 1367
604.34/577.87	o 1366
605.31/578.72	o 1365
606.11/579.59	o 1364
607.01/580.43	o 1363
607.81/581.24	o 1362
608.75/582.10	o 1361
609.55/582.93	o 1360
610.35/583.79	o 1359
611.29/584.62	o 1358
612.10/585.46	o 1357
613.00/586.31	o 1356
613.84/587.18	o 1355
614.74/588.03	o 1354
615.55/588.88	o 1353
616.42/589.69	o 1352
617.32/590.54	o 1351
618.29/591.41	o 1350
619.09/592.27	o 1349
619.99/593.12	o 1348
620.84/593.92	o 1347
621.64/594.78	o 1346
622.44/595.59	o 1345
623.40/596.43	o 1344
624.20/597.28	o 1343
625.16/598.17	o 1342
626.06/599.00	o 1341
626.86/599.88	o 1340
627.83/600.76	o 1339
628.62/601.58	o 1338
629.52/602.45	o 1337
630.48/603.30	o 1336
631.29/604.15	o 1335
632.19/605.00	o 1334
633.05/605.86	o 1333
633.95/606.70	o 1332
634.75/607.55	o 1331
635.72/608.42	o 1330
636.51/609.26	o 1329
637.41/610.11	o 1328
638.21/610.97	o 1327
639.17/611.83	o 1326
639.97/612.67	o 1325
640.87/613.53	o 1324
641.84/614.40	o 1323
642.64/615.24	o 1322
643.45/616.08	o 1321
644.34/616.93	o 1320
645.20/617.76	o 1319
646.10/618.61	o 1318
646.90/619.45	o 1317
647.86/620.31	o 1316
648.66/621.16	o 1315
649.46/621.99	o 1314
650.37/622.85	o 1313
651.32/623.72	o 1312
652.11/624.55	o 1311
653.01/625.40	o 1310
653.86/626.27	o 1309
654.77/627.11	o 1308
655.56/627.96	o 1307
656.51/628.80	o 1306
657.31/629.63	o 1305
658.12/630.49	o 1304
659.06/631.36	o 1303
659.96/632.23	o 1302
660.76/633.08	o 1301
661.70/633.91	o 1300
662.51/634.76	o 1299
663.46/635.63	o 1298
664.26/636.47	o 1297
665.16/637.33	o 1296
666.02/638.18	o 1295
666.91/639.03	o 1294
667.77/639.89	o 1293
668.67/640.76	o 1292
669.47/641.58	o 1291
670.43/642.41	o 1290
671.23/643.24	o 1289
672.03/644.09	o 1288
673.00/644.95	o 1287
673.81/645.79	o 1286
674.75/646.65	o 1285
675.55/647.48	o 1284
676.51/648.37	o 1283
677.41/649.21	o 1282
678.21/650.06	o 1281
679.17/650.90	o 1280
679.97/651.77	o 1279
680.87/652.62	o 1278
681.82/653.51	o 1277
682.62/654.37	o 1276
683.58/655.27	o 1275
684.48/656.13	o 1274
685.28/656.95	o 1273
686.25/657.82	o 1272
687.04/658.68	o 1271
687.94/659.57	o 1270
688.89/660.43	o 1269
689.70/661.27	o 1268
690.59/662.13	o 1267
691.55/663.02	o 1266
692.35/663.87	o 1265
693.31/664.75	o 1264
694.21/665.65	o 1263
695.11/666.51	o 1262
695.97/667.37	o 1261
696.87/668.22	o 1260
697.83/669.13	o 1259
698.64/669.98	o 1258
699.53/670.83	o 1257
700.49/671.70	o 1256
701.29/672.55	o 1255
702.19/673.41	o 1254
703.04/674.28	o 1253
703.84/675.09	o 1252
704.74/675.92	o 1251
705.69/676.80	o 1250
706.50/677.67	o 1249
707.45/678.54	o 1248
708.25/679.38	o 1247
709.15/680.24	o 1246
710.10/681.12	o 1245
710.90/681.99	o 1244
711.86/682.87	o 1243
712.76/683.72	o 1242
713.56/684.57	o 1241
714.52/685.44	o 1240
715.32/686.28	o 1239
716.22/687.14	o 1238
717.07/687.97	o 1237
717.97/688.81	o 1236
718.77/689.67	o 1235
719.72/690.55	o 1234
720.52/691.38	o 1233
721.42/692.24	o 1232
722.27/693.10	o 1231
723.16/693.95	o 1230
724.12/694.82	o 1229
724.92/695.65	o 1228
725.82/696.52	o 1227
726.66/697.38	o 1226
727.56/698.24	o 1225
728.53/699.11	o 1224
729.33/699.95	o 1223
730.24/700.81	o 1222
731.07/701.69	o 1221
731.97/702.54	o 1220
732.93/703.41	o 1219
733.74/704.26	o 1218
734.69/705.14	o 1217
735.49/705.97	o 1216
736.39/706.84	o 1215
737.25/707.69	o 1214
738.16/708.55	o 1213
738.95/709.39	o 1212
739.91/710.27	o 1211
740.71/711.09	o 1210
741.61/711.95	o 1209
742.57/712.83	o 1208
743.36/713.68	o 1207
744.27/714.55	o 1206
745.21/715.41	o 1205
746.02/716.28	o 1204
746.97/717.16	o 1203
747.87/718.02	o 1202
748.67/718.87	o 1201
749.63/719.76	o 1200
750.44/720.58	o 1199
751.33/721.44	o 1198
752.18/722.27	o 1197
753.08/723.11	o 1196
754.04/724.00	o 1195
754.84/724.88	o 1194
755.64/725.69	o 1193
756.59/726.55	o 1192
757.40/727.39	o 1191
758.31/728.29	o 1190
759.26/729.15	o 1189
760.16/730.00	o 1188
761.01/730.82	o 1187
761.83/731.67	o 1186
762.72/732.52	o 1185
763.58/733.38	o 1184
764.48/734.25	o 1183
765.38/735.11	o 1182
766.24/735.97	o 1181
767.13/736.85	o 1180
768.03/737.74	o 1179
768.99/738.62	o 1178
769.79/739.47	o 1177
770.76/740.34	o 1176
771.55/741.19	o 1175
772.45/742.02	o 1174
773.43/742.92	o 1173
774.24/743.76	o 1172
775.13/744.63	o 1171
776.10/745.53	o 1170
776.90/746.36	o 1169
777.80/747.22	o 1168
778.61/748.09	o 1167
779.57/748.94	o 1166
780.47/749.80	o 1165
781.27/750.65	o 1164
782.17/751.50	o 1163
783.03/752.35	o 1162
783.93/753.21	o 1161
784.73/754.08	o 1160
785.70/754.95	o 1159
786.61/755.81	o 1158
787.40/756.68	o 1157
788.30/757.55	o 1156
789.26/758.40	o 1155
790.06/759.26	o 1154
790.96/760.11	o 1153
791.85/760.96	o 1152
792.75/761.83	o 1151
793.55/762.66	o 1150
794.35/763.50	o 1149
795.31/764.36	o 1148
796.11/765.16	o 1147
797.01/766.02	o 1146
797.97/766.90	o 1145
798.77/767.73	o 1144
799.57/768.59	o 1143
800.55/769.49	o 1142
801.45/770.36	o 1141
802.35/771.25	o 1140
803.31/772.13	o 1139
804.21/773.02	o 1138
805.02/773.86	o 1137
805.97/774.76	o 1136
806.78/775.60	o 1135
807.67/776.48	o 1134
808.64/777.35	o 1133
809.54/778.21	o 1132
810.42/779.10	o 1131
811.32/779.95	o 1130
812.23/780.82	o 1129
813.20/781.70	o 1128
814.00/782.57	o 1127
814.90/783.43	o 1126
815.90/784.32	o 1125
816.69/785.17	o 1124
817.59/786.02	o 1123
818.39/786.88	o 1122
819.36/787.77	o 1121
820.16/788.59	o 1120
821.06/789.43	o 1119
821.86/790.25	o 1118
822.83/791.13	o 1117
823.63/791.97	o 1116
824.53/792.83	o 1115
825.43/793.75	o 1114
826.29/794.57	o 1113
827.20/795.42	o 1112
827.99/796.28	o 1111
828.97/797.18	o 1110
829.87/798.05	o 1109
830.67/798.90	o 1108
831.58/799.76	o 1107
832.55/800.66	o 1106
833.45/801.51	o 1105
834.25/802.37	o 1104
835.06/803.16	o 1103
836.03/804.04	o 1102
836.93/804.91	o 1101
837.73/805.72	o 1100
838.71/806.63	o 1099
839.52/807.49	o 1098
840.41/808.33	o 1097
841.21/809.18	o 1096
842.18/810.03	o 1095
843.08/810.90	o 1094
843.88/811.77	o 1093
844.85/812.67	o 1092
845.75/813.53	o 1091
846.55/814.37	o 1090
847.54/815.25	o 1089
848.34/816.03	o 1088
849.14/816.88	o 1087
850.04/817.73	o 1086
851.01/818.66	o 1085
851.81/819.49	o 1084
852.71/820.36	o 1083
853.70/821.22	o 1082
854.50/822.07	o 1081
855.41/822.91	o 1080
856.21/823.76	o 1079
857.11/824.66	o 1078
858.09/825.51	o 1077
858.89/826.35	o 1076
859.79/827.22	o 1075
860.59/828.09	o 1074
861.58/828.95	o 1073
862.48/829.81	o 1072
863.29/830.68	o 1071
864.08/831.49	o 1070
865.04/832.38	o 1069
865.94/833.25	o 1068
866.84/834.10	o 1067
867.65/834.94	o 1066
868.61/835.82	o 1065
869.40/836.70	o 1064
870.30/837.56	o 1063
871.28/838.45	o 1062
872.19/839.32	o 1061
872.98/840.18	o 1060
873.88/841.03	o 1059
874.86/841.95	o 1058
875.77/842.81	o 1057
876.57/843.69	o 1056
877.47/844.52	o 1055
878.33/845.39	o 1054
879.23/846.25	o 1053
880.04/847.10	o 1052
881.00/847.97	o 1051
881.90/848.81	o 1050
882.70/849.68	o 1049
883.60/850.55	o 1048
884.56/851.44	o 1047
885.36/852.28	o 1046
886.26/853.12	o 1045
887.21/854.00	o 1044
888.02/854.86	o 1043
888.91/855.72	o 1042
889.88/856.60	o 1041
890.68/857.43	o 1040
891.48/858.25	o 1039
892.45/859.14	o 1038
893.25/859.97	o 1037
894.15/860.82	o 1036
895.11/861.73	o 1035
895.92/862.58	o 1034
896.81/863.46	o 1033
897.78/864.32	o 1032
898.57/865.18	o 1031
899.47/866.05	o 1030
900.44/866.93	o 1029
901.23/867.78	o 1028
902.14/868.66	o 1027
903.08/869.55	o 1026
903.98/870.42	o 1025
904.85/871.27	o 1024
905.74/872.12	o 1023
906.54/872.97	o 1022
907.49/873.86	o 1021
908.39/874.73	o 1020
909.19/875.55	o 1019
910.03/876.37	o 1018
910.93/877.26	o 1017
911.88/878.13	o 1016
912.68/878.99	o 1015
913.63/879.85	o 1014
914.54/880.71	o 1013
915.50/881.60	o 1012
916.30/882.43	o 1011
917.10/883.29	o 1010
918.06/884.17	o 1009
918.96/885.04	o 1008
919.92/885.94	o 1007
920.72/886.78	o 1006
921.62/887.65	o 1005
922.57/888.52	o 1004
923.37/889.36	o 1003
924.27/890.23	o 1002
925.11/891.10	o 1001
926.01/891.98	o 1000
926.96/892.84	o 999
927.86/893.71	o 998
928.82/894.60	o 997
929.63/895.46	o 996
930.43/896.29	o 995
931.39/897.14	o 994
932.19/897.98	o 993
933.15/898.86	o 992
934.04/899.71	o 991
934.84/900.56	o 990
935.80/901.44	o 989
936.60/902.28	o 988
937.50/903.12	o 987
938.45/904.01	o 986
939.25/904.85	o 985
940.15/905.71	o 984
941.00/906.59	o 983
941.89/907.45	o 982
942.69/908.30	o 981
943.64/909.16	o 980
944.54/910.02	o 979
945.41/910.90	o 978
946.31/911.75	o 977
947.11/912.59	o 976
948.06/913.49	o 975
948.96/914.35	o 974
949.87/915.21	o 973
950.70/916.09	o 972
951.60/916.94	o 971
952.56/917.80	o 970
953.36/918.66	o 969
954.16/919.49	o 968
955.10/920.36	o 967
956.00/921.24	o 966
956.94/922.12	o 965
957.74/922.98	o 964
958.69/923.84	o 963
959.59/924.71	o 962
960.39/925.56	o 961
961.33/926.41	o 960
962.13/927.26	o 959
963.07/928.11	o 958
963.87/928.98	o 957
964.82/929.86	o 956
965.73/930.72	o 955
966.68/931.60	o 954
967.48/932.46	o 953
968.43/933.30	o 952
969.23/934.16	o 951
970.20/935.04	o 950
971.09/935.92	o 949
971.89/936.79	o 948
972.84/937.61	o 947
973.64/938.42	o 946
974.49/939.29	o 945
975.39/940.16	o 944
976.29/941.00	o 943
977.14/941.89	o 942
978.04/942.74	o 941
979.01/943.64	o 940
979.81/944.48	o 939
980.71/945.35	o 938
981.67/946.24	o 937
982.47/947.10	o 936
983.37/947.92	o 935
984.24/948.79	o 934
985.14/949.66	o 933
985.94/950.50	o 932
986.89/951.33	o 931
987.69/952.17	o 930
989.35/953.26	o 929
990.26/954.10	o 928
991.06/954.96	o 927
992.01/955.82	o 926
992.81/956.67	o 925
993.61/957.46	o 924
994.42/958.29	o 923
995.38/959.14	o 922
996.18/959.95	o 921
996.98/960.79	o 920
997.93/961.68	o 919
998.85/962.50	o 918
999.64/963.35	o 917
1000.54/964.22	o 916
1001.40/965.09	o 915
1002.30/965.92	o 914
1003.10/966.78	o 913
1004.07/967.64	o 912
1004.88/968.49	o 911
1005.78/969.34	o 910
1006.58/970.20	o 909
1007.48/971.07	o 908
1008.44/971.94	o 907
1009.24/972.79	o 906
1010.15/973.67	o 905
1011.04/974.52	o 904
1012.03/975.42	o 903
1012.83/976.28	o 902
1013.73/977.15	o 901
1014.63/978.02	o 900
1015.43/978.88	o 899
1016.33/979.74	o 898
1017.20/980.57	o 897
1018.00/981.39	o 896
1018.90/982.24	o 895
1019.70/983.09	o 894
1020.60/983.94	o 893
1021.59/984.80	o 892
1022.40/985.68	o 891
1023.29/986.55	o 890
1024.19/987.40	o 889
1025.00/988.25	o 888
1025.90/989.12	o 887
1026.80/989.99	o 886
1027.73/990.85	o 885
1028.53/991.69	o 884
1029.43/992.57	o 883
1030.33/993.45	o 882
1031.23/994.32	o 881
1032.03/995.16	o 880
1033.02/996.06	o 879
1033.92/996.93	o 878
1034.73/997.80	o 877
1035.63/998.66	o 876
1036.53/999.56	o 875
1037.43/1000.46	o 874
1038.33/1001.33	o 873
1039.31/1002.21	o 872
1040.11/1003.05	o 871
1041.01/1003.90	o 870
1041.81/1004.76	o 869
1042.71/1005.64	o 868
1043.51/1006.48	o 867
1044.41/1007.34	o 866
1045.41/1008.22	o 865
1046.21/1009.08	o 864
1047.11/1009.92	o 863
1047.91/1010.78	o 862
1048.81/1011.61	o 861
1049.61/1012.48	o 860
1050.51/1013.33	o 859
1051.31/1014.19	o 858
1052.21/1015.04	o 857
1053.20/1015.91	o 856
1054.00/1016.76	o 855
1054.90/1017.61	o 854
1055.70/1018.47	o 853
1056.60/1019.31	o 852
1057.40/1020.18	o 851
1058.30/1021.03	o 850
1059.10/1021.89	o 849
1060.10/1022.73	o 848
1060.90/1023.58	o 847
1061.80/1024.43	o 846
1062.61/1025.28	o 845
1063.50/1026.19	o 844
1064.40/1027.02	o 843
1065.20/1027.87	o 842
1066.10/1028.72	o 841
1066.90/1029.60	o 840
1067.94/1030.47	o 839
1068.84/1031.33	o 838
1069.64/1032.15	o 837
1070.54/1033.01	o 836
1071.34/1033.86	o 835
1072.24/1034.72	o 834
1073.04/1035.54	o 833
1073.84/1036.37	o 832
1074.74/1037.24	o 831
1075.54/1038.06	o 830
1076.54/1038.97	o 829
1077.44/1039.82	o 828
1078.24/1040.66	o 827
1079.14/1041.51	o 826
1079.94/1042.37	o 825
1080.84/1043.22	o 824
1081.64/1044.06	o 823
1082.54/1044.93	o 822
1083.34/1045.77	o 821
1084.38/1046.69	o 820
1085.28/1047.55	o 819
1086.19/1048.42	o 818
1086.98/1049.25	o 817
1087.89/1050.11	o 816
1088.69/1050.94	o 815
1089.59/1051.80	o 814
1090.39/1052.65	o 813
1091.28/1053.53	o 812
1092.08/1054.39	o 811
1093.12/1055.29	o 810
1094.02/1056.14	o 809
1094.82/1056.99	o 808
1095.72/1057.84	o 807
1096.62/1058.71	o 806
1097.43/1059.56	o 805
1098.22/1060.40	o 804
1099.13/1061.28	o 803
1100.02/1062.12	o 802
1100.83/1062.95	o 801
1101.87/1063.83	o 800
1102.67/1064.69	o 799
1103.57/1065.53	o 798
1104.37/1066.39	o 797
1105.27/1067.25	o 796
1106.07/1068.06	o 795
1106.97/1068.90	o 794
1107.77/1069.74	o 793
1108.57/1070.56	o 792
1109.47/1071.41	o 791
1110.28/1072.29	o 790
1111.29/1073.19	o 789
1112.19/1074.04	o 788
1113.00/1074.89	o 787
1113.89/1075.75	o 786
1114.79/1076.60	o 785
1115.59/1077.45	o 784
1116.39/1078.28	o 783
1117.30/1079.14	o 782
1118.20/1080.02	o 781
1119.00/1080.87	o 780
1120.14/1081.80	o 779
1120.94/1082.65	o 778
1121.85/1083.52	o 777
1122.64/1084.38	o 776
1123.54/1085.23	o 775
1124.34/1086.09	o 774
1125.25/1086.94	o 773
1126.14/1087.81	o 772
1126.94/1088.69	o 771
1127.84/1089.55	o 770
1128.74/1090.41	o 769
1129.55/1091.22	o 768
1130.58/1092.14	o 767
1131.38/1092.97	o 766
1132.28/1093.81	o 765
1133.09/1094.65	o 764
1133.98/1095.51	o 763
1134.78/1096.36	o 762
1135.68/1097.20	o 761
1136.48/1098.04	o 760
1137.28/1098.90	o 759
1138.18/1099.76	o 758
1139.08/1100.60	o 757
1139.89/1101.47	o 756
1140.93/1102.33	o 755
1141.82/1103.22	o 754
1142.62/1104.07	o 753
1143.52/1104.92	o 752
1144.32/1105.77	o 751
1145.23/1106.64	o 750
1146.12/1107.51	o 749
1147.02/1108.40	o 748
1147.82/1109.26	o 747
1148.72/1110.11	o 746
1149.52/1110.94	o 745
1150.57/1111.87	o 744
1151.47/1112.72	o 743
1152.27/1113.59	o 742
1153.18/1114.45	o 741
1153.98/1115.28	o 740
1154.87/1116.15	o 739
1155.78/1117.01	o 738
1156.58/1117.89	o 737
1157.48/1118.72	o 736
1158.28/1119.59	o 735
1159.18/1120.45	o 734
1159.98/1121.29	o 733
1161.12/1122.20	o 732
1161.92/1123.05	o 731
1162.82/1123.91	o 730
1163.62/1124.75	o 729
1164.42/1125.59	o 728
1165.34/1126.46	o 727
1166.23/1127.31	o 726
1167.03/1128.16	o 725
1167.93/1129.02	o 724
1168.74/1129.90	o 723
1169.63/1130.78	o 722
1170.53/1131.64	o 721
1171.33/1132.48	o 720
1172.39/1133.39	o 719
1173.29/1134.21	o 718
1174.09/1135.05	o 717
1174.99/1135.90	o 716
1175.79/1136.74	o 715
1176.69/1137.60	o 714
1177.49/1138.46	o 713
1178.39/1139.32	o 712
1179.19/1140.15	o 711
1180.09/1141.00	o 710
1180.90/1141.86	o 709
1181.79/1142.71	o 708
1182.59/1143.56	o 707
1183.66/1144.49	o 706
1184.56/1145.34	o 705
1185.36/1146.16	o 704
1186.26/1147.00	o 703
1187.06/1147.85	o 702
1187.96/1148.71	o 701
1188.77/1149.55	o 700
1189.56/1150.39	o 699
1190.46/1151.23	o 698
1191.36/1152.11	o 697
1192.17/1152.99	o 696
1193.06/1153.85	o 695
1193.96/1154.71	o 694
1194.76/1155.57	o 693
1195.83/1156.47	o 692
1196.74/1157.33	o 691
1197.63/1158.21	o 690
1198.43/1159.09	o 689
1199.23/1159.90	o 688
1200.13/1160.76	o 687
1201.04/1161.61	o 686
1201.84/1162.47	o 685
1202.74/1163.35	o 684
1203.64/1164.20	o 683
1204.45/1165.07	o 682
1205.34/1165.94	o 681
1206.25/1166.83	o 680
1207.05/1167.69	o 679
1208.11/1168.59	o 678
1209.02/1169.42	o 677
1209.82/1170.27	o 676
1210.72/1171.11	o 675
1211.52/1171.96	o 674
1212.33/1172.78	o 673
1213.23/1173.66	o 672
1214.13/1174.51	o 671
1214.93/1175.38	o 670
1215.83/1176.24	o 669
1216.73/1177.11	o 668
1217.53/1177.98	o 667
1218.43/1178.81	o 666
1219.23/1179.67	o 665
1220.13/1180.50	o 664
1221.19/1181.41	o 663
1221.98/1182.25	o 662
1222.89/1183.11	o 661
1223.69/1183.96	o 660
1224.59/1184.85	o 659
1225.49/1185.71	o 658
1226.29/1186.57	o 657
1227.19/1187.43	o 656
1228.09/1188.30	o 655
1228.89/1189.16	o 654
1229.79/1190.06	o 653
1230.69/1190.90	o 652
1231.49/1191.77	o 651
1232.39/1192.62	o 650
1233.38/1193.55	o 649
1234.27/1194.39	o 648
1235.17/1195.25	o 647
1236.07/1196.10	o 646
1236.88/1196.93	o 645
1237.77/1197.82	o 644
1238.57/1198.68	o 643
1239.47/1199.53	o 642
1240.27/1200.38	o 641
1241.18/1201.22	o 640
1241.97/1202.07	o 639
1242.87/1202.91	o 638
1243.67/1203.76	o 637
1244.48/1204.59	o 636
1245.37/1205.43	o 635
1246.18/1206.27	o 634
1247.08/1207.18	o 633
1248.13/1208.01	o 632
1248.93/1208.86	o 631
1249.83/1209.72	o 630
1250.63/1210.55	o 629
1251.53/1211.43	o 628
1252.34/1212.29	o 627
1253.23/1213.16	o 626
1254.13/1214.03	o 625
1255.04/1214.90	o 624
1255.84/1215.70	o 623
1256.64/1216.54	o 622
1257.54/1217.40	o 621
1258.34/1218.25	o 620
1259.24/1219.12	o 619
1260.05/1219.95	o 618
1261.12/1220.88	o 617
1262.02/1221.72	o 616
1262.82/1222.58	o 615
1263.73/1223.45	o 614
1264.63/1224.32	o 613
1265.43/1225.18	o 612
1266.33/1226.06	o 611
1267.23/1226.92	o 610
1268.04/1227.78	o 609
1268.93/1228.65	o 608
1269.83/1229.53	o 607
1270.63/1230.35	o 606
1271.53/1231.20	o 605
1272.34/1232.07	o 604
1273.23/1232.92	o 603
1274.03/1233.77	o 602
1274.93/1234.61	o 601
1275.90/1235.49	o 600
1276.80/1236.36	o 599
1277.70/1237.22	o 598
1278.50/1238.07	o 597
1279.40/1238.95	o 596
1280.20/1239.80	o 595
1281.10/1240.67	o 594
1282.00/1241.55	o 593
1282.80/1242.38	o 592
1283.70/1243.23	o 591
1284.50/1244.08	o 590
1285.40/1244.96	o 589
1286.30/1245.82	o 588
1287.10/1246.69	o 587
1288.00/1247.54	o 586
1288.90/1248.41	o 585
1289.97/1249.31	o 584
1290.77/1250.14	o 583
1291.67/1251.00	o 582
1292.47/1251.87	o 581
1293.37/1252.74	o 580
1294.27/1253.63	o 579
1295.07/1254.50	o 578
1295.97/1255.36	o 577
1296.77/1256.16	o 576
1297.67/1257.06	o 575
1298.57/1257.93	o 574
1299.37/1258.79	o 573
1300.29/1259.64	o 572
1301.18/1260.50	o 571
1301.98/1261.36	o 570
1302.88/1262.24	o 569
1303.68/1263.05	o 568
1304.48/1263.90	o 567
1305.54/1264.79	o 566
1306.44/1265.64	o 565
1307.24/1266.48	o 564
1308.15/1267.35	o 563
1309.04/1268.20	o 562
1309.84/1269.02	o 561
1310.64/1269.86	o 560
1311.54/1270.72	o 559
1312.35/1271.57	o 558
1313.25/1272.46	o 557
1314.15/1273.35	o 556
1315.05/1274.22	o 555
1315.85/1275.05	o 554
1316.65/1275.90	o 553
1317.45/1276.69	o 552
1318.35/1277.54	o 551
1319.15/1278.37	o 550
1320.24/1279.27	o 549
1321.14/1280.12	o 548
1321.94/1280.97	o 547
1322.84/1281.85	o 546
1323.64/1282.68	o 545
1324.54/1283.53	o 544
1325.34/1284.36	o 543
1326.15/1285.19	o 542
1327.05/1286.04	o 541
1327.85/1286.89	o 540
1328.75/1287.70	o 539
1329.55/1288.56	o 538
1330.45/1289.43	o 537
1331.25/1290.26	o 536
1332.15/1291.12	o 535
1332.95/1292.00	o 534
1333.85/1292.88	o 533
1334.76/1293.71	o 532
1335.55/1294.54	o 531
1336.62/1295.44	o 530
1337.42/1296.29	o 529
1338.32/1297.16	o 528
1339.22/1298.01	o 527
1340.02/1298.86	o 526
1340.92/1299.70	o 525
1341.72/1300.55	o 524
1342.63/1301.41	o 523
1343.42/1302.28	o 522
1344.32/1303.14	o 521
1345.22/1304.02	o 520
1346.02/1304.87	o 519
1346.93/1305.75	o 518
1347.72/1306.59	o 517
1348.62/1307.42	o 516
1349.42/1308.25	o 515
1350.23/1309.10	o 514
1351.12/1309.97	o 513
1352.22/1310.87	o 512
1353.12/1311.72	o 511
1353.92/1312.57	o 510
1354.83/1313.42	o 509
1355.73/1314.30	o 508
1356.53/1315.16	o 507
1357.43/1316.02	o 506
1358.24/1316.87	o 505
1359.13/1317.72	o 504
1359.93/1318.59	o 503
1360.83/1319.43	o 502
1361.73/1320.30	o 501
1362.54/1321.13	o 500
1363.33/1321.99	o 499
1364.23/1322.87	o 498
1365.13/1323.76	o 497
1366.03/1324.63	o 496
1366.84/1325.44	o 495
1367.73/1326.31	o 494
1368.53/1327.20	o 493
1369.71/1328.10	o 492
1370.52/1328.94	o 491
1371.41/1329.84	o 490
1372.31/1330.70	o 489
1373.11/1331.53	o 488
1374.02/1332.40	o 487
1374.82/1333.27	o 486
1375.72/1334.15	o 485
1376.62/1335.02	o 484
1377.42/1335.88	o 483
1378.32/1336.75	o 482
1379.22/1337.61	o 481
1380.03/1338.45	o 480
1380.93/1339.34	o 479
1381.73/1340.16	o 478
1382.53/1340.99	o 477
1383.43/1341.84	o 476
1384.33/1342.70	o 475
1385.13/1343.57	o 474
1386.22/1344.49	o 473
1387.13/1345.33	o 472
1388.02/1346.21	o 471
1388.82/1347.09	o 470
1389.72/1347.94	o 469
1390.62/1348.81	o 468
1391.42/1349.67	o 467
1392.32/1350.53	o 466
1393.12/1351.39	o 465
1394.02/1352.25	o 464
1394.83/1353.10	o 463
1395.73/1353.96	o 462
1396.63/1354.81	o 461
1397.43/1355.67	o 460
1398.34/1356.50	o 459
1399.14/1357.36	o 458
1400.04/1358.22	o 457
1400.84/1359.08	o 456
1401.74/1359.93	o 455
1402.54/1360.75	o 454
1403.34/1361.59	o 453
1404.53/1362.52	o 452
1405.33/1363.40	o 451
1406.23/1364.24	o 450
1407.03/1365.07	o 449
1407.94/1365.91	o 448
1408.74/1366.76	o 447
1409.64/1367.61	o 446
1410.45/1368.47	o 445
1411.34/1369.34	o 444
1412.14/1370.18	o 443
1413.04/1371.06	o 442
1413.94/1371.91	o 441
1414.74/1372.76	o 440
1415.64/1373.61	o 439
1416.44/1374.46	o 438
1417.34/1375.31	o 437
1418.15/1376.14	o 436
1419.04/1377.02	o 435
1419.84/1377.90	o 434
1420.74/1378.76	o 433
1421.55/1379.58	o 432
1422.76/1380.51	o 431
1423.55/1381.37	o 430
1424.45/1382.23	o 429
1425.26/1383.09	o 428
1426.16/1383.94	o 427
1426.96/1384.79	o 426
1427.86/1385.63	o 425
1428.66/1386.47	o 424
1429.56/1387.33	o 423
1430.36/1388.20	o 422
1431.26/1389.06	o 421
1432.16/1389.90	o 420
1432.96/1390.77	o 419
1433.86/1391.64	o 418
1434.66/1392.49	o 417
1435.56/1393.35	o 416
1436.46/1394.24	o 415
1437.36/1395.10	o 414
1438.17/1395.95	o 413
1438.96/1396.79	o 412
1439.87/1397.64	o 411
1440.77/1398.53	o 410
1441.87/1399.48	o 409
1442.67/1400.30	o 408
1443.57/1401.16	o 407
1444.48/1402.02	o 406
1445.28/1402.88	o 405
1446.19/1403.73	o 404
1446.98/1404.58	o 403
1447.88/1405.42	o 402
1448.68/1406.29	o 401
1449.58/1407.15	o 400
1450.49/1408.03	o 399
1451.28/1408.88	o 398
1452.18/1409.72	o 397
1452.98/1410.58	o 396
1453.89/1411.46	o 395
1454.78/1412.30	o 394
1455.58/1413.18	o 393
1456.48/1414.03	o 392
1457.28/1414.86	o 391
1458.19/1415.72	o 390
1458.98/1416.56	o 389
1459.88/1417.41	o 388
1461.00/1418.34	o 387
1461.90/1419.21	o 386
1462.70/1420.06	o 385
1463.50/1420.88	o 384
1464.40/1421.76	o 383
1465.30/1422.63	o 382
1466.10/1423.46	o 381
1467.00/1424.32	o 380
1467.80/1425.17	o 379
1468.60/1425.97	o 378
1469.50/1426.82	o 377
1470.30/1427.68	o 376
1471.20/1428.53	o 375
1472.00/1429.39	o 374
1472.90/1430.30	o 373
1473.80/1431.15	o 372
1474.70/1432.00	o 371
1475.50/1432.86	o 370
1476.40/1433.70	o 369
1477.21/1434.53	o 368
1478.00/1435.39	o 367
1478.90/1436.24	o 366
1479.80/1437.10	o 365
1480.93/1438.01	o 364
1481.73/1438.88	o 363
1482.63/1439.72	o 362
1483.53/1440.60	o 361
1484.33/1441.46	o 360
1485.23/1442.32	o 359
1486.03/1443.16	o 358
1486.93/1444.00	o 357
1487.73/1444.87	o 356
1488.63/1445.74	o 355
1489.43/1446.58	o 354
1490.33/1447.43	o 353
1491.13/1448.29	o 352
1492.04/1449.15	o 351
1492.94/1450.01	o 350
1493.74/1450.86	o 349
1494.64/1451.71	o 348
1495.44/1452.56	o 347
1496.23/1453.39	o 346
1497.14/1454.26	o 345
1498.03/1455.10	o 344
1498.83/1455.98	o 343
1499.73/1456.82	o 342
1500.86/1457.75	o 341
1501.66/1458.58	o 340
1502.61/1459.44	o 339
1503.41/1460.29	o 338
1504.32/1461.16	o 337
1505.22/1462.03	o 336
1506.02/1462.83	o 335
1506.82/1463.67	o 334
1507.72/1464.54	o 333
1508.52/1465.39	o 332
1509.42/1466.24	o 331
1510.22/1467.09	o 330
1511.12/1467.94	o 329
1512.02/1468.81	o 328
1512.82/1469.67	o 327
1513.72/1470.51	o 326
1514.52/1471.35	o 325
1515.32/1472.20	o 324
1516.23/1473.08	o 323
1517.12/1473.94	o 322
1517.92/1474.79	o 321
1518.82/1475.63	o 320
1519.62/1476.44	o 319
1520.43/1477.29	o 318
1521.60/1478.22	o 317
1522.40/1479.04	o 316
1523.30/1479.91	o 315
1524.10/1480.75	o 314
1524.90/1481.59	o 313
1525.80/1482.45	o 312
1526.60/1483.29	o 311
1527.50/1484.12	o 310
1528.30/1484.99	o 309
1529.20/1485.80	o 308
1530.00/1486.66	o 307
1530.90/1487.51	o 306
1531.71/1488.34	o 305
1532.60/1489.20	o 304
1533.40/1490.03	o 303
1534.30/1490.91	o 302
1535.11/1491.78	o 301
1536.00/1492.63	o 300
1536.80/1493.44	o 299
1537.60/1494.29	o 298
1538.51/1495.14	o 297
1539.31/1495.98	o 296
1540.21/1496.84	o 295
1541.10/1497.71	o 294
1542.16/1498.62	o 293
1542.97/1499.47	o 292
1543.86/1500.34	o 291
1544.66/1501.19	o 290
1545.56/1502.05	o 289
1546.36/1502.89	o 288
1547.27/1503.72	o 287
1548.06/1504.56	o 286
1548.96/1505.40	o 285
1549.76/1506.27	o 284
1550.67/1507.13	o 283
1551.47/1507.95	o 282
1552.37/1508.83	o 281
1553.17/1509.70	o 280
1554.08/1510.55	o 279
1554.98/1511.40	o 278
1555.78/1512.23	o 277
1556.58/1513.08	o 276
1557.48/1513.91	o 275
1558.29/1514.76	o 274
1559.18/1515.62	o 273
1559.98/1516.47	o 272
1560.88/1517.33	o 271
1561.94/1518.24	o 270
1562.74/1519.08	o 269
1563.54/1519.90	o 268
1564.44/1520.76	o 267
1565.34/1521.60	o 266
1566.15/1522.45	o 265
1567.04/1523.30	o 264
1567.84/1524.14	o 263
1568.75/1525.01	o 262
1569.55/1525.86	o 261
1570.45/1526.70	o 260
1571.25/1527.50	o 259
1572.05/1528.34	o 258
1572.86/1529.15	o 257
1573.65/1529.97	o 256
1574.45/1530.78	o 255
1575.35/1531.61	o 254
1576.16/1532.46	o 253
1576.95/1533.29	o 252
1577.75/1534.08	o 251
1578.66/1534.93	o 250
1579.56/1535.80	o 249
1580.36/1536.62	o 248
1581.16/1537.46	o 247
1582.24/1538.37	o 246
1583.14/1539.22	o 245
1583.94/1540.05	o 244
1584.84/1540.90	o 243
1585.64/1541.72	o 242
1586.44/1542.57	o 241
1587.35/1543.42	o 240
1588.16/1544.26	o 239
1589.06/1545.11	o 238
1589.87/1545.95	o 237
1590.77/1546.80	o 236
1591.57/1547.63	o 235
1592.37/1548.49	o 234
1593.28/1549.33	o 233
1594.07/1550.18	o 232
1594.87/1550.99	o 231
1595.77/1551.84	o 230
1596.57/1552.69	o 229
1597.47/1553.56	o 228
1598.28/1554.38	o 227
1599.17/1555.20	o 226
1599.98/1556.05	o 225
1600.78/1556.87	o 224
1601.68/1557.73	o 223
1602.74/1558.64	o 222
1603.54/1559.46	o 221
1604.44/1560.30	o 220
1605.24/1561.12	o 219
1606.04/1561.96	o 218
1606.94/1562.81	o 217
1607.74/1563.65	o 216
1608.54/1564.49	o 215
1609.45/1565.34	o 214
1610.35/1566.21	o 213
1611.15/1567.08	o 212
1612.05/1567.92	o 211
1612.86/1568.75	o 210
1613.76/1569.60	o 209
1614.56/1570.45	o 208
1615.36/1571.29	o 207
1616.26/1572.13	o 206
1617.06/1572.98	o 205
1617.96/1573.84	o 204
1618.76/1574.67	o 203
1619.66/1575.51	o 202
1620.46/1576.34	o 201
1621.36/1577.20	o 200
1622.16/1578.05	o 199
1623.22/1578.95	o 198
1624.12/1579.80	o 197
1624.92/1580.65	o 196
1625.82/1581.51	o 195
1626.62/1582.37	o 194
1627.54/1583.20	o 193
1628.24/1583.99	o 192
1629.14/1584.82	o 191
1629.84/1585.58	o 190
1630.74/1586.42	o 189
1631.54/1587.28	o 188
1632.44/1588.10	o 187
1633.24/1588.95	o 186
1634.14/1589.82	o 185
1634.94/1590.67	o 184
1635.84/1591.52	o 183
1636.64/1592.39	o 182
1637.44/1593.19	o 181
1638.35/1594.01	o 180
1639.14/1594.85	o 179
1640.04/1595.71	o 178
1640.84/1596.55	o 177
1641.65/1597.38	o 176
1642.72/1598.24	o 175
1643.52/1599.08	o 174
1644.42/1599.93	o 173
1645.33/1600.80	o 172
1646.14/1601.65	o 171
1646.93/1602.46	o 170
1647.83/1603.30	o 169
1648.63/1604.13	o 168
1649.44/1604.98	o 167
1650.33/1605.81	o 166
1651.13/1606.66	o 165
1652.03/1607.51	o 164
1652.84/1608.36	o 163
1653.73/1609.22	o 162
1654.53/1610.03	o 161
1655.33/1610.88	o 160
1656.23/1611.71	o 159
1657.03/1612.57	o 158
1657.93/1613.43	o 157
1658.73/1614.25	o 156
1659.53/1615.07	o 155
1660.44/1615.92	o 154
1661.24/1616.77	o 153
1662.14/1617.64	o 152
1663.20/1618.55	o 151
1664.01/1619.39	o 150
1664.90/1620.24	o 149
1665.71/1621.06	o 148
1666.60/1621.90	o 147
1667.41/1622.74	o 146
1668.21/1623.60	o 145
1669.11/1624.45	o 144
1670.01/1625.30	o 143
1670.81/1626.15	o 142
1671.61/1626.96	o 141
1672.51/1627.81	o 140
1673.32/1628.66	o 139
1674.12/1629.48	o 138
1675.02/1630.33	o 137
1675.82/1631.17	o 136
1676.72/1632.02	o 135
1677.52/1632.84	o 134
1678.32/1633.68	o 133
1679.22/1634.53	o 132
1680.02/1635.39	o 131
1680.92/1636.24	o 130
1681.72/1637.02	o 129
1682.79/1637.91	o 128
1683.49/1638.67	o 127
1684.39/1639.51	o 126
1685.19/1640.37	o 125
1686.10/1641.21	o 124
1686.89/1642.03	o 123
1687.69/1642.84	o 122
1688.49/1643.68	o 121
1689.40/1644.53	o 120
1690.19/1645.36	o 119
1690.99/1646.17	o 118
1691.79/1646.98	o 117
1692.70/1647.84	o 116
1693.49/1648.69	o 115
1694.39/1649.55	o 114
1695.29/1650.40	o 113
1696.10/1651.23	o 112
1696.89/1652.06	o 111
1697.80/1652.90	o 110
1698.59/1653.77	o 109
1699.40/1654.59	o 108
1700.30/1655.41	o 107
1701.10/1656.26	o 106
1702.00/1657.10	o 105
1702.80/1657.92	o 104
1703.60/1658.74	o 103
1704.68/1659.63	o 102
1705.48/1660.47	o 101
1706.38/1661.30	o 100
1707.19/1662.15	o 99
1707.98/1662.99	o 98
1708.88/1663.81	o 97
1709.68/1664.66	o 96
1710.49/1665.49	o 95
1711.38/1666.31	o 94
1712.18/1667.15	o 93
1712.98/1667.98	o 92
1713.89/1668.80	o 91
1714.68/1669.61	o 90
1715.49/1670.45	o 89
1716.29/1671.29	o 88
1717.19/1672.11	o 87
1717.99/1672.97	o 86
1718.79/1673.79	o 85
1719.69/1674.60	o 84
1720.49/1675.44	o 83
1721.29/1676.27	o 82
1722.20/1677.12	o 81
1723.00/1677.96	o 80
1723.90/1678.81	o 79
1724.70/1679.66	o 78
1725.78/1680.58	o 77
1726.68/1681.42	o 76
1727.48/1682.25	o 75
1728.29/1683.05	o 74
1729.08/1683.87	o 73
1730.55/1684.81	o 72
1731.73/1685.70	o 71
1732.81/1686.55	o 70
1734.14/1687.39	o 69
1735.04/1688.22	o 68
1735.84/1689.05	o 67
1736.71/1689.89	o 66
1737.61/1690.74	o 65
1738.41/1691.51	o 64
1739.22/1692.34	o 63
1740.02/1693.16	o 62
1740.82/1693.99	o 61
1741.72/1694.83	o 60
1742.52/1695.66	o 59
1743.42/1696.50	o 58
1744.23/1697.36	o 57
1745.12/1698.21	o 56
1745.92/1699.05	o 55
1747.01/1699.94	o 54
1747.81/1700.78	o 53
1748.71/1701.61	o 52
1749.51/1702.47	o 51
1750.41/1703.31	o 50
1751.21/1704.15	o 49
1752.01/1704.97	o 48
1752.91/1705.83	o 47
1753.71/1706.66	o 46
1754.61/1707.52	o 45
1755.42/1708.37	o 44
1756.31/1709.20	o 43
1757.11/1710.05	o 42
1757.92/1710.89	o 41
1758.82/1711.72	o 40
1759.61/1712.57	o 39
1760.51/1713.42	o 38
1761.31/1714.26	o 37
1762.13/1715.09	o 36
1763.02/1715.93	o 35
1764.09/1716.83	o 34
1764.89/1717.68	o 33
1765.79/1718.51	o 32
1766.60/1719.35	o 31
1767.40/1720.18	o 30
1768.30/1721.02	o 29
1769.10/1721.87	o 28
1770.00/1722.75	o 27
1770.80/1723.59	o 26
1771.70/1724.44	o 25
1772.50/1725.29	o 24
1773.40/1726.11	o 23
1774.20/1726.96	o 22
1775.00/1727.78	o 21
1775.90/1728.63	o 20
1776.70/1729.48	o 19
1777.61/1730.36	o 18
1778.50/1731.22	o 17
1779.30/1732.07	o 16
1780.37/1732.98	o 15
1781.27/1733.80	o 14
1782.09/1734.61	o 13
1782.89/1735.43	o 12
1783.73/1736.29	o 11
1785.64/1737.14	o 10
1786.58/1737.98	o 9
1787.55/1738.83	o 8
1788.38/1739.62	o 7
2520.05/2467.81	java.util.concurrent.TimeoutException
2520.05/2467.81		at concrete.MAC.mac(MAC.scala:74)
2520.05/2467.81		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.05/2467.81		at scala.util.Try$.apply(Try.scala:209)
2520.05/2467.81		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.05/2467.81		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.05/2467.81		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.05/2467.81		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.05/2467.81		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.05/2467.81		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.05/2467.81		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.05/2467.81		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.05/2467.81		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.05/2467.81		at concrete.MAC.oneRun(MAC.scala:146)
2520.05/2467.81		at concrete.MAC.nextSolution(MAC.scala:166)
2520.05/2467.81		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.05/2467.81		at concrete.ProblemState.map(ProblemState.scala:203)
2520.05/2467.81		at concrete.ProblemState.map(ProblemState.scala:188)
2520.05/2467.81		at concrete.MAC.nextSolution(MAC.scala:195)
2520.05/2467.81		at concrete.Solver.hasNext(Solver.scala:202)
2520.05/2467.81		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.05/2467.81		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.05/2467.81		at concrete.Solver.toStream(Solver.scala:73)
2520.05/2467.81		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.05/2467.81		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.05/2467.81		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.05/2467.81		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.05/2467.81		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.05/2467.81		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.05/2467.81		at scala.util.Success.map(Try.scala:209)
2520.05/2467.81		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.05/2467.81		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.05/2467.81		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.05/2467.81		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.05/2467.81		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.05/2467.81		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.05/2467.81		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.05/2467.81		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.05/2467.81		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.05/2467.81		at scala.collection.immutable.List.foreach(List.scala:389)
2520.05/2467.81		at scala.App.main(App.scala:76)
2520.05/2467.81		at scala.App.main$(App.scala:74)
2520.05/2467.81		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.05/2467.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.05/2467.81	v <instantiation cost="7">
2520.05/2467.81	v       <list>
2520.05/2467.81	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029]
2520.05/2467.81	v       </list>
2520.05/2467.81	v       <values>
2520.05/2467.81	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
2520.05/2467.81	v       </values>
2520.05/2467.81	v     </instantiation>
2520.05/2467.81	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-4261956-1502424604/watcher-4261956-1502424604 -o /tmp/evaluation-result-4261956-1502424604/solver-4261956-1502424604 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13072 --watchdog 2580 bin/concrete HOME/instance-4261956-1502424604.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.53 1.80 1.61 5/198 16041
/proc/meminfo: memFree=30971828/32770624 swapFree=0/462276
[pid=16041] ppid=16038 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/16041/stat : 16041 (runsolver) D 16038 16041 13007 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 84371589 24240128 106 18446744073709551615 4194304 4338465 140729993578528 140729993576168 140158454117079 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 13565952 140729993580752 140729993581129 140729993581129 140729993584586 0
/proc/16041/statm: 5918 106 53 36 0 2156 0

[startup+0.100118 s]
/proc/loadavg: 2.53 1.80 1.61 5/198 16041
/proc/meminfo: memFree=30971828/32770624 swapFree=0/462276
[pid=16041] ppid=16038 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/16041/stat : 16041 (bash) S 16038 16041 13007 0 -1 4202496 715 3533 0 0 0 0 0 0 20 0 1 0 84371589 9736192 355 18446744073709551615 4194304 5098028 140726391525792 140726391523432 140618926021632 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 8 0 0 7196144 7232144 10551296 140726391530004 140726391530089 140726391530089 140726391533546 0
/proc/16041/statm: 2377 355 282 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200323 s]
/proc/loadavg: 2.53 1.80 1.61 5/198 16041
/proc/meminfo: memFree=30971828/32770624 swapFree=0/462276
[pid=16041] ppid=16038 vsize=11658656 CPUtime=0.07 cores=1,3,5,7
/proc/16041/stat : 16041 (java) S 16038 16041 13007 0 -1 1077944320 3102 12472 0 0 0 0 5 2 20 0 3 0 84371589 11938463744 1880 18446744073709551615 4194304 4196468 140729490143984 140729490126528 140481096146679 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
/proc/16041/statm: 2914664 1880 1152 1 0 2904634 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11658656

[startup+0.300897 s]
/proc/loadavg: 2.53 1.80 1.61 5/198 16041
/proc/meminfo: memFree=30971828/32770624 swapFree=0/462276
[pid=16041] ppid=16038 vsize=13974124 CPUtime=0.15 cores=1,3,5,7
/proc/16041/stat : 16041 (java) S 16038 16041 13007 0 -1 1077944320 5902 12472 0 0 7 1 5 2 20 0 15 0 84371589 14309502976 7030 18446744073709551615 4194304 4196468 140729490143984 140729490126528 140481096146679 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
/proc/16041/statm: 3493531 7030 2718 1 0 3482965 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 13974124

[startup+0.700235 s]
/proc/loadavg: 2.53 1.80 1.61 5/198 16041
/proc/meminfo: memFree=30971828/32770624 swapFree=0/462276
[pid=16041] ppid=16038 vsize=13974784 CPUtime=0.71 cores=1,3,5,7
/proc/16041/stat : 16041 (java) S 16038 16041 13007 0 -1 1077944320 13691 12472 0 0 61 3 5 2 20 0 15 0 84371589 14310178816 15089 18446744073709551615 4194304 4196468 140729490143984 140729490126528 140481096146679 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
/proc/16041/statm: 3493696 15089 3092 1 0 3482965 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 13974784

[startup+1.50059 s]
/proc/loadavg: 2.53 1.80 1.61 4/213 16104
/proc/meminfo: memFree=30757620/32770624 swapFree=0/462656
[pid=16041] ppid=16038 vsize=13985408 CPUtime=1.92 cores=1,3,5,7
/proc/16041/stat : 16041 (java) S 16038 16041 13007 0 -1 1077944320 28720 12472 0 0 175 10 5 2 20 0 15 0 84371589 14321057792 42651 18446744073709551615 4194304 4196468 140729490143984 140729490126528 140481096146679 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
/proc/16041/statm: 3496352 42651 3368 1 0 3485525 0
[pid=16041/tid=16091] ppid=16038 vsize=13985408 CPUtime=1.29 cores=1,3,5,7
/proc/16041/task/16091/stat : 16091 (java) R 16038 16041 13007 0 -1 4202560 21589 12472 0 0 116 6 5 2 20 0 15 0 84371608 14321057792 42651 18446744073709551615 4194304 4196468 140729490143984 140481100366832 140481096158614 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16092] ppid=16038 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16092/stat : 16092 (java) S 16038 16041 13007 0 -1 1077944384 51 12472 0 0 0 0 5 2 20 0 15 0 84371609 14321057792 42651 18446744073709551615 4194304 4196468 140729490143984 140480696314896 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16093] ppid=16038 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16093/stat : 16093 (java) S 16038 16041 13007 0 -1 1077944384 52 12472 0 0 0 0 5 2 20 0 15 0 84371609 14321057792 42651 18446744073709551615 4194304 4196468 140729490143984 140480695262352 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16094] ppid=16038 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16094/stat : 16094 (java) S 16038 16041 13007 0 -1 1077944384 193 12472 0 0 0 0 5 2 20 0 15 0 84371609 14321057792 42651 18446744073709551615 4194304 4196468 140729490143984 140480694209296 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16095] ppid=16038 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16095/stat : 16095 (java) S 16038 16041 13007 0 -1 1077944384 45 12472 0 0 0 0 5 2 20 0 15 0 84371609 14321057792 42651 18446744073709551615 4194304 4196468 140729490143984 140480693156752 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16096] ppid=16038 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16041/task/16096/stat : 16096 (java) S 16038 16041 13007 0 -1 1077944384 1462 12472 0 0 1 0 5 2 20 0 15 0 84371610 14321057792 42651 18446744073709551615 4194304 4196468 140729490143984 140480574597360 140481096157826 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16097] ppid=16038 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16097/stat : 16097 (java) S 16038 16041 13007 0 -1 1077944384 55 12472 0 0 0 0 5 2 20 0 15 0 84371610 14321057792 42651 18446744073709551615 4194304 4196468 140729490143984 140480573543648 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16098] ppid=16038 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16098/stat : 16098 (java) S 16038 16041 13007 0 -1 1077944384 45 12472 0 0 0 0 5 2 20 0 15 0 84371611 14321057792 42651 18446744073709551615 4194304 4196468 140729490143984 140480572490496 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16099] ppid=16038 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16099/stat : 16099 (java) S 16038 16041 13007 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 84371613 14321057792 42651 18446744073709551615 4194304 4196468 140729490143984 140480571439056 140481096165275 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16100] ppid=16038 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/16041/task/16100/stat : 16100 (java) S 16038 16041 13007 0 -1 1077944384 1226 12472 0 0 17 0 5 2 20 0 15 0 84371613 14321057792 42651 18446744073709551615 4194304 4196468 140729490143984 140480570387184 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16101] ppid=16038 vsize=13985408 CPUtime=0.18 cores=1,3,5,7
/proc/16041/task/16101/stat : 16101 (java) R 16038 16041 13007 0 -1 1077944384 516 12472 0 0 11 0 5 2 20 0 15 0 84371613 14321057792 42651 18446744073709551615 4194304 4196468 140729490143984 140480569334640 140481096157826 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16102] ppid=16038 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/16041/task/16102/stat : 16102 (java) S 16038 16041 13007 0 -1 1077944384 1321 12472 0 0 23 0 5 2 20 0 15 0 84371613 14321057792 42651 18446744073709551615 4194304 4196468 140729490143984 140480568281584 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16103] ppid=16038 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16103/stat : 16103 (java) S 16038 16041 13007 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 84371614 14321057792 42651 18446744073709551615 4194304 4196468 140729490143984 140480567229280 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16104] ppid=16038 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16104/stat : 16104 (java) S 16038 16041 13007 0 -1 1077944384 8 12472 0 0 0 0 5 2 20 0 15 0 84371617 14321057792 42651 18446744073709551615 4194304 4196468 140729490143984 140480566176304 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 13985408

[startup+3.10071 s]
/proc/loadavg: 2.53 1.80 1.61 5/213 16104
/proc/meminfo: memFree=30647484/32770624 swapFree=0/462656
[pid=16041] ppid=16038 vsize=13995836 CPUtime=5.88 cores=1,3,5,7
/proc/16041/stat : 16041 (java) S 16038 16041 13007 0 -1 1077944320 38462 12472 0 0 565 16 5 2 20 0 15 0 84371589 14331736064 71962 18446744073709551615 4194304 4196468 140729490143984 140729490126528 140481096146679 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
/proc/16041/statm: 3498959 71962 3459 1 0 3487573 0
[pid=16041/tid=16091] ppid=16038 vsize=13995836 CPUtime=2.87 cores=1,3,5,7
/proc/16041/task/16091/stat : 16091 (java) R 16038 16041 13007 0 -1 4202560 25463 12472 0 0 271 9 5 2 20 0 15 0 84371608 14331736064 71962 18446744073709551615 4194304 4196468 140729490143984 140481100373856 140481077728962 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16092] ppid=16038 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/16041/task/16092/stat : 16092 (java) S 16038 16041 13007 0 -1 1077944384 81 12472 0 0 2 0 5 2 20 0 15 0 84371609 14331736064 71962 18446744073709551615 4194304 4196468 140729490143984 140480696314896 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16093] ppid=16038 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/16041/task/16093/stat : 16093 (java) S 16038 16041 13007 0 -1 1077944384 216 12472 0 0 2 0 5 2 20 0 15 0 84371609 14331736064 71962 18446744073709551615 4194304 4196468 140729490143984 140480695262352 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16094] ppid=16038 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/16041/task/16094/stat : 16094 (java) S 16038 16041 13007 0 -1 1077944384 221 12472 0 0 2 0 5 2 20 0 15 0 84371609 14331736064 71962 18446744073709551615 4194304 4196468 140729490143984 140480694209296 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16095] ppid=16038 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/16041/task/16095/stat : 16095 (java) S 16038 16041 13007 0 -1 1077944384 55 12472 0 0 1 0 5 2 20 0 15 0 84371609 14331736064 71962 18446744073709551615 4194304 4196468 140729490143984 140480693156752 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16096] ppid=16038 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/16041/task/16096/stat : 16096 (java) S 16038 16041 13007 0 -1 1077944384 1633 12472 0 0 1 0 5 2 20 0 15 0 84371610 14331736064 71962 18446744073709551615 4194304 4196468 140729490143984 140480574597360 140481096157826 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16097] ppid=16038 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16097/stat : 16097 (java) S 16038 16041 13007 0 -1 1077944384 55 12472 0 0 0 0 5 2 20 0 15 0 84371610 14331736064 71962 18446744073709551615 4194304 4196468 140729490143984 140480573543648 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16098] ppid=16038 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16098/stat : 16098 (java) S 16038 16041 13007 0 -1 1077944384 45 12472 0 0 0 0 5 2 20 0 15 0 84371611 14331736064 71962 18446744073709551615 4194304 4196468 140729490143984 140480572490496 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16099] ppid=16038 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16099/stat : 16099 (java) S 16038 16041 13007 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 84371613 14331736064 71962 18446744073709551615 4194304 4196468 140729490143984 140480571439056 140481096165275 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16100] ppid=16038 vsize=13995836 CPUtime=1.06 cores=1,3,5,7
/proc/16041/task/16100/stat : 16100 (java) S 16038 16041 13007 0 -1 1077944384 2548 12472 0 0 98 1 5 2 20 0 15 0 84371613 14331736064 71962 18446744073709551615 4194304 4196468 140729490143984 140480570387184 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16101] ppid=16038 vsize=13995836 CPUtime=1.01 cores=1,3,5,7
/proc/16041/task/16101/stat : 16101 (java) R 16038 16041 13007 0 -1 4202560 2003 12472 0 0 94 0 5 2 20 0 15 0 84371613 14331736064 71962 18446744073709551615 4194304 4196468 140729490143984 140480569318992 140481075579771 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16102] ppid=16038 vsize=13995836 CPUtime=0.97 cores=1,3,5,7
/proc/16041/task/16102/stat : 16102 (java) R 16038 16041 13007 0 -1 4202560 3974 12472 0 0 89 1 5 2 20 0 15 0 84371613 14331736064 71962 18446744073709551615 4194304 4196468 140729490143984 140480568281584 140481096168026 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16103] ppid=16038 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16103/stat : 16103 (java) S 16038 16041 13007 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 84371614 14331736064 71962 18446744073709551615 4194304 4196468 140729490143984 140480567229280 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16104] ppid=16038 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16104/stat : 16104 (java) S 16038 16041 13007 0 -1 1077944384 11 12472 0 0 0 0 5 2 20 0 15 0 84371617 14331736064 71962 18446744073709551615 4194304 4196468 140729490143984 140480566176304 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 13995836

[startup+6.30087 s]
/proc/loadavg: 2.64 1.84 1.62 3/213 16228
/proc/meminfo: memFree=30604192/32770624 swapFree=0/462704
[pid=16041] ppid=16038 vsize=13997884 CPUtime=13.78 cores=1,3,5,7
/proc/16041/stat : 16041 (java) S 16038 16041 13007 0 -1 1077944320 50588 12472 0 0 1329 42 5 2 20 0 15 0 84371589 14333833216 160906 18446744073709551615 4194304 4196468 140729490143984 140729490126528 140481096146679 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
/proc/16041/statm: 3499471 160906 3477 1 0 3488085 0
[pid=16041/tid=16091] ppid=16038 vsize=13997884 CPUtime=5.82 cores=1,3,5,7
/proc/16041/task/16091/stat : 16091 (java) R 16038 16041 13007 0 -1 4202560 26632 12472 0 0 564 11 5 2 20 0 15 0 84371608 14333833216 160906 18446744073709551615 4194304 4196468 140729490143984 140481100379824 140480737946458 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16092] ppid=16038 vsize=13997884 CPUtime=0.31 cores=1,3,5,7
/proc/16041/task/16092/stat : 16092 (java) S 16038 16041 13007 0 -1 1077944384 348 12472 0 0 18 6 5 2 20 0 15 0 84371609 14333833216 160906 18446744073709551615 4194304 4196468 140729490143984 140480696314896 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16093] ppid=16038 vsize=13997884 CPUtime=0.3 cores=1,3,5,7
/proc/16041/task/16093/stat : 16093 (java) S 16038 16041 13007 0 -1 1077944384 721 12472 0 0 17 6 5 2 20 0 15 0 84371609 14333833216 160906 18446744073709551615 4194304 4196468 140729490143984 140480695262352 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16094] ppid=16038 vsize=13997884 CPUtime=0.32 cores=1,3,5,7
/proc/16041/task/16094/stat : 16094 (java) S 16038 16041 13007 0 -1 1077944384 466 12472 0 0 19 6 5 2 20 0 15 0 84371609 14333833216 160906 18446744073709551615 4194304 4196468 140729490143984 140480694209296 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16095] ppid=16038 vsize=13997884 CPUtime=0.29 cores=1,3,5,7
/proc/16041/task/16095/stat : 16095 (java) S 16038 16041 13007 0 -1 1077944384 371 12472 0 0 17 5 5 2 20 0 15 0 84371609 14333833216 160906 18446744073709551615 4194304 4196468 140729490143984 140480693156752 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16096] ppid=16038 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/16041/task/16096/stat : 16096 (java) S 16038 16041 13007 0 -1 1077944384 1884 12472 0 0 2 0 5 2 20 0 15 0 84371610 14333833216 160906 18446744073709551615 4194304 4196468 140729490143984 140480574597360 140481096157826 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16097] ppid=16038 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16097/stat : 16097 (java) S 16038 16041 13007 0 -1 1077944384 55 12472 0 0 0 0 5 2 20 0 15 0 84371610 14333833216 160906 18446744073709551615 4194304 4196468 140729490143984 140480573543648 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16098] ppid=16038 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16098/stat : 16098 (java) S 16038 16041 13007 0 -1 1077944384 45 12472 0 0 0 0 5 2 20 0 15 0 84371611 14333833216 160906 18446744073709551615 4194304 4196468 140729490143984 140480572490496 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16099] ppid=16038 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16099/stat : 16099 (java) S 16038 16041 13007 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 84371613 14333833216 160906 18446744073709551615 4194304 4196468 140729490143984 140480571439056 140481096165275 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16100] ppid=16038 vsize=13997884 CPUtime=2.88 cores=1,3,5,7
/proc/16041/task/16100/stat : 16100 (java) S 16038 16041 13007 0 -1 1077944384 4629 12472 0 0 280 1 5 2 20 0 15 0 84371613 14333833216 160906 18446744073709551615 4194304 4196468 140729490143984 140480570387184 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16101] ppid=16038 vsize=13997884 CPUtime=2.81 cores=1,3,5,7
/proc/16041/task/16101/stat : 16101 (java) R 16038 16041 13007 0 -1 4202560 4533 12472 0 0 273 1 5 2 20 0 15 0 84371613 14333833216 160906 18446744073709551615 4194304 4196468 140729490143984 140480569315656 140481079643467 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16102] ppid=16038 vsize=13997884 CPUtime=1.43 cores=1,3,5,7
/proc/16041/task/16102/stat : 16102 (java) S 16038 16041 13007 0 -1 1077944384 8673 12472 0 0 134 2 5 2 20 0 15 0 84371613 14333833216 160906 18446744073709551615 4194304 4196468 140729490143984 140480568281584 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16103] ppid=16038 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16103/stat : 16103 (java) S 16038 16041 13007 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 84371614 14333833216 160906 18446744073709551615 4194304 4196468 140729490143984 140480567229280 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16104] ppid=16038 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16104/stat : 16104 (java) S 16038 16041 13007 0 -1 1077944384 74 12472 0 0 0 0 5 2 20 0 15 0 84371617 14333833216 160906 18446744073709551615 4194304 4196468 140729490143984 140480566176304 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
Current children cumulated CPU time (s) 13.78
Current children cumulated vsize (KiB) 13997884

[startup+12.7007 s]
/proc/loadavg: 2.83 1.89 1.64 5/213 16228
/proc/meminfo: memFree=29633360/32770624 swapFree=0/462704
[pid=16041] ppid=16038 vsize=13999932 CPUtime=24.76 cores=1,3,5,7
/proc/16041/stat : 16041 (java) S 16038 16041 13007 0 -1 1077944320 57286 12472 0 0 2410 59 5 2 20 0 15 0 84371589 14335930368 281790 18446744073709551615 4194304 4196468 140729490143984 140729490126528 140481096146679 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
/proc/16041/statm: 3499983 281790 3478 1 0 3488597 0
[pid=16041/tid=16091] ppid=16038 vsize=13999932 CPUtime=12.13 cores=1,3,5,7
/proc/16041/task/16091/stat : 16091 (java) R 16038 16041 13007 0 -1 4202560 28138 12472 0 0 1188 18 5 2 20 0 15 0 84371608 14335930368 281790 18446744073709551615 4194304 4196468 140729490143984 140481100380528 140480747649936 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16092] ppid=16038 vsize=13999932 CPUtime=0.39 cores=1,3,5,7
/proc/16041/task/16092/stat : 16092 (java) S 16038 16041 13007 0 -1 1077944384 386 12472 0 0 24 8 5 2 20 0 15 0 84371609 14335930368 281790 18446744073709551615 4194304 4196468 140729490143984 140480696314896 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16093] ppid=16038 vsize=13999932 CPUtime=0.38 cores=1,3,5,7
/proc/16041/task/16093/stat : 16093 (java) S 16038 16041 13007 0 -1 1077944384 759 12472 0 0 23 8 5 2 20 0 15 0 84371609 14335930368 281790 18446744073709551615 4194304 4196468 140729490143984 140480695262352 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16094] ppid=16038 vsize=13999932 CPUtime=0.4 cores=1,3,5,7
/proc/16041/task/16094/stat : 16094 (java) S 16038 16041 13007 0 -1 1077944384 508 12472 0 0 25 8 5 2 20 0 15 0 84371609 14335930368 281790 18446744073709551615 4194304 4196468 140729490143984 140480694209296 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16095] ppid=16038 vsize=13999932 CPUtime=0.37 cores=1,3,5,7
/proc/16041/task/16095/stat : 16095 (java) S 16038 16041 13007 0 -1 1077944384 410 12472 0 0 23 7 5 2 20 0 15 0 84371609 14335930368 281790 18446744073709551615 4194304 4196468 140729490143984 140480693156752 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16096] ppid=16038 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/16041/task/16096/stat : 16096 (java) S 16038 16041 13007 0 -1 1077944384 2207 12472 0 0 3 0 5 2 20 0 15 0 84371610 14335930368 281790 18446744073709551615 4194304 4196468 140729490143984 140480574597360 140481096157826 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16097] ppid=16038 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16097/stat : 16097 (java) S 16038 16041 13007 0 -1 1077944384 55 12472 0 0 0 0 5 2 20 0 15 0 84371610 14335930368 281790 18446744073709551615 4194304 4196468 140729490143984 140480573543648 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16098] ppid=16038 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16098/stat : 16098 (java) S 16038 16041 13007 0 -1 1077944384 45 12472 0 0 0 0 5 2 20 0 15 0 84371611 14335930368 281790 18446744073709551615 4194304 4196468 140729490143984 140480572490496 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16099] ppid=16038 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16099/stat : 16099 (java) S 16038 16041 13007 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 84371613 14335930368 281790 18446744073709551615 4194304 4196468 140729490143984 140480571439056 140481096165275 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0

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

/proc/16041/task/16103/stat : 16103 (java) S 16038 16041 13007 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 84371614 14407233536 1094235 18446744073709551615 4194304 4196468 140729490143984 140480567229280 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16104] ppid=16038 vsize=14069564 CPUtime=1.26 cores=1,3,5,7
/proc/16041/task/16104/stat : 16104 (java) S 16038 16041 13007 0 -1 1077944384 2194 12472 0 0 51 68 5 2 20 0 15 0 84371617 14407233536 1094235 18446744073709551615 4194304 4196468 140729490143984 140480566176304 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
Current children cumulated CPU time (s) 2314.25
Current children cumulated vsize (KiB) 14069564

[startup+2322.3 s]
/proc/loadavg: 1.75 1.72 1.69 3/214 16769
/proc/meminfo: memFree=26285032/32770624 swapFree=0/462984
[pid=16041] ppid=16038 vsize=14069564 CPUtime=2374.32 cores=1,3,5,7
/proc/16041/stat : 16041 (java) S 16038 16041 13007 0 -1 1077944320 502329 12472 0 0 236928 497 5 2 20 0 15 0 84371589 14407233536 1094239 18446744073709551615 4194304 4196468 140729490143984 140729490126528 140481096146679 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
/proc/16041/statm: 3517391 1094239 3495 1 0 3506005 0
[pid=16041/tid=16091] ppid=16038 vsize=14069564 CPUtime=2312.43 cores=1,3,5,7
/proc/16041/task/16091/stat : 16091 (java) R 16038 16041 13007 0 -1 4202560 216235 12472 0 0 231141 95 5 2 20 0 15 0 84371608 14407233536 1094239 18446744073709551615 4194304 4196468 140729490143984 140481100380624 140480741345875 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16092] ppid=16038 vsize=14069564 CPUtime=9.2 cores=1,3,5,7
/proc/16041/task/16092/stat : 16092 (java) S 16038 16041 13007 0 -1 1077944384 24624 12472 0 0 833 80 5 2 20 0 15 0 84371609 14407233536 1094239 18446744073709551615 4194304 4196468 140729490143984 140480696314896 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16093] ppid=16038 vsize=14069564 CPUtime=9.2 cores=1,3,5,7
/proc/16041/task/16093/stat : 16093 (java) S 16038 16041 13007 0 -1 1077944384 30038 12472 0 0 833 80 5 2 20 0 15 0 84371609 14407233536 1094239 18446744073709551615 4194304 4196468 140729490143984 140480695262352 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16094] ppid=16038 vsize=14069564 CPUtime=9.19 cores=1,3,5,7
/proc/16041/task/16094/stat : 16094 (java) S 16038 16041 13007 0 -1 1077944384 23899 12472 0 0 832 80 5 2 20 0 15 0 84371609 14407233536 1094239 18446744073709551615 4194304 4196468 140729490143984 140480694209296 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16095] ppid=16038 vsize=14069564 CPUtime=9.17 cores=1,3,5,7
/proc/16041/task/16095/stat : 16095 (java) S 16038 16041 13007 0 -1 1077944384 27053 12472 0 0 830 80 5 2 20 0 15 0 84371609 14407233536 1094239 18446744073709551615 4194304 4196468 140729490143984 140480693156752 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16096] ppid=16038 vsize=14069564 CPUtime=0.65 cores=1,3,5,7
/proc/16041/task/16096/stat : 16096 (java) S 16038 16041 13007 0 -1 1077944384 40586 12472 0 0 48 10 5 2 20 0 15 0 84371610 14407233536 1094239 18446744073709551615 4194304 4196468 140729490143984 140480574597360 140481096157826 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16097] ppid=16038 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16041/task/16097/stat : 16097 (java) S 16038 16041 13007 0 -1 1077944384 236 12472 0 0 1 0 5 2 20 0 15 0 84371610 14407233536 1094239 18446744073709551615 4194304 4196468 140729490143984 140480573543648 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16098] ppid=16038 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16098/stat : 16098 (java) S 16038 16041 13007 0 -1 1077944384 52 12472 0 0 0 0 5 2 20 0 15 0 84371611 14407233536 1094239 18446744073709551615 4194304 4196468 140729490143984 140480572490496 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16099] ppid=16038 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16099/stat : 16099 (java) S 16038 16041 13007 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 84371613 14407233536 1094239 18446744073709551615 4194304 4196468 140729490143984 140480571439056 140481096165275 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16100] ppid=16038 vsize=14069564 CPUtime=10.03 cores=1,3,5,7
/proc/16041/task/16100/stat : 16100 (java) S 16038 16041 13007 0 -1 1077944384 39483 12472 0 0 991 5 5 2 20 0 15 0 84371613 14407233536 1094239 18446744073709551615 4194304 4196468 140729490143984 140480570387184 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16101] ppid=16038 vsize=14069564 CPUtime=10.71 cores=1,3,5,7
/proc/16041/task/16101/stat : 16101 (java) S 16038 16041 13007 0 -1 1077944384 39759 12472 0 0 1059 5 5 2 20 0 15 0 84371613 14407233536 1094239 18446744073709551615 4194304 4196468 140729490143984 140480569334640 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16102] ppid=16038 vsize=14069564 CPUtime=2.95 cores=1,3,5,7
/proc/16041/task/16102/stat : 16102 (java) S 16038 16041 13007 0 -1 1077944384 55975 12472 0 0 281 7 5 2 20 0 15 0 84371613 14407233536 1094239 18446744073709551615 4194304 4196468 140729490143984 140480568281584 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16103] ppid=16038 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16103/stat : 16103 (java) S 16038 16041 13007 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 84371614 14407233536 1094239 18446744073709551615 4194304 4196468 140729490143984 140480567229280 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16104] ppid=16038 vsize=14069564 CPUtime=1.29 cores=1,3,5,7
/proc/16041/task/16104/stat : 16104 (java) S 16038 16041 13007 0 -1 1077944384 2232 12472 0 0 53 69 5 2 20 0 15 0 84371617 14407233536 1094239 18446744073709551615 4194304 4196468 140729490143984 140480566176304 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
Current children cumulated CPU time (s) 2374.32
Current children cumulated vsize (KiB) 14069564

[startup+2382.3 s]
/proc/loadavg: 1.84 1.74 1.70 3/213 16771
/proc/meminfo: memFree=26281924/32770624 swapFree=0/462992
[pid=16041] ppid=16038 vsize=14069564 CPUtime=2434.41 cores=1,3,5,7
/proc/16041/stat : 16041 (java) S 16038 16041 13007 0 -1 1077944320 510211 12472 0 0 242933 501 5 2 20 0 15 0 84371589 14407233536 1094795 18446744073709551615 4194304 4196468 140729490143984 140729490126528 140481096146679 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
/proc/16041/statm: 3517391 1094795 3495 1 0 3506005 0
[pid=16041/tid=16091] ppid=16038 vsize=14069564 CPUtime=2372.42 cores=1,3,5,7
/proc/16041/task/16091/stat : 16091 (java) R 16038 16041 13007 0 -1 4202560 220902 12472 0 0 237138 97 5 2 20 0 15 0 84371608 14407233536 1094795 18446744073709551615 4194304 4196468 140729490143984 140481100380624 140480747743518 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16092] ppid=16038 vsize=14069564 CPUtime=9.22 cores=1,3,5,7
/proc/16041/task/16092/stat : 16092 (java) S 16038 16041 13007 0 -1 1077944384 26336 12472 0 0 835 80 5 2 20 0 15 0 84371609 14407233536 1094795 18446744073709551615 4194304 4196468 140729490143984 140480696314896 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16093] ppid=16038 vsize=14069564 CPUtime=9.22 cores=1,3,5,7
/proc/16041/task/16093/stat : 16093 (java) S 16038 16041 13007 0 -1 1077944384 30479 12472 0 0 835 80 5 2 20 0 15 0 84371609 14407233536 1094795 18446744073709551615 4194304 4196468 140729490143984 140480695262352 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16094] ppid=16038 vsize=14069564 CPUtime=9.21 cores=1,3,5,7
/proc/16041/task/16094/stat : 16094 (java) S 16038 16041 13007 0 -1 1077944384 24250 12472 0 0 834 80 5 2 20 0 15 0 84371609 14407233536 1094795 18446744073709551615 4194304 4196468 140729490143984 140480694209296 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16095] ppid=16038 vsize=14069564 CPUtime=9.18 cores=1,3,5,7
/proc/16041/task/16095/stat : 16095 (java) S 16038 16041 13007 0 -1 1077944384 27346 12472 0 0 831 80 5 2 20 0 15 0 84371609 14407233536 1094795 18446744073709551615 4194304 4196468 140729490143984 140480693156752 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16096] ppid=16038 vsize=14069564 CPUtime=0.65 cores=1,3,5,7
/proc/16041/task/16096/stat : 16096 (java) S 16038 16041 13007 0 -1 1077944384 40951 12472 0 0 48 10 5 2 20 0 15 0 84371610 14407233536 1094795 18446744073709551615 4194304 4196468 140729490143984 140480574597360 140481096157826 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16097] ppid=16038 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16041/task/16097/stat : 16097 (java) S 16038 16041 13007 0 -1 1077944384 236 12472 0 0 1 0 5 2 20 0 15 0 84371610 14407233536 1094795 18446744073709551615 4194304 4196468 140729490143984 140480573543648 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16098] ppid=16038 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16098/stat : 16098 (java) S 16038 16041 13007 0 -1 1077944384 52 12472 0 0 0 0 5 2 20 0 15 0 84371611 14407233536 1094795 18446744073709551615 4194304 4196468 140729490143984 140480572490496 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16099] ppid=16038 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16099/stat : 16099 (java) S 16038 16041 13007 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 84371613 14407233536 1094795 18446744073709551615 4194304 4196468 140729490143984 140480571439056 140481096165275 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16100] ppid=16038 vsize=14069564 CPUtime=10.03 cores=1,3,5,7
/proc/16041/task/16100/stat : 16100 (java) S 16038 16041 13007 0 -1 1077944384 39491 12472 0 0 991 5 5 2 20 0 15 0 84371613 14407233536 1094795 18446744073709551615 4194304 4196468 140729490143984 140480570387184 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16101] ppid=16038 vsize=14069564 CPUtime=10.71 cores=1,3,5,7
/proc/16041/task/16101/stat : 16101 (java) S 16038 16041 13007 0 -1 1077944384 39762 12472 0 0 1059 5 5 2 20 0 15 0 84371613 14407233536 1094795 18446744073709551615 4194304 4196468 140729490143984 140480569334640 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16102] ppid=16038 vsize=14069564 CPUtime=2.95 cores=1,3,5,7
/proc/16041/task/16102/stat : 16102 (java) S 16038 16041 13007 0 -1 1077944384 55979 12472 0 0 281 7 5 2 20 0 15 0 84371613 14407233536 1094795 18446744073709551615 4194304 4196468 140729490143984 140480568281584 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16103] ppid=16038 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16103/stat : 16103 (java) S 16038 16041 13007 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 84371614 14407233536 1094795 18446744073709551615 4194304 4196468 140729490143984 140480567229280 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16104] ppid=16038 vsize=14069564 CPUtime=1.33 cores=1,3,5,7
/proc/16041/task/16104/stat : 16104 (java) S 16038 16041 13007 0 -1 1077944384 2270 12472 0 0 54 72 5 2 20 0 15 0 84371617 14407233536 1094795 18446744073709551615 4194304 4196468 140729490143984 140480566176304 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
Current children cumulated CPU time (s) 2434.41
Current children cumulated vsize (KiB) 14069564

[startup+2442.3 s]
/proc/loadavg: 2.01 1.80 1.72 3/213 16773
/proc/meminfo: memFree=26278048/32770624 swapFree=0/462996
[pid=16041] ppid=16038 vsize=14069564 CPUtime=2494.49 cores=1,3,5,7
/proc/16041/stat : 16041 (java) S 16038 16041 13007 0 -1 1077944320 517474 12472 0 0 248937 505 5 2 20 0 15 0 84371589 14407233536 1095359 18446744073709551615 4194304 4196468 140729490143984 140729490126528 140481096146679 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
/proc/16041/statm: 3517391 1095359 3495 1 0 3506005 0
[pid=16041/tid=16091] ppid=16038 vsize=14069564 CPUtime=2432.41 cores=1,3,5,7
/proc/16041/task/16091/stat : 16091 (java) R 16038 16041 13007 0 -1 4202560 224886 12472 0 0 243135 99 5 2 20 0 15 0 84371608 14407233536 1095359 18446744073709551615 4194304 4196468 140729490143984 140481100380624 140480746501312 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16092] ppid=16038 vsize=14069564 CPUtime=9.23 cores=1,3,5,7
/proc/16041/task/16092/stat : 16092 (java) S 16038 16041 13007 0 -1 1077944384 28058 12472 0 0 836 80 5 2 20 0 15 0 84371609 14407233536 1095359 18446744073709551615 4194304 4196468 140729490143984 140480696314896 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16093] ppid=16038 vsize=14069564 CPUtime=9.23 cores=1,3,5,7
/proc/16041/task/16093/stat : 16093 (java) S 16038 16041 13007 0 -1 1077944384 30881 12472 0 0 836 80 5 2 20 0 15 0 84371609 14407233536 1095359 18446744073709551615 4194304 4196468 140729490143984 140480695262352 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16094] ppid=16038 vsize=14069564 CPUtime=9.23 cores=1,3,5,7
/proc/16041/task/16094/stat : 16094 (java) S 16038 16041 13007 0 -1 1077944384 24637 12472 0 0 835 81 5 2 20 0 15 0 84371609 14407233536 1095359 18446744073709551615 4194304 4196468 140729490143984 140480694209296 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16095] ppid=16038 vsize=14069564 CPUtime=9.21 cores=1,3,5,7
/proc/16041/task/16095/stat : 16095 (java) S 16038 16041 13007 0 -1 1077944384 27702 12472 0 0 833 81 5 2 20 0 15 0 84371609 14407233536 1095359 18446744073709551615 4194304 4196468 140729490143984 140480693156752 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16096] ppid=16038 vsize=14069564 CPUtime=0.65 cores=1,3,5,7
/proc/16041/task/16096/stat : 16096 (java) S 16038 16041 13007 0 -1 1077944384 41310 12472 0 0 48 10 5 2 20 0 15 0 84371610 14407233536 1095359 18446744073709551615 4194304 4196468 140729490143984 140480574597360 140481096157826 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16097] ppid=16038 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16041/task/16097/stat : 16097 (java) S 16038 16041 13007 0 -1 1077944384 236 12472 0 0 1 0 5 2 20 0 15 0 84371610 14407233536 1095359 18446744073709551615 4194304 4196468 140729490143984 140480573543648 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16098] ppid=16038 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16098/stat : 16098 (java) S 16038 16041 13007 0 -1 1077944384 52 12472 0 0 0 0 5 2 20 0 15 0 84371611 14407233536 1095359 18446744073709551615 4194304 4196468 140729490143984 140480572490496 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16099] ppid=16038 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16099/stat : 16099 (java) S 16038 16041 13007 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 84371613 14407233536 1095359 18446744073709551615 4194304 4196468 140729490143984 140480571439056 140481096165275 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16100] ppid=16038 vsize=14069564 CPUtime=10.03 cores=1,3,5,7
/proc/16041/task/16100/stat : 16100 (java) S 16038 16041 13007 0 -1 1077944384 39496 12472 0 0 991 5 5 2 20 0 15 0 84371613 14407233536 1095359 18446744073709551615 4194304 4196468 140729490143984 140480570387184 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16101] ppid=16038 vsize=14069564 CPUtime=10.71 cores=1,3,5,7
/proc/16041/task/16101/stat : 16101 (java) S 16038 16041 13007 0 -1 1077944384 39765 12472 0 0 1059 5 5 2 20 0 15 0 84371613 14407233536 1095359 18446744073709551615 4194304 4196468 140729490143984 140480569334640 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16102] ppid=16038 vsize=14069564 CPUtime=2.95 cores=1,3,5,7
/proc/16041/task/16102/stat : 16102 (java) S 16038 16041 13007 0 -1 1077944384 55986 12472 0 0 281 7 5 2 20 0 15 0 84371613 14407233536 1095359 18446744073709551615 4194304 4196468 140729490143984 140480568281584 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16103] ppid=16038 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16103/stat : 16103 (java) S 16038 16041 13007 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 84371614 14407233536 1095359 18446744073709551615 4194304 4196468 140729490143984 140480567229280 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16104] ppid=16038 vsize=14069564 CPUtime=1.37 cores=1,3,5,7
/proc/16041/task/16104/stat : 16104 (java) S 16038 16041 13007 0 -1 1077944384 2308 12472 0 0 56 74 5 2 20 0 15 0 84371617 14407233536 1095359 18446744073709551615 4194304 4196468 140729490143984 140480566176304 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
Current children cumulated CPU time (s) 2494.49
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2467.8 s]
/proc/loadavg: 2.07 1.84 1.73 3/214 16775
/proc/meminfo: memFree=26275200/32770624 swapFree=0/462988
[pid=16041] ppid=16038 vsize=14069564 CPUtime=2520.05 cores=1,3,5,7
/proc/16041/stat : 16041 (java) S 16038 16041 13007 0 -1 1077944320 523241 12472 0 0 251490 508 5 2 20 0 15 0 84371589 14407233536 1096051 18446744073709551615 4194304 4196468 140729490143984 140729490126528 140481096146679 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
/proc/16041/statm: 3517391 1096051 3495 1 0 3506005 0
[pid=16041/tid=16091] ppid=16038 vsize=14069564 CPUtime=2457.9 cores=1,3,5,7
/proc/16041/task/16091/stat : 16091 (java) R 16038 16041 13007 0 -1 4202560 227976 12472 0 0 245683 100 5 2 20 0 15 0 84371608 14407233536 1096051 18446744073709551615 4194304 4196468 140729490143984 140481100380624 140480746501312 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16092] ppid=16038 vsize=14069564 CPUtime=9.24 cores=1,3,5,7
/proc/16041/task/16092/stat : 16092 (java) S 16038 16041 13007 0 -1 1077944384 28203 12472 0 0 837 80 5 2 20 0 15 0 84371609 14407233536 1096051 18446744073709551615 4194304 4196468 140729490143984 140480696314896 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16093] ppid=16038 vsize=14069564 CPUtime=9.24 cores=1,3,5,7
/proc/16041/task/16093/stat : 16093 (java) S 16038 16041 13007 0 -1 1077944384 32449 12472 0 0 837 80 5 2 20 0 15 0 84371609 14407233536 1096051 18446744073709551615 4194304 4196468 140729490143984 140480695262352 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16094] ppid=16038 vsize=14069564 CPUtime=9.24 cores=1,3,5,7
/proc/16041/task/16094/stat : 16094 (java) S 16038 16041 13007 0 -1 1077944384 24853 12472 0 0 836 81 5 2 20 0 15 0 84371609 14407233536 1096051 18446744073709551615 4194304 4196468 140729490143984 140480694209296 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16095] ppid=16038 vsize=14069564 CPUtime=9.22 cores=1,3,5,7
/proc/16041/task/16095/stat : 16095 (java) S 16038 16041 13007 0 -1 1077944384 28053 12472 0 0 834 81 5 2 20 0 15 0 84371609 14407233536 1096051 18446744073709551615 4194304 4196468 140729490143984 140480693156752 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16096] ppid=16038 vsize=14069564 CPUtime=0.66 cores=1,3,5,7
/proc/16041/task/16096/stat : 16096 (java) S 16038 16041 13007 0 -1 1077944384 41677 12472 0 0 49 10 5 2 20 0 15 0 84371610 14407233536 1096051 18446744073709551615 4194304 4196468 140729490143984 140480574597360 140481096157826 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16097] ppid=16038 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16041/task/16097/stat : 16097 (java) S 16038 16041 13007 0 -1 1077944384 236 12472 0 0 1 0 5 2 20 0 15 0 84371610 14407233536 1096051 18446744073709551615 4194304 4196468 140729490143984 140480573543648 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16098] ppid=16038 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16098/stat : 16098 (java) S 16038 16041 13007 0 -1 1077944384 52 12472 0 0 0 0 5 2 20 0 15 0 84371611 14407233536 1096051 18446744073709551615 4194304 4196468 140729490143984 140480572490496 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16099] ppid=16038 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16099/stat : 16099 (java) S 16038 16041 13007 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 84371613 14407233536 1096051 18446744073709551615 4194304 4196468 140729490143984 140480571439056 140481096165275 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16100] ppid=16038 vsize=14069564 CPUtime=10.03 cores=1,3,5,7
/proc/16041/task/16100/stat : 16100 (java) S 16038 16041 13007 0 -1 1077944384 39499 12472 0 0 991 5 5 2 20 0 15 0 84371613 14407233536 1096051 18446744073709551615 4194304 4196468 140729490143984 140480570387184 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16101] ppid=16038 vsize=14069564 CPUtime=10.71 cores=1,3,5,7
/proc/16041/task/16101/stat : 16101 (java) S 16038 16041 13007 0 -1 1077944384 39767 12472 0 0 1059 5 5 2 20 0 15 0 84371613 14407233536 1096051 18446744073709551615 4194304 4196468 140729490143984 140480569334640 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16102] ppid=16038 vsize=14069564 CPUtime=2.95 cores=1,3,5,7
/proc/16041/task/16102/stat : 16102 (java) S 16038 16041 13007 0 -1 1077944384 55988 12472 0 0 281 7 5 2 20 0 15 0 84371613 14407233536 1096051 18446744073709551615 4194304 4196468 140729490143984 140480568281584 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16103] ppid=16038 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16041/task/16103/stat : 16103 (java) S 16038 16041 13007 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 84371614 14407233536 1096051 18446744073709551615 4194304 4196468 140729490143984 140480567229280 140481096156885 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
[pid=16041/tid=16104] ppid=16038 vsize=14069564 CPUtime=1.38 cores=1,3,5,7
/proc/16041/task/16104/stat : 16104 (java) S 16038 16041 13007 0 -1 1077944384 2331 12472 0 0 57 74 5 2 20 0 15 0 84371617 14407233536 1096051 18446744073709551615 4194304 4196468 140729490143984 140480566176304 140481096157826 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34516992 140729490151376 140729490154161 140729490154161 140729490157519 0
Current children cumulated CPU time (s) 2520.05
Current children cumulated vsize (KiB) 14069564

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

Child status: 143
Real time (s): 2467.85
CPU time (s): 2520.12
CPU user time (s): 2514.98
CPU system time (s): 5.13423
CPU usage (%): 102.118
Max. virtual memory (cumulated for all children) (KiB): 14069564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.98
system time used= 5.13423
maximum resident set size= 4384824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 539857
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70530
involuntary context switches= 2112

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0602 second user time and 16.0511 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-11 05:56:09
IDJOB=4261956
IDBENCH=120574
IDSOLVER=2650
FILE ID=node135/4261956-1502424604
RUNJOBID= node135-1502411443-13072
PBS_JOBID= 
Free space on /tmp= 62004 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-4261956-1502424604/watcher-4261956-1502424604 -o /tmp/evaluation-result-4261956-1502424604/solver-4261956-1502424604 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13072 --watchdog 2580  bin/concrete HOME/instance-4261956-1502424604.xml

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

MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76
RANDOM SEED=2061881679

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30972772 kB
MemAvailable:   31782984 kB
Buffers:          284020 kB
Cached:           818228 kB
SwapCached:            0 kB
Active:           866704 kB
Inactive:         495416 kB
Active(anon):     260188 kB
Inactive(anon):    33140 kB
Active(file):     606516 kB
Inactive(file):   462276 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             50056 kB
Writeback:             4 kB
AnonPages:        250128 kB
Mapped:            62136 kB
Shmem:             33464 kB
Slab:             141892 kB
SReclaimable:     114508 kB
SUnreclaim:        27384 kB
KernelStack:        3488 kB
PageTables:         5128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1179880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61980 MiB
End job on node135 at 2017-08-11 06:37:17